W przestrzeni dany jest punkt
oraz skończony zbiór wektorów
. Rozważamy zbiór tych punktów
, dla których wektor
daje się przedstawić w postaci sumy
o współczynnikach spełniających nierówności
(
). Rozstrzygnąć, czy zbiór ten może być czworościanem.
Wykażemy, że punkt
będący końcem wektora
![]() |
jest środkiem symetrii rozważanego zbioru
.
Przypuśćmy bowiem, że
. Zatem wektor
dopuszcza przedstawienie
![]() |
Niech
będzie końcem wektora
![]() |
Liczby
także zawierają się między
a
, zatem
. Ponadto zachodzi równość
![]() |
z której wynika, że punkt
jest środkiem odcinka
. Innymi słowy,
jest obrazem
w symetrii środkowej względem punktu
. (Uwaga: przedstawienie wektora
w postaci (1) nie musi być jedyne; zatem i przedstawienie wektora
w postaci (2) może nie być jedyne; z uzyskanej przed chwilą konkluzji wynika wszelako, że sam punkt
jest wyznaczony przez
jednoznacznie.)
Pokazaliśmy, że jeśli
jest dowolnym punktem zbioru
, to punkt
symetryczny do
względem
także należy do
. To znaczy, że
jest środkiem symetrii zbioru
.
Czworościan nie ma środka symetrii. Zatem zbiór
nie może być czworościanem.