Teza:
Trójkąty
oraz
są przystające.
Dowód:
Wiemy, że dwa kąty wewnętrzne trójkątów
i
są sobie odpowiednio równe. To znaczy, że:
Trójki:
i
spełniają zasadę przystawania trójkątów kąt-bok-kąt, czyli trójkąty
i
są przystające.
Skoro trójkąty
i
są przystające to znaczy, że boki
i
są sobie równe.
Z definicji środkowej oraz powyższego założenia wiemy, że
, a w konsekwencji
.
Trójki:
i
spełniają zasadę przystawania trójkątów bok-kąt-bok, czyli trójkąty
oraz
są przystające.
(co kończy dowód)
Wykorzystujemy zasady przystawania trójkątów:
bok-kąt-bok: dwa boki i kąt między nimi zawarty są odpowiednio równe, oraz
kąt-bok-kąt: bok i dwa kąty przy tym boku są odpowiednio równe.