Dany jest kąt trójścienny o krawędziach
,
,
, którego wszystkie kąty płaskie są ostre, a kąt dwuścienny przy krawędzi
jest prosty. Dowieść, że przekrój tego trójścianu dowolną płaszczyzną prostopadłą do którejkolwiek krawędzi, w punkcie różnym od wierzchołka
, jest trójkątem prostokątnym.
Zauważmy najpierw, że jeżeli kąty trójścianu
są ostre, to płaszczyzna, prostopadła do którejś krawędzi trójścianu w punkcie różnym od
, przecina pozostałe krawędzie w punktach różnych od
, wobec czego przekrój trójścianu tą płaszczyzną jest trójkątem. Na przykład płaszczyzna poprowadzona przez punkt
krawędzi
, prostopadle do
, przecina krawędź
w punkcie
określonym równością
.
Niech płaszczyzna
przecina krawędzie
,
,
trójścianu odpowiednio w punktach
,
,
(różnych od
). Udowodnimy, że jeżeli ta płaszczyzna jest prostopadła do jednej z krawędzi, to
jest prosty. Gdy
, jest to oczywiste, gdyż
jest wówczas kątem liniowym kąta dwuściennego prostego. Gdy
, to
, a że
, więc prosta przecięcia płaszczyzn
i
, tj. prosta
jest prostopadła do płaszczyzny
; prosta
jest wobec tego prostopadła do prostej
leżącej w płaszczyźnie
, zatem
. W przypadku, gdy
, dowód jest analogiczny (rys. 13).