Xét (I) có
ΔADO nội tiếp
AO là đường kính
=>ΔADO vuông tại D
góc ADC=góc AHC=90 độ
=>AHDC nội tiếp
Xét ΔOHC vuông tại H và ΔODA vuông tại D có
OC=OA
góc HOC chung
=>ΔOHC=ΔODA
=>OH=OD
Xét ΔOAC có OH/OA=OD/OC
nên HD//AC
Xét tứ giác AHDC có
HD//AC
góc HAC=góc DCA
=>AHDC là hình thang cân