Czworościan
rozcięto na dwie części płaszczyzną przechodzącą przez wierzchołek
, przez punkt
krawędzi
i przez punkt
krawędzi
. Dowieść, że pole trójkąta
jest mniejsze pola któregoś z trójkątów
,
,
.
Twierdzenie, które mamy udowodnić można uważać za odpowiednik przestrzenny następującego twierdzenia z geometrii płaszczyzny:
Odcinek
łączący wierzchołek
trójkąta
z punktem wewnętrznym
podstawy
tego trójkąta jest mniejszy od któregoś z boków
i
.
Krótki dowód tego twierdzenia znajdziemy, stosując metodę sprowadzenia do sprzeczności. Przypuśćmy, że
i
. W trójkątach
i
jest wówczas
,
, zatem
![]() |
co jest sprzeczne z tym, że
i
są kątami przyległymi.
Tezę tego twierdzenia można sformułować nieco inaczej. Zdanie: ,,liczba
jest mniejsza od którejś z liczb
'' jest równoważne zdaniu ,,liczba
jest mniejsza od największej z liczb
''. Niech symbol
![]() |
oznacza największą z liczb
; zamiast zdania, że odcinek
jest mniejszy od któregoś z odcinków
i
możemy napisać krótko, że
![]() |
Zanotujmy kilka oczywistych własności liczby
, na które powołamy się w dalszym ciągu.
(a) Jeżeli
, to 
(b) Jeżeli
, to 
(c) Dla dowolnego
jest 
(d) ![$ \max [a, b, \ldots, \max (c, d, \ldots)]= \max (a, b, \ldots, c, d, \ldots) $](/files/tex/be8a6b57d9268f693227655a894e390dfe0d6993.png)
Zauważmy ponadto, że wartość
nie zależy od kolejności liczb
:
Proponujemy Czytelnikowi wyszukanie jeszcze innych własności liczby
, a także liczby
tj. najmniejszej z liczb
.
Przejdźmy do postawionego zadania. Niech
będzie punktem krawędzi
, a
- punktem krawędzi
. Mamy dowieść, że
![]() |
1. Rozważymy najpierw przypadek szczególny, gdy płaszczyzna
przechodzi przez jedną z krawędzi czworościanu, na przykład przez
; punkt
pokrywa się wówczas z punktem
(rys. 10).
Weźmy pod uwagę rzut całej figury na dowolną płaszczyznę prostopadłą do prostej
. Niech
będzie wspólnym rzutem punktów
i
a
,
,
niech będą odpowiednio rzutami punktów
,
i
.
Długości odcinków
,
,
są równe odległościom prostej
od równoległych do niej prostych
,
,
, więc są równe odległościom punktów
,
,
od prostej
czyli wysokościom trójkątów
,
,
o wspólnej podstawie
. Ponieważ, jak stwierdziliśmy wyżej,
![]() |
więc na mocy (a)
![]() |
czyli
![]() |
stąd na mocy (c)
![]() |
2. Przypuśćmy z kolei, że płaszczyzna
nie przechodzi przez żadną krawędź czworościanu;
i
są wówczas punktami wewnętrznymi krawędzi
i
(rys. 11). Poprowadźmy płaszczyznę
. Dla czworościanu
przeciętego płaszczyzną
zachodzi wówczas przypadek 1; zatem
![]() |
a ponieważ
, więc na mocy (b)
![]() |
Analogicznie w czworościanie
przeciętym płaszczyzną 
![]() |
Z dwóch ostatnich nierówności wynika, na mocy (a) i (d) nierówność
![]() |