Формула Герона

Формула Герона — это математическая формула, позволяющая вычислить площадь треугольника по трём известным сторонам. Она относится к классу метрических формул планиметрии и является частным случаем более общей формулы Брахмагупты для площади вписанного в окружность четырёхугольника. Формула названа в честь древнегреческого математика и инженера Герона Александрийского, жившего предположительно в I веке н. э.

Определение

Формула Герона имеет следующий вид:

\[ S = \sqrt{p(p-a)(p-b)(p-c)} \]

где:

• \( S \) — площадь треугольника;
• \( a, b, c \) — длины сторон треугольника;
• \( p \) — полупериметр треугольника, вычисляемый как \( p = \frac{a+b+c}{2} \).

Формула применима для любого треугольника, у которого длины сторон удовлетворяют неравенству треугольника (сумма любых двух сторон больше третьей). В случае вырожденного треугольника (когда одна из сторон равна сумме двух других) подкоренное выражение обращается в ноль, и площадь равна нулю.

История

Античность

Авторство формулы традиционно приписывается Герону Александрийскому (ок. 10 — ок. 70 гг. н. э.), который привёл её в своей работе «Метрика» (лат. Metrica). Однако существуют исторические свидетельства, что формула была известна ещё Архимеду (III век до н. э.). В частности, арабские математики X века ссылались на Архимеда как на первооткрывателя этой зависимости. Тем не менее, первое дошедшее до нас письменное доказательство принадлежит именно Герону.

Средневековье и Новое время

В средневековой Европе формула стала широко известна после перевода «Метрики» на латынь в XII веке. В XVI веке итальянский математик Франческо Мавролико (1494—1575) предложил альтернативное доказательство, основанное на свойствах вписанных окружностей. В 1615 году немецкий математик Иоганн Кеплер использовал формулу Герона для вычисления площадей треугольников в своих астрономических расчётах.

Современность

В XIX веке формула Герона вошла в стандартные школьные учебники геометрии. В XX веке она была обобщена для вычисления объёмов тетраэдров (формула Тартальи — Кэли — Менгера) и для площадей многоугольников по длинам сторон и диагоналей.

Доказательства

Существует несколько способов доказательства формулы Герона. Наиболее распространённые из них:

Геометрическое доказательство (классическое)

Герон использовал метод вписанной окружности. Рассматривается треугольник \( ABC \) со сторонами \( a, b, c \) и вписанной окружностью с центром \( O \). Проводятся отрезки от центра к вершинам, разбивающие треугольник на три меньших треугольника. Площадь каждого из них равна половине произведения стороны на радиус вписанной окружности \( r \). Сумма площадей даёт \( S = pr \). Далее, используя теорему Пифагора и свойства касательных, выводится выражение для \( r \) через стороны, что приводит к формуле.

Алгебраическое доказательство (через высоту)

Пусть \( h \) — высота треугольника, опущенная на сторону \( a \). По теореме Пифагора для двух прямоугольных треугольников, на которые высота делит исходный, составляется система уравнений: \[ \begin{cases} x^2 + h^2 = b^2 \\ (a - x)^2 + h^2 = c^2 \end{cases} \] где \( x \) — проекция стороны \( b \) на сторону \( a \). Решая систему, находят \( h^2 \), а затем \( S = \frac{1}{2} a h \). После алгебраических преобразований получается формула Герона.

Тригонометрическое доказательство

Используется формула площади треугольника через две стороны и синус угла между ними: \( S = \frac{1}{2} bc \sin A \). По теореме косинусов \( \cos A = \frac{b^2 + c^2 - a^2}{2bc} \). Тогда \( \sin A = \sqrt{1 - \cos^2 A} \). Подстановка и упрощение приводят к формуле Герона.

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

Пример 1

Дан треугольник со сторонами 5, 6, 7 см. Полупериметр: \[ p = \frac{5+6+7}{2} = 9 \] Площадь: \[ S = \sqrt{9 \cdot (9-5) \cdot (9-6) \cdot (9-7)} = \sqrt{9 \cdot 4 \cdot 3 \cdot 2} = \sqrt{216} = 6\sqrt{6} \approx 14,7 \text{ см}^2 \]

Пример 2

Равносторонний треугольник со стороной 10 см. Полупериметр \( p = 15 \). Площадь: \[ S = \sqrt{15 \cdot 5 \cdot 5 \cdot 5} = \sqrt{1875} = 25\sqrt{3} \approx 43,3 \text{ см}^2 \] Это совпадает с классической формулой для равностороннего треугольника \( S = \frac{\sqrt{3}}{4}a^2 \).

Обобщения

Формула Брахмагупты

Для четырёхугольника, вписанного в окружность, площадь вычисляется по формуле: \[ S = \sqrt{(p-a)(p-b)(p-c)(p-d)} \] где \( a, b, c, d \) — стороны, \( p \) — полупериметр. Для треугольника (когда одна из сторон равна нулю) формула сводится к формуле Герона.

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

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

Формула для площади многоугольника

Для произвольного многоугольника с известными длинами сторон и диагоналей площадь может быть разбита на сумму площадей треугольников, каждый из которых вычисляется по формуле Герона. Этот метод лежит в основе триангуляции — разбиения многоугольника на треугольники.

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

Формула Герона обладает рядом недостатков при практических вычислениях:

1. Численная неустойчивость: при сильно вытянутых треугольниках (когда одна сторона много меньше двух других) подкоренное выражение может быть близко к нулю, что приводит к потере точности из-за вычитания близких чисел. В таких случаях предпочтительнее использовать формулу через координаты вершин.
2. Неприменимость для вырожденных треугольников: если неравенство треугольника не выполняется, формула даёт отрицательное значение под корнем, что не имеет геометрического смысла.
3. Необходимость вычисления квадратного корня: в эпоху до появления калькуляторов это усложняло расчёты, хотя для современной вычислительной техники это не является проблемой.

Значение

Формула Герона является одним из фундаментальных результатов элементарной геометрии. Она демонстрирует, что площадь треугольника однозначно определяется длинами его сторон, что неочевидно из аксиом геометрии. Формула широко применяется в геодезии, картографии, строительстве и компьютерной графике для вычисления площадей треугольных сеток (мешей). В математическом образовании она традиционно изучается в курсе планиметрии средней школы как пример применения алгебраических методов к геометрическим задачам.

Источники

1. Герон Александрийский. «Метрика». Ок. 60 г. н. э.
2. Коксетер Г. С. М., Грейтцер С. Л. «Новые встречи с геометрией». — М.: Наука, 1978.
3. Прасолов В. В. «Задачи по планиметрии». — М.: МЦНМО, 2006.
4. Weisstein, Eric W. «Heron's Formula». MathWorld — A Wolfram Web Resource.