Ta có: CE // BD, theo định lí Talet, ta được: \(\frac{AB}{AC}=\frac{AD}{AE}\left(1\right)\)
Lại có: CB // CF, theo định lí Talet, ta được: \(\frac{AC}{AF}=\frac{AD}{AE}\left(2\right)\)
Từ (1) và (2) ⇒ \(\frac{AB}{AC}=\frac{AC}{AF}\left(đpcm\right)\)