a) Vì ABCD là hình vuông nên AB = BC = CD = DA.
Xét DDAE và DDCF có
AD = CD (chứng minh trên);
^DAE=^DCF(=90∘);
AE = CF (giả thiết).
Suy ra DDAE = DDCF (c.g.c)
Do đó DE = DF (1) và ^ADE=^CDF
Ta có ^ADE+^CDE=90∘
Suy ra ^CDF+^CDE=90∘
Hay ^EDF=90∘ (2)
Từ (1) và (2) suy ra tam giác EDF vuông cân tại D.
b) Xét tam giác EBF vuông tại B có BI là trung tuyến, suy ra BI=12EF
Xét tam giác EDF vuông tại D có BI là trung tuyến, suy ra DI=12EF
Do đó BI = DI.
c) Xét hình chữ nhật ABCD có O là giao điểm của hai đường chéo AC và BD
Suy ra O là trung điểm của BD
Do đó O thuộc đường trung trực của BD
Vì BI = DI nên I thuộc đường trung trực của BD
Vì CD = CB nên C thuộc đường trung trực của BD
Suy ra O, I, C cùng thuộc đường trung trực của BD.
Vậy O, I, C thẳng hàng.