$\Delta$ ADC và $\Delta$ ACE có:
$\widehat{CAE}$ chung
$\widehat{AEC}= \widehat{ACD}$ (góc nội tiếp và góc tạo bởi tiếp tuyến, dây cung cùng chắn $\stackrel\frown{CD}$)
=> $\Delta$ ADC ~ $\Delta$ ACE (g.g)
=> $\frac{AC}{AD}= \frac{AE}{AC}$
=> $AC^2= AE.AD$