Dany jest ostrosłup SABCD, którego podstawą jest czworokąt wypukły
o prostopadłych przekątnych
i
, a rzutem prostokątnym wierzchołka 8 na podstawę jest punkt 0 przecięcia przekątnych podstawy. Udowodnić, że rzuty prostokątne punktu O na ściany boczne ostrosłupa leżą na okręgu.
Niech
,
,
,
będą rzutami prostokątnymi punktu
odpowiednio na ściany
,
,
,
(rys. 23).
Płaszczyzna
jest prostopadła do płaszczyzny czworokąta
i do płaszczyzny
, gdyż zawiera prostopadłe
i
do tych płaszczyzn. Zatem płaszczyzna
jest prostopadła do prostej przecięcia
płaszczyzn
i
i przecina ją w punkcie
prostej
, przy czym
, tzn.
jest rzutem prostokątnym punktu
na prostą AB. Podobnie proste
,
i
przecinają odpowiednio proste
,
i
w punktach
,
,
będących rzutami prostokątnymi punktu
na te proste. Punkty
,
,
,
leżą na pewnym okręgu
. Punkty
,
,
,
także leżą na okręgu. Istotnie, odcinek
widać z każdego z tych punktów pod kątem prostym, więc leżą one na sferze (tj. na powierzchni kuli) o średnicy
; zarazem znajdują się one na płaszczyźnie
, leżą zatem na linii przecięcia sfery z płaszczyzną, tj. na pewnym okręgu
. Okręgi
i
znajdują się w różnych płaszczyznach i ają dwa punkty wspólne
i
; wobec tego istnieje sfera
przechodząca przez oba te okręgi; punkty
,
,
,
,
,
, leżą na sferze
. Tak samo punkty
,
,
,
,
,
leżą na pewnej sferze
, a punkty
,
,
,
,
,
- na pewnej sferze
. Lecz powierzchnie
,
,
są identyczne, gdyż
i
przechodzą przez wierzchołki czworościanu
, a
i
przez wierzchołki czworościanu
. Zatem punkty
leżą na sferze
. Lecz z drugiej strony punkty
,
,
,
leżą na sferze o średnicy
, gdyż z każdego z tych punktów odcinek
widać pod kątem prostym; sfera ta jest różna od sfery
, gdyż nie przechodzi przez punkty
,
,
,
, będąc styczną do płaszczyzny
w punkcie
. Punkty
,
,
,
leżą zatem na linii przecięcia dwóch różnych sfer, tj. na okręgu.
Uwaga. Dowód powyższy można znacznie skrócić biorąc pod uwagę rzut stereograficzny sfery o średnicy
z punktu
na płaszczyznę
. Wiadomo, że w takim rzucie okręgowi leżącemu na płaszczyźnie odpowiada okrąg na sferze. Okręgowi przechodzącemu przez punkty
,
,
,
, odpowiada okrąg, który przechodzi przez odpowiednie punkty sfery, tj. przez punkty
,
,
,
.