Dowieść, że punkty symetryczne do punktu przecięcia wysokości trójkąta
względem prostych
leżą na okręgu opisanym na trójkącie
.
Niech
będzie punktem przecięcia wysokości
i
trójkąta
, a
- punktem symetrycznym do punktu
względem prostej
. Rozróżnimy trzy przypadki:
a) Kąty
i
trójkąta są ostre (rys. 1). Punkt przecięcia
prostych
i
leży wówczas po tej samej stronie prostej
, co punkt
. Jeżeli kąt
jest prosty, to punkt
pokrywa się z punktem
, więc
, wobec czego punkty
i
leżą na okręgu o średnicy
. Jeżeli
, to punkty
,
,
,
tworzą czworokąt, w którym kąty
i
są proste, więc
, a że
, więc
. Ponieważ punkt
leży po przeciwnej stronie prostej
niż punkty
i
, więc z ostatniej równości wnioskujemy, że
leży na okręgu przechodzącym przez
,
i
.
b) Jeden z kątów trójkąta, np. kąt
, jest rozwarty (rys. 2). Proste
i
przecinają się w punkcie
leżącym po przeciwnej stronie prostej
niż punkt
; punkt
leży wobec tego po tej samej stronie prostej
, co punkt
.
Trójkąty prostokątne
i
mają równe kąty przy wierzchołku
, zatem również trzecie ich kąty są równe, tj.
; lecz
, zatem
, stąd zaś wynika, że punkt
leży na okręgu przechodzącym przez
,
i
.
c) Jeden z kątów
i
, np.
jest prosty. W tym przypadku punkty
i
pokrywają się z punktem
; twierdzenie jest oczywiste.