Do $\triangle{ADC} \sim \triangle{BDE}$ nên $\dfrac{AC}{BE} =\dfrac{AD}{BD}$ hay $AC \cdot BD = AD \cdot BE$
Do $\triangle{EDC} \sim \triangle{ECA}$ nên $\dfrac{CD}{AC} = \dfrac{CE}{AE}$ hay $AC \cdot CE = AE \cdot CD$
Nhân vế theo vế suy ra $AC^2 \cdot BD \cdot CE = AD \cdot CD \cdot AE \cdot BE$
Do $E$ là điểm chính giữa cung nhỏ $BC$ nên $CE = BE$
Từ đó suy ra $AC^2 \cdot BD = AD \cdot CD \cdot AE$