Geometria Euclidiana Axiomtica Notas de aula

Fernando Mano

Sumrio
Introduo Linhas histricas da Geometria iv v

Fundamentos da Geometria

1
2 2 3 4 4 7 8 8 11 15

1 Axiomas de Incidncia 1.1 Axiomas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Axiomas de Ordem 2.1 Axiomas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Axiomas de Continuidade 3.1 Axiomas sobre medida de segmentos . . . . . . . . . . . . . . 3.2 Axiomas sobre medida de ngulos . . . . . . . . . . . . . . . . 3.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4 Axiomas de Congruncia 17 4.1 Congruncia de segmentos e ngulos . . . . . . . . . . . . . . 17 4.2 Congruncia de tringulos . . . . . . . . . . . . . . . . . . . . 18 4.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 5 O Teorema do ngulo Externo 23 5.1 O teorema do ngulo externo . . . . . . . . . . . . . . . . . . 23 5.2 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

II

Geometria Euclidiana Plana

32

6 Axioma das Paralelas 33 6.1 O axioma das paralelas . . . . . . . . . . . . . . . . . . . . . . 33 6.2 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 7 Polgonos 39 7.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 7.2 Polgonos regulares . . . . . . . . . . . . . . . . . . . . . . . . 40 7.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 8 rea 8.1 A unidade de medida . . . 8.2 rea de regies poligonais 8.3 Denio geral de rea . . 8.4 Aplicaes . . . . . . . . . 8.5 Exerccios . . . . . . . . . 9 Semelhana 9.1 A denio de semelhana 9.2 Homotetias . . . . . . . . 9.3 Semelhana de tringulos 9.4 Exerccios . . . . . . . . . 47 47 49 53 54 58 60 60 63 66 70 72 72 77 81 85 89

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

10 Circunferncia 10.1 A circunferncia . . . . . . . . . . . . . . . . . . . . . . 10.2 Polgonos inscritos numa circunferncia . . . . . . . . . 10.3 Potncia de um ponto em relao a uma circunferncia 10.4 Semelhana no crculo . . . . . . . . . . . . . . . . . . 10.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 11 Isometrias do plano 11.1 Introduo . . . . . . . . . . . . . . . 11.2 Exemplos de isometrias . . . . . . . 11.3 Classicao das isometrias do plano 11.4 Exerccios . . . . . . . . . . . . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

93 . 93 . 95 . 100 . 103

ii

III

Geometria Euclidiana Espacial

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

104
105 105 109 114 114 119 120

12 Poliedros 12.1 Noes primitivas e axiomas . . . . . . . . . . 12.2 Poliedros . . . . . . . . . . . . . . . . . . . . . 12.3 Relao fundamental . . . . . . . . . . . . . . 12.4 O Teorema de Euler para poliedros convexos . 12.5 Exerccios . . . . . . . . . . . . . . . . . . . . Referncias Bibliogrcas

iii

Introduo
Caro leitor, Estas notas foram escritas para servir de texto a um curso de Geometria para alunos iniciantes de graduao, tendo como objetivo apresentar os fundamentos da Geometria Plana sob o ponto de vista axiomtico, caracterizando em seguida a Geometria Euclidiana Plana. O conjunto de axiomas escolhido aquele apresentado por A. Pogorelov [14]. A vantagem desta escolha que esta leva o estudante rapidamente aos teoremas mais importantes. O roteiro de apresentao dos axiomas segue os moldes do excelente livro de Lucas Barbosa [3]. A primeira parte deste texto corresponde aos fundamentos da Geometria Plana. Mais precisamente, todos os teoremas obtidos nesta parte so vlidos em qualquer geometria, Euclidiana ou no. A segunda parte do texto aborda a Geometria Euclidiana Plana. Ou seja, o texto inicia com o quinto postulado, ou o Axioma das Paralelas, e vrios teoremas e aplicaes so discutidos. Especial ateno dada aos conceitos de semelhana e rea, culminando com as transformaes do plano, onde apresentamos a classicao das isometrias do plano de um ponto de vista totalmente geomtrico. No ltimo captulo, correspondendo terceira parte do texto, apresentamos rapidamente as noes primitivas e axiomas da Geometria Espacial. O objetivo central do captulo um estudo preliminar dos poliedros, culminando com o teorema de Euler acerca dos poliedros convexos.

iv

Linhas histricas da Geometria

Os Elementos de Euclides
Os registros mais antigos que temos de atividades humanas acerca da geometria remontam poca das antigas civilizaes da Mesopotmia. Embora o historiador grego Herdoto atribua aos egpcios o incio da geometria, alguns tabletes de argila datados do perodo 1900 1600 a.C., durante o antigo imprio babilnico, contm textos e diagramas indicando algum tipo de familiaridade desses povos com a geometria, com instncias do Teorema de Pitgoras. Os babilnios, os egpcios e outros povos da Antiguidade que desenvolveram formas primitivas de geometria, como os hindus e os chineses, eram motivados por necessidades prticas de medies geomtricas como, por exemplo, a demarcao de terras. O processo de transio, da geometria como um conjunto de regras impricas e teis, aplicadas a casos particulares e cujas justicativas eram aparentemente negligenciadas, para uma geometria na concepo de cincia, buscando explicaes racionais para seus resultados, deve-se aos gregos. Possivelmente, foi um processo lento e gradual. Vrios pensadores gregos visitaram antigos centros de conhecimento, como o Egito e a Babilnia, e l adquiriram conhecimentos sobre matemtica e astronomia. Muito pouco se sabe sobre a vida e a obra desses pioneiros. Tales de Mileto (624 547 a.C.) considerado como sendo o introdutor da geometria na Grcia e o primeiro homem da histria a que foram atribudas descobertas matemticas cientcas. Com o objetivo de vericar a correo dos resultados estabelecidos, ele desenvolveu a primeira geometria lgica. A sistematizao iniciada por Tales foi continuada, nos dois sculos seguintes, por Pitgoras de Samos (569 475 a.C.) e seus discpulos. Conta-se que, em suas viagens, Pitgoras teria encontrado Tales e sofrido inuncia dele e, mais tarde, Pitgoras teria fundado uma irmandade secreta em Croton, uma colnia grega no sul da Itlia, cuja importncia avaliada pelas ideias que difundiu. Pitgoras buscava na aritmtica e na geometria a chave para a comv

preenso do universo e, devido s suas convices, frequentemente citado como sendo o primeiro matemtico puro da histria. Foram os pitagricos, membros da sua irmandade, que descobriram os nmeros racionais. Plato (427 347 a.C.) nasceu em Atenas, mas acabou tendo contato com a escola pitagrica em suas viagens. Retornando a Atenas, por volta de 389 a.C., fundou sua famosa Academia e dedicou o resto de sua vida a escrever e ensinar. Embora tenha feito poucos trabalhos originais em matemtica, deu contribuies profundas na lgica e nos mtodos usados em geometria. A ideia grega de usar a matemtica para compreender os mistrios do universo dependia de uma noo de demostrao matemtica. A percepo desse fato , provavelmente, a primeira descoberta importante na histria da cincia. Credita-se a Tales e Pitgoras a introduo dessa noo. Mas devido a Plato a compreenso da verdade nesse contexto. Segundo ele, tanto as noes como as proposies matemticas no se referem a objetos do mundo fsico, mas a certas entidades ideais que habitam um mundo diferente do mundo fsico. Por exemplo, uma reta que traamos em uma folha de papel apenas uma representao, aproximada, da reta que vive em um mundo de ideias ou, como alguns preferem, em um mundo platnico de entidades ideais. O mesmo se aplica s proposies matemticas verdadeiras. Essa abordagem nos alerta para distinguirmos as noes matemticas precisas das aproximaes que encontramos no mundo fsico. Alm disso, as proposies matemticas que habitam o mundo platnico, ditas verdadeiras, esto submetidas a um padro de objetividade externo que no depende de nossas mentes, opinies ou processos culturais. Euclides (325 265 a.C.) provavelmente foi aluno da Academia de Plato e foi o fundador da forte escola matemtica de Alexandria, numa poca em que Atenas passava por um momento de declnio poltico. Sua obra principal, os Elementos, consiste de treze volumes que contm a maior parte da matemtica conhecida na poca. Trata-se de um texto sistemtico, organizado segundo os critrios de rigor lgico-dedutivo, mas tambm de experincia intuitiva. O volume I trata de geometria plana e sua construo baseia-se em dez proposies, separadas em dois grupos: cinco foram classicadas como axiomas e as outras como postulados. poca, os axiomas consistiam basicamente em verdades aplicveis a todas as cincias, enquanto que os postulados eram verdades acerca da particular disciplina em estudo, como a geometria. Os cinco axiomas eram: 1. Coisas que so iguais a uma mesma coisa so iguais entre si. 2. Se iguais so adicionados a iguais, os resultados so iguais. vi

3. Se iguais so subtrados de iguais, os restos so iguais. 4. Coisas que coincidem uma com a outra, so iguais. 5. O todo maior do que qualquer uma de suas partes. Os postulados eram: 1. Existe uma nica reta contendo dois pontos dados. 2. Todo segmento de reta pode ser estendido indenidamente em todas as direes. 3. Existe uma circunferncia com quaisquer centro e raio dados. 4. Todos os ngulos retos so iguais entre si. 5. Se uma reta intercepta outras duas retas formando ngulos colaterais internos cuja soma menor do que dois retos, ento as duas retas, se estendidas indenidamente, interceptam-se no lado no qual esto os ngulos cuja soma menor do que dois retos. Nota-se, primeira vista, que a natureza do enunciado do quinto postulado diferente da dos precedentes. Segundo a Denio 23 do volume I dos Elementos, retas paralelas so retas contidas num mesmo plano que, se prolongadas indenidamente, no se interceptam, de modo que ele descreve exatamente uma situao em que duas retas no so paralelas. Ainda na poca dos gregos algumas dvidas foram levantadas quanto colocao desse enunciado como um postulado e no como uma proposio passvel de demonstrao. Dentre as tentavias gregas de prov-lo, destacam-se as de Ptolomeu e Proclo. Posteriores a estes, outros famosos matemticos tentaram demonstr-lo: Nasiradin (1201 1274), John Wallis (1616 1703), Gerolamo Sacheri (1667 1733), John H. Lambet (1728 1777), Adrien M. Legendre (1752 1833), Louis Bertrand (1731 1812) e Carl F. Gauss (1777 1855). Estes deixaram nas suas obras referncias relevantes sobre o assunto. Os primeiros que compreenderam que o quinto postulado de Euclides era indemonstrvel e que se poderia, a partir de sua negao, construir geometrias novas e totalmente coerentes foram Gauss, Lobachevski (1792 1856) e Bolyai (1802 1860), que chegaram s suas concluses de forma independente um dos outros. Para os gregos, principalmente para os seguidores de Plato, o espao fsico era uma entidade absoluta, a realizao direta de um

vii

objeto platnico. A geometria Euclidiana era a cincia do espao fsico e, portanto, a nica geometria possvel e certamente a verdadeira, e constitua-se do estudo de propriedades das guras geomtricas mergulhadas nesse espao. Com as descobertas de Gauss, Lobachevski e Bolyai, no apenas a geometria Euclidiana deixou de ser a nica possvel, mas tambm deixou de ser aquela verdadeira. Finalizou-se assim uma poca na histria da matemtica que fora inaugurada dois milnios antes, originando-se uma transformao profunda no apenas do pensamento matemtico, mas tambm do pensamento terico em geral, que acabaria por inuenciar nossas concepes do universo e do mundo fsico. Os trabalhos de Gauss, Lobachevski e Bolyai mas, principalmente, dos dois ltimos, foram levados s suas devidas propores por Friedrich B. Riemann (1826 1866) que deu incio a um segundo perodo no desenvolvimento das geometria Euclidianas e no-Euclidianas, perodo este caracterizado pelas investigaes sob o ponto de vista do Clculo Diferencial, em contraste com os mtodos sintticos previamente utilizados. A preocupao com a fundamentao da geometria em bases slidas dominou a pesquisa matemtica sobre o assunto culminando com a reconstruo da geometria Euclidiana por Hilbert o que, nalmente, encerrou a longa batalha com o quinto postulado de Euclides.

Os Axiomas de Hilbert
Um sistema axiomtico consiste num conjunto de verdades acerca de uma determinada realidade, organizado de tal forma que todos os conceitos so denidos a partir de alguns poucos conceito bsicos, chamados termos primitivos, os quais no se dene e que so conhecidos intuitivamente. Esses conceitos so ento articulados por meio de algumas proposies primitivas, chamados axiomas1 , que no se demonstram, pois sua veracidade evidente pela intuio que temos acerca do domnio em estudo. As demais proposies, os teoremas, so ento obtidos por demonstrao a partir dos axiomas. Alm disso, um sistema axiomtico deve satisfazer trs condies seguintes: ser consistente, ou seja, os axiomas no podem contradizer uns aos outros, por si mesmos ou por suas consequncias; deve ser completo, no sentido de serem sucientes para provar verdadeiras ou falsas todas as proposies formuladas no contexo da teoria em questo; por m, cada axioma deve ser independente dos demais, no sentido de que no consequncia
Hoje em dia, a distino entre axioma e postulado no mais feita, subentendendo que signicam a mesma coisa.
1

viii

deles, sob pena de ser supruo. A fundamentao da geometria estabelecida por David Hilbert (1862 1943) parte de dois termos primitivos que so as noes de ponto e reta. Entre estes termos primitivos, Hilbert supe a existncia de trs relaes primitivas que so expressas por um ponto pertence a uma reta, um ponto est entre dois pontos e a relao de congruncia. Esses termos e relaes primitivas devem satisfazer uma srie de axiomas. Hilbert apresenta esses axiomais, em seu trabalho The Foundations of Geometry [11], em cinco grupos: 1. Axiomas de Incidncia, 2. Axiomas de Ordem, 3. Axiomas de Congruncia, 4. Axiomas de Continuidade, 5. Axioma das Paralelas. Os axiomas de incidncia expressam a noo de estar em, enquanto os axiomas de ordem expressam a noo de estar entre. Os axiomas de continuidade no envolvem uma nova relao primitiva mas tratam de garantir que certas construes, que vo nos permitir medir distncias entre pontos, so possveis. O axioma das paralelas abre porta Geometria Euclidiana. Nesse texto, adotaremos o axioma enunciado por John Playfair (1748 1819), ao invs do quinto postulado enunciado por Euclides:
Por um ponto fora de uma reta dada pode-se traar uma nica reta paralela reta dada.

interessante notar que esse axioma j havia sido considerado por Proclo, como o prprio Playfair apontou, mas normalmente associado ao nome de Playfair. O fundamental dos termos e relaes primitivas, bem como dos axiomas, entender claramente o adjetivo primitivo. Com isso, o que se quer dizer que estes termos e relaes no vo ser denidos atravs de outros, mas cada pessoa deve fazer a sua prpria representao do que so pontos, retas, estar em, etc. No importa a imagem que cada um faa desses objetos e relaes, o que essencial que as interconexes entre eles, expressas pelos axiomas, sejam reconhecidos como verdadeiras.

ix

Parte I

Fundamentos da Geometria

Captulo 1

Axiomas de Incidncia
Os axiomas de incidncia denem a ideia expressa pela noo de estar em, alm de estabelecer uma conexo entre os termos primitivos do plano: ponto e reta.

1.1

Axiomas

Axioma 1. Dados quaisquer dois pontos distintos, A e B , existe uma nica reta que os contm. De acordo com o Axioma 1, uma reta est completamente determinada pela especicao de dois pontos distintos. Assim, denotaremos a nica reta que passa pelos pontos distintos A e B por AB , e diremos a reta AB . Denio 1.1.1. Se um ponto comum a duas retas, dizemos que este ponto um ponto de interseo dessas retas. Duas retas que se interceptam num nico ponto so chamadas de retas concorrentes.
r P s

Figura 1.1: Retas r e s concorrentes no ponto P . Axioma 2. Em cada reta existem ao menos dois pontos distintos e existem trs pontos distintos que no pertencem a uma mesma reta. 2

Segue do Axioma 2 que reta um subconjunto prprio do plano. Proposio 1.1.2. Duas retas distintas ou no se interceptam ou se interceptam em um nico ponto. Demonstrao. Dados duas retas distintas, suponha que elas se interceptam em dois (ou mais) pontos. Pelo Axioma 1, estas retas sero coincidentes, o que uma contradio pois, por hiptese, elas so distintas. Portanto, a interseo dessas retas ou vazia ou s contm um ponto. Denio 1.1.3. Pontos pertencentes a uma mesma reta so chamados colineares; caso contrrio, so chamados no-colineares. Observao 1.1.4. Ao estudarmos geometria comum darmos uma representao grca aos termos primitivos. Imaginamos um plano como uma superfcie de uma folha de papel que se estende indenidamente em todas as direes. Nela, a marca da ponta de um lpis representa um ponto e a parte de uma reta obtida usando-se uma rgua. Por exemplo, na Figura 1.1, esto representadadas duas retas, r e s, e um ponto P , que o ponto de interseo dessas retas. Muitas vezes faremos uso desse artifcio. No entanto, os desenhos devem ser considerados apenas como um instrumento de auxlio intuio e linguagem e, em momento algum, devem ser utilizados como dados para demonstraes.

1.2

Exerccios

1. Quantos pontos comuns a pelo menos duas retas pode ter um conjunto de trs retas distintas do plano? E um conjunto de quatro retas? 2. Prove que trs pontos no-colineares determinam trs retas. Quantas retas so determinadas por quatro pontos, sendo que estes so trs a trs no-colineares? E para o caso de seis pontos? 3. Usando apenas os conhecimentos estabelecidos at ento, discuta a seguinte questo: Existem retas que no se interceptam? 4. Por que o conjunto de todos os pontos do plano no pode ser uma reta? O conjunto vazio pode ser uma reta do plano? 5. De acordo com os Axiomas 1 e 2, qual o nmero mnimo de pontos de uma reta?

Captulo 2

Axiomas de Ordem
Os axiomas de ordem denem a ideia expressa pelo termo estar entre, e tornam possvel, com base nessa ideia, descrever uma ordem de sequncia dos pontos sobre uma reta. Os pontos de uma reta tm uma certa relao um com o outro, e a noo de estar entre servir para descrev-la.

2.1

Axiomas

Axioma 3. Para quaisquer trs pontos distintos colineares, apenas um deles est entre os outros dois. As expresses um ponto C est entre A e B , um ponto C separa os pontos A e B ou os pontos A e B esto em lados opostos do ponto C sero assumidas como equivalentes.

C A

Figura 2.1: O ponto C est entre A e B . Axioma 4. Se A, B e C so pontos tais que C est entre A e B ento estes trs pontos so distintos, colineares e C est entre B e A. Denio 2.1.1. Dados dois pontos distintos, A e B , o conjunto dos pontos A, B e todos os pontos que esto entre A e B chamado de segmento AB . Se A e B so coincidentes, dizemos que AB o segmento nulo. Os pontos A e B so chamados as extremidades do segmento AB . 4

Denio 2.1.2. Dados dois pontos distintos, A e B , a semi-reta de origem A contendo o ponto B o conjunto dos pontos do segmento AB unido com todos os pontos C tais que B est entre A e C .

B
Figura 2.2: Semi-reta SAB .

A semi-reta de origem A contendo o ponto B ser denotada por SAB . Dois pontos distintos, A e B , determinam duas semi-retas, SAB e SBA , as quais contm o segmento AB . Alm disso, temos a seguinte: Proposio 2.1.3. As semi-retas SAB e SBA satisfazem as seguintes propriedades: (a) SAB SBA a reta determinada por A e B , i.e., a reta AB . (b) SAB SBA o segmento AB . Demonstrao. (a) Como as semi-retas SAB e SBA so constitudas de pontos da reta AB , segue que SAB SBA est contido na reta AB . Por outro lado, se P um ponto da reta AB , o Axioma 3 garante que apenas uma das seguintes possibilidades ocorre: (i) P est entre A e B , (ii) A est entre B e P , (iii) B est entre A e P . No caso (i), o ponto P pertence ao segmento AB ; no caso (ii), P pertence a SBA ; no caso (iii), P pertence a SAB . Portanto, em qualquer caso, P pertence a SAB SBA . (b) Dado um ponto P SAB SBA suponha, por absurdo, que P no pertena ao segmento AB . Assim, A est entre P e B ou B est entre A e P . No primeiro caso, concluimos que P SBA e P SAB , o que uma contradio. Analogamente para o segundo caso. Reciprocamente, todo ponto P pertencente ao segmento AB pertence, por denio, s semi-retas SAB e SBA logo, P est na interseo SAB SBA . Axioma 5. Dados dois pontos distintos, A e B , existem um ponto C entre A e B e um ponto D tal que B est entre A e D. Decorre do Axioma 5 que entre quaisquer dois pontos existe uma innidade de pontos. Alm disso, toda semi-reta SAB contm uma innidade de pontos alm daqueles pertencentes ao segmento AB . 5

Considere uma reta r e dois pontos distintos, P e Q, no pertencentes a r. Dizemos que os pontos P e Q esto em um mesmo lado da reta r se o segmento P Q no a intercepta. Caso contrrio, dizemos que P e Q esto em lados opostos da reta r.

Q P r R
Figura 2.3: P e Q esto do mesmo lado de r; P e R esto em lados opostos. Denio 2.1.4. Dados uma reta r e um ponto P no pertencente a r, o semi-plano determinado por r contendo P o conjunto de todos os pontos Q tais que P e Q esto do mesmo lado de r, unido aos pontos de r. A reta r chamada de origem do semi-plano. Axioma 6 (Separao do plano). Uma reta r determina somente dois semiplanos distintos, cuja interseo a prpria reta r. Uma gura geomtrica simplesmente um subconjunto prprio do plano. Usando-se segmentos, podemos construir inmeras guras geomtricas. Uma das mais simples o tringulo, que formada por trs pontos no-colineares e pelos segmentos denidos por esses trs pontos. Os trs pontos so chamados vrtices do tringulo e os segmentos so os lados do tringulo. Indicaremos o tringulo determinado pelos pontos A, B e C por ABC , e diremos tringulo ABC .

Figura 2.4: Tringulo ABC . Teorema 2.1.5 (Pash). Se ABC um tringulo e r uma reta que intercepta o lado AB em um ponto entre A e B , ento r tambm intercepta, pelo menos, um dos outros dois lados. 6

Demonstrao. Se o ponto C pertence a r, o Teorema est provado pois, neste caso, r intercepta os dois lados, AC e BC . Suponha, ento, que C r (cf. Figura 2.5). Como A e B no pertencem a r e o segmento AB intercepta r segue, por denio, que A e B esto em lados opostos de r. Como C r, segue do Axioma 6 que C est do mesmo lado de A em relao a r ou do mesmo lado de B em relao a r. Se A e C esto do mesmo lado de r, ento B e C esto em lados opostos de r. Isso signica que r intercepta o segmento BC e no intercepta AC . Se B e C esto do mesmo lado de r, analogamente se prova que r intercepta o segmento AC e no intercepta BC .

Figura 2.5: Teorema de Pash.

2.2

Exerccios

1. So dados quatro pontos A, B , C e D e uma reta r que no contm nenhum deles. Sabe-se que os segmentos AB e CD interceptam a reta r e que o segmento BC no a intercepta. Mostre que o segmento AD tambm no a intercepta. 2. Dados quatro pontos A, B , C e D, mostre que se os segmentos AB e CD se interceptam, ento os pontos B e D esto em um mesmo semi-plano em relao reta que passa por A e C . 3. Sejam AB e CD segmentos e E um ponto tais que AB CD = {E }. Mostre que a reta que contm AB no pode conter CD. 4. Seja C um ponto pertencente semi-reta SAB , com C = A. Mostre que SAB = SAC , BC SAC e que A BC . 5. Podem existir dois segmentos distintos tendo dois pontos em comum? E tendo exatamente dois pontos em comum?

Captulo 3

Axiomas de Continuidade
Os axiomas de continuidade no envolvem uma terceira relao primitiva mas tratam de garantir que certas construes, que vo nos permitir medir distncias entre pontos, so possveis.

3.1

Axiomas sobre medida de segmentos

O conceito de medida de um segmento introduzido mediante a adoo de uma unidade de comprimento que, neste curso, a faremos axiomaticamente. Uma vez que soubermos medir segmentos estaremos aptos a poder compar-los em tamanho. Axioma 7. A cada segmento AB est associado um nico nmero real positivo, e ao segmento nulo est associado o nmero zero. O nmero associado a um segmento AB , dado pelo Axioma 7, chamado de medida do segmento AB , ou comprimento do segmento AB , e ser denotado por AB . Axioma 8. Se um ponto C est entre dois pontos A e B ento AB = AC + CB . Dados uma reta r e um ponto O r, o ponto O divide r em duas semiretas opostas. A uma destas chamamos de parte positiva de r, a outra de parte negativa. Considere um ponto A pertencente parte positiva de r, com A = O. Ao ponto A ca associado um nico nmero real positivo OA, dado pelo Axioma 7. Se A pertence parte negativa de r, com A = O, ele ca associado um nico nmero real negativo OA. Se A O, temos OA = 0. Portanto, todo ponto da reta r ca associado, de modo nico, um nmero 8

real que ser chamado a coordenada desse ponto. Note que, pelo Axioma 8, essa correspondncia unvoca, no seguinte sentido. Se A e A so pontos distintos de r, ento OA = OA . Axioma 9. A todo nmero real positivo ca associado um segmento, cuja medida igual ao nmero dado, sendo que ao nmero zero ca associado o segmento nulo. Axioma 10 (Transporte de segmento). Fixado um segmento arbitrrio AB , para qualquer segmento CD, existe um nico ponto E pertencente semi-reta SCD tal que AB = CE . Os Axiomas 9 e 10 permitem-nos considerar a recproca da correspondncia estabelecida no pargrafo logo aps o Axioma 8. De fato, dado uma reta r, xe um ponto arbitrrio O sobre r. Dado um nmero real positivo x, considere um segmento AB , com AB = x, dado pelo Axioma 9. Pelo Axioma 10, existe um nico ponto P sobre a parte positiva de r tal que OP = AB . Se x = 0, tome P O; se x for negativo, considere P na parte negativa de r. Portanto, a cada nmero real ca associado, de modo nico, um ponto da reta r. Alm disso, pelo Axioma 9, esta correspondncia tambm unvoca. Essas duas correspondncias, estabelecidas at agora, podem ser resumidas no seguinte: Teorema 3.1.1. Existe uma correspondncia biunvoca entre pontos de uma reta e nmeros reais. A bijeo do Teorema 3.1.1 as vezes chamada de sistema de coordenadas para a reta considerada. O nmero real, associado a cada ponto P dessa reta , como j vimos, a coordenada de P em relao reta. O ponto da reta associado ao nmero zero chamado a origem do sistema de coordenadas. Dado um segmento AB , denotaremos por a e b as coordenadas de suas extremidades A e B , respectivamente. Assim, a medida do segmento AB ser a diferena entre o maior e o menor destes nmeros. Isso equivalente a tomar a diferena entre a e b em qualquer ordem e, em seguida, considerar o seu valor absoluto. Portanto, AB = |a b|. (3.1)

A relao (3.1) nos diz como determinar a medida de um segmento a partir das coordenadas de suas extremidades. Como os nmeros reais so ordenados pela relao menor do que (ou pela relao maior do que), podemos estabalecer uma relao de ordem para os pontos de uma reta. 9

Lema 3.1.2. Numa semi-reta SAB , se um segmento AC tal que AC < AB ento C est entre A e B . Demonstrao. Como A a origem de SAB e B, C SAB , o ponto A no pode estar entre B e C . Se B estiver entre A e C , segue do Axioma 8 que AC = AB + BC logo, AC > AB , o que uma contradio. Portanto, o ponto C deve estar entre A e B . Teorema 3.1.3. Sejam A, B , C trs pontos colineares e distintos, cujas coordenadas so a, b e c, respectivamente. Ento, o ponto C est entre A e B se, e somente se, c est entre a e b. Demonstrao. Se o ponto C est entre A e B , decorre do Axioma 8 que AB = AC + CB , ou seja, |b a| = |c a| + |b c|. Se a < b, decorre da igualdade (3.2) que |c a| < b a e |b c| < b a. Isso implica que ca<ba e bc<ba logo, c < b e a < c, i.e., c ent entre a e b. Concluso anloga se supormos que a > b. Reciprocamente, suponha que c est entre a e b. Assim, |b a| = |c a| + |b c|, ou seja, AB = AC + CB e isso implica, em particular, que AC < AB e CB < AB. (3.3) (3.2)

Se B e C pertencem a uma mesma semi-reta com origem em A, segue do Lema 3.1.2 que C est entre A e B . Resta provar que A no separa B e C . Se isso ocorre, A est entre B e C e, assim, BC = BA + AC . Isso implica que BC > AB , contradizendo (3.3). Denio 3.1.4. O ponto mdio de um segmento AB um ponto C deste segmento tal que AC = CB . Teorema 3.1.5. Todo segmento AB tem um nico ponto mdio.

10

Demonstrao. Se a e b so as coordenadas dos pontos A e B , respectiva1 mente, considere o nmero real c = 2 (a + b). Pelo Teorema 3.1.1, existe um ponto C pertencente reta AB cuja coordenada c. Temos AC = |c a| = e CB = |c b| = 1 (a + b) a = |b a| 2 1 (a + b) b = |a b| 2

logo, AC = CB . Como c est entre a e b, segue do Teorema 3.1.3 que C est entre A e B . Portanto, o ponto C ponto mdio de AB . Quanto unicidade, suponha que exista outro ponto C pertencente ao segmento AB tal que AC = C B . Se c a coordenada de C , temos c a = b c , ou a c = c b, se a < c < b se b < c < a.

Em qualquer caso, obtemos 1 c = (a + b). 2 Assim, c = c e, pelo Teorema 3.1.1, concluimos que C = C .

3.2

Axiomas sobre medida de ngulos

Analogamente ao caso de segmentos, introduziremos o conceito de medida de ngulo, o que tambm nos possibilitar compar-los em tamanho. Denio 3.2.1. ngulo uma gura geomtrica formada por duas semiretas com mesma origem. As semi-retas so chamadas de lados do ngulo e a origem comum o vrtice do ngulo. Se os lados de um ngulo so semi-retas opostas, esse ngulo chamado de ngulo raso; caso os lados so semi-retas coincidentes, chamamos o ngulo de ngulo nulo. Existem vrias formas de representar um ngulo. Por exemplo, se O o vrtice e A, B so pontos distintos de um ngulo, um em cada lado do ngulo, este pode ser representado por AOB ou BOA. Quando nenhum 11

A O B

Figura 3.1: ngulo AOB . outro ngulo tem o mesmo vrtice, podemos usar apenas a letra que designa o vrtice para represent-lo. Assim, o ngulo da Figura 3.1 pode ser representado simplesmente por O. Em algumas ocasies, comum utilizar letras minsculas do alfabeto grego para representar um ngulo. Neste caso, usual escrever a letra que designa o ngulo prximo do vrtice e entre as duas semi-retas.

Figura 3.2: ngulo . Semelhantemente aos axiomas sobre medida de segmentos, introduziremos agora os axiomas que nos diro como medir ngulo. Axioma 11. A todo ngulo est associado um nico nmero real positivo. Este nmero zero se, e somente se, o ngulo constitudo por duas semiretas coincidentes. O nmero dado pelo Axioma 11 chamado de medida do ngulo. Denio 3.2.2. Dizemos que uma semi-reta divide um semi-plano se ela estiver contida neste semi-plano e sua origem for um ponto da reta que o determina (cf. Figura 3.3). Axioma 12. Dado um nmero real r > 0, possvel colocar em correspondncia biunvoca os nmeros reais entre 0 e r e as semi-retas de mesma origem que dividem um dado semi-plano, de modo que a diferena entres estes nmeros seja a medida do ngulo formado pelas semi-retas correspondentes. Aos ngulos raso e nulo cam associados os nmeros r e zero, respectivamente, e reciprocamente.

12

Figura 3.3: Diviso de um semi-plano. No caso em que r = 180, a medida de ngulo d o resultado em graus. Quando r = 200, a medida em grados e, quando r = , a medida est dada em radianos. O nmero associado a cada semi-reta, dado pelo Axioma 12, chama-se a coordenada da semi-reta. Assim, se a e b forem as coordenadas dos lados do ngulo AOB , ento |a b| a medida deste ngulo, e escreveremos AOB = |a b|. Sejam SOA , SOB , SOC semi-retas com mesma origem O. Dizemos que SOC divide o ngulo AOB se o segmento AB intercepta SOC . Axioma 13. Se uma semi-reta SOC divide um ngulo AOB ento AOB = AOC + COB . Dois ngulos so chamados consecutivos se eles tm um lado em comum. Se os outros lados dos ngulos esto em semi-planos opostos, denidos pelo lado comum, esses ngulos so chamados adjacentes. Por exemplo, na Figura 3.4, os ngulos AOB e AOC so consecutivos e adjacentes; no entanto, AOB e BOC so consecutivos mas no so adjacentes.

B O
Figura 3.4: ngulos consecutivos e adjacentes. Denio 3.2.3. Dois ngulos so chamados suplementares se a soma de suas medidas 180o . O suplemento de um ngulo o ngulo adjacente ao ngulo dado obtido pelo prolongamento de um de seus lados. 13

B C A O

Figura 3.5: ngulos suplementares. Decorre diretamente da denio que um ngulo e seu suplemento so ngulos suplementares. Alm disso, se dois ngulos tm a mesma medida, ento o mesmo ocorre com os seus suplementos. Denio 3.2.4. ngulos opostos pelo vrtice so aqueles em que os lados de um so as respectivas semi-retas opostas aos lados do outro.

A O

Figura 3.6: ngulos opostos pelo vrtice. Proposio 3.2.5. ngulos opostos pelo vrtice tm a mesma medida. Demonstrao. Sejam AOB e COD dois ngulos opostos pelo vrtice. Como o ngulo AOD suplementar a ambos, obtemos AOB + AOD = 180o Disso decorre que AOB = COD. Denio 3.2.6. ngulo reto um ngulo cuja medida 90o . Duas retas so chamadas perpendiculares se elas se interceptam e um dos quatro ngulos formados por elas for reto. Teorema 3.2.7. Por qualquer ponto de uma reta passa uma nica reta perpendicular a reta dada. e COD + AOD = 180o . (3.4)

14

Demonstrao. Dados uma reta r e um ponto O r, considere as duas semiretas opostas determinadas por O; elas formam um ngulo raso. Considere um dos semi-planos determinados por r. Pelo Axioma 12, existe uma nica semi-reta com origem O, dividindo o semi-plano xado e cuja coordenada 90o . Esta semi-reta forma com as semi-retas determinadas em r, pelo ponto O, ngulos de 90o . Logo, a semi-reta assim construda est contida numa reta s, que contm o ponto O, e perpendicular reta r. Quanto unicidade, suponha que existam duas retas, s e s , passando pelo ponto O, e perpendiculares a r. Fixemos um dos semi-planos determinados por r. As instersees de s e s com este semi-plano so semi-retas que formam um ngulo entre si, e formam outros dois ngulos e com as semi-retas determinadas pelo ponto O r. Como s e s so perpendiculares a r tem-se = = 90o . Por outro lado, como semi-retas opostas denem o ngulo raso, temos + + = 180o . Isso implica que = 0o e, portanto, s e s so coincidentes.

3.3

Exerccios

1. Considere trs pontos colienares A, B , C , sendo que B est entre A e C , e AB = BC . Se M o ponto mdio de AB e N o ponto mdio de BC , prove que M N = AB . 2. Sejam M , A, B pontos colineares e distintos. Dizemos que M divide o segmento AB na razo a se a = M A/M B . Dado qualquer nmero real positivo a, prove que existe um nico ponto M AB tal que M divide AB na razo a. 3. Sejam A, B e C trs pontos no plano tais que a distncia de A a B igual a soma das distncias de A a C e de C a B . O que podemos armar sobre estes pontos? 4. Considere quatro pontos distintos, A, B , C e D, e uma reta r que no contm nenhum dos pontos dados. Suponhas que os segmentos AB e CD interceptam r e que AC no a intercepta. O que podemos armar sobre o segmento BD? 5. Um ponto C pertencente a um segmento AB chamado seo urea de AB se AC/CB = AB/AC . Prove que se C seo urea de AB , ento 51 5+1 5+1 AC = 2 AB e que AB = 2 AC ; o nmero 2 chamado nmero ureo. Prove tambm que todo segmento possui uma seo urea.

15

6. Prove que duas retas concorrentes so perpendiculares se, e somente se, elas formam ngulos adjacentes suplementares de mesma medida. 7. Prove que se um ngulo e seu suplemento tm a mesma medida ento o ngulo reto. 8. Um ngulo chamado agudo se mede menos de 90o , e chamado obtuso se mede mais de 90o . Prove que o suplemento de um ngulo agudo sempre um ngulo obtuso. 9. Se duas retas se interceptam formando quatro ngulos e um deles reto, prove que os outros tambm o so. 10. Dois ngulos so chamados complementares se sua soma um ngulo reto. Considere dois ngulos complementares tais que o suplemento de um deles mede tanto quanto o suplemento do segundo mais 30o . Quanto medem os dois ngulos? 11. Por que o complemento de um ngulo sempre menor do que o seu suplemento? 12. Qual a medida da diferena entre o suplemento de um ngulo e seu complemento? 13. Dado um ngulo AOB , prove que existe uma nica semi-reta SOC tal que AOC = COB . A semi-reta SOC chamada de bissetriz do ngulo AOB . 14. Prove que as bissetrizes de um ngulo e do seu suplemento so perpendiculares. 15. Prove que as bissetrizes de dois ngulos opostos pelo vrtice so semiretas opostas.

16

Captulo 4

Axiomas de Congruncia
Os axiomas deste captulo expressam a ideia de congruncia ou de superposio. A ideia intuitiva que se procura precisar com a noo de congruncia a de que dois segmentos ou ngulos congruentes tm a mesma medida ou podem ser superpostos por um movimento rgido do plano, ou seja, por uma aplicao que no distora as guras. Essa noo de congruncia de segmentos e ngulos ser naturalmente estendida aos tringulos, onde obteremos teoremas que nos do condies sucientes para a congruncia de tringulos.

4.1

Congruncia de segmentos e ngulos

Denio 4.1.1. Dois segmentos AB e CD so chamados congruentes se eles tm a mesma medida, ou seja, se AB = CD. Diremos que dois ngulos A e B so congruentes se eles tm a mesma medida. Denotaremos a congruncia entre os segmentos AB e CD utilizando o smbolo e escreveremos AB CD. Assim, AB CD se, e somente se, AB = CD. Da mesma forma para a congruncia de ngulos, diremos que os ngulos A e B so congruentes denotando por A B . Neste texto usamos o termo congruente, e no igual, para distinguir do termo igual, que signica, matematicamente, o mesmo objeto matemtico. Com esta denio de congruncia, as propriedades que envolvem igualdade de nmeros reais passam a valer para a congruncia de segmentos e de ngulos. Como consequncia disso, a relao uma relao de equivalncia, ou seja, satisfaz as propriedades reexiva, simtrica e transitiva de congruncia.

17

4.2

Congruncia de tringulos

A m de simplicar a notao, denotaremos um tringulo, denido por trs pontos no-colineares A, B e C , por ABC ou, simplesmente, por ABC . Denio 4.2.1. Dois tringulos so chamados de congruentes se existe uma correspondncia biunvoca entre seus vrtices de modo que lados e ngulos correspondentes sejam congruentes. Isso signica que se ABC e XY Z so dois tringulos congruentes e se : {A, B, C } {X, Y, Z } a bijeo que dene a congruncia, com A X, B Y, C Z, ento valem as seguintes relaes: A X, B Y, C Z, AB XY, AC XZ, BC Y Z.

Os vrtices A e X , B e Y , C e Z so chamados correspondentes. ngulos correspondentes so aqueles cujos vrtices so correspondentes, e lados correspondentes so os lados cujas extremidades so vrtices correspondentes. Se ABC e XY Z so tringulos congruentes, escreveremos ABC XY Z , signicando que a congruncia leva A em X , B em Y e C em Z . Axioma 14. Se dois tringulos ABC e XY Z so tais que AB XY , AC XZ e A X ento ABC XY Z . Pelo Axioma 14, a m de vericar a congruncia entre dois tringulos, basta vericar apenas trs relaes, ao invs das seis relaes exigidas na Denio 4.2.1. Este axioma chamado primeiro caso de congruncia de tringulos ou, simplesmente, caso LAL. Teorema 4.2.2 (caso ALA). Dois tringulos ABC e XY Z so congruentes se AB XY , A X e B Y . 18

Demonstrao. Dados dois tringulos ABC e XY Z , com AB XY , A X e B Y , conside o ponto D sobre a semi-reta SAC tal que AD XZ . Considere o tringulo ABD. Como AB XY , AD XZ e A X , segue do Axioma 14 que ABD XY Z . Disso decorre, em particular, que ABD Y . Como, por hiptese, temos ABC Y , concluimos que ABD ABC . Decorre da que as semi-retas SBD e SBC coincidem e, assim, os pontos B e C so coincidentes. Portanto, os tringulos ABC e ABD so congruentes e, pela transitividade da relao , concluimos que ABC XY Z .

C D

B X
Figura 4.1: Caso ALA.

Denio 4.2.3. Um tringulo que tem dois lados congruentes chamado issceles; os lados congruentes so as laterais e o terceiro lado a base do tringulo. Um tringulo que tem os trs lados congruentes chama-se equiltero. Proposio 4.2.4. Em qualquer tringulo issceles, os ngulos da base so congruentes. Demonstrao. Seja ABC um tringulo issceles, com AB AC . Provemos que B C . De fato, considere a aplicao : {A, B, C } {A, C, B } denida por A A, B C, C B. Por hiptese, temos que AB AC e AC AB . Como A A, segue do Axioma 14 que ABC ACB . Decorre, em particular, que B C . A Proposio seguinte a recproca da Proposio 4.2.4. Proposio 4.2.5. Se um tringulo tem dois ngulos congruentes, ento ele iscsceles.

19

Demonstrao. Seja ABC um tringulo, com B C . Provemos que AB AC . De fato, considere a aplicao : {A, B, C } {A, C, B } denida por A A, B C, C B. Como B C , C B e BC CB , segue do Teorema 4.2.2 que ABC ACB . Disso decorre, em particular, que AB AC . Das Proposies 4.2.4 e 4.2.5 concluimos que um tringulo issceles se, e somente se, os ngulos da base so congruentes. Dado um tringulo ABC , considere um ponto D sobre a reta determinada por B e C . Se D ponto mdio do segmento BC , o segmento AD chama-se mediana do tringulo ABC relativo ao vrtice A. Se D tal que CAD DAB , AD chama-se a bissetriz do ngulo A. Se D tal que a reta AD perpendicular reta BC , AD chamada altura do tringulo ABC relativo ao vrtice A. Proposio 4.2.6. Em qualquer tringulo issceles, a mediana relativa base tambm altura e bissetriz. Demonstrao. Dado um tringulo issceles ABC , de base BC , seja AD sua mediana relativo a BC . Provemos que BAD DAC e BDA = 90o . De fato, como BD DC , AB AC e B C , segue do Axioma 14 que ABD ACD. Assim, BAD DAC e ADB ADC . Como ADB + ADC = BDC = 180o , concluimos que ADB = ADC = 90o logo, AD perpendicular a BC .
A

Figura 4.2: Proposio 4.2.6.

20

Teorema 4.2.7 (Teorema LLL). Dois tringulos so congruentes se possuem os lados correspondentes congruentes. Demonstrao. Sejam ABC e XY Z dois tringulos tais que AX XY , AC XZ e BC Y Z . Considere o semi-plano determinado pela semireta SAB e oposto ao vrtice C . Neste semi-plano, considere o ngulo com vrtice A, congruente ao ngulo X , tendo por lado SAB . No outro lado deste ngulo, considere o ponto D tal que AD XZ . Como AB XY , AD XZ e DAB X , segue do Axioma 14 que ABD XY Z . Provemos que ABD ABC . De fato, como AD XZ AC e DB Y Z BC,

os tringulos ACD e BCD so issceles. Assim, ACD ADC e BCD BDC

logo, ACB ADB . Assim, pelo Axioma 14, tem-se ADB ACB . Portanto, pela equivalncia da relao , concluimos que ABC XY Z .

B D

Figura 4.3: Caso LLL.

4.3

Exerccios

1. Um ngulo raso dividido por duas semi-retas em trs ngulos adjacentes congruentes. Prove que a bissetriz do ngulo do meio perpendicular aos lados do ngulo raso. 2. Dois segmentos AB e CD se interceptam em um ponto M , o qual ponto mdio dos dois segmentos. Prove que AC BD. 3. Em um tringulo ABC , a altura do vrtice A perpendicular ao lado BC e o divide em dois segmentos congruentes. Prove que AB AC . 21

4. Prove que os pontos mdios de um tringulo issceles formam um tringulo que tambm issceles. 5. Prove que um tringulo equiltero tambm equiangular, ou seja, os trs ngulos internos so congruentes. 6. Na Figura 4.4, o ponto A o ponto mdio dos segmentos CB e DE . Prove que os tringulos ABD e ACE so congruentes.
B D A E C

Figura 4.4 7. Na Figura 4.5, ABD e BCD so tringulos issceles com base BD. Prove que ABC ADC e que AC bissetriz do ngulo BCD.
B A D

Figura 4.5 8. A mediatriz de um segmento AB a reta perpendicular a AB passando pelo seu ponto mdio. Prove que todo ponto pertencente mediatriz de AB equidistante de A e B . Reciprocamente, prove que o conjunto dos pontos que satisfaz a propriedade de serem equidistantes dos extremos A e B a mediatriz do segmento AB . 9. Prove que em qualquer tringulo equiltero as trs medianas so congruentes. 10. Prove que todo tringulo, no qual uma altura e uma bissetriz so coincidentes, issceles.

22

Captulo 5

O Teorema do ngulo Externo

Neste captulo estudaremos vrios resultados envolvendo propriedades de tringulos; nenhum axioma novo introduzido aqui. O resultado central o teorema do ngulo externo e a partir dele obteremos inmeras aplicaes, dentre elas a existncia de retas paralelas e a desigualdade triangular.

5.1

O teorema do ngulo externo

Dado um tringulo ABC , comum chamarmos os ngulos A, B e C de ngulos internos do tringulo. Os suplementos destes ngulos so chamados de ngulos externos do tringulo. Por exemplo, na Figura 5.1, o ngulo CBD um ngulo externo do tringulo ABC , adjacente ao ngulo interno CBA.

Figura 5.1: ngulo externo CBD. Teorema 5.1.1 (ngulo externo). A medida de um ngulo externo de qualquer tringulo maior que a medida de qualquer um dos ngulos internos no adjacentes a ele. Demonstrao. Dado um tringulo ABC , considere um ponto D sobre a semi-reta SAB tal que B esteja entre A e D. Provaremos que CBD > A e 23

CBD > C . De fato, sejam M o ponto mdio do segmento BC e N o ponto na semi-reta SAM tal que M esteja entre A e N e AM M N . Temos: CM BM, AM M N e AM C BM N .

Assim, pelo Axioma 14, os tringulos AM C e BM N so congruentes e, portanto, C M BN . Como M BD = M BN + N DB , concluimos que CBD > C . De forma inteiramente anloga se prova que CBD > A.

C M A B

Figura 5.2: Teorema do ngulo externo. Corolrio 5.1.2. A soma das medidas de quaisquer dois ngulos internos de um tringulo menor que 180o . Demonstrao. Dado um tringulo ABC , mostremos, por exemplo, que A + B < 180o . De fato, seja a medida do ngulo externo do tringulo ABC , adjacente ao ngulo B . Pelo Teorema 5.1.1, temos A < . Como e B so suplementares, temos + B = 180o logo, A + B < + B = 180o , como queramos.

q B

Figura 5.3: Corolrio 5.1.2. Corolrio 5.1.3. Em todo tringulo existem, pelo menos, dois ngulos internos agudos. Demonstrao. Se um tringulo possuir dois ngulos internos no agudos, a soma deles maior ou igual a 180o , contradizendo o Corolrio 5.1.2.

24

Corolrio 5.1.4. Se duas retas distintas, r e s, so perpendiculares a uma terceira, ento elas no se interceptam. Demonstrao. Se r e s se interceptam, temos denido um tringulo com dois ngulos retos, contradizendo o Corolrio 5.1.3. O Corolrio 5.1.4 motiva a seguinte Denio 5.1.5. Duas retas que no se interceptam so chamadas paralelas. Corolrio 5.1.6 (Caso LAA). Dois tringulos ABC e XY Z so congruentes se AB XY , B Y e C Z . Demonstrao. Sejam ABC e XY Z dois tringulos tais que AB XY, BY e C Z.

Na semi-reta SY Z , considere o ponto W tal que BC = Y W . Queremos

Z W

Figura 5.4 provar que os pontos W e Z so coincidentes. De fato, se W = Z , ento W est entre Z e Y ou Z est entre W e Y . No primeiro caso, considere o tringulo XY W . Pelo Axioma 14 (caso LAL), os tringulos ABC e XY W so congruentes e, em particular, tem-se XW Y C . No tringulo XZW temos, em virtude do Corolrio 5.1.2, que Z + XW Z < 180o . Por outro lado, como XW Z o suplemento de XW Y e XW Y Z , obtemos Z + XW Z = 180o , o que uma contradio. Portanto, W no est entre Y e Z . Analogamente se prova que Z no pode estar entre Y e W . Portanto, W deve coincidir com Z e, assim, ABC XY Z . Proposio 5.1.7. Por um ponto no pertencente a uma reta passa uma nica reta perpendicular reta dada. 25

Demonstrao. Dados uma reta r e um ponto P r, considere um ponto A r. Se a reta AP j perpendicular reta r, ento a proposio est provada. Caso contrrio, seja B r, com B = A, tal que P AB seja um ngulo agudo. No semi-plano determinado por r, oposto ao ponto P , considere a semi-reta com origem A formando com SAB um ngulo congruente a P AB . Nesta semi-reta, conside o ponto P tal que AP AP . Por construo, o tringulo P AP issceles logo, P P . Se O denota o ponto de interseo das retas r e P P , concluimos, pelo Teorema 4.2.2 (caso ALA), que os tringulos P AO e P AO so congruentes. Em particular, segue que P OA P OA. Como tais ngulos so suplementares, P OA = 90o . Portanto, a reta P P perpendicular reta r. Quanto unicidade, se existissem duas retas distintas, passando por P , ambas perpendiculares reta r, isso contradiria o Corolrio 5.1.4.

P A O P'
Figura 5.5: Proposio 5.1.7. Dados uma reta r e um ponto P r, a reta perpendicular a r passando por P intercepta r em um ponto O, chamado o p da perpendicular baixada do ponto P reta r. Se A r, com A = O, o segmento AP chamado oblquio em relao a r; o segmento AO chamado projeo de AP sobre r.

O
Figura 5.6

Dado um tringulo ABC , dizemos que o ngulo A oposto ao lado BC , B oposto ao lado AC e C oposto ao lado AB .

26

Proposio 5.1.8. Se dois lados de um tringulo no so congruentes ento seus ngulos opostos no so congruentes e o maior ngulo oposto ao maior lado. Demonstrao. Seja ABC um tringulo, com AB = AC . Queremos provar que B = C . Se B C ento o tringulo ABC issceles com base BC e, em particular, tem-se AB = AC , o que uma contradio. Para a segunda parte, suponha que AB > AC , e provemos que C > B . De fato, seja D o ponto na semi-reta SAB tal que AD AC . Como AC < AB , o ponto D pertence ao segmento AB e, assim, a semi-reta SCD divide o ngulo C . Logo, C > ACD. Por outro lado, como o tringulo ACD issceles, temos ACD = ADC. Ainda, como ADC ngulo externo do tringulo CBD, tem-se ADC > B. Portanto, C > B , como queramos.

A D C B

Figura 5.7: Proposio 5.1.8. A Proposio seguinte a recproca da Proposio 5.1.8. Proposio 5.1.9. Se dois ngulos de um tringulo no so congruentes ento os lados que se opem a estes ngulos tm medidas distintas e o maior lado ope-se ao maior ngulo. Demonstrao. Seja ABC um tringulo, com B = C . Provemos que AB = AC . De fato, se tivssemos AB AC , ento o tringulo ABC seria issceles com base BC ; em particular, teramos B C , o que uma contradio. Para a segunda parte, suponha que B > C e provemos que AC > AB . Pela primeira parte, existem duas possibilidades: AC > AB ou AC < AB . Se AC < AB , segue da Proposio 5.1.8 que C > B , o que uma contradio. Portanto, devemos ter B > C , como queramos. 27

Teorema 5.1.10. Em qualquer tringulo, a soma dos comprimentos de dois lados maior que o comprimento do terceiro lado. Demonstrao. Dado um tringulo ABC , provemos, por exemplo, que AB + BC > AC . De fato, na semi-reta SCB , considere o ponto D tal que CD = AB + BC . Como BD = BA, o tringulo ABD issceles, com base AD. Logo, D BAD. Como B est entre C e D, tem-se CAD > BAD logo, no tringulo ACD, tem-se CAD > ADC e, pela Proposio 5.1.9, concluimos que CD > AC , ou seja, BC + AB > AC .

Figura 5.8: Teorema 5.1.10. Teorema 5.1.11 (Desigualdade triangular). Para quaisquer trs pontos do plano, A, B e C , tem-se AB + BC AC e vale a igualdade se, e somente se, B pertecente ao segmento AC . Demonstrao. Se A, B e C no so colineares, eles determinam um tringulo ABC , e o resultado segue do Teorema 5.1.10. Suponha, agora, que AB + BC = AC . Se a, b, c denotam as coordenadas de A, B e C , respectivamente, a igualdade acima signica que |a b| + |b c| = |a c|, ou seja, b est entre a e c. Logo, pelo Teorema 3.1.3, B est entre A e C . Reciprocamente, se B est entre A e C , a igualdade segue do Axioma 8. Observao 5.1.12. Em linguagem mais moderna, o Axioma 7, juntamente com o Teorema 5.1.11, armam que o plano est munido de uma mtrica, i.e., uma aplicao d que a cada par (A, B ) de pontos do plano, associa um nico nmero real d(A, B ) que satisfaz as seguintes propriedades para quaisquer pontos A, B , C : 1. d(A, B ) 0, 2. d(A, B ) = 0 se, e somente se, A = B , 28

3. d(A, B ) = d(B, A), 4. d(A, C ) d(A, B ) + d(B, C ). O Exemplo a seguir uma aplicao simples da desigualdade triangular. Exemplo 5.1.13. Dados uma reta r e dois pontos A e B no pertencentes a r, determinemos um ponto P r tal que AP + BP seja o menor possvel. Para solucionar este problema, consideremos dois casos: (i) A e B esto em semi-planos opostos em relao a r. Neste caso, o ponto P , interseo das retas r e AB , a soluo do problema. De fato, seja P outro ponto de r. Pela desigualdade triangular, tem-se AP + P B AB , ocorrendo a igualdade se, e somente se, P coincide com P .

A P' P B
Figura 5.9: Exemplo 5.1.13, caso (i). (ii) Se A e B esto em um mesmo semi-plano, seja O o ponto de interseo de r com sua perpendicular passando pelo ponto B . Na semi-reta oposta a SOB , seja B o ponto tal que OB = OB . Para qualquer P r, tem-se P B = P B , assim AP + P B = AP + P B . Portanto, o problema reduz-se ao caso (i) e a soluo o ponto P obtido como interseo de r com a reta AB .

A P

B O B' r

Figura 5.10: Exemplo 5.1.13, caso (ii).

29

5.2

Exerccios

1. Prove que, se um tringulo tem dois ngulos externos congruentes, ento ele issceles. 2. Um tringulo que possui um ngulo reto chamado tringulo retngulo. O lado oposto ao ngulo reto chama-se hipotenusa, e os outros dois lados so chamados catetos. Prove que um tringulo retngulo tem dois ngulos externos obtusos. 3. Na Figura 5.11, o ponto P satisfaz BP BC . Prove que AP B > BP C .

A P

Figura 5.11: Exerccio 3. 4. Se um tringulo ABC equiltero e D um ponto entre B e C , prove que AD > DB . 5. Prove que, qualquer tringulo tem pelo menos um ngulo externo obtuso. 6. Dado um tringulo ABC , marca-se um ponto D sobre o lado AB . Prove que o comprimento de CD menor que o comprimento de um dos lados AC ou BC . 7. Sejam ABC e XY Z dois tringulos no retngulos tais que AB XY , BC Y Z e C Z . D um exemplo para provar que essas hipteses no acarretam que os tringulos devam ser congruentes. 8. Prove que, por um ponto no pertencente a uma reta sempre passa uma outra reta que no intercepta a reta dada. 9. Prove que, se duas retas tm uma perpendicular em comum ento elas no se interceptam. 10. A soma dos comprimentos dos lados de um tringulo chamada de permetro do tringulo, e a metade do permetro chamada semipermetro. Prove que o comprimento de qualquer lado de um tringulo menor do que seu semipermetro. 30

11. Prove que o lugar geomtrico dos pontos equidistantes das semi-retas SOA e SOB a bissetriz do ngulo AOB . 12. Prove que, num tringulo retngulo cujos ngulos agudos medem 30o e 60o , o menor cateto mede metade do comprimento da hipotenusa e, reciprocamente. 13. Prove que todo tringulo retngulo tem dois ngulos externos obtusos. 14. Prove que em qualquer tringulo a soma dos comprimentos das medianas est compreendida entre o permetro e o semipermetro. 15. Se ABC um tringulo e P um ponto de seu interior, prove que a soma das distncias de P aos trs vrtices est compreendida entre o permetro e o semipermetro do tringulo.

31

Parte II

Geometria Euclidiana Plana

32

Captulo 6

Axioma das Paralelas

A consistncia da geometria apresentada por Hilbert estabeleceu o quinto postulado de Euclides como um axioma, independente dos demais. Este axioma caracteriza o que hoje chamamos de Geometria Euclidiana Plana. Adotaremos aqui, como j mencionado, o enunciado devido a Playfair. Nesta forma equivalente, o axioma arma a unicidade da reta passando por um ponto e paralela a uma reta dada. Observe que, auxiliados pelos Teorema 3.2.7 e Proposio 5.1.7, o Corolrio 5.1.4 garante a existncia de retas paralelas e, tambm, fornece um mtodo de constru-las.

6.1

O axioma das paralelas

Axioma 15. Por um ponto no pertencente a uma reta r passa uma nica reta paralela reta r. Uma consequncia direta do Axioma 15 que o paralelismo de retas satisfaz a propriedade de transitividade, como mostra a Proposio seguinte. Proposio 6.1.1. Considere trs retas, r, s e t, duas a duas no coincidentes. Se r paralela a s e s paralela a t, ento r paralela a t. Demonstrao. Se r e t no so paralelas, ela se interceptam em um ponto P . Assim, temos duas retas passando por um mesmo ponto e ambas paralelas reta s, contradizendo o Axioma 15. Proposio 6.1.2. Se uma reta intercepta uma de duas retas paralelas, ento ela intercepta tambm a outra.

33

Demonstrao. Sejam r e s duas retas paralelas e t uma reta que intercepta r num ponto P . Se a reta t no intercepta s, ento t e s so paralelas. Temos, assim, duas retas, r e t, passando por P , e ambas paralelas a s, contradizendo o Axioma 15. Observe que a Proposio 6.1.2 pode ser vista como um corolrio direto da Proposio 6.1.1. De fato, sejam r e s retas paralelas e t uma reta que intercepta r. Se t no intercepta s, ento t e s so paralelas. Assim, como r paralelas a s e s paralela a t, segue da Proposio 6.1.1 que r paralela a t, o que uma contradio. Dados duas retas, r e s, interceptadas por uma transversal t, cam determinados oito ngulos, como mostra a Figura 6.1. Os pares A e E , B e F ,

^ ^ A B ^ ^ D C ^ E ^ F ^ ^ H G t

Figura 6.1: ngulos correspondentes. C e G, D e H so chamados ngulos correspondentes. Proposio 6.1.3. Se r e s so retas interceptadas por uma transversal t, de modo que um par de ngulos correspondentes sejam congruentes, ento r e s so retas paralelas. Demonstrao. Suponha, por absurdo, que r e s se interceptam em um ponto P . Sejam A o ponto de interseo de r com t, e B o ponto de interseo de s com t. Assim, os pontos A, B e P denem um tringulo ABP . Suponha que e seja o par de ngulos correspondentes congruentes. No tringulo ABP (cf. Figura 6.2), um ngulo externo e um ngulo interno no adjacente a . Pelo Teorema 5.1.1, temos > , contradizendo a hiptese de termos = . Portanto, r e s so retas paralelas. O Axioma 15 garante que a recproca da Proposio 6.1.3 tambm verdadeira. Proposio 6.1.4. Duas retas paralelas interceptadas por uma reta transversal determinam ngulos correspondentes congruentes. 34

r P

A a

b B s

Figura 6.2: Proposio 6.1.3. Demonstrao. Sejam r e s duas retas paralelas e t uma reta que intercepta r e s nos pontos A e B , respectivamente. Considere uma reta r passando por A formando com t quatro ngulos congruentes aos ngulos correspondentes formados por s e t. Pela Proposio 6.1.3, r e s so retas paralelas e, pelo

t A r r' s B
Figura 6.3 Axioma 15, r e r so coincidentes. Portanto, a reta r forma com t ngulos congruentes aos correspondentes formados por s e t. O teorema seguinte uma consequncia importante do Axioma 15. Mais do que isso, possvel provar que ele equivalente ao quinto postulado de Euclides e, portanto, equivalente ao Axioma 15. Teorema 6.1.5. Em qualquer tringulo, a soma das medidas do ngulos internos 180o . Demonstrao. Dado um tringulo ABC , considere a reta r que passa pelo vrtice C e paralela reta determinada por A e B . O ponto C determina sobre r duas semi-retas. Sejam X e Y dois pontos, um em cada uma destas semi-retas. Temos: XCA + C + BCY = 180o .

35

A
Figura 6.4

Como a reta AC transversal s paralelas r e AB , segue da Proposio 6.1.4 que XCA A. Analogamente concluimos que BCY B . Portanto, A + B + C = XCA + BCY + C = 180o , como queramos. Corolrio 6.1.6. Em qualquer tringulo, a medida de um ngulo externo igual soma das medidas dos ngulos internos no adjacentes a ele. Demonstrao. Dado um tringulo ABC , seja o ngulo externo adjacente, por exemplo, ao ngulo C . Queremos provar que = A + B . Do Teorema 6.1.5, temos A + B + C = 180o . Como + C = 180o , segue que A + B = . Denio 6.1.7. Dados uma reta r e um ponto P no pertencente a r, a distncia de P a r o comprimento do segmento AP , onde A o p da perpendicular de P a r. Gostaramos agora de falar em distncia entre duas retas. Diremos que a distncia entre duas retas concorrentes zero. Para o caso de retas paralelas, consideremos inicialmente a seguinte Proposio 6.1.8. Retas paralelas so equidistantes, ou seja, se r e s so retas paralelas, ento qualquer ponto de r dista igualmente de s. Demonstrao. Sejam r e s duas retas paralelas. Dados dois pontos A, B r, considere as retas perpendiculares a r por estes pontos. Sejam A , B s os ps destas perpendiculares (cf. Figura 6.5). Queremos provar que AA BB . De fato, considere o segmento A B . Temos: ABA BA B e AA B A BB .

Assim, pelo Teorema 4.2.2, os tringulos A AB e BB A so congruentes. Em particular, concluimos que AA BB . 36

A'

B'

Figura 6.5: Proposio 6.1.8. A partir da Proposio 6.1.8, temos a seguinte Denio 6.1.9. A distncia entre duas retas paralelas a distncia de um ponto qualquer de uma delas a outra.

6.2

Exerccios

1. Seja ABC um tringulo issceles com base AB . Sejam M e N os pontos mdios dos lados AC e BC , respectivamente. Prove que o reexo do ponto C , em relao reta determinada por M e N , exatamente o ponto mdio do segmento AB . 2. Determine a soma dos ngulos externos de um tringulo. 3. Um tringulo tm dois ngulos que medem 20o e 80o . Determine a medida de todos os seus ngulos externos. 4. Pode existir um tringulo ABC em que a bissetriz do ngulo A e a bissetriz do ngulo externo no vrtice B sejam paralelas? 5. Determine os ngulos de um tringulo retngulo issceles. 6. Por que um tringulo no pode ter dois ngulos externos agudos? 7. Na Figura 6.6, AB BC , AD uma altura, AE uma bissetriz e B = 80o . Determine o ngulo DAE . 8. Pode um ngulo externo de um tringulo ser menor do que o ngulo interno que lhe adjacente? 9. Seja ABC um tringulo issceles de base BC . Prove que a bissetriz do seu ngulo externo no vrtice A paralela sua base. 10. Seja ABC um tringulo, P um ponto de AC e Q um ponto de AB . Alm disso, sabe-se que BC BP P Q AQ. Supondo que o ngulo C mede 60o , determine a medida do ngulo A. 37

B D E A
Figura 6.6 11. Prove que a bissetriz de um ngulo externo, relativo ao vrtice de um tringulo issceles, paralela base desse tringulo. 12. Sejam ABC um tringulo issceles e P um ponto qualquer da base BC . Sejam P M e P N os segmentos perpendiculares s laterais desse tringulo. Prove que P M + P N um valor constante, que a medida da altura relativa a uma das laterais. 13. Prove que se P um ponto interior de um tringulo equiltero, ento a soma das distncias de P aos lados do tringulo igual altura do mesmo. 14. Prove a recproca da Proposio 6.1.8, ou seja, se r uma reta cujos pontos so equidistantes de uma reta s, ento r e s so retas coincidentes ou paralelas. 15. Prove a equivalncia entre o Axioma 15 e o Teorema 6.1.5.

38

Captulo 7

Polgonos
Neste Captulo estudaremos alguns resultados bsicos sobre polgonos, dando especial ateno aos polgonos convexos. Os resultados so, em geral, consequncias de resultados anteriores, principalmente daqueles sobre congruncia e paralelismo.

7.1

Introduo

Um polgono uma gura geomtrica formada por um nmero nito de pontos A1 , A2 , . . . , An e pelos segmentos A1 A2 , A2 A3 , . . . An1 An , satisfazendo as seguintes propriedades: 1. An = A1 ; 2. Os segmentos Ai1 Ai , chamados lados do polgono, interceptam-se somente em suas extremidades; 3. Dois lados com mesma extremidade no pertencem a uma mesma reta. Os pontos A1 , A2 , . . . , An so os vrtices do polgono. Uma diagonal de um polgono um segmento que tem por extremidades dois de seus vrtices que no pertencem a um mesmo lado. Por exemplo, na Figura 7.1, o segmento CE uma diagonal do polgono.

39

A E B D C

Figura 7.1: Polgono com diagonal CE . Uma classicao para os polgonos pode ser realizada segundo o nmero de lados. Listamos a seguir alguns polgonos conhecidos. Nmero de lados 3 4 5 6 7 8 9 10 11 12 15 20 Nome do polgono tringulo quadriltero pentgono hexgono heptgono octgono enegono decgono undecgono dodecgono pentadecgono icosgono

7.2

Polgonos regulares

Um polgono chamado convexo se ele est sempre contido em um dos semi-planos determinados pelas retas que contm seus lados. Dois lados consecutivos de um polgono determinam dois ngulos onde, em virtude da condio (3), um deles mede menos de dois retos e o outro mais que dois retos. Um ngulo de um polgono convexo, cuja medida menor que dois retos, chama-se ngulo interno do polgono. Denio 7.2.1. Um polgono regular um polgono convexo no qual todos os lados so congruentes entre si e, tambm, todos os ngulos internos so congruentes entre si. Um quadriltero um polgono que possui quatro lados. Os vrtices no consecutivos de um quadriltero so chamados opostos, assim como dois 40

D P

A B
Figura 7.2: Quadriltero ABCD. ngulos e dois lados no consecutivos so chamados opostos. Assim, as diagonais de um quadriltero so segmentos cujas extremidades so os vrtices opostos. Proposio 7.2.2. As diagonais de um quadriltero convexo se interceptam em um nico ponto. Demonstrao. Dado um quadriltero convexo ABCD, provemos que AC e BD se interceptam em um ponto P . De fato, considere as semi-retas SAB , SAC e SAD . Armamos que SAC divide o ngulo BAD. Se isso no ocorre, ento SAB est entre SAC e SAD , ou SAD est entre SAB e SAC . No primeiro caso, o segmento CD intecepta SAB , ou seja, C e D esto em semi-planos opostos determinados pela reta AB . Isso contradiz o fato de que ABCD convexo. Contradio anloga obtemos se supormos que SAD est entre SAB e SAC . Assim, SAC divide o ngulo BAD logo, BD intercepta a semi-reta SAC . Porm, de forma inteiramente anloga, se prova que o segmento BD intercepta SCA . Isso implica que os segmentos AC e BD interceptam-se em um ponto P . Se existissem dois pontos, P e P , pertencentes interseo de AC e BD, ento eles estariam sobre a mesma reta, o que uma contradio. Denio 7.2.3. Um paralelogramo um quadriltero cujos lados opostos so paralelos.

Figura 7.3: Paralelogramo ABCD.

41

Todo paralelogramo ABCD convexo. De fato, suponha, por exemplo, que C e D esto em semi-planos opostos em relao reta AB . Assim, as retas AB e CD interceptam-se em, pelo menos, um ponto. Disso decorre, em particular, que AB e CD no so paralelos (a menos que estejam contidos em uma mesma reta), o que uma contradio. Proposio 7.2.4. Todo paralelogramo satisfaz as seguintes propriedades: (a) lados e ngulos opostos so congruentes; (b) o ponto de interseo de suas diagonais o ponto mdio delas. Demonstrao. (a) Dado um paralelogramo ABCD, considere a diagonal AC . Como AB paralelo a DC , temos BAC ACD, e como AD paralelo a BC , temos CAD ACB . Assim, os tringulos ABC e CAD so congruentes e, portanto, concluimos que B D, AB CD e AD BC . Disso tambm decorre que A C . (b) Seja P o ponto de interseo das diagonais AC e BD. Do item (a), temos: AD BC, ADB CBD e CAD ACB. Assim, os tringulos AP D e CP B so congruentes e, portanto, AP P C e DP P B . Proposio 7.2.5. Um quadriltero um paralelogramo se: (a) os lados ou ngulos opostos so congruentes; (b) dois lados opostos so congruentes e paralelos; (c) as diagonais interceptam-se mutuamente em seus pontos mdios. Demonstrao. (a) Seja ABCD um quadriltero e suponha que AB CD e BC AD. Considere a diagonal AC . Pelo Teorema 4.2.7, os tringulos

Figura 7.4: Quadriltero ABCD.

42

ABC e CAD so congruentes logo, BAC ACD e CAD ACB.

A primeira congruncia garante que AB paralelo a CD, enquanto a segunda congruncia garante que AD e BC so paralelos. Portanto, ABCD um paralelogramo. Suponha agora que o quadriltero ABCD tenha os ngulos opostos congruentes, ou seja, A C e B D. A m de simplicar a notao, denotemos por = CAB , = ACB , = ACD e = CAD (cf. Figura 7.5). Temos:

D q g A b

Figura 7.5: Quadriltero ABCD. D + + = 180o = B + + . Isso implica que + = + . (7.1)

Por outro lado, temos A C , ou seja, + = + . Temos, assim, duas equaes: + = + , + = + . Simplicando, obtemos + = + , ou seja, = . Assim, de (7.1), concluimos que = . Isso implica que AB paralelo a CD e AD paralelo a BC , ou seja, ABCD um paralelogramo. (b) Suponha, por exemplo, que AB e CD sejam congruentes e paralelos, e considere a diagonal AC (cf. Figura 7.4). Como AB e CD so paralelos, tem-se que ACD BAC . Assim, os tringulos ABC e ACD so congruentes. Segue, em particular, que ACB CAD. Isso implica que AD e BC so paralelos.

43

(c) Suponha que as diagonais AC e BD interceptam-se em seus pontos mdios, M . Como CM D AM D, pois so opostos pelo vrtice, concluimos que os tringulos ABM e CDM so congruentes. Segue, em particular, que BAM DCM e CDM ABM .

Isso implica que AB paralelo a CD e AD paralelo a BC . Teorema 7.2.6. O segmento ligando os pontos mdios de dois lados de um tringulo paralelo ao terceiro lado e tem metade de seu comprimento. Demonstrao. Dado um tringulo ABC , sejam D o ponto mdio do lado AB e E o ponto mdio do lado AC . Queremos provar que DE paralelo a BC e que DE = 1 2 BC . Na semi-reta SED , seja F o ponto tal que D esteja entre E e F e F D DE . Temos: AD BD, ADE BDF e F D DE.

Assim, os tringulos ADE e BDE so congruentes. Segue, em particular, que DF B AED e BF CE . Isso implica que BF e EC so congruentes e paralelos. Pela Proposio 7.2.5, item (b), segue que BF EC um paralelogramo. Portanto, EF e BC so paralelos e congruentes. Como D ponto mdio de EF , tem-se que DE = 1 2 BC , como queramos.

A F B
Figura 7.6: Teorema 7.2.6.

E C

7.3

Exerccios

1. Um retngulo um quadriltero que tem todos os seus ngulos retos. Prove que todo retngulo um paralelogramo. 2. Prove que as diagonais de um retngulo so congruentes. 3. Um losango um paralelogramo que tem todos os lados congruentes. Prove que as diagonais de um losango interceptam-se em ngulo reto e so bissetrizes dos seus ngulos. 44

4. Um quadrado um retngulo que tambm um losango. Prove que se as diagonais de um quadriltero so congruentes e se interceptam em um ponto que ponto mdio de ambas, ento o quadriltero um retngulo. Alm disso, se as diagonais so perpendiculares uma a outra, ento o quadriltero um quadrado. 5. Um trapzio um quadriltero em que dois lados opostos so paralelos. Os lados paralelos de um trapzio so chamados bases e os outros dois so chamados de laterais. Um trapzio chamado issceles se suas lateriais so congruentes. Seja ABCD um trapzio em que AB uma base. Se ele issceles, prove que A B e C D. 6. Prove que as diagonais de um trapzio issceles so congruentes. 7. Determine a soma dos ngulos internos de um pentgono. 8. Na Figura 7.7, ABCD um quadrado e BCE um tringulo equiltero. Determine o ngulo BDE .

B E

C
Figura 7.7

9. Na Figura 7.8, ABCD um quadrado e CDE um tringulo equiltero. Determine a medida do ngulo AED.

A E

C
Figura 7.8

10. Prove que num trapzio issceles a mediatriz de uma de suas bases mediatriz da outra base, e reciprocamente. 45

11. Prove que o segmento que liga os pontos mdios das laterais de um trapzio paralelo s bases e que seu comprimento a mdia aritmtica dos comprimentos das bases. 12. Prove que ligando-se os pontos mdios dos lados de um quadriltero qualquer obtm-se um paralelogramo. 13. A partir de cada vrtice de um quadrado ABCD, cujos lados so percorridos em um mesmo sentido, marcam-se pontos X, Y, Z, W tais que AX BY CZ DW . Prove que o quadriltero XY ZW tambm um quadrado. 14. Qual a gura geomtrica obtida quando ligamos os pontos mdios dos lados de um retngulo? 15. Dado um paralelogramo ABCD, considere os tringulos equilteros ABF e ADE construdos exteriormente ao paralelogramo. Prove que F CE tambm equiltero.

46

Captulo 8

rea
Neste captulo discutiremos o conceito de rea de regies poligonais, que ser feito mediante alguns axiomas, os quais permitiro introduzir as frmulas usuais para a rea de tringulos, retngulos e demais polgonos. Como aplicaes do conceito de rea, veremos os famosos Teorema de Pitgoras e o Teorema de Tales.

8.1

A unidade de medida

Nosso objetivo inicial estabelecer um mtodo de medir a regio do plano delimitada por uma gura geomtrica F . Isso ser feito pela comparao da gura F com uma unidade de medida. O resultado dessa comparao ser um nmero, que dever exprimir quantas vezes a gura F contm a unidade de medida. Lembremos que o quadrado um quadriltero que tem os quatro lados congruentes e os quatro ngulos internos retos. Uma regio quadrangular o conjunto dos pontos do plano formado por todos os segmentos cujas extremidades esto sobre os lados de um quadrado. O quadrado chama-se a fronteira da regio quadrangular e o conjunto dos pontos de uma regio quadrangular que no pertencem sua fronteira chamado de interior da regio. Adotaremos como unidade de medida uma regio quadrangular cujo lado da fronteira mede uma unidade de comprimento. Esta regio ser chamada de regio quadrangular unitria ou, simplemente, de regio unitria. Mais precisamente, estabeleceremos o seguinte axioma. Axioma 16. Qualquer regio unitria ter como medida o nmero real 1.

47

Figura 8.1: Regio quadrangular. Este nmero real (igual a 1), associado a cada regio unitria, chamado de rea da regio unitria. Portanto, qualquer regio unitria tem rea igual a 1. Alm disso, o nmero real obtido da comparao de uma gura geomtrica F com a regio unitria ser chamado a rea da gura F , e ser denotado por rea(F ). Observao 8.1.1. Na discusso acima, estamos admitindo que seja possvel realizar essa comparao. Ou seja, estamos supondo que as guras geomtricas no sejam segmentos ou retas, por exemplo. Neste caso, no faz sentido falar em quantas vezes a gura F contm a regio unitria. Seja Q uma regio quadrangular cuja medida do lado do quadrado um nmero inteiro n. A regio Q pode ser decomposta, atravs de retas paralelas aos lados do quadrado, em n2 regies unitrias justapostas. Assim, deve-se ter rea(Q) = n2 .

Figura 8.2: Regio quadrangular Q. Considere agora uma regio quadrangular Q cuja medida do lado do quadrado 1/n, onde n um nmero inteiro. Decompomos a regio unitria em n2 regies quadrangulares, todas congruentes a Q. Ento, como estas n2 regies compem a regio unitria, a rea de Q deve satisfazer condio n2 rea(Q) = 1 e, portanto, rea(Q) = 1/n2 . De forma mais geral, considere uma regio quadrangular Q cuja medida do lado do quadrado um nmero racional m/n. Decompomos cada lado do 48

quadrado em m segmentos, cada um dos quais com medida 1/n. Traando paralelas ao lados do quadrado a partir dos pontos de diviso, obtemos uma decomposio de Q em m2 regies quadrangulares, onde a medida do lado do quadrado de cada uma delas 1/n. Assim, a rea de cada uma destas regies 1/n2 . Portanto, deve-se ter rea(Q) = m2 (1/n2 ) = m2 /n2 . Analisemos agora o caso em que o lado do quadrado de uma regio quadrangular tem por medida um nmero irracional. Proposio 8.1.2. Seja Q uma regio quadrangular cuja medida do lado do quadrado um nmero irracional a. Ento, ainda neste caso, tem-se rea(Q) = a2 . Demonstrao. Provaremos que a rea de Q no pode ser um nmero b menor nem um nmero c maior do que a2 . Assim, concluiremos que rea(Q) = a2 . Seja, ento, b um nmero real tal que b < a2 . Seja r um nmero racional tal que b < r2 < a2 . No interior da regio Q, considere uma regio quadrangular Q , cuja medida do lado do quadrado r. Como r racional, tem-se rea(Q ) = r2 . Como Q est contida no interior de Q, devemos ter rea(Q ) < rea(Q), ou seja, r2 < rea(Q). Portanto, como b < r2 , segue que b < rea(Q). Assim, todo nmero real b, menor que a2 , tambm menor que a rea de Q. Analogamente se prova que todo nmero real c, maior do que a2 , maior do que a rea de Q. Portanto, a rea de Q no pode ser menor nem maior do que a2 . Por excluso, deve-se ter rea(Q) = a2 . A Proposio 8.1.2, juntamente com a discusso acima, pode ento ser resumida na seguinte Proposio 8.1.3. A rea de uma regio quadrandular, cuja medida do lado do quadrado um nmero real positivo a, dada por rea(Q) = a2 .

8.2

rea de regies poligonais

Nosso objetivo agora calcular a rea de algumas regies poligonais. Neste texto usaremos, frequentemente, expresses do tipo a rea de um polgono, quando queremos dizer a rea da regio poligonal cuja fronteira o dado polgono.

49

Figura 8.3: Regio triangular. Analogamente ao quadrado, chamamos de regio triangular o conjunto dos pontos do plano formado por todos os segmentos cujas extremidades esto sobre os lados de um tringulo. Uma regio poligonal a unio de um nmero nito de regies triangulares que, duas a duas, no tm pontos interiores em comum. Dizemos que um ponto interior a uma regio poligonal se existe alguma regio triangular contida na regio poligonal e contendo o ponto em seu interior. A fronteira de uma regio poligonal constituda pelos pontos da regio que no pertencem ao seu interior. Proposio 8.2.1. A rea de um retngulo ABCD o produto AB AD. Demonstrao. Lembremos que um retngulo um quadriltero que tem os quatro ngulos internos retos. A m de simplicar a notao, denotemos por a = AD e b = AB . A partir do retngulo ABCD, construimos o quadrado Q, de lado a + b, o qual contm duas cpias de ABCD e mais dois quadrados, um de lado a e outro de lado b. Pela Proposio 8.1.3, temos

b A a D C b B

Figura 8.4: rea do retngulo ABCD. rea(Q) = (a + b)2 = a2 + 2ab + b2 . Por outro lado, como os quadrados menores tm reas iguais a a2 e b2 , respectivamente, temos rea(Q) = a2 + b2 + 2 rea(ABCD). Portanto, tem-se rea(ABCD) = a b = AB AD. 50

Outra regio poligonal simples aquela delimitada por um paralelogramo. Dado um paralelogramo ABCD, um segmento ligando as retas que contm os segmentos AB e CD, e perpendicular a ambas, chama-se a altura do paralelogramo ABCD relativo ao lado AB . Proposio 8.2.2. A rea de um paralelogramo ABCD o produto da medida de um de seus lados pela medida da altura relativa a este lado. Demonstrao. Dado um paralelogramo ABCD, denotemos por b = AB e por a a medida da altura de ABCD relativa ao lado AB . Construimos o retngulo AF CE , de lados b + c e a, de modo que ABCD esteja contido neste retngulo (cf. Figura 8.5). A rea desse retngulo dada por

E a b A B

c F

Figura 8.5: rea do paralelogramo ABCD. rea(AF CE ) = a(b + c) = ab + ac. Por outro lado, o retngulo AF CE formado pelo paralelogramo ABCD mais dois tringulos que, juntos, formam um retngulo de rea ac. Portanto, rea(ABCD) + ac = ab + ac, donde rea(ABCD) = ab. Corolrio 8.2.3. A rea de um tringulo a metade do produto da medida de qualquer um de seus lados pela altura relativa a este lado. Demonstrao. Dado um tringulo ABC , pelo vrtice C trace uma paralela a AB , e por B trace uma paralela a AC . Estas retas denem o polgono ABDC , que um paralelogramo, onde os tringulo ACB e DBC so congruentes. Assim, 1 rea(ABC ) = rea(ABDC ). 2 Como a altura relativa ao vrtice C do tringulo ABC coincide com a altura do paralelogramo ABDC relativo ao lado AB , o resultado segue da Proposio 8.2.2. 51

Figura 8.6: rea do tringulo ABC . Observao 8.2.4. Dado um tringulo ABC , considere a reta r paralela reta BC , passando pelo ponto A. Sejam A outro ponto de r, com A = A, e D um ponto na semi-reta SBC . Tem-se BD = r BC , para algum nmero real r > 0. Considere a algura AE do tringulo ABC , relativa ao vrtice A, e a altura A E do tringulo A BD, relativa ao vrtice A (cf. Figura 8.7). Observe que, pela Proposio 6.1.8, estas alturas so congruentes, ou seja, AE = A E . Pelo Corolrio 8.2.3, temos: 1 rea(ABC ) = BC AE. 2 Por outro lado, temos 1 1 rea(A BD) = BD A E = r BC AD, 2 2 logo rea(A BD) = r rea(ABC ).

A'

E'

Figura 8.7

Finalizaremos esta seo calculando a rea de um trapzio. Proposio 8.2.5. A rea de um trapzio metade do produto da medida de sua altura pela soma das medidas de suas bases. 52

Demonstrao. Dado um trapzio ABCD, cujas bases so AB e CD, considere a diagonal AC . Considere tambm as alturas CE e AF dos tringulos ACB e ACD, respectivamente. Como AB e CD so paralelos, tem-se CE AF . Assim, rea(ABCD) = rea(ACB ) + rea(ADC ) AB CE DC AF = + 2 2 1 = CE (AB + CD), 2 como queramos provar.

Figura 8.8: rea do trapzio ABCD.

8.3

Denio geral de rea

At agora obtemos uma frmula para o clculo da rea de algumas regies poligonais. Entretanto, no demos ainda uma denio geral para a rea de uma gura geomtrica arbitrria F . A rea de uma gura geomtrica F , que estamos denotando por rea(F ), car bem determinada se conhecermos seus valores aproximados, por falta ou por excesso. Os valores de rea(F ) aproximados por falta so, por denio, as reas das regies poligonais P contidas em F . Os valores de rea(F ) aproximados por excesso so as reas das regies poligonais Q que contm F . Assim, quaisquer que sejam as regies poligonais P e Q, o nmero rea(F ) satisfaz rea(P ) rea(F ) rea(Q). Por simplicidade, ao invs de considerarmos regies poligonais quaisquer, limitaremos nossa ateno s regies poligonais retangulares, que consistem de uma unio de vrias regies retangulares justapostas. A rea de uma

53

regio poligonal retangular ou, abreviadamente, de um polgono retangular, a soma das reas dos retngulos que o compem. Para maior simplicidade ainda, limitaremos nossa ateno polgonos retangulares contidos na gura F , cuja rea desejamos calcular. Denimos, ento, a rea da gura F como o nmero real positivo cujas aproximaes por falta so as reas dos polgonos retangulares contidos em F . Isso signica que, para todo polgono retangular P , contido em F , tem-se rea(P ) rea(F ). Alm disso, dado qualquer nmero b < rea(F ), existe um polgono retangular P , contido em F , tal que b < rea(P ) rea(F ).

Figura 8.9: Polgono retangular P contido na gura F . Observe que poderamos ter denido a rea de F como o nmero real positivo cujas aproximaes por excesso so as reas dos polgonos retangulares que contm F .

8.4

Aplicaes

Nesta seo obteremos o Teorema de Tales, respeito de retas paralelas, e o famoso Teorema de Pitgoras acerca de tringulos retngulos. Teorema 8.4.1 (Tales). Dado um tringulo ABC , considere uma reta paralela ao lado BC , interceptando os lados AB e AC nos pontos B e C , respectivamente. Ento, AB AC = . AC AB 54 (8.1)

Demonstrao. Como B C paralelo a BC , segue da Observao 8.2.4 que rea(BB C ) = rea(CB C ). (8.2)

Alm disso, os tringulos C AB e B AC tm, em comum, o tringulo AB C . Assim, em virtude de (8.2),tem-se

A D B' E

C'

C
Figura 8.10: Teorema de Tales.

rea(C AB ) = rea(B AC ).

(8.3)

Por outro lado, os tringulos C AB e C AB tm mesma altura C D relativa ao vrtice C . Assim, pelo Corolrio 8.2.3, obtemos: 1 rea(C AB ) = AB C D 2 1 e rea(C AB ) = AB C D. 2 (8.4)

Analogamente, os tringulos B AC e B AC tm mesma altura B E relativa ao vrtice B . Logo, 1 rea(B AC ) = AC B E 2 1 e rea(B AC ) = AC B E. 2 (8.5)

Portanto, de (8.3), (8.4) e (8.5), obtemos: rea(C AB ) AB rea(C AB ) AC = = = , rea(C AB ) rea(B AC ) AB AC provando a relao (8.1). O Teorema de Tales pode ser enunciado de uma forma mais geral. Teorema 8.4.2 (Tales). Trs retas paralelas, interceptadas por duas retas transversais, determinam segmentos proporcionais. 55

Demonstrao. Considere trs retas paralelas, r, s e t, que interceptam duas retas, m e n, nos pontos A, B , C e A , B , C , respectivamente (cf. Figura 8.11). Queremos provar que AB A B = . AC AC (8.6)

Pelo ponto A, considere a reta n , paralela reta n, interceptando as retas s e t nos pontos D e E , respectivamente. Pelo Teorema 8.4.1, tem-se AB AD = . AC AE Agora, como ADB A e DEC B so paralelogramos, segue que AD A B e DE B C . (8.8) (8.7)

Portanto, de (8.7) e (8.8), obtemos a relao (8.6).

n' m A B C D

n A'

r B' s

C' t

Figura 8.11: Teorema de Tales. Teorema 8.4.3 (Pitgoras). Em qualquer tringulo retngulo, o quadrado da medida da hipotenusa igual a soma dos quadrados das medidas dos catetos. Demonstrao. Seja ABC um tringulo retngulo, cujo ngulo reto C . A m de simplicar a notao, escrevamos a = BC , b = AC e c = AB . Na semi-reta SCB , considere o ponto D tal que B esteja entre C e D e BD = b. Considere agora a reta perpendicular reta BC , passando por D. Sobre esta reta, considere o ponto E , situado no mesmo semi-plano que A em relao reta BC , e tal que DE = a. Obtemos, assim, o tringulo retngulo BED. Observe que, pelo caso LAL, os tringulos ABC e BED so congruentes. De forma inteiramente anloga, construimos os tringulos retngulos EGF 56

e GAH , ambos congruentes ao tringulo ABC , como mostra a Figura 8.12. Por construo, os quadrilteros CDF H e ABEG so quadrados. Temos: rea(CDF H ) = rea(ABEG) + 4 rea(ABC ). (8.9)

Pela Proposio 8.2.2 e pelo Corolrio 8.2.3, a igualdade (8.9) torna-se: (a + b)2 = c2 + 4 1 a b. 2 (8.10)

Elevando ao quadrado e simplicando os termos, a relao (8.10) torna-se a2 + b2 = c2 , como queramos.

D b B a

a c

b c

F a G

c c b A a

b H

Figura 8.12: Teorema de Pitgoras. A recproca do Teorema de Pitgoras tambm verdadeira. Teorema 8.4.4. Se num tringulo ABC vale a relao BC = AB + AC , ento o tringulo retngulo e sua hipotenusa o lado BC . Demonstrao. A partir do tringulo ABC , construimos um tringulo retngulo XY Z , cuja hipotenusa o lado ZY e os catetos XY e XZ satisfazem XY AB e XZ AC . Pelo Teorema de Pitgoras, a hipotenusa Y Z mede 2 2 Y Z = AB + AC . Portanto, o tringulo XY Z tem lados medindo AB , AC e BC logo, pelo Teorema 4.2.7, os tringulos XY Z e ABC so congruentes. Isso implica que ABC retngulo e sua hipotenusa o lado BC . 57
2 2 2

Figura 8.13: Recproca do Teorema de Pitgoras.

8.5

Exerccios

1. Dois hexgonos regulares tm lados medindo 2cm e 3cm. Qual a relao entre as suas reas? 2. Dado um quadrado ABCD, de lado a, sejam O o ponto de interseo das diagonais AC e BD. Se P e A denotam os pontos mdios dos segmentos AO e BO, respectivamente, calcule a rea do quadriltero ABQP . 3. Prove que os pontos mdios de um quadriltero convexo qualquer so vrtices de um paralelogramo cuja rea a metade da rea do quadriltero dado. 4. Na Figura 8.14, ABCD um quadrado e M N C um tringulo equiltero. Determine a rea deste tringulo.

D M

Figura 8.14: Tringulo equiltero M N C . 5. Prove que a rea de um losango igual metade da medida do produto das diagonais. 6. Prove que as trs medianas de um tringulo o decompem em seis tringulos de mesma rea. 7. Usando a Figura 8.15, d uma nova prova para o Teorema de Pitgoras. 8. Usando a Figura 8.16, d uma nova prova para o Teorema de Pitgoras. 58

a b

c c b

Figura 8.15: Teorema de Pitgoras.

Figura 8.16: Teorema de Pitgoras, provado por Bhaskara.

Figura 8.17: Teorema de Pitgoras. 9. Usando a Figura 8.17, d uma nova prova para o Teorema de Pitgoras. 10. Prove que a rea A de um tringulo de semipermetro p e lados de medida a, b, c dada por A = p(p a)(p b)(p c). Esta chamada a frmula de Heron para a rea de um tringulo (cf. [7]).

59

Captulo 9

Semelhana
Neste captulo discutiremos, de forma simples, o conceito geral de semelhana, permitindo que se desenvolva toda a teoria de forma elementar. Obteremos, em particular, a teoria de semelhana de tringulos. Alm disso, apresentaremos uma nova demonstrao dos teoremas de Tales e Pitgoras, agora sob o ponto de vista de semelhana.

9.1

A denio de semelhana

Sejam F e F duas guras geomtricas e r um nmero real positivo. Denio 9.1.1. Dizemos que F e F so semelhantes, com razo de semelhana r, se existe uma bijeo : F F , entre os pontos de F e os pontos de F , satisfazendo (X )(Y ) = r XY , para quaisquer pontos X , Y pertencentes gura F . A bijeo : F F chama-se uma semelhana de razo r entre as guras geomtricas F e F . A m de simplicar a notao, denotaremos por X = (X ) e Y = (Y ) as imagens dos pontos X e Y pela bijeo . Observao 9.1.2. Toda gura geomtrica F semelhante a si prpria, pois a aplicao identidade : F F uma semelhana de razo 1. Alm disso, se F semelhante a F ento F semelhante a F pois, se : F F uma semelhana de razo r, ento a inversa 1 : F F uma semelhana de razo 1/r. Finalmente, se F semelhante a F e F semelhante a F , ento F semelhante a F . De fato, se : F F e : F F so semelhanas de razes r e r , respectivamente, ento a composta : F F 60

F' F Y X X'
Figura 9.1: Semelhana de razo r. uma semelhana de razo r r . Isso mostra que a semelhana de guras geomtricas uma relao de equivalncia. Denio 9.1.3. Uma semelhana de razo 1 chamada de isometria. Neste caso, quando existe uma isometria entre as guras F e F , dizemos que estas so congruentes. Exemplo 9.1.4. Se dois segmentos AB e CD satisfazem CD = r AB , para algum nmero real r > 0, denimos uma semelhana : AB CD, de razo r, fazendo corresponder a cada ponto X do segmento AB o ponto X de CD tal que CX = r AX. A m de provar que de fato uma semelhana, sejam X, Y AB . Se X est entre A e Y ento, pela denio de , o ponto X est entre C e Y . Assim, X Y = CY CX = r AY r AX = r(AY AX ) = r XY . Analogamente se Y est entre A e X , Portanto, os segmentos AB e CD so semelhantes.

j Y'

B Y X A C
Figura 9.2: Semelhana de segmentos.

D j X' Y'

61

Exemplo 9.1.5. Duas semi-retas SAB e SCD so guras semelhantes. De fato, dado qualquer nmero real r > 0, denimos uma semelhana : SAB SCD , de razo r, fazendo corresponder a cada ponto X em SAB o ponto X = (X ) em SCD tal que CX = r AX. A prova de que uma semelhana se faz como no Exemplo 9.1.4. De forma anloga se prova que duas retas quaisquer so semelhantes. Veremos a seguir algumas propriedades das semelhanas. Lema 9.1.6. Toda semelhana transforma pontos colineares em pontos colineares. Demonstrao. Sejam : F F uma semelhana de razo r e trs pontos A, B , C em F tais que C pertence ao segmento AB . Provemos que C pertence ao segmento A B . De fato, como AB = AC + CB , temos: A C + C B = rAC + rCB = r(AC + CB ) = rAB = A B , provando que C pertence ao segmento A B . A proposio seguinte far uso do conceito do crculo. A m de denlo, considere um ponto O do plano e a um nmero real positivo. O crculo de centro O e raio a o conjunto de todos os pontos P do plano tais que OP a. No Captulo 10, ao tratarmos da circunferncia, voltaremos a falar do crculo com mais detalhes. Proposio 9.1.7. Toda semelhana : F F de razo r transforma: (a) Todo segmento contido em F num segmento contido em F . (b) Um crculo de raio a contido em F num crculo de raio r a em F . (c) Pontos interiores a F em pontos interiores a F . (d) Pontos da fronteira de F em pontos da fronteira de F . (e) Vrtices de F em vrtices de F (se F e F forem polgonos).

62

Demonstrao. (a) Dados um segmento AB contido em F e um ponto C AB , o ponto C pertence ao segmento A B em virtude do Lema 9.1.6. Reciprocamente, dado um ponto C em A B , tem-se C = (C ), onde C = 1 (C ). Como 1 uma semelhana, segue do Lema 9.1.6 que o ponto C pertence ao segmento AB . Portanto, estabelece uma correspondncia biunvoca entre os pontos dos segmentos AB e A B . (b) Um crculo de centro O e raio a, contido em F , a unio de todos os segmentos OX tais que OX = a. Sua imagem por a unio dos segmentos O X tais que O X = r OX , ou seja, o crculo de centro O e raio r a. (c) Dizemos que um ponto X est no interior de uma gura F se centro de algum crculo inteiramente contido em F . Sua imagem X , pelo item (b), o centro de um crculo de raio r a, contido em F . Portanto, X ponto interior de F . (d) Dizemos que um ponto X pertence fronteira de uma gura F se X F mas no interior a F . Neste caso, o ponto X deve pertencer fronteira de F pois, se X estivesse no interior de F ento, em virtude do item (c), X = 1 ((X )) tambm estaria no interior de F . (e) Suponha que F e F sejam polgonos e que X seja um vrtice de F . Em particular, X est na fronteira de F e, pelo item (d), sua imagem X est na fronteira de F . Se X no fosse vrtice, X pertenceria a um lado A B de F , sendo diferente de A e B . Mas isso implicaria que X pertence ao lado AB de F , com X = A e X = B , logo X no seria vrtice de F .

9.2

Homotetias

Fixemos um ponto arbitrrio O do plano e seja r um nmero real positivo. Denio 9.2.1. Uma homotetia de centro O e razo r a aplicao do plano tal que (O) = O e, para todo X = O, X = (X ) o ponto da semi-reta SOX tal que OX = r OX . Uma homotetia de razo 1 simplesmente a aplicao identidade. Uma homotetia de centro O transforma toda reta que passa por O em si mesma. Alm disso, toda homotetia uma correspondncia biunvoca, cuja inversa a homotetia de mesmo centro e razo 1/r. Teorema 9.2.2. Toda homotetia uma semelhana que transforma qualquer reta em si prpria ou numa reta paralela. Demonstrao. Seja uma homotetia de centro O e razo r. Note que o caso r = 1 trivial, pois a identidade. Supondo ento r = 1, considere 63

dois pontos quaisquer X , Y . Se X , Y e O so colineares ento, da Denio 9.2.1, tem-se X Y = r XY . Suponha ento que X , Y e O no sejam colineares. Da hiptese OX = r OX e OY = r OY ,

e da Observao 8.2.4 concluimos (cf. Figura 9.3) que rea(OXY ) = r rea(OXY ) e rea(OY X ) = r rea(OXY ), logo rea(OXY ) = rea(OY X ). (9.1)

Subtraindo de ambos os membros de (9.1) a rea do tringulo comum OXY , resulta rea(XY X ) = rea(XY Y ). Como estes dois tringulos tm a mesma base XY , da igualdade de suas reas segue-se que suas alturas so congruentes. Logo, pelo Exerccio 6.14, XY paralelo a X Y . Provemos que X Y = r XY . De fato, usando novamente a Observao 8.2.4, temos: rea(Y OX ) + rea(Y XX ) = r rea(Y OX ) e rea(Y OX ) + rea(Y XX ) + rea(X Y Y ) = rrea(OY X ) ( ) = r rea(Y OX ) + rea(Y XX ) . Subtraindo (9.2) de (9.3), obtemos rea(X Y Y ) = r rea(Y XX ). Como XY e X Y so paralelos, os tringulos X Y Y e Y XX tm a mesma altura. Assim, a razo rea(X Y Y ) r= rea(Y XX ) igual razo entre suas bases, ou seja, X Y = r, XY como queramos provar. 64 (9.3) (9.2)

X' X O Y Y'
Figura 9.3 Usando o Teorema 9.2.2, podemos obter novamente o Teorema de Tales, agora sob o ponto de vista de semelhana. Corolrio 9.2.3 (Tales). Toda reta paralela a um dos lados de um tringulo, que intercepta os outros dois lados, determina um novo tringulo semelhante ao primeiro. Demonstrao. Dado um tringulo ABC , considere uma reta paralela ao lado BC , interceptando os lados AB e AC nos pontos D e E , respectivamente. Armamos que os tringulos ABC e ADE so semelhantes. De AB fato, considere a homotetia de centro A e razo r = AD . Observe que transforma D em B e E num ponto C sobre a semi-reta SAC . A imagem de DE por o segmento BC , paralelo a DE . Assim, C pertence s retas BC e AC , isto , C C . Portanto, (A) = A, (D) = B e (E ) = C , ou seja, uma semelhana entre os tringulos ADE e ABC . Em particular, obtemos AD AE , = AC AB como queramos.

Figura 9.4: Teorema de Tales.

65

A recproca do Corolrio 9.2.3 tambm verdadeira. Proposio 9.2.4. Num tringulo ABC , considere um ponto D sobre o AB AC lado AB e um ponto E sobre AC tais que AD = AE . Ento, DE paralelo a BC . Demonstrao. Considere a homotetia de centro A e razo r= AB AC = . AD AE

Como B = (D) e C = (E ), segue do Teorema 9.2.2 que DE e BC so paralelos.

9.3

Semelhana de tringulos

Na literatura a semelhana de tringulos denida de modo que dois tringulos so semelhantes se existe uma bijeo entre seus vrtices de modo que ngulos correspondentes so congruentes e lados correspondentes so proporcionais. Provaremos agora que a denio de semelhana, dada na Seo 9.1, quando aplicada a tringulos, reduz-se denio tradicional. Teorema 9.3.1. Dois tringulos semelhantes tm ngulos correspondentes congruentes e lados correspondentes proporcionais. Reciprocamente, se dois tringulos tm ngulos correspondentes congruentes ou lados correspondentes proporcionais, eles so semelhantes. Demonstrao. Seja : ABC A B C uma semelhana de razo r entre os tringulos ABC e A B C , com A = (A), B = (B ) e C = (C ). Ento, pela denio de semelhana, temos: A B A C BC = = = r, AB AC BC ou seja, os tringulos tm os lados correspondentes proporcionais. A m de provar que os ngulos correspondentes so congruentes, considere a homotetia de centro A e razo r; transforma o tringulo ABC no tringulo parcial AB C , com B C paralelo a BC . Assim, B B No entanto, como AB = A B = r AB, 66 e C C.

AC = A C = r AC e B C = B C = r BC, os tringulos AB C e A B C so congruentes, portanto A A , B B e C C .

Reciprocamente, sejam ABC e A B C dois tringulos tais que

C C'' A B A'
Figura 9.5 A A , B B

C'

B''

B'

e C C .

Nas retas AB e AC , considere os pontos B e C , respectivamente, tais que AB A B e AC A C . Como A A , os tringulos AB C e A B C so congruentes. Isso implica que B B , donde B B . Portanto, as retas B C e BC so paralelas e, pelo Corolrio 9.2.3, os tringulos AB C e ABC so semelhantes. Como AB C e A B C so congruentes segue, pela transitividade, que ABC e A B C so semelhantes. Sejam agora dois tringulos ABC e A B C tais que A B = r AB, A C = r AC e B C = r BC,

para algum nmero real r > 0. A homotetia de centro A e razo r transforma o tringulo ABC no tringulo AB C cujos lados medem AB = r AB, AC = r AC e B C = r BC.

Os tringulos AB C e A B C so congruentes pois tm os lados correspondentes congruentes. Como AB C semelhantes a ABC , pela transitividade, segue-se que ABC e A B C so semelhantes. Veremos a seguir condies sucientes para que dois tringulos sejam semelhantes.

67

Corolrio 9.3.2. Dois tringulos so semelhantes se dois ngulos correspondentes so congruentes. Demonstrao. Sejam ABC e XY Z dois tringulos, com A X e B Y . Do Teorema 6.1.5, temos A + B + C = 180o = X + Y + Z logo, C Z , e o resultado segue do Teorema 9.3.1. Teorema 9.3.3. Dois tringulos ABC e XY Z so semelhantes se A X AB AC e XY = XZ . Demonstrao. A partir dos tringulos dados, construimos um tringulo HIJ tal que HI XY, H A e I B. Pelo Corolrio 9.3.2, os tringulos ABC e XIJ so semelhantes, assim AB AC = . HI HJ Como HI XY , a hiptese
AB XY

que HJ XZ . Como XY HI e X H , pelo Axioma 14, segue que os tringulos XY Z e HIJ so conguentes. Como ABC e HIJ so semelhantes, segue por transitividade que ABC e XY Z so semelhantes.

AC XZ

e a igualdade acima implicam

C A B X

Z Y H

J I

Figura 9.6 A proposio seguinte fornece uma relao interessante entre as medidas dos lados de um tringulo retngulo. Proposio 9.3.4. Em qualquer tringulo retngulo, a altura relativa ao vrtice do ngulo reto mdia geomtrica entre as projees dos catetos sobre a hipotenusa.

68

Demonstrao. Dado um tringulo retngulo ABC , com ngulo reto no vrtice A, trace a altura AD relativa ao lado BC (cf. Figura 9.7). Provemos que 2 AD = BD DC. Como AD perpendicular a BC , os tringulos ADC e ADB so retngulos. Como B + BAD = 90o e B + C = 90o , temos: C BAD. Assim, pelo Corolrio 9.3.2, os tringulos ADC e BDA so semelhantes. Desta semelhana, decorre que AD CD = , BD AD ou seja, AD = BD DC, como queramos.
2

Figura 9.7: Tringulo retngulo ABC . Corolrio 9.3.5 (Teorema de Pitgoras). Em qualquer tringulo retngulo, o quadrado da medida da hipotenusa igual a soma dos quadrados das medidas dos catetos. Demonstrao. Dado um tringulo retngulo ABC , com ngulo reto no vrtice A, trace a altura AD do vrtice A ao lado BC . Pela Proposio 9.3.4, os tringulos ABC , ADC e BDA so semelhantes. Da semelhana de ADC e BAC , temos: CD AC = , AC BC e da semelhana entre BDA e BAC , temos: BD AB = . AB BC 69

Assim, AC = BC CD Portanto, AB + AC = BC (BD + CD) = BC , como queramos provar.

2 2 2 2

e AB = BC BD.

9.4

Exerccios

1. Se : F F e : F F so semelhanas de razes r e r , respectivamente, prove que a composta : F F uma semelhana de razo rr , e a inversa 1 : F F uma semelhana de razo 1/r. 2. Seja r uma reta do plano. A reexo em torno de r a aplicao que associa a cada ponto X do plano o ponto X tal que r a mediatriz do segmento XX . Prove que toda reexo uma isometria. 3. A simetria em torno de um ponto O a aplicao que faz corresponder a cada ponto X o ponto (X ) = X tal que O o ponto mdio do segmento XX . Prove que toda simetria em torno de um ponto uma isometria. 4. Prove que dois tringulos equilteros so sempre semelhantes. 5. Se dois tringulos issceles tm os ngulos opostos base congruentes entre si, prove que os tringulos so semelhantes. 6. Dado um tringulo ABC , considere o tringulo XY Z formado pelos pontos mdios dos lados de ABC . Qual a relao entre os permetros dos tringulos? 7. Prove que alturas correspondentes em tringulos semelhantes esto na mesma razo que os lados correspondentes. 8. Prove que se em um tringulo retngulo o menor cateto mede metade da medida da hipotenusa, ento seus ngulos agudos so de 30o e 60o . 9. Dado um tringulo retngulo ABC , sendo C o ngulo reto, trace a altura a partir do vrtice C . Se a e b so as medidas dos catetos e h a medida da altura, prove que 1 1 1 = 2 + 2. 2 h a b 10. Sejam p e q inteiros positivos, com p > q . Prove que todo tringulo cujos lados medem p2 q 2 , 2pq e p2 + q 2 , um tringulo retngulo. 70

11. Prove que em todo tringulo ABC , a medida ha da altura relativa ao vrtice A dada por ha = 2 p(p a)(p b)(p c), a

onde a = BC , b = AC , c = AB e p o semi-permetro do tringulo.

71

Captulo 10

Circunferncia
Este captulo ser dedicado ao estudo da circunferncia. A primeira parte aborda propriedades bsicas sobre a geometria na circunferncia, em especial aquelas relacionadas a arcos e ngulos e, em seguida, problemas relacionados a polgonos inscritos e circunscritos a uma dada circunferncia. Na terceira parte discutimos o conceito de potncia de um ponto em relao a uma circunferncia e nalizamos com a questo da semelhana no crculo.

10.1

A circunferncia

Denio 10.1.1. Dados um ponto O do plano e um nmero real r > 0, a circunferncia de centro O e raio r, denotada por C (O; r), o conjunto C (O; r) = {P : OP = r}. Um raio de uma circunferncia um segmento que une o centro a qualquer um de seus pontos. Corda um segmento determinado por dois pontos da circunferncia; dimetro uma corda que passa pelo seu centro.

C A B

O D

Figura 10.1: Dimetro AB e cordas AB e CD.

72

Proposio 10.1.2. Um raio perpendicular a uma corda, que no um dimetro, se, e somente se, a divide em dois segmentos congruentes. Demonstrao. Dado uma circunferncia C (O; r), seja OP o raio perpendicular corda AB . Sejam M o ponto de interseo de OP e AB . Como OA = OB = r, o tringulo OAB issceles, com base AB . Assim, A B . Como OP e AB so perpendiculares, os ngulos AM O e BM O so retos logo, AM O BM O. Pelo caso LAL, os tringulos AOM e BOM so congruentes. Segue, em particular, que AM M B . Reciprocamente, se AM M B , os tringulos AM O e BM O so congruentes logo, AM O BM O. Como AM O + BM O = 180o , concluimos que cada um deles mede 90o , ou seja, o raio OP perpendicular corda AB .

O M A P
Figura 10.2 Uma reta tangente a uma circunferncia uma reta que tem um nico ponto em comum com ela; este ponto comum chama-se ponto de tangncia. Proposio 10.1.3. Uma reta tangente a uma circunferncia se, e somente se, ela perpendicular ao raio determinado pelo ponto de tangncia. Demonstrao. Sejam t uma reta tangente a uma circunferncia C (O; r) e T o ponto de tangncia. Seja P o p da perpendicular baixada de O reta t. Provemos que P T . De fato, se P = T , ento os pontos O, P e T determinam um tringulo retngulo OP T , cuja hipotenusa OT . Seja T t tal que P esteja entre T e T e P T P T (cf. Figura 10.3) Pelo caso LAL, os tringulos OP T e OP T so congruentes. Disso decorre, em particular, que OT = OT = r, ou seja, T outro ponto da reta t que tambm pertence a C (O; r), o que uma contradio. Portanto, P e T so coincidentes. Reciprocamente, sejam OT um raio de C (O; r) e t uma reta que passa por T e perpendicular a OT . Considere um ponto P t, com P = T . Fica, assim, determinado o tringulo OP T , cuja hipotenusa o lado OP . Disso decorre que r = OT < OP , ou seja, P C (O; r). Portanto, T o nico ponto comum a t e a C (O; r), isto , t a reta tangente a C (O; r) no ponto T . 73

T'

P T

Figura 10.3: Proposio 10.1.3 Dados dois pontos A e B pertencentes a uma circunferncia C (O; r), a reta AB separa o plano em dois semi-planos, cada um destes contendo uma parte da circunferncia. Estas partes so chamadas de arcos determinados pelos pontos A e B . Quando A e B so extremidades de um dimetro, estes arcos so chamados de semi-crculos. Quando a corda AB no um dimetro, o centro O situa-se em um dos semi-planos determinados pela reta AB ; o arco que ca no mesmo semi-plano que O chama-se arco maior, e o outro de arco menor.
arco menor

A O

arco maior

Figura 10.4: Arcos maior e menor. Denio 10.1.4. Dois pontos A, B C (O; r) determinam um ngulo AOB , chamado de ngulo central. A medida em graus do arco menor, determinado por A e B , a medida do ngulo central AOB . A medida em graus do arco maior 360o menos a medida do arco menor; se AB um dimetro, a medida dos arcos 180o (cf. Figura 10.5). Denio 10.1.5. Um ngulo inscrito numa circunferncia se o seu vrtice um ponto da circunferncia e seus lados interceptam a circunferncia em dois pontos distintos do vrtice. O arco determinado pelos dois pontos distintos e que no contm o vrtice 74

A O

Figura 10.5: ngulo central AOB . do ngulo inscrito chamado arco subentendido pelo ngulo (cf. Figura 10.6).

A A O C O C B B

Figura 10.6: Arco subentendido pelo ngulo inscrito ABC .

Teorema 10.1.6. A medida de um ngulo inscrito numa circunferncia metade da medida do arco subentendido por esse ngulo. Demonstrao. Temos trs casos a considerar: 1. Um dos lados do ngulo inscrito um dimetro. 2. O ngulo inscrito dividido pelo dimetro com extremidade em seu vrtice. 3. O ngulo inscrito no dividido pelo dimetro com extremidade em seu vrtice. Caso 1. Seja BAC o ngulo inscrito com vrtice A e suponha que O AC . Assim, a medida do arco BC BOC . Como OA OB , o tringulo AOB issceles com base AB assim, OAB OBA. Como BOC ngulo externo ao tringulo AOB , temos: BOC = OAB + OBA = 2OAB.

75

D B O A B C O O A
Figura 10.7: Arcos subentendidos.

D C

B C

Caso 2. Seja AD o dimetro com extremidade no vrtice A do ngulo inscrito. Pelo Caso 1, temos: 1 BOD = BAD 2 Como BAC = BAD + DAC , temos: 1 1 1 BAC = BOD + DOC = BOC. 2 2 2 Caso 3. Considere o dimetro AD. Se AB divide o ngulo CAD, temos DAC = DAB + BAC . Assim, 1 1 1 BAC = DAC DAB = DOC DOB = BOC. 2 2 2 Se AC divide o ngulo BAD, o argumento inteiramente anlogo. Corolrio 10.1.7. ngulos inscritos que subentendem um mesmo arco so congruentes. Demonstrao. Basta observar que a cada ngulo inscrito, nesta situao, est associado ao mesmo ngulo central. Corolrio 10.1.8. Sejam AB e CD cordas distintas de uma mesma circunferncia que se interceptam num ponto P . Ento, AP P B = CP P D. Demonstrao. Considere os tringulos BP D e AP C . Temos: BP D AP C e CAP BDP . 76 e 1 DOC = DAC. 2

C B P A D
Figura 10.8: Corolrio 10.1.8. Assim, BP D e CAP so tringulos semelhantes logo, AP CP = , PD BP ou seja, AP P B = CP P D, como queramos.

10.2

Polgonos inscritos numa circunferncia

Denio 10.2.1. Dizemos que um polgono est inscrito numa circunferncia se os seus vrtices pertencem circunferncia. Neste caso, dizemos que a circunferncia circunscrita ao polgono.

E A

C B
Figura 10.9: Polgono ABCDE inscrito numa circunferncia. Proposio 10.2.2. Todo tringulo est inscrito em uma nica circunferncia. Demonstrao. Dado um tringulo ABC , denotemos por r e s as mediatrizes de AB e AC , respectivamente, e seja O o ponto de interseo de r e s. Como todo ponto de r equidistante de A e B , e todo ponto de s equidistante de A e C (cf. Exerccio 4.8), o ponto O equidistante de A, B e C . Considere, ento, a circunferncia C (O; r), onde r = OA = OB = OC . Seja, agora, 77

outra circunferncia C (O ; r ) circunscrita ao tringulo ABC . Sejam M e N os pontos mdios de AB e AC , respectivamente. Pela Proposio 10.1.2, o raio que passa por M perpendicular a AB e, assim, O pertence mediatriz de AB . Da mesma forma, O pertence mediatriz de AC . Isso implica que O O. Alm disso, r = O A = OA = r. Portanto, as circunferncias C (O; r) e C (O ; r ) so coincidentes.

A r M B

s N O C

Figura 10.10: Tringulo ABC inscrito numa circunferncia. A Proposio 10.2.2 pode ser enunciada da seguinte forma equivalente: Proposio 10.2.3. Trs pontos no colineares determinam uma nica circunferncia. O centro O da circunferncia circunscrita a um dado tringulo ABC , dado pela Proposio 10.2.2, tem a propriedade de ser equidistante de A, B e C . Assim, pelo Exerccio 4.8, o ponto O pertence s trs mediatrizes do tringulo ABC . Podemos ento enunciar o seguinte corolrio da Proposio 10.2.2. Corolrio 10.2.4. As mediatrizes de um tringulo interceptam-se num nico ponto, e este chamado o circuncentro do tringulo. Proposio 10.2.5. Um quadriltero pode ser inscrito em uma circunferncia se, e somente se, possui um par de ngulos opostos suplementares. Demonstrao. Seja ABCD um quadriltero inscrito em uma circunferncia. Os ngulos A e C subentendem os dois arcos determinados por B e D. Como estes dois arcos somam 360o , a soma dos ngulos A e C 180o , isto , so suplementares. Reciprocamente, suponha que um quadriltero ABCD tem um par de ngulos opostos suplementares. Pelos vrtices A, B e C , considere a circunferncia determinada por esses pontos. Em relao ao ponto D, temos trs possibilidades: ele est sobre, fora ou dentro da circunferncia. Suponha que D esteja fora da circunferncia. Considere 78

Figura 10.11: Quadriltero ABCD inscrito numa circunferncia. o segmento BD e seja D o ponto de interseo de BD com a circunferncia. O quadriltero ABCE est inscrito na circunferncia logo, seus ngulos opostos so suplementares. Em particular, tem-se ABC + AEC = 180o . Por hiptese, temos ABC + ADC = 180o . Assim, ADC = AEC . Por outro lado, temos AEB > ADB pois so ngulos externos. Assim, AEC = AEB + BEC > ADB + BDC = ADC, o que uma contradio. Portanto, D no pode estar fora da circunferncia. Analogamente se prova que D no pode estar dentro da circunferncia. e BEC > BDC,

E D

Figura 10.12: Quadriltero ABCD. Proposio 10.2.6. Todo polgono regular est inscrito em uma circunferncia.

79

Demonstrao. Dado um polgono regular A1 A2 . . . An , considere a circunferncia que passa pelos pontos A1 , A2 e A3 . Seja O o centro da circunferncia. Como OA2 = OA3 , o tringulo OA2 A3 issceles logo, OA2 A3 OA3 A2 . Como o polgono regular, tem-se A1 A2 A3 A2 A3 A4 . Assim, A1 A2 O OA3 A4 . Alm disso, como A1 A2 A3 A4 e OA2 OA3 ,

os tringulos OA1 A2 e OA3 A4 so congruentes. Em particular, OA4 OA1 , isto , A4 tambm um ponto da circunferncia. Analogamente se prova que A5 , A6 , . . . , An pertencem circunferncia.

A1 A2 O A3 A4
Figura 10.13: Polgono regular A1 A2 . . . An inscrito numa circunferncia. Denio 10.2.7. Uma circunferncia est inscrita em um polgono se todos os lados do polgono so tangentes circunferncia. Neste caso, dizemos que o polgono circunscreve a circunferncia. Proposio 10.2.8. Todo tringulo possuiu uma nica circunferncia inscrita. Demonstrao. Dado um tringulo ABC , trace as bissetrizes dos ngulos A e B , que se interceptam em um ponto O. Denotemos por E , F , G os ps das perpendiculares baixadas de O aos lados AB , AC e BC , respectivamente. Provemos que OE OF OG. De fato, pelo caso ALA, os tringulos OAE e OAF so congruentes, logo OE OF . Analogamente, tem-se OF OG. Assim, pela Proposio 10.2.3, O o centro de uma circunferncia que passa por E , F e G. Como os lados do tringulo ABC so perpendiculares aos raios OE , OF e OG, eles so tangentes circunferncia. Portanto, a circunferncia 80

de centro O e raio r = OE = OF = OG est inscrita no tringulo. Quanto unicidade, seja C (O ; r ) outra circunferncia inscrita no tringulo ABC . Denotemos por E , F , G os ps das perpendiculares de O baixadas aos lados AB , AC e BC , respectivamente. Como os tringulos retngulos O E A e O F A possuem hipotenusa comum e um par de catetos congruentes, eles so congruentes. Disso decorre que O A a bissetriz do ngulo A. Analogamente se prova que O B a bissetriz de B . Assim, O o ponto de interseo das bissetrizes de A e B logo, deve-se ter O O. Devido unicidade da perpendicular a uma reta passando por um ponto, tem-se E E , F F e G G. Portanto, as circunferncias C (O ; r ) e C (O; r) tm o mesmo centro e raios iguais logo, so coincidentes.
A E O B G C F

Figura 10.14: Tringulo ABC inscrito numa circunferncia. Analogamente ao Corolrio 10.2.4, temos o seguinte Corolrio 10.2.9. As bissetrizes de um tringulo interceptam-se num nico ponto, e este chamado o incentro do tringulo. Demonstrao. Dado um tringulo ABC , denotemos por O o ponto de interseo das bissetrizes dos ngulos A e B . Queremos provar que OC a bissetriz do ngulo C . Sejam E , F , G os ps das perpendiculares de O baixadas aos lados AB , AC e BC , respectivamente. Como vimos na prova da Proposio 10.2.8, temos que OE OF OG. Assim, os tringulos retngulos OF C e OGC tm a hipotenusa comum e um par de catetos congruentes, logo so congruentes (cf. Figura 10.14). Disso decorre, em particular, que OC a bissetriz do ngulo C .

10.3

Potncia de um ponto em relao a uma circunferncia

Nesta seo discutiremos o conceito de potncia de um ponto em relao a uma circunferncia, e veremos que atravs deste conceito podemos obter 81

aplicaes em problemas que tratam de relaes mtricas entre secantes e tangentes a uma dada circunferncia. Denio 10.3.1. Dados uma circunferncia C (O; r) e um ponto P , denimos a potncia de P em relao a C (O; r), denotada por Pot(P ), pondo Pot(P ) = d2 r2 , onde d = OP . Decorre da denio que se P um ponto exterior circunferncia, sua potncia um nmero positivo; se P C (O; r), sua potncia zero e, se P interior circunferncia, sua potncia negativa. Se P um ponto exterior circunferncia C (O; r) e se P T tangente circunferncia em T , decorre diretamente da Denio 10.3.1 e do Teorema de Pitgoras que 2 Pot(P ) = P T .

T P O

Figura 10.15: Tangente a C (O; r) passando por P .

Proposio 10.3.2. Dados uma circunferncia C (O; r) e um ponto P , considere uma reta que passa por P e intercepta C (O; r) em dois pontos distintos, A e B . Ento, o produto P A P B constante. Demonstrao. Denotando por M o ponto mdio da corda AB , faamos m = M A = M B e d = OP . Se P C (O; r), ento A P ou B P e, neste caso, tem-se P A P B = 0. Se P exterior circunferncia e lembrando que OM perpendicular corda AB (cf. Proposio 10.1.2), temos: P A P B = (P M m)(P M + m) = P M m2 = P M + OM OM m2 = d2 r2 = Pot(P ). 82
2 2 2 2

Se P interior circunferncia, temos: P A P B = (m P M )(m + P M ) = (P M m2 ) = (P M + OM OM m2 ) = (d2 r2 ) = Pot(P ), como queramos. Observao 10.3.3. O fato que o produto P A P B constante para qualquer secante passando por P j era conhecido pelos gregos. Para maiores detalhes, cf. Proposies 35 e 36 do livro III dos Elementos [10]. O termo potncia foi utilizado pela primeira vez por Jacob Steiner (1796 1863), matemtico suo que deu contribuies relavantes ao desenvolvimento da Geometria. O conjunto dos pontos que possuem potncia igual potncia de um ponto P , em relao a uma circunferncia C (O; r), outra circunferncia, contendo P , e concntrica com C (O; r). Um problema interessante investigar o conjunto dos pontos que possuem mesma potncia em relao a duas circunferncias dadas (cf. Exerccio 10.14). Finalizaremos esta seo provando que em qualquer tringulo, o raio da circunferncia circunscrita no menor que o dobro do raio da circunferncia inscrita. Esse resultado decorre diretamente da frmula que d a distncia entre o incentro e o circuncentro de um tringulo. Proposio 10.3.4. Dado um tringulo XY Z , a distncia d entre o incentro I e o circuncentro C dada por d = R2 2rR, (10.1) onde r e R denotam os raios das circunferncias inscrita e circunscrita, respectivamente, ao tringulo XY Z . Demonstrao. Como na Figura 10.16, considere as bissetrizes XD, Y I dos ngulos X e Y , respectivamente, o dimetro DE circunferncia circunscrita e F o p da perpendicular de I a XZ . Como os ngulos DXZ e DY Z subentendem o mesmo arco, temos DY C DXZ DXY . Assim, como Y I bissetriz de Y , temos: 83
2 2 2 2

E F

I Y

C M D Z

Figura 10.16: Distncia entre o incentro e o circuncentro. DY I = DY Z + ZY I = Y XD + XY I = DIY , ou seja, o tringulo DY I issceles, logo DY DI. (10.2)

Por outro lado, denotemos por M o ponto de interseo de Y Z e DE . Como D ponto mdio do arco Y Z e DE dimetro, DM perpendicular a Y Z . Assim, os tringulos Y DM e XIF so semelhantes. Disso decorre que DM IF r = = . DY XI XI (10.3)

Como DE dimetro, o tringulo Y DE retngulo em Y . Alm disso, como DY Z DEY , os tringulos Y DE e M DY so semelhantes. Disso decorre que DY DM = , DE DY ou seja, 2 DY = 2RDM . Assim, usando (10.2) e (10.3), temos: DI = 2R Portanto, DI XI = 2rR. 84 DM r = 2R . DY XI

Fazendo d = IC e calculando a potncia do ponto I em relao circunferncia circunscrita C (O; R), obtemos: Pot(I ) = d2 R2 = DI XI = 2rR, ou seja, d= como queramos. R2 2rR,

10.4

Semelhana no crculo

No Captulo 9 denimos o crculo de centro O e raio r como sendo o conjunto de todos os pontos do plano que esto a uma distncia r do ponto O. Nosso objetivo agora estabalecer uma relao entre rea e semelhana no crculo. Lema 10.4.1. Quaisquer dois crculos, de mesmo raio, so guras congruentes. Demonstrao. Dados dois crculos C (O; r) e C (O ; r), de raios congruentes, considere a reta OO . Esta reta determina os dimetros AB e CD nos crculos C (O; r) e C (O ; r), respectivamente, tais que B est entre A e C , e C est entre B e D. Denimos uma aplicao : C (O; r) C (O ; r) do seguinte modo. Para cada ponto X no segmento AB , seja X = (X ) o ponto no segmento CD tal que CX AX . Em particular, tem-se (O) = O . Qualquer outro ponto X C (O; r), no pertencente ao dimetro AB , est em um dos semi-planos determinados pela reta OO . Consideremos, ento, o ponto X = (X ) C (O ; r), neste mesmo semi-plano, de modo que O X e OX sejam congruentes e paralelos. Disso decorre, em particular, que OXX O um paralelogramo. Se Y outro ponto do crculo C (O; r), no pertencente reta OX , obtemos o tringulo OXY que, pela denio de , congruente ao tringulo O X Y . Tem-se, assim, que X Y XY . Se Y C (O; r) est sobre a reta OX ento, claramente, tem-se X Y XY . Portanto, uma isometria entre os crculos C (O; r) e C (O ; r), como queramos. Proposio 10.4.2. Quaisquer dois crculos so guras semelhantes e a razo de semelhana a razo entre seus raios. Demonstrao. Em virtude do Lema 10.4.1, podemos supor que os crculos C (O; a) e C (O ; a ) sejam concntricos, i.e., tm o mesmo centro O O . A 85

X A O Y B C D O' Y' X'

Figura 10.17: Isometria entre os crculos C (O; r) e C (O ; r). homotetia de centro O e razo r = a /a transforma cada segmento OX , de medida a, no segmento OX , de medida a , sobre a mesma reta. Portanto, essa homotetia dene uma semelhana entre C (O; a) e C (O; a ).

X' X O

Figura 10.18 Da frmula obtida para a rea de um retngulo (cf. Proposio 8.2.1), segue que se multiplicarmos a base e a altura de um retngulo pelo mesmo nmero positivo r, a rea desse retngulo ca multiplicada por r2 . O teorema seguinte usa este caso particular para provar que essa uma situao geral. Teorema 10.4.3. A razo entre as reas de duas guras semelhantes o quadrado da razo de semelhana. Demonstrao. Seja : F F uma semelhana de razo r entre duas guras geomtricas F e F . Provemos que a rea de F igual a r2 vezes a rea de F . Se F e F so polgonos retangulares, o teorema verdadeiro. Assim, todo polgono retangular P , contido em F , transformado por num polgono retangular P , contido em F , tal que a rea de P igual a r2 vezes a rea de P . Reciprocamente, todo polgono retangular Q , contido em F , transformado por 1 num polgono retangular Q cuja rea 1/r2 vezes a rea de Q , logo a rea de Q r2 vezes a rea de Q. Assim, a rea de F o nmero real cujas aproximaes por falta so r2 vezes as aproximaes por falta da rea de F . Portanto, tem-se rea(F ) = r2 rea(F ), 86

como queramos. Da Proposio 10.4.2 e do Teorema 10.4.3 segue que a rea de um crculo de raio r r2 vezes a rea do crculo de raio 1. Denotando, como de costume, com a letra grega a rea do crculo de raio 1, segue que a rea A de um crculo de raio r dada pela frmula A = r2 , onde o nmero , por denio, a rea de um crculo de raio 1. O teorema seguinte permite-nos caracterizar a rea de um crculo como o limite das reas dos polgonos regulares nele inscritos (ou circunscritos) quando o nmero de lados cresce indenidamente. Teorema 10.4.4. A rea do crculo o nmero real cujas aproximaes por falta so as reas dos polgonos regulares nele inscritos e cujas aproximaes por excesso so as reas dos polgonos regulares a ele circunscritos. Demonstrao. Denotemos por Pn e Qn os polgonos regulares de n lados, respectivamente inscrito no, e circunscrito ao, crculo C (O; r). Temos que rea(Pn ) < r2 < rea(Qn ). Provemos que, tomando n sucientemente grande, as reas de Pn e Qn podem tornar-se to prximas de r2 quanto se queira. Ou seja, dados > 0 e > 0, com < r2 < , provaremos que existe n N tal que < rea(Pn ) < r2 < rea(Qn ) < . De fato, observe que o raio r a hipotenusa de um tringulo retngulo, cujos catetos medem ln /2 e an , onde ln denota a medida do lado de Pn e an denota o aptema de Pn . Assim, r < an + ln /2. Dado um nmero real > 0, com < r2 , seja s = / . Ento, = s2 e s < r. Assim, o crculo C (O; s) tem rea e est contido em C (O; r). Tomemos n sucientemente grande tal que ln /2 < r s. Assim, r < an + ln /2 < an + r s, donde an > s. De s < an resulta que o crculo C (O; s) est contido no polgono Pn e, portanto, = rea(C (O; s))) < rea(Pn ). 87

ln r

O an

Figura 10.19: Polgono regular Pn inscrito na circunferncia C (O; r). Isto completa a prova de que as reas dos polgonos regulares inscritos em C (O; r) so aproximaes por falta da rea de C (O; r). Analogamente se prova para as reas dos polgonos regulares circunscritos Qn . Para maiores detalhes, cf. Teorema 3.7 de [13]. A m de estabelecer uma frmula para o comprimento da circunferncia, denotaremos por Pn (respectivamente Qn ) o permetro do polgono regular de n lados, inscrito (respectivamente circunscrito) na circunferncia C (O; r). Denio 10.4.5. O comprimento da circunferncia C (O; r) o nmero real C cujas aproximaes por falta so os permetros Pn e cujas aproximaes por excesso so os permetros Qn . Em virtude da Denio 10.4.5, tem-se Pn < C < Qn , para todo natural n 3. Teorema 10.4.6. O comprimento da circunferncia C (O; r) igual a 2r. Demonstrao. Provemos inicialmente que C no pode ser menor do que 2r. De fato, se fosse C < 2r, teramos (C/2) r < r2 . Pelo Teorema 10.4.4, podemos obter um polgono regular Pn , de n lados, inscrito em C (O; r) tal que (C/2) r < rea(Pn ). A rea do polgono Pn a soma das reas dos tringulos que o compem, os quais tm o centro O como vrtice e os lados de Pn como base (cf. Figura 10.19). Assim, essa rea igual a Pn an /2, onde an o aptema de Pn (altura dos tringulos). Assim, C r Pn an < 2 2 88

e da, C < Pn (an /r). Como an /r < 1, concluimos que C < Pn , o que uma contradio. Portanto, no se pode ter C < 2r. Analogamente, usando polgonos regulares circunscritos, concluiremos que no se pode ter C > 2r. Observao 10.4.7. O nmero , denido inicialmente como a rea de um crculo de raio 1, satisfaz tambm a igualdade = C/2r, ou seja, a razo entre o comprimento de uma circunferncia e seu dimetro. O primeiro a designar a razo C/2r por foi W. Jones (1675 1749) sendo que este s passou a smbolo standard aps sua utilizao por Euler. E foi s em 1767 que J. H. Lambert (1728 1777) demonstrou que no racional.

10.5

Exerccios

1. Dado uma circunferncia C (O; r), ao conjunto dos pontos P tais que OP < r chamamos de interior da circunferncia; ao conjunto dos pontos P tais que OP > r chamamos de exterior da circunferncia. Prove que o segmento de reta, ligando um ponto do interior com um ponto do exterior da circunferncia, intercepta a circunferncia num nico ponto. 2. Dado uma circunferncia C (O; r), prove que a distncia entre quaisquer dois pontos do interior da circunferncia menor do que 2r. 3. Considere duas circunferncias de raio r que no se interceptam. Prove que a medida do segmento ligando seus centros maior do que 2r. 4. Duas circunferncias C (O; r) e C (O ; r ) se interceptam em dois pontos. O que podemos armar sobre a medida do segmento OO ? 5. Considere dois pontos A e B de uma circunferncia C (O; r). O que podemos armar sobre o tringulo OAB ? 6. Dizemos que duas circunferncias so tangentes se so tangentes a uma mesma reta em um mesmo ponto; este ponto chamado de ponto de tangncia. Prove que, quando duas circunferncias so tangentes, os dois centros e o ponto de tangncia so colineares. 7. Prove que a mediatriz de uma corda passa pelo centro da circunferncia. 8. Em um tringulo equiltero, prove que as circunferncias inscrita e circunscrita tm o mesmo centro. 9. Em uma circunferncia, so traadas duas cordas paralelas partir das extremidades de um dimetro. Prove que as duas cordas so congruentes. 89

10. Na Figura 10.20, P R tangente circunferncia no ponto P e P Q OP . Prove que OQ QR.

O Q P
Figura 10.20 11. Na Figura 10.21, tem-se AC BD. Prove que AB CD e que AD paralelo a BC .

Figura 10.21 12. Prove que todo paralelogramo inscrito numa circunferncia retngulo. 13. Na Figura 10.22, P um ponto pertencente ao exterior da circunferncia. Prove que AP P B = CP P D.

B D C
Figura 10.22

14. Considere um ponto P que tenha mesma potncia em relao a duas 2 2 = O P 2 r2 . circunferncias C (O1 ; r1 ) e C (O2 ; r2 ), ou seja, O1 P r1 2 2 Prove que o conjunto dos pontos que possuem mesma potncia que P em relao s duas cinrcunferncias a reta que passa por P e perpendicular a O1 O2 . Analise este problema para o caso de trs circunferncias (cf. [16]). 90

15. Sejam P T e P U duas tangentes, contendo P , duas circunferncias concntricas, com P pertencente circunferncia menor. Se P T intercepta 2 2 2 a circunferncia maior num ponto Q, prove que P T P U = QT . 16. Na Figura 10.23, as retas so tangentes comuns s duas circunferncias. Prove que m e n se interceptam na reta que passa pelo centro das circunferncias. Alm disso, se os raios das circunferncias so diferentes, prove que as retas r e s tambm se interceptam na reta dos centros.

r m n s
Figura 10.23 17. Dado um tringulo retngulo ABC , constri-se um semicrculo sobre cada um de seus lados, tendo os lados como dimetros. Prove que a soma das reas dos semicrculos, situados sobre os catetos, igual a rea do semicrculo situado sobre a hipotenusa. Prove que, se ao invs de construirmos semicrculos, construirmos tringulos equilteros, obtemos o mesmo resultado. O resultado continua vlido se construirmos polgonos regulares? 18 (Lnulas de Hipcrates). Uma lnula uma gura geomtrica limitada por dois arcos de circunferncia de raios distintos. Dado um tringulo retngulo ABC , com ngulo reto em C , sejam O, P , Q os pontos mdios dos lados AB , BC e AC , respectivamente. Com centro em O, traa-se um semicrculo de raio OA. Com centro em P , traa-se um semicrculo de raio P B , e com centro em Q traa-se um semicrculo de raio AQ. Essa construo delimita duas lnulas, L1 e L2 , como na Figura 10.24. Prove que a soma das reas das lnulas igual a rea do tringulo ABC . 19. A regio limitada por dois raios e um arco de uma circunferncia chamada de setor circular. Prove que a rea de um setor circular 1 2 rs, onde r o raio da circunferncia e s a medida do arco. 20 (Teorema da borboleta). Dado uma circunferncia C (O; r), considere uma corda P Q de C (O; r) e seja M o ponto mdio de P Q. Considere tambm 91

L1 Q

C L2 P

O
Figura 10.24

duas cordas AB e CD de C (O; r) passando por M . Se AD e BC interceptam P Q em X e Y , respectivamente, prove que M tambm ponto mdio do segmento XY .

D X P A M

B Y Q

Figura 10.25: Teorema da borboleta.

92

Captulo 11

Isometrias do plano
O principal objetivo deste captulo o de classicar as isometrias do plano e estudar algumas de suas propriedades.

11.1

Introduo

Neste captulo admitiremos que foi xada uma unidade de medida no plano, aquela dada pelo Axioma 7, e denotaremos, como de costume, por AB a distncia do ponto A ao ponto B no plano, ou seja, a medida do segmento AB . Denio 11.1.1. Uma isometria do plano uma aplicao que preserva distncias, ou seja, para quaisquer pontos X , Y do plano, tem-se X Y = XY , onde X = (X ) e Y = (Y ). Toda isometria injetora pois, se X = Y ento X Y = XY > 0, logo X = Y . Veremos a seguir que uma isometria tambm sobrejetora. Analogamente ao caso de semelhanas (cf. Lema 9.1.6), temos a seguinte Proposio 11.1.2. Toda isometria transforma retas em retas. Demonstrao. De fato, dado uma reta r, considere dois pontos distintos A, B r e denotemos por r a reta que passa por A e B . Dado qualquer ponto X r, um dos trs pontos A, B , X est entre os outros dois. Suponha que X esteja entre A e B , i.e., X AB . Os demais casos so tratados analogamente. Assim, AB = AX + XB e, portanto, A B = AB = AX + XB = A X + X B , 93

ou seja, X pertence ao segmento A B . Assim, os pontos A , B , X so colineares. Isso prova que a restrio de a r uma isometria entre r e r . Como toda isometria entre retas sobrejetora (cf. Observao 9.1.2), tem-se (r) = r . Proposio 11.1.3. Toda isometria transforma retas perpendiculares em retas perpendiculares. Demonstrao. Sejam r, s duas retas perpendiculares, que se interceptam num ponto O. Considere dois pontos A, B em r, equidistantes de O, e um ponto C sobre s, distinto de O. A isometria transforma a mediana OC do tringulo issceles ABC na mediana O C do tringulos issceles A B C , logo O C perpendicular a A B , ou seja, r perpendicular a s .

s C

s' C' r'

' A

O '

B '

Figura 11.1 Proposio 11.1.4. Toda isometria uma bijeo, cuja inversa 1 ainda uma isometria. Demonstrao. J vimos que injetora. Para provar a sobrejetividade, considere um ponto arbitrrio X e tracemos uma reta qualquer r. A imagem de r por uma reta r . Se X r ento, por denio de imagem, existe um ponto X r tal que (X ) = X . Caso contrrio, seja s a reta perpendicular baixada de X sobre r (cf. Figura 11.2). Denotemos por Y a interseo de r e s . Como Y r , existe Y r tal que (Y ) = Y . Seja s a reta perpendicular a r passando por Y . A imagem de s por a reta perpendicular a r e contm Y , logo (s) = s . Como X s , existe X s tal que (X ) = X . Segue diretamente da denio que se e so isometrias ento a composta tambm uma isometria. Assim, como a aplicao identidade 94

s j X Y r

s' X' Y' r'

Figura 11.2 isometria, o conjunto de todas as isometrias, munido da operao de composio, forma um grupo. Proposio 11.1.5. Se uma isometria possui trs pontos xos no colineares ento a identidade. Demonstrao. Sejam A, B , C pontos no colineares tais que (A) = A, (B ) = B e (C ) = C . Considere as retas AB e AC . A imagem da reta AB por a reta que passa pelos pontos (A) e (B ), logo (AB ) = AB . Assim, a restrio de reta AB uma isometria da reta AB , com dois pontos xos distintos, A e B . Armamos que (X ) = X , para todo X AB . De fato, suponha que exista um ponto X AB tal que X = (X ) = X . Como isometria, tem-se X A = XA, logo A ponto mdio do segmento XX . Analogamente, como X B = XB , segue que B tambm ponto mdio de XX . Da unicidade do ponto mdio, segue que A B , o que uma contradio. Analogamente se prova que (Y ) = Y , para todo Y AC . Seja agora Z um ponto qualquer do plano, e por ele traamos uma reta r que intercepta AB e AC respectivamente nos pontos X e Y . Como (X ) = X e (Y ) = Y , concluimos que deixa xos todos os pontos da reta r. Em particular, (Z ) = Z . Como Z foi escolhido de forma arbitrria, resulta que a aplicao identidade. Corolrio 11.1.6. Sejam , isometrias e A, B , C trs pontos no colineares tais que (A) = (A), (B ) = (B ) e (C ) = (C ). Ento = . Demonstrao. A isometria = 1 deixa xos os pontos A, B e C . Assim, pela Proposio 11.1.5, a aplicao identidade, logo = .

11.2

Exemplos de isometrias

Exemplo 11.2.1 (Reexo em torno de uma reta). Dado uma reta r, a reexo em torno da reta r a aplicao Rr assim denida: Rr (X ) = X , para 95

todo X r e, para X r, Rr (X ) = X tal que a mediatriz do segmento XX a reta r. A m de provar que Rr uma isometria, consideremos dois casos.

X r X'
Figura 11.3 1o caso: X e Y esto no mesmo semi-plano determinado por r. Traamos os segmentos XA e X A , paralelos a r, com A e A sobre Y Y (cf. Figura 11.4). Os tringulos retngulos XAY e X A Y tm os catetos com a mesma medida, logo suas hipotenusas so congruentes, i.e., X Y = XY .

Y A r X' A '

Y'
Figura 11.4 2o caso: X e Y esto em semi-planos opostos determinados por r. Denotemos por A e B os pontos de interseo de XY e XX com a reta r. Os tringulos retngulos ABX e ABX tm o cateto AB em comum e BX BX (cf. Figura 11.5). Assim, os tringulos AXX e AY Y so issceles, portanto suas medianas so bissetrizes, ou seja, XAB = BAX e Y AC = CAY . Por outro lado, tem-se XAB = AY C , por serem ngulos opostos pelo vrtice. Assim, XAB + BAX = Y AC + CAY . Como Y AC + CAY o suplemento do ngulo XAY , segue-se que XAB + BAX tambm o , logo X , A e Y so pontos colineares. Portanto, X Y = X A + AY = XA + AY = XY .

96

Y' X B A X ' Y
Figura 11.5 Observe que os pontos xos da reexo Rr so os pontos da reta r. Alm disso, para todo ponto X , tem-se Rr (Rr (X )) = X , i.e., Rr Rr a aplicao identidade, logo (Rr )1 = Rr . Exemplo 11.2.2 (Translao). Dados dois pontos distintos do plano, A e B , a translao do segmento AB a aplicao TAB denida do seguinte modo. Se X pertence reta AB , pomos X = TAB (X ) como sendo o ponto da reta AB tal que XX = AB e, alm disso, o sentido de percursso de X para X o mesmo de A para B . Se X qualquer outro ponto do plano,

M
Figura 11.6

X'

sua imagem X = TAB (X ) o quarto vrtice do paralelogramo que tem AB e AX como lados. Assim, qualquer que seja a posio de X no plano, sua

X M

X'

A
Figura 11.7

imagem X por TAB ca caracterizada pelo fato de que os segmentos AX e BX tm o mesmo ponto mdio M . Na denio de TAB essencial levar em considerao a ordem em que so considerados os pontos A e B . A translao TBA diferente de TAB ; na realidade, tem-se TBA = (TAB )1 . As vezes til mencionar o segmento de reta orientado AB para signicar que o ponto A foi tomado como origem e o ponto B como extremidade. Alm disso, a 97

translao TAB no possui pontos xos. Na realidade, para todo ponto X , com X = TAB (X ), tem-se XX = AB. (11.1)

A m de provar que a translao TAB uma isometria, considere dois pontos arbitrrios X , Y e suas imagens X e Y , respectivamente. Suponha, inicialmente, que a reta r que contm X e Y paralela reta s que contm A e B . Temos dois casos a considerar, expressos na Figura 11.8. No primeiro

X ' Y

Y'

' Y X

Y'

Figura 11.8 caso, os segmentos XX e Y Y no tm pontos interiores em comum e, no segundo, tm. Ento, usando (11.1), valem, respectivamente, as seguintes relaes: X Y = X Y + Y Y = X Y + XX = XY ou X Y = Y Y X Y = XX X Y = XY . Em qualquer caso, tem-se X Y = XY . Por outro lado, se r no paralela nem igual a s ento XX e Y Y so lados opostos de um paralelogramo, logo o mesmo ocorre com XY e X Y . Segue-se, portanto, que X Y = XY .

Y X A B

Y' X'

Figura 11.9 Exemplo 11.2.3 (Rotao). Dados um ponto O e um ngulo = AOB , de vrtice O, a rotao de ngulo em torno do ponto O a aplicao RO, assim denida: RO, (O) = O e, para todo X = O, X = RO, (X ) o ponto do plano tal que OX = OX, XOX = e o sentido de rotao de A para B o mesmo de X para X . A condio XOX = signica que se tomarmos os pontos A e B tais que OA = OB = 98

OX = OX ento AB XX . A exigncia de que o sentido de rotao de X para X seja o mesmo que o sentido de A para B pode ser formulada dizendo-se que os ngulos BOX e AOX tm a mesma bissetriz. A m de

X X '

B A

O
Figura 11.10 provar que RO, isometria, considere dois pontos X , Y do plano, distintos de O. Como os ngulos X OY e XOY tm a mesma bissetriz, segue-que XOY X OY . Alm disso, como OX OX e OY OY , concluimos que os tringulos XOY e X OY so congruentes. Disso decorre, em particular, que X Y = XY , ou seja, RO, uma isometria, cujo nico ponto xo O. A m de que a rotao RO, esteja bem denida, necessrio que a ordem das semi-retas SOA e SOB seja levada em considerao: SOA a primeira e SOB a segunda. Diz-se ento que = AOB um ngulo orientado. Ele considerado diferente do ngulo orientado = BOA. Mais precisamente, tem-se RO, = (RO, )1 . Proposio 11.2.4. Se uma isometria possui dois pontos xos distintos ento ou a aplicao identidade ou a reexo em torno da reta que contm esses pontos. Demonstrao. Sejam A, B dois pontos distintos tais que (A) = A e (B ) = B . Ento deixa xo todos os pontos da reta r = AB . Considere agora um ponto C no pertencente reta r. Se (C ) = C , ento a aplicao identidade, pela Proposio 11.1.5. Se, entretanto, C = (C ) = C ento, como AC AC e BC BC , a reta r a mediatriz do segmento CC , logo C = Rr (C ). Portanto, coincide, nos pontos no-colineares A, B e C , com a reexo em torno da reta r, logo = Rr . Corolrio 11.2.5. Sejam , isometrias e suponha que existam dois pontos distintos A e B tais que (A) = (A) e (B ) = (B ). Ento ou = ou = Rr , onde Rr a reexo em torno da reta r = AB . 99

C A B r

C'
Figura 11.11 Demonstrao. A aplicao = 1 uma isometria com dois pontos xos distintos, A e B . Portanto, pela Proposio 11.2.4, ou 1 a aplicao identidade ou ento 1 = Rr , donde = Rr .

11.3

Classicao das isometrias do plano

O objetivo dessa seo provar o seguinte Teorema 11.3.1. Existem apenas trs tipos de isometrias do plano: translao, rotao e reexo, alm da aplicao identidade ou composio das aplicaes anteriores. Demonstrao. Seja uma isometria diferente da aplicao identidade. Assim, existe um ponto A tal que A = (A) = A. Seja A = (A ). Temos, assim, que A A = AA > 0, logo os pontos A, A e A so dois a dois distintos. Consideremos os trs seguintes casos. Caso 1: A, A e A so no-colineares. Neste caso, a imagem do tringulo AA A pela isometria um tringulo A A B . Como os lados deste tringulo tm medidas congruentes s dos lados do tringulo AA A , existem duas possveis posies para o vrtice B , conforme ele e o ponto A estejam ou no no mesmo semi-plano determinado pela reta A A . No primeiro caso,

B ' A '' A

A
Figura 11.12 100

o ponto B = (A ) forma com A, A e A a poligonal convexa AA A B , na qual os lados tm a mesma medida e os ngulos A e A so congruentes, logo ela pode ser inscrita numa circunferncia de raio OA, cujo centro O a interseo das mediatrizes dos segmentos AA , A A e A B . Seja

' A

'' A

A O
Figura 11.13

O = (O). Como OA = OA = OA , temos O A = O A = O B , logo O pertence s mediatrizes dos segmentos A A e A B , donde O O. Assim, se considerarmos a rotao RO, , onde = AOA , temos: RO, (A) = A = (A), RO, (A ) = A = (A ), RO, (A ) = B = (A ). Portanto, segue da Proposio 11.2.4, que = RO, uma rotao. Na segunda hiptese, para o ponto B , temos um paralelogramo no qual AA e A B so lados opostos e A A uma diagonal. Disso decorre que os pontos mdios M , P , N dos segmentos AA , A B e A A , respectivamente, esto sobre uma reta r. Considere a isometria = TM N Rr , composta da translao

' A M A N '' A
Figura 11.14

B P r

TM N com a reexo em torno da reta r. Segue que e coincidem nos trs pontos no-colineares A, A e A . Portanto, pela Proposio 11.1.5, tem-se = , ou seja, a composio de uma translao com uma rotao. Caso 2: A, A e A so pontos distintos e colineares. Como AA = A A , A 101

 o ponto mdio do segmento AA . A reta r, que contm os trs pontos dados, transformada em si mesma por . Alm disso, coincide nos pontos A e A com a translao TAA : r r. Assim, em todos os pontos da reta r, coincide com TAA . Considere agora um ponto B r. O tringulo AA B

B'

' A B'
Figura 11.15

A ''

transformado por no tringulo A A B , congruente a AA B . Existem duas posies possveis para o vrtice B , conforme ele e B estejam no mesmo ou em semi-planos opostos determinados pela reta r. Na primeira hiptese, AB e A B so lados opostos de um paralelogramo. Assim, considerando a translao TAA , vemos que e TAA coincidem nos trs pontos no-colineares A, A e B . Segue ento da Proposio 11.1.5 que = TAA uma translao. Na segunda hiptese, o ponto B o simtrico, em relao a r, do ponto B do caso anterior. Assim, considerando a isometria = TAA Rr , vemos que (A) = (A) = A , (A ) = (A ) = A e (B ) = (B ) = B . Portanto, pela Proposio 11.1.5, segue que = TAA Rr . Caso 3: Suponha A = A. Neste caso, transforma o segmento AA em si mesmo, logo (M ) = M , onde M o ponto mdio de AA . Disso decorre que a mediatriz s do segmento AA transformada em si mesma por . Seja

s B M r A '

Figura 11.16 B um ponto dessa mediatriz, diferente de M . H duas possibilidades: ou (B ) = B ou B = (B ) o simtrico de B em relao reta r = AA . No primeiro caso, coincide com a reexo Rs nos pontos A, A e B , logo 102

 = Rs . Na segunda hiptese, coincide com a rotao RM,180o nos pontos no-colineares A, B e M , logo = RM,180o . Portanto, uma translao ou uma rotao.

11.4

Exerccios

1. Prove que toda isometria transforma retas paralelas em retas paralelas. 2. Sejam ABC e A B C dois tringulos congruentes. Prove que existe uma nica isometria do plano tal que (A) = A , (B ) = B e (C ) = C . 3. Sejam uma isometria e A um ponto tais que (A) = A e ((A)) = A. Prove que uma reexo em torno de uma reta ou uma rotao. 4. Dado uma isometria , prove que, para toda reta r, os pontos mdios dos segmentos XX , com X r e X = (X ), esto todos sobre uma mesma reta s.

103

Parte III

Geometria Euclidiana Espacial

104

Captulo 12

Poliedros
Analogamente Geometria Plana, possvel fazer uma exposio da Geometria Espacial sob o ponto de vista axiomtico. Admitindo-se conhecidos os fundamentos da Geometria Plana, o que se faz em geral apenas a passagem da Geometria Plana para a Espacial, ou seja, conhecendo-se os resultados da Geometria Plana vlidos em cada plano do espao, estuda-se apenas as propriedades adicionais que exprimem as relaes fundamentais de pontos, retas e planos no espao. Nestas notas, no entanto, seremos bem objetivos. Mais precisamente, estamos interessados aqui em algumas propriedades relativas aos poliedros, objetos naturais da Geometria Espacial. O objetivo central do captulo o teorema de Euler, que exprime uma curiosa relao entre vrtices, arestas e faces de um dado poliedro. Como aplicao simples, classicaremos os poliedros regulares, conhecidos popularmente como poliedros de Plato. Antes de apresentarmos exemplos e propriedades de poliedros, faremos algumas consideraes iniciais acerca da fundamentao da Geometria Espacial. A ideia simplesmente estabelecer as propriedades bsicas entre retas e planos. O leitor interessado em propriedades adicionais, como paralelismo, ortogonalidade, projees, entre outras, pode consultar o livro [5].

12.1

Noes primitivas e axiomas

A fundamentao da Geometria Espacial parte de trs termos primitivos que so as noes de ponto, reta e plano; o ambiente de trabalho ser chamado de espao. Embora no seja necessrio enunciar propriedades a respeito de retas e pontos contidos em um plano, devemos rearmar, para o espao, as propriedades bsicas de pontos e retas. 105

Axioma 17. Por dois pontos distintos do espao passa uma nica reta. Axioma 18. Dado uma reta do espao, existem pontos que pertencem reta e pontos que no pertencem reta. Enunciamos a seguir as propriedades bsicas a respeito de pontos e planos. Axioma 19. Por trs pontos no colineares do espao passa um nico plano. Axioma 20. Dado um plano do espao, existem pontos que pertencem ao plano e pontos que no pertencem ao plano. O Axioma 19 estabelece que, enquanto a reta um objeto unidimensional, o plano um objeto bidimensional. Alm disso, decorre do Axioma 20 que todo plano um subconjunto prprio do espao. Proposio 12.1.1. Se uma reta r tem dois de seus pontos pertencentes a um plano , ento ela est contida neste plano. Demonstrao. Considere dois pontos A, B r tais que A, B . Segue ento da Geometria Plana que existe uma nica reta s contendo A e B . Por outro lado, pelo Axioma 17, A e B determinam uma nica reta do espao, que a reta r; portanto, r coincide com s, que est contida no plano. Observe que, de acordo com a Proposio 12.1.1, uma reta e um plano no espao s podem ter uma das seguintes posies relativas: a reta pode estar contida no plano, a reta e o plano interceptam-se num nico ponto, ou no possuem pontos em comum. Proposio 12.1.2. Existe um nico plano que contm uma reta r e um ponto A no pertencente a ela. Demonstrao. Considere dois pontos distintos B, C r. Como A, B e C so no colineares, segue do Axioma 19 que existe um nico plano contendo tais pontos. Como B, C , segue da Proposio 12.1.1 que r . Segue do Axioma 17 que duas retas distintas tm no mximo um ponto em comum. De fato, como existe uma nica reta contendo dois pontos distintos, duas retas que tenham mais de um ponto comum so coincidentes. Quando duas retas tm apenas um ponto em comum, elas so chamadas de retas concorrentes. Proposio 12.1.3. Por duas retas concorrentes r e s passa um nico plano. 106

A B C r
Figura 12.1 Demonstrao. Seja P o ponto de interseo de r e s, e considere pontos Q r e R s, distintos de P . Pelo Axioma 19, existe um nico plano contendo P , Q e R. Alm disso, como r e s tm, cada uma, dois pontos no plano, a Proposio 12.1.1 implica que r e s esto contidas em . Denio 12.1.4. Duas retas do espao chamam-se paralelas se no possuem pontos em comum e esto contidas em um mesmo plano. Quando duas retas do espao no esto contidas no mesmo plano elas so chamadas de retas reversas. Da Proposio 12.1.3 segue que duas retas reversas no possuem pontos em comum. Alm disso, o plano que contm duas retas paralelas nico. Proposio 12.1.5. Dados uma reta r e um ponto P r, existe uma nica reta passando por P e paralela a r. Demonstrao. Denotemos por o plano determinado por r e P , e por s a paralela a r, passando por P e contida em . Suponha que exista outra reta s , paralela a r e passando por P . Como r e s so paralelas, existe um plano contendo r e s . O plano contm r e P , logo coincide com . Assim, s e s so duas retas contidas em , paralelas a r e passando por P . Portanto, pelo Axioma das paralelas, s e s so coincidentes.

P r
Figura 12.2

s s'

O paralelismo de retas no espao possui propriedades semelhantes ao paralelismo no plano. Em particular, se duas retas distintas r e s so paralelas a uma mesma reta t, ento r e s so paralelas entre si. O axioma seguinte se refere tridimensionalidade do espao. 107

Axioma 21. Se dois planos possuem um ponto em comum, ento eles possuem, pelo menos, mais um ponto em comum. Decorre do Axioma 21 que existem apenas duas posies relativas para dois planos distintos do espao: eles podem ser paralelos (quando no tm pontos em comum) ou secantes (quando tm uma reta em comum). O teorema seguinte , as vezes, adotado no lugar do Axioma 21, como um axioma capaz de caracterizar a tridimensionalidade do espao. Mais precisamente, este teorema expressa a propriedade que um plano tem de separar o espao. Teorema 12.1.6. Todo plano divide o espao em dois semi-espaos tais que, se dois pontos A e B esto em um mesmo semi-espao, o segmento AB est contido neste semi-espao e no intercepta o plano; se A e B esto em semi-espaos opostos, AB intercepta o plano. Demonstrao. Utilizaremos, na demonstrao, o fato da Geometria Plana de que qualquer reta divide o plano em dois semi-planos. Dados um plano e um ponto P , dividimos os pontos do espao que no esto em em dois conjuntos, chamados de semi-espaos, do seguinte modo: um semi-espao formado pelos pontos Q tais que P Q = ; o outro semi-espao formado pelos pontos Q tais que P Q = . Dados dois pontos A e B no semi-espao que contm P , seja o plano passando por A, B e P (cf. Figura 12.3). Se no intercepta , AB no intercepta . Suponha,
P a B A r p

Figura 12.3: A e B no mesmo semi-espao que P . ento, que e interceptam-se ao longo de uma reta r, que divide em dois semi-planos. Como os segmentos P A e P B no interceptam , eles no interceptam r. Logo, A e B esto em um mesmo semi-plano determinado por r. Isso signica que AB est contido neste semi-plano e, assim, no 108

intercepta r, logo no intercepta . Concluso anloga obtemos se A e B esto no semi-espao oposto ao de P . Suponha agora que A est num semiespao e B no outro. Seja o plano passando por A, B e P , interceptando numa reta r. Como A est num semi-plano determinado por r, e B no outro, o segmento AB intercepta a reta r, logo intercepta (cf. Figura 12.4).

P a r A p

Figura 12.4: A e B em semi-espaos distintos.

12.2

Poliedros

Com as poucas propriedades j estabelecidades, podemos construir alguns poliedros simples. Inicialmente, apresentamos a denio de poliedro. Denio 12.2.1. Um poliedro uma regio do espao delimitada por um nmero nito de regies poligonais planas, chamadas faces do poliedro, tais que: (a) A interseo de duas faces ou vazia, ou um vrtice comum s duas, ou um lado comum s duas; (b) Cada lado de uma face lado de exatamente mais outra face. Exemplo 12.2.2. Dados um polgono A1 A2 . . . An e um ponto V exterior ao plano do polgono, traamos os segmentos V A1 , V A2 , . . . V An . Cada dois vrtices consecutivos de A1 A2 . . . An determinam com V um tringulo. Estes tringulos, junto com o polgono A1 A2 . . . An , delimitam uma regio do espao, que a pirmide de base A1 A2 . . . An e vrtice V . Os segmentos V A1 , V A2 , . . . V An so chamados arestas laterais e os tringulos V A1 A2 , V A2 A3 , . . . , V An1 An so as faces laterais da pirmide (cf. Figura 12.5). 109

A1 A2 A3 A4

A5

Figura 12.5: Pirmide de base A1 A2 . . . An e vrtice V . Exemplo 12.2.3. Considere uma pirmide de base retangular ABCD e vrtice V . Considere os planos e determinados pelos pontos V, A, C e V, B, D, respectivamente. Os planos e so distintos, logo sua interseo uma reta r que passa por V . As intersees de e com o plano da base so as diagonais AC e BD, respectivamente, do quadriltero ABCD. Seja P o ponto de interseo de AC e BD. Assim, P um ponto comum aos planos , e ABCD, logo pertence reta r. Portanto, e se interceptam segundo a reta que passa por V e pelo ponto de interseo de AC e BD.

D C A P

Figura 12.6: Pirmide de base retangular ABDC . Exemplo 12.2.4. Considere trs segmentos AB , AD e AE , no coplanares. Por B e D, considere as paralelas a AD e AB , respectivamente, obtendo o paralelogramo ABCD. A seguir, traamos as paralelas a AE pelos pontos B , C e D. Tomando segmentos congruentes a AE sobre estas retas, no mesmo semi-espao que E , so obtidos os pontos F , G e H . Trace, ento, os segmentos EF , F G, GH e HE , que so coplanares, pois EF e GH so 110

paralelos. O poliedro, assim obtido, chama-se o paraleleppedo de vrtices A, B, C, D, E, F, G, H .

E D

F C

Figura 12.7: Paraleleppedo ABCDEF GH . Exemplo 12.2.5. Dado um paraleleppedo ABCDEF GH , considere o plano determinado pelas arestas opostas AE e CG, e o plano determinado por BF e DH . Considere os pontos O e P , interseo das diagonais das bases (cf. Figura 12.8). Tais pontos pertencem a e a ; assim, a reta r, determinada por O e P , est contida em e . Alm disso, r paralela s arestas AE , BF , CG e DH . De fato, AE paralela a , j que paralela reta BF contida em . Como AE , AE paralela reta r, interseo de e . Analogamente para os demais casos.
r H P E D O A B F C G

Figura 12.8: Paraleleppedo ABCDEF GH . Exemplo 12.2.6. Considere um polgono A1 A2 . . . An contido em um plano e escolha um ponto B1 no pertencente a . Por B1 , traamos o plano paralelo a . Pelos demais vrtices A2 , . . . , An traamos retas paralelas a A1 B1 , que interceptam nos pontos B2 , . . . , Bn . Escolha dois segmentos consecutivos assim determinados: A1 B1 e A2 B2 , por exemplo. O 111

B6 B1 B2 B3

B5 B4

A6 A1 A2 A 3

A5 A4

Figura 12.9 quadriltero A1 B1 B2 A2 plano, pois os lados A1 B1 e A2 B2 so paralelos. Mas isso implica que os outros dois lados tambm so paralelos, pois esto contidos em planos paralelos. Portanto, o quadriltero um paralelogramo. Os paralelogramos assim determinados, juntamente com os polgonos A1 A2 . . . An e B1 B2 . . . Bn determinam um poliedro, chamado de prisma de bases A1 A2 . . . An e B1 B2 . . . Bn . As arestas A1 B1 , A2 B2 , . . . , An Bn so chamadas de arestas laterais. Todas as arestas laterais so paralelas e congruentes; arestas laterais consecutivas formam paralelogramos, que so chamados de faces laterais do prisma. As bases A1 A2 . . . An e B1 B2 . . . Bn so congruentes, pois estes polgonos possuem lados respectivamente congruentes e paralelos. Exemplo 12.2.7. Um prisma reto o prisma obtido considerando-se, como arestas laterais, retas ortogonais ao plano da base (cf. Figura 12.10). Como consequncia, as faces laterais so retngulos. Quando a base um retngulo, obtemos um paraleleppedo retngulo, no qual cada face um retngulo. Um caso mais particular o caso do cubo, no qual cada face um quadrado.

Figura 12.10: Prisma reto.

112

Exemplo 12.2.8. Uma pirmide regular construda considerando-se um polgono regular A1 A2 . . . An como base e escolhendo como vrtice um ponto V sobre a reta ortogonal ao plano do polgono passando pelo seu centro O (cf. Figura 12.11). Os tringulos V OA1 , V OA2 , . . . , V OAn so tringulos retngulos congruentes, por possuirem catetos respectivamente congruentes. Como consequncia, tem-se V A1 V A2 . . . V An , o que faz com que as faces laterais sejam tringulos issceles congruentes.

A6 A1 A2 O

A5 A4 A3

Figura 12.11: Pirmide regular. Exemplo 12.2.9. Considere uma pirmide regular de base ABC e vrtice V . Um tetraedro regular obtido escolhendo o vrtice V de modo que as arestas laterais V A, V B e V C sejam congruentes s arestas AB , AC e BC da base (cf. Figura 12.12). As faces da pirmide assim obtidas so tringulos equilteros congruentes. Se pelo vrtice A considerarmos a reta ortogonal ao plano V BC , que intercepta este plano em P , os tringulos retngulos AP B , AP V e AP C so congruentes, j que suas hipotenusas so congruentes e o cateto AP comum a todos os trs trngulos. Assim, temos P B P C P V . Portanto, P o centro do tringulo equiltero V BC , o que faz com que a pirmide seja regular independente da base.
V

P A O B M

Figura 12.12: Tetraedro regular.

113

12.3

Relao fundamental

Nesta seo apresentaremos uma relao fundamental envolvendo o nmero de arestas, vrtices e faces, vlida para qualquer poliedro, e que ser usada na seo seguinte ao provarmos o teorema de Euler. Dado um poliedro, denotemos por A o nmero de arestas, F o nmero de faces e V o nmero de vrtices. Denotemos tambm por Fn , n 3, o nmero de faces que possuem n arestas e por Vn o nmero de vrtices nos quais concorrem n arestas. Temos, ento: F V = F3 + F4 + F5 + . . . = V3 + V4 + V5 + . . .

Para determinar A, basta multiplicar o nmero de tringulos por 3, o nmero de quadrilteros por 4, o nmero de pentgonos por 5, e assim por diante. Como cada aresta do poliedro lado de exatamente duas faces, a soma anterior igual ao dobro do nmero de faces, ou seja, 2A = 3F3 + 4F4 + 5F5 + . . . . Analogamente, temos 2A = 3V3 + 4V4 + 5V5 + . . . . (12.2) (12.1)

Proposio 12.3.1. Em qualquer poliedro, valem as desigualdades 2A 3F e 2A 3V . Demonstrao. Da equao (12.1), obtemos: 2A = 3F3 + 4F4 + 5F5 + . . . = 3(F3 + F4 + F5 + . . .) + F4 + 2F5 + . . . = 3F + F4 + 2F5 + . . . 3F. Alm disso, vale a igualdade se, e somente se, o poliedro tiver apenas faces triangulares. A segunda desigualdade pode ser provada de forma inteiramente anloga.

12.4

O Teorema de Euler para poliedros convexos

Nesta seo apresentaremos o belssimo teorema de Euler acerca dos poliedros convexos. Comecemos, ento, por den-los. 114

Denio 12.4.1. Dizemos que um poliedro convexo se qualquer reta no paralela a nenhuma de suas faces o intercepta em, no mximo, dois pontos.

Figura 12.13: Um poliedro convexo e um no convexo. Teorema 12.4.2 (Euler). Em qualquer poliedro convexo, com A arestas, V vrtices e F faces, vale a relao V A + F = 2. (12.3)

Demonstrao. Denotando por P o poliedro dado, enumeremos suas faces de 1 a F , e denotemos por nk o gnero da k -sima face, com 1 k F . A soma dos ngulos internos de um polgono convexo de gnero n (n 2) . Como o poliedro convexo, todas as suas faces so convexas, e a soma dos ngulos internos de suas faces S = (n1 2) + (n2 2) + . . . + (nF 2), ou seja, S = ((n1 + n2 + . . . + nF ) 2(1 + 1 + . . . + 1)) . Assim, podemos escrever S = (2A 2F ) = 2 (A F ). (12.4)

Considere agora uma reta r que no seja paralela a nenhuma das faces de P , e um plano H que no o intercepta e seja ortogonal a r. H divide o espao em dois semi-espaos, um dos quais contm o poliedro. Denotemos por P a projeo ortogonal do poliedro P sobre H . Como P convexo, cada ponto de P projeo de um ou dois pontos de P . Alm disso, P tem como fronteira um polgono convexo K , projeo de uma poligonal fechada K formada por arestas de P . Cada ponto de K projeo de um nico ponto de P , e cada ponto interior de P projeo de dois pontos de P . Dados dois pontos de P , que tm a mesma projeo, ao mais distante de H chamamos de ponto 115

H
Figura 12.14: Projeo P do poliedro P sobre H . iluminado e ao mais prximo ponto sombrio. Denotemos por V1 o nmero de vrtices iluminados, V2 o nmero de vrtices sombrios e V0 o nmero de vrtices de K . Assim, V = V0 + V1 + V2 . A projeo das faces iluminadas um polgono convexo com V0 vrtices em seu contorno e V1 pontos interios, projeo dos vrtices iluminados de P . A soma de todos os ngulos desta projeo S1 = (V0 2) + 2V1 . (12.5)

De forma anloga obtemos que a soma dos ngulos da sombra das faces sombrias S2 = (V0 2) + 2V2 . Somando (12.5) e (12.6), obtemos: S = S1 + S2 = 2 (V1 + V2 + V0 2) = 2 (V 2). Comparando (12.4) e (12.7), obtemos V A + F = 2, como queramos. Observao 12.4.3. H muito tempo se conhecem exemplos de poliedros para os quais V A + F = 0. A Figura 12.15 exibe um poliedro no qual se 116 (12.7) (12.6)

tem V A + F = 16 32+16 = 0. Por outro lado, fcil encontrar exemplos de poliedros no convexos que satisfazem a relao (12.3). Por exemplo, o poliedro no convexo da Figura 12.13 satisfaz (12.3). Mais geralmente, se um poliedro P no convexo puder ser colocado em uma posio de modo que sua projeo seja um polgono onde cada um de seus pontos seja projeo de no mximo dois pontos de P , a prova que apresentamos continua vlida e a relao (12.3) se verica.

Figura 12.15: Poliedro no qual V A + F = 0. Exemplo 12.4.4. Considere a bola de futebol da Copa de 70, formada por 12 faces pentagonais e 20 faces hexagonais, todas regulares. Determinemos o nmero de vrtices da bola. Temos F5 = 12 e F6 = 20. Assim, F = F5 + F6 = 32. O nmero de arestas dado pela relao 2A = 5F5 + 6F6 = 5 12 + 6 20 = 180, logo A = 90. Como a bola convexa, segue do Teorema 12.4.2 que o nmero de vrtices V dado por V = 2 + A F = 60. Exemplo 12.4.5. Quais so as possibilidades para um poliedro convexo que possui 13 faces e 20 arestas? Para responder a esta questo, consideremos a relao 2A = 3F + F4 + 2F5 + . . . . Como A = 20 e F = 13, temos 1 = F4 + 2F5 + . . . , o que s possvel se F4 = 1 e F5 = F6 = . . . = 0. Assim, o poliedro deve possuir uma nica face quadrangular e todas as outras 12 faces triangulares.

117

Denio 12.4.6. Um poliedro convexo chamado regular quando todas as faces so polgonos regulares congruentes e em todos os vrtices concorrem o mesmo nmero de arestas. Como consequncia do Teorema 12.4.2, obtemos o seguinte Teorema 12.4.7 (Plato). Existem apenas cinco poliedros regulares. Demonstrao. Denotemos por n o nmero de arestas de cada face e por p o nmero de arestas que concorrem em cada vrtice. Temos, ento: 2A = nF = pV, ou seja, nF nF e V = . 2 p Substituindo estes valores na relao (12.3), obtemos: A= nF nF + F = 2. p 2 Isolando F na relao acima, obtemos F = 4p . 2p + 2n np

Como F representa o nmero de faces do poliedro, devemos ter 2p +2n np > 0, ou seja, 2n > p. n2 n Como p 3, devemos ter n2 2 > 3, ou seja, n < 6. Esgotando todas as possibilidades para n, com 3 n < 6, obtemos os poliedros desejados. Mais precisamente, se n = 3, temos F = 4p . 6p

Assim, para p = 3, obtemos o tetraedro (F = 4); se p = 4, obtemos o octaedro (F = 8); se p = 5, obtemos o icosaedro (F = 20). Se n = 4, obtemos F = 4p . 8 2p 4p . 10 3p

Assim, para p = 3, obtemos o cubo (F = 6). Finalmente, se n = 5, obtemos F =

Assim, para p = 3, obtemos o dodecaedro (F = 12). 118

12.5

Exerccios

1. Considere um conjunto de, pelo menos, trs retas distintas. Mostre que, se duas quaisquer destas retas so concorrentes, ento elas esto todas num mesmo plano ou passam todas pelo mesmo ponto. 2. Duas retas r e s so concorrentes em um ponto A. Fora do plano determinado por r e s, considere um ponto P qualquer. Determine a interseo do plano determinado por r e P com o plano determinado por s e P . 3. Prove que a noo de paralelismo de retas no espao satisfaz a propriedade de transitividade. 4. Sejam r, s e r , s dois pares de retas concorrentes tais que r e r so paralelas entre si e, s e s tambm so paralelas entre si. Prove que o ngulo formado por r e s igual ao ngulo formado por r e s . 5. Sejam A, B , C e D pontos quaisquer do espao. Sejam M , N , P e Q os pontos mdios de AB , BC , CD e DA, respectivamente. Mostre que M N P Q um paralelogramo. 6. Mostre que os trs segmentos que unem os pontos mdios das arestas opostas de um tetraedro qualquer ABCD se encontram em um mesmo ponto. 7. Um poliedro convexo de 20 arestas e 10 vrtices s possui faces triangulares e quadrangulares. Determine os nmeros de faces de cada gnero. 8. Diagonal de um poliedro qualquer segmento que une dois vrtices que no esto na mesma face. Quantas diagonais possui um icosaedro regular? 9. Prove que, para todo poliedro convexo, valem as seguintes desigualdades: (a) A + 6 3F (b) A + 6 3V 10. Prove que se um poliedro convexo tem 10 arestas ento ele tem 6 faces. 11. Descreva todos os poliedros que possuem 10 arestas. 12. Um poliedro convexo P possui A arestas, V vrtices e F faces. Com bases em cada uma das faces constroem-se pirmides com vrtices exteriores a P . Fica formado ento um poliedro P que s possui faces tringulares. Determine os nmeros de arestas, faces e vrtices de P . 13. Prove que em qualquer poliedro convexo, o nmero de faces que tm um nmero mpar de arestas par. 14. Calcule o nmero de vrtices de um poliedro convexo que tem 16 faces triangulares. 119

Referncias Bibliogrcas
[1] A. Aaboe, Episdios da Histria Antiga da Matemtica, Sociedade Brasileira de Matemtica, 1984. [2] G. vila, Euclides, Geometria e Fundamentos, Revista do Professor de Matemtica, SBM, 45, 2001. [3] J. L. M. Barbosa, Geometria Euclidiana Plana, Sociedade Brasileira de Matemtica, 2006. [4] M. P. do Carmo, Geometrias no-Euclidianas, Matemtica Universitria, SBM, 6, 25 48, 1987. [5] P. C. P. Carvalho, Introduo Geometria Espacial, Sociedade Brasileira de Matemtica, 1993. [6] H. S. M. Coxeter, Geometry Revisited, New Mathematical Livrary, The L. W. Singer Company, 1967. [7] M. Dalcin, A demonstrao feita por Heron, Revista do Professor de Matemtica, 36, 3 5, 1998. [8] C. Gorodski, Um panorama histrico da Geometria, Matemtica Universitria, SBM, 44, 14 29, 2008. [9] T. L. Heath, The Thirteen Books of Euclids Elements, Vol. 1, Dover Publications, 1956. [10] T. L. Heath, The Thirteen Books of Euclids Elements, Vol. 2, Dover Publications, 1956. [11] D. Hilbert, The Foundations of Geometry, The Open Court Publishing Company, 1950. [12] E. L. Lima, Isometrias, Sociedade Brasileira de Matemtica, 2007. 120

[13] E. L. Lima, Medida e Forma em Geometria, Sociedade Brasileira de Matemtica, 1991. [14] A. Pogorelov, Geometry, Mir Publishers, 1987. [15] D. J. Struik, A Concise History of Mathematics, Dover Publications, 1987. [16] E. Wagner, Potncia de um ponto em relao a uma circunferncia, Revista do Professor de Matemtica, 45, 29 34, 2001.

121