Bổ sung: ΔABC cân tại A
ΔABC cân tại A
=>AO đi qua trug diểm I của EF
Vẽ IK vuông góc AB tại K, gọi H và G lần lượt là giao của OA với BC và(O)
Vì OE vuông góc AB, IK vuông goc AB, GB vuông góc AB
=>OE//IK//GB
ΔABG có IK//GB
nên IK/BG=AI/AG
=>IK=AI*BG/AG
ΔABH có EI//BH
ΔABE có OE//BG
=>IH/AH=BE/BA=OG/AG và AE/AB=AI/AH
=>IH=AH*OE/AE
ΔABG có OE//BG
nên AB/AE=BG/OE
AH/AI=AB/AE=BG/OE
=>AH*OE=AI*BG
=>AH*OG=AI*BG
=>IK=IH
=>ĐPCM