Cho tam giác EDF vuông tại D kẻ tia phân giác EG.Từ G vẽ GK vuông góc với EF tại F(DE < DF)

a) Ta có:
- Tam giác DEG vuông tại E (do DE vuông với EG).
- Tam giác KEG vuông tại G (do KG vuông với EG).
- Góc DEG = Góc KEG (do EG là tia phân giác của góc EDF).
Vậy theo góc - cạnh - góc, ta có tam giác DEG = tam giác KEG.

b) Ta có:
- Góc GDF = 90 độ (do tam giác EDF vuông tại D).
- Góc GEF = 90 độ (do tam giác EGF vuông tại G).
- Do đó, G, F, D thẳng hàng.
- Vậy DG < GF (theo tính chất của tam giác vuông).