Формула Пика

Формула Пи́ка (или теорема Пи́ка) — классический результат комбинаторной геометрии и геометрии чисел,

даёт выражение для площади многоугольника с целочисленными вершинами.

Названа в честь Георга Пика, доказавшего её в 1899 году.

Связанные понятия

Треуго́льник (в евклидовом пространстве) — геометрическая фигура, образованная тремя отрезками, которые соединяют три точки, не лежащие на одной прямой. Указанные три точки называются вершинами треугольника, а отрезки — сторонами треугольника. Часть плоскости, ограниченная сторонами, называется внутренностью треугольника: нередко треугольник рассматривается вместе со своей внутренностью (например, для определения понятия площади).

Теорема о четырёх вершинах утверждает, что функция кривизны простой замкнутой гладкой плоской кривой имеет по меньшей мере четыре локальных экстремума (в частности, по меньшей мере два локальных максимума и по меньшей мере два локальных минимума). Название теоремы отражает соглашение называть экстремальные точки функции кривизны вершинами.

Решение треугольников (лат. solutio triangulorum) — исторический термин, означающий решение главной тригонометрической задачи: по известным данным о треугольнике (стороны, углы и т. д.) найти остальные его характеристики. Существуют также обобщения этой задачи на случай, когда заданы другие элементы треугольника (например, медианы, биссектрисы, высоты, площадь и т. д.). Треугольник может располагаться на плоскости или на сфере. Данная задача часто встречается в тригонометрических приложениях, например...

Комбинаторика многогранников — это область математики, принадлежащая комбинаторике и комбинаторной геометрии и изучающая вопросы подсчёта и описания граней выпуклых многогранников.

Комплексный многогранник — это обобщение многогранника в вещественном пространстве на аналогичную структуру в комплексном гильбертовом пространстве, где к каждой вещественной размерности добавляется мнимая.

Теорема об упаковке кругов (известная также как теорема Кёбе — Андреева — Тёрстона) описывает возможные варианты касания окружностей, не имеющих общих внутренних точек. Граф пересечений (иногда называемый графом касаний) упаковки кругов — это граф, вершины которого соответствуют кругам, а рёбра — точкам касания. Если упаковка кругов осуществляется на плоскости (или, что эквивалентно, на сфере), то их граф пересечений называется графом монет. Графы монет всегда связны, просты и планарны. Теорема упаковки...

В гиперболической геометрии гиперболический треугольник является треугольником на гиперболической плоскости. Он состоит из трёх отрезков, называемых сторонами или рёбрами, и трёх точек, называемых углами или вершинами.

Обобщённый многоугольник — это структура инцидентности, предложенная Жаком Титсом в 1959 году. Обобщённые n-угольники вмещают в качестве частных случаев проективные плоскости (обобщённые треугольники, n=3) и обобщённые четырёхугольники (n=4). Многие обобщённые многоугольники получаются из групп типа Ли, но существуют некоторые экзотические обобщённые многоугольники, которые таким способом не получаются. Обобщённые многоугольники, удовлетворяющие условию, известному как свойство Муфанга, полностью...

Теорема Чевы — классическая теорема аффинной геометрии и геометрии треугольника.

В вычислительной геометрии известна задача об определении принадлежности точки многоугольнику. На плоскости даны многоугольник и точка. Требуется решить вопрос о принадлежности точки многоугольнику.

Подробнее: Задача о принадлежности точки многоугольнику

Теорема Кейси или Кэзи — теорема в евклидовой геометрии, обобщающая неравенство Птолемея. Названа по имени ирландского математика Джона Кейси.

Конфигурация прямых (или разбиение плоскости прямыми) — это разбиение плоскости, образованное набором прямых.

Геометрия инцидентности — раздел классической геометрии, изучающий структуры инцидентности.

Разбиение многоугольника — это множество примитивных элементов (например, квадратов), которые не накладываются и объединение которых равно многоугольнику. Задача о разбиении многоугольника — это задача поиска разбиения, которое в некотором смысле минимально, например, разбиение с наименьшим числом элементов или разбиение с наименьшей суммой длин сторон.

Нера́венство треуго́льника в геометрии, функциональном анализе и смежных дисциплинах — это одно из интуитивных свойств расстояния.

Лемма Шпернера — комбинаторный аналог теоремы Брауэра о неподвижной точке, один из основных результатов комбинаторной топологии. Утверждает, что при любой Шпернеровской раскраске вершин в триангуляции n-мерного симплекса найдётся ячейка триангуляции, вершины которой покрашены во все цвета. Первый результат подобного типа был доказан Эмануэлем Шпернером.

В геометрии домино замощение области в евклидовой плоскости — это мозаика области плитками домино, образованными объединением двух единичных квадратов, соединённых по ребру. Эквивалентно это паросочетание в графе решётки, образованное помещением вершины в центр каждого квадрата области и соединением двух вершин, если два соответствующих квадрата смежны.

Задача со счастливым концом — утверждение о том, что любое множество из пяти точек на плоскости в общем положении имеет подмножество из четырёх точек, которые являются вершинами выпуклого четырёхугольника.

Пра́вильный многоуго́льник — это выпуклый многоугольник, у которого все стороны между собой равны и все углы между смежными сторонами равны.

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

Почти многоугольник — это геометрия инцидентности, предложенная Эрнестом Е. Шультом и Артуром Янушкой в 1980. Шульт и Янушка показали связь между так называемыми тетраэдрально замкнутыми системами прямых в евклидовых пространствах и классом геометрий точка/прямая, которые они назвали почти многоугольниками. Эти структуры обобщают нотацию обобщённых многоугольников, поскольку любой обобщённый 2n-угольник является почти 2n-угольником определённого вида. Почти многоугольники интенсивно изучались, а...

Наибольший многоугольник единичного диаметра — многоугольник с n сторонами (для заданного числа n), диаметр которого равен единице (то есть любые две его точки находятся друг от друга на расстоянии, не превосходящем единицы), и имеющий наибольшую площадь среди других n-угольников диаметра единица. Решением (не уникальным) для n = 4 является квадрат, решением для нечётных n является правильный многоугольник, при этом для остальных чётных n правильный многоугольник наибольшим не будет.

В сферической тригонометрии, формула половины стороны применяется для решения сферических треугольников.

Вложение Татта или барицентричное вложение простого вершинно 3-связного планарного графа — вложение без пересечений с рёбрами в виде отрезков с дополнительными свойствами, что внешняя грань имеет выпуклый многоугольник в качестве границы и что каждая внутренняя вершина является геометрическим центром соседей. Если внешний многоугольник фиксирован, это условие на внутренние вершины определяет их положения однозначно как решение системы линейных уравнений. Решение уравнений даёт планарное вложение...

В геометрии гипотеза Келлера — это высказанная Отт-Генрихом Келлером гипотеза о том, что в любой мозаике в евклидовом пространстве, состоящей из однинаковых гиперкубов, найдутся два куба, соприкасающиеся грань-к-грани. Например, как показано на рисунке, в любой мозаике на плоскости из одинаковых квадратов, какие-то два квадрата должны соприкасаться ребро-к-ребру. Перрон доказал, что это верно в размерностях до 6. Однако для больших размерностей это неверно, как показали Лагарис и Шор для размерностей...

Построение выпуклой оболочки методом «разделяй и властвуй» — алгоритм построения выпуклой оболочки.

Подробнее: Алгоритм Киркпатрика

Геометрия Лобачевского (или гиперболическая геометрия) — одна из неевклидовых геометрий, геометрическая теория, основанная на тех же основных посылках, что и обычная евклидова геометрия, за исключением аксиомы о параллельных прямых, которая заменяется её отрицанием.

Теорема о 9 точках на кубической кривой — теорема алгебраической геометрии, которая гласит, что...

В математике абстрактный многогранник, неформально говоря, это структура, которая учитывает только комбинаторные свойства традиционных многогранников и игнорирует много других их свойств, таких как углы, длины рёбер и т. д. При этом не требуется наличие какого-либо содержащего многогранник пространства, такого как евклидово пространство. Абстрактная формулировка реализует комбинаторные свойства как частично упорядоченное множество («посет»).

Теорема Э́рдёша — Се́кереша в комбинаторике — утверждение, уточняющее одно из следствий теоремы Рамсея для финитного случая. В то время как теорема Рамсея облегчает доказательство того, что каждая последовательность разных действительных чисел содержит монотонно возрастающую бесконечную подпоследовательность или монотонно убывающую бесконечную подпоследовательность, результат, доказанный Палом Эрдёшем и Дьёрдем Секерешем, идёт дальше. Для данных r, s они показали, что любая последовательность разных...

Диаграмма Вороного конечного множества точек S на плоскости представляет такое разбиение плоскости, при котором каждая область этого разбиения образует множество точек, более близких к одному из элементов множества S, чем к любому другому элементу множества.

Гипотеза Тёплица, также известная как гипотеза о вписанном квадрате — нерешённая проблема геометрии. Формулировка гипотезы...

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

Символ Шлефли — комбинаторная характеристика правильного многогранника, применяется для описания правильных многогранников во всех размерностях. Назван в честь швейцарского математика Людвига Шлефли, который внёс значительный вклад в геометрию и другие области математики.

Алгебраическая поверхность — это алгебраическое многообразие размерности два. В случае геометрии над полем комплексных чисел алгебраическая поверхность имеет комплексную размерность два (как комплексное многообразие, если оно неособо), а потому имеет размерность четыре как гладкое многообразие.

В математике перестановочный многогранник порядка n — это (n − 1)-мерный выпуклый многогранник, вложенный в n-мерное евклидово пространство, который является выпуклой оболочкой всех n! точек, получающихся перестановками координат вектора (1, 2, 3, …, n).

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

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

Неравенство числа пересечений или лемма о пересечениях даёт нижнюю грань минимального числа пересечений данного графа как функцию от числа рёбер и вершин графа. Лемма утверждает, что для графов, у которых число рёбер e достаточно велико по сравнению с числом вершин n, число пересечений по меньшей мере пропорционально e3/n2.

В математике группа треугольника — это группа, которая может быть представлена геометрически при помощи последовательных отражений относительно сторон треугольника. Треугольником может служить обычный евклидов треугольник, треугольник на сфере или гиперболический треугольник. Любая группа треугольника является группой симметрии паркета конгруэнтных треугольников в двумерном пространстве, на сфере или на плоскости Лобачевского (см. также статью об гиперболической плоскости ).

k-Смежностный многогранник — это выпуклый многогранник, в котором любое k-элементное подмножество его вершин является множеством вершин некоторой грани этого многогранника.

Конфигурация вершины задаётся как последовательность чисел, представляющих число сторон граней, окружающих вершину. Обозначение «a.b.c» обозначает вершину с тремя гранями около неё и эти грани имеют a, b и c сторон (рёбер).

Теорема тангенсов — теорема, связывающая между собой тангенсы двух углов треугольника и длины сторон, противоположные этим углам.

Чевиана — это отрезок в треугольнике, соединяющий вершину треугольника с точкой на противоположной стороне. Часто рассматриваются три таких отрезка, пересекающихся в одной точке, которые совместно называются чевианами. Название «чевиана» происходит от имени итальянского инженера Джованни Чевы, доказавшего известную теорему о чевианах, которая носит его имя. Медианы, биссектрисы и высоты в остроугольном треугольнике являются специальными случаями чевиан.

Вычислительная геометрия — раздел информатики, в котором рассматриваются алгоритмы для решения геометрических задач.

Эта страница содержит список правильных многомерных многогранников (политопов) и правильных cоединений этих многогранников в евклидовом, сферическом и гиперболическом пространствах разных размерностей.

Треугольник Шварца представляется тремя рациональными числами (p q r), каждое из которых задаёт угол в вершине. Значение n/d означает, что угол в вершине треугольника равен d/n развёрнутого угла. 2 означает прямоугольный треугольник. Если эти числа целые, треугольник называется треугольником Мёбиуса и он соответствует мозаике без перекрытий, а группа симметрии называется группой треугольника. На сфере имеется 3 треугольника Мёбиуса и ещё одно однопараметрическое семейство. На плоскости имеется три...

Конечная геометрия — это любая геометрическая система, имеющая конечное количество точек. Например, евклидова геометрия не является конечной, так как евклидова прямая содержит неограниченное число точек, а точнее говоря, содержит ровно столько точек, сколько существует вещественных чисел. Конечная геометрия может иметь любое конечное число измерений.

Пра́вильный семнадцатиуго́льник — геометрическая фигура, принадлежащая к группе правильных многоугольников. Он имеет семнадцать сторон и семнадцать углов, все его углы и стороны равны между собой, все вершины лежат на одной окружности. Среди других правильных многоугольников с больши́м (больше пяти) простым числом сторон интересен тем, что его можно построить при помощи циркуля и линейки (так, семи-, одиннадцати- и тринадцатиугольники построить циркулем и линейкой нельзя).

Теорема Харкорта — это формула в геометрии для площади треугольника как функции длин сторон и расстояний от вершин треугольника до произвольной прямой, касательной к вписанной в треугольник окружности.

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я