Seguidamente, vamos ver a equivalência entre o
teorema de Pick e
a
fórmula de Euler. Para tal precisamos do conceito seguinte: Definição
Um triângulo diz-se
primitivo, ou fundamental, se os seus únicos pontos de
coordenadas inteiras são os vértices.
|
||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||
Demonstração...
Seja uma figura poligonal
simples,
com
vértices (em pontos de coordenadas inteiras),
arestas e
faces.
Triangulemos
em
triângulos primitivos. Isto é
sempre
possível e, mais ainda, nesse processo de
triângulação a
característica de Euler
mantem-se inalterada. A prova
destes factos faz-se por indução. De facto, procedendo ao
primeiro
passo da triangulação de
, obtemos um polígono
,
como se ilustra nas figuras seguintes. |
||||||||||||||||||||||||||||||||||||
tem mais uma face, mais duas arestas e mais um vértice do que , e, portanto:
como se tinha afirmado. Podemos pois supôr que está triangulado em triângulos primitivos. O que pretendemos provar é que , supondo verdadeiro o teorema de Pick: . (o número de faces de ) é pois o número de triângulos primitivos de . Como cada um tem área , a área de é : Pelo teorema de Pick, temos então que: Por
outro lado, sabemos que
cada face de (que é um
triângulo primitivo, não esqueçamos!) tem 3
arestas. Cada
aresta interior pertence exactamente a duas faces, enquanto que
cada aresta na fronteira pertence a uma. Portanto
conta duas
vezes cada aresta interior e uma vez cada uma das que compõem a
fronteira., isto é:
Mas é
o número de vértices na fronteira, portanto igual ao
número de
arestas na fronteira. Por outro lado, é claro que o
número de
arestas interiores é igual ao número total de arestas,
,
menos o número de arestas de fronteira.
Reunindo todas estas
informações, vem que: Atendendo a que e às igualdades (9) e
(7), obtemos finalmente:
como se pretendia mostrar. |
||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||
Demonstração...
Consideremos mais uma vez uma figura poligonal simples, , com vértices
(em pontos de coordenadas
inteiras), arestas e faces, que supômos
triangulada em
triângulos primitivos.
Como já sabemos: Usando a fórmula de Euler,
, a igualdade
(9), e ainda o facto de que
, obtemos:
Logo:
que é o teorema de Pick. |
||||||||||||||||||||||||||||||||||||
Seguinte: Uma prova de
Descartes Anterior: A fórmula de Euler Regresso ao Índice |