Формула Пика
Формула Пи́ка (или теорема Пи́ка) — классический результат комбинаторной геометрии и геометрии чисел, даёт выражение для площади многоугольника с целочисленными вершинами.
Названа в честь Георга Пика, доказавшего её в 1899 году.
Формулировка
Площадь многоугольника с целочисленными вершинами[1] равна
- В + Г / 2 − 1,
где В — количество целочисленных точек внутри многоугольника, а Г — количество целочисленных точек на границе многоугольника.
Следствия
- Площадь треугольника с вершинами в узлах и не содержащего узлов ни внутри, ни на сторонах (кроме вершин), равна 1/2.
- Этот факт даёт геометрическое доказательство формулы для разности подходящих дробей цепной дроби.
Вариации и обобщения
- Многочлен Эрхарта даёт один из вариантов обобщения формулы Пика на старшие размерности.
- Если все грани целочисленного многогранника центрально симметричны (в частности если многогранник является зонэдром) то его объём может быть вычислен по формуле
- где суммирование ведётся по всем целочисленным точкам и телесный угол при ; если лежит внутри , то считается что .[2]
- Аналогичное утверждение верно и в -мерном Евклидовом пространстве
- где обозначает площадь единичной сферы в .
Примечания
- Точка координатной плоскости называется целочисленной, если обе её координаты целые.
- Tabachnikov, Sergei, Pierre Deligne, and Sinai Robins. The Ice Cube Proof (англ.) // The Mathematical Intelligencer. — 2014. — Vol. 36, no. 4. — P. 1-3.
Ссылки
- В. В. Прасолов. Задачи по планиметрии. — М.: МЦНМО, 2001. — 584 с. — ISBN 5-900916-82-0.
- А. Кушниренко. Целые точки в многоугольниках и многогранниках // Квант. — 1977. — № 4. — С. 13—20.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.