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