W czworościanie
krawędzie
,
,
są równe. Na płaszczyźnie
obrano punkty niewspółliniowe
Proste
przecinają powierzchnię kuli opisanej na czworościanie odpowiednio w punktach
, różnych od punktu
. Udowodnić, że punkty
leżą na powierzchni pewnej kuli.
Sfera (tj. powierzchnia kuli)
opisana na czworościanie
przecina płaszczyznę
wzdłuż okręgu
opisanego na trójkącie
. Z równości
wynika, że sfera
o środku
i promieniu
przechodzi przez punkty
i
, więc przecina sferę
i płaszczyznę
wzdłuż tego samego okręgu
. Wobec tego rzut prostokątny
punktu
na płaszczyznę
jest środkiem okręgu
. Płaszczyzna
zawiera zatem pewną średnicę
okręgu
i przecina sferę
wzdłuż okręgu
przechodzącego przez punkty
,
i
(rys. 16).
Według twierdzenia o potędze punktu względem okręgu
![]() |
Stąd
![]() |
więc
![]() |
Równość tę można zapisać w postaci
![]() |
Analogicznie
![]() |
Z (1) i (2) wynika
![]() |
Z równości (3) oraz z tego, że pary punktów
,
, i
,
leżą na dwóch różnych półprostych o początku
nie tworzących jednej prostej, łatwo wywnioskować, że punkty
,
,
,
, leżą na okręgu.
Istotnie, niech
będzie okręgiem przechodzącym przez punkty niewspółliniowe
,
,
(rys. 17).
Punkt
leży na zewnątrz okręgu
, zatem
![]() |
gdzie
jest punktem wspólnym okręgu
z półprostą
.
Z (3) i (4) otrzymujemy
![]() |
a ponieważ punkty
i
należą do tej samej półprostej o początku
, więc punkt
pokrywa się z punktem
.
Analogicznie stwierdzamy, że punkty
,
,
,
leżą na pewnym okręgu
.
Okręgi
i
mają punkty wspólne
i
, a przy tym leżą w rożnych płaszczyznach, gdyż według założenia punkty wspólne tych okręgów z płaszczyzną
, tj. punkty
,
,
nie są współliniowe.
Stąd wynika, że okręgi
i
, a tym samym punkty
,
,
,
,
,
leżą na jednej sferze, c.n.d.
Uwaga. Początek powyższego dowodu można znacznie skrócić, powołując się na własności przekształcenia przez inwersję. Mianowicie w inwersji względem sfery o środku
i promieniu
przecinającej płaszczyznę
wzdłuż okręgu
obrazem płaszczyzny
jest sfera przechodząca przez środek inwersji
i przez okrąg
, tj. sfera
. Obrazami punktów
,
,
są zatem odpowiednio punkty
,
,
, wobec czego
![]() |
Dalszy ciąg dowodu pozostaje ten sam co poprzednio.