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 −−→EOEO→

⇒ 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.