Ta có hình vẽ sau:
Vì ▲ACE có BD // EC; D ∈ AE và B ∈ AC nên ta có:
\(\frac{AB}{AC}=\frac{AD}{AE} \) (Định lý Talet)
Vì ▲AFE có CD // EF; D ∈ AE và C ∈ AF nên ta có:
\(\frac{AC}{AF}=\frac{AD}{AE} \) (Định lý Talet)
Do đó, ta có: \(\frac{AB}{AC} = \frac{AC}{AF} (=\frac{AD}{AE}) \) \(⇔ AC^2 = AB . AF\)
\(\Leftrightarrow\left[{}\begin{matrix}AC=\sqrt{AB.AF}\\AC=\dfrac{AB.AF}{AC}\end{matrix}\right.\)
\(\Leftrightarrow\sqrt{AB.AF}=\dfrac{AB.AF}{AC}\left(=AC\right)\)(Điều phải chứng minh)