Dany jest czworościan foremny o krawędzi długości 1. Udowodnić, że:
1) Na powierzchni
czworościanu istnieją takie cztery punkty, że odległość każdego punktu powierzchni
od jednego z tych czterech punktów nie przekracza
.
2) Na powierzchni
nie istnieją trzy punkty o podobnej własności.
Przez odległość punktów należących do
rozumiemy kres dolny długości łamanych zawartych w
łączących te punkty.
1) Zauważmy najpierw, że w trójkącie równobocznym o boku długości
środki dwóch boków mają tę własność, że każdy punkt należący do trójkąta jest odległy od jednego z nich nie więcej niż o
. Istotnie, zakreślając koła o środkach w tych punktach (rys. 15) i promieniach długości
stwierdzamy, że trójkąt jest zawarty w sumie tych kół.
W czworościanie foremnym
obierzmy punkty
,
,
,
będące środkami krawędzi
,
,
,
(rys. 16). W ten sposób do każdej ze ścian czworościanu należą dwa z punktów
,
,
,
i są one środkami dwóch krawędzi tej ściany. Z uwagi zrobionej na początku wynika więc, że każdy punkt dowolnej ściany czworościanu jest odległy od jednego z punktów
,
,
,
nie więcej niż o
.
2) Przypuśćmy, że istnieją trzy punkty
,
,
należące do powierzchni czworościanu takie, że dowolny punkt powierzchni czworościanu jest odległy od jednego z nich nie więcej niż o
. Ponieważ czworościan ma cztery wierzchołki, więc co najmniej dwa wierzchołki są odległe od tego samego punktu z
,
,
nie więcej niż o
. Niech na przykład punkty
i
będą odległe od
nie więcej niż o
. Ponieważ odległość punktów
i
równa jest
, więc wynika stąd, że punkt
jest środkiem krawędzi
.
Zauważmy, że każdy punkt należący do wysokości
ściany
(za wyjątkiem punktu
) jest odległy od punktu
więcej niż o
. Istotnie, rozważmy rozwinięcie powierzchni czworościanu foremnego
(rys. 17). Zakreskowany obszar składa się z punktów odległych od
nie więcej niż o
. Wysokość
ma tylko punkt
wspólny z tym obszarem.
Gdyby więc punkt
był odległy więcej niż o
od każdego z punktów
i
, to i każdy punkt pewnego otoczenia punktu
miałby podobną własność. Wobec tego punkty odcinka
dostatecznie bliskie punktu
byłyby odległe od każdego z punktów
,
,
więcej niż o
. Jest to jednak sprzeczne z naszym pierwotnym przypuszczeniem. Zatem punkt
jest odległy od jednego z punktów
i
nie więcej niż o
i podobnie stwierdzamy, że punkt
jest odległy od jednego z punktów
i
nie więcej niż o
. Ponieważ wierzchołki
i
są odległe od punktu
więcej niż o
, więc również każdy z punktów
i
jest odległy od jednego z punktów
i
nie więcej niż o
. Wynika stąd, że co najmniej dwa z punktów
,
,
,
są odległe od jednego z punktów
i
nie więcej niż o
.
Niech na przykład punkty
i
będą odległe od
nie więcej niż o
(pozostałe przypadki rozpatruje się podobnie). Wtedy punkt
jest środkiem krawędzi
, a punkt
- środkiem krawędzi
.
Wówczas jednak rozumując podobnie, jak poprzednio, stwierdzamy, że punkty należące do wysokości
ściany
położone dostatecznie blisko punktu
są odległe od każdego z punktów
,
,
więcej niż o
. Uzyskana sprzeczność dowodzi, że nie istnieją trzy punkty
,
,
należące do powierzchni czworościanu
takie, że każdy punkt powierzchni czworościanu jest odległy od jednego z nich nie więcej niż o
.