a) Xét tứ giác BCDE có
\(\widehat{BEC}=\widehat{BDC}\left(=90^0\right)\)
\(\widehat{BEC}\) và \(\widehat{BDC}\) là hai góc cùng nhìn cạnh BC
Do đó: BCDE là tứ giác nội tiếp(Dấu hiệu nhận biết tứ giác nội tiếp)
b) Xét ΔADB vuông tại D và ΔAEC vuông tại E có
\(\widehat{BAD}\) chung
Do đó: ΔADB\(\sim\)ΔAEC(g-g)
Suy ra: \(\dfrac{AD}{AE}=\dfrac{AB}{AC}\)(Các cặp cạnh tương ứng tỉ lệ)
hay \(AE\cdot AB=AD\cdot AC\)(Đpcm)