a: Xét (O) có
ΔCDB nội tiếp
BC là đường kính
Do đó: ΔCDB vuông tại D
b: Xét (O) có
ΔBEC nội tiếp
BC là đường kính
Do đo: ΔBEC vuông tại E
Xét ΔADB vuông tại D và ΔAEC vuông tại E có
góc DAB chung
Do đó: ΔADB\(\sim\)ΔAEC
Suy ra: AD/AE=AB/AC
hay \(AD\cdot AC=AE\cdot AB\)