ΔAFH nội tiếp đường tròn(A,F,H∈∈(O))

AH là đường kính(gt)

Do đó: ΔAFH vuông tại F(Định lí)

Xét (O) có

ΔAEH nội tiếp đường tròn(A,E,H∈∈(O))

Do đó: ΔAEH vuông tại E(Định lí)

Xét tứ giác AEHF có 

ˆFAE=900(ˆBAC=900)���^=900(���^=900)

ˆAEH=900���^=900(ΔAEH vuông tại E)

ˆAFH=900���^=900(ΔAHF vuông tại F)

Do đó: AEHF là hình chữ nhật(Dấu hiệu nhận biết hình chữ nhật)