Формула Тартальи — Кэли — Менгера¶

Формула Тартальи — Кэли — Менгера — это формула в евклидовой геометрии, выражающая объём симплекса (в частности, треугольника, тетраэдра, пятимерного симплекса) через длины его рёбер. Она является обобщением формулы Герона для площади треугольника на случай произвольной размерности. Формула названа в честь итальянского математика Никколо Тартальи (XVI век), английского математика Артура Кэли (XIX век) и австрийского математика Карла Менгера (XX век).

¶История

Первоначально, в XVI веке, Никколо Тарталья (около 1499–1557) нашёл формулу для объёма тетраэдра через длины его шести рёбер. Эта формула была известна как «формула Тартальи» и долгое время использовалась в геометрии для вычисления объёмов пирамид. В 1841 году Артур Кэли (1821–1895) обобщил эту формулу на случай симплекса произвольной размерности, выразив квадрат объёма через определитель матрицы, составленной из квадратов длин рёбер. В 1928 году Карл Менгер (1902–1985) в рамках своей работы по теории метрических пространств и проблеме изометрического вложения переоткрыл и систематизировал эту формулу, связав её с определителем Кэли — Менгера. В современной литературе формула часто называется «определителем Кэли — Менгера» или «формулой Тартальи — Кэли — Менгера».

¶Математическая формулировка

Пусть дан симплекс размерности \(n\) в евклидовом пространстве \(\mathbb{R}^n\) (то есть \(n\)-мерный симплекс). У него \(n+1\) вершина. Обозначим вершины как \(A_0, A_1, \dots, A_n\). Длина ребра между вершинами \(A_i\) и \(A_j\) обозначается как \(d_{ij} = |A_i A_j|\). Тогда квадрат \(n\)-мерного объёма \(V_n\) этого симплекса вычисляется по формуле:

\[ V_n^2 = \frac{(-1)^{n+1}}{2^n (n!)^2} \cdot \det(M), \]

где \(M\) — это матрица Кэли — Менгера размером \((n+2) \times (n+2)\):

\[ M = \begin{pmatrix} 0 & 1 & 1 & \dots & 1 \\ 1 & 0 & d_{01}^2 & \dots & d_{0n}^2 \\ 1 & d_{10}^2 & 0 & \dots & d_{1n}^2 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 1 & d_{n0}^2 & d_{n1}^2 & \dots & 0 \end{pmatrix}. \]

Здесь первая строка и первый столбец состоят из единиц, а на главной диагонали стоят нули. Элементы \(d_{ij}^2\) — квадраты длин рёбер. Определитель этой матрицы называется определителем Кэли — Менгера.

¶Частные случаи

¶Треугольник (n=1)

Для треугольника (одномерный симплекс — отрезок) формула даёт длину отрезка, но в традиционном понимании объём одномерного симплекса — это его длина. Формула сводится к тривиальному тождеству. Однако для площади треугольника (n=2) формула переходит в формулу Герона.

¶Треугольник (n=2)

Для треугольника с вершинами \(A_0, A_1, A_2\) и сторонами \(a = d_{12}, b = d_{02}, c = d_{01}\) матрица Кэли — Менгера имеет размер \(4 \times 4\):

\[ M = \begin{pmatrix} 0 & 1 & 1 & 1 \\ 1 & 0 & c^2 & b^2 \\ 1 & c^2 & 0 & a^2 \\ 1 & b^2 & a^2 & 0 \end{pmatrix}. \]

Определитель этой матрицы равен \(2a^2b^2 + 2a^2c^2 + 2b^2c^2 - a^4 - b^4 - c^4\). Подставляя в формулу, получаем:

\[ V_2^2 = \frac{(-1)^{3}}{2^2 (2!)^2} \cdot \det(M) = \frac{-1}{4 \cdot 4} \cdot \det(M) = \frac{1}{16} \cdot (2a^2b^2 + 2a^2c^2 + 2b^2c^2 - a^4 - b^4 - c^4). \]

Извлекая квадратный корень, получаем площадь треугольника по формуле Герона:

\[ S = \frac{1}{4} \sqrt{(a+b+c)(-a+b+c)(a-b+c)(a+b-c)}. \]

¶Тетраэдр (n=3)

Для тетраэдра с вершинами \(A_0, A_1, A_2, A_3\) и рёбрами \(d_{ij}\) матрица Кэли — Менгера имеет размер \(5 \times 5\). Формула для объёма \(V_3\) тетраэдра впервые была получена Тартальей:

\[ V_3^2 = \frac{1}{288} \cdot \det \begin{pmatrix} 0 & 1 & 1 & 1 & 1 \\ 1 & 0 & d_{01}^2 & d_{02}^2 & d_{03}^2 \\ 1 & d_{10}^2 & 0 & d_{12}^2 & d_{13}^2 \\ 1 & d_{20}^2 & d_{21}^2 & 0 & d_{23}^2 \\ 1 & d_{30}^2 & d_{31}^2 & d_{32}^2 & 0 \end{pmatrix}. \]

Раскрытие этого определителя даёт выражение, известное как формула Тартальи для объёма тетраэдра.

¶Свойства и приложения

¶Геометрический смысл

Определитель Кэли — Менгера равен нулю тогда и только тогда, когда точки \(A_0, A_1, \dots, A_n\) лежат в пространстве размерности меньше \(n\) (то есть симплекс вырожден). Если определитель положителен, точки образуют невырожденный симплекс в \(\mathbb{R}^n\). Если определитель отрицателен, то точки не могут быть реализованы как вершины симплекса в евклидовом пространстве (например, нарушается неравенство треугольника).

¶Использование в вычислительной геометрии

Формула Тартальи — Кэли — Менгера применяется в компьютерной графике, геоинформационных системах и вычислительной механике для вычисления объёмов многогранников, разбитых на симплексы (триангуляция). Она позволяет вычислять объём по длинам рёбер без координат вершин, что удобно при работе с данными, где известны только расстояния между точками.

¶Связь с метрическими пространствами

В теории метрических пространств определитель Кэли — Менгера используется для проверки возможности изометрического вложения конечного метрического пространства в евклидово пространство заданной размерности. Если для некоторого набора точек с заданными расстояниями определитель Кэли — Менгера неотрицателен, то точки можно вложить в \(\mathbb{R}^n\) без искажения расстояний.

¶Примеры применения

• Кристаллография: вычисление объёмов элементарных ячеек кристаллов по межатомным расстояниям.
• Робототехника: определение конфигурационного пространства манипуляторов по расстояниям между сочленениями.
• Биоинформатика: анализ пространственных структур молекул (например, белков) по известным расстояниям между атомами.

¶Критика и ограничения

Формула требует вычисления определителя матрицы размером \((n+2) \times (n+2)\), что при больших \(n\) (например, \(n > 10\)) приводит к вычислительным сложностям из-за роста числа операций и возможной потери точности из-за округлений. Для больших размерностей предпочтительнее использовать другие методы, например, разложение Холецкого или вычисление объёма через координаты вершин. Кроме того, формула применима только к симплексам, то есть к многогранникам с минимальным числом вершин для данной размерности. Для произвольных многогранников необходимо разбиение на симплексы.

¶Интересные факты

• Формула Тартальи для тетраэдра была опубликована в 1556 году в его трактате «General Trattato di numeri et misure». Тарталья не использовал матричную запись — она была введена Кэли спустя три столетия.
• Определитель Кэли — Менгера является обобщением определителя Грама, который выражает объём через скалярные произведения векторов.
• В 1928 году Карл Менгер использовал эту формулу для доказательства теоремы о вложении метрических пространств, что стало важным вкладом в развитие метрической геометрии.

¶Источники

• Тарталья Н. General Trattato di numeri et misure. — Венеция, 1556.
• Кэли А. On a theorem in the geometry of position // Cambridge Mathematical Journal. — 1841. — Vol. 2. — P. 267–271.
• Менгер К. Untersuchungen über allgemeine Metrik // Mathematische Annalen. — 1928. — Vol. 100. — P. 75–163.
• Берже М. Геометрия. — М.: Мир, 1984. — Т. 1. — Гл. 9.
• Прасолов В. В. Задачи по планиметрии. — М.: МЦНМО, 2006. — Гл. 10.
• Blumenthal L. M. Theory and Applications of Distance Geometry. — Oxford: Clarendon Press, 1953.