Пусть вершины тетраэдра A1,A2,A3,A4A_1,A_2,A_3,A_4A1,A2,A3,A4 и длина ребра равна aaa. Для точки XXX положим f(X)=∑i=14∣XAi∣.
f(X)=\sum_{i=1}^4 |XA_i|. f(X)=i=1∑4∣XAi∣. 1) Минимум и максимум. Так как функция X↦∣XAi∣X\mapsto|XA_i|X↦∣XAi∣ выпукла, то fff — выпуклая функция. Из симметрии правильного тетраэдра единственная точка, инвариантная при всей группе его симметрий, — это центр (центроид, который совпадает с центром описанной сферы) OOO; поэтому минимум достигается в OOO и единственен: minf=f(O)=4R,
\min f = f(O)=4R, minf=f(O)=4R,
где для правильного тетраэдра RRR (радиус описанной сферы) равен R=a64R=\dfrac{a\sqrt{6}}{4}R=4a6, значит minf=a6.
\min f = a\sqrt{6}. minf=a6.
Максимум на замкнутом тетраэдре достигается в вершинах; при X=AiX=A_iX=Ai имеем f=3af=3af=3a, следовательно maxf=3a.
\max f=3a. maxf=3a.
Итак возможные значения суммы — интервал [a6, 3a]\displaystyle\left[a\sqrt{6},\,3a\right][a6,3a]. 2) Вид множества уровня f(X)=cf(X)=cf(X)=c. - Для c=a6c=a\sqrt{6}c=a6 множество уровня — единственная точка OOO. - Для c=3ac=3ac=3a множество уровня — четыре вершины AiA_iAi. - Для любого ccc из интервала (a6, 3a)\displaystyle\left(a\sqrt{6},\,3a\right)(a6,3a) множество уровня — незамкнутая сверху (внутри тетраэдра) замкнутая выпуклая гладкая поверхность, инвариантная относительно группы симметрий правильного тетраэдра (операции тетраэдральной симметрии). Топологически это сфера, гладкая и строго выпуклая (каждая составляющая функции расстояния гладка вне вершин, сумма потому тоже гладкая на уровне, не проходящем через вершины). Поверхности уровня расположены концентрически вокруг OOO: при увеличении ccc они монотонно «растут» и стремятся к вершинам при c→3ac\to3ac→3a. Кратко: множества точек с постоянной суммой расстояний к вершинам правильного тетраэдра при фиксированном c∈[a6,3a]c\in\left[a\sqrt{6},3a\right]c∈[a6,3a] — для краёв интервала это точки OOO и набор вершин, а для внутренних значений — гладкие замкнутые выпуклые поверхности с тетраэдральной симметрией, вложенные одна в другую и центрированные в OOO.
f(X)=∑i=14∣XAi∣. f(X)=\sum_{i=1}^4 |XA_i|.
f(X)=i=1∑4 ∣XAi ∣.
1) Минимум и максимум. Так как функция X↦∣XAi∣X\mapsto|XA_i|X↦∣XAi ∣ выпукла, то fff — выпуклая функция. Из симметрии правильного тетраэдра единственная точка, инвариантная при всей группе его симметрий, — это центр (центроид, который совпадает с центром описанной сферы) OOO; поэтому минимум достигается в OOO и единственен:
minf=f(O)=4R, \min f = f(O)=4R,
minf=f(O)=4R, где для правильного тетраэдра RRR (радиус описанной сферы) равен R=a64R=\dfrac{a\sqrt{6}}{4}R=4a6 , значит
minf=a6. \min f = a\sqrt{6}.
minf=a6 . Максимум на замкнутом тетраэдре достигается в вершинах; при X=AiX=A_iX=Ai имеем f=3af=3af=3a, следовательно
maxf=3a. \max f=3a.
maxf=3a. Итак возможные значения суммы — интервал [a6, 3a]\displaystyle\left[a\sqrt{6},\,3a\right][a6 ,3a].
2) Вид множества уровня f(X)=cf(X)=cf(X)=c.
- Для c=a6c=a\sqrt{6}c=a6 множество уровня — единственная точка OOO.
- Для c=3ac=3ac=3a множество уровня — четыре вершины AiA_iAi .
- Для любого ccc из интервала (a6, 3a)\displaystyle\left(a\sqrt{6},\,3a\right)(a6 ,3a) множество уровня — незамкнутая сверху (внутри тетраэдра) замкнутая выпуклая гладкая поверхность, инвариантная относительно группы симметрий правильного тетраэдра (операции тетраэдральной симметрии). Топологически это сфера, гладкая и строго выпуклая (каждая составляющая функции расстояния гладка вне вершин, сумма потому тоже гладкая на уровне, не проходящем через вершины). Поверхности уровня расположены концентрически вокруг OOO: при увеличении ccc они монотонно «растут» и стремятся к вершинам при c→3ac\to3ac→3a.
Кратко: множества точек с постоянной суммой расстояний к вершинам правильного тетраэдра при фиксированном c∈[a6,3a]c\in\left[a\sqrt{6},3a\right]c∈[a6 ,3a] — для краёв интервала это точки OOO и набор вершин, а для внутренних значений — гладкие замкнутые выпуклые поверхности с тетраэдральной симметрией, вложенные одна в другую и центрированные в OOO.