Gọi L là trung điểm của OF.
+ Vì EO là đường trung trực của các đoạn thẳng AB; KF; JL
⇒ B = ĐEO (A); F = ĐEO (K) ; L = ĐEO (J); E = ĐEO (E)
⇒ Hình thang BFLE là ảnh của hình thang AKJE qua phép đối xứng trục EO.
⇒ Hai hình thang BFLE và AKJE bằng nhau (1)
⇒ Hình thang FCIO là ảnh của hình thang BFLE qua phép tịnh tiến theo
⇒ Hai hình thang FCIO và BFLE bằng nhau (2)
Từ (1) và (2) ⇒ hai hình thang FCIO và AKJE bằng nhau.