GEOMETRIAS

Universidade de vora
Departamento de Matemtica
Geometrias
(2. edio)
A. J. FRANCO DE OLIVEIRA
2005
A.J. Franco de Oliveira Composto em 5.0.2 Primeira edio: Maro de 2003 Segunda edio: Setembro de 2005 AMS Subject Classification (2000): 51-01
Faam muitas figuras! SNAPPER & TROYER (1989)
Prefcio
Este um curso de iniciao Geometria Euclidiana, mas tratamos essencialmente de geometria plana, numa perspectiva de fundamentao axiomtica. Das axiomticas modernas, h essencialmente duas verses, a de David Hilbert (1899)1 e a de George David Birkhoff (1932). A primeira desenvolve a geometria de um ponto de vista sinttico (sem nmeros), e a segunda de um ponto de vista mtrico (pressupondo os nmeros reais). Este curso baseia-se no segundo ponto de vista, mais recente e comum em manuais tanto para o ensino universitrio como para o pr-universitrio. Em ambas as axiomticas, porm, prevalece a concepo moderna do mtodo axiomtico, no sentido de que os conceitos primitivos bsicos no so definidos, ao contrrio do que acontecia na concepo clssica que predominou at ao sculo XIX (mais precisamente at descoberta das geometrias no-euclidianas nas primeiras dcadas do sculo XIX), a qual remonta aos Elementos de Euclides (c. 300 a. C.). Para informao de natureza histrica recomenda-se a leitura do Cap. 1 do nosso Geometria Euclidiana (Universidade Aberta, 1995). Esta monografia, juntamente com partes seleccionadas de Transformaes Geomtricas (Univ. Aberta, 1997) compreendem praticamente toda a matria do curso (mas algumas notaes foram alteradas, nomeadamente, as notaes para as distncias e para as semi-rectas). A quase totalidade da matria, sob forma um tanto mais concentrada, tambm se pode encontrar no Curso de Geometria de P. V. ARAJO (Gradiva, Segunda edio, 1999) e no recente Fundamentos da Geometria do Professor J. J. DIONSIO (Textos de Matemtica N. 18, Departamento de Matemtica da Faculdade de Cincias de Lisboa). claro que ficam de fora deste curso muitas matrias interessantes e pertinentes, como a teoria elementar da rea, a geometria inversiva, o estudo desenvolvido das transformaes geomtricas, as geometrias hiperblica e esfrica, etc., que remetemos para os itens bibliogrficos acima e a seguir referidos. Em todas as referncias acima mencionadas podem encontrar-se indicaes de outros itens adequados para consulta e leitura suplementar, e no deixamos de recomendar, entre outras, as monografias de BENNETT, BIX, CEDERBERG, COXETER, GREENBERG, HARTSHORNE, MARTIN, MOISE, PEDOE, PERRY,
1 Uma traduo portuguesa de parte da 10. edio alem (s o texto base, Fundamentos da Geometria, de David Hilbert), foi publicada pelo Instituto para a Alta Cultura em 1952. Em segunda edio (Gradiva, 2003), esta traduo foi enriquecida com os dez apndices do autor e suplementos vrios (por P. Bernays, H. Poincar e F. Enriques). Recomendamos vivamente a consulta desta obra, um texto clssico da maior importncia e uma das pedras basilares da geometria no sculo XX.
iii
ROE, SMART e SMITH (v. Bibliografia final). Recomenda-se tambm a consulta do site http://sunsite.ubc.ca/digitalMathArchive/Euclid/bookl.html. Os exerccios fazem parte integrante do curso, e muitos deles contm definies e resultados utilizados mais adiante. Alguns, assinalados com *, so opcionais, ou pelo grau de dificuldade, ou por sarem fora do mbito do curso, nos conhecimentos requeridos, mas, em todo o caso, podem ser omitidos sem quebra de continuidade. Um curso minimal dever cobrir os primeiros nove captulos. O Apndice final tambm pode servir de introduo geometria da incidncia, e recomenda-se a leitura prvia das primeiras seces, mesmo que no se prossiga no seu estudo pormenorizado logo de incio. Agradeo Prof. Doutora Isabel Arajo a transposio das notas manuscritas do curso (anos lectivos de 1999 a 2002) para um processador de texto, e o desenho de todas as figuras, at ao captulo 8, inclusive, o que constituu a base sine qua non da presente verso. Os erros e/ou gralhas que permanecem so, naturalmente, da minha responsabilidade. Aqueles erros ou gralhas que foram descobertos na primeira edio, esto corrigidos na segunda.
A.J.F.O.
Setembro de 2005.
iv
NDICE
Prefcio........................................................................ iii 1. 2. 3. 4. 5. 6. 7. 8. 9. Incidncia e distncia.................................................... 7 Convexidade e separao............................................ 22 Medio de ngulos.....................................................28 Congruncia de tringulos...........................................36 Desigualdades geomtricas......................................... 46 Paralelismo.................................................................. 52 Semelhana de tringulos............................................ 55 Os restantes axiomas (geometria do espao)............... 65 Circunferncias............................................................68
10. Arcos de circunferncia...............................................81 11. Construes com rgua e compasso............................ 89 12. Isometrias, reflexes e simetrias................................101
Apndice
A. Uma introduo s geometrias finitas....................... 115 Lista dos axiomas (Geometria Euclidiana)................127 Lista das notaes principais..................................... 129 Bibliografia................................................................131
Galeria de notveis
Euclides de Alexandria c. 325-275 a.C
Arquimedes de Siracusa 287-212 a.C
David Hilbert 1872-1943
George David Birkoff 1884-1944
O alfabeto grego
A! B" ># ?$ E %, & Z' alfa beta gama delta epsilon zeta H ( eta @ ) teta I+ iota K , kappa A- lambda M . mi N/ B0 Oo C1 P3 D5 ni csi omicron pi r sigma T7 E8 F 9, : X; G< H= tau psilon fi qui psi omega
vi
Captulo 1
Incidncia e distncia
Tomamos como primitivos os conceitos de ponto e linha (primitivos no sentido: no definidos). Chamamos plano ao conjunto dos pontos, e designamo-lo por X . Usualmente designamos os pontos por letras maisculas E, F , G , , T , U, e as linhas por letras minsculas <, =, >, , j, . Admitimos que cada linha um conjunto de pontos. Escrevemos T j ou j T para exprimirmos que o ponto T pertence linha j, e dizemos sinonimamente: j passa por T , T incide com j, j incide com T , ou j contm T ; T j, ou j T significa a negao de T j. Se E, F , G , j, para alguma linha j, y dizemos que os pontos E, F , G , so colineares. Os pontos de um plano X podem ser objectos de natureza qualquer. Apenas exigimos, para comear, que os pontos e as linhas de um plano X tenham as propriedades seguintes, chamadas os axiomas (da incidncia plana): AXIOMAS DA INCIDNCIA PLANA A" . Por cada dois pontos (distintos) passa uma e uma s linha. A# . Cada linha contm, pelo menos, dois pontos (distintos).2 A$ . Existem, pelo menos, trs pontos no colineares. Definio Duas linhas (distintas) dizem-se concorrentes sse3 tiverem algum ponto comum (necessariamente nico, por A" ) e estritamente paralelas sse no tiverem nenhum ponto comum. Cabe aqui dizer que as linhas <, = se dizem paralelas sse < = ou < = g, e escreve-se < =.4 Utilizmos intencionalmente o termo linha e no o termo recta ou linha recta. A opo mais do foro psicolgico do que do foro tcnico: no h ainda
Dois, trs, j quer implicar, ordinariamente, a distino entre os objectos. A insero do termo redundante distintos, entre parenteses, serve apenas para recordar o facto. Todavia, a lngua prega, por vezes, partidas, como ao citar a famosa noo comum de Euclides, segundo a qual duas coisas iguais a uma terceira so iguais entre si (e, portanto, afinal de contas, no eram duas, mas uma s). 3 Abreviatura de se e s se, ou de se e somente se, simbolicamente expresso pelo smbolo (bicondicional). 4 Na geometria slida, Cap. 8, exige-se tambm outra condio para o paralelismo estrito: que < e = sejam complanares, isto , que estejam ambas contidas num mesmo plano.
2
GEOMETRIAS
nenhuma razo para supor que os objectos a que chamamos linhas correspondem s rectas da geometria intuitiva elementar. Pois tudo quanto sabemos sobre as nossas linhas o que dito nos axiomas (e no exerccio 1.1). Pode at acontecer, por exemplo, que as linhas sejam finitas, como mostram os seguintes exemplos de modelos dos axiomas planos concretos, particulares, que satisfazem os axiomas. 1.1 Exemplos 1) Modelo dos trs pontos: X " # $; linhas: os conjuntos " #, " $, # $. Diagrama esquemtico:
Fig. 1 2) Modelo dos quatro pontos: X " # $ %; linhas: os conjuntos " #, " $, " %, # $, # %, $ %. Diagrama:
Fig. 2 Note que, neste modelo, a linha " $ paralela linha # %.5 3) Modelo dos cinco pontos: X E F G H I; linhas: conforme diagrama (cada linha formada por dois pontos). Neste modelo tem-se, por exemplo, I G E F, e I H E F.
Fig. 3 Num plano X , se E F , a nica linha que passa por E e por F denota-se por op EF . Para que as linhas de um plano X se paream mais com as linhas rectas da
No se deve ver mais, no diagrama, do que intencionalmente se pretende seja visto: as linhas deste plano so os pares no-ordenados de pontos, e no os traos visveis no diagrama.
5
1. Incidncia e distncia
geometria euclidiana elementar, vamos admitir mais alguns axiomas. Tais axiomas so realmente muito fortes, pois impem desde logo uma estrutura (mtrica) nas linhas correspondente6 dos nmeros reais. A ideia poder medir as distncias entre os pontos de uma dada linha utilizando coordenadas (lineares) desses pontos, coordenadas essas que so nmeros reais. Para comear, vamos juntar lista de conceitos primitivos o conceito de mtrica ou distncia, que uma funo . X X . Para quaisquer pontos T e U, a distncia de T a U designa-se por .T U, ou simplesmente por lT Ul, para abreviar: lT Ul .T U. O axioma que rege este novo conceito o seguinte. AXIOMA DA DISTNCIA (OU DA MEDIO LINEAR) A% . Para cada linha j de um plano X existe, pelo menos, uma bijeco 0 j tal que para quaisquer pontos T , U j, .T U lT Ul l0 T 0 Ul. A uma funo 0 j com a propriedade expressa no axioma anterior chama-se um sistema de coordenadas (lineares) (abreviadamente, um s.c.) para j.7 O nmero real 0 T a coordenada do ponto T (segundo o s.c. 0 ). Do axioma A% resultam as propriedades seguintes: 12 Teorema D" . Para quaisquer pontos T , U X , lT Ul ! (no-negatividade). D# . Para quaisquer pontos T , U X , lT Ul ! sse T U (anulamento). D$ . Para quaisquer pontos T , U X , lT Ul lUT l (simetria). Dem. Sejam T , U X , e seja j uma linha passando por T e U (se T U, op op tome-se j T U , e se T U tome-se j T V onde V outro ponto qualquer, distinto de T e de U, que tem de existir por A$ ). Seja ainda 0 j um s.c. para j. claro que lT Ul l0 T 0 Ul ! (pois, para qualquer B , lBl !), o que prova D" ; e que lT Ul ! sse l0 T 0 Ul ! sse 0 T 0 U sse T U (porque 0 injectiva), o que prova D# ; finalmente, tem-se
Isomorfa o termo tcnico a utilizar nestas ocasies. Escrevemos habitualmente 0 T em vez de 0 T , para abreviar, e analogamente para outras funes ou argumentos. Recorde-se que uma funo ou aplicao 0 de um conjunto A para um conjunto B (escreve-se 0 A B) se diz bijectiva ou uma bijeco sse (i) 0 injectiva, isto , elementos diferentes de A tm imagens diferentes em B por meio de 0 , em smbolos: aB A aC B B C 0 B 0 C, ou, equivalentemente, aB A aC B 0 B 0 C B C; e (ii) 0 sobrejectiva, isto , todo o elemento de B imagem (ou valor), por 0 , de algum elemento de A, em smbolos: aD B bB A 0 B D. Se X A, 0 X 0 B B X o conjunto transformado de X por 0 ; se Y B, 0 o Y B A 0 B Y a pr-imagem de Y por 0 . Se 0 A B, claro que 0 sobrejectiva sse 0 A B; e, se 0 bijectiva, existe a funo inversa de 0 , 0 " B A, tal que para quaisquer B A e C B se tem 0 B C sse 0 " C B.
6 7
10 lT Ul l0 T 0 Ul |0 U 0 T | lUT l, o que prova D$ .
GEOMETRIAS
Em Anlise Matemtica, e em Topologia, normalmente s se utiliza o termo mtrica ou distncia quando, alm das propriedades D" -D$ , vale tambm a propriedade seguinte: D% . Desigualdade triangular (lata): Para quaisquer pontos T , U, V X , lT Vl lT Ul lUVl. No podemos, ainda, demonstrar esta propriedade no caso geral, em que T , U, V podem no ser colineares. No caso de T , U, V serem colineares, digamos T , U, V j, e sendo 0 j um s.c. para j, tem-se lT Vl l0 T 0 Vl l0 T 0 U 0 U 0 Vl l0 T 0 Ul l0 U 0 Vl lT Ul lUVl. A propriedade D% , no caso geral, s ser demonstrada mais adiante (Cap. 5) e, por isso, no ser utilizada at l. O axioma da distncia tambm chamado, por razes bvias, axioma da rgua graduada, pois tudo se passa como se pudessemos encostar a cada linha j uma rgua graduada pelos nmeros reais e, assim, medir as distncias entre pontos atravs das distncias (em ) das coordenadas correspondentes.
Fig. 4 Da existncia de um s.c. 0 j resulta logo que cada linha j um conjunto infinito (no-numervel) de pontos, de modo que os modelos finitos apresentados na pg. 8 j no so modelos do axioma A% . Doravante, chamamos linhas rectas, ou simplesmente rectas s linhas de um plano X que satisfaa os axiomas admitidos at aqui. Supondo fixado um s.c. 0 para j, ao ponto T! de j com coordenada 0 T! ! costume chamar origem do s.c. Observe-se, por outro lado, que os sistemas de coordenadas no so nicos e, portanto, o ponto a que chamamos origem para um dado s.c. pode no ser a origem para outro s.c. De facto se 0 j um s.c. para j, ento a funo 1 j definida por 1T 0 T (abreviadamente, 1 0 ) tambm um s.c. para j (com a mesma origem) mas,
1. Incidncia e distncia para cada constante real - !, a funo 2 j definida por 2T 0 T -,
11
(abreviadamente, 2 0 - ) um s.c. para j com origem diferente (exerccios) da de 0 . 1.3 Teorema (Colocao da rgua) Dados dois pontos distintos T! , T" de j, existe um e um s s.c. 0 para j com origem T! tal que 0 T" !.
Fig. 5 Dem. Seja 1 j um s.c., e ponhamos - 1T! . Definimos 0 j pondo 0T 1T - 1T se 1T" se 1T" - .
fcil concluir que 0 um s.c. para j tal que 0 T! ! e 0 T" !. Resta ver que 0 o nico s.c. nestas condies. Suponhamos que tambm 2 j um s.c. para j tal que 2T! ! e 2T" !, com vista a provar que 0 2, ou seja, equivalentemente, que 0 2" id . Designemos por J a funo composta, 0 2" , de em . Note-se que J tem as propriedades seguintes: (i) J ! !: pois J ! 0 2 " ! 0 2 " ! 0 T! !; (ii) para quaisquer B, C , lJ B J Cl lB Cl: pois, por 0 e 2 serem ambos s.c.s, lJ B J Cl l0 2" B 0 2 " Cl .2 " B 2 " C l22 " B 22 "Cl lB Cl; (iii) existe B" ! tal que J B" !: por exemplo, B" 2T" , pois J B" 0 2" 2T" 0 T" !. Fazendo C ! em (ii), tem-se lJ Bl lBl para todo B , isto , J B B ou J B B, para todo B ; com B" ! tal que J B" !, como em (iii), tem-se J B" B" , e tem de ser, como se v de seguida, J B B para todo B: se fosse J B! B! para algum B! !, viria lJ B" J B! l lB" B! l lB" B! l, contra (ii). Portanto, J id . Um s.c. 0 para j induz naturalmente uma orientao em j: dizemos que T est direita de U (ou que U est esquerda de T ) sse 0 T 0 U. Cada recta tem exactamente duas orientaes; os s.c. da forma 1 0 - (- uma constante real) induzem a mesma orientao que 0 , e os da forma 2 - 0 induzem a orientao
12
GEOMETRIAS
oposta induzida por 0 . Para determinar uma orientao em j basta fixar um par de pontos, digamos T! T" , com T! T" , sendo a orientao em j dada pelo s.c. do Teorema de colocao da rgua 1.3 (0 T! !, 0 T" !), que se chama a orientao de T! para T" ; a sua oposta a orientao de T" para T! . Fixada uma orientao para j, , por vezes, conveniente considerar distncias orientadas em j. Se 0 um s.c. compatvel com a orientao fixada, isto , tal que T est esquerda de U sse 0 T 0 U, a distncia orientada com sinal positivo de T a U T U 0 U 0 T , enquanto a distncia orientada com sinal negativo de T a U UT T U 0 T 0 U.
Fig. 6 Utilizando s.c.s, possvel dar definies de diversos conceitos geomtricos como os de segmento, semi-recta, etc. Definio Dados os pontos T , U distintos, o segmento com extremos T e U o conjunto T U \ j 0 T 0 \ 0 U, op onde j T U e 0 um s.c. para j tal que 0 T 0 U. O interior do segmento T U o conjunto intT U \ j 0 T 0 \ 0 U, onde j e 0 so como acima. O comprimento do segmento T U a distncia lT Ul. op O segmento T U, assim definido, parece depender do s.c. 0 para T U que se considere. Vamos ver que ele s depende, na realidade, da mtrica . . Dizemos que o ponto F est (situado) entre os pontos E e G , e escreve-se EF G , sse E, F , G so distintos e colineares, e lEGl lEFl lFGl.8 Esta noo geomtrica de estar entre corresponde, nos nmeros reais, relao ternria estar entre definida do seguinte modo: C est entre B e C, e escreve-se BCD , sse B C D ou D C B. 1.4 Teorema Se T U, ento T U T U \ X T \ U. op Dem. Trata-se de provar que, dada 0 T U tal que 0 T 0 U, os op conjuntos \ T U 0 T 0 \ 0 U e T U \ X T \ U tm os
Chama-se a ateno para as duas condies distintos e colineares na definio; mais adiante se compreender a necessidade destas condies.
13
mesmos elementos. claro que T , U so elementos de ambos os conjuntos, de modo que s falta considerar os pontos \ X tais que \ T e \ U. Para um tal \ do primeiro conjunto, tem-se 0 T 0 \ 0 U logo lT Ul l0 T 0 Ul 0 U 0 T 0 U 0 \ 0 \ 0 T l0 U 0 \l l0 \ 0 T l lU\l l\T l lT \l l\Ul,
e, portanto, \ pertence ao segundo conjunto.
op Reciprocamente, se T \ U, ento \ T U e lT Ul lT \l l\Ul, donde l0 T 0 Ul l0 T 0 \ | l0 \ 0 Ul.
Ponhamos : 0 T , ; 0 U, B 0 \ , de modo que l: ;l l: Bl lB ;l. Daqui conclui-se que s pode ser : B ; , pois os casos B : e B ; so impossveis. De facto, se fosse, por exemplo, B :, viria l: Bl lB ;l : B ; B ; :, donde #: B !, e : B. 1.5 Corolrio T U UT . Dem. Exerccio. Definio Os segmentos EF e GH dizem-se congruentes, e escreve-se EF GH, sse lEFl lGHl, isto , sse tm o mesmo comprimento.
Fig. 7 Definio O ponto mdio do segmento EF o ponto Q EF tal que lEQ l lQ Fl.
Fig. 8 claro, pelo Teorema 1.4, que se Q o ponto mdio de EF , ento EQ F , op e fcil ver (exerccio) que se 0 EF um s.c. tal que 0 E 0 F , ento 0Q 0E 0F . #
14
GEOMETRIAS
Definio Se T U, a semi-recta com origem T que contm U o conjunto T U T U \ T U\.
Fig. 9 op Fixada uma orientao para j T U tal que U est direita de T (digamos por meio de 0 j tal que 0 T 0 U), a semi-recta T U formada por todos os pontos de j direita de T , incluindo o prprio T , e pode ser caracterizada como sendo o conjunto T U \ j 0 \ 0 T . Com a mesma origem T h outra op semi-recta contida em j T U , que constituda por T e todos os pontos esquerda de T , e que chamada a semi-recta oposta a T U . Se Uw tal que Uw T U, ento a semi-recta oposta a T U opT U T Uw \ j 0 \ 0 T \ j \ T U T . Se E, F , G so distintos e no colineares, o ngulo geomtrico com vrtice F e lados FE e FG (fig. 10) o conjunto de pontos nEFG FE FG .
Fig. 10
Fig. 11
Note-se que nEFG nGFE mas, por exemplo, nEFG nFEG . H outras definies possveis de ngulo geomtrico, mas esta a mais simples e econmica, pois s depende da noo de semi-recta. Note-se, por outro lado, que fica excluda da definio o caso em que as semi-rectas FE e FG so coincidentes (ngulo nulo) ou opostas (ngulo raso). Estes casos sero considerados na definio de ngulo orientado, de que no necessitamos neste
15
curso. Entretanto, a definio dada a mais conveniente do ponto de vista geomtrico.9 Dados E, F , G no colineares, o tringulo com vrtices E, F , G e lados EF , EG , e FG (fig. 11) o conjunto de pontos EFG EF FG EG . Os ngulos do EFG so os ngulos geomtricos nEFG , nFEG e nEGF. Resulta logo desta definio que EFG FEG EGF GEF FGE GFE. 1.6 O plano cartesiano real Ainda no demos nenhum exemplo de um modelo dos axiomas A" , A# , A$ e A% . Um tal modelo necessariamente infinito, como j se disse (por causa de A% ). O modelo mais importante (mas no o nico) o chamado plano cartesiano real, em que o conjunto de pontos a potncia cartesiana X # B C B e C , e as linhas rectas deste plano so os conjuntos de pontos da forma B C # +B ,C - !, com +, ,, - , + e , no ambos nulos. O conjunto das linhas rectas deste plano designa-se por _E .
Fig. 12 Este plano conhecido da geometria analtica elementar, mas um bom exerccio verificar que os axiomas A" , A# , A$ e A% so satisfeitos nele.
9
Um ngulo orientado ou dirigido um par ordenado de semi-rectas com origem comum.

Se 2 e 5 so semirectas com origem comum, ento o ngulo orientado, de 2 para 5 , o par ordenado 2 5 . Se 2 5 obtemos o ngulo nulo, e se 2 e 5 so semi-rectas opostas obtemos o ngulo raso.
16
GEOMETRIAS
Verificao de A" : dados T B" C" , U B# C# distintos (isto , B" B# ou C" C# , trata-se de verificar que por T e U passa uma nica linha recta. Recorde-se que as equaes +B ,C - ! e 5+B 5,C 5- !, com 5 !, tm as mesmas solues (so equaes equivalentes), pelo que basta determinar +, ,, - com +, , no ambos nulos, a menos de uma constante multiplicativa diferente de zero. Pensemos no sistema em +, ,, +B" ,C" - ! +B ,C - !. # # Subtraindo membro a membro vem +B" B# ,C" C# !. Se for B" B# , fica ,C" C# !, e como C" C# , vem , !. Da primeira equao vem +B" - !, - +B" . Pondo + " ficamos com a equao da recta B B" . Se for B" B# vem + ,C" C# ,C" C# , - ,C" B" , B" B # B" B #
e pondo , ", substituindo em +B ,C - ! e simplificando vem C# C" B B" B# C B# C" B" C# !, que uma equao da recta pretendida. Esta equao (com B" B# ) tambm se pode escrever na forma reduzida C 7B ,, onde C# C " 7 B# B " o declive da recta, e , B " C# B # C " B# B "
a ordenada do ponto onde a recta corta o eixo dos C). Verificao de A# e de A$ : exerccios. Verificao de A% : precisamos, em primeiro lugar, de uma funo distncia. Uma possibilidade (mas no a nica!) a conhecida distncia euclidiana .E # # , definida por .E T U B" B# # C" C# # ,
onde T B" C" , U B# C# . Como se sabe, esta funo tem as propriedades D" -D% , mas o que temos que verificar que cada linha recta possui um sistema de coordenadas. Vamos distinguir dois casos:
17
(i) rectas verticais, que so definidas por equaes da forma B - . Tome-se como s.c., neste caso, a funo 0 j definida por 0 - C C. claro que para T , U j, lT Ul .E T U C" C# # |C" C# | l0 T 0 Ul,
e 0 bijectiva (exerccio).
Fig. 13 (ii) rectas oblquas, de equao da forma C 7B ,. Como ter de ser .E T U lT Ul l0 T 0 Ul para quaisquer T B" C" , U B# C# j, isto , com C" 7B" , e C# 7B# , , donde C" C# 7B" B# , ter de ser .E T U lT Ul B" B# # C" C# # B" B# # 7# B" B# # " 7# |B" B# |,
o que sugere que se tome para s.c. a funo 0 j definida por 0 B C 0 B 7B , ) " 7# B,
que bijectiva (exerccio). Em concluso, o plano cartesiano # , com as linhas rectas ordinrias e a distncia euclidiana usual um modelo dos axiomas admitidos at ao momento presente.10
Exerccios e complementos
1.1. Demonstre as seguintes consequncias simples dos axiomas A" -A$ : (a) Para cada linha j de um plano X existe, pelo menos, um ponto que no incide com j.
Tambm se poderia chamar plano euclidiano a # _E .E ). Em lgebra Linear, d-se este nome estrutura vectorial do plano cartesiano real com o produto interno usual, a partir do qual podemos definir tanto a distncia euclidiana .E como a medio angular 7E (v. captulo seguinte).
10
18
GEOMETRIAS (b) Para cada ponto T de um plano X existe, pelo menos, uma linha de X que no passa por T . (c) Por cada ponto T de um plano X passam, pelo menos, duas linhas distintas. (d) Existem, pelo menos, trs linhas no concorrentes (num mesmo ponto).
1.2.
Um modelo dos axiomas A" -A$ chama-se um plano de incidncia. Os planos de incidncia X" e X# dizem-se isomorfos sse existe uma bijeco : X" X# tal que para quaisquer pontos E, F , G de X" , E, F , G so colineares sse :E, :F , :G so colineares. Uma tal funo : chama-se um isomorfismo ou uma colineao dos planos de incidncia X" e X# , e escreve-se : X" z X# . Sendo : X" z X# , prove que (a) Se j uma linha de X" , ento o conjunto transformado :j :T T j uma linha de X# , que doravante se designar por :j. (b) j" , j# so linhas concorrentes de X" sse :j" , :j# so linhas concorrentes de X# . (c) H tantas linhas passando por T X" , como h linhas de X# passando por :T .
1.3.
As figuras seguintes exibem graficamente planos de incidncia finitos. Identifique os pares de planos de incidncia isomorfos.
Fig. 14 1.4. D um exemplo de um modelo finito de A" e A# que no satisfaz o axioma A$ , mostrando assim que A$ independente de A" e A# . Mostre tambm, com modelos finitos apropriados, que A# independente de A" e A$ , e que A" independente de A# e A$ . Um plano de incidncia X diz-se afim se satisfizer o seguinte AXIOMA AFIM DE PARALELISMO Para toda a linha j e todo o ponto T j existe uma nica linha jw tal que jw j e jw passa por T . (a) Quais dos planos do exerccio 1.3. so afins? (b) Prove que o plano cartesiano real afim. (c) Mostre que se : X" z X# e um dos planos afim, ento o outro tambm o .
1.5.
1. Incidncia e distncia 1.6.
19
O semiplano de Poincar o plano seguinte: os pontos so os pontos ordinrios de # com ordenada positiva, X B C # C 0 e as linhas podem ser de dois tipos: Tipo I: so as interseces com X de linhas rectas verticais ordinrias, isto , conjuntos da forma B C # B - e C !, com - ; Tipo II: so as interseces com X de circuferncias ordinrias de # com centro sobre o eixo dos BB, isto , conjuntos da forma B C # B +# C # <# e C !, com + e < positivo.
J 31 15 (a) Mostre que o semiplano de Poincar modelo dos axiomas de incidncia, mas no plano afim. Neste plano vlido o AXIOMA HIPRBLICO DE PARALELISMO Para toda a linha j e todo o ponto T j, existem, pelo menos, duas paralelas a j passando por T .11 (b) Determine a nica linha que passa pelos pontos T " # e U $ ", e indique duas paralelas a essa linha. 1.7. O plano do 1. quadrante tem, como pontos, os pontos ordinrios de # do primeiro quadrante, eixos excludos, isto , pontos B C com B ! e C !, e, como linhas, as interseces no vazias de linhas rectas ordinrias de # com o 1. quadrante. Verifique que se trata de um modelo dos axiomas de incidncia que satisfaz tambm o axioma hiperblico de paralelismo. [Verificao puramente geomtrica, sem fazer contas.]
Pode-se definir no semiplano de Poincar uma mtrica que faz dele um modelo de A" A% , mas no vamos desenvolver esta questo neste curso. A geometria deste plano chamada hiperblica, mas devemos observar que o semiplano de Poincar no o nico modelo da geometria hiperblica plana.
11
20
GEOMETRIAS
Fig. 16 1.8. O plano das cbicas tem como pontos os pontos ordinrios de # , e linhas de dois tipos: Tipo I: so as linhas rectas verticais ordinrias de # ; Tipo II: so os conjuntos-soluo de equaes da forma C +B ,$ , com +, , (incluindo o caso degenerado + !, o que d uma linha recta horizontal ordinria de # ). (a) Verifique que se trata de um modelo dos axiomas de incidncia. (b) Este modelo afim? hiperblico? O plano de Moulton tem como pontos os pontos ordinrios de # , e linhas de dois tipos: Tipo I: so as linhas rectas ordinrias de # verticais (equao da forma B +) ou com declive no positivo (equao da forma C 7B , com 7 !); Tipo II: so as linhas descritas por um sistema da forma C 7B , C 7B , # se B ! se B !.
1.9.
Fig 17 (a) Determine a nica linha (de tipo II) que passa pelos pontos T # ", U # $.
21
(b) Verifique que se trata de um modelo dos axiomas de incidncia, que afim. (c) Verifique que cada linha possui um sistema de coordenadas, onde a funo distncia .M definida do seguinte modo: .M T U .E T V .E V U . T U E se T e U tm abcissas nulas ou do mesmo sinal, ou uma nula e outra no nula; se T e U tm abcissas de sinal contrrio, op onde V o nico ponto em que T U corta o eixo das ordenadas.12
(d) Calcule .E T U e .M T U, com T " ", U " ", e mostre que a desigualdade triangular D% no verdadeira no plano de Moulton. 1.10. No plano cartesiano real com a mtrica euclidiana, dada a recta j de equao C #B ", determine: (a) um s.c. 0 para j; (b) 0 E, onde E # $; (c) o ponto G j tal que 0 G #&; (d) .E E G de duas maneiras diferentes, uma utilizando a definio de .E e outra utilizando 0 ; (e) Um s.c. 2 para j tal que 2E !, 2G !. Supondo que X . um modelo dos axiomas A" -A% , 5 ! uma constante real, e . w X X definida por . w T U 5.T U, mostre que: (a) . w tem as propriedades D" -D$ ; (b) . w tem a propriedade D% sse . tem a propriedade D% .13 1.12. Mostre, utilizando um s.c. 0 para j, que para quaisquer pontos distintos E, F , G j se tem EF G sse 0 E0 F 0 G .
1.11.
Para distinguir a linha de tipo II que passa por T e U da linha recta ordinria de # que op passa por aqueles pontos pode-se utilizar a notao T UQ para a primeira. Quando no se utiliza esta notao, todavia, basta ter em conta o contexto para saber qual dos casos se est a considerar. 13 A constante 5 representa uma mudana de escala.
12
Captulo 2
Convexidade e separao
Um conjunto de pontos f X diz-se convexo sse qualquer segmento cujos extremos esto em f est contido em f : aT , U f T U T U f .
Fig. 18 O conjunto vazio convexo, as rectas, os segmentos, as semi-rectas e o plano todo so convexos, mas o ngulos e os tringulos no so convexos. A demonstrao do resultado seguinte um exerccio simples. 2.1 Lema A interseco (arbitrria) de conjuntos convexos convexa.14 O axioma seguinte fundamental para estabelecer a convexidade de muitos conjuntos. Ele intuitivamente verdadeiro no plano cartesiano real, mas verificar que assim , de facto, bastante trabalhoso e no iremos faz-lo (por enquanto). AXIOMA DE SEPARAO NO PLANO A& . Para toda a recta j, o conjunto dos pontos de um plano X que no pertencem a j a reunio de dois conjuntos convexos, no vazios e disjuntos, tais que, para quaisquer pontos T , U j, T est num neles e U est no outro sse T U corta j. Dada j, os dois conjuntos convexos a que se refere este enunciado, e que obviamente dependem de j, so chamados semiplanos limitados por j.
Simbolicamente: se M g e f3 3 M uma famlia de conjuntos convexos, ento +3M f3 convexo.
14
22
23
Fig. 19 Dois pontos que esto num mesmo semiplano limitado por j dizem-se do mesmo lado de j, e dois pontos em semiplanos distintos limitados por j dizem-se em lados opostos de j. claro que se T e U (T U) esto num mesmo lado de j, ento T U est todo contido nesse mesmo lado ou semiplano, por convexidade e, portanto, T U no corta j. O resultado seguinte tem uma aparncia trivial, mas tem uma grande importncia nos fundamentos da Geometria, que escapou aos matemticos e gemetras durante sculos. conhecido por Axioma de Pasch (1880) mas, na realidade, equivalente ao axioma A& . Primeiro, um resultado preliminar. 2.2 Lema Se uma recta j no passar por nenhum vrtice do EFG , ento j no pode intersectar os trs lados do tringulo (quer dizer, intersecta, quando muito, dois lados). Dem. Supondo que j intersecta EF e EG , temos de mostrar que no intersecta FG . Como j corta EF mas no passa por E nem por F, E e F esto em lados opostos de j; analogamente, E e G esto em lados opostos de j, logo F e G esto do mesmo lado de j (o lado oposto ao de E), logo FG est contido nesse lado (por convexidade) e, portanto, no corta j.
Fig. 20
2.3 Teorema de Pasch Qualquer recta que intersecte um tringulo num ponto interior a um lado intersecta, pelo menos, um dos outros lados. Dem. Suponhamos que j corta EF num ponto entre E e F , de modo que E e F esto em lados opostos de j.
24
GEOMETRIAS
Fig. 21 Se j passa por G nada mais h a fazer. Se no, ou G est do mesmo lado de E, logo no lado oposto ao de F (e FG corta j), ou G est do mesmo lado de F , logo, do lado oposto ao de E (e EG corta j). Vamos agora definir o interior de um ngulo, digamos nEFG . Como op op G FE, o ponto G est num dos semiplanos limitados por FE, digamos [" , bem como todos os outros pontos de FG excepto F , o que quer dizer que [" no depende do ponto G escolhido em FG . Chamando [# ao semiplano limitado por op F C que contm E, [# contm todos os pontos de FE excepto F . O interior do ngulo nEFG exactamente o conjunto intnEFG [" [# que, por ser uma interseco de conjuntos convexos, convexo. O interior do tringulo EFG pode agora ser definido como a interseco dos interiores dos seus ngulos ou, mais simplesmente, como a Fig. 22 interseco de trs semiplanos, cada um deles limitado por uma recta contendo um lado e contendo o vrtice oposto a esse lado. Denota-se por int EFG e, claro, tambm um conjunto convexo. Dois resultados simples cujas justificaes so outros dois exerccios: 2.4 Lema Num EFG , cada interior de um lado est contido no interior de um ngulo oposto [por exemplo, intFG intnFEG]. 2.5 Lema Se F HG , ento qualquer ponto entre E e H est no interior do EFG. A terminar esta seco um resultado muito importante que escapou a Euclides ou, pelo menos, que Euclides teria considerado como intuitivamente evidente, sem todavia o ter formulado nem, to- pouco, justificado:
25
2.6 Teorema da Barra Transversal Uma semi-recta com origem no vrtice do nEFG passando por um ponto interior ao ngulo, corta o lado EG num ponto entre os extremos.
Fig. 23 Dem. Seja H intnEFG. Queremos provar que FH corta EG num ponto entre E e G , conforme a figura 23. op Sejam [ e [ os semiplanos limitados por EF , e [ , [ os semiplanos " # " # op limitados por FG , de tal modo que intnEFG [" [ . Seja ainda # op j FH . Os pontos de j, excepto F , esto em [ [ ou em [ [ . " # " # op Seja I EF tal que I F E. Como G [" e I [# , todos os pontos de IG , excepto I e G , esto em [ [ . Daqui resulta que j no corta IG e, # " portanto, I e G esto do mesmo lado de j. Mas E e I esto em lados opostos de j, por definio de I , logo E e G esto em lados opostos de j, isto , j corta EG , necessariamente num ponto de [ [ e, portanto, num ponto de FH . " #
2.1. Se nenhuns trs de entre os pontos E, F, G , H so colineares, e quaisquer dois segmentos EF , FG , GH e HE tm, quando muito, um extremo comum, ento a figura EFG H EF FG GH HE,
Fig. 24 chama-se quadriltero com vrtices E, F , G e H, lados EF , FG , GH e HE, diagonais EG e FH, e ngulos nFEH, nEHG , nFGH e nEFG .
26
GEOMETRIAS EF e GH so lados opostos, tal como EH e FG . Dois lados com um vrtice comum dizem-se adjacentes. Um quadriltero diz-se um quadriltero convexo sse cada lado est contido num semiplano limitado pelo lado oposto.15 Prove que as diagonais de um quadriltero convexo cortam-se num ponto. [Sugesto: no quadriltero convexo EFGH, EG corta FH num ponto, digamos T , tal que FT H, pelo teorema da barra transversal, e pela mesma razo FH corta EG em U tal que EUG . Prove que T U.]
2.2.
Mostre que se uma recta tiver um ponto no interior de um tringulo, ento ela corta algum dos lados. [Sugesto: ver a figura seguinte.]
Fig. 25 2.3. O plano da faixa omissa um plano cuja nica finalidade mostrar que o Teorema de Pasch (e o axioma da separao) no so, afinal, to evidentes como se poderia imaginar. Para definir este plano consideremos, em # as rectas verticais de equaes B " e B #. Ento definimos como pontos os elementos do conjunto X B C # B " B #, e como linhas as interseces das linhas rectas ordinrias de # com o conjunto X . Com estas definies de ponto e linha, os axiomas A" -A$ so satisfeitos. Tambm se define de uma maneira natural uma mtrica .! que coincide com .E se os pontos esto ambos do mesmo lado da faixa " B #, e .! T U .E T U .E T! U! , nos outros casos, onde T! U! T U B C " B #. Prova-se sem dificuldade que o axioma A% satisfeito, mas A& no (ver figura 25): j s corta o lado FG , e no divide o plano da faixa omissa em dois semiplanos convexos.
15
Ateno terminologia: a expresso quadriltero convexo pode induzir em erro, pois um quadriltero no um conjunto convexo: quadriltero convexo no significa o mesmo que quadriltero que convexo. A segunda figura (fig. 24 acima) a de um quadriltero que no um quadriltero convexo, mas a razo pela qual no um quadriltero convexo no no ser um conjunto convexo (que realmente no ), mas sim por no ser verdade que cada lado est contido num semiplano limitado pelo lado oposto: por exemplo, o lado EF no est contido em nenhum dos semiplanos limitados pelo lado oposto, GH.
27
Fig. 26 2.4. op Seja [ um semiplano limitado por uma recta j EF . Prove que para qualquer G [, intEG [. Mostre, com um exemplo, que a reunio de dois conjuntos convexos pode no ser um conjunto convexo. Mostre que se EFGH um quadriltero, ento tambm existem e so todos iguais a EFGH os quadrilteros \] ^[ , onde \] ^[ uma permutao circular qualquer de EFGH, e tambm existe HGFE e igual ao primeiro. Prove que um quadriltero um quadriltero convexo sse o vrtice de cada ngulo interior ao ngulo oposto. [No quadriltero EFGH, o nFEH oposto ao nFGH, etc.] Prove, detalhadamente, que um segmento um conjunto convexo. Em que condies que a unio de dois segmentos, EF GH, um conjunto convexo?
2.5.
2.6.
2.7.
2.8.
Captulo 3
Medio de ngulos
Aos conceitos primitivos de ponto, linha e distncia acrescentamos agora um outro, o de medio angular Uma medio angular uma funo 7 T ! ")!, onde T o conjunto dos ngulos geomtricos. Tradicionalmente, h vrias escalas possveis para a medio de ngulos, pois a unidade de medida pode ser estabelecida arbitrariamente. Embora Euclides no utilize medidas de ngulos como nmeros, pode-se todavia afirmar que ele utilizou como unidade o ngulo recto, que ele definiu como sendo um ngulo igual a um seu suplementar adjacente (v. figuras: nFEG suplementar adjacente do nHEG sse HEF ).
Fig. 27 Euclides, nos Elementos, postulou (Postulado IV) que todos os ngulos rectos so iguais, o que tem um significado mais profundo do que aparenta, pois significa, na realidade, que o espao homogneo (isto , que no se deforma de um stio para o outro). Modernamente, o termo iguais, nas utilizaes de Euclides que so pertinentes para o presente contexto, traduzido por congruentes e significa igual medida. Escolhemos para medidas de ngulos (tambm chamadas amplitudes) os nmeros reais do intervalo ! ")!. Tais medidas so normalmente chamadas graus. No clculo infinitesimal preferida a medida em radianos (intervalo ! 1 a converso de graus para radianos faz-se multiplicando por 1")!). Tambm h a medida em grados (intervalo ! #!!), uma medida introduzida durante a Revoluo Francesa, que imps o estabelecimento do sistema mtrico. A nossa funo 7 T ! ")! faz corresponder a cada ngulo geomtrico nEFG um nmero real 7nEFG nEFG do intervalo ! ")! que a medida ou amplitude do ngulo (em graus: os elementos do intervalo ! ")!). Admitiremos os trs axiomas seguintes a respeito da funo 7: 28
1. Incidncia e distncia AXIOMAS DA MEDIO ANGULAR
29
op A' . Sejam E, F pontos distintos, [ um semiplano limitado pela recta EF . Ento, para todo ! ! ")! existe uma nica semi-recta ET , com T [, tal que 7nT EF !.
Fig. 28 A( . Se H intnFEG, ento 7nFEG 7nFEH 7nHEG.
Fig. 29
Fig. 30
A) . Se nEFG e nEFH so suplementares adjacentes (isto , G F H, op E FH ), ento 7nEFG 7nEFH ")!. O axioma A' diz-nos que h tantos ngulos nFET , com T [, como nmeros reais no intervalo ! ")!. Imaginando que ET vai rodando no sentido anti-horrio, mantendo E fixo e T variando em [, a medida vai crescendo, por A( , tomando todos os valores entre ! e ")!. Assim como A% o axioma da rgua graduada, A' o axioma do transferidor. Definio Os ngulos nEFG e nHIJ dizem-se congruentes, e escreve-se nEFG nHIJ , sse tiverem a mesma amplitude, isto 7nEFG 7nHIJ .
Fig. 31
30
GEOMETRIAS
Se dois ngulos suplementares adjacentes forem congruentes, cada um deles diz-se recto. Os ngulos nEFG e nHIJ dizem-se suplementares sse a soma das suas medidas for ")!. Os ngulos nFEG e nHEI dizem-se verticalmente opostos sse cada lado de um deles a semi-recta oposta de um lado do outro. As duas proposies seguintes resultam imediatamente de A) . 3.1 Teorema Os ngulos rectos tm amplitude *! e, portanto, todos os ngulos rectos so congruentes uns aos outros. 3.2 Teorema Os ngulos suplementares a um ngulo dado so aqueles que so congruentes ao suplementar adjacente dele. 3.3 Teorema ngulos verticalmente opostos so congruentes.
Fig. 32 Dem. Na figura 32, nFEG e nHEI so verticalmente opostos, e nFEG suplementar adjacente do nFEH e do nGEI , logo cada um destes mede ")! 7nFEG. Mas nHEI tambm suplementar adjacente de cada um destes. Definio ngulos agudos so os que tm medida menor que *!, obtusos os que tm medida maior que *!. Dois ngulos so complementares (adjacentes) sse a soma das suas medidas *! (e so adjacentes, respectivamente). 3.4 Teorema (Construo de segmentos e de ngulos) (a) Dados um segmento EF e uma semi-recta GH , existe um nico ponto I GH tal que EF GI.16 (b) Dados um nFEG , uma semi-recta HI e um semiplano [ limitado por op HI , existe um nica semi-recta HJ com J [ tal que nJ HI nFEG . (c) Dados os nmeros reais B, ! tais que B ! e ! ! ")!, uma recta op j EF e um semiplano [ limitado por j, existe um nico ponto G [ tal que 7nFEG ! e lEGl B.
16
O instrumento a que corresponde este enunciado um transferidor de segmentos, tambm conhecido dos desenhistas por compasso de pontas.
31
Note-se que a alnea (a) podia ter sido enunciada e demonstrada no captulo anterior. Por outro lado, na alnea (b) apenas se garante a existncia e unicidade da semi-recta HJ e no do prprio ponto J [, a no ser que se exija tambm que HJ EG, o que pode ser feito tendo em conta (a). Finalmente, (c) resulta de combinar (a) e (b). Vamos, por isso, demonstrar apenas as partes (a) e (b). op Dem. (a) Seja 0 um s.c. para GH tal que 0 G ! e 0 H !, de modo que GH \ 0 \ ! (teorema de colocao da rgua, p. 11). Tem-se, ento, para todo o ponto \ GH , l0 G 0 \ | |0 \ | 0 \ lG\l. Ponhamos B lEFl; como 0 bijectiva, existe um nico ponto I GH tal que 0 I B lGIl lEFl, logo GI EF .
Fig. 33 (b) Pondo ! 7nFEG, pelo axioma A' existe uma nica semi-recta HJ , com J [, tal que 7nJ HI !, donde nJ HI nFEG .
. Fig. 34 Uma bissectriz de um ngulo nGEH uma semi-recta EF tal que F intnGEH e nFEG nFEH.
Fig. 35
32
GEOMETRIAS Pelo axioma A' , com ! " 7nGEH, resulta imediatamente o seguinte: # 3.5 Teorema Todo o ngulo possui uma nica bissectriz.
3.6 Perpendicularidade Duas rectas < e = dizem-se perpendiculares, e escreve-se < =, sse forem concorrentes e existir um ngulo recto contido em < = com vrtice no ponto de interseco das duas rectas.
Fig. 36 claro que se < =, ento = <. Nas condies da figura acima, tambm dizemos que a semi-recta SE perpendicular recta < (SE <), perpendicular semi-recta SF (SE SF ), perpendicular ao segmento SF (SE SF ), etc. Demonstramos de seguida a existncia e unicidade de uma perpendicular a uma recta dada <, passando por um ponto dado T <. O caso T < ser considerado mais adiante. 3.7 Teorema (Existncia de perpendiculares, caso particular) Para toda a recta < e todo o ponto T < existe uma nica recta = < passando por T .
Fig. 37
33
Dem. Dados T <, seja E um ponto qualquer de < distinto de T , de modo que op < TE . Existncia: por A' , existe uma nica semi-recta T F , com F num semiplano op op [ limitado por <, tal que 7nET F *!, logo T E T F . Unicidade: suponhamos que > < com > T , com vista a provar que op > = T F . Como > corta < em T , existe G [ tal que G > e nET G recto, isto , 7nET G *!, mas, por unicidade de T F acima, tem de ser op T F T G , donde > T F . 3.8 Um modelo analtico (plano cartesiano real) Os nossos planos (abstractos) so estruturas X _ . 7, onde X o conjunto dos pontos, _ o conjunto das linhas, . uma funo distncia (. X X ) e 7 uma funo de medio angular (7 T ! ")!) satisfazendo os axiomas A" -A) . Na realidade, possvel, utilizando apenas os axiomas A" -A& , contruir uma funo 7 com as propriedades A' -A) , mas isso bastante demorado e trabalhoso, pelo que preferimos admitir 7 como conceito primitivo e assumir estas propriedades como axiomas. Todavia, admitindo um pouco de geometria analtica do plano cartesiano real (# ), nomeadamente, a estrutura de espao vectorial real (de dimenso #) com produto interno, podemos definir uma funo 7 com as propriedades A' -A) . Para a estrutura vectorial de # identificam-se os pontos T B" C" com os vectores ST aplicados na origem S ! !; se T B" C" e U B# C# , a soma vectorial de T e U o vector T U B" B# C" C# , o produto escalar de - por T define-se por -T -B" -B# ; a base cannica constituda por I" " ! e I# ! ", e qualquer vector se exprime como combinao linear de I" e I# : se T B" C" , ento T ST T S B" I" C" I# O produto interno cannico de T B" C" e U B# C# definido por a funo norma m m # associada definida por mT m T l T # B# C" , e a distncia associada a esta norma precisamente a distncia " euclidiana usual .E T U mT Um B" B# # C" C# # . l B l C l mBm mCm,18 t t t t
17
T l U B" B# C" C# ,17
Para definir 7 7E utiliza-se a conhecida desigualdade de Cauchy-Schwarz
Outras notaes que se encontram na literatura para o produto interno dos vectores T e U so: T U , T U. 18 Dem. A desigualdade obviamente verdadeira se um, pelo menos, dos vectores for nulo. Suponhamos, pois, que nenhum dos vectores nulo, e consideremos a funo real de
34
GEOMETRIAS
onde B ST , C SU, donde resulta que, para B e C no nulos, se tem sempre t t t t BlC t t " mBmmCm ", logo existe um nico nmero real ) ! ")! tal que t t cos ) BlC t t . mBm mCm t t
Define-se ento, para quaisquer pontos E, F , G no colineares, 7nEFG arccos E FlG F . mE Fm mG Fm
Se, por exemplo, E " !, F " ", a bissectriz do nESF est contida na recta de equao C " #B, e definida pelas condies SG : C " #B ! B,
donde 7nESG 7nESF ## &. #
Fig. 38
Fig. 39
As rectas tambm podem ser descritas vectorialmente. Para qualquer ponto T e qualquer vector @ !, a recta que passa por T com vector director @ o conjunto t t t de pontos T @ T >@ > , t t quer dizer, um ponto genrico \ \> da recta que passa por T com vector director @ da forma \> T >@ para algum > (fig. 39). t t
t t t t t t varivel real 0 definida por 0 > mB >Cm# B >C l B >C (> ). Pelo teorema t t 3, tem-se 0 > 0 para todo > , sendo 0 > ! sse B >C . Por outro lado, 0 > um t t t t polinmio do 2. grau em >, a saber, 0 > mCm# ># #B C> mBm# , e, como sempre no-negativo, tem quando muito uma raiz real, o que implica que o descriminante no t t t t t t t t positivo: ? #B C# %mCm# mBm# 0, donde B C# mCm# mBm# , ou seja, t t t t t t t t lB Cl mBm mC m. Alm disso, como 0 > ! sse lB Cl mBm mCm, tem-se que t t t t t t lB Cl mBm mCm sse B e C so proporcionais.
1. Incidncia e distncia Daqui obtemos as equaes paramtricas B> B! >+ C> C >,
!
35
(> ),
onde T B! ,C! , @ + ,, e a partir destas, eliminando >, obtm-se uma t equao cartesiana.
3.1. Verdade ou falso? (a) ")! 1;
(b) se 7nEFG 7nGFH, ento FG a bissectriz do nEFH; (c) se a unio de duas rectas (distintas) contm um ngulo recto, ento ela contm 4 ngulos rectos. 3.2. Defina trissectriz de um ngulo e prove que todo o ngulo possui duas trissectrizes. Prove que para quaisquer vectores B, C # , mB Cm mBm mCm. Em t t t t t t que condies se tem a igualdade? Deduza tambm que lmBm mCml t t # mB Cm. [Sugesto: desenvolva mB Cm , e desigualdade de Cauchyt t t t Schwarz.] Chama-se projeco (ortogonal) de B sobre C ! ao vector projC B >C, t t t t t t # onde > B CmCm . Determine as projeces de " # sobre os t t t vectores da base cannica e sobre o vector " ", e o ngulo entre " # e cada um dos outros vectores indicados.
3.3
3.4
Captulo 4
Congruncia de tringulos
J definimos anteriormente a congruncia de segmentos e de ngulos, que significa essencialmente mesma medida. a vez dos tringulos, em que congruncia significar mesmas medidas (de lados e de ngulos). Este assunto dos mais importantes em toda a geometria, j que a resoluo de muitos problemas em geometria elementar passa pela comparao de dois ou mais tringulos, e tambm questes como as de distncia (mais curta) de um ponto a uma recta. A comparao de dois tringulos faz-se sempre atravs de uma correspondncia (bijectiva) entre os vrtices de um e do outro. Para os tringulos EFG e HIJ , um exemplo de uma tal correspondncia (das vrias possveis h, ao todo, seis) E H, F I , G J .19
Fig. 40 Esta correspondncia entre os vrtices induz uma correspondncia entre os lados e os ngulos de um e de outro, nomeadamente, EF HI , FG IJ , EG HJ , e nE nH, nF nI , nG nJ .20 Fixada uma tal correspondncia entre os vrtices, lados e ngulos que se correspondem dizem-se correspondentes ou homlogos.
19 Esta uma maneira rpida e prtica de indicar uma funo bijectiva entre os conjuntos de vrtices, E F G e H I J , dos dois tringulos, respectivamente. 20 Escrevemos simplesmente nE em vez de nFEG , etc., quando no houver possibilidade de confuso.
36
37
Definio Os tringulos EFG e HIJ dizem-se congruentes sse existir uma correspondncia entre os vrtices de um e de outro de tal modo que lados correspondentes so congruentes e ngulos correspondentes so congruentes. Notao No caso (e somente nesse caso!) de a correspondncia ser E H, F I e G J , e, alm disso, EFG e HIJ serem congruentes, escrevemos EFG HIJ .
Fig. 41 Note-se que, por exemplo, EFG HIJ no significa o mesmo que EFG IJ H (aqui, a correspondncia E I , etc.). Assim, ao afirmarmos algo como EFG \] ^ estamos implicitamente a afirmar que a correspondncia E \ , F ] e G ^ (esta, e no outra qualquer) tal que lados correspondentes so congruentes e ngulos correspondentes so congruentes. Admitiremos como axioma o conhecido critrio LAL (lado-ngulo-lado). AXIOMA DA CONGRUNCIA DE TRINGULOS (LAL) A* . Se, nos tringulos EFG e HIJ , a correspondncia E H, F I e G J for tal que EF HI , nE nH e EG HJ , ento EFG HIJ .
Fig. 42 este axioma que vai legitimar a ideia de sobreposio de dois tringulos, que utilizada por Euclides em muitas demonstraes e est tambm na base da ideia de movimento rgido (ou isometria), um conceito muito importante na geometria moderna. Um tringulo issceles se tiver dois lados congruentes (pelo menos); ao terceiro lado costume chamar base do tringulo.
38 4.1 Teorema (Pons asinorum) Num tringulo issceles, os ngulos da base so congruentes. Dem. Supondo EF EG , e atendendo a que nE nE v-se, por A* , que EFG EGF .
GEOMETRIAS
Fig. 43 Nota histrica. Esta demonstrao, muito simples, no a original de Euclides. A demonstrao que se encontra nos Elementos era conhecida na Idade Mdia como um teste capacidade dos estudantes de prosseguirem estudos mais avanados. A forma da figura que acompanhava a demonstrao de Euclides era sugestiva de uma ponte, a que algum humoristicamente chamou ponte dos burros. Deve dizer-se, todavia, que h outras explicaes para aquela designao. Um tringulo equiltero um tringulo com os trs lados congruentes entre si, e um tringulo equingulo um tringulo com os trs ngulos congruentes entre si. 4.2 Corolrio Todo o tringulo equiltero equingulo. 4.3 Teorema (Recproco do pons asinorum) Um tringulo com dois ngulos congruentes issceles.
Fig. 44 Dem. Seja dado o EFG com nF nG . Provamos que EF EG . Supondo, com vista a um absurdo, que no se tem lEFl lEGl, digamos lEFl lEGl (o caso lEFl lEGl anlogo), marcamos em EF um ponto H tal que FH EG , donde nHFG nECF por hiptese, FG GF e FH GE, logo HGF EFG por LAL, logo nHGF nEFG nFGE, contra o axioma A' [pois H intnEGF]. 4.4 Teorema (Critrio ALA) Se nos tringulos EFG e HIJ se tem EF HI , nE nH e nF nI , ento EFG HIJ . Dem. Semelhante de 4.3. Supondo, com vista a um absurdo, que EG HJ , y digamos lEGl lHJ l, marcamos em EG um ponto K tal que EK HJ ; por
39
LAL vem EFK HIJ donde nEFK nHIJ nEFG , contra A( (ou A' ).
Fig. 45 Analogamente, no pode ser lEGl lHJ l. Portanto EG HJ , donde EFG HIJ , novamente por LAL. Definio Um ngulo externo de um tringulo um ngulo suplementar adjacente de um ngulo do tringulo e, relativamente quele, os outros dois ngulos dizem-se internos remotos.
Fig. 46 4.5 Teorema do ngulo externo Todo o ngulo externo de um tringulo maior do que qualquer interno remoto. Dem. Sendo H tal que G EH, mostramos que o ngulo externo nFEH maior do que o nF , isto , que 7nFEH 7nF. Argumento anlogo mostraria que o verticalmente oposto nGEI (com I tal que F EI ) maior do que o nG .
J 31 47
40
GEOMETRIAS
Seja Q o ponto mdio de EF , K um ponto tal que G Q K e GQ Q K. op Como G e K esto em lados opostos de EF e G e H tambm, ento K e H esto op op do mesmo lado de EF . Alm disso, K, Q e F esto do mesmo lado de EH op (porque EH no corta KQ nem Q F ) logo K intnFEH. Ento, por LAL, FQ G EQ K, donde nKEQ nF . Como K interior ao nFEH, temos 7nFEH 7nFEK 7nKEH 7nFEK 7nF.
A(
4.6 Teorema Num tringulo issceles EFG com base FG , a recta que passa por E e pelo ponto mdio da base perpendicular base e bissecta o nE.
Fig. 47 Dem. Por hiptese e pons asinorum, EF EG e nF nG donde, por LAL, Q FE Q GE, logo nFQ E nGQ E e, portanto, ambos estes ngulos op op so rectos, logo EQ FG . Tambm nFEQ nGEQ , logo EQ bissecta o nE. Este teorema vai permitir construir a perpendicular a uma recta dada, j, passando por um ponto E j. Recorde-se que j fizemos a construo da perpendicular a j passando por um ponto T j (Teorema 3.7, pg. 32). 4.7 Teorema (Existncia de perpendiculares, caso geral) Para toda a recta j e todo o ponto E, existe uma nica perpendicular a j passando por E. Dem. No teorema 3.7 foi considerado o caso particular E j. Falta apenas considerar, portanto, o caso E j. Pelo teorema do ngulo externo, no h mais de uma perpendicular a j passando por E.
Fig. 48
41
Para provar que existe, pelo menos, uma perpendicular a j passando por E, op op tomem-se ao arbtrio F , G j. Se for EF j (ou EG j), o problema est resolvido. Se no for, construa-se no lado oposto de E relativamente a j um ponto H tal que nEFG nHFG e EF FH (construo de ngulos e segmentos). Ento EFH issceles de base EH, por LAL, e se T o ponto onde EH corta j, ento ET F HT F , donde nET F nHT F , e como estes dois ngulos so suplementares adjacentes, tem-se EH j.
. Fig. 49 4.8 Teorema (Critrio LLL) Se os tringulos EFG , HIJ so tais que EF HI , EG HJ , e FG IJ , ento EFG HIJ . Dem. Por LAL, basta mostrar que nE nH. Sem perda de generalidade op podemos supor que I F e J G , e que E e H esto em lados opostos de FG (pense no teorema da construo de ngulos e segmentos, pg. 30). H trs casos a op considerar, conforme a posio relativa do ponto T em que EH corta FG , figurados a seguir:
Caso F T G
Caso F G T (ou G F T ) Fig. 50
Caso T G (ou T F )
Fazemos a demonstrao apenas no 1. caso, em que F G T , deixando os outros casos como exerccios.
42
GEOMETRIAS
Como o EFH issceles de base EH, temos nFEH nFHE, por pons asinorum. Analogamente nGEH nGHE, donde 7nE 7nFEH 7nGEH 7nFHE 7nGHE 7nH). O ltimo critrio de congruncia de tringulos o seguinte. 4.9 Teorema (Critrio LAA) Se os tringulos EFG e HIJ so tais que EF HI , nF nI e nG nJ , ento EFG HIJ . Dem. Sem perda de generalidade (pense no teorema da construo de ngulos op e segmentos) podemos supor E H, F I , G e J do mesmo lado de EF .
Fig. 51 Constate-se que a figura acima impossvel com lFGl lIJ l (e tambm com lFGl lIJ l), pois o nFGE externo de EGJ . Consideremos novamente a figura que acompanha a demonstrao do teorema 4.5 (teorema do ngulo externo, p. 39):
Fig. 52 claro que 7nGEK e, portanto, 7nGEF 7nGFE # ww # w (figura 52) (4.1)
1. Incidncia e distncia 7nGEF 7nGFE # w # ww ")!, podendo, por conseguinte, concluir-se que: 4.10 Lema da soma de dois ngulos de um tringulo tringulo, a soma das medidas de dois ngulos menor que ")!.
43
Num
Podemos at afirmar um pouco mais. Continuando a utilizar as notaes explcitas na figura 52 acima, notemos que !" 7nEKG 7nEGK 7nFGK 7nKGE 7nFGE (4.2)
logo, por (4.1), os tringulos EFG e EKG tm a mesma medida angular (isto , as somas das medidas dos seus ngulos so iguais, respectivamente): ! " # w # ww . Alm disso, por (4.2), um dos ngulos nEGG (!), nEGK (" ) tem amplitude 7nFGE !" . # #
Assim, mantendo constante a soma angular, podemos sempre encontrar um outro tringulo ( EKG ) cujo menor ngulo a metade do menor ngulo do tringulo inicial ( EFG : na figura acima, supor que o nFGE de amplitude mnima ou minimal). Iterando esta construo quantas vezes forem necessrias, obtemos um tringulo com soma angular igual do tringulo dado ( EFG ) mas em que um dos ngulos to pequeno quanto se quiser. Isto quer dizer que a soma angular de um tringulo nunca pode ser maior do que ")!: se fosse igual a ")! $ , com $ !, podia-se construir um tringulo com a mesma soma angular, em que um dos ngulos media $ , logo a soma dos outros dois ngulos teria de ser maior ou igual a ")!, contra o que diz o Lema 4.10. Expresso de outra maneira, temos o importante e caracterstico 4.11 Teorema de Saccheri-Legendre A soma angular de um tringulo menor ou igual a ")!. Mais preciso do que esta sobre o valor da soma angular no se pode inferir, com base nos axiomas admitidos. Na realidade, falta apenas um axioma para completar a lista de axiomas para a Geometria Euclidiana Plana o axioma de paralelismo. Sem esse axioma, tudo o que temos feito at aqui comum Geometria Euclidiana e Geometria Hiperblica e constitui a chamada geometria neutra ou geometria absoluta. Um modelo da Geometria Hiperblica Plana o semiplano de Poincar (pg. 19), com distncia . e medio angular 7 definidas de maneira conveniente. Na Geometria Hiperblica, todos os tringulos tm soma angular menor do que ")!.
44
GEOMETRIAS
Fig. 53
4.1. A figura seguinte explica por que razo no existe nenhum critrio LLA (lado-lado-ngulo): EFG e EFH no so congruentes, mas tem-se EG EH, EF EF e nEFG nEFH.
Fig. 54 Prove que: (a) Se EF HI , EG HJ e nGFE nJ IH mas os tringulos EFG e HIJ no so congruentes, ento lGFl lIJ l ou lGFl lIJ l (faa uma figura ilustrativa). (b) Se lGFl lIJ l, ento 7nFGE *!. 4.2. Demonstre o seguinte critrio HC (Hipotenusa-Cateto) de congruncia de tringulos rectngulos (tringulos com um ngulo recto): Se dois tringulos tiverem as hipotenusas e um dos catetos congruentes, ento eles so congruentes. Um paralelogramo um quadriltero convexo EFGH cujos lados opostos so congruentes: EF HG , FG EH. Mostre que (a) os ngulos opostos so congruentes; (b) as diagonais intersectam-se no ponto mdio de ambas; (c) EFGH um losango (isto , os quatro lados so congruentes) sse as duas diagonais intersectam-se perpendicularmente. A independncia do axioma LAL relativamente aos restantes prova-se por meio do seguinte modelo X . w 7, onde X # , 7E (como no exemplo
4.3.
4.4.
45
3.8), . w s difere da distncia euclidiana .E nos pontos de uma recta fixada arbitrariamente, j! , da seguinte maneira: se T , U j! , . w #.E T U. (a) Prove que X . w 7 satisfaz o axioma A% (s tem que encontrar um s.c. para j! ). (b) Mostre que X . w 7 no satisfaz o axioma LAL [Sugesto: considere dois tipos de tringulos congruentes em # . w 7, de tal modo que um deles tem um lado contido em j! mas o outro no:
.] Fig. 55
Captulo 5
Desigualdades geomtricas
Nesta seco demonstramos, entre outras coisas, a desigualdade triangular, a qual est na base da ideia de que o caminho mais curto entre dois pontos em linha recta 5.1 Teorema reciprocamente.21 Num tringulo, a lado maior ope-se ngulo maior, e
Dem. Explicitando o enunciado, demonstramos que, num tringulo qualquer EFG , se tem 7nE 7nF sse lFGl lEGl.
Fig. 56 ( ) Supondo lFGl lEGl, marcamos em FG um ponto H tal que GH GE. Como EHG issceles, temos 7nE 7nHEG 7nEHG 7nF, porque nEHG ngulo externo do EFH. ( ) Supondo 7nE 7nF, no pode ser FG EG , caso contrrio seria nE nF (por pons asinorum); nem pode ser lFGl lEGl, pois viria 7nE 7nF pela parte ( ). Ento s pode ser lFGl lEGl.
21 Enuncia-se este teorema, por vezes, dizendo que, num tringulo, ao maior lado se ope o maior ngulo, e vice-versa, mas claro que pode no haver nenhum lado (ou ngulo) maior do que todos os outros sem que, por isso, se deixe de aplicar o teorema, como resulta bvio do comeo da demonstrao, que torna mais preciso o enunciado.
46
1. Incidncia e distncia 5.2 Teorema [Desigualdade triangular (estrita)] qualquer lado menor do que a soma dos outros dois.
47 Num tringulo,
Dem. O enunciado refere-se, obviamente, aos comprimentos dos lados do tringulo. Provamos que, no EFG , lEGl lEFl lFGl.
Fig. 57 Tome-se H tal que EF H e FH FG , logo FGH issceles e nEHG nFHG nFGH e 7nFGH 7nEGH, logo, pelo teorema 5.1, aplicado ao EHG , lEGl lEHl lEFl lFHl lEFl lFGl. J temos a igualdade lEFl lEGl lFGl no caso EG F , G E ou G F, pelo que, em geral, lEFl lEGl lGFl. Sendo +, ,, - os comprimentos dos lados de um tringulo tem-se sempre, pelo teorema 5.2, + , -, , + -, - + ,. (5.1)
Questo bem diferente a de saber se, dados 3 nmeros reais positivos +, , e que satisfazem as condies (5.1), existe um tringulo cujos lados tm aqueles comprimentos? A resposta afirmativa, mas a demonstrao , na realidade, bastante mais difcil do que se poderia imaginar. A ideia a seguinte. Chama-se circunferncia com centro E e raio EF ao conjunto V \ lE\l lEFl. Por abuso, tambm chamamos raio de V ao nmero positivo < lEFl. Dados ento +, ,, - ! tais que (5.1) e supondo lEFl - , lEGl , , lFHl +, consideramos as circunferncias V" \ lE\l ,, V# \ lF\l +. O problema demonstrar que V" e V# se intersectam (exerccio 5.5, desenvolvimento no Cap. 9) exactamente em dois pontos, digamos I e I w (v. figura 58). Quer EFI quer EFI w satisfazem o pedido.
48
GEOMETRIAS
Fig. 58 5.3 Distncia de um ponto a uma recta (que no passa pelo ponto) a distncia do ponto ao p da perpendicular recta passando pelo ponto.
Fig. 59 Pelo teorema 5.1, esta distncia de E a j (E j) que se designa por .E j, a mais curta distncia de E a pontos de j. De facto, para qualquer ponto G j, lEFl lEGl, onde F o p da perpendicular a j passando por E pois, no EFG , EG ope-se ao nEFG , que recto e que , portanto, o maior ngulo do tringulo, pelo lema 4.10. 5.4 A mediatriz de um segmento a perpendicular no ponto mdio do segmento. Se Q o ponto mdio do segmento EF , qualquer ponto G Q equidistante de E e de F pertence mediatriz de EF , pelo teorema 4.6 (pois o GEF issceles). Reciprocamente, qualquer ponto G da mediatriz de EF equidistante de E e F , pois, por LAL, EQ G FQ G , donde GE GF .
49
Fig. 60 Em concluso, temos a seguinte propriedade caracterstica das mediatrizes: a mediatriz de um segmento EF o lugar geomtrico dos pontos do plano equidistantes de E e de F.22 Tambm fcil mostrar que: 5.5 Teorema A mediatriz de um segmento o lugar geomtrico dos pontos do interior do ngulo equidistantes dos lados, juntamente com o vrtice do ngulo. Para que o prprio conceito de distncia entre duas rectas estritamente paralelas faa sentido, necessitamos de mais um axioma, o ltimo, a ser introduzido na seco seguinte.
5.1. Seja H int EFG. Mostre que lFHl lHGl lEFl lEGl e 7nFHG 7nFEG. [Sugesto: seja I tal que EI G e F HI (existe tal I , porqu?) e aplique a desigualdade triangular a FEI e a HIG.] 5.2. Seja Q o ponto mdio do lado FG do EFG . Mostre que lEQ l " lEFl lEGl. [Sugesto: prolongue EQ at H tal que # lEQ l lQ Hl.]
Na Geometria, lugar geomtrico e figura (geomtrica) so palavras sinnimas de conjunto de pontos.
22
50
GEOMETRIAS
*5.3. Sejam j uma recta, E j, e F o p da perpendicular a j passando por E. (a) Mostre que se G , H j so tais que lFGl lFHl, ento lEGl lEHl.
Fig. 61 (b) Seja 0 j um s.c. tal que 0 F !. Mostre que a funo 2 definida por 2B lE0 " Bl : (i) contnua; (ii) estritamente montona em cada intervalo ! _ e _ !; (iii) uma funo par [isto , 2B 2B para todo B ]; (iv) lim 2B _.
B_
(c) Conclua a seguinte: Propriedade da Continuidade Elementar Se uma recta tiver um ponto interior a uma circunferncia, ento corta a circunferncia em exactamente dois pontos.23 5.4. Demonstre o seguinte: Teorema da Charneira Se EFG e HIJ so tais que EF HI , FG IJ e 7nEFG 7nHIJ , ento lEGl lHJ l. *5.5. O exerccio anterior tem a seguinte consequncia: Propriedade da Continuidade Circular Se V" e V# so duas circunferncias tais que V" tem pontos no interior e outros no exterior de V# , ento V" e V# intersectam-se em exactamente dois pontos, um em cada semiplano limitado pela recta que passa pelos centros das circunferncias.
Fig. 62
Um ponto interior a uma cirfunferncia um ponto cuja distncia ao centro menor do que o raio.
23
51
[Ideia da prova: observar a figura anterior. Imaginando um ponto T que op percorre uma das semi-circunferncias em que j EF divide V" , no sentido dos ngulos nT EF crescentes, lT Fl cresce estritamente e mesmo uma funo contnua do ngulo nT EF (ou da sua medida, !). Atendendo hiptese sobre as circunferncias V" e V# e ao teorema dos valores intermdios, existe um !! para o qual lT Fl igual ao raio de V# .] *5.6. No tringulo EFG , a bissectriz de nE corta FG no ponto U. Prove que lEFl lEGl sse lUFl lUGl. Um quadriltero de Saccheri um quadriltero convexo EFGH tal que os ngulos da base EH, nE e nH, so ambos rectos e as alturas EF e HG so congruentes.
5.7.
Fig. 63 Prove que, num quadriltero de Saccheri, (a) as diagonais EG e FH so congruentes; (b) HGF EFG ; (c) nF nG e so ambos de medida menor ou igual a *!; (d) lFGl lEHl. [Sugesto: nEFH nF DG e Exerccio 5.4.] 5.8. Se EFGH um quadriltero de Saccheri de base EH e Q , R so os pontos mdios de EH e FG , respectivamente, ento: (a) Q R EH e Q R FG ; (b) lQ R l lEFl; [Sugesto: que aconteceria se os catetos do tringulo rectngulo Q R F fossem maiores do que os catetos do FEQ ?] op op (c) Se T , U so pontos quaisquer de EH e EF , respectivamente, ento lT Ul lQ R l.
Captulo 6
Paralelismo
A existncia de paralelas estritas no problemtica. O teorema seguinte fornece mesmo uma maneira de construir uma paralela a uma recta dada j passando por um ponto T j. No se pode garantir (com base nos axiomas A" A* ) que essa a nica paralela a j passando por T . Para a unicidade que preciso um novo axioma. 6.1 Teorema dos ngulos alternos internos Se as rectas < e = cortadas por uma recta > formam com esta um par de ngulos alternos internos congruentes, ento < =. Antes da demonstrao convm recordar algumas definies ou designaes de pares de ngulos determinados por uma recta > que corta outras duas rectas < e =, conforme a figura seguinte:
Fig. 64 Os pares s, 0 e s, s dizem-se alternos internos; os pares s, s e s, 0 dizem-se - s . / - / . s internos do mesmo lado (de >); os pares s, 2 e s, s dizem-se alternos externos; os + s , 1 s, 2 dizem-se externos do mesmo lado; os pares s, s; s, s; s, 0 e s, 2 s pares s, s e , + 1 + / - 1 , s . s dizem-se correspondentes. Dem. Supondo ento que ! " (alternos internos), se < e = se intersectassem, ficaramos com um tringulo com um ngulo externo congruente a um interno remoto, contra o teorema 4.5 (do ngulo externo).
52
53
. Fig. 65 A partir daqui temos duas opes no desenvolvimento da geometria. Admitindo a unicidade da paralela a < passando por T < estamos no domnio especfico da Geometria Euclidiana (plana). Admitindo que por T passa mais de uma paralela a < entramos no domnio da Geometria Hiperblica (plana).24 AXIOMA DE PARALELISMO DE HILBERT A"! . Para toda a recta < e todo o ponto T < h, quando muito, uma paralela a < passando por T .25 Os resultados seguintes so exclusivos da Geometria Euclidiana, j que so falsos em modelos de Geometria Hiperblica. 6.2 Teorema recproco do teorema dos ngulos alternos-internos Se as rectas < e = estritamente paralelas forem cortadas por uma transversal >, ento os ngulos de um par de alternos-internos so congruentes.
Fig. 66
claro que h ainda a possibilidade de por T 6 no passar nenhuma paralela a 6. Esta possibilidade assumida na chamada Geometria Elptica (plana) mas, ao contrrio do que acontece com a Hiperblica, necessrio modificar alguns dos axiomas anteriores, nomeadamente, os da incidncia, pois deixa de ser verdade, naquela, que dois pontos determinem uma linha recta. [Pense numa superfcie esfrica e em dois plos.] 25 Talvez seja mais conhecida a verso de John Playfair (de que, por T j, passa uma nica paralela a j), mas esta verso contm uma parte redundante, visto que se demonstra, na geometria neutra, a existncia de paralelas (aplicando o teorema dos ngulos alternosinternos)
24
54
GEOMETRIAS
Dem. Seja T o ponto de interseco de < e > (figura 66), U o ponto de interseco de = e >, E < e F = em lados opostos de >, de modo que nET U e nT UF so alternos internos, digamos com medidas ! e " , respectivamente. Suponhamos que ! " (o caso ! " anlogo), com vista a um absurdo. Do mesmo lado de > que E obtemos T G tal que 7nUT G " logo op op T G UF por 6.1, contradizendo o axioma do paralelismo. Portanto ! " . 6.3 Corolrio (a) Se < =, ento qualquer recta perpendicular a < perpendicular a =; (b) A relao de paralelismo, no conjunto das rectas, transitiva. 6.4 Teorema da soma angular A soma das medidas dos ngulos de um tringulo ")!.
Fig. 67 op Dem. Tiremos por E a nica paralela a EF . Utilizando 6.2, v-se que ! " # ")!, conforme a figura acima. Prova-se (mas no fcil!) que o teorema 6.4 implica, por sua vez, o axioma A"! .
6.1. Todo o tringulo pode ser inscrito numa circunferncia. [Sugesto: pense nas mediatrizes dos lados e prove, por absurdo, que no so paralelas.] Prove que para quaisquer rectas <, =, > e ?, se < =, > < e ? =, ento > ?. Prove, ainda (sem utilizar o axioma de paralelismo de Hilbert!), que esta proposio implica, por sua vez, o axioma de paralelismo de Hilbert.
6.2
Captulo 7
Semelhana de tringulos
Antes de dar a definio de tringulos semelhantes precisamos de alguns resultados sobre certo tipo de quadrilteros. No exerccio 2.1 definiu-se quadriltero convexo como um quadriltero EFGH tal que cada lado est contido num semiplano limitado pela recta que contm o lado oposto.
Fig. 68 Considerando, por exemplo, a diagonal EG e aplicando o teorema da soma angular a cada um dos tringulos EFG e EGH verificamos que a soma dos ngulos do quadriltero convexo EFGH $'!. Usando agora o teorema dos ngulos alternos internos, o seu recproco e o teorema da soma angular 6.4, verificamos que so equivalentes as condies: (1) os ngulos opostos do quadriltero convexo EFGH so congruentes (isto , nE nG e nF nH); (2) os lados opostos do quadriltero convexo EFGH so paralelos, no sentido: esto contidos em rectas paralelas (escrevemos EF GH para op op significar EF GH , de modo que se tem EF GH e EH FG .
Fig. 69
55
56
GEOMETRIAS
De facto, a implicao (2) (1) imediata, utilizando o recproco do teorema dos ngulos alternos internos. E quanto implicao (1) (2) (utilizando tambm o axioma de paralelismo), considere-se a figura seguinte com os ngulos assinalados de + a 2, onde se utilizou o facto (exerccio) de que as diagonais de um quadriltero convexo se intersectam num ponto.
Fig. 70 Ora, as nossas hipteses (2) so que + , 1 2 e - . / 0. op op Provamos que , 1, donde EF GH , pelo teorema dos ngulos alternos internos. Tem-se, claro, ( ) + , - . 1 2 / 0,
mas + - 3 0 2 3 ")!, logo + - 0 2 , donde, simplificando em (), , . / 1, mas como tambm , / . 1 , somando membro a membro vem #, #1 e, portanto, , 1, como queramos. op op Raciocnio anlogo prova que + 2, logo tambm EH FG . Um quadriltero convexo que satisfaa uma das condies (1), (2) acima (e, portanto, tambm a outra) um paralelogramo. De facto, no Exerccio 4.3 definimos paralelogramo como um quadriltero convexo com lados opostos congruentes e, sem usar A"! , pediu-se para provar (1).26 Mas, agora, usando A"! , vamos mostrar que (1) implica (3) Os lados opostos do quadriltero convexo EFGH so congruentes. Por conseguinte, na Geometria Euclidiana, (1), (2) e (3) do definies possveis, equivalentes entre si, de paralelogramo. Dem. (1) (3): na figura acima, como nFGE nGEH [porque FG EH, visto que, como acima se disse, (1) (2)] e nFEG nFGH (porque EF GH) temos, atendendo a que EG comum, que EFG GHE, por ALA, donde EF GH e FG HE.
26
Fcil, utilizando o critrio LLL.
7. Semelhana de tringulos
57
Recapitulando: sem utilizar o axioma de paralelismo A"! na prova da primeira implicao, provmos que (3) (1) (2),27 quer dizer, Se um quadriltero convexo tiver os lados opostos congruentes (isto , se for um paralelogramo), ento tem ngulos opostos congruentes e lados opostos paralelos. Mas isto, s por si, no garantia suficiente para que exista algum paralelogramo! Se o leitor tentar construir um paralelogramo, digamos que partindo de uma base EH e tirando por E e por H duas paralelas e marcando op pontos F e G em cada uma, no mesmo lado de EH , com EF HG (v. figura abaixo), como vai provar que o topo FG congruente com a base EH? (Tente fazer a construo no semiplano de Poincar!) No vai conseguir, sem usar A"! !
Fig. 71 Por outro lado, usando A"! , provmos que (2) (1) (3) e, portanto (1), (2) e (3) so equivalentes. Sabendo isto, possvel construir um paralelogramo (exerccio), e, at, um rectngulo (quatro ngulos rectos), por exemplo, tomando duas rectas estritamente paralelas < e =, dois pontos numa delas, digamos E e H em <, e fazendo passar por E e H duas perpendiculares a <, que cortam = em pontos F e G , ficando um rectngulo EFGH.
Fig. 72 Isto prova tambm outra coisa, nomeadamente, que < e = so equidistantes. A distncia entre as rectas < e =, que se designa por .< =, o comprimento de
Isto uma maneira abreviada, notacionalmente um tanto abusiva (pois a operao lgica no associativa), de exprimir que (3) (1) e (1) (2), donde se poder concluir que (3) (2).
27
58
GEOMETRIAS
qualquer segmento perpendicular com um extremo numa e o outro extremo na outra. Concluindo: 7.1 Teorema (a) Existe um rectngulo; (b) Quaisquer duas rectas estritamente paralelas so equidistantes. Consideremos agora um EFG e, pelo ponto mdio Q de EF faamos op op passar a paralela Q R a EF , com R EG (note que EQ F , logo E e F esto op op em lados opostos de Q R , mas F e G esto do mesmo lado de Q R , logo E e G op op esto em lados opostos de Q R , de modo que Q R corta EG num ponto que designmos por R ).
Fig. 73 Provamos que R o ponto mdio de EG e que lQ R l " lFGl. #
De facto, tomando H FG tal que Q H EG , obtemos um paralelogramo Q HGR , com Q H R G e Q R HG . Alm disso, por ALA, temos EQ R Q FH, donde ER Q H R G (logo R o ponto mdio de EG ) e FH Q R HG (logo lQ R l " lFGl). Por outro lado, se agora Q , R # op so os pontos mdios de EF, EG , respectivamente, Q R s pode ser paralela a op EF passando por Q : 7.2 Teorema Em qualquer tringulo, a recta que passa pelos pontos mdios de dois lados paralela ao terceiro lado. Definio Os tringulos EFG e HIJ dizem-se semelhantes sse existir uma correspondncia entre os vrtices de um e de outro de tal modo que os ngulos correspondentes so congruentes e lados correspondentes so proporcionais.
59
Fig. 74 Se a correspondncia entre os tringulos EFG e HIJ for E H, F I , G J , escrevemos EFG HIJ para exprimir que eles so semelhantes, tendo-se ento, por definio, que nE nH, nF nI , nG nJ e lEFl lEGl lFGl . lHIl lHJ l lIJ l A esta razo chama-se razo de semelhana (do primeiro para o segundo tringulo). Na demonstrao acima, vimos que EFG EQ R com razo de semelhana "#. A congruncia uma semelhana com razo ". O resultado seguinte fundamental. 7.3 Teorema Fundamental da semelhana de tringulos (Critrio AA ) Dois tringulos com dois ngulos congruentes so semelhantes. O teorema afirma que, por exemplo, se EFG e HIJ so tais que nE nH e nF nI , ento EFG HIJ . Note que, pelo teorema da soma angular, se nE nH e nF nI , ento tambm nG nJ (porqu?). A demonstrao razoavelmente complexa. Vejamos, entretanto, algumas aplicaes. 7.4 Teorema (Critrio LAL ) Se, em dois tringulos, ngulos congruentes num e noutro subtenderem lados proporcionais, ento os tringulos so semelhantes.
lEFl lHIl
Dem. Dados EFG e HIJ tais que, por exemplo, nE nH e lEGl lHJ l , temos de provar que EFG HIJ .
60
GEOMETRIAS
Fig. 75 Consideremos o E\] com lE\l lHIl, \] FG , \ EF e ] EG . Pelo teorema fundamental temos EFG E\] , donde lEFl lEFl lE] l lHJ l (pois lHIl lE\l lEGl ). Pelo critrio de congruncia LAL, temos lE] l E\] HIJ e, portanto, EFG HIJ . 7.5 Teorema (Critrio LLL ) Dois tringulos com lados correspondentes proporcionais so semelhantes.
lEFl lEGl lFGl Dem. Anloga de 7.4. Supondo lHIl lHJ l lIJ l , com vista a provar EFG HIJ , defina-se E\] como antes, sendo lE\l lHIl e EFG E\] . Pelo critrio de congruncia LLL, E\] HIJ , donde EFG HIJ .
7.6 Teorema de Pitgoras Num tringulo rectngulo EFG com hipotenusa FG , lFGl# lEFl# lEGl# . op Dem. Tomando H FG tal que EH FG , como nF e nG so agudos H est entre F e G . Ponhamos B lFHl (v. figura 76). , Pelo critrio AA tem-se EFG HFE HEG donde + +B , , isto ,# +# +B, e + B , ou seja, - # +B, donde +# , # - # . -
Fig. 76
61
O recproco do Teorema de Pitgoras tambm vale, e diz que se E, F, G so trs nmeros que so as medidas dos lados de um EFG , tais que +# ,# - # , ento o tringulo rectngulo com hipotenusa de comprimento +.
Fig. 77 Construimos um Ew F w G w rectngulo em Ew cujos catetos Ew G w e Ew F w medem , e - respectivamente, onde , lEGl, - lEFl. Ento a hipotenusa do Ew F w G w mede + ,# - # e, por LLL, EFG Ew F w G w , logo nE recto. 7.7 Teorema (Recproco do Teorema de Pitgoras) Se no EFG as medidas +, ,, - , dos lados so tais que +# ,# - # , ento o tringulo rectngulo com hipotenusa de comprimento +. Demonstrao do Teorema Fundamental. Ponhamos -
lFGl lIJ l lEGl lHJ l . lEFl lHIl .
Pretende-se
provar que tambm - Demonstramos esta ltima igualdade, j que para a outra anlogo. A demonstrao em trs etapas, conforme - inteiro, racional ou irracional. Caso - inteiro (positivo). Por induo em -. Se - ", tem-se EFG HIJ , donde a igualdade pretendida. Se - #, j foi visto acima: se ^ e ] so os pontos mdios de EF e EG , respectivamente, o E^] tem os mesmos ngulos que o EFG e, portanto, os mesmos que o HIJ ; alm disso, como lHIl " lEFl lE^l, vem HIJ E^] e, portanto, # lHJ l lE] l " lEGl. #
Fig. 78
62
GEOMETRIAS
O passo de induo semelhante ao caso - #, isto , supondo - # e o resultado verdadeiro para - " (Hiptese de Induo) e sendo ^ EF tal que " lE^l - lEFl lHIl, marquemos ] EG e \ FG tais que ^] FG e ^\ EG . Por ALA temos HIJ E^] , donde lE] l lHJ l. Considerando o paralelogramo ^\G] , v-se que l] Gl l^\l. (7.2) (7.1)
Alm disso, ^F\ tem ngulos congruentes com os do EFG (e, portanto, de HIJ , e l^Fl lEFl lE^l Pela hiptese de induo temos tambm l^\l - "lHJ l. De (7.1), (7.2) e (7.3) resulta lEGl lE] l l] Gl -lHJ l. Caso - . Pondo - : irredutvel (com : e ; ambos positivos), conside; remos um tringulo auxiliar T UV , com os mesmos ngulos que os do tringulo considerado (isto , nT nE, nV nG , respectivamente) e tal que lT Ul :lHIl ;lEFl. Pelo 1. caso aplicado aos tringulos T UV e HIJ , tambm se tem lT Vl :lHJ l, e aplicado a T UV e EFG tem-se lT Vl ;lEGl, donde lEGl : -. lHJ l ; Caso - irracional. Mostramos que para quaisquer racionais positivos =, > tais que = - >, se tem = donde resulta necessariamente - > HIJ .
lEGl lHJ l lEGl lHJ l
-" lEFl - "lHIl. -
(7.3)
lEGl >, lHJ l
-, por causa da arbitrariedade de = e >.28

lEGl lHJ l ;
Mostramos, apenas, que se = -, = , ento =
a outra implicao
> result mediante a troca dos papis de EFG e
28
Se fosse, por exemplo,

lEGl lHJ l
lEGl lHJ l
seja, tal que
=w -.
lEGl -, existira algum racional =w no intervalo lHJ l , -, ou
63
Por escolha de =, =lHIl lEFl podemos marcar ^ EF tal que op lE^l =lHIl. Seja ] EG tal que ^] FG ; ento o E^] tem os seus lE^l ngulos congruentes com os do HIJ , e lHIl = . Pelo segundo caso, tambm =
lE] l lHJ l
=, mas, como ] EG e ] G , tem-se lE] l lEGl, donde
lEGl lHJ l .
7.1. Em qualquer quadriltero convexo, os pontos mdios dos lados so os vrtices de um paralelogramo. Seja EFG um tringulo issceles com EF EG e suponha que: op op op (i) Q o ponto mdio de FG , S EQ tal que SF EF ; (ii) U FG , U F e U G ; op op (iii) I EF e J EG so tais que U, I , J so distintos e colineares. op op Mostre que SU e IJ so rectas perpendiculares sse lUIl lUJ l. Reconhece algum dos teoremas desta seco como o famoso Teorema de Tales, ou se que este seja uma simples consequncia? As sequncias de nmeros reais positicos + , - e +w , w - w dizem-se proporcionais, e escreve-se + , - +w , w - w sse + , w w w + , Esta razo, ou melhor, o seu valor numrico, chama-se razo de proporcionalidade. Prove que se + , - ., ento + - , . e + , +- ,.. 7.5. O teorema fundamental permite a definio das funes trignomtricas seno e coseno. Dado um ngulo agudo nE, construindo um tringulo rectngulo EFG com nG recto, definimos sennE lFGl , lEFl cosnE lEGl . lEFl
7.2.
7.3.
7.4.
O teorema fundamental garante que estas definies so coerentes, isto , independentes do tringulo escolhido. As definies estendem-se a outros ngulos do seguinte modo: se nE obtuso e nEw um seu suplementar definimos sennE sennEw , cosnE cosnEw .
Finalmente, se nE recto, definimos sennE ", cosnE !.
64
GEOMETRIAS
Fig. 79
sennE (a) Demonstre a lei dos senos sennF + onde EFG um tringulo , qualquer e +, , so os comprimentos dos lados opostos ao nE, nF , respectivamente. [Sugesto: construa uma altitude GH e mostre que , sennE lGHl +, sennF.] (b) Demonstre a lei dos cosenos - # +# ,# #+, cosnG, onde - lEFl, a qual uma generalizao do teorema de Pitgoras (correspondendo, este, ao caso em que o nG recto).
Captulo 8
Os restantes axiomas (geometria do espao)

Temos lidado exclusivamente com a geometria plana. Passar da plana espacial ou slida tarefa simples. Temos de assumir, claro, um outro conceito primitivo, o de plano, e alguns axiomas a respeito deste conceito. Tal como as linhas (rectas), cada plano um conjunto de pontos, e designamos por c o conjunto de todos os planos. Acrescentamos os axiomas indicados a seguir. AXIOMAS DE INCIDNCIA PARA O ESPAO A"" . Para quaisquer trs pontos no colineares, existe um e um s plano que os contm. A"# . Se dois pontos esto num plano, ento a linha que passa por eles est contida no plano.29 A"$ . Se dois planos tm um ponto em comum, ento a sua interseco uma linha. A"% . Todo o plano contm, pelo menos, trs pontos no colineares. A"& . Existem, pelo menos, quatro pontos no complanares (isto , no pertencentes a um mesmo plano). O plano que passa pelos pontos no colineares E, F e G denota-se EFG (ou EGF, etc.30). A geometria plana (captulos 1 a 7) suposta ser feita, ou fazvel, na totalidade, em cada plano. Os axiomas A"" -A"& so os axiomas para incidncia de planos, e a eles basta acrescentar mais um, de separao no espao.
29 No axioma anterior e neste, a palavra contm ocorre com dois significados diferentes: no primeiro, significa (con)ter como elemento(s), e no segundo, significa conter como subconjunto(s). So usos tradicionais, distinguveis pelo contexto, apesar de fomentarem a confuso nas mentes menos habituadas ou menos receptivas aos abusos lingusticos em matemtica. 30 Observe-se que, se os pontos E, F , G no so colineares, ento eles so necessariamente distintos.
65
66
GEOMETRIAS
Fig. 80 AXIOMA DE SEPARAO NO ESPAO A"' . Para cada plano C, o conjunto dos pontos do espao que no esto em C igual reunio de dois conjuntos convexos, [" e [# , no vazios e disjuntos, tais que para quaisquer pontos T e U, T est num e U est no outro sse T U corta C. [V. fig. 80] No espao, o paralelismo de rectas objecto de redefinio: < = sse < e = so complanares e < = g ou < =. O paralelismo de planos define-se de maneira natural: C Cw sse C Cw ou C Cw g. A perpendicularidade de uma recta e um plano define-se do seguinte modo: se j passa por um ponto T C, dizemos que j perpendicular a C sse j perpendicular a todas as rectas contidas em C passando por T , e escreve-se j C.
Fig. 81
8.1. Se uma linha intersecta um plano mas no est contida no plano, ento a interseco reduz-se a um ponto. Para toda a linha j e todo o ponto T j existe um nico plano passando por T e contendo j.
8.2.
8. Os restantes axiomas (geometria do espao)
67
8.3.
Se duas linhas <, = se cortam num (nico) ponto, ento existe um nico plano que as contm. Existem, pelo menos, dois planos, e todo o plano contm, pelo menos, duas linhas. Se C Cw e C Cw g, mas C e Cw intersectam um outro plano Cww em linhas < e =, respectivamente, ento < =. Se j <, j = com <, s C (distintas) passando ambas por T C, ento j C.
8.4.
8.5.
8.6.
Captulo 9
Circunferncias
Retomamos o desenvolvimento da geometria absoluta (isto , sem assumir o axioma de paralelismo) plana, por enquanto, estudando circunferncias e suas tangentes. Um objectivo importante a justificao plena da Proposio I.1 de Euclides (a primeira proposio nos Elementos, que afirma ser possvel construir, com rgua no graduada e compasso, um tringulo equiltero, dado um lado. Esta justificao faz intervir, de maneira essencial, questes de continuidade. Outras questes sero tratadas, como alguns resultados elementares sobre arcos de circunferncia, ngulos inscritos, tangentes, potncia de um ponto relativamente a uma circunferncia, e construes com rgua e compasso. Para testar a no trivialidade (e, por vezes, a falsidade) de alguns resultados de aparncia trivial (pelo menos, no plano euclidiano) pode o leitor tentar exprimi-los, por exemplo, no plano de Moulton (p. 20) e ver o que acontece. A primeira parte da definio seguinte equivalente que foi dada na pg. 47. Definio Dados um ponto S e um nmero real - !, a circunferncia de centro S e raio - o lugar geomtrico V VS - dos pontos T do plano distncia - de S, isto , tais que lST l - . A circunferncia V passa por T sse T V. O crculo com centro S e raio - o lugar geomtrico V VS - dos pontos T tais que lST l - . Dados dois pontos E, F da circunferncia V com centro S , o segmento EF chama-se uma corda de V, e uma corda que passe pelo centro S chama-se um op dimetro de V; a recta EF chama-se uma secante de V. Uma recta que tem um nico ponto comum com a circunferncia V chama-se uma tangente a V, e o ponto comum o ponto de tangncia.31 Um segmento tangente a uma circunferncia sse est contido numa tangente circunferncia e contm o ponto de tangncia. O interior de uma circunferncia V (crculo V) de centro S e raio - o conjunto de todos os pontos U tais que lSUl - , denota-se intV [intV], e os pontos deste conjunto dizem-se interiores circunferncia (crculo, respectivamente); o conjunto de todos os pontos U tais que lSUl - chama-se o
Por cautela (imperativo de rigor) devamos dizer um ponto de tangncia, mas um smples exerccio (fazer!) a verificao de que no pode haver mais de um ponto de tangncia de uma recta a uma circunferncia.
31
68
69
exterior de V (V), denota-se extV [extV], e os pontos deste conjunto dizem-se exteriores circunferncia (crculo, respectivamente). Duas circunferncias (dois crculos) com o mesmo centro dizem-se concntricas(os). A qualquer segmento OT com T V tambm se d o nome de raio da circunferncia com ponto terminal T , e ao comprimento #- de um dimetro GH tambm costume chamar dimetro da circunferncia, e esta tambm pode ser designada por VS lST l.
Fig. 81 91 Teorema (Propriedades bsicas das circunferncias) (a) O centro e o raio (numrico) de uma circunferncia so bem determinados. (b) A mediatriz de uma corda passa pelo centro da circunferncia. (c) Uma recta que passa pelo centro de uma circunferncia perpendicular a uma corda que no dimetro sse passa pelo ponto mdio da corda. (d) Trs pontos sobre uma circunferncia determinam a circunferncia. (e) Duas circunferncia intersectam-se em, quando muito, dois pontos. (f) Uma recta intersecta uma circunferncia em, quando muito, dois pontos. Dem. Todas as alneas resultam da justificao da primeira (exerccio). Demonstremos a primeira. (a) Seja V VS -. Existem, pelo menos, trs pontos, digamos E, F , G sobre a circunferncia V, pois toda a recta que passa pelo centro S contm dois pontos distncia - de S, ou seja em V, pelo teorema de construo de segmentos [teorema 3.4 (a), p. 30] e h, pelo menos, duas tais rectas (porqu?). Sejam <, = as mediatrizes de EF e FG , respectivamente (v. figura 81). claro que o centro Sw de uma circunferncia que passe pelos trs pontos (em particular, S) equidistante deles, logo, pela propriedade caracterstica das mediatrizes (p. 49), pertence a < e a =. Ora < =, caso contrrio o ponto F formaria com os pontos mdios de EF e FG um tringulo com dois ngulos rectos, o que impossvel, pelo lema 4.10, da soma de dois ngulos de um tringulo (p. 43). Portanto, < e = intersectam-se num (nico) ponto, isto , Sw S, que o centro da nica circunferncia passando pelos pontos no colineares E, F e G , e o seu raio lSEl lSFl lSGl - .
70
GEOMETRIAS
Convm chamar a ateno para o enuncidado da alnea (d), a fim de que este no seja mal interpretado. Nele no se diz que trs pontos determinam uma circunferncia, mesmo que sejam no colineares, mas somente que trs pontos sobre a circunferncia determinam a circunferncia, no sentido: no h mais nenhuma circunferncia que passe por eles.
Fig. 82 De facto, no verdade, na geometria hiperblica, que trs pontos no colineares determinem uma circunferncia, mas j verdade na geometria euclidiana. O problema a determinao do centro, que se resolve como a seguir se indica. Se E, F , G so trs pontos no colineares, e sendo < e = as mediatrizes de EF e FG , respectivamente, h que provar que < e = se cortam num ponto, digamos S, que vai ser o centro da circunferncia passando por E, F e G . Para isso, h que provar que < e = no so paralelas. Ora, na geometria euclidiana (mas no na geometria hiperblica), isto prova-se invocando o axioma de paralelismo de Hilbert (A"! ), ou melhor, uma proposio sua equivalente, a proposio de que para quaisquer rectas <, =, > e ?, se < =, > < e ? =, ento > ? (exerccio 6.2, p. 54). op op No caso em questo, > EF e ? FG . Se fosse < =, teria de ser > ?, mas como > e ? tm um ponto comum, que F , seria > ?, contra a hiptese de E, F e G no serem colineares. Em concluso: 9.2 Teorema Na geometria euclidiana, trs pontos no colineares determinam uma circunferncia. Exemplos 1) No plano euclidiano, supondo S + , [pondo de lado, por momentos, o hbito de representar por S ! ! a origem], a definio de circunferncia VS - produz a figura conhecida, constituda por todos os pontos T B C tais que .E T S mT Sm B +# C ,# - .
71
A tangente em T a recta T 8, onde 8 T S um vector t t ortogonal (ou: normal) ao vector director @ T S, isto , 8 @ !. t t t 2) O chamado plano pombalino,32 tem como pontos e rectas os pontos e as rectas ordinrias do plano cartesiano real, e como funo distncia a funo .P definida por .P T U lB" B# l lC" C# l, onde T B" C" , U B# C# . A medio angular como no plano euclidiano. O interesse deste plano de incidncia, para alm de fornecer muitos contraexemplos, mostrar que a mesma definio de VS - que acima, mas utilizando .P em vez de .E , produz uma figura com aspecto totalmente diferente, a saber, um quadrado, constitudo por todos os pontos T B C tais que .P T S lB +l lC ,l - .
Fig. 83 O teorema seguinte diz respeito s tangentes a uma circunferncia e suas propriedades. 9.3 Teorema (Propriedades das tangentes) (a) Toda a recta perpendicular a um raio de uma circunferncia no ponto terminal tangente circunferncia e, reciprocamente, uma tangente a uma circunferncia perpendicular ao raio no ponto de tangncia. (b) Todo o ponto de uma circunferncia ponto de tangncia de uma nica tangente. (c) Uma tangente a uma circunferncia no contm pontos interiores circunferncia. Dem. (a) Sejam V uma circunferncia de centro S passando por um ponto X , > uma recta perpendicular a SX em X . Suponhamos, com vista a um absurdo, que > passa por um ponto U X em V e sejam j SX , V um ponto no lado oposto de
A nossa designao sugere a disposio das ruas na Baixa pombalina. Nos pases anglfonos, a geometria deste plano de incidncia conhecida por taxicab geometry.
32
72
GEOMETRIAS
U relativamente a j tal que j a mediatriz de UV .33 Pela propriedade caracterstica da mediatriz, V tambm est em > e, por LLL, em V , logo, os pontos X , U e V so trs pontos colineares (pois esto em >) em V, o que absurdo (porqu?). Ento > intersecta V num nico ponto, X , logo tangente a V. Reciprocamente, se = tangente a V no ponto X , seja T o p da perpendicular tirada de S para =. Queremos provar que T X . Se fosse T X , existiria um ponto W tal que T o ponto mdio (p. 13) de WX . Ento X T S WT S, por LAL, donde lSX l lSWl e W V, contra o facto de = ser tangente a V. Portanto, T X e = >.
Fig. 84 (b) Resulta da alnea anterior. (c) Notar que, se X o ponto de tangncia, ento lSX l a mais curta distncia entre S e pontos da tangente >. 9.4 Teorema Se EF uma corda da circunferncia VS -, ento lEF l 2- , e lEF l #- sse EF um dimetro. Dem. Pela desigualdade triangular, lEF l lESl lSFl #- , tendo-se a igualdade sse ESF Definio Duas circunferncias (crculos) dizem-se congruentes sse tm o mesmo raio (numrico).
33
V 5j U a imagem reflectida de U pela reflexo j. Dada uma recta j, a reflexo em j a aplicao 5j definida por T se T j se T j, onde T w o ponto no lado oposto 5j T T w de j tal que j a mediatriz de T T w . A recta j o eixo (ou o espelho) de 5j . O ponto T w 5j T a imagem de T por 5j . A reflexo 5j tambm chamada uma inflexo axial (em j).
73
95 Teorema Numa circunferncia ou em circunferncias congruentes, duas cordas so congruentes sse so equidistantes do centro. Dem. Sejam EF uma corda da circunferncia VS -, HI uma corda de uma circunferncia Vw Sw -, Q o ponto mdio de EF e R o ponto mdio de HI . V e Vw so circunferncias congruentes, pois tm igual raio (- ), e claro que lSQ l ! sse lEFl #- , e lSw R l ! sse lHIl #- , restando analisar o caso em que as cordas no so dimetros. Neste caso, SQ a distncia da corda ao centro, e existem os tringulos EFS e HISw .
Fig. 85 V-se que SQ E e Sw R H so tringulos rectngulos com hipotenusas congruentes (pois tm o mesmo comprimento, -). Pelo critrio HC (p. 44), tem-se lSQ l lSw R l sse lEQ l lHR l. Como lEQ l lHR l sse lEF l lHIl (porqu?), resulta lSQ l lS w R l sse lEFl lHIl, o que prova o teorema. Recorde-se (p. 22) que um conjunto f convexo sse contm o segmento T U sempre que T U so pontos em f . Por outro lado, teremos ocasio de utilizar vrias vezes, no que segue, o resultado seguinte: 9.6 Lema Num EFG , se EHF e lFG l lEG l, ento lGHl lFG l. Dem. Da hiptese lFG l lEG l conclui-se 7nGEF 7nGFH, por pons asinorum, no caso da igualdade, e pelo teorema 5.1, no caso da desigualdade estrita. Como o nGHF externo do GHE, com interno remoto nGEH, 7nGHF 7nGEHF 7nGEF e, novamente pelo teorema 5.1, vem lGFl lGHl.
Fig. 86
Por palavras, isto exprime que um segmento GH inscrito no EFG com um extremo no vrtice G e o outro extremo num ponto H interior ao lado oposto EF menor do que o maior dos outros lados do tringulo.
74
GEOMETRIAS
9.7 Teorema O interior de uma circunferncia (crculo) um conjunto convexo. Dem. Sejam T , U pontos distintos no interior da circunferncia VS -. Se op S T U , ento T U intV, pois T U est contido num dimetro de V e os pontos interiores de um dimetro so trivialmente pontos interiores a V. Se T , U e S no so colineares (v. figura 87), consideremos o T US e tomemos um ponto ao arbtrio E tal que T EU, com vista a provar que E intV. Tem-se lSEl lST l ou lSEl lSUl, pelo lema 9.6. Em qualquer dos casos, lSEl - , pois lST l - e lSUl - , logo E intV.
Fig. 87 Caminharemos agora, finalmente, rumo justificao plena da Proposio I.1 a primeira de todas dos Elementos de Euclides, a qual afirma que possvel construir (com rgua e compasso) um tringulo equiltero, dado um lado. As propriedades das rectas e circunferncias demonstradas nesta parte so conhecidas por propriedades de continuidade e dependem, em grau elevado, das propriedades de continuidade (ou de completude) da recta real , nomeadamente, daquelas propriedades que distinguem o corpo ordenado dos nmeros reais do corpo ordenado dos nmeros racionais e so responsveis, por exemplo, pela existncia de razes quadradas de nmeros reais no negativos, pelas propriedades das funes contnuas, etc. O resultado preliminar seguinte tpico, a este respeito. Pode ser interpretado como significando que dados ao arbtrio um ponto S, um nmero real - ! e uma recta j que no passe por S a uma distncia de S inferior a - , existe um ponto E j distncia - de S e, portanto, um compasso com centro em S e abertura SE. A demonstrao utiliza o teorema dos valores intermdios (tambm designado, por vezes, teorema de Bolzano), uma das propriedades fundamentais das funes reais contnuas, o qual no , obviamente, um teorema da geometria e no ser, por isso, aqui demonstrado. *Teorema dos valores intermdios Se 1 uma funo real definida e contnua num intervalo limitado e fechado + ,, ento para todo o nmero real C entre 1+ e 1, existe um nmero real - entre + e , tal que 1- C .
75
9.8 Lema Dados os pontos S, T , U tais que ST T U e um nmero real - ! tal que lST l - , existe um nico ponto E T U tal que lSEl - . op Dem. Seja 0 um s.c. para j T U tal que 0 T ! e 0 U ! (teorema de colocao da rgua). Por uma propriedade das semi-rectas podemos supor, sem perda de generalidade, que 0 U lT Ul - . Ento lSUl - , pois o ST U rectngulo e a hipotenusa maior do que qualquer cateto. Por 0 ser bijectiva, para cada nmero real B existe um nico ponto \ \B j tal que 0 \ B, o que permite definir uma funo real de varivel real 1 pondo 1B lS\B l .S \B , para todo B . Esta funo 1 contnua em : para quaisquer B, C , pondo \ \B e ] ]C , tem-se l1B 1Cl lS\ S] l \] lB C l, pela desigualdade triangular, donde resulta a continuidade de 1 em B.34 Em particular, 1 contnua no intervalo limitado e fechado ! -, e 1! lST l - , 1- lSUl - , logo, pelo teorema dos valores intermdios, existe um nmero + entre ! e - tal que 1+ - . Sendo E j tal que 0 E +, temos lSEl 1+ - , e at podemos afirmar que E T U.
Fig. 88 A unicidade de um ponto E T U tal que lSEl - resulta do lema 9.6: se F qualquer outro ponto em T U , ento T EF ou T F E e, portanto, lSEl lSFl ou lSFl lSEl, respectivamente. Este resultado tambm pode ser visto como a prova de que, dados nmeros reais ! , - , existe um tringulo rectngulo com hipotenusa de comprimento e um cateto de comprimento , ( lST l, na construo acima). A partir daqui,
Para todo $ ! existe & ! (basta tomar & $ ) tal que l1B 1Cl $ sempre que lB C l &.
34
76
GEOMETRIAS
imediata a prova da existncia de tringulos issceles com lados de comprimentos - , - , #+ (com 0 + - ). Em particular, com - #+ obtemos tringulos equilteros com lado de comprimento - , para qualquer real positivo - . Retomaremos esta questo mais adiante. 9.9 Teorema (Continuidade elementar) Se um segmento EF tem um extremo no interior e o outro extremo no exterior de uma circunferncia, ento o segmento corta a circunferncia. op Dem. Seja V VS - e suponhamos lSEl - e lSFl - . Se a recta EF passa pelo centro S, ento o resultado imediato pelo teorema da construo de segmentos: na semi-recta SF h um nico ponto T distncia - de S, ponto esse que pertence obrigatoriamente a EF e a V. No caso de E, F e S no serem colineares, considere-se o SEF . Basta mostrar que EF intersecta V, pois pelo lema 9.6 o ponto de interseco tem necessariamente de estar em EF .
Fig. 89 Para provar que EF intersecta V, seja T o p da perpendicular tirada de S op para EF . Como lST l lSEl (porqu?), tem-se lST l - , logo T intV. E como este conjunto convexo, EF intersecta V sse T F intersecta V. Porm, pelo teorema precedente, T F intersecta V . Portanto, EF intersecta V , num ponto de EF. 9.10 Teorema (Recta-circunferncia) Se uma recta intersecta o interior de uma circunferncia, ento a recta corta a circunferncia em exactamente dois pontos. Dem. Seja E um ponto comum a uma recta j e ao interior de uma circunferncia V VS -. Se j passa pelo centro de V imediato, pois j contm um dimetro de V. No caso S j, sendo T o p da perpendicular tirada de S para j, tem-se lST l lSEl - , logo T intV. Tomando F , F w j tais que F w T F e lF w T l lT Fl - , tanto F como F w esto no exterior de V, e aplica-se o teorema precedente a EF e EF w (v. fig. 89 acima). j no pode cortar V em mais de dois pontos (porqu?), logo corta V em exactamente dois pontos.
77
O resultado seguinte uma propriedade dos tringulos rectngulos, consequncia do lema 9.6, a utilizar na prova do teorema imediato. 9.11 Teorema (da escada deslizante) Nos tringulos rectngulos EFG e Ew F w G w com nG e nG w rectos, se lEF l lEw F w l e lEG l lEw G w l, ento lFG l lF w G w l. Dem. Exerccio. 9.12 Teorema De duas cordas de uma circunferncia, maior a que estiver mais prxima do centro. Dem. Pelo teorema 9.5 (c) podemos supor, sem perda de generalidade, que as duas cordas EF e GH de VS - so ambas perpendiculares a um dimetro em Q e R , respectivamente, tais que S Q R , conforme a figura. Bastar provar, ento, que lGR l lEQ l.
Fig. 90 Ora, o SGR tem um ngulo recto em R , e o SEQ tem um ngulo recto em Q . Alm disso, lSGl lSEl e lSR l lSQ l, logo lGR l lGQ l pelo teorema anterior. J vimos acima alguns casos de existncia de tringulos rectngulos, issceles e equilteros. A existncia de tringulos com lados de comprimentos dados no uma questo trivial em geometria! O teorema seguinte a Proposio I.22 dos Elementos de Euclides e fornece as condies gerais para a existncia de tringulos com lados de medidas prescritas. 9.13 Teorema (Da Construo de Tringulos) Os nmeros reais positivos +, ,, - so as medidas dos lados de um tringulo sse cada um dos nmeros menor do que a soma dos outros dois. Dem. J sabemos, pela desigualdade triangular, que a medida de qualquer lado de um tringulo menor ou igual soma das medidas dos outros dois lados. A dificuldade est em demonstrar a propriedade recproca desta. Podemos supor, sem perda de generalidade, que + , - .
78
GEOMETRIAS
Sejam E, F pontos tais que lEF l - , 0 um sistema de coordenadas para op EF tal que 0 E ! e 0 F - , VE VE +, VF VF , e sejam H, I tais que 0 H - , e 0 I +; ento H VF , I VE e ! - , + - (pois - , +). Para cada B tal que ! B + existe um nico ponto \ (que depende de B) tal que 0 \ B, e um ponto TB VE tal que XPB EF (na realidade, existem op sempre dois tais pontos TB , um de cada lado de EF , pelo teorema da rectaop circunferncia, mas podemos escolher sempre um deles num lado [ de EF).
Fig. 91 Isto permite definir uma funo real de varivel real 1E ! + pondo 1E B l\TB l ! se ! B + se B +.
Pelo teorema precedente, a funo 1E estritamente decrescente; alm disso, para cada @ tal que ! @ + existe um ponto ] tal que ! 0 ] ? + e 1E ? @, pelo lema 9.7. Isto quer dizer que 1E estritamente decrescente em ! + tomando todos os valores @ tais que ! @ +. Uma funo com estas propriedades necessariamente contnua (v. exerccio 7). Em particular, 1E contnua no intervalo - , +, 1E - , ! e 1E + !. Da banda de VF as coisas passam-se de maneira anloga, obtendo-se uma funo 1F tal que 1F B l\UB l com XQB EF (os UB s tomados no semiplano [), desta feita estritamente crescente mas, o que mais importante, contnua tambm em - , + tal que 1F - , ! e 1F + !. Definamos em - , + a funo 2 por 2B 1E B 1F B. claro que 2 contnua, 2- , 1E - , ! e 2+ 1F + ! logo, pelo teorema dos valores intermdios, existe um nmero real > entre - , e + op tal que 2> !, isto , tal que 1E > 1F >. Se X o ponto de EF com coordenada 0 X >, a perpendicular a EF em X contm um ponto G
79
simultaneamente em VE e VF , e claro que lEG l +, lFG l , e lEF l +. O EFG a soluo procurada. Este teorema (como outros que o precedem) mais fcil de demonstrar em geometria euclidiana, ou no plano euclidiano real porque, a, podemos utilizar o teorema de Pitgoras e fazer umas contas simplificadoras (v. adiante). Estamos, finalmente, em condies de concretizar uma promessa de longa data. 9.14 Teorema (Das duas circunferncias, ou da Continuidade Circular) Se VE VE + e VF VF , so circunferncias cujos centros esto distncia - lEFl, tais que cada um dos nmeros +, ,, - menor do que a soma dos outros dois, ento as duas circunferncias cortam-se em exactamente dois op pontos, um em cada lado de EF . Dem. Pelo teorema da construo de tringulos existe um T UV tal que lT Vl +, lVUl , e lT Ul - (v. figura 92). Pelo teorema da construo de op ngulos e segmentos existem pontos G" e G# , um de cada lado de EF , tais que nFEG" nUT V nFEG# e AC" T V AC# . Ento G" e G# pertencem a VE . Alm disso, FEG" UT V e FEG# UT V , por LAL, logo lFG" l , lFG# l. Portanto, G" e G# tambm pertencem a VF . Como duas circunferncias no podem ter mais de dois pontos comuns, G" e G# so os nicos pontos comuns a VE e VF .
Fig. 92 9.15 Corolrio (Proposio I.1 dos Elementos) Dado um segmento EF , existe um tringulo equiltero com lado EF . Dem. Exerccio de aplicao do teorema.
9.1. 9.2. Demonstre as partes (a) e (b) do teorema 9.5. Mostre, a partir do lema 9.7, que existe um tringulo issceles com lados de comprimentos - , - e #+ com - + !.
80 9.3.
GEOMETRIAS Verdade ou falso? (a) No existem duas circunferncias concntricas e congruentes; (b) o exterior de uma circunferncia um conjunto convexo; (c) com excepo do ponto de tangncia, todos os pontos de uma tangente so exteriores circunferncia; (d) trs pontos (distintos) quaisquer esto sobre uma circunferncia; (e) trs pontos sobre uma circunferncia determinam o centro e o raio da circunferncia; (f) se uma recta intersecta uma circunferncia, ento o p da perpendicular do centro da circunferncia para a recta est no interior da mesma. Mostre que uma circunferncia de raio - possui uma corda de comprimento B sse ! B #- . Mostre que duas circunferncias intersectam-se num nico ponto sse elas possuem uma tangente comum. Demonstre o teorema da escada deslizante. Demonstre o teorema seguinte: se M , N so intervalos limitados e fechados em e 1 M N estritamente decrescente e sobrejectiva, ento 1 contnua em M . [Sugesto: prove a continuidade num ponto arbitrrio de M por meio de sucesses (definio Heine) e utilize o teorema das sucesses montonas.] Mostre que a unio de uma circunferncia com o seu interior (isto , um crculo) um conjunto convexo. Comente as seguintes frases: (a) Entre os Gregos, a geometria foi sempre venerada com a mxima distino, e no existia coisa mais gloriosa do que a matemtica. Mas ns limitmos a utilidade desta arte s medies e aos clculos. (Frase atribuda a Ccero); (b) Conheci um professor, alis excelente pedagogo, que obrigava os seus alunos a acompanhar todas as demonstraes com figuras incorrectas, de acordo com a doutrina de que a ligao lgica dos conceitos, no a figura, que era essencial. (Frase atribuda ao fsico E. Mach); (c) Ao estudar geometria, e muito importante desenhar figuras apropriadas. As figuras ilustram qual , provavelmente, o teorema correcto e indicam como poderemos proceder para tentar demonstr-lo. claro que a demonstrao efectiva tem de se sustentar logicamente a si mesma e ser independente das figuras. Na geometria e, de facto, em toda a matemtica, devemos ter sempre presente o perigo das figuras e viver perigosamente. Faam muitas figuras!, in SNAPPER e TROYER, p. 7.
9.4.
9.5.
9.6. *9.7.
9.8.
9.9.
Captulo 10
Arcos de circunferncia
Este captulo contm alguns teoremas elementares sobre arcos de circunferncia, sua medio e relaes diversas entre arcos e ngulos. Todos os resultados aqui expostos so relativos geometria euclidiana. Definio Seja V uma circunferncia de centro S . Um ngulo ao centro de V um ngulo cujo vrtice S. Se E e F so dois pontos de V, o arco menor w EF o conjunto dos pontos constitudo por E, F e os pontos de V no interior do w ngulo ao centro nESF , e o arco maior EF o conjunto constitudo por E, F e todos os pontos de V no exterior do nESF . Em qualquer dos casos, os pontos E e F so chamados os extremos do arco. Se EF um dimetro de V, cada um dos conjuntos constitudo por E, F e todos os pontos de V num semiplano limitado por op EF uma semicircunferncia.
Y A X
B C
Fig. 93 w claro que a notao \] para arcos ambgua. Para remover a ambiguidade, em caso de dvida, habitual incluir na notao um terceiro ponto w w w do arco. Na figura acima, o arco E\ F o arco menor EF , e o arco E]F o w w w w arco maior EF ; G ]E e G\E GFE so semicircunferncias. A medio de arcos pode-se fazer custa da medio de ngulos, mediante as definies seguintes, relativas a uma circunferncia de centro S: w w (1) se E\ F um arco menor, ento 7E\ F 7nESF; 81
82
GEOMETRIAS
w w (2) se E\ F uma semicircunferncia, ento 7E\ F 1; w w (3) se E\ F um arco maior, ento 7E\ F #1 7nESF. Assim, cada arco de circunferncia ter uma medida entre ! e 1, excepto as semicircunferncias cuja medida exactamente 1. Atendendo a que a medio angular aditiva (axioma A( , p. 127), temos tambm a aditividade da medio de arcos de circunferncia: w w 101 Teorema (Aditividade) Se EF e FG so arcos da mesma circunferncia VS - com um nico ponto comum F e a sua unio um arco w w w w EG , ento 7EF G 7EF 7EG . Dem. A demonstrao simples mas longa, pois h que discutir separadamente cinco casos possveis. Damos apenas algumas indicaes para cada um dos casos, deixando a verificao dos pormenores para o leitor. w Caso 1. EF G um arco menor: aplicar directamente o axioma A( ; w Caso 2. EF G uma semicircunferncia: note que nESF e nFSG so suplementares adjacentes. w Caso 3. EF G um arco maior e os pontos E e G esto em lados opostos do dimetro FF w : aplicar o caso 2;
Fig. 94 w Caso 4. EF G um arco maior e os pontos E e G esto no mesmo lado de FF w ; w w w Caso 5. EF G um arco maior e um dos arcos EF , EG uma semiw w w circunferncia: neste caso, EG e FG so arcos menores e 7EF G w w w w w #1 7EG 1 1 7EG 1 7FG 7EF 7FG . w Se EF G um arco de circunferncia, o ngulo nEFG diz-se inscrito no arco w EF G . Neste caso, o vrtice do ngulo pertence ao arco, mas h muitas outras posies possveis de um ngulo relativamente a uma circunferncia ou arco de circunferncia, com o vrtice do ngulo no interior, sobre ou no exterior da circunferncia.
10. Arcos de circunferncia
83
B C
Fig. 95 Interessam-nos os casos em que cada lado do ngulo nEFG intersecta a circunferncia em um ou dois pontos, conforme as figuras seguintes. Junto a cada figura est a designao do ngulo em causa; em cada caso, o(s) arco(s) diz-se compreendido no ngulo (ou nos lados do ngulo) e o ngulo compreende o(s) arco(s), respectivamente.
Fig. 96 102 Teorema A medida de um ngulo inscrito numa circunferncia igual a metade da medida do arco compreendido nos seus lados. w w Dem. Seja nE o ngulo inscrito no arco FE G , compreendendo o arco FG . w Temos de mostrar que 7nE 1 7FG . H trs casos a considerar. 2 Caso 1. O nE contm um dimetro, digamos EG . Sendo B, C, D as medidas indicadas na figura a seguir (caso 1), tem-se 7nE B D 1 e B C 1. Mas o EFS issceles, logo 7nE B, donde #7nE 1 D w C 7FG , isto , 7nE w " 7FG . #
Caso 2. F e G esto em lados opostos do dimetro EH. Ora, 7nE
84
GEOMETRIAS
w w w w w B C 1 7FH 1 7HG , pelo caso 1, mas 7FH 7HG 7FH 2 2 w G, pela aditividade, donde, tambm neste caso 7nE 1 7FG 2
B x A z y O C A
B y x
B y O C D A x z O
Caso 3
Caso 1
Caso 2
Fig. 97
Caso 3. F e G do mesmo lado do dimetro EH. Neste caso, 7nFEG D B C 7nFEG 7nGEH, w w w e 7FGH 7FG 7GH, donde 7nFEG C D B w w w " " " 7FGH 7GH 7FG . # # #
Consequncias imediatas deste teorema so: 10.3 Corolrio (a) Um ngulo inscrito numa semicircunferncia recto. (b) ngulos inscritos no mesmo arco so congruentes. Dois arcos, de uma mesma circunferncia ou de circunferncias congruentes, com a mesma medida dizem-se congruentes. So tambm fceis de demonstrar (exerccios) os teoremas seguintes: 10.4 Teorema Se duas rectas paralelas intersectam uma circunferncia, ento os arcos compreendidos entre as duas rectas so congruentes. 10.5 Teorema Numa circunferncia ou em circunferncias congruentes, duas cordas so congruentes sse os arcos menores por elas determinados so congruentes. 10.6 Teorema A medida de um ngulo de um segmento igual a metade da medida do arco compreendido pelo ngulo. 10.7 Novamente o teorema da construo de tringulos Como se disse anteriormente, a demonstrao do teorema da construo de tringulos mais simples na geometria euclidiana do que na geometria absoluta. No que segue, trabalhamos no contexto da geometria euclidiana.
85
A referida demonstrao, num sentido (implicao da esquerda para a direita) imediata, pela desigualdade triangular. Antes de fazer a demonstrao no outro sentido vamos explorar um pouco a situao com o intuito de descobrir uma demonstrao. Mais exactamente, vamos supor que o problema da construo do tringulo com lados + , - (tais que cada lado menor do que a soma dos outros dois) j est resolvido. Isto nos indicar algumas condies necessrias para uma soluo do problema, condies essas que nos podero ajudar a encontrar a soluo. Este o chamado mtodo do problema resolvido e assenta na esperana (optimismo matemtico) de que condies necessrias sejam tambm suficientes o que nem sempre acontece, mas s se sabe tentando. Suponhamos, pois, que existe um tringulo EFG com lEF l - , lEG l , e lFGl +. Como EF o maior lado, se H o p da perpendicular tirada de G op para EF, tem-se EHF (exerccio 4).
Fig. 98 Pondo EH B, GH C, tem-se HF - B e, pelo teorema de Pitgoras, aplicado duas vezes, (1) e (2) C# +# - B# , C # , # B# ,
donde ,# B# +# - B# , o que d, resolvendo em ordem a B, (3) B claro que, de (1), se obtm (4) - # , # +# . #-
C , # B# .
Reciprocamente, fcil constatar que das condies (3) e (4) se podem obter (1) e (2). Agora que j sabemos que as condies (3) e (4) so necessrias para o problema ter soluo, podemos recomear, tentando construir uma soluo. # # # Tomemos um segmento EF de comprimento - , e ponhamos B - , + . #-
86
GEOMETRIAS
Como - # +# ! e ,# !, tem-se B !. Antes de poder definir C ,# B# temos de certificar-nos que ,# B# !. De facto, tem-se ,B, - # , # +# #,- - # ,# +# +# - ,# . ###-
Como, por hiptese, - + ,, isto , - , + e tanto + como - , so no negativos, tem-se - ,# +# , logo , B !. Assim, legtimo definir C ,# B# .35 Seja H EF tal que EH B. Escolhido um semiplano op limitado por EF e uma semi-recta HI perpendicular a EF , seja G HI tal que lHGl C. Como B e C, pela maneira como foram definidos, satisfazem (3) e (4), tambm satisfazem (1) e (2), donde (1w ) e (2w ) - B# C# +# . B# C # , # ,
Mas B# C# lEG l# e - B# C# lFG l# , logo lEG l# , # e lFG l# +# . Como + e , so positivos, podemos concluir lEG l , e lFG l +, o que mostra que o EFG tem as medidas pretendidas. Terminamos este captulo com mais alguns resultados sobre circunferncias que envolvem a semelhana de tringulos na sua demonstrao. 10.8 Teorema (das duas cordas) Se duas cordas de uma circunferncia se cortam em segmentos de comprimentos +, , e - , . , respectivamente (v. figura 99), ento +, -.
Fig. 99
Observe aqui a introduo de razes quadradas de nmeros reais positivos, cuja existncia nem sempre pode ser assegurada no corpo dos nmeros racionais.
35
87
Dem. Sejam as cordas EH e FG , que se cortam no ponto I , determinando segmentos de comprimentos +, ,, - , . , conforme a figura acima. Pelo corolrio 10.3, nE nG e nF nH, logo EFI GHI , por AA , e, portanto, + os lados correspondentes so proporcionais, donde . - e, por conseguinte, , +, -. 10.9 Teorema Seja E um ponto exterior a uma circunferncia V , EF um segmento tangente a V em F , e EH um segmento com o extremo H na circunferncia V , cortando esta num ponto G . Ento lEF l# lEG l lFG l.
Fig. 100 Dem. Traando FG e FH como na figura acima, por 10.6 tem-se nEFG nEHF , e como o nE comum, vem, por AA , logo EFG lEF l EHF , donde lEHl lEG ll , e daqui o resultado pretendido. lEF 10.10 Teorema de Menelau Se um recta j corta os lados de um tringulo EFG ou os seus prolongamentos, se necessrio, em pontos H, I e J , ento lEHl lFJ l lGIl ". lFHl lGJ l lEIl
Fig. 101
88
GEOMETRIAS
op Dem. Tiremos por E a paralela a FG , que corta j, digamos em K. Ento EHK FHJ (porqu?) e, analogamente, EIK GIJ , donde lEHl lFHl e lEKl lFJ l |EI | |GI | . |EK| |GJ |
Eliminando EK destas duas propores obtm-se o resultado pretendido. 10.11 Teorema da potncia Seja I um ponto exterior a uma circunferncia V, e tiremos por I duas secantes que cortam a circunferncia V nos pontos E, F e G , H, respectivamente. Ento |IE| |IF | |IG | |IH|. Dem. Exerccio, no estilo das demonstraes dos teoremas anteriores. Este teorema diz-nos, por palavras, que o produto |IE| |IF | s depende do ponto I e no da secante particular passando por este ponto. A este produto habitual chamar potncia do ponto I relativamente a V. Observe-se que os teoremas 10.8 e 10.9 so exactamente da mesma natureza que este.
10.1. Dadas duas circunferncias com uma tangente comum num ponto E e tal que a segunda passa pelo centro da primeira, mostre que toda a corda da primeira que passa por E cortada ao meio pela segunda. Prove que num quadriltero convexo inscrito numa circunferncia, quaisquer dois ngulos opostos so suplementares e que, reciprocamente, se um par de ngulos de um quadriltero convexo so suplementares, ento o quadriltero est inscrito numa circunferncia. Demonstre as quatro consequncias do teorema 10.2 indicadas no texto. Demonstre a propriedade referida imediatamente antes da figura 98, por reduo ao absurdo, utilizando o facto de, na geometria euclidiana, um tringulo ter, quando muito, um ngulo recto ou um ngulo obtuso (porqu?). Seja EFG um tringulo, e suponha que a bissectriz do nE corta o lado lEFl lFHl oposto num ponto H entre F e G . Prove que lFHl lHGl . Prove (imitando a demonstrao do teorema de Menelau), o seguinte: Teorema de Ceva Se T um ponto interior ao EFG e se as rectas passando por T e cada um dos vrtices cortam os lados opostos em pontos J , I e H, respectivamente, ento lEHl lFJ l lGIl ". lFHl lGJ l lEIl
10.2.
10.3. 10.4.
10.5. 10.6.
Captulo 11
Construes com rgua e compasso

A geometria de Euclides essencialmente a geometria de dois instrumentos paradigmticos, a rgua (no graduada) e o compasso. J no ser assim, exclusivamente, na geometria moderna, e sabido que os prprios gemetras da antiguidade desenvolveram muitos outros instrumentos para alm daqueles dois (e mais poderosos do que eles). Mas a questo das construes com rgua e compasso um tema eterno (no esgotado!) das matemticas. Neste captulo desenvolvemos alguns aspectos do tema na vertente positiva (exemplificao de construes diversas) e dizemos algo acerca da vertente negativa (impossibilidade de algumas construes), no contexto da geometria euclidiana. Antes, porm, conveniente dar alguns esclarecimentos pertinentes. Os instrumentos (rgua no graduada e compasso) so instrumentos ideais que desenham ou constroem rectas e circunferncias ideais a grossura do trao ou a construo aproximada no so de ter em conta. Uma recta determinada por dois pontos, e uma circunferncia tambm, mas, ao contrrio daqueles, com papis diferenciados um para centro e outro para terminal de um raio. Para alm dos objectos inicialmente dados, sobre os quais se faz a construo pedida, no so permitidas, em geral, escolhas arbitrrias de elementos geomtricos. As construes tm a sua justificao, em ltima anlise, nos teoremas da geometria euclidiana como, por exemplo, os teoremas da construo de ngulos e segmentos, da existncia e unicidade de perpendiculares e paralelas, de congruncia e semelhana de tringulos, o teorema de Pitgoras e os teoremas da recta-circunferncia e das duas circunferncias. Todavia, h que chamar a ateno para o seguinte facto, para que se entenda bem o esprito ou atitude para com o tema das construes com rgua e compasso. Embora os referidos teoremas tenham sido demonstrados recorrendo a uma axiomtica mtrica, ou seja, com instrumentos mtricos basicamente a rgua graduada (axioma A% , p. 127) e o transferidor (axioma A' , p. 127) a utilizao destes instrumentos no est conforme a tradio grega que considerava a medio como uma actividade essencialmente de natureza prtica, desmerecedora do interesse de matemticos e filsofos. Eles no sero, por isso, utilizados directamente nas construes a seguir.
89
90
GEOMETRIAS 11.1 Exemplos de construes com rgua e compasso C1. Construir a mediatriz de um segmento dado.
Soluo: Dado EF , constroi-se uma circunferncia V" com centro E e raio EF e uma circunferncia V# com centro F e raio FE. Supondo lEF l - , claro que cada um dos nmeros - , - , - menor do que a soma dos outros dois, logo as duas circunferncias cortam-se em dois pontos, digamos T e U, um de cada lado op op de EF. Portanto, T U intersecta EF , digamos num ponto V . Como T U corda comum, V interior a ambas, e lEVl, lFVl so menores do que - , logo tem de ser EV F .
Fig. 102 Por outro lado, tem-se T EU T FU, por LLL, donde nET V nFT V e ET V FT V , por LAL. Daqui resulta nEVT nFVT , logo op T U EF e lEVl lFVl. Portanto, T U a mediatriz de EF . C2. Construir o ponto mdio do segmento EF . Soluo: Na construo C1, o ponto V o ponto mdio de EF . C3. Construir a perpendicular a uma recta dada passando por um ponto dado sobre esta. op Soluo: Dada uma recta j EF e um ponto T j, podemos supor, sem perda de generalidade, que T E (v. fig. 103). Construir a circunferncia com centro T e raio T E, a qual intersecta j num outro ponto, digamos U (que poder coincidir com F ou no no importa). Construir a mediatriz de EQ, que perpendicular a j em T .
91
Fig. 103 C4. Dados trs pontos E, T e U, construir um rectngulo T UVW tal que T W ET . Soluo: Construir a perpendicular j" a T U em T e a circunferncia com centro T e raio T E, que corta j" em dois pontos, digamos W e W w . Construir j# perpendicular a T U em U, e j$ perpendicular a j# em W . j# intersecta j$ , caso op op contrrio T W e T U seriam paralelas (porqu?), o que absurdo. Seja V o ponto de interseco. No quadriltero T UVW (Fig. 104), lados opostos so paralelos (quer dizer, esto contidos em rectas paralelas) e trs dos ngulos so rectos, logo o quarto tambm recto (porqu?), portanto T UVW um rectngulo.
Fig. 104
Fig. 105
C5. Dado um segmento EF e uma semi-recta GH , construir um ponto I GH tal que GI EF . Soluo: Primeiro constroi-se o rectngulo FGT U com FU EF (Fig. 105). Ento CP EF. Com centro em G e raio GT , constroi-se uma circunferncia, a qual corta GH num ponto I tal que GI EF .
92
GEOMETRIAS
11.2 lgebra com rgua e compasso Sejam dados segmentos de comprimento ", + e ,. Mostramos como construir, com rgua (no graduada) e compasso, segmentos de comprimentos + ,, " , , +,, + + e +.
As justificaes das construes em causa utilizam os teoremas da geometria euclidiana, tal como anteriormente, mas nelas no se far qualquer medio e, por isso, so fieis ao esprito geomtrico dos gregos. So casos particulares do que poderamos chamar lgebra geomtrica. Todavia, no tempo dos gregos um produto de dois comprimentos seria sempre interpretado como uma rea, um produto de trs como um volume, etc. Somente com Ren Descartes (1596-1650) que a lgebra geomtrica se emancipou daquelas limitaes interpretativas. AG1. + , Imediato: sobre uma semi-recta dada EF , construmos (por C5) um segmento EG de comprimento + e um segmento GH de comprimento , , de tal modo que EG H. EH tem comprimento + , . . Se + " no h nada a fazer. Suponhamos + " (o caso + " anlogo). Dado um ngulo nFEG , em EF construimos H e I tais que lEHl + e lEIl ", respectivamente, e em EG construmos J tal que lEJ l " (v. figura 106). op op Com vrtice I construmos o ngulo nEIT nEHJ , pelo que IT HJ ; IT corta EG , digamos em K. Como EHJ EIK (porqu?), o segmento EK tem comprimento "+, pois AG2. " lEKl . + "
" +
Fig. 106
Fig. 107
93
AG3. +,. uma construo semelhante anterior, correspondente figura 106:36 lEHl , . + "
, " AG4. + + , composio de AG3 e AG4 (v. figura 106). AG5. +. Primeiro construmos segmentos EF e FG tais que EF G , lEF l " e lFG l +. Com centro em Q ponto mdio de EG e raio
lQ El lQ Gl
"+ , #
op traamos uma circunferncia. De seguida tiramos uma perpendicular a EG em F , que intersecta a circunferncia em dois pontos, um dos quais H ilustrado na figura seguinte. Seja B lFHl.
Fig. 108 Como EFH HFG , tem-se B lFHl lFG l + , " lEF l lFHl B donde B# +, o que mostra que FH o segmento pretendido. *11.3 Resolver equaes com rgua e compasso no plano euclidiano Utilizando a rgua (no-graduada, sempre) e o compasso podemos multiplicar, dividir e extrair razes quadradas de nmeros positivos. A questo que agora nos interessa a de saber que pontos do eixo SB do plano # (fixado um referencial cartesiano ortonormado) conseguimos obter com rgua e compasso, partindo de pontos sobre o eixo SB com abcissas ", +, ,, etc., sendo estas ltimas possivelmente negativas. Isto no problema, pois se j tivermos obtido pontos com abcissas + e , ento facilmente obtemos (sempre com rgua e compasso) pontos com abcissas +, + , , , +, +, , +,, etc. Supomos o leitor familiarizado com a noo de corpo ordenado.
Esta figura (ou uma qualquer figura semelhante a ela) foi designada por configurao de Tales pelo Prof. J.J. Dionsio.
36
94
GEOMETRIAS
Definio Um corpo ordenado diz-se euclidiano sse todo o elemento positivo do corpo possui uma raz quadrada positiva. Dizer que o corpo ordenado euclidiano dizer, portanto, que a equao B# + tem soluo positiva no corpo, para qualquer elemento positivo + do corpo. Uma tal soluo denota-se +, e bvio que + tambm uma soluo, negativa, da mesma equao. Obviamente, o corpo ordenado dos nmeros racionais no euclidiano (tome + #); o corpo ordenado dos nmeros reais euclidiano, mas existem corpos ordenados euclidianos propriamente contidos (como subcorpo) em (v. adiante). Pelo que acima se disse podemos, com rgua e compasso, executar todas as operaes pernitentes definio de corpo ordenado euclidiano, isto , somar, subtrair, multiplicar, dividir e extrair razes quadradas, desde que tais operaes sejam algebricamente possveis. O que acima se disse para o eixo SB tambm vale para o eixo SC . Um ponto T B C do plano construtvel com rgua e compasso sse as coordenadas B e C so construtveis com rgua e compasso. de esperar, portanto, que alguns problemas algbricos possam ser resolvidos com construes com rgua e compasso. A questo no furtuita, como veremos nos exemplos seguintes. Salvo meno em contrrio, lidamos apenas com pontos sobre o eixo SB. Construir um nmero construir, com rgua e compasso, um ponto sobre SB a partir dos pontos sobre SB cujas abcissas so os nmeros dados (supostos construtveis). P1. Dados pontos sobre o eixo SB com abcissas +, ,, - tais que ,# %+- !, construir as razes da equao +B# ,B - !.
, , As razes so B" , #+ %+- e B# , #+ %+- , ambas construtveis, pois somente efectamos somas, diferenas, produtos, divises e extrao de razes quadradas.
#
P2. Dados pontos sobre o eixo SB com abcissas +, ,, - , +w , ,w e - w tais que +, ,+w !, construir a soluo do sistema
w
+B , C - ! +w B , w C - w ! . Nas condies dadas, estas duas equaes representam rectas no paralelas, que se intersectam num ponto B! C! , com B! ,- w ,w +w - +- w , C! w , +,w ,+w +, ,+w
logo ambos construtveis. H, porm, um caminho mais curto para obter esta soluo, com rgua e compasso. Se +, , e - so construtveis, ento existem, pelo menos, dois pontos da recta de equao +B ,C - ! que so construtveis: se , !, os pontos ! - , e " - +,; se , ! (recta vertical), os pontos - + ! e - + ". Analogamente para a outra recta. Com dois dos seus pontos claro que a recta que passa por eles construtvel com rgua e compasso; a interseco das duas rectas ser, pois, construtvel com rgua e compasso.
95
P3. Supondo dados os nmeros +, ,, - , +w , ,w e - w , com - ! e +w # ,w # !, construir as solues B" C" e B# C# , caso existam, do sistema B +# C ,# - # +w B , w C - w ! . A primeira equao representa uma circunferncia com centro e raio construtveis, obviamente construtvel com compasso, e a segunda equao representa uma recta, construtvel com rgua.
Fig. 109 A interseco das duas figuras, se no vazia, fornece as solues. P4. Dados +, ,, - , . w , I e J e sabendo que a primeira equao representa uma circunferncia (isto , +# ,# %- !) e a segunda uma recta, construir, se existirem, as solues do sistema B # C # +B , C - ! . w B IC J !. O grfico da recta pode ser construdo, como j sabemos, mas no bvio que o grfico da primeira equao tambm pode ser construdo com rgua e compasso. Mas pode: completando o quadrado, a primeira equao equivalente a + # , # + # , # %, B C # # %
, " logo a circunferncia tem centro no ponto + # e raio < # +# ,# %- , # ambos construtveis. Construdas as duas figuras, construtvel a sua interseco.
P5. Dados +, ,, - , . , / e 0 e sabendo que as duas equaes representam circunferncias, construir, se existirem, as solues do sistema B # C # +B , C - ! B # C # . B /C 0 ! .
Construdas as duas figuras, construtvel a sua interseco. Os mtodos anteriores ilustram uma ligao profcua entre a geometria e a lgebra, caracterstica da geometria moderna, embora estranha maneira de fazer geometria dos gregos antigos. Essa ligao permite resolver facilmente alguns problemas que os gemetras gregos acharam muito difceis, e at encontrar solues (em certo sentido) de problemas que se revelaram impossveis para os
96
GEOMETRIAS
gemetras da Grcia antiga. O problema seguinte um dos possveis (mas mais difcil, com rgua e compasso). 11.4 O problema de Apolnio o problema de construir, com rgua e compasso, se possvel, todas as circunferncias V tangentes simultaneamente a trs circunferncias dadas V" , V# e V$ .
Fig. 110 Utilizaremos os mtodos acima explicados. Dada V" com centro T" e raio -" e V com centro T e raio - , a condio para as duas circunferncias serem tengentes terem um nico ponto comum, o que pode acontecer de trs maneiras distintas, conforme a sua posio relativa, ilustrada nas figuras seguintes:
Fig. 111 No primeiro caso, as duas circunferncias so exteriores uma outra (com excepo do ponto de tangncia) e, nos outros dois casos, uma delas interior outra (tambm com excepo do ponto de tangncia), sendo a relao entre a distncia dos centros e os raios dada por (1) lT T" l - -" , (2) lT T" l - -" , (3) lT T" l -" - ,
respectivamente. Reciprocamente, se estas relaes so satisfeitas, tem lugar a condio geomtrica de tangncia. Resumindo, as circunferncias V e V" so
10. Arcos de circunferncia tangentes sse (4) lT T" l# - -" #
97
Pondo T + ,, T3 +3 ,3 para 3 ", #, $, v-se que V tangente s trs circunferncias sse o sistema das trs equaes da forma (4) (5) (6) (7) + +" # , ," # - -" # + +# # , ,# # - -# # + +$ # , ,$ # - -$ #
tem soluo em +, ,, - , para alguma escolha dos sinais e em cada equao. Existem ao todo oito escolhas possveis destes sinais e, claro, pretendemos que uma soluo possa ser encontrada com rgua e compasso, se alguma existir, no sendo de excluir a possibilidade de mais de uma soluo. Simplificando (5) obtemos
# # # +# ,# - # #+" + #," , #-" - -" +" ," ,
que da forma (8) e, analogamente, (9) (10) +# ,# - # +ww + ,ww , - ww - . ww !, +# ,# - # +www + ,www , - www - . www !, +# , # - # +w + , w , - w - . w ! ,
sendo nmeros construtveis todos os coeficientes (+w , +ww , etc.). Subtraindo membro a membro (8) de (9) e de (10), obtemos igualdades da forma (11) (12) 4+ 5, 6- 7 !, 4w + 5 w , 6w - 7w !,
em que os coeficientes tambm so construtveis. Podemos agora resolver este sistema em + e , , tratando 6- 7 e 6w - 7w como se fossem constantes, obtendo (como no problema P2 acima) expresses para + e , em termos de - da forma + 4" - 5 " , , 4 # - 5 # , com coeficientes construtveis. Substituindo em (8) obtemos uma equao quadrtica em - , cujos coeficientes so construtveis: 4" - 5" # 4# - 5# # - # +w 4" - 5" ,w 4# - 5# - w - . w ! Esta equao pode-se resolver com rgua e compasso (problema P1 acima) e, portanto, + e , podem ser encontrados com rgua e compasso. Observe-se que algum dos passos acima pode ser algebricamente impossvel, o que acontecer se o
98
GEOMETRIAS
problema geomtrico for impossvel. Seria o caso, por exemplo, se as trs circunferncias dadas fossem concntricas. Por outro lado, o problema de Apolnio admite algumas variantes que tambm podem ser resolvidas com rgua e compasso (se existirem solues). Uma variante o caso degenerado de uma circunferncia dada, digamos V" , se reduzir a um ponto, T" (fazer -" !); outro caso degenerado o de duas das circunferncias dadas se reduzirem a pontos; outro ainda j nosso conhecido: obter V passando por trs pontos (no colineares), etc. Uma observao final: o mtodo da construo com rgua e compasso assenta em bases slidas, geomtricas e algbricas, que no se devem confundir com o simples traado de Desenho Rigoroso de rectas e circunferncias. Este, por muito rigoroso que pretenda ser, est sujeito acumulao de erros derivados da imperfeio dos instrumentos e da grossura do trao e, por si mesmo, no demonstra a existncia dos pontos que suposto estarem no desenho para se completarem as figuras. *11.5 Sobre os trs problemas clssicos Os chamados problemas clssicos da construo com rgua e compasso desafiaram os matemticos e gemetras ao longo dos sculos, at ser demonstrada a sua impossibilidade no sculo XIX. A lio mais importante a tirar das tentativas goradas que antecederam a soluo final (pela negativa) que a geometria, como qualquer outro ramo das matemticas, no uma ilha isolada auto-suficiente e sobranceira relativamente aos outros ramos. Se, at certo ponto, o desenvolvimento de uma teoria hipottico-dedutiva, como a geometria, pode prescindir dos outros ramos, no menos verdade que alguns problemas nela formulados parecem exigir que se procurem fora dela mtodos e conceitos alternativos e, qui, mais poderodos. precisamente o caso das construes com rgua e compasso, no que respeita aos trs problemas clssicos. Utilizando funes transcendentes e outros instrumentos, os problemas em questo foram resolvidos de muitas e variadas maneiras e muito provvel que, se fosse possvel resolv-los com rgua e compasso, os gemetras gregos teriam encontrado uma ou mais solues. Porm, se no for possvel resolv-los com rgua e compasso, haver que demonstrar matematicamente esta impossibilidade e, para o conseguir, torna-se imperioso dispor de uma caracterizao matemtica das construes com rgua e compasso, o que pode obrigar a sair para fora do domnio da geometria pura. por esta razo que tantos sculos tardaram at se encontrar uma demonstrao de impossibilidade, e aqui que entram a lgebra e a Anlise, para fornecerem tais caracterizaes e permitirem demonstrar a referida impossibilidade. Os trs problemas clssicos em questo so: (I) o problema da trisseco do ngulo arbitrrio, (II) o problema da duplicao do cubo, (III) o problema da quadratura do crculo. Como se disse, durante o sculo XIX, provou-se a impossibidade de resolver estes trs problemas utilizando apenas a rgua no graduada e o compasso. Esta impossibilidade tinha sido afirmada por Carl Gauss no princpio do sculo, mas sem fornecer nenhuma prova matemtica. Em 1837, P.L. Wantzel demonstrou a
99
impossibilidade dos dois primeiros problemas, mas s em 1882 que foi demonstrada a impossbilidade do terceiro problema (v adiante). Quanto ao primeiro problema, o que est em causa a impossibilidade de um mtodo geral para construir uma trissectriz de um ngulo arbitrrio. Recorde-se que uma trissectriz de um ngulo geomtrico nFEG uma semi-recta EH, com H intnFEG, tal que 7nHEF " 7nFEG ou 7nHEG $ " 7nFEG. Facilmente se prova na geometria euclidiana, com a axiomatizao $ que foi dada, que todo o ngulo geomtrico possui exactamente duas trissectrizes, mas a questo construir uma delas com rgua e compasso, o que s possvel em casos particulares (por exemplo, no caso de um ngulo recto). Mais exactamente, provou-se que impossvel construir com rgua e compasso uma trissectriz de um ngulo com medida 1$ (ou '!). Quanto ao segundo problema, pretende-se construir com rgua e compasso um nmero , (isto , um segmento de comprimento ,) tal que ,$ #. Este um caso particular da questo geral de encontrar um segmento com comprimento , tal que ,$ #+$ , onde + o comprimento de um segmento dado (+ ", no caso particular). Mas quer o caso geral quer o caso particular so impossveis de resolver nas condies propostas. A resoluo, pela negativa, das duas primeiras questes acima passa pela considerao do chamado plano construtvel, um plano contido propriamente no plano euclidiano, cujos pontos T B C so tais que B e C so nmeros construtveis, isto , podem-se obter a partir de ! e " por um nmero finito de adies, subtraces, multiplicaes, divises e extraces de razes quadradas. Tais pontos so chamados, naturalmente, pontos construtveis. O conjunto dos nmeros construtveis forma mesmo um subcorpo de (para as operaes induzidas). Acontece que toda a construo com rgua e compasso possvel no plano euclidiano possvel no plano construtvel. Assim, questes como (I) e (II) tornam-se questes objectivas no plano construtvel, e as respostas a ambas so negativas: para (I), porque impossvel construir a bissectriz de um ngulo nFEG de 13 radianos definido por pontos E, F e G (pelo menos) construtveis e, para (II), porque a raz cbica de # no construtvel, mas para demonstrar isto seria necessrio extravazar o mbito deste curso para os domnios da lgebra das equaes (extenses quadrticas de corpos). Para uma exposio do pretendido, consulte-se o Cap. 2 da nossa monografia Transformaes Geomtricas. Finalmente, o problema (III) consiste em construir, com rgua (no graduada) e compasso um segmento que seja o lado de um quadrado com rea igual de um crculo dado. Chamam-se algbricos os nmeros reais que so solues de equaes polinomiais (numa indeterminada) com coeficientes inteiros, e chamamse transcendentes todos os outros. um simples exerccio mostrar que todo o nmero racional algbrico, mas alguns nmeros irracionais tambm so algbricos (por exemplo, #, que soluo da equao B# # !) Na realidade, todo o nmero construtvel algbrico, mas para a prova da impossibilidade da quadratura do crculo (com rgua e compasso) suficiente o facto de 1 no ser algbrico. Em 1851 o matemtico francs Joseph Liouville provou que existem nmeros transcendentes e forneceu meios para obter alguns, mas esses mtodos no serviram para provar que certos nmeros conhecidos, como / (base dos logaritmos naturais) e 1 so transcendentes. Outro matemtico francs, Charles
100
GEOMETRIAS
Hermite, provou em 1873, que / transcendente. Em 1882, refinando a tcnica de Hermite, um jovem e obscuro matemtico alemo, Carl Lindemann, provou finalmente que 1 transcendente e, portanto, a impossibilidade do problema clssico da quadratura do crculo.
1. (a) Encontre uma soluo mais simples para a construo C5, no caso lEF l lEG l. (b) Mostre que se a construo C5 possvel no caso lEF l lEG l, ento ela possvel no caso geral. op C3w . Construir a perpendicular a uma linha recta dada j EF passando por um ponto dado T no incidente com j. C6. Dados EFG , Ew F w EF , construir um ponto G w num lado dado op de EF tal que EFG Ew F w G w . op C7. Dados nEFG , HI e um semiplano [ limitado por HI , construir uma semi-recta HJ com J [ tal que nEFG nJ HI . C8. Dados uma recta j e um ponto T j, construir uma paralela a j passando por T . C9. Dados EF e um inteiro positivo 8, dividir EF em 8 segmentos congruentes entre si. Faa as construes seguintes:
2.
Captulo 12
Isometrias, reflexes e simetrias

Uma das Noes Comuns37 de Euclides, a quarta, afirma coisas que coincidem uma com a outra so iguais. Estritamente falando, esta noo comum redundante, pois uma figura s pode coincidir com ela prpria. Todavia, a utilizao que Euclides faz daquela noo comum em diversas demonstraes (por exemplo, da construo de segmentos, e de alguns critrios de congruncia de tringulos como LAL e LLL) sugere que o que ele tem em mente uma noo geral de congruncia: se uma figura se deslocar rigidamente (isto , sem alterar a forma nem as dimenses) de modo a sobrepor-se a outra, ento as figuras so (geometricamente) iguais, ou seja, congruentes. J definimos as noes de congruncia de segmentos, de ngulos, de tringulos e de circunferncias, mas o que est em causa agora um conceito mais geral de congruncia, do qual aqueles so manifestaes particulares. A maneira mais conveniente de definir esse conceito geral de congruncia atravs do conceito de isometria do plano. Etimologicamente o termo isometria significa mesma medida. Neste captulo, podemos supor fixado ao arbtrio um modelo X _ . 7 dos axiomas da geometria absoluta, j que no faremos uso do paralelismo afim. Para simplificar a notao, designaremos um tal modelo simplesmente por X , quando no houver perigo de confuso sobre as linhas rectas e as funes . e 7. Em particular, tudo o que fazemos pode ser traduzido no plano euclidiano usual (mas no apenas neste plano concreto). Definio Uma isometria ou movimento rgido uma aplicao : do conjunto dos pontos no conjunto dos pontos que preserva as distncias, isto , tal que para quaisquer pontos T , U se tem .T U .:T :U.
37 Nome pelo qual so onhecidos certos postulados de natureza geral, no necessariamente geomtrica, que se encontram nos Elementos, antes dos postulados geomtricos propriamente ditos. s noes comuns de Euclides seria mais natural chamar, hoje em dia, (alguns) axiomas lgicos.
101
102
GEOMETRIAS
As figuras Y" e Y# dizem-se isomtricas ou congruentes, e escreve-se Y" Y# sse existe uma isometria : que transforma Y" em Y# , isto , tal que :Y" Y# Em geral, neste captulo, denotaremos por Ew , F w , G w , as imagens dos pontos E, F, G , por uma isometria :, se no houver possibilidade de confuso. Note-se que na definio no se exigiu que a aplicao : fosse bijectiva, mas este facto, entre outros, ser demonstrado a seguir. 12.1 Teorema (Propriedades das isometrias) Seja : uma isometria. Ento: (a) : injectiva; (b) : preserva a relao estar entre, isto , para quaisquer pontos E, F e G , tem-se EF G sse Ew F w G w em particular, : preserva a colinearidade; (c) : preserva os tringulos, quer dizer, quaisquer trs pontos so no colineares sse as suas imagens so no colineares; (d) : preserva . e 7; em particular, : transforma segmentos e tringulos em segmentos e tringulos congruentes aos dados, respectivamente; (e) : uma bijeco no conjunto dos pontos; (f) : induz uma bijeco no conjunto das linhas; (g) : uma colineao, isto , transforma linhas em linhas. Dem. (a) Para quaisquer pontos T , U, T w :T :U Uw implica .T w Uw ! .T U, donde T U por (D2 ). (b) Se EF G , ento lEF l lFG l lEG l, donde lEw F w l lF w G w l lEw G w l; como E, F e G so distintos, tambm Ew , F w e G w so distintos, por (a), e, pelo teorema da desigualdade triangular, so colineares, logo Ew F w G w . Analogamente, se Ew F w G w , ento EF G . A segunda parte resulta da primeira, se nos lembrarmos que, de trs pontos sobre uma linha recta, um e um s deles est entre os outros dois. (c) existe o EFG sse existe o Ew F w G w , pelas alneas anteriores; (d) : preserva . , por definio; dado o nEFG , com E, F , G no colineares, existem os tringulos EFG e Ew F w G w , por (c), e como os comprimentos dos lados so preservados, tem-se EFG Ew F w G w , por LLL, donde resulta que nEFG nEw F w G w , ou seja, 7nEFG 7nEw F w G w .38 (e) Falta mostrar que : sobrejectiva: seja U um ponto qualquer, com vista a provar que existe um ponto T tal que :T T w U seja EFG um tringulo qualquer; como existe o Ew F w G w e U no pode pertencer aos trs lados,
Observao importante: a alnea (d) no diz que : transforma ngulos em ngulos, mas apenas que se nEFG um ngulo, ento nEw F w G w um ngulo com a mesma amplitude que o primeiro. O problema que ainda no provmos que : sobrejectiva e, por isso, no podemos ainda assegurar que : transforme segmentos em segmentos, semirectas em semi-rectas, rectas em rectas, ngulos em ngulos ou tringulos em tringulos. Muitos autores incluem a sobrejectividade na definio de isometria, precisamente para evitar ter de demonstr-la! [Todavia, a condio de sobrejectividade assumida na definio de isometria entre dois espaos quaisquer, situao mais geral do que a que estamos considerando, de isometria de um espao (plano) em si mesmo.]
38
103
podemos supor, sem perda de generalidade, que U no colinear com F w e G w , de modo que existe o UEw F w sejam B 7nF w Ew U, C lEw Ul. Pelo teorema da construo de ngulos e segmentos (teorema da construo de ngulos e segmentos, pg. 30), existem e so nicos pontos T" e T# , um em cada lado de op EF , tais que 7nFET" 7nFET# B e lET" l lET# l C . Ento, por (d), tem-se
w w w w 7nF w Ew T" 7nF w Ew T# B e lEw T" l lEw T# l C . w w Alm disso, T" T# , por : ser injectiva. Pela unicidade no teorema da w w construo de ngulos e segmentos tem-se necessariamente U T" ou U T# , e em qualquer dos casos U imagem por : de algum ponto, o que prova que : sobrejectiva.
Fig. 112 op (f) Seja j EF uma recta, jw T w T j. jw , por enquanto, apenas um conjunto de pontos, as imagens por : dos pontos T de j, mas mostramos que , de facto, uma recta. Note-se, em primeiro lugar, que os pontos de jw so colineares, op pela alnea (b); alm disso, todo o ponto de Ew F w est em jw , por (b) e (e), e op nenhum ponto fora de Ew F w est em jw , por (c). Portanto, jw uma recta, e a recta que tomamos para :j, ficando assim : definida no conjunto das linhas com valores no conjunto das linhas. Como tal, : bijectiva: sobrejectiva, por ser sobrejectiva no conjunto dos pontos, e injectiva, pois se <w =w , h dois pontos, digamos T w e Uw em ambas elas, logo T e U em < e em =, donde < = por (A" ). (g) Imediato, da alnea anterior. Do que precede resulta que uma isometria : um isomorfismo (v. exerccio 1.2, p. 18) do plano de incidncia do nosso modelo em si prprio, isto , um automorfismo desse plano de incidncia. Na realidade, entendendo a noo de automorfismo de X como um automorfismo de X que preserva . e 7, a alnea (d) do teorema anterior garante tambm que : um automorfismo de X e claro que,
104
GEOMETRIAS
reciprocamente, um automorfismo de X uma isometria, pois preserva . . Estas concluses constituem a primeira parte do teorema seguinte. 12.2 Teorema Uma isometria de X um automorfismo, e reciprocamente. Alm disso, as isometrias de X formam um grupo. Este grupo chamado o grupo das isometrias (ou grupo dos automorfismos) de X , e designa-se por \ X , ou IsoX , ou AutX . Dem. (da 2. parte) Comeamos por verificar que o produto de duas isometrias uma isometria. Se : e < so isometrias, ento, para quaisquer pontos E e F , temse lEF l lEw F w l, onde Ew :E e F w :F , e tambm lEw F w l lEww F ww l, onde Eww <Ew e F ww <F w , logo lEF l lEww F ww l, com Eww <:E e F ww <:F , o que mostra que <9 < : uma isometria. Como as isometrias so aplicaes, automaticamente o produto de isometrias associativo. claro que + idX uma isometria tal que :+ +: : para toda a isometria :. Finalmente, se : uma isometria, a bijeco inversa :" tambm , pois lEF l lEw F w l sse lEw F w l lEF l, onde E :" Ew e F :" F w . O teorema anterior (ou melhor, a sua demonstrao) tambm mostra que o grupo das isometrias de X um subgrupo do grupo de todas as permutaes de X (bijeces de X em si mesmo), e tambm um subgrupo do grupo das colineaes de X [v. teoremas 12.1(g) e 12.2]. Veremos de seguida alguns exemplos de isometrias e sua concretizao no plano euclidiano real. Definio Dada uma recta j, a reflexo em j a aplicao 5j definida por 5j T T T
w
se T j se T j, onde T w o ponto no lado oposto de j tal que j a mediatriz de T T w .
A recta j o eixo (ou o espelho) de 5j . O ponto T w 5j T a imagem de T por 5j . A reflexo 5j tambm chamada uma inflexo axial (em j).
Fig. 113
105
As definies seguintes so para qualquer aplicao do conjunto dos pontos no conjunto dos pontos do nosso modelo. Definio A funo : fixa o ponto T , ou o ponto T um ponto fixo (ou invariante de : sse :T T ; : fixa o conjunto Y (ou Y um conjunto fixo ou invariante) para : sse :Y Y ; : fixa pontualmente Y sse : fixa todos os pontos de T . Observao: no se deve confundir a invarincia de um conjunto Y com a invarincia dos pontos de Y so noes distintas, no equivalentes, em geral, como veremos a seguir. Mas a segunda noo implica a primeira: se : fixa pontualmente Y , ento : fixa Y , pois :Y :T T Y T T Y Y . Tambm bvio que a identidade + fixa todos os pontos e todos os conjuntos. 12.3 Teorema Toda a reflexo 5j involutiva e permuta os semiplanos limitados por j. Alm disso, 5j fixa pontualmente a recta < sse < j, e fixa a recta < sse < j ou < j. Dem. Da definio resulta logo que 5j fixa pontualmente o seu eixo j, uma involuo (isto , 5 5 +), fixa toda a recta perpendicular a j (por causa da unicidade da perpendicular a j passando por um ponto de j, p. 32) e permuta os dois semiplanos [ e [w limitados por j: 5j [ [w e 5j [w [. Para terminar a demonstrao, suponhamos que 5j fixa a recta < j, e seja T um ponto de < no em j. Como 5j fixa <, o ponto imagem T w 5j T est em < e no est em j, logo a recta < passa por T e T w e, portanto, < j (pois j a mediatriz de T T w ). 12.4 Teorema Toda a reflexo uma isometria. Dem. Sejam T e U dois pontos quaisquer, T w 5j T e Uw 5j U, com vista a provar que lT Ul lT w Uw l. H quatro casos a considerar: Caso 1: T , U j. Ento T w T e Uw U, logo lT Ul lT w Uw l. Caso 2: um e um s dos pontos T , U est em j, digamos U j. Como j a mediatriz de T T w , U equidistante de T e T w , por uma propriedade caracterstica da mediatriz (p. 49), logo lT Ul lT w Uw l. op Caso 3: T U j, digamos no ponto E. Seja 0 um sistema de coordenadas para op T U tal que 0 E ! (teorema de colocao da rgua, p. 11). Pondo 0 T +, 0 U ,, tem-se 0 T w + e 0 Uw , , donde lT w Uw l l0 T w 0 Uw l l+ ,l l+ ,l l0 T 0 Ul lT Ul.
106
GEOMETRIAS
op Caso 4: T e U ambos fora de j e T U no perpendicular a j. H dois subcasos, conforme T , U esto no mesmo lado ou em lados opostos de j, mas o argumento o mesmo em ambos os casos (v. figura 114). Sendo E, F os ps dos segmentos perpendiculares a j, T T w e QQw , op respectivamente, tem-se E F , pois T U no perpendicular a j, por hiptese, donde T EF T w EF , por LAL, logo, por serem homlogos, vem lT Fl lT w Fl e nT FE nT w FE. Por subtraco ou adio de ngulos, conforme o subcaso, vem nT FU nT w FUw , e T FU T w R Uw , novamente por LAL, donde lT Ul lT w Uw l. Por este teorema, claro que podemos aplicar s reflexes as concluses do teorema 12.1, nomeadamente, que toda a reflexo uma colineao que preserva as distncias e a medio angular. Que toda a reflexo bijectiva,39 j se poderia ter concludo do facto de ser involutiva (teorema 12.3).
Fig. 114 12.5 Teorema (a) Se uma isometria fixa dois pontos de uma recta, ento fixa pontualmente a recta. (b) Se uma isometria fixa trs pontos no colineares, ento a identidade. Dem. (a) Suponhamos que a isometria : fixa os pontos distintos E e F da recta j. Ento :E E e :F F e :j :j j [teorema 12.1(f)]. Seja agora T op um ponto qualquer da recta j EF , :T U. Ento U j, lET l l:E:T l lEUl, e analogamente lFT l lFUl, donde T U [teorema 12.2]. Portanto, : fixa todos os pontos de j.
Por tradio, desde finais do sc. XIX, muitos autores utilizam o termo transformao (introduzido por Sophus Lie) para significar o mesmo que bijeco, em geometria, mas, como essa utilizao no universal, evitaremos usar aquele termo.
39
107
(b) Suponhamos que : fixa trs pontos no colineares E, F e G . Por (a), : fixa todos os pontos do EFG . Seja T um ponto arbitrrio, com vista a provar que :T T e, portanto, : +. Seja U T no interior de um lado do EFG . Ento op T U intersecta o tringulo em, pelo menos, um ponto V U, e como : fixa U e V , op : fixa todos os pontos da recta UV, novamente por (a). Em particular, : fixa T , op pois T UV. O teorema seguinte um dos teoremas mais importantes de toda a teoria das isometrias, seno mesmo o mais importante. 126 Teorema (Teorema Fundamental das Isometrias) Se EFG HIJ , ento existe uma e uma s isometria 5 tal que 5 E H, 5 F I e 5 G J . Dem. Existncia. Se E H pomos 5" + se E H tomamos para 5" a reflexo na mediatriz j" de EH. Em qualquer dos casos tem-se 5" E H. Sejam F" 5" F , G" 5" G . Se F" I pomos 5# + se F" I , ento H est na mediatriz j# de F" I , pela propriedade caracterstica da mediatriz (p. 49), pois lHIl lEF l lHF" l pela hiptese sobre os tringulos e por 5" ser isomtrica, e, neste caso, tomamos para 5# a reflexo na mediatriz de F" I . Em qualquer dos casos tem-se 5# H H e 5# F" I .
Fig. 115 Seja G# 5# G" . Se G# J pomos 5$ + se G# J , ento H e I esto na mediatriz j$ de G# J , pela propriedade caracterstica da mediatriz, pois lHJ l lEG l lHG" l lHG# l e lIJ l lFG l lF" G"l lIG#l,
108
GEOMETRIAS
pela hiptese sobre os tringulos e por 5" e 5# serem isomtricas, e neste caso tomamos para 5$ a reflexo na mediatriz de G# J . Em qualquer dos casos tem-se 5$ H H, 5$ I I e 5$ G J . Pondo 5 5$ 5# 5" , tem-se 5 E 5$ 5# 5" E 5 $ 5 # H 5 $ H H , 5 F 5$ 5# 5" F 5 $ 5 # F " 5 $ I I , 5 G 5$ 5# 5" G 5 $ 5 # G " 5 $ G # J , o que prova a existncia. Unicidade. Suponhamos 5, : duas isometrias que aplicam E, F , G em H, I , J , respectivamente. Ento :" 5E :" H E, :" 5F :" I F e :" 5G :" J G , logo :" 5 + pela parte (b) do teorema anterior, donde 5 :. A isometria 5 construda no decurso da demonstrao anterior um produto de, quando muito, trs reflexes. Assim , na realidade, para qualquer isometria, como veremos no teorema seguinte, o que mostra o importante papel que as reflexes desempenham na teoria das isometrias. 127 Corolrio (Representao das isometrias) Toda a isometria igual ao produto de, quando muito, trs reflexes. Se a isometria fixa um ponto, ento uma reflexo ou um produto de duas reflexes, e a isometria fixa dois pontos de uma recta sse a reflexo nessa recta ou a identidade. Dem. Seja : uma isometria. Escolhidos ao arbtrio trs pontos no colineares E, F e G , ponhamos H :E, I :F e J :G , respectivamente. Ento claro que EFG HIJ , por LLL, e : igual ao produto de, quando muito, trs reflexes, como se viu na demonstrao do teorema (por unicidade; : 5 5$ 5# 5" , na notao daquela demonstrao). Se : fixa um ponto, digamos E, ento a demonstrao do teorema tambm mostra que : igual ao produto de, quando muito, duas reflexes (caso 5" +). Se : fixa dois pontos, digamos E e F , fica : 5 5$ , que uma reflexo ou a identidade. Reformulando o teorema fundamental: 12.8 Corolrio Uma isometria fica completamente determinada por trs pontos no colineares (e as suas imagens). Os resultados precedentes tambm mostram que a definio geral de congruncia de duas figuras (definio na pg. 102) , de facto, uma generalizao das noes particulares que j conhecemos. 12.9 Corolrio Dois segmentos, dois ngulos e dois tringulos so congruentes sse existe uma isometria que transforma um no outro, respectivamente.
109
Dem. Apenas para o caso dos segmentos, ficando os outros como exerccios. Se EF HI , construindo sobre EF um tringulo equiltero e sobre HI outro, ficam dois tringulos congruentes e pode-se aplicar o teorema. Reciprocamente, se existe uma isometria : que transforma EF em HI , os pontos extremos so aplicados nos pontos extremos [teorema 12.1 (b)] e evidente que lEFl lHIl, logo EF HI . 12.10 Teorema Uma isometria : que permuta dois pontos E e F deixa fixo o ponto mdio de EF . Dem. Exerccio. *12.11 O papel do axioma LAL (= A* ) e o Axioma da Reflexo (R) O axioma de congruncia de tringulos LAL (= A* ) fundamental para questes de simetria, entre outras. Veremos de seguida a sua relao com as reflexes. Na realidade, ele equivalente proposio seguinte, que chamamos Axioma da Reflexo. O termo axioma no deve ser aqui tomado letra, j que no foi nem vai ser utilizado como tal, mas somente indicativo de que a proposio em causa poderia ser tomada como axioma alternativo (ou, at, complementar) a LAL. AXIOMA DA REFLEXO (R) Para toda a recta j existe uma colineao 5 que preserva as distncias e a medio angular, fixa os pontos de j e permuta os semiplanos limitados por recta j. Uma tal colineao 5 uma isometria e, como fixa dois pontos em j, s pode ser a reflexo em j, 5j , como sabemos pelo corolrio 12.7, e bvio que o axioma R consequncia dos axiomas da geometria absoluta. Todavia, para mostrar que R implica LAL no podemos utilizar o corolrio 12.7 nem o teorema fundamental de que ele depende, j que LAL foi utilizado na sua demonstrao. Apenas podemos utilizar a teoria que precede a introduo do axioma LAL. Chamemos provisoriamente a uma colineao 5 como no enunciado de R uma aplicao reflectora ou reflector em j, e a j um espelho. A demonstrao de que R implica LAL bastante longa, mas em boa parte j est feita ou, melhor dizendo, uma adaptao da demonstrao do teorema 12.6. Comeamos por uma descrio informal do que acontece. Suponhamos dados os tringulos EFG e HIJ tais que lEF l lHIl, 7nFEG 7nIHJ e lEG l lHJ l, com vista a provar que os tringulos so congruentes (para a bijeco E H, F I , G J ) v. figura 115. A ideia intuitiva mover (rigidamente) o primeiro tringulo de modo a sobrep-lo exactamente ao segundo, garantindo assim a congruncia. claro que, teoricamente, no se faz movimento nenhum, apenas se compem aplicaes reflectoras em espelhos convenientes! Primeiro, levamos o vrtice E at H mediante a aplicao reflectora 5" no espelho j" mediatriz de EH. [Se E H toma-se 5" +.] Esta aplicao aplica F em F" e G em G" , preservando todas as medidas. Em seguida utilizamos o espelho j# mediatriz de F" I para aplicar F" em I , mediante o reflector 5# em
110
GEOMETRIAS
j# , deixando H fixo. [Se F" HI , ento F" I e toma-se 5# +] Este reflector aplica G" em G# e tambm preserva as medidas dos ngulos e segmentos pertinentes. Finalmente, utilizando a aplicao reflectora 5$ que deixa fixos os op pontos H e I , isto , com espelho j$ HI, G# aplicado em J e, mais uma vez, so preservadas as medidas pertinentes. 5 5$ 5# 5" a colineao que preserva medidas de segmentos e de ngulos e transforma EFG em HIJ , donde se conclui que EFG HIJ . Em casos particulares pode acontecer que uma das 53 seja a identidade, o que simplifica o argumento. Todavia, para a demonstrao de LAL ficar completa, h alguns passos anteriores que necessitam ser analisados com mais cuidado porque, como se disse, somente a teoria que precede LAL pode ser utilizada. As justificaes em falta podem ser colmatadas mediante as observaes seguintes: (1) Uma colineao que preserva as distncias preserva a relao estar entre [v. teorema 12.1 (b)] e, portanto, a composta de duas ou mais aplicaes reflectoras transforma segmentos em segmentos (com a mesma medida), semi-rectas em semirectas, ngulos em ngulos (com a mesma medida) e tringulos em tringulos. Isto interessa acima para 5" , 5# 5" e 5 5$ 5# 5" . (2) Se j a mediatriz do segmento T U, ento U a imagem de T por qualquer aplicao reflectora 5 em j. Com efeito, sejam Q o ponto mdio de T U, R tal que op j Q R e T w 5T . Mostramos que T w U.
Fig. 116 Ora, T w e U esto no mesmo lado de j; como 5 fixa Q e R e preserva ngulos rectos, tem-se necessariamente T w Q U e, como lQ T w l lQ T l lQ Ul, tem que ser T w U, pelo teorema da construo de segmentos (p. 30). Isto relevante, acima, para cada uma das reflexes 53 (3 ", #, $). Nomeadamente, no caso em que F" pertence semi-recta oposta a HI , como H o ponto mdio de F" I , faz-se 5# reflexo na perpendicular a F" I em H. (3) Se j contm a bissectriz T U do nVT W e lT Vl lT Wl, ento W a imagem de V pela reflectora em j, pelo teorema da construo de ngulos e segmentos (teorema da construo de ngulos e segmentos, pg. 30), pois W est no lado oposto de V relativamente a j e 7nUT W 1 7nVT W. Isto interessa, 2 acima, no caso de F" , H e I no serem colineares e, neste caso, toma-se 5# reflectora na recta contendo a bissectriz do nF" HI .
10. Arcos de circunferncia Em concluso, podemos afirmar:
111
12.12 Teorema Os axiomas R e LAL so equivalentes, na presena dos restantes axiomas da geometria neutra ou absoluta (plana). 12.13 Simetrias Uma figura (geomtrica) Y simplesmente um conjunto de pontos (do plano). Na geometria elementar uma grande parte do estudo dedicado a figuras como ngulos, tringulos, circunferncias e outras cnicas, etc. O termo lugar geomtrico muitas vezes utilizado como sinnimo de figura, quando esta descrita atravs de uma condio que caracteriza os seus pontos. Umas figuras so mais interessantes do que outras, por exemplo, do ponto de vista das simetrias que exibem. A noo de simetria deveras importante em matemtica, nas artes visuais e em diversas cincias como a Cristalografia e a Fsica. Em Matemtica, ela est intimamente ligada noo algbrica de grupo. H muitas espcies de simetrias mas, no que segue, interessam-nos apenas as simetrias em relao a rectas de certas figuras. Definio Dados uma recta j e um ponto qualquer T , o ponto T w 5j T chamado o simtrico de \ por 5j . Y uma figura e 5j Y Y , a figura Y diz-se simtrica em relao recta j, e esta diz-se um eixo de simetria de Y . Quer dizer, portanto, que estamos interessados em conhecer os eixos de simetria de certas figuras. Por exemplo, os eixos de simetria de um tringulo issceles EFG com base FG , no equiltero, reduzem-se mediatriz de FG (faa uma figura!), enquanto os eixos de simetria de um quadrado so em nmero de oito (faa outra figura!). Identificamos, a seguir, os eixos de simetria de uma circunferncia. 12.14 Teorema (Eixos de simetria da circunferncia) (a) Se T um ponto da circunferncia V de centro S , ento todo o ponto de V a imagem de T por uma reflexo numa recta que passa por S e reciprocamente. (b) Toda a recta j que passa pelo centro de uma circunferncia um eixo de simetria da circunferncia e reciprocamente. Dem. (a) Seja V a circunferncia de centro S passando por T , de modo que V op tem raio lST l. Se j ST , ento T 5j T . Se U outro ponto de V, ento U 5j T , onde agora j a mediatriz da corda T U. Pelo teorema 9.1 (b), esta recta passa por S. Reciprocamente, se j passa por S e V 5j T , ento lSVl lST l, pois S 5j S e 5j uma isometria. Logo V V por definio de circunferncia. (b) Pela ltima parte da demonstrao de (a), j um eixo de simetria de V, se j passa por S. Reciprocamente, temos de provar que se j um eixo de simetria de V, ento j passa por S. Seja U 5j T ; pela primeira parte de (a) podemos supor que T j. Ento U T e j a mediatriz de T U. Como j um eixo de simetria de V, tem-se U V e T U uma corda de V. Logo j passa por S, pelo teorema 9.1 (b).
112
GEOMETRIAS
O teorema seguinte contm a construo, por meio de reflexes, de duas tangentes a uma circunferncia dada passando por um ponto exterior a ela. 12.15 Teorema (das duas tangentes) Por um ponto T exterior a uma op op circunferncia V passam exactamente duas tangentes circunferncia, T U e T V , com U, V V e, alm disso, lT Ul lT Vl.
Fig. 117 Dem. Seja T no exterior de V com centro S e raio SUw tal que SUw T (lema 9.7). Como Uw interior circunferncia Vw S lST l, a recta < perpendicular a op ST passando por Uw intersecta Vw , digamos em T w , pelo teorema da rectacircunferncia. Seja j a mediatriz de T T w , a qual passa por S, pois T T w uma corda de Vw (v. fig. 117). Ento 5j S S e 5j T w T . Ponhamos U 5j Uw . Como a recta < que passa por T w e Uw uma tangente a op V [teorema 9.4 (a)], a sua transformada por 5j , T U tangente a V, pelo teorema 9.5 (a), e metade do problema est resolvido. Para encontrar outra tangente basta achar op a imagem V de U pela reflexo em < ST , e claro que lT Vl lT Ul. Falta ver que T no pode pertencer a mais de duas tangentes a V, o que deixamos como exerccio.
113
12.16 Novamente o teorema das duas tangentes A demonstrao, no contexto concreto do plano euclidiano, deste teorema (teorema 12.15) mais simples do que a dada acima, utilizando o teorema das duas circunferncias, o corolrio 10.3 (a) e o teorema 9.5 (a). Dem. Pois, dado T exterior a V VS + distncia - de S , seja Q o ponto mdio de T S e Vw Vw Q ,, onde , 1 lT Sl, V e Vw cortam-se em dois pontos, 2 digamos U e V , visto que cada um dos nmeros +, ,, - menor do que a soma dos outros dois.
Fig. 118 op op As rectas T U e T V so tangentes a V, pois cada um dos ngulos nSUT , nSVT recto, visto que est inscrito numa semi-circunferncia.
12.1. Mostre que a congruncia (no sentido mais geral da definio da pg. 102) uma relao de equivalncia no conjunto de todas as figuras. Mostre que, int HIJ . se EFG HIJ , ento int EFG
12.2.
12.3.
Quantas isometrias existem que transformam o EFG no tringulo congruente HIJ , nos casos em que ambos os tringulos so (i) escalenos, (ii) issceles no equilteros, (iii) equilteros, respectivamente?
12.4. Verdade ou falso? (a) As isometrias preservam a perpendicularidade. (b) As isometrias preservam o paralelismo. (c) Para quaisquer rectas < e =, 5< 5= sse < =. (d) Um produto de quatro isometrias uma isometria. (e) O conjunto de todas as reflexes gera IsoX.
114 12.5. 12.6. Prove que quaisquer duas semi-rectas so congruentes.
GEOMETRIAS
Estude geometricamente, no plano euclidiano, as compostas de duas ou trs reflexes em rectas em diferentes posies possveis. [H-de encontrar as translaes, as rotaes e as reflexes deslizantes (reflexo seguida de translao no trivial). Pode-se provar que no h mais nenhumas isometrias de plano euclidiano.] Mostre que no existe nenhuma aplicao reflectora na recta de equao C #B no modelo pombalino (p. 71).
12.7.
12.8.
Os exerccios seguintes contm provas alternativas de algumas alneas do teorema 12.1 concretizado no plano euclidiano. : uma isometria. (a) Sabendo que, para quaisquer pontos distintos T e U se tem T U \ lT \l l\Ul lT Ul, prove que :T U :T :U; (b) para toda a recta j existem pontos distintos T , U tais que j a mediatriz de T U, isto , j \ l\T l l\Ul (e todo o conjunto desta forma uma recta); (c) para toda a recta j, o conjunto transformado :j uma recta. Actividade: desenhe um EFG numa folha de papel. Utilizando apenas uma rgua lisa e um lpis (para desenhar segmentos) e tambm um alfinete (para marcar pontos), reproduza a figura 118. [Sugesto: pode dobrar o papel!] Demonstre o teorema das duas tangentes aplicando o teorema das duas circunferncias.
12.9.
12.10
12.11. Mostre que se os vrtices de dois tringulos congruentes esto sobre uma circunferncia, ento toda a isometria que transforma um no outro o produto de, quando muito, duas reflexes. 12.12 Prove, no contexto concreto do plano euclidiano, que (a) Uma isometria : transforma uma circunferncia V de centro S numa circunferncia Vw :V de centro Sw :S e uma tangente > a V em X numa tangente :> a Vw em X w :X . (b) Duas circunferncias (crculos) so congruentes no sentido geral (p. 102) sse tm o mesmo raio (numrico). (c) Numa circunferncia ou em circunferncias congruentes, duas cordas so congruentes sse so equidistantes do centro.
Apndice A
Uma introduo s geometrias finitas

40
1. Introduo. Generalidades sobre as axiomticas

As geometrias finitas foram introduzidas no final do sculo XIX como exerccios metodolgicos, tanto para ilustrar o poder de abstrao do conceito moderno de axiomtica, emergido do nascimento das geometrias no-euclidianas, como para exemplificar e testar questes lgicas ou metodolgicas acerca das axiomticas como consistncia (ou no contradio), compatibilidade, independncia e completude. Questes como estas assumiram uma grande importncia nos estudos de fundamentos nas primeiras dcadas do sculo XX, motivados pela crise de fundamentos na viragem do sculo que foi provocada pela descoberta das chamadas antinomias lgicas e semnticas na teoria ingnua dos conjuntos de Cantor. Para alm de proporcionarem axiomticas simples, no contexto das quais se podem comear a desenvolver hbitos e tcnicas de raciocnio geomtrico abstracto, as chamadas geometrias finitas tambm permitem ilustrar alguns aspectos fundamentais das geometrias mais tradicionais como a euclidiana, a hiperblica ou a projectiva. Alm disso, os matemticos tm encontrado aplicaes no triviais das geometrias finitas tanto em estatstica experimental, utilizando quadrados latinos, como nas cincias da computao (cdigos de correco de erros), na combinatria e na criptografia (v. Bibliografia). O raciocnio hipottico-dedutivo caracterstico das matemticas, na sua forma de apresentao mais perfeita,41 tem lugar no contexto de uma estrutura lgica organizada conhecida por teoria ou sistema axiomtico, ou simplesmente axiomtica. Um tal sistema pressupe sempre uma linguagem que contm, alm dos ingredientes lgicos e lingusticos usuais, os termos primitivos (no definidos), mais tarde acrescida de termos definidos, e um sistema lgico inferencial. Ter, alm disso, algumas proposies primitivas (no demonstradas), os postulados ou axiomas especficos e, a obter, os teoremas ou proposies demonstradas as partir
40 Texto de uma conferncia proferida no ProfMat98, Guimares, em 13 de Outubro de 1998. No ser de estranhar alguma duplicao com o exposto no Cap. 1. 41 Sublinhe-se o termo apresentao, para no cair na tentao de supor que estamos afirmando que a actividade matemtica ou dos matemticos a isso se reduz. Antes da apresentao ordenada e dedutiva est o exerccio da intuio na conjectura e na descoberta, postos prova pelo escrutnio crtico e a demonstrao.
115
116
GEOMETRIAS
dos axiomas pelas regras da lgica. Geralmente, a lgica do sistema a lgica clssica. Uma vez fixados os axiomas do sistema, os teoremas ficam determinados (ao menos, no sentido platnico) mas, em cada momento histrico, a humanidade no conhece mais do que um nmero finito de teoremas de um sistema dado, aqueles que algum j demonstrou. Definio 1.1 Um sistema axiomtico consistente (ou no contraditrio) sse no contm dois axiomas, um axioma e um teorema ou dois teoremas42 que se contradigam (isto , em que um deles exprima a negao do outro), e contraditrio no caso contrrio. S os sistemas consistentes interessam, no contexto da lgica clssica, pois, neste contexto, de uma contradio toda e qualquer proposio se pode deduzir, isto , todas as proposies (na linguagem do sistema) so teoremas. Uma maneira de garantir a consistncia a sua compatibilidade: Definio 1.2 Um sistema axiomtico compatvel sse possui, pelo menos, uma realizao concreta ou modelo. Uma realizao concreta ou modelo da axiomtica pode ser de natureza fsica ou aquilo a que os matemticos normalmente chamam uma estrutura matemtica, constituda por um ou mais suportes, domnios ou universos, relaes e operaes a definidas que interpretem os termos primitivos do sistema que satisfaam ou realizem os axiomas do sistema, isto , tal que o que os axiomas dizem acontea de facto. Por outras palavras, num modelo de um sistema axiomtico, os axiomas so verdadeiros (semanticamente43). A razo pela qual a compatibilidade assegura a consistncia tem a ver com a natureza das regras da lgica utilizadas nos raciocnios demonstrativos: so regras vlidas, quer dizer, sempre que as premissas so verdadeiras, as concluses so verdadeiras tambm. Supondo, pois, que o sistema f compatvel, e sendo um modelo de f , os axiomas de f so verdadeiros ou satisfeitos no modelo , logo todo o teorema de f verdadeiro em . No pode haver, portanto, dois axiomas, um axioma e um teorema, ou dois teoremas que se contradigam44, logo o sistema consistente. tambm por isso que sempre que os matemticos introduzem algum conceito por via de axiomas (por exemplo, os conceitos de grupo, ou de espao vectorial sobre um corpo), a primeira coisa que fazem logo de seguida fornecer um exemplo de uma realizao ou modelo da axiomtica. Os exemplos que sejam dados a seguir ao primeiro j tero outras motivaes, por exemplo, de ordem didctica.
convencional considerar que os axiomas so tambm teoremas que no carecem de demonstrao. 43 importante assinalar que h dois conceitos de verdade a ter em conta, quando se fala em axiomticas: o conceito sintctico-dedutivo de verdade (verdade demonstrabilidade), que o que os matemticos mais utilizam, e o conceito semntico de verdade (verdade correspondncia com alguma realidade). 44 Um pressuposto bsico do conceito semntico (clssico) de verdade que uma proposio no pode ser simultaneamente verdadeira e falsa.
42
A. Uma introduo s geometrias finitas Axiomtica dos 4 pontos Termos primitivos: ponto, linha, incidncia.
117
AXIOMAS
Ax1. Existem exactamente quatro pontos. Ax2. Quaisquer dois pontos (distintos) incidem com uma e uma s linha. Ax3. Cada linha incide com exactamente dois pontos. muito fcil realizar esta axiomtica. Como pontos, consideremos as letras E, F , G e H; como linhas, os seis conjuntos E F, E G, E H, F G, F H e G H; como incidncia, a relao de pertena , de pontos para linhas ou linhas para pontos. Dizemos que o ponto T incide com a linha <, ou que < incide com T , sse T <. O modelo em questo o triplo ordenado X _ , onde X X E F G H o conjunto dos pontos, _ _ E F, E G, E H, F G, F H, G H o conjunto das linhas e a relao de pertena de pontos para linhas. Convencionemos que sempre que a relao de incidncia num modelo for se omite este smbolo da notao, ficando apenas X _ , ou mais simplesmente X _, se no houver possibilidade de confuso. Para melhor visualizar este modelo fazemos uns traos ligando os pontos de cada linha, mas a linha no o trao desenhado (Fig. 119). Estes diagramas podem parecer diferentes, mas definem exactamente o mesmo modelo da axiomtica dos 4 pontos. O nosso modelo conta exactamente 6 linhas. Isto no acontece por acaso. Teorema 1.1 (a) Para quaisquer duas linhas existe, quando muito, um ponto incidente com ambas; (b) h exactamente seis linhas. Dem. Exerccio.
Fig. 119. Duas verses de um modelo da axiomtica dos 4 pontos Em qualquer modelo da axiomtica dos 4 pontos h, portanto, exactamente 4 pontos (axioma Ax1) e exactamente 6 linhas (teorema 1.1). No difcil concluir que quaisquer dois modelos daquela axiomtica so isomorfos.
118
GEOMETRIAS
Definio 1.3 Os modelos X _ e w X w _w so isomorfos sse existir uma bijeco : do conjunto dos pontos e linhas de no conjunto dos pontos e linhas de w , que aplica pontos em pontos e linhas em linhas e, alm disso, preserva as incidncias, isto , para qualquer ponto T de e qualquer linha j de , T j sse :T :j. Uma tal aplicao : um isomorfismo entre os dois modelos. Esta noo de isomorfismo aplica-se no apenas a modelos de axiomticas mas, mais geralmente, a quaisquer estruturas da forma X _, onde X um conjunto no vazio (de pontos) e _ um conjunto de subconjuntos de X (as linhas), chamadas estruturas (ou planos) de incidncia. Os isomorfismos entre duas tais estruturas tambm so chamados colineaes. A razo de ser desta designao que tais aplicaes no apenas aplicam linhas em linhas como, na realidade, transformam linhas em linhas (como conjuntos de pontos). Por outro lado, um resultado muito geral da metodologia das teorias dedutivas (lgica matemtica) que quaisquer duas estruturas isomorfas tm exactamente as mesmas propriedades (enquanto propriedades exprimveis na linguagem da teoria). Definio 1.4 Um axioma de um sistema axiomtico independente sse no pode ser demonstrado a partir dos restantes. Uma axiomtica independente sse todos os seus axiomas so independentes. Se a consistncia de um sistema axiomtico fundamental, a independncia dos axiomas um luxo a que nem sempre aconselhvel atender (por exemplo, em axiomticas da geometria euclidiana para o ensino secundrio). Acontece que a axiomtica acima independente, e a prova deste facto utiliza modelos. (a) Independncia do Ax1: um modelo de Ax2 e Ax3 s com 2 pontos, E e F , e uma linha E F, no satisfaz o Ax1. (b) Independncia do Ax2: um modelo de Ax1 e Ax3 com os 4 pontos E, F , G e H e somente as linhas E G e F H, no satisfaz o Ax2. (c) Independncia do Ax3: um modelo de Ax1 e Ax2 com os 4 pontos e seis linhas como acima, mas em que uma das linhas tem mais de 2 pontos (por exemplo, E F H em vez de E F), no satisfaz o Ax3. Desejvel, mas nem sempre conseguida, a propriedade de completude. Definio 1.5 Um sistema axiomtico completo sse no possvel juntar um novo axioma independente ao sistema, quer dizer, qualquer proposio na linguagem do sistema j teorema, ou a sua negao um teorema. No possvel, em geral, estabelecer directamente se uma dada axiomtica ou no completa (a no ser que seja contraditria!). A maioria das axiomticas interessantes para as matemticas no completa. A completude , pois, mais a excepo do que a regra.
A. Uma introduo s geometrias finitas
119
2. Planos afins finitos

O exemplo de modelo da geometria dos 4 pontos dado acima um exemplo de plano afim finito. Definimos com toda a generalidade o conceito de plano afim, aps o que estudaremos com mais pormenor os planos afins finitos. Lidaremos sempre com estruturas de incidncia X _ e escrevemos sinonimamente: T incide com j, j incide com T , j passa por T , T pertence a j, T j, j T . Definio 2.1 Um plano afim uma estrutura de incidncia X _ que satisfaz os seguintes axiomas: A1. Para quaisquer dois pontos T e U existe uma nica linha que passa por op T e por U, que se denota T U . A2. Para qualquer linha j e qualquer ponto T j, existe uma nica linha 7 T tal que 7 j g. A3. Cada linha incide com, pelo menos, dois pontos, e h, pelo menos, duas linhas. Linhas 7 e j tais que 7 j ou 7 j g dizem-se paralelas, e escreve-se 7 j. Se 7 j e 7 j, 7 e j dizem-se estritamente paralelas. O axioma A2 o conhecido axioma de paralelismo de Playfair, e equivalente (na presena dos restantes postulados) ao quinto postulado de Euclides. Exemplos de planos afins 1) O plano cartesiano real (# _, em que as linhas so as linhas rectas ordinrias: so os conjuntos de pontos da forma B C # +B ,C - !, com +, ,, - , + e , no ambos nulos. 2) O plano cartesiano racional # _, em que as linhas so os conjuntos de pontos da forma B C # +B ,C - !, com +, ,, - , + e , no ambos nulos. 3) o exemplo do modelo dos 4 pontos da seco anterior; observe-se que os axiomas so realmente verdadeiros neste modelo, nomeadamente o axioma de op op paralelismo de Playfair, A2: por exemplo, EH a nica paralela a FG passando pelo ponto E. 4) o plano coordenado sobre : , : : # _, com : primo, em que as linhas so os conjuntos de pontos da forma B C : # +B ,C - !, com +, ,, - : , + e , no ambos nulos; recorde-se que o anel : ! " : " (inteiros modulo :) um corpo sse : primo No caso
120
GEOMETRIAS
: #, os pontos de # so E ! !, F ! ", G " !, H " " e cada linha tem exactamente dois destes pontos, tal como no exemplo anterior. Este modelo isomorfo ao modelo do exemplo 3. No plano coordenado afim sobre $ h 9 pontos e 12 linhas (faa uma figura!). Independncia dos axiomas (a) A1 independente: X E F G H, _ E F G H.
Fig. 120 (b) A2 independente: o plano de Fano (1892 o mais pequeno plano projectivo, v. adiante), constitudo por 7 pontos e 7 linhas, cada linha com exactamente 3 pontos, X E F G H I J K, _ E F G, G H I, I J E, E K H, F K I, G K J , F H J . (c) A3 independente: X E F, _ E F.
Fig. 121 Teorema 2.1 Num plano afim: (a) quaisquer duas linhas tm, quando muito, um ponto comum; (b) a relao de paralelismo uma relao de equivalncia no conjunto das linhas. Dem. Exerccio. Teorema 2.2 Num plano afim, todas as linhas tm o mesmo cardinal.45
Diz-se que os conjuntos (finitos ou infinitos) A e B tm o mesmo cardinal, so equicardinais, equipotentes ou equinumerosos sse existe uma bijeco entre eles.
45
121
Dem. Sejam j, 7 duas linhas quaisquer (Fig. 122). Temos de provar que existe uma bijeco entre j e 7. Sem perda de generalidade, podemos supor 7 j. Caso j 7 S. Fixemos ao arbtrio E j, Ew 7, ambos diferentes de op S Para cada F j distinto de E e de S, seja 5 a nica paralela a EEw passando por F . Por unicidade das paralelas, 5 7, caso contrrio por Ew estariam passando y op w duas paralelas a 5 , 7 e EE. Ento 5 e 7 tm um (nico) ponto comum, digamos F w . A funo 0 j 7 definida por 0 S S, 0 E Ew , 0 F F w para todo F j distinto de S e de E uma bijeco (exerccio). op Caso j 7. Fixemos S j, Sw 7. Ento j SSw S logo, pelo caso op anterior, existe uma bijeco 0 j SSw; analogamente, existe uma bijeco op 1 SSw 7, logo 1 0 j 7 bijectiva.
B A' O A l B' m
O'
k l O
Fig. 122 Definio 2.2 Se uma linha j de um plano afim tem 8 pontos (8 ), ento o plano afim diz-se de ordem 8. Teorema 2.3 Num plano afim de ordem 8, (a) h exactamente 8# pontos; (b) cada point incide com exactamente 8 " linhas; (c) cada feixe de paralelas46 tem exactamente 8 linhas; (d) h exactamente 88 " linhas; (e) h exactamente 8 " feixes de paralelas. Dem. (a) Sendo j E" E8 , F j, 7" E" F e, para 3 #, , 8, 73 nica linha paralela a 7" passando por E3 , as linhas 7" , , 78 tm, cada uma, 8 pontos e so estritamente paralelas duas a duas (Fig. 123). H, portanto, pelo menos, 8# pontos. E no h mais: para qualquer ponto T , ou T 7" ou existe 5 T paralela a 7" , que tem de intersectar j num dos pontos E# , , E8 e, portanto, coincidir com uma das linhas 73 , 3 #, , 8. (b) para qualquer ponto F e linha j E" E8 F, as linhas j3 FE3 (3 ", , 8) e a linha j8" passando por F e paralela a j so distintas umas das outras. Alm disso, toda a linha passando por F intersecta j (logo uma das j3 ) ou paralela a j (logo a linha j8" ).
46
Um feixe de paralelas formado por uma linha e todas as que lhe so paralelas.
122 (c)-(e): exerccios.
GEOMETRIAS
Fig. 123 Uma questo natural a de saber para que valores de 8 que existem planos afins de ordem 8. A resposta completa ainda est em aberto. Provou-se, entre outras coisas, que: existem planos afins de ordem :8 para qualquer primo : e inteiro positivo 8, o que quer dizer que, em particular, existem planos afins de ordem #, %, &, (, ), * e ""; no existe nenhum plano afim de ordem 6; somente em 1989 se provou, com uma busca computacional exaustiva, que no existe nenhum plano afim de ordem "! ("!! pontos), mas ainda no se sabe se existe ou no algum plano afim de ordem "#; Teorema de Bruck-Ryser: no existe nenhum plano afim de ordem 8, se 8 da forma %5 " ou %5 #, excepto se 8 for igual a uma soma de dois quadrados. Sabe-se que todo o primo da forma %5 " igual a uma soma de dois quadrados. Os casos 8 ' e 8 #" so contemplados pelo teorema, mas os casos 8 "! ( $# "# ) e 8 #' ( &# "# ) no.
3. Planos hiperblicos
Com a descoberta, nos anos setenta do sculo passado (v. STILLWELL 1996), da independncia do Postulado V (o de Paralelismo) de Euclides relativamente aos restantes postulados da geometria euclidiana, aumentou o interesse dos matemticos por geometrias em que falha aquele postulado. Nos anos trinta, j Bolyai e Lobachewskii tinham desenvolvido a chamada geometria hiperblica, partindo
123
daqueles postulados mas substituindo o quinto postulado de Euclides por um outro que implica a sua negao, o Postulado Hiperblico de Paralelismo (H2 adiante). Os axiomas de incidncia dos planos hiperblicos so os seguintes. AXIOMAS DOS PLANOS HIPERBLICOS H1. Para quaisquer dois pontos T e U existe uma nica linha que passa por op T e por U, que se denota T U. H2. Para toda a linha j e todo o ponto T j, existem, pelo menos, duas paralelas a j passando por T . H3. Toda a linha incide com, pelo menos, um ponto, e existem, pelo menos, quatro pontos tais que nenhuns trs so colineares. Planos hiperblicos finitos so muito fceis de construir: com & ou mais pontos, considerar todas as linhas compostas por exactamente dois desses pontos.
Fig. 124 Um plano hiperblico com 5 pontos Do ponto de vista matemtico, os planos hiperblicos finitos no so especialmente interessantes, e nada mais diremos sobre eles. Mas, claro, a geometria hiperblica uns dos temas mais interessantes que se podem estudar em geometria!
4. Planos projectivos
Outra maneira mais interessante de negar o quinto postulado de Euclides admitir que no existem pares de linhas estritamente paralelas. esta a principal caracterstica, no que respeita a propriedades de paralelismo, da chamada geometria projectiva, a qual comeou por ser, como o nome indica, a geometria dos projectistas, e teve um grande desenvolvimento a partir de 1820. Embora a geometria afim (e a sua extenso mais importante, a euclidiana) tenha mais apelo intuitivo do que a projectiva (por ser, aparente e intuitivamente, mais conforme com a geometria do espao fsico ordinrio), a projectiva , matematicamente, muito mais interessante. Por um lado, acontece muito frequentemente que vrios teoremas distintos da geometria afim se reduzem a um s na geometria projectiva (basta pensar: linhas paralelas numa geometria afim tambm se intersectam num ponto no infinito). Por outro lado, nos planos projectivos satisfeita uma propriedade de dualidade, o que significa que cada teorema tem um dual, tambm teorema, que se obtm de graa.
124
GEOMETRIAS
Definio 4.1 Um plano projectivo um plano de incidncia _w que satisfaz os axiomas seguintes: P1. Para quaisquer dois pontos T e U existe uma nica linha que passa por T op e por U, que se denota T U. P2. Quaisquer duas linhas (distintas) tm, pelo menos, um ponto comum. P3. Em cada linha h, pelo menos, 3 pontos, e h, pelo menos, duas linhas. Por P1, duas linhas tm, quando muito, um ponto comum e, por P2, exactamente um ponto comum. P3 implica, em particular, que nem todos os pontos so colineares (isto , incidem com uma mesma linha). Exemplos de planos projectivos 1) Um exemplo de plano projectivo finito o plano de Fano (7 pontos, 7 linhas) referido na seco anterior. o mais pequeno plano projectivo porque, ao tentar realizar os axiomas acima da maneira mais econmica possvel, encontramos exactamente um plano com 7 pontos e sete linhas, cada linha com exactamente 3 pontos, isomorfo ao plano de Fano. 2) O plano projectivo real _w obtm-se de $ , como espao vectorial real, do seguinte modo: definindo a relao no conjunto $ $ S, onde S ! ! !, por B C D Bw Cw D w sse existe 5 ! tal que B C D 5Bw C w D w , fcil verificar que uma relao de equivalncia, e toma-se para o conjunto quociente (conjunto das classes de equivalncia) de $ modulo , isto $ Os pontos do plano projectivo real so, pois, as classes de equivalncia de $ modulo , e designamos uma tal classe por B C D (B, C , D no todos nulos). B, C e D so chamadas as coordenadas homogneas do ponto B C D. Um ponto projectivo destes pode ser identificado com a totalidade dos pontos ordinrios S de $ que pertencem a uma linha recta ordinria de $ que passa pela origem, ou ainda, se quisermos outra representao, com um ponto ordinrio do hemisfrio unitrio sem uma metade da circunferncia base [ B C D $ B# C # D # ", D !, e C ! ou B " se D ! Quanto s linhas, cada linha um conjunto de pontos projectivos : ; < tais que :, ; , < satisfazem uma equao homognea da forma +B ,C -D ! (com +, , , - no todos nulos) Recorde-se que uma equao destas representa um plano ordinrio de $ passando pela origem. Se quisermos a representao hemisfrica, intersectamos um tal plano com o hemisfrio [, obtendo um arco sobre este. Fica como exerccio verificar a validade dos axiomas P1-P3. Teorema 4.1 Num plano projectivo, (a) toda a linha tem, pelo menos, 3 pontos; (b) todo o ponto incide com, pelo menos, 3 linhas.
125
Dem. Exerccio. H uma relao muito estreita entre planos afins e planos projectivos, que descrevemos em termos informais. Se X _ um plano afim, a cada feixe Y de paralelas fazemos corresponder um novo ponto, chamado ponto no infinito, e designado por TY . Seja o resultado de acrescentar a X todos os pontos no infinito. A cada linha j _ juntamos tambm o ponto no infinito correspondente ao feixe determinado por j, obtendo um conjunto de pontos jw ; finalmente, juntamos uma nova linha j_ contendo todos os pontos no infinito, a linha no infinito. Seja _w o conjunto de todas as novas linhas assim obtidas. Ento _w um plano projectivo. Fazendo esta construo a partir do plano afim dos 4 pontos e 6 linhas (seco 1) obtm-se exactamente o plano de Fano! Inversamente, partindo de uma plano projectivo _w , fixando qualquer linha de _w como linha no infinito, chamando-lhe j_ , pondo-a de lado e retirando de todas as outras linhas o ponto de interseco com j_ , o que se obtm um plano afim. Particularizando com o plano de Fano, retirando qualquer linha e todos os seus pontos fica um plano afim, o plano dos 4 pontos e 6 linhas. H, portanto, uma correspondncia bijectiva (a menos de isomorfismo) entre os planos afins e os projectivos X _ _w
Fig. 125 Passando de um plano afim a um projectivo e vice-versa Esta correspondncia entre planos afins e projectivos, no caso finito, leva a resultados de natureza combinatria, os quais tambm poderiam ser obtidos independentemente. Assim: se o plano afim de partida tiver ordem 8, ento h 8 " feixes de paralelas, logo h 8 " pontos no infinito a acrescentar aos 8# antigos, ficando ao todo 8# 8 " no plano projectivo;
126
GEOMETRIAS
como havia 8# 8 linhas no afim, haver tambm 8# 8 " linhas no projectivo; cada ponto no infinito TY j_ est em cada uma das novas linhas j j TY para cada j antiga no feixe Y , e como cada feixe tem 8 linhas, TY est em 8 " linhas; como qualquer linha pode ser considerada como linha no infinito, todo o ponto est em 8 " linhas. Estas propriedades justificam a seguinte definio.
w
Definio 4.2 Um plano projectivo finito diz-se de ordem 8 sse tiver ao todo 8# 8 " pontos (e, portanto, 8# 8 " linhas). Dualidade J vimos que duas linhas (distintas) tm um nico ponto comum e, no teorema 4.1, que todo o plano projectivo tem, pelo menos, trs linhas. Assim, os axiomas dos planos projectivos so equivalentes aos seguintes: P1w = P1. P2w . Quaisquer duas linhas tm um nico ponto comum. P3w . Em cada linha h, pelo menos, 3 pontos, e h, pelo menos, 3 linhas passando por cada ponto. O que se ganha com isto? Ganha-se uma coisa fabulosa: que, trocando em toda a parte os termos ponto e linha (e continuando a ler a incidncia nos dois sentidos), cada um destes axiomas transforma-se num outro e, portanto, a axiomtica transforma-se em si prpria. Isto tem como consequncia que efectuando a dita substituio em qualquer teorema se obtm outro teorema, chamado o dual do primeiro. este o fenmeno da dualidade nos planos projectivos e na geometria projectiva plana em geral. por isso que um plano projectivo tem sempre o mesmo nmero de pontos que de linhas, que h tantos pontos em cada linha como h linhas passando por um ponto, que colinearidade e concorrncia so noes duais uma da outra, que um tringulo projectivo, como constitudo por 3 pontos no colineares e as linhas que eles determinam uma figura projectiva auto-dual (dual de si mesma), etc. O prprio plano projectivo _w tem um dual que a estrutura _w , a qual tambm um plano projectivo os pontos de um so as linhas do outro e vice-versa! Para outros desenvolvimentos (por exemplo, as transformaes geomtricas e o papel da geometria projectiva na classificao das geometrias) e aplicaes prticas das geometrias finitas consulte-se a Bibliografia, nomeadamente, as monografias de HENLE, BENNETT e CEDERBERG.
LISTA DOS AXIOMAS

Geometria Euclidiana
Axiomas da incidncia plana A" . Por cada dois pontos (distintos) passa uma e uma s linha. A# . Cada linha contm, pelo menos, dois pontos (distintos). A$ . Existem, pelo menos, trs pontos no colineares. Axioma da distncia (ou da medio linear) A% . Para cada linha j de um plano X existe, pelo menos, uma bijeco 0 j tal que para quaisquer pontos T , U j, .T U lT Ul l0 T 0 Ul. Axioma de separao no plano A& . Para toda a recta j, o conjunto dos pontos de um plano X que no pertencem a j a reunio de dois conjuntos convexos, no vazios e disjuntos, tais que, para quaisquer pontos T , U j, T est num neles e U est no outro sse T U corta j. op A' . Sejam E, F pontos distintos, [ um semiplano limitado pela recta EF . Ento, para todo ! ! ")! existe uma nica semi-recta ET , com T [, tal que 7nT EF !. A( . Se H intnFEG, ento 7nFEG 7nFEH 7nHEG. A) . Se nEFG e nEFH so suplementares adjacentes (isto , G F H, op E FH ), ento 7nEFG 7nEFH ")!. Axioma da congruncia de tringulos (LAL) A* . Se, nos tringulos EFG e HIJ , a correspondncia E H, F I e G J for tal que EF HI , nE nH e EG HJ , ento EFG HIJ . Axioma de paralelismo de Hilbert A"! . Para toda a recta < e todo o ponto T < h, quando muito, uma paralela a < passando por T . Axiomas de incidncia para o espao A"" . Para quaisquer trs pontos no colineares, existe um e um s plano que os contm. A"# . Se dois pontos esto num plano, ento a linha que passa por eles est contida no plano. A"$ . Se dois planos tm um ponto em comum, ento a sua interseco uma linha. 127 Axiomas da medio angular
128
GEOMETRIAS
A"% . Todo o plano contm, pelo menos, trs pontos no colineares. A"& . Existem, pelo menos, quatro pontos no complanares (isto , no pertencentes a um mesmo plano). Axioma de separao no espao A"' . Para cada plano C, o conjunto dos pontos do espao que no esto em C igual reunio de dois conjuntos convexos, [" e [# , no vazios e disjuntos, tais que para quaisquer pontos T e U, T est num e U est no outro sse T U corta C.
LISTA DAS NOTAES PRINCIPAIS

ngulo geomtrico com vrtice F e lados FE e FG : nEFG dirigido ou orientado com vrtice F e lados FE e FG : FE FG Aplicao: v. funo w Arco de circunferncia passando com extremos E e G e passando por F : EF G , w ou EG Circunferncia com centro G e raio GT : VG GT com centro G e raio numrico <: VG < Crculo: V Congruncia de segmentos, ngulos ou tringulos: Conjunto transformado de X por 0 : 0 X Distncia do ponto T ao ponto U: .T U, ou lT Ul do ponto T recta j: .T j da recta < recta =: .< = Distncia euclidiana: .E Estar entre (F est entre E e G ): EF G Exterior da figura Y : extY Funo 0 com domnio A e valores em B: 0 A B Funo inversa da funo 0 : 0 " Imagem ou valor da funo 0 no argumento T : 0 T , ou 0 T Incidncia do ponto T com a recta j: T j, ou j T Incidncia do ponto T com o plano C: T C, ou C T Inflexo axial: v. reflexo Interior da figura Y : intY Isomorfismo: Medida do ngulo geomtrico nEFG : 7nEFG Medio de ngulos euclidiana: 7E Norma do vector B: mBm t t Par ordenado de + e ,: + , Paralelismo (de rectas e de planos): Perpendicularidade: Plano de incidncia com conjuntos X de pontos e _ de linhas: X _ Plano que passa pelos pontos (distintos) E, F e G : EFG Pr-imagem de Y por 0 : 0 o Y Produto interno: , Projeco ortogonal de B sobre C !: projC B t t t t t 129
130 Quadriltero com vrtices E, F , G e H: EFGH op Recta que passa por E e por F : EF que passa por T com direco @: T @ t t Reflexo na recta j: 5j Segmento com extremos E e F : EF Semelhana:
GEOMETRIAS
Semi-recta com origem E e que passa por F : EF Semi-recta oposta a EF : opEF , ou FE Tringulo com vrtices E, F e G : EFG Vector: B, T S, ST t
BIBLIOGRAFIA47
Nvel elementar-introdutrio:
BIRKHOFF, G. D. e BEATLY, R. *Basic Geometry. Third Edition, Chelsea, 1959; Manual for Teachers. Chelsea, 1959; Answer Book. Chelsea, 1963. BOLD, B. Famous Problems of Geometry and How to Solve Them. Dover, 1982. CLEMENS, C. H. e CLEMENS, M. A. Geometry for the Classroom. SpringerVerlag, 1991. COXFORD, A. F. Jr. e outros. Geometria a Partir de Mltiplas Perspectivas. Associao de Professores de Matemtica, 1993. FERNANDES, A. N. P. Elementos de Geometria para o Ensino Secundrio. Pltano Editora, 1981. LANG, S. e MURROW, G. *Geometry, A High School Course. Springer-Verlag, 1983. MOISE, E. E. e DOWNS Jr., F. L. *Geometry. Addison-Wesley Publ. C., 1982. OGILVY, C. S. Excursions in Geometry. Dover, 1990.
Nvel introdutrio-mdio:
ALSINA, C. e TRILLAS, E. Lecciones de Algebra y Geometra, Curso para estudiantes de Arquitectura. Ed. Gustavo Gili, 1995. ARAJO, P. V. *Curso de Geometria. Gradiva, Segunda edio, 1999. BENNETT, M. K. *Affine and Projective Geometry. J. Wiley & Sons, 1995. BEUTELSPACHER, A. e ROSENBAUM, U. Projective Geometry. Cambridge U. P., 1998. BIRKHOFF, G. D. A set of postulates for Plane Geometry, based on Scale and Protactor. Annals of Math., 33 (1932), 329-345. BIX, R. Topics in Geometry. Academic Press, 1994. BLUMENTHAL, L. M. A Modern View of Geometry. W. H. Freeman, 1961. CEDERBERG, J. N. *A Course in Modern Geometries. Springer-Verlag, 1989. DIONSIO, J. J. *Fundamentos da Geometria. Universidade de Lisboa, Faculdade de Cincias, Departamento de Matemtica, 2004. EVES, H. A Survey of Geometry. Vols. I, II, Allyn & Bacon, 1963, 1965; *College Geometry. Joned and Bartlett, 1995. HENDERSON, D. W. Experiencing Geometry on Plane and Sphere. Prentice Hall, 1996. HENLE, M. *Modern Geometries, The Analytical Approach. Prentice Hall, 1997. ISAACS, I. M. *Geometry for College Students. Brooks/Cole, 2001. MEYER, W. *Geometry and Its Applications (com CD). Hartcourt/Academic Press, 1999. MOISE, E. E. *Elementary Geometry from an Advanced Standpoint. Third Edition, Addison-Wesley, 1990.
47
Assinalam-se com * os livros especialmente recomendados em cada nvel.
131
132
GEOMETRIAS
OLIVEIRA, A. J. F. Geometria. 2. edio, Univ. vora, 1988; Geometria Euclidiana. Universidade Aberta, 1995; Transformaes Geomtricas. Universidade Aberta, 1997. PEDOE, D. Geometry, a Comprehensive Course. Dover, 1988. PERRY, E. Geometry. Maecel Dekker, 1992. REES, E. G. Notes on Geometry. Springer-Verlag, 1988. ROE, J. Elementary Geometry, An Introduction. Oxford University Press, 1993. SMART, J. R. *Modern Geometries. Fifth Edition, Brooks/Cole Pub. C., 1998; Instructors Manual for Modern Geometry. Fifth Edition, Brooks/Cole Pub. C., 1998. SMITH, J. T. *Methods of Geometry. John Wiley & Sons, 2000. WALLACE, E. C. e WEST, S. F. *Roads to Geometry. Second Edition, Prentice Hall, 1998.
Nvel mdio-avanado:
BORSUK, K. e SZMIELEW, W. Foundations of Geometry. North-Holland, 1960. COXETER, H. S. M. *Introduction to Geometry. Second Edition, J. Wiley & Sons, 1969; Projective Geometry. Second Edition, Springer, 1987. GREENBERG, M. J. *Euclidean and Non-Euclidean Geometries, Development and History. Third Edition, W. H. Freeman, 1993. HARTSHORNE, R. *Geometry: Euclid and Beyond. Springer-Verlag, 2000. HILBERT, D. Grundlagen der Geometrie. 14. Edio, Comemorativa do 100. aniversrio da 1. edio (1899), com Prefcio de M. Toepell, Suplementos de Paul Bernays, e contribuies de H. Kiechle, A. Kreuzer e H. Wefelscheid, Teubner, 1999; *Foundations of Geometry. Second English Edition (translated from the tenth german edition), Revised and Enlarged by P. Bernays, Open Court, 1971; *Fundamentos da Geometria. Traduo da 7. edio alem (1930), com excluso dos Apndices, por Maria do Pilar Ribeiro e Jos da Silva Paulo, Instituto para a Alta Cultura, 1952; idem, Segunda edio, com todos os Apndices e Suplementos por P. Bernays, H. Poincar e F. Enriques, por Paulino Fortes e A. J. F. Oliveira, Gradiva, 2003; Fundamentos de la Geometria. Traduo da 7. edio, com todos os Apndices, Consejo Sup. de Inv. Cientificas, Madrid, 1991. KADISON, L. e KROMANN, M. T. Projective Geometry and Modern Algebra. Birkhuser, 1996. MARTIN, G. E. *The Foundations of Geometry and the Non-Euclidean Plane. Springer-Verlag, 1975; Transformation Geometry. Springer-Verlag, 1982; Geometric Constructions. Springer-Verlag, 1997. MILLMAN, R. S. e PARKER, G. D. *Geometry, A Metric Approach with Models. Springer-Verlag, 1981. MODENOV, P. S. e PARKHOMENKO, A. S. Geometric Transformations. 2 vols., Academic Press, 1965. RYAN, P. J. Euclidean and Non-euclidian Geometry, An Analytic Approach. Cambridge U. P., 1986. SNAPPER, E. e TROYER, R. J. Metric affine geometry. Dover, 1989.
Bibliografia TUNNER, A. A Modern Introduction to Geometries. Van Nostrand, 1967.
133
Outros de interesse colateral (matemtico, lgico, histrico, etc,):

BARNETT, R. Schaums outline of theory and problems of geometry. Second edition, Revised by P.A. Schmidt, McGraw-Hill, 1989. BURTON, D. M. The History of Mathematics, An Introduction. Second Edition, Wm. C. Brown Publishers, 1988. COURANT, R., ROBBINS, H. *What is Mathematics? Second edition revised by Ian Stewart, Oxford U.P., 1996 DESCARTES, R. *A Geometria. traduo do original de 1637, em edio bilingue, por Emdio C. Queiroz Lopes, Edies Prometeu, 2001. EVES, H. *An Introduction to the History of Mathematics. Sixth Edition, Sounders College Publishing, 1990. FERREIRA, J. C. Introduo Anlise Matemtica. Fundao Calouste Gulbenkian, 1987. HEATH, T. L. *Euclid, the thirteen books of The Elements. Vols. I, II e III, Second edition, Dover, 1956;48 *The Works of Archimedes. Dover, 2002. HILBERT, D. e COHN-VOSSEN, S. *Geometry and the Imagination. Chelsea, 1952. KATZ, V. J. *A History of Mathematics, An Introduction. Second Edition, Addison-Wesley, 1998. OLIVEIRA, A. J. F. Teoria dos Conjuntos, Intuitiva e Axiomtica (ZFC). Escolar Editora, 1982; Lgica e Aritmtica. 2. edio, Gradiva, 1996. PASTOR, J. R., SANTAL, L. A. e BALANZAT, M. Geometra analtica. Editorial Kapelusz (Buenos Aires), Cuarta edicin, 1959. POSTNIKOV, M. Leons de gometrie, Gometrie analytique. MIR, 1988. SEBASTIO E SILVA, J. Textos Didcticos. Vol I, Fundao Calouste Gulbenkian, 2000 (inclui Transformaes Geomtricas. AEFCL, 1950). STILLWELL, J. Elements of Algebra. Springer-Verlag, 1994; *Sources of Hyperbolic Geometry. AMS, 1996; Mathematics and its History. Second edition, Springer, 2001. VELOSO, E. M. S. S. *Geometria, Temas Actuais (Materiais para Professores). Ministrio da Educao, Instituto de Inovao Educacional, 1998. WEYL, H. Symmetry. Princeton U. P., 1952.
48
Os Elementos de Euclides esto disponveis na Internet: http://aleph0.clarku.edu/~djoyce/java/elements/elements.html

GEOMETRIAS

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

GEOMETRIAS

Diunggah oleh

Hak Cipta:

Format Tersedia

Universidade de vora

Faam muitas figuras! SNAPPER & TROYER (1989)

Euclides de Alexandria c. 325-275 a.C

Arquimedes de Siracusa 287-212 a.C

David Hilbert 1872-1943

George David Birkoff 1884-1944

10 lT Ul l0 T 0 Ul |0 U 0 T | lUT l, o que prova D$ .

1. Incidncia e distncia para cada constante real - !, a funo 2 j definida por 2T 0 T -,

e, portanto, \ pertence ao segundo conjunto.

op Reciprocamente, se T \ U, ento \ T U e lT Ul lT \l l\Ul, donde l0 T 0 Ul l0 T 0 \ | l0 \ 0 Ul.

Definio Se T U, a semi-recta com origem T que contm U o conjunto T U T U \ T U\.

Um ngulo orientado ou dirigido um par ordenado de semi-rectas com origem comum.

1. Incidncia e distncia 1.6.

1. Incidncia e distncia AXIOMAS DA MEDIO ANGULAR

Fig. 28 A( . Se H intnFEG, ento 7nFEG 7nFEH 7nHEG.

T l U B" B# C" C# ,17

Para definir 7 7E utiliza-se a conhecida desigualdade de Cauchy-Schwarz

Define-se ento, para quaisquer pontos E, F , G no colineares, 7nEFG arccos E FlG F . mE Fm mG Fm

donde 7nESG 7nESF ## &. #

Caso F G T (ou G F T ) Fig. 50

Na Geometria, lugar geomtrico e figura (geomtrica) so palavras sinnimas de conjunto de pontos.

Fcil, utilizando o critrio LLL.

Fig. 73 Provamos que R o ponto mdio de EG e que lQ R l " lFGl. #

-" lEFl - "lHIl. -

lEGl >, lHJ l

-, por causa da arbitrariedade de = e >.28

Mostramos, apenas, que se = -, = , ento =

> result mediante a troca dos papis de EFG e

Se fosse, por exemplo,

seja, tal que

lEGl -, existira algum racional =w no intervalo lHJ l , -, ou

=, mas, como ] EG e ] G , tem-se lE] l lEGl, donde

Finalmente, se nE recto, definimos sennE ", cosnE !.

Os restantes axiomas (geometria do espao)

8. Os restantes axiomas (geometria do espao)

8. Os restantes axiomas (geometria do espao)

8. Os restantes axiomas (geometria do espao)

8. Os restantes axiomas (geometria do espao)

8. Os restantes axiomas (geometria do espao)

8. Os restantes axiomas (geometria do espao)

8. Os restantes axiomas (geometria do espao)

10. Arcos de circunferncia

Caso 2. F e G esto em lados opostos do dimetro EH. Ora, 7nE

10. Arcos de circunferncia

10. Arcos de circunferncia

Construes com rgua e compasso

10. Arcos de circunferncia

10. Arcos de circunferncia

10. Arcos de circunferncia

10. Arcos de circunferncia tangentes sse (4) lT T" l# - -" #

10. Arcos de circunferncia

Isometrias, reflexes e simetrias

10. Arcos de circunferncia

se T j se T j, onde T w o ponto no lado oposto de j tal que j a mediatriz de T T w .

10. Arcos de circunferncia

10. Arcos de circunferncia

10. Arcos de circunferncia

10. Arcos de circunferncia Em concluso, podemos afirmar:

10. Arcos de circunferncia

114 12.5. 12.6. Prove que quaisquer duas semi-rectas so congruentes.

Uma introduo s geometrias finitas

1. Introduo. Generalidades sobre as axiomticas

A. Uma introduo s geometrias finitas

2. Planos afins finitos