- kąty wierzchołkowe
- kąty naprzemianległe
Trójkąty BEF i DEC są przystające (kąt, bok, kąt).
oraz
Skoro odcinki AB i BF są równe, to punt B jest środkiem odcinka AF.
To kończy dowód.
Zauważ, że:
- kąty wierzchołkowe
- kąty naprzemianległe
Oznacza to, że trójkąty BEF i DEC są przystające z cechy kąt, bok, kąt.
Zauważ, że boki
i
oraz
i
są równe.
Więc z tego wynika, że boki
i
mają taką samą długość.
Skoro odcinki
i
są równe, to punt
jest środkiem odcinka
.
To kończy dowód.