Cho Hình 25 có EF = HG, EG = HF. Chứng minh rằng: a) EFH = HGE. b) EF // HG.

a) Xét hai tam giác EFH và HGE có:

EF = HG (theo giả thiết).

EG = HF (theo giả thiết).

EH chung.

Do đó DEFH = DHGE (c.c.c).

b) Do DEFH = DHGE (c.c.c) nên $\widehat{F\text{E}H}=\widehat{GHE}$ (2 góc tương ứng).

Mà hai góc này ở vị trí so le trong nên EF // HG.