Trójkąty
i
mają równo obwody, a dwusieczne kątów zewnętrznych przy wierzchołkach
i
przecinają się w punkcie
. Dowieść, że kąty
i
są równe.
Sumy
i
są równe; oznaczmy ich wspólną wartość przez
. Na przedłużeniach odcinków
i
odkładamy odcinki
i
tak, by
![]() |
Trójkąty
i
są równoramienne, a punkt
leży na osi symetrii każdego z nich (rysunek 1). Zatem
![]() |
oraz
![]() |
Na mocy (1) i (2) trójkąty
i
są przystające, a więc
, czyli
. Uwzględniając związki (3) możemy przepisać tę równość jako
![]() |
Wykażemy teraz, że
![]() |
Weźmy pod uwagę zbiór
złożony z wszystkich punktów, których suma odległości od
i
równa się
. Jest to elipsa. Warunek, który ją określa, jest spełniony w szczególności przez punkty
i
. Zatem
.

Zauważmy, że proste
i
są styczne do elipsy
. Gdyby na przykład prosta
nie była do niej Styczna, wówczas moglibyśmy znaleźć na tej prostej punkt
taki, że
. Ale
(bo
jest symetralną odcinka
). Otrzymalibyśmy więc nierówność
, która jest niemożliwa.
Podobnie dowodzimy styczności prostej
do elipsy
.
Ogniskami
są punkty
i
. Z uzyskanych relacji styczności wynika, że cała elipsa
leży w sektorze wyznaczonym przez półproste
i
. Znajdują się tam więc i punkty
i
. Stąd słuszność stwierdzenia (5).
Konkluzją tego stwierdzenia jest równość
![]() |
Wszystkie przeprowadzone rozważania są słuszne przy każdej konfiguracji danych punktów. (Na przykład: punkty
i
mogą leżeć po tej samej stronie lub po różnych stronach prostej
. Gdy leżą po tej samej stronie, odcinki
i
mogą się przecinać, mogą być równoległe, bądź też przecinają się ich przedłużenia, przy czym punkt przecięcia tych prostych może leżeć ,,nad'' lub ,,pod'' prostą
. Gdy punkty
i
leżą po różnych stronach prostej
, powstaje czworokąt
, który może być wypukły, wklęsły, a może też się redukować do trójkąta. Rysunek 1 przedstawia tylko jedno z możliwych usytuowań tych punktów. Proponujemy Czytelnikowi wykonanie rysunków w innych przypadkach i przekonanie się, że istotnie rozumowanie prowadzące do równości (4) oraz (6) nie jest od rysunku zależne.)
Dodając stronami równości (4) i (6) otrzymujemy (po redukcji) dowodzoną równość
.