Xét (O) có
AB,AC là tiếp tuyến
=>AB=AC
mà OB=OC
nên OA là trung trực của BC
=>OA vuông góc BC tại H
Xét ΔABE và ΔADB có
góc ABE=góc ADB
góc BAE chung
=>ΔABE đồng dạng với ΔADB
=>AB/AD=AE/AB
=>AB^2=AD*AE
Xét ΔABO vuông tại B có BH là đường cao
nên AH*AO=AB^2
=>AD*AE=AH*AO