|
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.
Eis alguns exemplos (os triângulos vermelhos são
primitivos, mas os azuis não).
![](Trianguloprimitivo.gif)
|
|
|
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 é:
![$\displaystyle 3F=2\times(\hbox{n\'umero de arestas interiores})+\hbox{n\'umero de arestas de fronteira}$](img85.gif) |
(8) |
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:
![$\displaystyle {\mathscr{A}}({\mathscr{P}})= \frac{1}{2} F=\frac{B}{2}+I-1$](img100.gif) |
(12) |
que é o
teorema de Pick. |
|