W czworościanie
krawędź
jest prostopadła do krawędzi
i
. Udowodnić, że płaszczyzna wyznaczona przez krawędź
i środek krawędzi
jest prostopadła do krawędzi
.
Udowodnimy najpierw
Lemat. Jeżeli proste
i
przecinają się pod kątem prostym w punkcie
, to liczba punktów półprostej
, z których widać odcinek
pod kątem
, jest równa
,
lub
.
Dowód. Jak wiadomo, zbiór punktów zawartych w półpłaszczyźnie o krawędzi
i zawierającej punkt
, z których widać odcinek
pod kątem
, jest łukiem pewnego okręgu. Ten łuk ma z półprostą
,
lub
punkty wspólne w zależności od położenia odcinka
względem punktu
i od wielkości kąta
(rys. 19).
Wniosek. Niech prosta
będzie prostopadła do płaszczyzny
. Zbiór punktów płaszczyzny
, z których widać odcinek
pod kątem
, jest pusty, jest okręgiem lub sumą dwóch okręgów współśrodkowych.
Dowód. Niech
będzie punktem przecięcia prostej
z płaszczyzną
, a
- dowolnym punktem płaszczyzny
różnym od
. Na mocy lematu półprosta
zawiera co najwyżej dwa punkty, z których widać odcinek
pod kątem
. Przy obrocie dokoła prostej
punkty te utworzą co najwyżej dwa okręgi współśrodkowe i z każdego punktu tych okręgów widać odcinek
pod kątem
. Na mocy lematu z każdego punktu płaszczyzny
nie należącego do tych okręgów widać odcinek
pod kątem różnym od
.
Przechodzimy do rozwiązania zadania. Niech
będzie płaszczyzną prostopadłą do
i zawierającą odcinek
i niech
będzie punktem przecięcia prostej
z płaszczyzn
. Na mocy warunków zadania z punktów
i
widać odcinek
pod tym samym kątem. Z wniosku z lematu wynika więc, że albo
1) punkty
i
należą do jednego okręgu o środku w punkcie
, albo,
2) punkty
i
należą do różnych okręgów o środku w punkcie
.
W pierwszym przypadku symetralna odcinka
zawiera punkt 
i wobec tego płaszczyzna wyznaczona przez krawędź
i środek krawędzi
jest prostopadła do krawędzi
. W drugim przypadku symetralna odcinka
nie zawiera punktu
. Gdyby bowiem go zawierała, to punkt
byłby równo odległy od punktów
i
. Punkty te należałyby więc do jednego okręgu o środku w punkcie
, co nie ma miejsca. Wobec tego płaszczyzna wyznaczona przez krawędź
i środek krawędzi
nie zawiera symetralnej odcinka
, a więc nie jest do niego prostopadła.
Teza zadania w drugim przypadku nie jest więc prawdziwa. Przypadek pierwszy ma miejsce na przykład wtedy, gdy punkt
należy do odcinka
, a więc na przykład, gdy kąt
jest rozwarty.