Geometrias Euclidiana e no-Euclidianas.

Desenvolvimento e Histria
[Texto traduzido para o portugus por Guy Grebot, de Euclidian and Non-Euclidian Geometries
Development and History de Marvin J Greenberg]
Captulo 4
Geometria neutral
Se somente pudesse ser provado ... que existe um tringuo !u"os nguos s#o "untos menos que dois nguos retos$%
Mas a&s, este ' um ignis fatuus que nun!a (oi observado.
C. L. Dodgson (Lewis Carrol)
Geometria sem o axioma da paralela
)os ex!er!*!ios do !ap*tuo anterior vo! gan+ou experin!ia provando aguns resutados
eementares a partir dos axiomas de ,ibert- .&rios destes resutados (oram assumidos por /u!ides-
.o! pode per!eber que preen!+er as a!unas e provar rigorosamente todos os deta+es ' uma tare(a
grande- 0e quaquer modo, devemos provar que os postuados de /u!ides s#o !onseq1n!ia dos
axiomas de ,ibert- .imos que o primeiro postuado de /u!ides ' o mesmo que o axioma 234 de
,ibert- )a nossa nova inguagem, o segundo postuado de /u!ides estabee!e o seguinte5 dados
segmentos AB e CD, existe um ponto E ta que A*B*E e CDBE - 2sso segue diretamente do
axioma 634 de ,ibert api!ado 7 semi3reta de origem 8 oposta a

BA -
9igura :-4
; ter!eiro postuado de /u!ides torna3se uma de(ini<#o no sistema de ,ibert- ; crculo
!om !entro ! e raio !A ' de(inido !omo sendo o !on"unto de todos os pontos " tais que !" '
!ongruente a !A- ; axioma 634 garante ent#o que sobre toda semi3reta de origem ! existe um ta
ponto "-
; quarto postuado de /u!ides = todos os nguos retos s#o !ongruentes = torna3se um
teorema do sistema de ,ibert, !omo mostrado na proposi<#o >-?>-
; postuado da paraea de /u!ides ' dis!utido mais adiante neste !ap*tuo- )este !ap*tuo
estaremos interressados na geometria neutra = por de(ini<#o, todos os teoremas que podem ser
demonstrados somente a partir dos axiomas de in!idn!ia, ordem, !ongrun!ia e !ontinuidade sem
usar o axioma de paraeismo- 6ada resutado provado anteriormente ' um teorema da geometria
neutra- .o! deve rever todos os teoremas, proposi<@es e exer!*!ios do !ap*tuo > porque ees ser#o
usados ao ongo do ivro- )ossas demonstra<@es ser#o,assim, menos (ormais-
Aua ' o ob"etivo de se estudar geometria neutraB )#o estamos interessados em estud&3a
per se- Mas estamos tentando es!are!er qua ' o pape do postuado da paraea anaisando quais
teoremas da geometria n#o dependem dee, i-e- quais teoremas de!orrem dos outros axiomas, sem
nun!a usar o postuado da paraea em suas demonstra<@es- 2sso permitir& evitar v&rias armadi+as e
4
enxergar me+or a estrutura Cgi!a do nosso sistema- 0eterminadas quest@es que podem ser
respondidas na geometria eu!idiana Dta !omo se existe uma Eni!a paraea por um dado pontoF
podem en!ontrar respostas na geometria neutra porque seus axiomas n#o (orne!em in(orma<@es
su(i!ientes-
Muitos teoremas podem ser demonstrados em geometria neutra D?GH em 8orsuI e
SzmieeJF- )Cs "& (orne!emos v&rios teoremas !on+e!idos nos !ap*tuos anteriores- Krepare3se para
aguns teoremas estran+os deste !ap*tuo-
O teorema dos ngulos internos alternos
; prCximo teorema requer uma de(ini<#o5 se"a t a transversa 7s retas l e l#, !om t inter!eptando l em
B e l# em B#- /s!o+a pontos A e C sobre l tais que A*B*CL es!o+a pontos A# e C# sobre l# tais que A
e A# este"am do mesmo ado de t e tais que A#*B#*C#- /nt#o os quatro nguos seguintes s#o ditos
interiores5 A# B# B $ABB# $C# B# B $CBB# - ;s dois pares ABB# $C # B# B e
A# B# B $CBB# s#o !+amados pares de %ngulos internos alternos Dve"a 9igura :-?F-
9igura :-?
eorema 4.!5 DTeorema dos nguos internos aternosF Se duas retas que s#o !ortadas por uma
transversa admitem um par de nguos internos aternos !ongruentes, ent#o essas retas s#o
paraeas-
Demonstra"o# 0ados A# B# BCBB# - Mssuma que l e l# se inter!eptam no ponto D-
Supon+a que D este"a do mesmo ado de t que C e C#- /xiste um ponto E sobre

B# A# ta que
B# EBD DMxioma 634F- ; segmento BB# ' !ongruente a ee mesmo, de ta (orma que
B# BDBB# E DSMSF- /m parti!uar, DB# BEBB# - 6omo DB# B ' o
supementar de EB# B , EBB# deve ser o supementar de DBB# DKroposi<#o >-4: e
Mxioma 63:F- 2sso signi(i!a que E est& sobre l, e assim, l e l# tm dois pontos E e D em !omum, o
que !ontraria a proposi<#o ?-4 da geometria de in!idn!ia- Kortanto, l && l#.
/ste teorema tem dois !oro&rios muito importantes-
Corol$rio !5 0uas retas perpendi!uares a uma mesma reta s#o paraeas- Kortanto, a perpendi!uar
baixada de um ponto ", n#o perten!ente 7 reta l, sobre l ' Eni!a De o ponto de interse<#o entre a reta
e a perpendi!uar ' !+amado p' da perpendicularF-
?
Demonstra"o# Se l e l# s#o ambas perpendi!uares a t, os nguos internos aternos s#o retos e,
assim, !ongruentes DKroposi<#o >-?>F-
Corol$rio %# Se l ' quaquer reta e " ' quaquer ponto n#o perten!ente a l, existe peo menos uma
reta m por " paraea a l-
9igura :->
Demonstra"o# /xiste uma reta t por " perpendi!uar a l e existe uma Eni!a reta m por "
perpendi!uar a t DKroposi<#o >-4NF- 6omo l e m s#o ambas perpendi!uares a t, o !oro&rio 4 nos
permite !on!uir que l && m- D/ssa !onstru<#o ser& usada repetidamente-F
Oepetindo, sempre existe uma reta m por " paraea a l = isso (oi provado na geometria
neutra- Mas n#o sabemos se m ' (nica- Mpesar do postuado da paraea de ,ibert a(irmar que m '
Eni!a, n#o estamos assumindo este postuado- 0evemos manter nossa mente aberta para a
possibiidade, por mais estran+o que possa pare!er, de existirem outras retas por " paraeas a l-
Cuidado& .o! est& a!ostumado a usar o inverso do teorema :-4 na geometria eu!idiana, que
estabee!e que se duas retas s#o paraeas, ent#o os nguos internos aternos determinados por uma
transversa s#o !ongruentes$- )Cs n#o demonstramos esta inversa, portanto, n#o use3a% D)o (im das
!ontas, ea ' ogi!amente equivaente ao postuado da paraea = ve"a exer!*!io P-F
O teorema do ngulo externo
Mntes de !ontinuarmos nossa ista de teoremas, devemos enun!iar outra de(ini<#o5 Qm nguo
supementar a um nguo de um tringuo ' um %ngulo e)terno do tringuoL os dois outros nguos
do tringuo s#o !+amados de nguos internos n*o ad+acentes- ; teorema seguinte ' !onseq1n!ia
do teorema :-45
eorema 4.% D; teorema do nguo externoF- Qm nguo externo de um tringuo ' maior que !ada
nguo interno n#o ad"a!ente a ee Dve"a (igura :-:F-
>
9igura :-:
0evemos provar que ACD ' maior que B e A 5
Demonstra"o# 6onsidere o nguo interno n#o ad"a!ente BAC - Se BACACD , ent#o

AB ' paraea a

CD Dteorema :-4F, o que !ontraria a +ipCtese de que essas retas se inter!eptam

em B- Supon+a que BAC se"a maior que ACD D+ipCtese OMMF- /nt#o existe uma semi3
reta

AE entre

AB e

AC ta que ACDCAE Dpor de(ini<#oF- /sta semi3reta

AE
inter!epta BC no ponto G Dteorema da transversaF- Mas, de a!ordo !om o teorema :-4, as retas
AE

e
CD

s#o paraeas- Kortanto, BAC n#o pode ser maior que ACD D!on!us#o
OMMF- 6omo BAC tamb'm n#o ' !ongruente a ACD , BAC deve ser menor que
ACD Dproposi<#o >-?4DaFF-
Kara o nguo interno n#o ad"a!ente ABC , use o mesmo argumento api!ado ao nguo externo
BC, , que ' !ongruente a ACD , peo teorema dos nguos opostos peo v'rti!e
Dproposi<#o >-4PDaFF-
; teorema do nguo externo ter& um pape muito importante no que segue- /e era a 4NR proposi<#o
nos /ementos de /u!ides- M demonstra<#o de /u!ides tin+a uma a!una devido a um ra!io!*nio
baseado num diagrama- /e !onsiderou uma reta
B-

unindo B ao ponto m'dio de AC e ee

!onstruiu o ponto B# ta que B*-*B# e B--B # DMxioma634F- /e assumiu ent#o, a partir do
diagrama, que B# estava no interior de ACD Dve"a 9igura :-PF-
9igura :-P
)#o mostraremos o resto do argumento de /u!ides Dve"a ,eat+,p- ?HSF, pois ainda +& a di(i!udade
adi!iona de se "usti(i!ar a existn!ia do ponto m'dio Dve"a exer!*!io 4?F- )o entanto, a a!una no
argumento de /u!ides pode ser (a!imente sanada !om as (erramentas que desenvovemos- 0e (ato,
!omo o segmento BB# inter!epta AC em -, B e B# est#o em ados opostos de
AC

Dpor de(ini<#oF-
6omo BD inter!epta
AC

em C, B e D est#o tamb'm em ados opostos de

AC

DMxioma 83:F-
:
B# e - est#o do mesmo ado de
CD

, pois o segmento -B# n#o !ont'm o ponto B em que

-B#

inter!epta
CD

Dpea !onstru<#o de B# e peos Mxiomas834 e 83>F- M'm disso, A e -

est#o do mesmo ado de
CD

porque o segmento A- n#o !ont'm o ponto C em que

A-

inter!epta
CD

Dpor de(ini<#o de ponto m'dio e peo Mxioma 83>F- )ovamente, o axioma de

separa<#o 83: assegura que A e B# est#o do mesmo ado de
CD

- Kor de(ini<#o de interior$,

temos que B# est& no interior de ACD -
'ota. /m geometria e*pti!a, o teorema do nguo externo ' (aso Dve"a 9igura >-?: onde ' mostrado
um tringuo !om um nguo externo e outro interno n#o ad"a!ente, !ada um sendo um nguo retoF-
6omo !onseq1n!ia do teorema do nguo externo De o nosso resutado anteriorF, vo! pode agora
demonstrar as seguintes proposi<@es (amiiares Dn#o +& ne!essidade de usar propriedades de
!ontinuidade nas suas demonstra<@esF-
(roposi"o 4.! D6rit'rio de !ongrun!ia TMMF- 0ados ACD, , AD e BE ,
ent#o ABC,ED -
9igura :-N
(roposi"o 4.%- 0ois tringuos retnguos s#o !ongruentes se a +ipotenusa e um !ateto do primeiro
s#o !ongruentes 7 +ipotenusa e !ateto do segundo, respe!tivamente-
9igura :-H
(roposi"o 4.) Dpontos m'diosF Todo segmento admite um Eni!o ponto m'dio-
(roposi"o 4.4 DbissetrizesF DaF Todo nguo admite uma Eni!a bissetriz- DbF Todo segmento admite
uma Eni!a mediatriz Dreta perpendi!uar peo seu ponto m'dioF-
(roposi"o 4.*. )um tringuo ABC , o maior nguo ' oposto ao maior ado e o maior ado '
oposto ao maior nguo, i-e ABAC se, e somente se, CA -
(roposi"o 4.+. 0ados ABC e A# B# C# , se ABA# B# e BCB# C# , ent#o
P
BB# se, e somente se, ACA# C# -
,edida de ngulos e segmentos
Mt' agora, no nosso tratamento da geometria, nos abstivemos de usar nEmeros para medir o
taman+o de nguos e segmentos = isso (oi para nos mantermos prCximos do esp*rito de /u!ides-
0aqui em diante, no entanto, n#o seremos t#o austeros- ; prCximo teorema Dteorema :->F assegura a
possibiidade da medi<#o e ista suas propriedades- Sua demonstra<#o requer os axiomas de
!ontinuidade pea primeira vez DKara manter o n*ve eementar deste ivro, o eitor interessado pode
!onsutar o probema > e o !ap*tuo >, U S e 4V, do ivro de 8orsuI e SzmieeJF
4
- /m aguns
tratados popuares da geometria, este teorema ' !onsiderado !omo axioma Dpostuado da r'gua e
!ompasso, ve"a MoiseF- M nota<#o (amiiar
A
o
ser& usada para a quantidade de graus em
A e, o !omprimento do segmento AB Dem rea<#o a aguma unidade de medidaF ser&
denotado por AB -
9igura :-G
eorema 4.)
M- /xiste uma Eni!a maneira de asso!iar uma medida em graus a !ada nguo de ta (orma que as
propriedades seguintes se"am v&idas5
DVF
A
o
' um nEmero rea ta que
VA
o
4GV
o
-
D4F
A
o
=SV
o
se, e somente se, A ' um nguo reto-
D?F
A
o
=B
o
se, e somente se, AB -
(3) Se

AC ' interior a DAB , ent#o

DAB
o
=DAC
o
CAB
o
-
D:F Kara todo nEmero rea ) entre V e 4GV, existe um nguo A ta que
A
o
=)
o
-
DPF Se A ' supementar de A , ent#o
A
o
B
o
=4GV
o
-
DNF
A
o
B
o
se, e somente se, AB -
8- 0ado um segmento !., !+amado segmento unit/rio, ent#o existe uma Eni!a maneira de asso!iar
4 ;s axiomas de !ontinuidade n#o s#o ne!ess&rios se queremos de(inir a adi<#o de !asses de !ongrun!ia de
segmentos e, ent#o, provar a desiguadade trianguar D!oro&rio ?do teorema :->L ve"a 8orsuI e SzmieieJ, pp- 4V>3
4VG, para uma de(ini<#o desta opera<#oF- W para demonstrar os teoremas :-: e :-H, o ema N-4 e a pro"e<#o paraea
que pre!isaremos da medi<#o de nguos e segmentos atrav's de nEmeros reais e, para tais medi<@es, o axioma de
Mrquimedes ' ne!ess&rios- )o entanto, as partes : e 44 do teorema :->, para a demonstra<#o das quais pre!isamos
do axioma de 0edeIind, nun!a s#o utiizadas nas demonstra<@es deste ivro- .e"a o apndi!e 8 para o
estabee!imento de !oordenadas sem o uso dos axiomas de !ontinuidade-
N
uma medida AB a !ada segmento AB de ta (orma que as propriedades seguintes se"am v&idas5
DHF AB ' um nEmero rea positivo e !. =4 -
DGF AB=CD se, e somente se, ABCD -
DSF A*B*C se, e somente se, AC=ABBC -
D4VF ABCD se, e somente se, ABCD -
D44F Kara todo nEmero rea positivo ), existe um segmento AB ta que AB=) -
Qsando a nota<#o de grau, A ' de(inido !omo sendo agudo se
A
o
SV
o
e, obtuso se
A
o
SV
o
- M !ombina<#o dos teoremas :-? e :-> (orne!e o !oro&rio seguinte Dver exer!*!io
?F, que ' essen!ia para a demonstra<#o do teorema de Sa!!+eri3Tegendre-
Corol$rio !. M soma das medidas, em graus, de quaisquer dois nguos de um tringuo, ' menor
que
4GV
o
-
M Eni!a api!a<#o imediata da medi<#o de segmentos ser& (eita na demonstra<#o do prCximo
!oro&rio, a (amosa desiguadade trianguar$-
Corol$rio % Ddesiguadade trianguarF- Se A, B e C s#o trs pontos n#o !oineares, ent#o
ACABBC -
Demonstra"o#
D4F /xiste um Eni!o ponto 0 ta que MX8X0 e BDBC DMxioma 634 api!ado 7 semi3reta oposta
a

BA F-

9igura :-S
D?F /nt#o BCDBDC Dproposi<#o >-4V5 nguos da base de um tringuo isCs!eesF-
D>F AD=ABBD Dteorema :-> DSFF e BD=BC Dpasso 4 e teorema :->DGFFL substituindo,
obtemos AD=ABBC -
D:F

CB est& entre

CA e

CD Dproposi<#o >-HF, portanto, ACDBCD Dpor de(ini<#oF-

DPF ACDADC Dpassos ? e :L proposi<#o >-?4D!FF-
DNF ADAC Dproposi<#o :-PF-
DHF Kortanto, ABBCAC Dteorema :->D4VFL passos > e NF-
O teorema de -acc.eri-/egendre
M demonstra<#o do importante teorema seguinte tamb'm requer um axioma de !ontinuidade Do
axioma de MrquimedesF-
eorema 4.4 Dteorema de Sa!!+eri3TegendreF- M soma das medidas, em graus, dos trs nguos de
um tringuo quaquer ' menor 0ue ou igual a
4GV
o
-
H
9igura :-4V
A
o
B
o
C
o
4GV
o
/ste resutado pode pare!er pe!uiar "& que vo! est& a!ostumado a uma soma e)ata de 4GV
o
- )o
entanto, a iguadade n#o pode ser demonstrada em geometria neutra% Sa!!+eri tentou, mas o me+or
que !onseguiu !on!uir (oi menor ou igua$- D0is!utiremos isso mais 7 (rente no !ap*tuo-F Max
0e+n mostrou, em4SVV, que n#o +& !omo demonstrar isso sem o axioma de Mrquimedes-
?
M id'ia
da demonstra<#o ' a seguinte5
Supon+a que, ao !ontr&rio, a soma dos nguos de ABC se"a maior que 4GV
o
, digamos
4GV
o
Yp
o
, em que p ' um nEmero positivo- W poss*ve Datrav's de um truque que des!obrir#o no
exer!*!io 4PF substituir ABC por um outro tringuo !u"os nguos somam o mesmo que
ABC mas ta que um dos nguos ten+a, no m&ximo, metade da medida
A
o
- Kodemos
repetir este truque para obter outro tringuo que tem a mesma soma de nguos, 4GV
o
Yp
o
, mas em
que um nguo tem no m&ximo, um quarto da medida
A
o
- M propriedade arquimediana dos
nEmeros reais garante que se repetirmos esta !onstru<#o um nEmero su(i!iente de vezes,
a!abaremos obtendo um tringuo !u"os nguos somam 4GV
o
Yp
o
mas ta que um de seus nguos
tem medida de no m&ximo p
o
- M soma das medidas, em graus, dos outros dois nguos ser& maior
que ou igua a 4GV
o
, !ontrariando o !oro&rio 4 do teorema :->- 2sso prova o teorema-
.o! deveria demonstrar, !omo exer!*!io, a seguinte !onseq1n!ia do teorema de Sa!!+eri3
Tegendre-
Corol$rio !- M soma das medidas, em graus, de dois nguos de um tringuo ' menor ou igua 7
medida do nguo externo n#o ad"a!ente a eesDve"a 9igura :-44F-

? .e"a a re(ern!ia !itada no probema 4- M- Kas!+ e ;- Stoz (oram os primeiros a entender o verdadeiro signi(i!ado
do axioma de Mrquimedes- G- .eronese a T- Tevi36ivita desenvoveram a primeira geometria n#o3arquimediana-
G
9igura :-44
A
o
B
o
BCD
o
W natura generaizar o teorema de Sa!!+eri3Tegendre para po*gonos outros que tringuos- Kor
exempo, vamos provar que a soma dos nguos de um quadri&tero ABCD ' no m&ximo >NV
o
-
Oe!orte ZABCD em dois tringuos [ABC e [ADC atrav's de sua diagona AC Dve"a 9igura :-4?F-
Keo teorema de Sa!!+eri3Tegendre,
B
o
BAC
o
ACB
o
4GV
o
e
D
o
DAC
o
ACD
o
4GV
o
-
; teorema :->D>F nos (orne!e as equa<@es
BAC
o
DAC
o
=BAD
o
e
ACB
o
ACD
o
=BCD
o
-
Qsando estas equa<@es, somamos as duas desiguadades para obtermos a desiguadade dese"ada
B
o
D
o
BAD
o
BCD
o
>NV
o
-
9igura :-4?
2n(eizmente, +& uma a!una neste argumento simpes% Kara obter as equa<@es utiizadas a!ima, nCs
assumimos que 6 ' interior a BAD e que M ' interior a BCD , o+ando o diagrama-
Mas, e se o diagrama (or pare!ido !om o da 9igura :-4>B
S
9igura :-4>
)este !aso, as equa<@es n#o estariam !orretas- Kara nos pre!avermos de ta !aso, devemos (azer
uma +ipCtese adi!ionaL devemos assumir que um quadri&tero ' !onvexo$-
De0ini"o. ; quadri&tero ZABCD ' dito !onvexo se ee tem um par de ados opostos, e-g- AB e
CD, tais que CD este"a !ontido em um dos semi3panos determinados por
AB

e AB este"a
!ontido em um dos semi3panos determinados por
CD

-
>

M suposi<#o (eita a!ima ' "usti(i!ada se tomarmos, ini!iamente, um quadri&tero !onvexo- Mssim,
demostramos o seguinte !oro&rio5
Corol$rio %. M soma das medidas, em graus, dos nguos de um quadri&tero !onvexo ' no m&ximo
de >NV
o
-
'ota. ; teorema de Sa!!+eri3Tegendre ' (aso em geometria e*pti!a Dve"a 9igura >-?:F- 0e (ato,
pode ser demonstrado que, em geometria e*pti!a, a soma dos nguos de um tringuo ' sempre
maior que 4GV
o
-
E1uival2ncia entre os postulados da paralela
Krovaremos a equivan!ia entre o quinto postuado de /u!ides e o postuado da paraea de
,ibert- )ote que, no entanto, n#o estamos demonstrando nen+um destes postuadosL estamos t#o
somente demostrando que podemos provar um dees se assumirmos o outro- /nun!iemos primeiro
o quinto postuado de /u!ides Dtodos os termos do enun!iado (oram propriamente de(inidosF-
(ostulado 3 de Euclides- Se duas retas s#o inter!eptadas por uma transversa de ta (orma que a
soma das medidas, em graus, dos dois nguos interiores, tomados num mesmo ado da transversa,
' menor que 4GV
o
, ent#o as duas retas se inter!eptam neste mesmo ado da transversa-
eorema 4.*- Kostuado . de /u!ides Kostuado da paraea de ,ibert-
> Kode ser mostrado que esta !ondi<#o tamb'm vae para o outro par de ados opostos, AD e BC = ve"a exer!*!io ?>
deste !ap*tuo- ; uso da paavra !onvexo$ nesta de(ini<#o n#o !orresponde ao uso (eito no exer!*!io 4S do !ap*tuo
>L um quadri&tero !onvexo n#o ' ne!essariamente um !on"unto !onvexo$ ta !omo de(inido naquee exer!*!io- )o
entanto, podemos de(inir o interior de um quadri&tero !onvexo ZABCD !omo segue5 !ada ado de ZABCD
determina um semi3pano que !ont'm o ado opostoL o interior de ZABCD ' ent#o a interse<#o dos quatro semi3
panos assim determinados- Kode3se provar, ent#o, que o interior de um quadri&tero !onvexo ' um !on"unto
!onvexo Dque ' um dos probemas do exer!*!io ?PF-
4V
Demonstra"o# Mssuma, ini!iamente, o postuado de ,ibert- M situa<#o do postuado . de
/u!ides est& iustrada no 9igura :-4:-
4
o
?
o
4GV
o
D+ipCteseF e
4
o
>
o
=4GV
o
Dnguos supementares, teorema :->DPFF- Kortanto,
?
o
4GV
o
4
o
=>
o
- /xiste uma
Eni!a semi3reta

B1 C1 ta que > e C1 B1 B se"am nguos internos aternos !ongruentes

Daxioma 63:F- Keo teorema :-4,
B1 C1

' paraea a l- 6omo

mB1 C1

, m inter!epta l
Dpostuado de ,ibertF- Kara !on!uir, devemos mostrar que m inter!epta l do mesmo ado de t que
C1- Supon+a, !ontrariamente, que eas se inter!eptem no ponto A, no ado oposto a C1 em rea<#o a
t- /nt#o ? ' um nguo externo de [ABB1- Mas este nguo ' menor que o nguo interno n#o
ad"a!ente > - /ssa !ontradi<#o do teorema :-? prova o postuado . de /u!ides DOMMF-
9igura :-4:
Kor outro ado, supon+a que o postuado . de /u!ides se"a v&ido e re(ira3se 7 9igura :-4P, que
iustra a situa<#o do postuado de ,ibert- Se"a t a perpendi!uar a l por " e m a perpendi!uar a t por
"- Sabemos que ml D!oro&rio 4 do teorema :-4F- Se"a n quaquer outra reta por "- 0evemos
mostrar que n inter!epta l- Se"a 4 o nguo agudo determinado por n e t Dque existe "& que
nm F- /nt#o
4
o
"23
o
SV
o
SV
o
=4GV
o
- Kortanto, a +ipCtese do postuado . de
/u!ides ' satis(eita- Mssim, n inter!epta l, o que prova o postuado de ,ibert-
9igura :-4P
44
6omo o postuado da paraea de ,ibert e o postuado . de /u!ides s#o ogi!amnete equivaentes
no !ontexto da geometria neutra, o teorema :-P nos permite usar estes postuados aternativamente-
.o! demonstrar&, !omo exer!*!io, que as proposi<@es seguintes s#o tamb'm ogi!amente
equivaentes ao postudao da paraea-
:

(roposi"o 4.4. Kostuado da paraea de ,ibert Se uma reta inter!epta uma de duas retas
paraeas, ent#o ea inter!epta a outra-
(roposi"o 4.5. Kostuado da paraea de ,ibert inverso do teorema :-4 Dnguos internos
aternosF-
(roposi"o 4.6. Kostuado da paraea de ,ibert Se t ' transversa a l e m, lm e t l
ent#o t m -
(roposi"o 4.!7. Kostuado da paraea de ,ibert Se 4l , m4 e nl ent#o m5n
ou mn -
M proposi<#o seguinte ' tamb'm ogi!amante equivaente ao postuado da paraea de ,ibert mas,
neste est&gio, sC podemos demonstrar a impi!a<#o em um sC sentido Da outra impi!a<#o ser&
mostrada no !ap*tuo NF-
(roposi"o 4.!!. Kostuado da paraea de ,ibert M soma dos nguos de todo tringuo '
4GV
o
-
8 soma dos ngulos de um tringulo
0e(ine3se a soma dos %ngulos de um tringuo ABC !omo
A
o
B
o
C
o
, que '
um !erto nEmero de graus menor ou igua a 4GV
o
Dpeo teorema de Sa!!+eri3TegendreF- 0e(ine3se o
defeito de um tringuo quaquer !omo sendo 4GV
o
menos a soma de seus nguos- /m geometria
eu!idiana, estamos a!ostumados a n#o ter tringuos de(eituosos$, i-e- estamos a!ostumados !om
o (ato do de(eito ser igua a zero Dproposi<#o :-44F-
; ob"etivo prin!ipa desta se<#o ' mostrar que se existe um tringuo de(eituoso, ent#o todos os
tringuos s#o de(eituosos- ;u, !oo!ado de (orma !ontrapositiva, se a soma dos nguos de um
tringuo ' 4GV
o
, ent#o o mesmo a!onte!e !om todos os outros tringuos- )#o estamos a(irmando
que exista um ta tringuo e nem o !ontr&rioL estamos apenas anaisando a +ipCtese de que um
possa existir-
eorema 4.+. Se"a ABC um tringuo quaquer e D um ponto entre A e B- /nt#o
defeitoABC=defeitoACDdefeitoBCD Daditividade do de(eitoF-
: M transitividade do paraeismo ' tamb'm ogi!amente equivaente ao postuado da paraea-
4?
9igura :-4N
Demonstra"o# 6omo

CD ' interior ao nguo ABC Dproposi<#o >-HF,

ACB
o
=ACD
o
BCD
o
Dpeo teorema :->D>FF- 6omo ADC e BDC s#o
supementares,
4GV
o
=ADC
o
BDC
o
Dpeo teorema :->DPFF- Kara obter a aditividade do
de(eito, sC temos que es!rever a de(ini<#o de de(eito D 4GV
o
menos a soma dos nguos internosF
para !ada um dos trs tringuos em quest#o e substituir as duas equa<@es a!ima Dexer!*!io 4F-
Corol$rio. Sob as mesmas +ipCteses, a soma dos nguos de ABC ' igua a 4GV
o
se, e
somente se, as somas dos nguos de ACD e de BCD s#o respe!tivamente iguais a 4GV
o
-
Demonstra"o# Se ACD e BCD tm de(eito nuo, ent#o o de(eito de ABC ' nuo
Dteorema :-NF- Kor outro ado, se ABC tem de(eito nuo ent#o, peo teorema :-N,
V=defeitoACDdefeitoBCD - Mas o de(eito de um tringuo n#o pode ser negativo
Dteorema de Sa!!+eri3TegendreF- Kortanto, ACD e BCD tm de(eito nuo Da soma de dois
nEmero n#o negativos ' nua somente se ambos os nEmeros s#o nuosF-
Kor de(ini<#o, um ret%ngulo ' um quadri&tero !u"os quatro nguos s#o retos- Kortanto, a soma dos
nguos de um retnguo ' >NV
o
- /videntemente, ainda n#o sabemos se existem retnguos na
geometria neutra- DTente !onstruir um sem usar o postuado da paraea ou quaquer proposi<#o
equivaente a ee = ve"a exer!*!io 4S-F
; prCximo teorema ' o resutado que pro!uramos- Sua demonstra<#o ser& dada em !in!o passos-
eorema 4.4- Se existe um tringuo !u"a soma dos nguos internos ' 4GV
o
, ent#o existe um
retnguo- Se existe um retnguo ent#o todo tringuo ' ta que a soma de seus nguos internos '
4GV
o
-
Demonstra"o#
D4F 6onstruir um tringuo retnguo !u"a soma dos nguos se"a igua a 4GV
o
-
Se"a ABC um tringuo dado !om de(eito nuo D+ipCteseF- Supon+a que ee n#o se"a um
tringuo retnguo, !aso !ontr&rio a demonstra<#o a!aba- Keo menos dois de seus nguos s#o
agudos, "& que a soma de dois nguos de um tringuo ' menor que 4GV
o
D!oro&rio do teorema
:->F, e-g- A e B s#o agudos- Se"a CD a atura reativa ao v'rti!e C Dque existe pea
proposi<#o >-4NF- M(irmamos que D est& entre A e B- Supon+a o !ontr&rio,e-g- D*A*B-
4>


9igura :-4H
/nt#o, o nguo interno n#o ad"a!ente CDA ' maior que o nguo externo CAB , oque
!ontraria o teorema :-4?- 0e maneira an&oga, se A*B*D, !+egamos a uma !ontradi<#o- Kortanto,
A*D*B Daxioma ;3>F-
9igura :-4G
Segue agora do !oro&rio do teorema :-N que !ada um dos tringuos retnguos ADC e
BDC tem de(eito nuo-
D?F M partir de um tringuo retnguo !om de(eito nuo, !onstruir um retnguo-
Se"a CDB um tringuo retnguo !om de(eito nuo e ta que D se"a reto-
Keo axioma 63:, existe uma Eni!a semi3reta

C6 do ado oposta a D em rea<#o a

CB

ta
que DBCBC6 - Keo axioma 634, existe um Eni!o ponto E sobre

C6 ta que
CEBD -
9igura :-4S
/nt#o CDBBEC DTMTF- Kortanto, BEC ' tamb'm retnguo !om de(eito nuo e
nguo reto no v'rti!e E- M'm disso, !omo
DBC
o
BCD
o
=SV
o
por +ipCtese, obtemos,
atrav's de substitui<#o,
ECB
o
BCD
o
=SV
o
e
DBC
o
EBC
o
=SV
o
- B '
interior a ECD , "& que o teorema dos nguos internos aternos impi!a
CE

DB

e
4:

CD

BE

e 6 ' interior a EBD Dpeo mesmo motivoF- Kortanto, podemos api!ar o teorema
:->D>F para !on!uir que
ECD
o
=SV
o
=EBD
o
- 2sso demonstra que CDBE ' um
retnguo-
D>F M partir de um retnguo, !onstruir retnguos arbitrariamente grandes$-
0e (orma mais pre!isa, dado um tringuo retnguo D# E# C# , !onstruir um retnguo
A,BC ta que ACD# C # e BCE # C# - 2sso pode ser (eito atrav's do axioma de
Mrquimedes- )Cs, simpesmente, "ustapomos$ um nEmero su(i!iente de !Cpias do retnguo
dado para obter o resutado Dve"a 9iguras :-?V e :-?4L vo! pode tornar pre!iso este "ustapor$
!omo exer!*!ioF-
D:F Mostrar que todo tringuo ret%ngulo tem de(eito nuo-
2sso ' (eito por submers#o$ de um tringuo retnguo arbitr&rio D# C# E# num
retnguo, !omo no passo >, e mostrando su!essivamente Dapi!ando3se duas vezes o !oro&rio
do teorema :-NF que ACB , DCB e DCE tm de(eito nuo Dve"a 9igura :-??F-
DPF Se todo tringuo ret%ngulo tem de(eito nuo, ent#o todo tringuo tem de(eito nuo-
9igura :-?V
6omo no passo 4, baixe uma atura para de!ompor um tringuo arbitr&rio em dois
tringuos retnguos D9igura :-4GF e apique o !oro&rio do teorema :-N-
9igura :-?4
4P
9igura :-??
;s +istoriadores atribuem o teorema :-H a Sa!!+eri e Tegendre, mas n#o o nomearemos de a!ordo
!om seus autores para evitar !on(us#o !om o teorema :-:-
Corol$rio. Se existe um tringuo !om de(eito positivo, ent#o todos os tringuos tm de(eito
positivo-
4N