`#Kenshiro`
Do tứ giác `BEDC` nội tiếp nên $\hat{D}_{1}$ = `\hat{B}` ( tính chất tứ giác nội tiếp)
Xét tam giác `AED` và tam giác `ACB` ta có :
`\hat{A}` chung
$\hat{D}_{1}$ = `\hat{B}` `(cmt)`
`⇒` tam giác `AED ~` tam giác `ACB` `(g.g)`
`⇒ (AE)/(AC) = (AD)/(AB)`
`⇒ AE.AB = AD.AC (Đpcm)`