1

Geometrias Euclidianas e no-Euclidianas. Desenvolvimento e Histria

[Texto traduzido para o portugus por, Gaspar, M.T. do livro Euclidean and non- Euclidean
geometries. Development and History de M arvin Jay Grennberg]

Captulo 3

Axiomas de Hilbert

O valor do trabalho de Euclides como uma obra prima de
lgica tem sido muito totalmente exagerado.
Bertrand Russel
Falhas em Euclides

Esclarecidas nossas regras de raciocnio (Captulo 2), voltemos aos postulados de Euclides. Nos
exerccios 9 e 10 do Captulo 1 dissemos que Euclides foi descuidado ao expor suas conjecturas de
que pontos e retas existem, que nem todos os pontos so colineares, e que toda reta tem pelo menos
dois pontos pertencentes a ela. Tornamos estas conjecturas explcitas no Captulo 2 acrescentando
dois axiomas de incidncia aos cinco postulados de Euclides.
Nos exerccios 6 e 7 do captulo 1 vimos que algumas suposies sobre ordem so necessrias.
De fato, Euclides nunca mencionou esta noo explicitamente, mas, tacitamente assumiu certos
fatos sobre ela que eram bvios nas figuras. No captulo 2 vimos o perigo de argumentar a partir das
figuras, ento necessrio explicitar tais suposies.
Um bom nmero de provas de Euclides baseado nas figuras. Para tornar estas provas
rigorosas, um sistema de axiomas explcitos maior necessrio. Vrios sistemas de axiomas foram
propostos. Apresentaremos uma verso modificada do sistema de axiomas de David Hilbert. O
sistema de Hilbert no foi o primeiro, mas seus axiomas so talvez os mais intuitivos e certamente
os que mais se aproximam do esprito de Euclides.
1

Durante o primeiro quarto do sculo vinte Hilbert era considerado o matemtico mais
importante do mundo
2
. Ele fez excelentes e originais contribuies para muitas reas tanto da
matemtica quanto da fsica. Ele talvez seja mais conhecido por suas pesquisas nos fundamentos da
geometria, da teoria algbrica dos nmeros, espaos de dimenso infinita, e lgica matemtica. Um
grande defensor do mtodo axiomtico, axiomatizou todos os assuntos acima exceto os da fsica
(embora tenha sido bem sucedido na prova em fsica utilizando vrias tcnicas matemticas
valiosas.) Foi tambm um profeta matemtico; em 1900 ele profetizou quais seriam os 23
problemas matemticos mais importantes do sculo XX.

1
No podemos esquecer que nenhum trabalho importante sobre a construo de novos axiomas para a geometria
euclidiana foi feito at que a descoberta das geometrias no euclidianas levou os matemticos a re-examinarem os
fundamentos da primeira. Ns temos o paradoxo da geometria no-euclidiana ajudando a entender melhor a geometria
euclidiana.
2
Eu recomendo sinceramente a calorosa biografia de Hilbert feita por Constance Reid. Ela no tcnica e conduz a
excitante poca quando Gttingen era a capital do mundo matemtico.
2
Ele citado como autor da frase: Deve ser capaz de dizer em todas s vezes ao invs de
pontos, retas e planos mesas, cadeiras e canecas de cerveja. Em outras palavras, uma vez que
nenhuma propriedade entre pontos, retas e planos pode ser utilizada em uma prova que no seja
dada pelos axiomas, voc pode chamar estas entidades indefinidas por outros nomes.
Os axiomas de Hilbert so divididos em cinco grupos: incidncia, ordem, congruncia,
continuidade e paralelismo. Ns j vimos os trs axiomas de incidncia no captulo 2. Nas prximas
sees trataremos sucessivamente com os outros grupos de axiomas.
Axiomas de Ordem
Para ilustrar a necessidade dos axiomas de ordem considere a seguinte tentativa de provar o
teorema que afirma que os ngulos da base de um tringulo issceles so congruentes. Esta no a
prova de Euclides, que falha de um outro modo, mas um argumento encontrado em alguns livros
didticos de geometria.
Prova:
Dado o com . ABC AC BC
Provar que [ver figura 3.1] A < <B
(1) A bissetriz do ngulo encontra AB em D (todo ngulo tem um bissetor). C <
(2) Nos tringulos e , ACD BCD AC BC (hiptese).
(3) (definio de bissetriz de um ngulo). ACD BCD < X
(4) (coisas que so iguais so congruentes). CD CD
(5) (LAL) ACD BCD
(6) Portanto, (ngulos correspondentes de tringulos congruentes). A < <B
A D B
C
Figura 3.1







Considere a primeira etapa cuja justificativa que todo ngulo tem uma bissetriz. Esta uma
afirmao correta e pode ser provada separadamente, Mas, como sabemos que a bissetriz de
encontra AB
,,
, ou se ela encontrar, como sabemos que o ponto de interseo D est entre A e B?
Isto pode parecer bvio, mas se formos rigorosos, isto exige uma prova. Por tudo que sabemos, a
figura pode ser parecida com esta:
C <
C
A
B D
Figura 3.2





3
Se fosse o caso, as etapas 2 5 estariam ainda corretas, mas, poderamos concluir apenas que
mas no a , uma vez que o ngulo no B CA < < D CAB < CAD < ACD que corresponde ao
ngulo < . B
Logo que fiquem estabelecidos nossos axiomas de ordem, ser possvel provar (aps uma
considervel quantidade de trabalho) que a bissetriz do ngulo < intercepta
,
em um ponto D
entre A e B, assim o argumento acima ser reparado (ver teorema da transversal). Existe, porm,
uma prova mais fcil do teorema (dada na prxima seo). Usaremos a notao
C AB
,
,
A*B*C
para abreviar a frase o ponto B est entre o ponto A e o ponto C.
AXIOMA DE ORDEM 1: Se A*B*C, ento A, B e C So pontos distintos, todos pertencentes a
uma mesma reta, e C*B*A.
A primeira parte deste axioma preenche a lacuna mencionada no exerccio 6 Cap. 1. A segunda
parte (C*B*A) torna bvia a observao de que entre A e Csignifica o mesmo que entre C e A
no existe problema mencionar A ou C primeiro.
AXIOMA DE ORDEM 2: Dados dois pontos distintos B e D, existem pontos A, C e E
pertencentes a
,
tais que A*B*D, B*C*D e B*D*E. BD
Este axioma garante que existem pontos entre B e D e que a reta BD
,,
no termina em A ou B.

A B C D E
Figura 3.3

AXIOMA DE ORDEM 3: Se A, B e C so trs pontos distintos sobre a mesma reta, ento um e
somente um deles est entre os outros dois.
Este axioma garante que uma reta no circular; se os pontos estivessem sobre um crculo voc
poderia dizer que cada um est entre os outros dois (ou nenhum est entre os outros dois
dependeria de qual dos dois arcos voc est considerando ver figura 3.4)

A B
C
Figura 3.4





Antes de apresentar o ltimo axioma de ordem, permita-nos examinar algumas conseqncias
dos trs primeiros. Lembre que o segmento AB definido como o conjunto dos pontos A, B e de
todos os pontos entre A e B. A semi-reta AB
,
,
definida como o conjunto de todos os pontos sobre
o segmento AB e todos os pontos C tais que A*B*C. O segundo axioma garante a existncia dos
pontos C, desse modo a semi-reta

maior do que o segmento AB. Vamos provar as frmulas

que voc encontrou no Exerccio 7, Cap. 1.
AB
Proposio 3.1. Para quaisquer dois pontos A e B:
(i) AB BA AB =
, ,

4
(ii) AB BA AB =
, , ,,
Prova de (i)
(1) Por definio de segmento e semi-reta, AB AB
,
e AB BA
,
, assim, por definio de
interseo,

. AB AB BA
, ,
(2) Reciprocamente, seja C um ponto pertencente a interseo de e ; desejamos
provar que C pertence a AB.
AB
,
BA
,
(3) Se C = A ou C = B, C uma extremidade do segmento AB. Por outro lado, A, B e C so
trs pontos colineares (por definio de semi-reta e Axioma 1), portanto exatamente uma
das relaes A*C*B, A*B*C, ou C*A*B vlida (Axioma 3).
(4) Se A*B*C vlida, C no est sobre BA
,
; se C*A*B vlida ento C no est em AB
,
.
Em cada caso, C no pertence as duas semi-retas.
(5) Portanto, a relao A*C*B vlida. Logo C pertence a AB.
A prova de (ii) anloga e deixada como exerccio. (para ser realmente preciso, devemos dizer
que

igual ao conjunto de ponto sobre a reta AB BA
, ,
AB
,,
, no que seja igual a prpria reta
porque reta um termo indefinido e no sabemos que uma reta igual a um conjunto de pontos.)
Lembre depois que se C*A*B, ento dizemos que AC
,
oposta a AB
,
:


Pelo axioma 1, os ntos A, B e C so colineares, e pelo Axioma 3, C no pertence a AB, ento
as semi-retas

e AC

so distintas. Esta definio est, portanto de acordo com a definio dada

no captulo 1. O axioma 2 garante que toda semi-reta
po
, ,
,
AB
AB

C A B
Figura 3.5
, ,
, ,
tem uma semi-reta oposta

. AC
Parece claro da figura 3.5 que todo ponto sobre a reta / que passa por A, B e C deve ou pertencer
a AB ou a semi-reta oposta AC. Esta afirmao parece anloga a segunda afirmao da proposio
3.1, mas, de fato, mais complicada; ns estamos agora examinando quatro pontos A, B, C e P
enquanto que anteriormente, tratava-se de apenas trs pontos ao mesmo tempo. De fato,
encontraremos aqui outra afirmao visualmente bvia que no pode ser provada sem a
introduo de outro axioma (ver exerccio 17).
Suponha que chamamos a afirmao C*A*B e P colinear com A, B e C a
propriedade de separao na reta. Alguns matemticos consideram esta propriedade como outro
axioma. Porm, considerado deselegante em matemtica assumir mais axiomas do que so
necessrios (apesar de pagarmos pela elegncia com o trabalho duro de provar resultados que
parecem bvios. Assim, no assumiremos a propriedade de separao na reta como um axioma; ao
invs disso, a provaremos como conseqncia dos nossos axiomas anteriores e nosso ltimo axioma
de ordem, chamado axioma de separao no plano.
P AC AB
, ,
Definio. Seja / uma reta qualquer, A e B pontos quaisquer que no pertencem a /. Se A = B ou
segmento AB no contm nenhum ponto sobre /, dizemos que A e B esto no mesmo lado de /,
enquanto que se A B e o segmento AB intercepta / , dizemos que A e B esto em lados opostos
de / (ver Figura 3.6). A lei do terceiro excludo (Regra 10) assegura que A e B esto em um mesmo
lado de /ou em lados opostos de /.
5

C D
A B
/
Figura 3.6
A e B esto em um mesmo lado de /; C e D esto em lados opostos de /.







AXIOMA DE ORDEM 4 (Separao): Para toda reta / e para quaisquer trs pontos A, B e C
no pertencentes a /:
(i) Se A e B esto no mesmo lado de / e B e C esto no mesmo s de /, ento A e C esto no
mesmo lado de /(ver Figura 3.7).
(ii) Se A e B esto em lados opostos de / e B e C esto em lados opostos de /, ento A e C
esto no mesmo lado de /(ver Figura 3.8).

A
B
C
/
Axioma 4(i)
Figura 3. 7






A
B
C
/
Axioma 4(ii)
Figura 3. 8





O axioma 4(ii) garante indiretamente que nossa geometria bi-dimensional desde que ela no
necessariamente estaria contida no espao tridimensional. (a reta / poderia estar fora do plano desta
pgina e cortar o segmento AC; esta interpretao mostra que se assumimos a propriedade de
separao como um axioma, no poderamos provar a propriedade de separao no plano.) O
Axioma de Ordem 4 tambm necessrio para dar sentido ao quinto postulado de Euclides que fala
sobre duas retas se encontrado em um lado de uma transversal. Ns podemos agora definir lado
de uma reta / como o conjunto de todos os pontos que esto no mesmo lado de / que um ponto
particular no pertencente a /. (Esta definio pode parecer circular porque ns utilizamos a
6
palavra lado duas vezes, mas ela no ; ns j definimos a expresso composta no mesmo lado.).
Outra expresso frequentemente utilizada para lado de / a de semi-plano limitado por /.
Proposio 3.2. Toda reta limita exatamente dois semi-planos e estes semi-planos no tm ponto
em comum.
Prova:
(1) Para toda reta / existe um ponto A no pertencente a / (pelo axioma de incidncia 3).
(2) Existe um ponto O pertencente a / (pelo axioma de incidncia 2).
(3) Existe um ponto B tal que B*O*A (pelo axioma de ordem 2).
(4) Ento A e B esto em lados opostos de / (por definio), logo / tem pelo menos dois lados.
(5) Seja C um ponto distinto de A e B e no pertencente a /. Se C e B no esto em um mesmo
lado de /, ento C e A esto no mesmo lado de / (pela lei do terceiro excludo e axioma 4(ii)
de ordem).
(6) Portanto, / tem exatamente dois lados (pelas etapas 4 e 5).
(7) Se estes lados tm um ponto C em comum (hiptese de RAA), ento pelo axioma 4(i) A e B
estariam no mesmo lado de /, contradio.
A seguir aplicaremos a propriedade de separao no plano para estudar relaes de ordem entre
quatro pontos.
Proposio 3.3. Dados A*B*C e A*C*D. Ento B*C*D e A*B*D. (Ver Figura 3.9.)

A B
E
C D
Figura 3.9





Prova:
(1) A, B, C e D so quatro pontos colineares distintos (ver exerccio 1).
(2) Existe um ponto E no pertencente a reta que passa pelos pontos A, B, C e D (Axioma de
Incidncia 3).
(3) Considere a reta EC. Como (por hiptese) AD encontra esta reta no ponto C, A e D esto em
lados opostos de .
,,
EC
,,
(4) Ns afirmamos que A e B esto em um mesmo lado de EC
,,
. Suponha o contrrio que A e B
esto em lados opostos de
,
(hiptese de RAA). EC
,
(5) Ento encontra AB em um ponto entre A e B (definio de lados opostos). EC
,, ,,
(6) Este ponto deve ser C (Proposio 2.1).
7
(7) Portanto A*B*C e A*C*B, o que contradiz o Axioma 3 de Ordem.
(8) Ento, A e B esto em um mesmo lado de EC
,,
(Concluso de RAA).
(9) Segue das etapas 3 e 8 e do Axioma 4 de ordem que B e D devem estar em lados opostos de
,
. EC
,
(10) Portanto, o ponto C de interseo das retas EC
,,
e BD
,,
est entre B e D (definio de lados
opostos; Proposio 2.1; i.e., que o ponto de interseo nico).
Um argumento semelhante envolvendo EB
,,
prova que A*B*D (exerccio 2b).
Finalmente ns provamos a propriedade de separao na reta.
Proposio 3.4. Se C*A*B e / a reta que passa por A, B e C (Axioma de ordem), ento para
todo ponto P pertencente a /, P est na semi-reta AB

ou na semi-reta oposta . AC
Prova:
(1) Ou P est sobre ou no est (lei do terceiro excludo). AB

(2) Se P est sobre ABest acabado, portanto, suponha que no est; ento P*A*B (Axioma 3
de ordem).

(3) Se P = C ento P est sobre AC (por definio), assim suponha que P C; ento exatamente
uma das relaes C*A*P, C*P*A, ou P*C*A vlida (Axioma 3 de ordem novamente).

(4) Suponha que a relao C*A*P vlida (hiptese de RAA).

(5) Ns sabemos (pelo Axioma 3 de ordem) que exatamente uma das relaes P*C*B, C*P*B,
ou C*B*P vlida.
(6) Se P*B*C, ento combinando isto com P*A*B (etapa 2) conclui-se que A*B*C (Proposio
3.3), contradizendo a hiptese.
(7) Se C*P*B, ento combinando isto com C* A*P (etapa 4) conclui-se que A*P*B (Proposio
3.3), contradizendo a etapa 2.
(8) Se B*C*P, ento combinando com B*A*C (hiptese e Axioma 1 de ordem) conclui-se que
A*C*P (Proposio 3.3), contradizendo a etapa 4.
(9) Como ns obtivemos uma contradio nos trs casos, C*A*P no vlido (concluso da
RAA).
(10) Portanto, C*P*A ou P*C*A (etapa 3), o que significa que P est sobre a semi-reta oposta

. AC
O prximo teorema estabelece uma propriedade visualmente bvia que Pash descobriu que
Euclides usava sem provar.
TEOREMA DE PASH. Se um tringulo qualquer e / uma reta que intercepta o lado
AB em um ponto entre A e B, ento / tambm intercepta ou o lado AC ou o lado BC (ver Figura
3.10). Se C no pertence a /, ento / no intercepta ambas AC e BC.
ABC


8

A
B
C
/
Figura 3.10





Intuitivamente, o teorema diz que se uma reta entra em um tringulo por um lado, ela deve
sair por outro lado.
Prova:
(1) Ou C est sobre / ou no est; se est, o teorema vlido (lei do terceiro excludo).
(2) A e B no esto sobre /, e o segmento AB intercepta / (hipteses).
(3) Portanto, A e B esto em lados opostos de / (por definio).
(4) Da etapa 1 podemos assumir que C no est sobre /, neste caso ou C e A esto no mesmo
lado de / ou C e B esto no mesmo lado de / (Axioma da separao).
(5) Se C e A esto no mesmo lado de /, ento C e B esto em lados opostos, o que significa que
/ intercepta BC e no intercepta AC; analogamente se C e B esto no mesmo lado de /,
ento / intercepta AC e no intercepta BC (axioma da separao).
Aqui esto outros resultados sobre ordem e separao que voc ser convidado a provar nos
exerccios.
Proposio 3.5. Dado A*B*C. Ento AC AB BC = e B o nico ponto comum aos
segmentos AB e BC.
Proposio 3.6. Dado A*B*C. ento B o nico ponto comum s semi-retas BA e BC

, e

. AB AC =


DEFINIO. Dado um ngulo , definimos que um ponto D est no interior de
se D e B esto no mesmo lado de

e se D e C tambm esto no mesmo lado de

. (logo, o
interior de um ngulo a interseo de dois semi-planos).
CAB < CAB <
AC AB

A
C
D
B
interior
Figura 3.11






Proposio 3.7. Dado um ngulo e um ponto D sobre a reta CAB < BC
,,
. Ento D um ponto
interior de < se e somente se B*D*C (ver Figura 3.12) CAB
9
Advertncia! No assuma que todo ponto no interior de um ngulo est sobre um segmento
ligando um ponto sobre um lado do ngulo a um ponto sobre o outro. De fato, esta hiptese falsa
na geometria hiperblica.
A
C
D
B
Figura 3.12







Proposio 3.8. Se D um ponto interior , ento: (a) tambm qualquer outro ponto
sobre a semi-reta

exceto A; (b) nenhum ponto sobre a semi-reta oposta a

est no interior
de < ; e (c) se C*A*E, ento B est no interior de < (ver Figura 3.13).
CAB <
AD

AD
CAB DAE

A
C
D
B
E
F
Figura 3.13





DEFINIO. A semi-reta est entre as semi-retas AD

AC

e AB

se AB

e AC no so semi-
retas opostas e D est no interior de < . (pela Proposio 3.8 (a), esta definio no depende da
escolha do ponto D sobre

CAB
AD

.)
TEOREMA DA TRANSVERSAL. Se AD

est entre AC

e AB

, ento intercepta o
segmento BC (ver Figura 3.14).
AD

A
D
C
B
?
Figura 3.14





DEFINIO. O interior de um tringulo a interseo dos interiores de seus trs ngulos. Um
ponto por definio exterior ao tringulo se ele no interior nem est sobre algum dos lados do
tringulo.
Proposio 3.9. (a) Se uma semi-reta r com origem em um ponto exterior do intercepta
o lado AB em um ponto entre A e B, ento r tambm intercepta o lado AC ou o lado BC. (b) Se
uma semi-reta tem origem em um ponto interior do
ABC
ABC , ento ela intercepta um dos lados, e se
ela no passa por um vrtice, ela intercepta somente um lado.

10
Axiomas de Congruncia
Observe que congruente o ltimo dos nossos termos indefinidos; ela ou uma relao entre
segmentos ou uma relao entre ngulos. Ns estamos acostumados a congruncia como uma
relao entre tringulos, mas, ns podemos agora definir isto como segue: Dois tringulos so
congruentes se podemos estabelecer uma correspondncia um a um entre seus vrtices de modo que
lados correspondentes so congruentes e ngulos correspondentes so congruentes. Quando ns
escrevemos ns entendemos que A corresponde a D, B a E, e C a F. Definies
semelhantes podem ser dadas para congruncias de quadrilteros, pentgonos, etc.
ABC DEF
AXIOMA DE CONGRUNCIA 1: Se A e B so pontos distintos e se A qualquer ponto,
ento para cada semi-reta r com origem em A existe um nico ponto Bsobre r tal que B' A e
. AB A' B'

A
B
A B
Figura 3.15




Intuitivamente falando, este axioma diz que voc pode mover o segmento AB de forma que ele
fique sobre a semi-reta r com A sobreposto em A, e B sobreposto em B.(Na Lista de Problemas,
Exerccio 2, Captulo 1, voc mostrou como fazer isto com uma rgua e um compasso instantneo).
AXIOMA DE CONGRUNCIA 2: Se AB CD e AB EF , ento . Alm disso,
todo segmento congruente a si mesmo.
CD EF
Este axioma substitui a primeira noo comum de Euclides, visto que ela diz que segmentos
congruentes ao mesmo segmento so congruentes um ao outro. Ele tambm substitui a quarta noo
comum, uma vez que ela diz que segmentos que coincidem so congruentes.
AXIOMA DE CONGRUNCIA 3: Se A*B*C, A*B*C, AB A' B' e ento . AC A' C'


A
B
C
A
B C
Figura 3.16



Este axioma substitui a segunda noo comum, uma vez que ele diz que se adicionamos
segmentos congruentes a segmentos congruentes, os totais so congruentes. Aqui adicionar
significa justapor segmentos ao longo da mesma reta. Por exemplo, utilizando os Axiomas de
Congruncia 1 e 3, voc pode colocar uma cpia de um segmento AB dado duas, trs, ..., n vezes,
para obter um novo segmento nAB.


A B B B
Figura 3.17
AB = 3 AB

11
AXIOMA DE CONGRUNCIA 4: Dado qualquer ngulo (onde, por definio de
ngulo,

no oposta a

), e dada qualquer semi-reta '

BAC <
AB
, ,
AC A' B
,
com origem no ponto A,
ento existe uma nica semi-reta A' ' C
, ,
sobre um dado lado da reta '
,
tal que
.
A' B
B' A' C' BAC < <

A
B
C
A
B
C
Figura 3.18








Este axioma pode ser reformulado para afirmar que podemos colocar um ngulo dado sobre
um lado dado de uma semi-reta de um nico modo (ver Lista de Problemas, Exerccio 1 (g),
Captulo 1).
AXIOMA DE CONGRUNCIA 5: Se A B < < e A C < < , ento . Alm disso
todo ngulo congruente a si mesmo.
B < <C
A
Este o anlogo para ngulos do Axioma de Congruncia 2 para segmentos; a primeira parte
expressa a transitividade e a segunda a reflexividade da relao de congruncia. Combinando-as,
podemos provar a simetria desta relao: A B B < < < <
B A
.
Prova: (hiptese) e A < < A < (reflexividade) implicam (substituindo A por C do
Axioma de Congruncia 5) < (transitividade).
<
A <
a es en

B
Pareceria natural assumir a seguir um axioma de adio para congruncia de ngulos anlogo
ao Axioma de Congruncia 3 (o axioma de adio de segmentos). Ns no faremos isto, porque um
resultado semelhante pode ser provado utilizando o prximo axioma de congruncia (ver
proposio 3.19).
AXIOMA DE CONGRUNCIA 6 (LAL): Se dois lados e o ngulo, determinado por eles, de
um tringulo so respectivamente congruentes a dois lados e o ngulo, determinado por eles, de
outro tringulo, ento os dois tringulos so congruentes.

A C
B
A C
B





Este o critrio lado-ngulo-lado de congruncia de tringulos. Como j foi mencionado,
Euclides tentou provar LAL como um teorema. Seu argumento er sencialm te como segue:
Mova ' de forma a colocar o ponto A sobre o ponto A e A' B' C A' B'
,, ,
< < A' C
sobre
,
. Uma vez que
, por hiptese, o ponto B deve recair sobre o ponto B. Uma vez que , '
AB
AB A' B' A A'
,,

12
deve recair sobre , e desde que AC AC
,,
A' C' , o ponto C deve coincidir com o ponto C. Portanto,
BC coincidir com BC e os ngulos restantes coincidiro com os ngulos restantes, desta forma os
tringulos sero congruentes.
Este argumento chamado de superposio. Origina-se da experincia de desenhar dois
tringulos no papel, cortar um e coloca-lo sobre o outro. Embora isto seja um bom modo de
convencer um aprendiz da geometria a aceitar LAL, no uma prova, e Euclides usou com
relutncia apenas em um outro teorema. No uma prova porque Euclides nunca mencionou um
axioma que permita mover figuras sem mudar seu tamanho e forma.
Alguns autores modernos introduzem movimento como um termo indefinido e formulam
axiomas para este termo (de fato, os Fundamentos de Geometria de Pieri, ponto e movimento
so os nicos termos indefinidos). Se no, a geometria primeiro construda sobre uma base
diferente, a distncia introduzida e um movimento definido como uma transformao um a
um do plano sobre si mesmo que preserva distncia. Euclides pode ser defendido pelas duas
abordagens . De fato, Felix Klein, no seu Erlanger Programme de 1872, definiu a geometria como
o estudo daquelas propriedades das figuras que permanecem invariantes sob um grupo particular de
transformaes. Esta idia ser desenvolvida no captulo 9.
Os movimentos mencionados nos pargrafos anteriores so todos as abstraes matemticas. O
fsico Baron von Helmholtz faz uma abordagem diferente. Ele afirmou que a geometria precisa que
ns suponhamos a existncia real de corpos rgidos com mobilidade livre no espao. A geometria
depende assim da mecnica. Obviamente, este ponto de vista foi rejeitados por muitos matemticos.
Como uma aplicao de LAL, segue uma prova simples de Pappus (300 a.C.) para o teorema
sobre os ngulos da base de um tringulo issceles.
Proposio 3.10. Se em um ns temos AB ABC AC , ento B C < < .
Prova:
(1) Considere a correspondncia doa vrtices A A, B C, C B. Segundo esta
correspondncia, dois lados e o ngulo determinado por eles do so congruentes
respectivamente aos lados correspondentes e ngulo determinado por eles do (por
hiptese e Axioma de congruncia 5) que um ngulo congruente a si mesmo).
ABC
ACB
(2) Portanto, (LAL), portanto os ngulos correspondentes, < e , so
congruentes (por definio de congruncia de tringulos) .
ABC ACB B C <
(3) Aqui alguns resultados mais familiares sobre congruncia. Provaremos alguns deles; se a
prova foi omitida, veja os exerccios.
Proposio 3.11. (Subtrao de Segmentos). Se A*B*C, D*E*F, AB DE e , ento
.
AC DF
BC EF
A
B
C
D
E
F
Figura 3.21






Proposio 3.12. Dado AC , ento para qualquer ponto B entre A e C, existe um nico
ponto E entre D e F tal que .
DF
AB DE
13
Prova:
(1) Existe um nico ponto E em tal que (Axioma de Congruncia 1). DF
,
(2) Suponha que E no esteja entre D e F (hiptese de RAA).
(3) Ento ou E = F ou D*F*E (definio de DF
,
).
(4) Se E = F,ento B e C so pontos distintos em AC
,
tais que AC DF AB (hiptese, etapa
1), o que contradiz parte da unicidade do Axioma 1 de Congruncia)
(5) Se D*F*E, ento existe um ponto G sobre a semi-reta oposta a CA
,
tal que tal que FE CG
(Axioma de Congruncia 1).
(6) Ento (axioma de congruncia 3). AG DE
(7) Logo, existem dois pontos distintos B e G sobre AC
,
tais que AG DE AB (etapas 1, 5 e
6), o que contradiz a parte do unicidade do Axioma de Congruncia 1.

A
B
C
G
D
F
E?
Figura 3.22



DEFINIO. AB < CD (ou CD > AB) significa que existe um ponto E entre C e D tal que
. AB CE
Proposio 3.13 (ordenando segmentos). (a) Exatamente uma das seguintes condies vlida
(tricotomia) AB < CD, ou AB > CD. (b) Se AB < CD e CD AB CD EF , ento AB < EF. (c) Se
AB > CD e CD , ento AB > EF. (d) Se AB < CD e CD < EF, ento AB < EF (transitividade). EF
Proposio 3.14. Suplementos de ngulos congruentes so congruentes.
Proposio 3.15. (a) ngulos opostos pelo vrtice so congruentes. (b) Um ngulo congruente a
um ngulo reto um ngulo reto.
Proposio 3.16. Para toda reta / e todo ponto P existe uma reta que passa por P e
perpendicular a /.
A
P
Q
P
B
/
X
Figura 3.23











14
Prova:
(1) Suponha primeiro que P no pertence a / e seja A e B quaisquer dois pontos sobre
/(Axioma de Incidncia 2).
(2) Sobre o semi-plano determinado por / que no contm P existe uma semi-reta tal que
(Axioma de Congruncia 4).
AX
,
XAB PAB < <
(3) Existe um ponto P sobre tal que AX
,
AP' AP (Axioma de Congru6encia 1).
(4) PP intercepta /em um ponto Q (definio de lados opostos de /).
(5) Se Q = A, ento PP'
,,
/ (definio de ).
(6) Se Q A, ento PAQ P' AQ (LAL).
(7) Portanto, (ngulos correspondentes), por esta razo (definio
de ).
PQA P' QA < < PP'
,,
/

(8) Suponha agora que P est sobre /. Como existem pontos que no pertencem a /(Axioma
de Incidncia 3), podemos baixar uma perpendicular de um deles a / (Etapas 5 e 6),
obtendo, por meio disso, um ngulo reto.
(9) Podemos considerar um ngulo congruente a este ngulo reto com vrtice em P e um lado
sobre /(Axioma de Congruncia 4); o outro lado deste ngulo parte de uma reta que
passa por P e perpendicular a / (Proposio 3.15).
natural perguntar se a perpendicular a / passando por P construda na proposio 3.16 nica.
Se P est sobre /, A proposio 3.23 e a parte da unicidade do Axioma 4 de Congruncia garantem
que a perpendicular nica. Se P no est sobre /, ns no estaremos aptos para provar a unicidade
da perpendicular at o prximo captulo. Na geometria elptica existe um ponto chamado plo de
/ tal que qualquer reta passando por P perpendicular a /! Para visualizar isto, pense em / como o
equador de uma esfera e P como o plo norte; todo crculo mximo que passa pelo plo norte
perpendicular ao equador (Figura 3.24).

Figura 3.24








15
Proposio 3.17 (Critrio ALA para Congruncia). So dados os e com
, , e . Ento
ABC DEF
A D < < C F < < AC DF ABC DEF .
Proposio 3.18 (Recproca da Proposio 3.10). Se no ABC ns temos , ento
e o issceles.
B < <C
AB AC ABC
Proposio 3.19 (Adio de ngulos). So dados BG
,
entre BA
,
e BC
,
, entre e EH
,
ED
,
EF
,
,
, e . Ento CBG FEH < < GBA HED < < ABC DEF < < .

A
B
G
C
E
D
H
F
Figura 3.25




Prova:
(1) Pelo teorema da transversal, suponhamos que G foi escolhido de modo que A*G*C.
(2) Pelo Axioma de Congruncia 1, suponhamos que D, F, e E foram escolhidos de modo que

,

e CB

. AB ED
, , , , , ,
GB EH EF
(3) Ento e (LAL). ABG DEH GBC HEF
(4) , (etapa 3), e os ngulos e so suplementares
(etapa 1).
DHE AGB < < FHE CGB < < AGB < CGB <
(5) D, H, F So colineares e os ngulos < e so suplementares (etapa 4, proposio
3.14 e Axioma de Congruncia 4).
DHE FHE <
(6) D*H*F (Proposio 3.7, usando a hiptese sobre EH
,
).
(7) (etapas 3 e 6, Axioma 3 de Congruncia) AC DF
, ,
(8) (LAL, etapas 2, 3 e 7). ABC DEF
(9) (ngulos correspondentes). ABC DEF < <
Proposio 3.20 (Subtrao de ngulos). So dados BG
,
entre BA
,
e , entre BC
,
EH
,
ED
,
e
, , e . Ento EF
,
CBG FEH < < ABC DEF < < GBA HED < < .
DEFINIO. ABC DEF < < < significa que existe um semi-reta EG
,
entre e tais que
(ver Figura 3.26).
ED
,
EF
,
ABC GEF < <

B
A
C E
D
G
F
Figura 3.26





Proposio 3.21 (Ordenando ngulos). (a) Exatamente uma das seguintes condies vlida
(tricotomia): , , ou P Q < < < P < <Q P Q < < < . (b) Se P Q < < < e , ento Q < <R P R < < < .
(c) Se < e < , ento . P Q > < R < Q P R > < <
16
Proposio 3.22 (Critrio LLL de Congruncia). So dados os ABC e . Se DEF AB DE ,
, e , ento . BC EF AC DF ABC DEF
O critrio AAL de congruncia ser dado no prximo captulo porque sua prova mais difcil. A
prxima proposio foi assumida como um axioma por Euclides, mas pode ser provada dos
axiomas de Hilbert.
Proposio 3.22(Quarto Postulado de Euclides). Todos os ngulos retos so congruentes.

B A C
J
D
K
F E G
H
Figura 3.27





Prova:
(1) Dados BAD CAD < < e FEH GEH < < (dois pares de ngulos retos, por definio).
Suponha o contrrio, que no congruente a (hiptese de RAA). BAD < FEH <
(2) Ento um destes ngulos menor do que o outro, por exemplo,
(proposio 3.21(a), de forma que por definio existe uma semi-reta
entre e
,
tal que
FEH BAD < < <
AJ
, ,
AB AD BAJ FEH < < .
(3) (proposio 3.14) CAJ GEH < <
(4) (etapa 1e 3, Axioma de Congruncia 5). CAJ FEH < <
(5) Existe uma semi-reta AK entre
,
AD
,
e AC
,
tal que BAJ CAK < (etapa 1 e proposio
3.2(b)).
<
(6) (etapas 2 e 4, e Axioma de Congruncia 5). BAJ CAJ < <
(7) (etapas 5 e 6, e Axioma de Congruncia 5). CAJ CAK < <
(8) Logo, temos que maior do que < (por definio) e menor do que o seu
ngulo congruente < ( etapa 7 e proposio 3.8 (c)), o que contradiz a proposio
3.21.
CAD < CAK
CAJ
(9) (concluso de RAA). BAD FEH < <

Axiomas de Continuidade
Estes axiomas so mais sutis e difceis de compreender. Eles So necessrios para preencher
algumas lacunas nos Elementos de Euclides. Uma discusso completa deles est alm do alcance
deste livro; satisfaz a nossos objetivos menciona-los e fazer apenas breves observaes.
AXIOMA DE ARQUIMEDES. Se AB e CD so segmentos quaisquer, ento existe um nmero
n tal queCD e um ponto E na semi-reta AB nAB
,
tal que AE nAB e B est entre A e E.
Por exemplo, se AB fosse unidade e CD uma unidade de comprimento seria necessrio
considerar n pelos menos igual a 4 ( CD 4AB ) para obter um ponto E depois de B (figura 3.28).

17



A E
B

C
D
Figura 3.28

A idia intuitiva contida no axioma de Arquimedes que se voc escolhe arbitrariamente um
segmento CD como unidade de comprimento ento qualquer outro segmento tem comprimento
finito considerando esta unidade ( na notao do axioma o comprimento de AB tomando CD como
unidade , no mximo, n ). Outro modo de olhar escolher AB como unidade de comprimento. O
axioma diz que nenhum outro segmento pode ser infinitamente pequeno com relao a esta unidade
(o comprimento de CD tomando AB como unidade , no mnimo,
1
n
unidades).
AXIOMA DE DEDEKIND.
3
Suponha que o conjunto de todos os pontos sobre uma reta / a
unio de dois subconjuntos no vazios tais que nenhum ponto de
1

2 1
est entre dois pontos
de e vice-versa. Ento existe um nico ponto O sobre / tal que P
2

1
*O*P
2
se e somente se
1 1
P
e e O P
2
P
2

1
e P
2
.

O
1

2

Figura 3.29

O axioma de Dedekind uma espcie de recproca para a propriedade de separao de reta. Esta
propriedade diz que qualquer ponto O sobre / separa todos os pontos de / naqueles que esto
esquerda de O e aqueles que esto direita de O. O axioma de Dedekind diz que reciprocamente,
qualquer separao de pontos sobre /direita e esquerda gerada por um nico ponto O. Um par de
subconjuntos e com a propriedade do axioma de Dedekind chamado um corte de Dedekind
da reta.
1

De fato, ns devemos definir o que significa esquerda e direita aqui. A idia intuitiva
bvia. Fica para voc escrever uma definio precisa (Exerccio 7).
Falando livremente, o objetivo do axioma de Dedekind assegurar que a reta no tem buracos,
no sentido de que para qualquer ponto O sobre / e qualquer nmero real positivo x existe um nico
ponto P
-x
e P
x
sobre /tal que P
-x
*O* P
x
e os segmentos O P
-x
e OP
x
tm comprimento x (com
relao a alguma unidade de medida).

O
x x
P
-x
P
x
Figura 3.30

Sem o axioma de Dedekind no existiria garantia, por exemplo, da exist6encia de um segmento
de comprimento . Com ele, podemos introduzir um sistema de coordenadas retangular no plano e
fazer a geometria analiticamente, como Descartes e Fermat descobriram no sculo XVII. Este
sistema de coordenadas permite provar que nossos axiomas para geometria Euclidiana so
categricos no sentido de que o sistema tem um nico modelo (a menos de isomorfismo ver

3
J.W.R. Dedekind props este axioma em 1871; um anlogo dele utilizado em anlise para expressar que o sistema
dos nmeros reais completo.
18
Exerccio 10, Captulo 2), isto , o plano usual de coordenadas Cartesianas de todos os pares de
nmeros reais.
Se o axioma de Dedekind fosse omitido, ento outro modelo, o tambm conhecido como plano
irracional, um plano que utilizado para provar a impossibilidade de trisseccionar qualquer ngulo
com rgua e compasso.
Podemos provar de fato que o axioma de Arquimedes uma conseqncia do axioma de
Dedekind e de outros axiomas (ver Lista de Problemas Exerccio 1). Para ver porque o axioma de
Dedekind necessrio, considere o argumento que Euclides fornece para justificar a sua primeira
proposio.
PROPOSIO 1 DE EUCLIDES. Dado qualquer segmento, existe um tringulo eqiltero
cujo lado o segmento dado.
Prova de Euclides:
(1) Seja AB o segmento dado. Com centro em A e raio AB, descreva o crculo BCD (postulado
III).
(2) Ainda com cetro em B e raio BA, descreva o crculo ACE (postulado III).
(3) Do ponto C, no qual os crculos se interceptam, desenhe os segmentos CA e CB (Postulado
I).
(4) Como A o centro do crculo CDB, AC congruente a AB (definio de crculo).
(5) Ainda, desde que B centro do crculo CAE, BC congruente a BA (definio de crculo).
(6) Como CA e CB so ambas congruentes a AB (etapas 4 e 5), elas so congruentes entre si
(primeira noo comum).
(7) Portanto, o um tringulo eqiltero (por definio) tendo AB como um dos seus
lados.
ABC

A B
C
D E

Figura 3.31






Desde que toda etapa est aparentemente justificada, voc pode no ver a lacuna na prova. Ela
ocorre nas trs primeiras etapas, especialmente na terceira etapa, que explicitamente afirma que C
o ponto no qual os crculos se cortam. (A segunda etapa afirma isto implicitamente usando a mesma
letra C para denotar parte do crculo, como na primeira etapa.) O ponto : como sabemos que o
ponto C existe?
Se voc acredita bvio do diagrama que o ponto C existe - mas no permitido utilizar o
diagrama para justificar isto! Ns no estamos dizendo que os crculos construdos no se
interceptam, ns estamos dizendo apenas que outro axioma necessrio para provar isto.
A lacuna pode ser preenchida provando o seguinte princpio da continuidade circular:
PRINCPIO DA CONTINUIDADE CIRCULAR. Se um crculo te, u, ponto no interior e
outro no exterior de outro crculo , ento os dois crculos se interceptam em dois pontos.
19
Aqui u ponto P definido como interior ao crculo de centro O e raio OR se OP < OR (exterior
se OP > OR). Na figura 3.31, o ponto B est no interior do crculo , e o ponto B (no aparece) tal
que A ponto mdio de BB est no exterior de . O princpio da continuidade circular uma
conseqncia do axioma de Dedekind.
Outra lacuna nos Elementos ocorre no mtodo de Euclides para desenhar uma perpendicular a
uma reta (sua dcima segunda proposio). Em sua construo Euclides assume implicitamente o
seguinte princpio da continuidade elementar:
PRINCPIO DA CONTINUIDADE ELEMENTAR. Se uma das extremidades de um
segmento est no interior de um crculo e a outra no exterior, ento o segmento intercepta o crculo.

O
A M? B
Figura 3.32






Permita-nos esquematizar uma prova desta proposio usando o axioma de Dedekind:
Por definio de interior e exterior de um crculo, se O o centro do crculo e OR um raio, ns
temos que AO < OR< OB. Definimos um corte de Dedekind para a reta AB
,,
,
como segue: Seja
1
o
conjunto de todos os pontos P do segmento AB tais que OP < OR e todos os pontos da semi-reta
oposta a

; seja AB
2
o conjunto de todos os pontos P de AB tais que ou OP > OR, e
todos os pontos sobre a semi-reta oposta a
OP OR
BA
,
. Se AB
,,
,
ordenada de modo que A est a esquerda de
B, ento todo ponto de
1
est a esquerda de todo ponto de
2
. Portanto, pelo axioma de Dedekind,
existe um nico ponto M sobre
,
tal que P AB
1
*M*P
2
para todo P
1

1
e P
2

2
distinto de M. Ns
podemos ento provar por um argumento de RAA que OM OR , i.e., M est sobre o crculo (ver
Lista de Problemas 2).
evidente que o raciocnio com o axioma de Dedekind no elementar. Se voc tem dificuldade
em segui-lo no fique desencorajado ele no ter um papel importante neste livro. Ns
utilizaremos os axiomas de continuidade somente naqueles poucos casos em que eles so
absolutamente essenciais. Em outra ocasio ele pode ser evitado. Por exemplo, Euclides usou a
existncia do tringulo eqiltero sobre uma base dada para provar a existncia da bissetriz de um
ngulo e do ponto mdio desse modo, a existncia de bissetrizes e de pontos mdios parece
depender indiretamente da continuidade. Mas existe um modo engenhoso de provar a existncia de
bissetrizes de ngulos e de pontos mdios sem usar a continuidade (ver exerccios 12-14, Captulo
4).
Uma das razes do axioma de Dedekind no ser elementar que ele se refere a conjuntos
variveis de pontos que formam os cortes. Alfred Tarski props um sistema diferente de axiomas
para a geometria euclidiana, no qual as nicas variveis so pontos e toda afirmao feita em
termos do termo indefinido ponto e das relaes indefinidas estar entre e eqidistncia. Com
esta linguagem restrita, Tarski foi capaz de expressar todos os resultados encontrados nos livros
didticos tradicionais de geometria elementar. Porm o axioma de Dedekind no pode ser colocado
nesta linguagem. Tarski props substituir o axioma de Dedekind pelo princpio da continuidade
elementar. Ele chama este sistema de a geometria das construes elementares por que as nicas
afirmaes de exist6encia que so vlidas no sistema so aquelas que podem ser provadas por
20
construes com rgua e compasso (ver o artigo O que geometria elementar? de Henkin, Suppes
e Tarki).

Axioma de Paralelismo
Se ns parssemos com os axiomas agora, poderamos fazer uma boa parte da geometria, mas,
ns ainda no poderamos fazer toda geometria euclidiana. Ns seramos capazes de fazer a
geometria absoluta, um nome equivocado usado por Janos Bolyai e ainda bastante usado. Eu
prefiro o nome sugerido por W. Prenowitz e M. Jordan, geometria neutra, assim chamada
porqueao fazer esta geometria ns permanecemos neutros acerca do nico axioma da lista de
Hilbert que deixou de ser considerado historicamente o axioma mais controverso de todos.
AXIOMA DE PARALELISMO DE HILBERT. Para toda reta / e todo ponto P no
pertencente a /existe no mximo uma reta m passando por P e paralela a /
m
/ /
P
Figura 3.33

Note que este axioma mais fraco que o postulado das paralelas de Euclides introduzido no
Captulo 1 este axioma afirma somente que existe no mximo uma reta passando por P e paralela a
/ j o postulado das paralelas Euclidiano afirma alm disso que pelo menos uma reta passando por P
paralela a /. A razo da omisso de pelo menos no axioma de Hilbert que isto pode ser
provado dos outros axiomas (ver Corolrio 2 do Teorema 4.1) ; portanto desnecessrio assumir
isto como parte do axioma. Esta observao importante porque ela implica que a propriedade
elptica de paralela(no existem paralelas) inconsistente com os axiomas da geometria neutra.
Logo, um conjunto diferente de axiomas necessrio para fundamentar a geometria elptica (ver
Apndice A).
O axioma das paralelas completa nossa lista de dezesseis axiomas para a geometria euclidiana.
Na referncia a estes axiomas ser utilizada a seguinte escrita taquigrfica: os axiomas de incidncia
sero denotados por I-1, I-2 e I-3; os axiomas de ordem O-1, O-2, O-3, e O-4; os axiomas de
congruncia C-1, C-2, C-3, C-4, C-5 e C-6 (ou LAL). Os axiomas de continuidade e os de
paralelismo sero chamados pelo nome.