Теорема Піка
Теорема Піка – геометрична теорема, що встановлює зв'язок між площею多边形 з раціональними вершинами та кількістю внутрішніх і граничних точок гратки. Вперше була опублікована австрійським математиком Георгом Піком у 1899 році.
Загальна Формулювання
Нехай P – 多边ник з раціональними вершинами (x₁, y₁), (x₂, y₂), …, (xₙ, yₙ), упорядкованими за напрямком обходу. Тоді площа P дорівнює:
Area(P) = (1/2) | Σ(xᵢyᵢ₊₁ – xᵢ₊₁yᵢ) | + b – 1
де:
- |x| – абсолютне значення x
- b – кількість точок гратки на межі P
Спеціальні Випадки
- Для многокутника з n вершинами теорема Піка спрощується до:
Area(P) = (1/2) | Σ(xᵢyᵢ₊₁ – xᵢ₊₁yᵢ) | + 1
- Якщо P – простий многокутник (не самоперетинальний), то b дорівнює 0 і теорема Піка дає:
Area(P) = (1/2) | Σ(xᵢyᵢ₊₁ – xᵢ₊₁yᵢ) |
Доведення
Доведення теореми Піка засноване на використанні триангуляції. Розділимо многокутник P на трикутники з вершинами в точках гратки. В кожному трикутнику буде або одна, або дві точки гратки на межі. Площа трикутника з двома граничними точками гратки дорівнює 1/2, а з однією – 1/4. Сумма площ усіх трикутників дає площу P, і ця сума дорівнює (1/2) | Σ(xᵢyᵢ₊₁ – xᵢ₊₁yᵢ) | + b – 1.
Застосування
Теорема Піка має численні застосування в дискретної геометрії та комп'ютерній графіці. Її використовують для:
- Обчислення площі многокутників з раціональними вершинами
- Визначення опуклості та невипуклості многокутників
- Обчислення кількості точок гратки всередині опуклого многокутника
Теорема Піка – потужний інструмент для роботи з многокутниками з раціональними вершинами. Вона дозволяє обчислити їх площу, визначити опуклість і невипуклість, а також підрахувати кількість точок гратки всередині них.
Поширені Запитання
Чому теорема Піка застосовується лише до многокутників з раціональними вершинами?
- Раціональні вершини необхідні для того, щоб площу многокутника можна було виразити як сумму простих дробів.
Як обчислити площу опуклого многокутника за допомогою теореми Піка?
- Слід підрахувати кількість точок гратки на межі многокутника і використовувати формулу: Area(P) = (1/2) | Σ(xᵢyᵢ₊₁ – xᵢ₊₁yᵢ) | + 1
Як визначити, чи опуклий многокутник, використовуючи теорему Піка?
- Якщо кількість точок гратки на межі многокутника непарна, то він опуклий.
Як обчислити кількість точок гратки всередині опуклого многокутника за допомогою теореми Піка?
- Якщо P – опуклий многокутник, то кількість точок гратки всередині нього дорівнює Area(P) – b.
Які інші формули пов'язані з теоремою Піка?
- Теорема Барка дає аналогічну формулу для обчислення площі многокутника з цілими вершинами.