W czworościanie pola sześciu trójkątów, których bokami są krawędzie, a wierzchołkami środki przeciwległych krawędzi czworościanu, są równe. Udowodnić, że czworościan ten jest foremny.
Założenie zadania gwarantuje równość pól sześciu trójkątów, z których każdy ma podstawę będącą krawędzią czworościanu, a wierzchołek przeciwległy jest środkiem przeciwległej krawędzi. Na czworościanie
opisujemy równoległościan
, którego każda ściana zawiera pewną krawędź czworościanu i jest równoległa do przeciwległej krawędzi czworościanu. Z założenia o równości pól sześciu trójkątów, których bokami są krawędzie a wierzchołkami środki przeciwległych krawędzi czworościanu wynika, że przekroje równoległościanu płaszczyznami zawierającymi przeciwległe krawędzie mają równe pola, bo np. pole
jest równe
pole
, pole
równe jest
pole
itp. dla pozostałych czterech przekrojów.


Poprowadźmy teraz płaszczyznę prostopadłą do pewnej krawędzi rozważanego równoległościanu, np. do
. Przecina ona proste
,
,
,
odpowiednio w punktach
,
,
,
, przy czym
jest równoległobokiem. Ponieważ pole
jest równe
oraz pole
jest równe
, przy czym pola te są równe i
, więc
. Wobec tego równoległobok
ma przekątne równej długości, jest więc prostokątem. Wynika stąd, że ściany
i
;
i
;
i
są do siebie prostopadłe.
Prowadząc płaszczyznę prostopadłą do krawędzi
a następnie płaszczyznę prostopadłą do krawędzi
stwierdzimy w analogiczny sposóbj że każde dwie ściany równoległościanu mające wspólną krawędź są prostopadłe, a więc równoległościan jest prostopadłościanem. Jeśli
,
,
są długościami krawędzi tego prostopadłościanu, to ponieważ (jak stwierdziliśmy wyżej) przekroje poprowadzone przez przeciwległe krawędzie mają równe pola, więc
![]() |
Wynika stąd
![]() |
Pierwsza z tych równości pociąga za sobą
, więc
, podobnie z drugiej równości wynika
.
Wobec tego równoległościan opisany na danym czworościanie jest czworościanem, a stąd wynika, że dany czworościan jest foremny.