a) Xét tứ giác AEKF có góc EAF = góc AEK = góc AFK = 90 độ
=> AEKF là hình chữ nhật (dhnb)
=> AE = KF, AF = KE.
b) AEKF là HCN => 2 đường chéo bằng nhau và cắt nhau tại trung điểm mỗi đường => OA=OK=OF=OE
c) AEKF là HCN => EF = AK
AK nhỏ nhất khi và chỉ khi AK vuông góc với BC. Khi đó K là hình chiếu của A trên BC thì EF nhỏ nhất.