Geometria dos Números · Demonstração Completa
Fórmula de Pick
A área de um polígono de reticulado calculada apenas contando pontos inteiros.
Georg Alexander Pick
A Fórmula de Pick foi publicada pelo matemático austríaco Georg Alexander Pick em 1899. Pick nasceu em Viena em 1859 e era amigo próximo de Albert Einstein — foram colegas em Praga. A fórmula ficou praticamente desconhecida por quase meio século, sendo popularizada apenas em 1969 por Hugo Steinhaus.
A fórmula resolve um problema aparentemente simples: como calcular a área de um polígono cujos vértices estão em pontos de uma malha quadriculada? Em vez de integrais ou triangulações elaboradas, Pick descobriu que basta contar pontos.
A fórmula transforma um problema geométrico contínuo (área) em um problema combinatório discreto (contagem de pontos inteiros). É uma das conexões mais surpreendentes entre geometria e teoria dos números.
Reticulado, Polígono e Contagem
O reticulado inteiro ℤ² é o conjunto de todos os pontos do plano com coordenadas inteiras — as interseções de um papel quadriculado. Um polígono de reticulado é aquele cujos vértices estão todos em ℤ².
| Símbolo | Nome | Descrição |
|---|---|---|
| A | Área | Área do polígono em unidades quadradas do reticulado |
| I | Interior | Pontos inteiros estritamente dentro do polígono |
| B | Fronteira | Pontos inteiros sobre os lados, incluindo os vértices |
Para uma aresta entre (x₁, y₁) e (x₂, y₂), o número de pontos inteiros sobre ela (incluindo extremidades) é:
Somando o mdc de cada aresta do polígono, cada vértice é contado exatamente uma vez.
Prova em 7 Passos
A prova constrói a validade da fórmula de baixo para cima: do triângulo mais simples até qualquer polígono.
- O menor triângulo de reticulado possível Sem pontos interiores e com apenas os 3 vértices na fronteira. Sua área pela fórmula de Pick:A = 0 + 32 − 1 = 12Verificação: cada quadrado unitário é dividido em exatamente 2 triângulos elementares de área 12 cada — logo a área do quadrado é 1. ✓
- Contagem: B = 2m + 2n I = (m−1)(n−1)A = (m−1)(n−1) + 2m + 2n2 − 1 = mn − m − n + 1 + m + n − 1A = mn ✓
- Triângulo = metade do retângulo m × n Seja d = mdc(m, n). A hipotenusa tem d − 1 pontos inteiros internos, logo B = m + n + d. A área é mn/2. Como o retângulo satisfaz Pick e o triângulo é metade exata (com redistribuição correta dos pontos da diagonal), a fórmula se verifica. ✓
Se dois polígonos P₁ e P₂ compartilham uma aresta com k pontos inteiros, ao uni-los temos:
Verificando que Pick se preserva na união:
- Passo 5 — Qualquer triângulo de reticulado Todo triângulo pode ser obtido de um retângulo envolvente removendo triângulos retangulares dos cantos. Como Pick é aditivo (Passo 4), vale para qualquer triângulo. ✓
- Passo 6 — Polígonos convexos Qualquer polígono convexo pode ser triangulado a partir de um vértice. Aplicando aditividade iterativamente, Pick se estende para convexos. ✓
- Passo 7 — Polígonos simples não-convexos ∎ Todo polígono simples admite triangulação (Teorema da Triangulação). Aplicando aditividade a cada par de triângulos adjacentes, a fórmula vale para qualquer polígono simples de reticulado.A = I + B2 − 1 ∎
Aplicações da Fórmula
Contagem das arestas: AB: mdc(4,0)=4 → 4 | BC: mdc(3,3)=3 → 3 | CA: mdc(1,3)=1 → 1 | Total B = 8
Verificação pelo determinante: |4·3 − 1·0| / 2 = 12/2 = 6 ✓
Somando o mdc de cada aresta: 5 + 3 + 2 + 5 + 4 = B = 19 | Contagem direta: I = 10
Verificação pelo Shoelace: A = ½|0+15+25+12+0 − (0+0+15+0+0)| = 18,5 ✓
Exercícios Resolvidos
Mostre que um triângulo com I = 0 e B = 3 tem área 12.
Quantos pontos inteiros existem no interior?
Isolando I:
Mostre que qualquer triângulo com área 12 deve ter I = 0 e B = 3.
Partindo de Pick com A = 12:
Como I ≥ 0 e B ≥ 3, a única solução inteira é:
Esses são exatamente os triângulos elementares que formam a base da demonstração.
Para H buracos: A = I + B2 − 1 + H. Com A = 24, B_ext = 16, B_int = 4, H = 1, calcule I.
B = 16 + 4 = 20:
Calculadora de Pick
Insira o número de pontos interiores (I) e de fronteira (B) para calcular a área.
"A área — uma grandeza contínua — completamente determinada
por dois números inteiros simples de contar."
— Georg Alexander Pick, 1899