Многоуго́льник — геометрическая фигура, обычно определяемая как часть плоскости, ограниченная замкнутой ломаной. Если граничная ломаная не имеет точек самопересечения, многоугольник называется простым[1]. Например, треугольники и квадраты — простые многоугольники, а пентаграмма — нет.
Точки перелома ломаной называются вершинами многоугольника, а её звенья — сторонами многоугольника. Число сторон многоугольника совпадает с числом его вершин[2].
Существуют два различных варианта определения многоугольника; последнее определение является наиболее распространённым[1]:
одномерный многоугольник — замкнутая ломаная (не обязательно плоская) без самопересечений, любые два соседних звена которой не лежат на одной прямой;
двумерный многоугольник, или многоугольная фигура — часть плоскости, ограниченная замкнутой плоской ломаной без самопересечений; в этом случае сама ломаная называется контуром многоугольника.
Существуют также несколько вариантов обобщения данного определения, допускающие бесконечное число звеньев ломаных, несколько несвязных граничных ломаных, ломаные в пространстве, произвольные отрезки непрерывных кривых вместо отрезков прямых и др.[1]
Вершины многоугольника называются соседними, если они являются концами одной из его сторон.
Стороны многоугольника называются смежными, если они прилегают к одной вершине.
Общая длина всех сторон многоугольника называется его периметром.
Диагоналями называются отрезки, соединяющие несоседние вершины многоугольника.
Углом (или внутренним углом) плоского многоугольника при данной вершине называется угол между двумя сторонами, сходящимися в этой вершине. Угол может превосходить в том случае, если многоугольник невыпуклый. Число углов простого многоугольника совпадает с числом его сторон или вершин.
Внешним угломвыпуклого многоугольника при данной вершине называется угол, смежный внутреннему углу многоугольника при этой вершине. В случае невыпуклого многоугольника внешний угол — разность между и внутренним углом, он может принимать значения от до .
Перпендикуляр, опущенный из центра вписанной окружности правильного многоугольника на одну из сторон, называется апофемой.
Многоугольник с тремя вершинами называется треугольником, с четырьмя — четырёхугольником, с пятью — пятиугольником и так далее. Многоугольник с вершинами называется -угольником.
Многоугольник называется вписанным в окружность, если все его вершины лежат на одной окружности. Сама окружность при этом называется описанной, а её центр лежит на пересечении серединных перпендикуляров к сторонам многоугольника. Любой треугольник является вписанным в некоторую окружность.
Многоугольник называется описанным около окружности, если все его стороны касаются некоторой окружности. Сама окружность при этом называется вписанной, а её центр лежит на пересечении биссектрис углов многоугольника. Любой треугольник является описанным около некоторой окружности.
Выпуклыйчетырёхугольник называется внеописанным около окружности, если продолжения всех его сторон (но не сами стороны) касаются некоторой окружности.[3] Окружность при этом называется вневписанной. Вневписанная окружность существует также и у произвольного треугольника.
Общие свойства
Неравенство треугольника
Неравенство треугольника влечёт, что любая сторона многоугольника меньше суммы остальных его сторон.
Пусть — последовательность координат соседних друг другу вершин -угольника без самопересечений . Тогда его площадь вычисляется по формуле Гаусса:
, где .
Если даны длины сторон многоугольника и азимутальные углы сторон, то площадь многоугольника может быть найдена по формуле Саррона [5].
Площадь правильного -угольника вычисляется по одной из формул[6]:
половина произведения периметра -угольника на апофему:
.
где — длина стороны многоугольника, — радиус описанной окружности, — радиус вписанной окружности.
Квадрируемость фигур
С помощью множества многоугольников определяется квадрируемость и площадь произвольной фигуры на плоскости. Фигура называется квадрируемой, если для любого существует пара многоугольников и , таких, что и , где обозначает площадь .
Ориентированный многоугольник, или замкнутый многоугольный путь, — многоугольник (возможно, самопересекающийся), у которого (см. рисунок справа с выпуклым многоугольником)[7][8][9]:
на каждой стороне задано направление, то есть одна из вершин стороны выбрана начальной, а другая — конечной;
начало каждой стороны есть конец предыдущей.
Ориентация площади простого многоугольника — площадь области плоскости, ограниченной ориентированным простым (то есть не самопересекающимся) плоским многоугольником, назначается положительной, если обход многоугольника по направлению его сторон происходит против часовой стрелки, то есть эта область плоскости остаётся слева при обходе, и отрицательной в противоположном случае (см. рисунок справа с отрицательной ориентацией площади)[7][8][9].
Определим площадь самопересекающегося ориентированного многоугольника, который делит плоскость на фиксированное количество связных кусков[7][8].
Коэффициент куска самопересекающегося ориентированного многоугольника — разность , где числа и получаются следующим образом[7][8]:
точка, внешняя по отношению к многоугольнику части плоскости, соединяется отрезком с внутренней точкой выбранного куска;
направленный многоугольник пересекает этот отрезок раз слева направо и справа налево.
Утверждение 1.Коэффициент куска самопересекающегося ориентированного многоугольника не зависит от положения внешней точки многоугольника и может быть равен положительному или отрицательному целому числу или нулю[7][8].
Площадь самопересекающегося ориентированного многоугольника — взвешенная сумма обычных площадей всех кусков самопересекающегося многоугольника, в которой обычная площадь куска умножается на его коэффициент[7][8].
Практическое применение. Площадь самопересекающегося ориентированного многоугольника важна для теории математических приборов[англ.], в частности, для теории планиметра. В этом случае площадь самопересекающегося ориентированного многоугольника равна следующим величинам: