a) DDAE = DBAF (c.g.c)
⇒ D A E ^ = B A F ^ và AE = AF
Mà E A D ^ + E A B ^ = 90 0 = > E A B ^ + B A F ^ = 90 0
Þ DAEF vuông cân tại A.
b) DEAF vuông cân nên IA = IE = FI (1); DCFE vuông có IC là đường trung tuyến Þ IE = IC = IF (2);
Từ (1) và (2) suy ra Þ IA = IC nên I thuộc trung trực của AC hay I thuộc BD.
c) Do K đối xứng với A qua I nên I là trung điểm của AK.
Mà I là trung điểm của EF(gt) nên AFKE là hình bình hành, DAEF vuông cân tại A nên AI ^ EF.
Vậy AFKE là hình vuông.