Znaleźć najmniejszą liczbę dodatnią
o tej własności, że w czworościanie foremnym o krawędzi długości 1 istnieją takie cztery punkty, że odległość dowolnego punktu czworościanu od któregoś z nich jest
.
Niech
będzie środkiem kuli opisanej na czworościanie foremnym
o krawędzi
(rys. 9). Promień kuli opisanej na
jest równy
. Czworościan
dzielimy na czworościany o wierzchołkach:
, jednym z wierzchołków czworościanu, środku jednej z krawędzi wychodzących z tego wierzchołka czworościanu, spodku wysokości na jednej ze ścian zawierających tę krawędź. Ponieważ z każdego z
wierzchołków czworościanu wychodzą
krawędzie, a każda z nich należy do dwóch ścian czworościanu, więc liczba rozpatrywanych czworościanów równa jest
.
Udowodnimy, że każdy z tych
czworościanów jest wpisany w jedną z czterech kul o promieniu
i o środkach
,
,
,
będących odpowiednio środkami odcinków
,
,
,
. Niech
będzie środkiem krawędzi
, zaś
spodkiem wysokości opuszczonej z punktu
na płaszczyznę trójkąta
. Rozpatrzmy czworościan
. Ponieważ kąt
jest prosty, więc
.
Podobnie, aby dowieść, że
, wystarczy stwierdzić, że kąt
jest prosty. Wynika to z faktu, że płaszczyzna wyznaczona przez punkty
,
,
jest prostopadła do krawędzi
, ponieważ
,
oraz
.
W ten sposób dowodzimy, że każdy z
czworościanów, których jednym z wierzchołków jest
, jest zawarty w kuli o środku
i promieniu
. Z symetrii wynika, że również pozostałe czworościany są zawarte w odpowiednich kulach o promieniu
.
Zatem każdy punkt czworościanu
jest odległy od któregoś z punktów
,
,
,
nie więcej niż o
.
Przypuśćmy, że pewne punkty
,
,
,
i liczba
mają tę własność, że każdy punkt czworościanu
jest odległy od któregoś z punktów
,
,
,
nie więcej niż o
. W szczególności każdy z pięciu punktów
,
,
,
,
jest odległy od któregoś z punktów
,
,
,
nie więcej niż o
. Zatem dwa spośród punktów
,
,
,
,
są odległe od pewnego punktu
nie więcej niż o
. Jeśli punktami tymi są wierzchołki czworościanu, np.
i
, to otrzymujemy, że
, czyli
. Jeśli zaś punktami tymi są
i jeden z wierzchołków czworościanu, np.
, to otrzymujemy
, czyli
.
Ponieważ
, więc w każdym przypadku otrzymujemy, że
. Zatem najmniejszą liczbą dodatnią
o własności podanej w zadaniu jest
.
Uwaga. Można dowieść, że punkty
,
,
,
są jedynymi punktami takimi, że każdy punkt czworościanu jest odległy od któregoś z nich nie więcej niż o
.