ΔOEB và ΔOFDcó: EOB^=FOD^ (đối đỉnh); OB=OD (tính chất hình bình hành)

EBO^=FDO^ (so le trong) ⇒ΔOEB=ΔOFD(g.c.g)⇒BE=FD

Ta có: EG//FH (cùng // AC), do đó

BEG^=DFH^,EB=FH(cmt);B^=D^ (tính chất hình bình hành)

⇒ΔBEG=ΔDFC(g.c.g)⇒EG=FH

Tứ giác EGFH có EG//FHEG=FHnên là hình bình hành