В пространстве задана тетраэдр ABCD; найдите геометрическое место точек X для которых сумма расстояний до вершин A, B, C равна постоянной, и сравните с аналогичным местом в плоскости
Искомое множество: для фиксированных точек \(A,B,C\) в пространстве и константы \(k\) рассматриваем множество \[ \{X\in\mathbb{R}^3\mid XA+XB+XC=k\}, \] где \(XA=\lvert X-A\rvert\) и т.д. Ключевые свойства (общие для пространства и для плоскости): - Область значений: решений нет, если \(k<k_{\min}\), где \[ k_{\min}=\min_{X}(XA+XB+XC). \] Если у треугольника \(ABC\) все углы меньше \(120^\circ\), то минимум достигается в ферма́товой точке \(F\) и \(\,k_{\min}=FA+FB+FC\). Если какой‑то угол, скажем \(\angle A\ge 120^\circ\), то минимум достигается в вершине \(A\) и \(k_{\min}=AB+AC\). - Для \(k=k_{\min}\) множество — одна точка (ферма́това точка \(F\) или соответствующая вершина). - Функция \[ f(X)=XA+XB+XC \] выпукла (сумма выпуклых функций), следовательно её уровневые множества выпуклы. Для \(k>k_{\min}\) множество решений компактно, замкнуто и выпукло. - Дифференцируемость: в точках, где \(X\neq A,B,C\), градиент \[ \nabla f(X)=\frac{X-A}{|X-A|}+\frac{X-B}{|X-B|}+\frac{X-C}{|X-C|} \] и для \(k>k_{\min}\) этот вектор ненулевой, поэтому уровень \(f(X)=k\) даёт гладкую (по крайней мере \(C^1\)) выпуклую поверхность в пространстве. Аналогично в плоскости — гладкая выпуклая замкнутая кривая (овал). Отличия пространство ↔ плоскость: - В пространстве для \(k>k_{\min}\) получаем двумерную замкнутую выпуклую поверхность (гладкий "овальный" наружный слой). В плоскости — одномерную замкнутую выпуклую кривую. - Симметричные или вращательные особенности: если \(A,B,C\) коллинеарны, то в пространстве уровневые множества являются поверхностями вращения вокруг этой прямой; в плоскости при коллинеарных точках уровни — два симметричных отрезка/дуги (вырожденные случаи). - Асимптотика: при больших \(k\) уровни ведут себя как сферы (пространство) или окружности (плоскость) с радиусом примерно \(k/3\). Итого: геометрическое место точек задано уровнем выпуклой функции \(XA+XB+XC\). В пространстве это для \(k>k_{\min}\) гладкая замкнутая выпуклая 2D‑поверхность; в плоскости — аналогичная одинарная замкнутая выпуклая кривая.
\[
\{X\in\mathbb{R}^3\mid XA+XB+XC=k\},
\]
где \(XA=\lvert X-A\rvert\) и т.д.
Ключевые свойства (общие для пространства и для плоскости):
- Область значений: решений нет, если \(k<k_{\min}\), где
\[
k_{\min}=\min_{X}(XA+XB+XC).
\]
Если у треугольника \(ABC\) все углы меньше \(120^\circ\), то минимум достигается в ферма́товой точке \(F\) и \(\,k_{\min}=FA+FB+FC\). Если какой‑то угол, скажем \(\angle A\ge 120^\circ\), то минимум достигается в вершине \(A\) и \(k_{\min}=AB+AC\).
- Для \(k=k_{\min}\) множество — одна точка (ферма́това точка \(F\) или соответствующая вершина).
- Функция
\[
f(X)=XA+XB+XC
\]
выпукла (сумма выпуклых функций), следовательно её уровневые множества выпуклы. Для \(k>k_{\min}\) множество решений компактно, замкнуто и выпукло.
- Дифференцируемость: в точках, где \(X\neq A,B,C\), градиент
\[
\nabla f(X)=\frac{X-A}{|X-A|}+\frac{X-B}{|X-B|}+\frac{X-C}{|X-C|}
\]
и для \(k>k_{\min}\) этот вектор ненулевой, поэтому уровень \(f(X)=k\) даёт гладкую (по крайней мере \(C^1\)) выпуклую поверхность в пространстве. Аналогично в плоскости — гладкая выпуклая замкнутая кривая (овал).
Отличия пространство ↔ плоскость:
- В пространстве для \(k>k_{\min}\) получаем двумерную замкнутую выпуклую поверхность (гладкий "овальный" наружный слой). В плоскости — одномерную замкнутую выпуклую кривую.
- Симметричные или вращательные особенности: если \(A,B,C\) коллинеарны, то в пространстве уровневые множества являются поверхностями вращения вокруг этой прямой; в плоскости при коллинеарных точках уровни — два симметричных отрезка/дуги (вырожденные случаи).
- Асимптотика: при больших \(k\) уровни ведут себя как сферы (пространство) или окружности (плоскость) с радиусом примерно \(k/3\).
Итого: геометрическое место точек задано уровнем выпуклой функции \(XA+XB+XC\). В пространстве это для \(k>k_{\min}\) гладкая замкнутая выпуклая 2D‑поверхность; в плоскости — аналогичная одинарная замкнутая выпуклая кривая.