Xét hai tam giác `ΔABE` và `ΔCDE`, có:

`∠ABE = ∠DCE` (vì `∠ABC = ∠ADC` và hai góc này tương ứng trong các tam giác)

`∠AEB = ∠CED` (đối đỉnh)

`=> ΔABE ∼ ΔCDE (g.g)`

`=> AB : CD = AE : CE`

`<=> AB * CE = AE * CD`

`<=> CD * CE = AB * AE + AB^2`

`<=> AB^2 = CD * CE − AB * AE`

`=> Đpcm`

`@#Yuirii`