Przez wysokość czworościanu foremnego poprowadzono płaszczyznę, która przecina płaszczyzny ścian bocznych wzdłuż
prostych tworzących z płaszczyzną podstawy czworościanu kąty
,
,
. Dowieść, że
![]() |
Przyjmiemy oznaczenia podane na rys. 27, na którym
przedstawia wysokość czworościanu foremnego
, a
,
,
- proste przecięcia płaszczyzny poprowadzonej przez
odpowiednio ze ścianami bocznymi
,
i
. Kąty
,
,
są kątami, jakie odcinki
,
,
tworzą ze swymi rzutami
,
i
na płaszczyznę podstawy
. Wobec tego
![]() |
Oznaczając długość krawędzi czworościanu literą
, mamy, jak łatwo sprawdzić,
![]() |
Uwzględniając wzory (2) i (3) możemy twierdzeniu (1) nadać postać
![]() |
Widzimy, że twierdzenie (1) sprowadza się do twierdzenia planimetrycznego (4) o trójkącie równobocznym
o boku
, którego boki
,
,
lub ich przedłużenia przecięte są w punktach
,
,
prostą przechodzącą przez środek trójkąta (rys. 28).
Ponieważ punkt
znajduje się wewnątrz trójkąta, więc punkty
,
,
leżą po różnych stronach punktu
na prostej
. Przypuśćmy (co nie zmniejsza ogólności rozumowania), że punkt
leży po jednej stronie, a punkty
i
do drugiej stronie punktu
, przy czym punkt
znajduje się na boku
, a punkt
na przedłużeniu boku
poza punkt
. Niech
,
,
oznaczają kąty, jakie odcinki
,
,
tworzą z prostopadłymi poprowadzonymi z punktu
odpowiednio do boków
,
,
; te prostopadłe mają, jak wiadomo, długość
i tworzą między sobą kąty po
.
Zachodzą związki:
![]() |
przy czym
![]() |
więc
![]() |
Stąd
![]() |
Stosując znane wzory trygonometryczne obliczamy łatwo, że
![]() |
podstawienie do poprzedniej równości daje zatem
![]() |
czego należało dowieść.