a. Xét ΔEFH và ΔHGE có:
EH chung
GH = EF
GE = HF
Suy ra ΔEFH=ΔHGE (c.c.c)
b. Theo a: ΔEFH=ΔHGE nên FEH^=\widehat{EHG}$
mà 2 góc này ở vị trí so le trong
Suy ra EF // HG.