Do IK = IA nên I là trung điểm của AK.

Tứ giác AEKF có hai đường chéo AK, EF cắt nhau tại trung điểm I của mỗi đường nên AEKF là hình bình hành.

Hình bình hành AEKF có \(\widehat {EAF} = 90^\circ \) nên AEKF là hình chữ nhật.

Hình chữ nhật AEKF có AE = AF nên AEKF là hình vuông.