W pięciokącie wypukłym
spełnione są zależności
![]() |
Odcinki
i
przecinają się w punkcie
. Dowieść, że proste
i
są prostopadłe.
Z równości
![]() |
wynika (rys. 1), że trójkąty
i
są podobne (cecha kąt-kąt-kąt). Podobieństwo tych trójkątów
pozwala wnioskować, że
![]() |
Zależności te dowodzą, że trójkąty
i
są podobne (cecha bok-kąt-bok). W konsekwencji otrzymujemy
![]() |
Ponadto prawdziwa jest zależność
![]() |

która w połączeniu z równością (1) implikuje, że trójkąty
i
są podobne (cecha kąt-kąt-kąt).
Mają one jednak wspólny odpowiedni bok
. Wobec tego trójkąty te są przystające i symetryczne względem prostej
.
Stąd wniosek, że proste
i
są prostopadłe.
Analogicznie dowodzimy, że proste
i
są prostopadłe. Zatem
jest punktem przecięcia wysokości trójkąta
. To oznacza, że prosta
zawiera trzecią wysokość tego trójkąta, czyli jest prostopadła do prostej
.