Gọi K là điểm đối xứng với A qua I và Q là giao điểm của AI và EFXét △CIK và △BIA có
IB=IC,IA=IK ^AIB=^CIK
⇒△CIK=△BIA(c.g.c)⇒CK=AB,CK//AB
Do ^EAB=^FAC=90⇒^EAF+^BAC=180
Do CK//AB⇒^ACK+^BAC=180
Vậy ^EAF=^ACK
Kế hợp với CK=AE ( cùng bằng AB ) , AC=AF
Ta suy ra △AEF=△CEK(c.g.c)
⇒AK=EF⇒AI=12EF
^CAK=^AFE
Mà ^CAK+^FAQ=90 do ^FAC=90
⇒^AFE+^FAQ=90⇒AQ vuông góc EF