Одной из основных теорем, связанных с площадью треугольника, является формула Герона. Формула Герона позволяет найти площадь треугольника, зная длины его сторон.
Пусть треугольник имеет стороны a, b и c. Формула Герона выглядит следующим образом:
S = √(p * (p - a) * (p - b) * (p - c))
где S - площадь треугольника, p - полупериметр треугольника, вычисляемый по формуле:
p = (a + b + c) / 2.
Доказательство формулы Герона можно провести с использованием теоремы Пифагора и некоторых геометрических соображений.
Сначала заметим, что любой треугольник можно разбить на два прямоугольных треугольника, внутри каждого из которых один из катетов будет равен одной из сторон исходного треугольника, а гипотенуза будет равна высоте, опущенной на эту сторону.
Рассмотрим первый такой прямоугольный треугольник, где выберем a в качестве катета и h в качестве гипотенузы, опущенной на сторону a. По теореме Пифагора, а также зная, что h биссектриса тупого угла треугольника:
a^2 = h^2 + (p - c)^2.
- Рассмотрим второй прямоугольный треугольник, где выберем b в качестве катета и ту же самую высоту h в качестве гипотенузы. Аналогично, получаем:
b^2 = h^2 + (p - c)^2.
- После этого, суммируем полученные уравнения:
a^2 + b^2 = 2h^2 + 2(p - c)^2.
- Прибавим в каждое из уравнений c^2:
a^2 + b^2 + c^2 = 2h^2 + 2p^2 - 4pc + 2c^2.
- Заметим, что a^2 + b^2 + c^2 = 2p^2, исходя из теоремы Пифагора для всего треугольника:
2p^2 = 2h^2 + 2p^2 - 4pc + 2c^2.
- Упростим:
h^2 = 4pc - 2c^2.
- Далее, заметим, что h это высота треугольника, опущенная на a. При этом площадь треугольника S = (1/2) * a * h, так что:
S = (1/2) * a * h = (1/2) * a * (2pc - c^2).
- Рассмотрим то же самое для других двух высот:
S = (1/2) * b * (2pc - c^2) = (1/2) * c * (2pa - a^2).
- Сложим все три полученные равенства:
S + S + S = (1/2) * a * (2pc - c^2) + (1/2) * b * (2pc - c^2) + (1/2) * c * (2pa - a^2).
3S = (1/2) * (2pc - c^2)(a + b + c).
3S = (p - c)(a + b + c).
- Выразим из данного уравнения площадь S:
S = (p - c)(a + b + c) / 2 = p(a + b + c) / 2 - ac / 2 = p(a + b + c) / 2 - ac / 2.
Таким образом, у нас получилась формула Герона для площади треугольника.
