Dowieść, że jeżeli w czworościanie
mamy
,
,
, to wszystkie ściany czworościanu są trójkątami ostrokątnymi.
Udowodnimy najpierw
Lemat. Niech
będą liczbami z przedziału
. Istnieje kąt trójścienny, którego kąty płaskie mają miary równe
wtedy i tylko wtedy, gdy każda z liczb
jest mniejsza od sumy dwóch pozostałych.
Dowód. Bez zmniejszenia ogólności możemy przyjąć, że
. Wtedy oczywiście
i
. Mamy więc udowodnić, że istnieje kąt trójścienny, którego kąty płaskie mają miary równe
wtedy i tylko wtedy, gdy
.
Niech
będzie półprostą o początku w punkcie
. Półproste o początku w punkcie
tworzące z
kąt o danej mierze
są tworzącymi stożka obrotowego o wierzchołku w punkcie
, osi
i kącie przy wierzchołku o mierze
. Na odwrót każda tworząca tego stożka tworzy kąt o mierze
z półprostą
(rys. 16).
Niech półproste
i
zawarte w płaszczyźnie
mają początek w punkcie
i tworzą kąt o mierze
(rys. 17). Rozważmy stożek obrotowy
o wierzchołku w punkcie
, osi
i kącie przy wierzchołku o mierze
oraz stożek obrotowy
o wierzchołku w punkcie
, osi
i kącie przy wierzchołku o mierze
. Częścią wspólną powierzchni tych stożków jest albo punkt
(gdy
), albo pewna półprosta zawarta w płaszczyźnie
(gdy
), albo para półprostych
,
, z których żadna nie jest zawarta w płaszczyźnie
(gdy
). W tym ostatnim przypadku półproste
,
,
wyznaczają kąt trójścienny, którego kąty płaskie przy wierzchołku mają miary równe
. Jeżeli zaś
, to taki kąt trójścienny nie istnieje, ponieważ odpowiednie stożki nie mają w tym przypadku wspólnej tworzącej nie zawartej w płaszczyźnie
.
Przystępujemy teraz do rozwiązania zadania. Z równości podanych w treści zadania wynika, że każde dwie ściany czworościanu
mają po trzy krawędzie odpowiednio równe (rys. 18). Są więc trójkątami przystającymi. Stąd w szczególności
![]() |
Ponieważ suma miar kątów trójkąta
równa jest
, więc wynika stąd, że suma miar kątów płaskich przy wierzchołku
jest równa
. Zatem na mocy lematu
![]() |
Stąd
.
Analogicznie dowodzimy, że każdy z pozostałych kątów płaskich jest ostry.
Uwaga. Teza zadania wynika bezpośrednio z zadania 12 z XII Olimpiady Matematycznej.