В геометрии вычисление площади треугольника является элементарной задачей, часто встречающейся во многих различных ситуациях. Наиболее известная и простая формула: где b — длина основания треугольника, а h — высота или высота треугольника. Термин «основание» обозначает любую сторону, а «высота» обозначает длину перпендикуляра из вершины, противоположной основанию, на линию, содержащую основание. Евклид доказал , что площадь треугольника равна половине площади параллелограмма с тем же основанием и высотой в своей книге « Элементы» в 300 г. до н. э. [1] В 499 г. н. э. Арьябхата использовал этот иллюстрированный метод в « Арьябхатии» (раздел 2.6). [2]
Хотя эта формула проста, она полезна только в том случае, если высоту можно легко найти, что не всегда так. Например, землемер треугольного поля может обнаружить, что относительно легко измерить длину каждой стороны, но относительно сложно построить «высоту». На практике могут использоваться различные методы в зависимости от того, что известно о треугольнике. Другие часто используемые формулы для площади треугольника используют тригонометрию , длины сторон ( формула Герона ), векторы, координаты , линейные интегралы , теорему Пика или другие свойства. [3]
Герон Александрийский нашел то, что известно как формула Герона для площади треугольника через его стороны, и доказательство можно найти в его книге «Метрика» , написанной около 60 г. н. э. Было высказано предположение, что Архимед знал формулу более двух столетий назад, [4] и поскольку «Метрика» представляет собой собрание математических знаний, доступных в древнем мире, возможно, что формула предшествовала ссылке, приведенной в этой работе. [5] В 300 г. до н. э. греческий математик Евклид доказал, что площадь треугольника равна половине площади параллелограмма с тем же основанием и высотой в своей книге « Элементы геометрии» . [6]
В 499 году Арьябхата , великий математик - астроном классической эпохи индийской математики и индийской астрономии , выразил площадь треугольника как половину основания, умноженного на высоту в « Арьябхатии» . [7]
Формула, эквивалентная формуле Герона, была открыта китайцами независимо от греков. Она была опубликована в 1247 году в Шушу Цзючжан (« Математический трактат в девяти разделах »), написанном Цинь Цзюшао . [8]
Высоту треугольника можно найти с помощью тригонометрии .
Используя метки на изображении справа, высота равна h = a sin . Подставляя это в формулу, полученную выше, площадь треугольника можно выразить как:
(где α — внутренний угол в точке A , β — внутренний угол в точке B , — внутренний угол в точке C , а c — линия AB ).
Кроме того, поскольку sin α = sin ( π − α) = sin (β + ), и аналогично для двух других углов:
и аналогично, если известная сторона равна a или c .
и аналогично, если известная сторона равна b или c . [9]
Форма треугольника однозначно определяется длинами сторон, поэтому его метрические свойства, включая площадь, можно описать через эти длины. По формуле Герона ,
где — полупериметр , или половина периметра треугольника.
Три других эквивалентных способа записи формулы Герона:
Три формулы имеют ту же структуру, что и формула Герона, но выражены через разные переменные. Во-первых, обозначив медианы от сторон a , b , и c соответственно как m a , m b , и m c , а их полусумму ( m a + m b + m c )/2 как σ, имеем [10]
Далее, обозначая высоты сторон a , b и c соответственно как h a , h b и h c , а полусумму обратных величин высот обозначив так, имеем [11]
И обозначив полусумму синусов углов как S = [(sin α) + (sin β) + (sin γ)]/2 , имеем [12]
где D — диаметр описанной окружности :
Площадь треугольника АВС составляет половину площади параллелограмма :
где , , и — векторы к вершинам треугольника из любой произвольной точки начала координат, так что и — векторы переноса из вершины в каждую из остальных, а — произведение клиньев . Если вершина принимается за начало координат, это упрощается до .
Ориентированная относительная площадь параллелограмма в любом аффинном пространстве, тип бивектора , определяется как , где и — векторы переноса из одной вершины параллелограмма в каждую из двух смежных вершин. В евклидовом пространстве величина этого бивектора — это хорошо определенное скалярное число, представляющее площадь параллелограмма. (Для векторов в трехмерном пространстве бивекторно-значное клиновое произведение имеет ту же величину, что и векторно-значное векторное векторное произведение , но в отличие от перекрестного произведения, которое определено только в трехмерном евклидовом пространстве, клиновое произведение хорошо определено в аффинном пространстве любой размерности.)
Площадь треугольника ABC также может быть выражена через скалярные произведения . Принимая вершину за начало координат и вызывая векторы переноса к другим вершинам и ,
где для любого евклидова вектора . [13] Эту формулу площади можно вывести из предыдущей с помощью элементарного векторного тождества .
В двумерном евклидовом пространстве для вектора с координатами и вектора с координатами величина клинового произведения равна
(См. следующий раздел.)
Если вершина A расположена в начале координат (0, 0) декартовой системы координат , а координаты двух других вершин заданы как B = ( x B , y B ) и C = ( x C , y C ) , то площадь можно вычислить как 1 ⁄ 2 , умноженное на абсолютное значение определителя
Для трех общих вершин уравнение имеет вид:
что можно записать как
Если точки помечены последовательно в направлении против часовой стрелки, то приведенные выше определительные выражения положительны и знаки абсолютных значений можно опустить. [14] Приведенная выше формула известна как формула шнурка или формула геодезиста.
Если мы найдем вершины на комплексной плоскости и обозначим их в последовательности против часовой стрелки как a = x A + y A i , b = x B + y B i , и c = x C + y C i , а их комплексно-сопряженные числа обозначим как , , и , то формула
эквивалентна формуле шнуровки.
В трех измерениях площадь треугольника общего вида A = ( x A , y A , z A ) , B = ( x B , y B , z B ) и C = ( x C , y C , z C ) представляет собой пифагорейскую сумму площадей соответствующих проекций на три главные плоскости (т. е. x = 0, y = 0 и z = 0):
Площадь внутри любой замкнутой кривой, такой как треугольник, определяется линейным интегралом вокруг кривой алгебраического или знакового расстояния точки на кривой от произвольно ориентированной прямой линии L. Точки справа от L по ориентации считаются находящимися на отрицательном расстоянии от L , в то время как вес для интеграла принимается равным компоненту длины дуги, параллельной L , а не самой длине дуги.
Этот метод хорошо подходит для вычисления площади произвольного многоугольника . Принимая L за ось x , линейный интеграл между последовательными вершинами ( x i , y i ) и ( x i +1 , y i +1 ) определяется как основание, умноженное на среднюю высоту, а именно ( x i +1 − x i )( y i + y i +1 )/2 . Знак площади является общим индикатором направления обхода, причем отрицательная площадь указывает на обход против часовой стрелки. Площадь треугольника тогда выпадает как случай многоугольника с тремя сторонами.
Хотя метод линейного интеграла имеет общее с другими методами, основанными на координатах, произвольное решение системы координат, в отличие от других он не делает произвольного выбора вершины треугольника в качестве начала или стороны в качестве основания. Более того, выбор системы координат, определяемой L, обязывает только к двум степеням свободы вместо обычных трех, поскольку вес является локальным расстоянием (например, x i +1 − x i в приведенном выше примере), поэтому метод не требует выбора оси, нормальной к L.
При работе в полярных координатах нет необходимости преобразовываться в декартовы координаты для использования линейного интегрирования, поскольку линейное интеграл между последовательными вершинами ( r i ,θ i ) и ( r i +1 ,θ i +1 ) многоугольника напрямую задается как r i r i +1 sin(θ i +1 − θ i )/2 . Это справедливо для всех значений θ, с некоторым уменьшением числовой точности, когда |θ| на много порядков больше π. При такой формулировке отрицательная площадь указывает на обход по часовой стрелке, что следует иметь в виду при смешивании полярных и декартовых координат. Так же, как выбор оси y ( x = 0 ) несущественен для линейного интегрирования в декартовых координатах, так и выбор нулевого направления ( θ = 0 ) здесь несущественен.
Метод нахождения площади любого произвольного решетчатого многоугольника (нарисованного на сетке с вертикально и горизонтально смежными узлами решетки, находящимися на равном расстоянии, и с вершинами в узлах решетки) см. в теореме Пика .
Теорема гласит:
где — число внутренних точек решетки, а B — число точек решетки, лежащих на границе многоугольника.
Существуют и другие многочисленные формулы площади, такие как
где r — радиус вписанной окружности , а s — полупериметр (на самом деле, эта формула справедлива для всех касательных многоугольников ), и [15] : Лемма 2
где — радиусы вневписанных окружностей , касающихся сторон a, b, c соответственно.
У нас также есть
и [16]
для окружности D ; и [17]
для угла α ≠ 90°.
Площадь также можно выразить как [18]
В 1885 году Бейкер [19] дал коллекцию из более чем сотни различных формул площади для треугольника. Они включают:
для радиуса описанной окружности (радиуса описанной окружности) R , и
Площадь T любого треугольника с периметром p удовлетворяет условию
причем равенство выполняется тогда и только тогда, когда треугольник равносторонний. [20] [21] : 657
Другие верхние границы области T приведены в [22] : стр.290.
и
оба условия выполняются тогда и только тогда, когда треугольник равносторонний.
Существует бесконечно много линий, которые делят площадь треугольника пополам . [23] Три из них являются медианами, которые являются единственными биссектрисами площади, проходящими через центроид. Три другие биссектрисы площади параллельны сторонам треугольника.
Любая линия, проходящая через треугольник, которая делит пополам и площадь треугольника, и его периметр, проходит через инцентр треугольника. Для любого заданного треугольника их может быть один, два или три.