Dane są na prostej trzy różne punkty
,
,
i punkt
poza tą prostą; prostopadle poprowadzone w punktach
,
,
do prostych
,
,
przecinają się w punktach
,
,
. Dowieść, że punkty
,
,
,
leżą na okręgu.
Oznaczenia punktów przyjmiemy w ten sposób, że punkt
leży między punktami
i
, punkt
leży na prostopadłych do
i
, punkt
- na prostopadłych do
i
,
punkt
- na prostopadłych do
i
.
Jeżeli któraś z prostych
,
,
jest prostopadła do prostej danej, to dwa z punktów
,
,
, na przykład punkty
i
, pokrywają się z dwoma spośród punktów
, wobec czego kąty
i
są proste. Punkty
,
,
,
leżą w tym przypadku na okręgu o średnicy
(rys. 21).
Jeżeli żadna z prostych
,
,
nie jest prostopadła do danej prostej, to zachodzi jeden z dwóch przypadków:
a) odcinki pochyłe
,
,
leżą po różnych stronach prostopadłej z punktu
do danej prostej, na przykład
po jednej stronie, a
i
po drugiej (rys. 22).
Wówczas punkty
i
leżą po przeciwnej stronie danej prostej niż punkt
, a punkt
po tej samej stronie, co punkt
. Ponieważ k4ty
i
są proste, więc punkty
,
,
,
leżą na okręgu o średnicy
i zachodzi równość kątów wpisanych
![]() |
Podobnie, ponieważ kąty
i
są proste, więc punkty
,
,
,
leżą na okręgu o średnicy
, skąd wnioskujemy, jak wyżej, że
![]() |
Ponieważ
, gdyż punkt
leży na odcinku
, więc z powyższych równości wynika, że
![]() |
Lecz
, a
, gdyż punkt
leży na odcinku
, a punkt
na odcinku
, zatem
![]() |
stąd zaś wynika, że punkty
i
leżą na pewnym okręgu przechodzącym przez punkty
i
.
b) Wszystkie trzy odcinki
,
,
leżą po jednej stronie prostopadłej z punktu
na daną prostą (rys. 23). Wówczas wszystkie trzy punkty
,
,
leżą po tej samej stronie danej prostej co punkt
(Czytelnik zechce ten fakt uzasadnić dokładnie; najlepiej skorzystać z twierdzenia, że dwie proste przecięte trzecią prostą przecinają się po tej stronie owej trzeciej prostej, po której suma utworzonych przez nie kątów jednostronnych wewnętrznych jest mniejsza od
). Ponieważ
, więc punkty
,
,
,
leżą na okręgu o średnicy
, przy czym punkty
i
przedzielają punkty
i
, wobec czego kąty o wierzchołkach
i
wpisane w ten okrąg dają w sumie
, tj.
![]() |
Podobnie
, więc punkty
,
,
,
leżą na okręgu o średnicy
, przy czym pary punktów
,
i
,
przedzielają się, więc jak wyżej
![]() |
Lecz
, więc z powyższych równości wynika
![]() |
Ponieważ punkt
leży między punktami
i
, więc punkt
leży między punktami
i
(gdyż jeżeli punkt
porusza się w kierunku
, punkt
oddala się od punktu
), a punkt
między punktami
i
. Wobec tego
,
i z poprzedniej równości otrzymujemy
![]() |
Stąd wynika, jak poprzednio, że punkty
i
leżą na okręgu przechodzącym przez punkty
i
.