ΔAOB đều ⇒ BE là đường trung tuyến đồng thời là đường cao

                   ⇒ BE ⊥ AO

                   ⇒ ΔBEC vuông tại E

                   Mà EG là đường trung tuyến

                   ⇒  (1)

ΔCOD đều ⇒ CF là đường trung tuyến đồng thời là đường cao

                   ⇒ CF ⊥ OD

                   ⇒ ΔBFC vuông tại F

                   Mà FG là đường trung tuyến

                   ⇒  (2)

Hình thang ABCD (AB// CD) có: AC = AO + OC = OB + OD = BD

                   ⇒ ABCD là hình thang cân

                   ⇒ AD = BC.

ΔAOD có: AE = EO, FO = FD

                   ⇒ EF là đường trung bình của ΔAOD

                   ⇒ 

                   Mà AD = BC (cmt)

                   ⇒  (3)

Từ (1); (2); (3) suy ra EF = FG = GE ⇒ ΔEFG đều (đpcm).