Complexidade em Geometria

Silvana Marini Rodrigues Lopes
COMPLEXIDADE EM GEOMETRIA EUCLIDIANA PLANA
Dissertao apresentada ao Departamento de Matemtica da ca a PUC-Rio como parte dos requisitos para obteno do T ca tulo de Mestre em Matemtica a Orientadores: Humberto Jos Bortolossi e Carlos Tomei e
Departamento de Matemtica a Pontif cia Universidade Catlica do Rio de Janeiro o
Rio de Janeiro, 30 de agosto de 2002.
Indice
Introduo ca 1 O teorema de Napoleo a 1.1 1.2 1.3 1.4 Trs demonstraes clssicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . e co a A construo por rotaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ca co A generalizao de Barlotti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ca Outras propriedades do tringulo de Napoleo . . . . . . . . . . . . . . . . . . a a
iii 1 3 8 15 21 28 30 31 37 41 42 45 47 52 58 60 61
2 Alm de tringulos equilteros e quadrados e a a 2.1 2.2 2.3 A geometria do enegono e o problema 1 . . . . . . . . . . . . . . . . . . . . . a A geometria do octadecgono e o problema 2 . . . . . . . . . . . . . . . . . . . a Apndice: a tabela trigonomtrica de 3 em 3 . . . . . . . . . . . . . . . . . . e e
3 Automatizao em geometria ca 3.1 3.2 3.3 3.4 3.5 Euclides e a demonstrao sinttica . . . . . . . . . . . . . . . . . . . . . . . . ca e Descartes e a demonstrao anal ca tica . . . . . . . . . . . . . . . . . . . . . . . Hilbert e o mtodo universal . . . . . . . . . . . . . . . . . . . . . . . . . . . . e Tarski e a eliminao de quanticadores . . . . . . . . . . . . . . . . . . . . . ca O mtodo de Wu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e
4 Inverses e o porismo de Steiner o 4.1 Inverses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o
Indice
ii
4.2 4.3
A demonstrao do porismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . ca Apndice: O porismo de Poncelet . . . . . . . . . . . . . . . . . . . . . . . . . e
66 69 73
Bibliograa
Introduo ca
Ao longo de seus estudos de matemtica, o aluno apresentado a estruturas cada vez a e mais sosticadas e no uma prtica comum do processo educativo matemtico habitual a e a a explorar como estas novas estruturas interagem com as anteriores. Em geometria, por exemplo, problemas e teoremas costumam ser descritos inicialmente com tcnicas de geometria e sinttica. Mais tarde, depois que lhe ensinam trigonometria, o aluno no v situaes em e a e co que a nova ferramenta pode ser empregada no estudo de situaes em que trigonometria no co a aparea explicitamente em sua descrio. Neste sistema educativo, temos uma valorizao c ca ca excessiva dos produtos em detrimento dos processos envolvidos, o que implica na perda de signicado e coerncia das aes e prticas tanto por parte dos docentes quanto dos estudane co a tes. O uso de tcnicas novas estimula o aluno a reavaliar a importncia de um ferramental e a terico sosticado. Alm disso, a extenso temporal do estudo da geometria e sua interao o e a ca com outros aspectos da matemtica uma oportunidade rara de acompanhamento de um a e desenvolvimento intelectual integrado. Um primeiro exemplo, explorado no primeiro cap tulo, est associado ao emprego de a nmeros complexos em geometria anal u tica. A idia no s simplica as contas como oferece e a o um ponto de vista conceitual inesperado. Consideraremos o chamado teorema de Napoleo a que, sob um enunciado simples e despretensioso, esconde uma grande quantidade de propriedades, variaes e generalizaes. Apresentaremos alguns destes resultados com o objetivo de co co direcionar a ateno do leitor para o novo ponto de vista conceitual, que nos permitir provar ca a o teorema geral a partir de pouqu ssimos casos particulares. Esta tcnica obtm um polinmio e e o que identicamente nulo se, e somente se, o teorema verdadeiro, de tal maneira que cada raiz e e do polinmio corresponde a um caso particular para o qual se sabe que o teorema correto. o e Assim, o grau do polinmio pode ser tomado como uma medida da complexidade algbrica o e do teorema, estimando alm disso o nmero de casos particulares necessrios para a sua dee u a monstrao. Ao teorema de Napoleo, por exemplo, conseguimos associar um polinmio de ca a o grau 1 e, ento, com apenas dois exemplos (banais), provamos o caso geral! a A abordagem habitual entre alunos, alis, procede justamente na direo de obter exemplos a ca da situao mais geral desejada. O que a tcnica acima mostra que cabe ao professor escolher ca e e
Indice
iv
entre duas alternativas: ou induzir o aluno a buscar um argumento geral (que o que se faz e habitualmente), ou pedir para que ele considere o problema de contar quantos exemplos so a necessrios para que o resultado geral seja uma conseqncia deles! a ue Geometria anal tica habitualmente apresentada como uma panacia universal: problee e mas em geometria convertem-se em contas, ainda que enfadonhas. A armao entretanto ca e pass de cr vel tica. Para comear, as contas, como descritas nos cursos em geral, no so as c a a mais adequadas poss veis (evidncia de que ningum realmente resolve problemas dessa mae e neira). Mais, a maioria das contas pode ser literalmente evitada, como mostra o argumento que cota a complexidade algbrica de um problema. De fato, como veremos no cap e tulo 1, o polinmio de grau 1 cuja trivialidade corresponde ao teorema de Napoleo no tem que o a a ser calculado: observaes triviais obtm o valor do grau, a partir do qual a demonstrao co e ca segue. Outras propriedades relacionadas ao teorema so apresentadas como exemplos de a complexidade algbrica 2 e 3. e Uma parte substancial da geometria ensinada no colgio uma verso sinttica de fatos e e a e algbricos muito simples. Assim, por exemplo, as ra e zes quadradas de 2 e 3 esto sempre a relacionadas a propriedades do quadrado e do tringulo (hexgono) equiltero. Em cursos a a a mais sosticados, a razo aurea relacionada a comprimentos de diagonais do pentgono rea e a gular. Da mesma forma, pol gonos regulares com mais lados fazem considerar novos nmeros u algbricos (novas ra da unidade), cujas propriedades podem ser descritas por equaes poe zes co linomiais ou por propriedades sintticas (isto , que admitem representao e demonstrao e e ca ca `s vezes de carter geomtrico). E claro, alis, que deve-se esperar um aumento da complexia a e a dade algbrica quando pol e gonos regulares com mais lados comeam a aparecer. No cap c tulo 2, apresentaremos dois problemas sobre tringulos considerados dif a ceis por professores de ensino mdio. Estes problemas envolvem, respectivamente, os angulos de 100 e 20 . Em princ e pio, abordagens algbricas recaem em equaes cbicas, como por exemplo a que relaciona cos 20 e co u a cos 60 . Esses ngulos esto presentes no estudo do enegono e do octadecgono regulares a a a a e podemos obter solues sintticas elementares dos problemas originais usando propriedades co e pouco familiares destes pol gonos. No apndice do cap e tulo mostramos que com o estudo das relaes entre lado e diagonal do pentgono regular podemos obter o cosseno de 18 e, a partir co a dele, construir uma tabela trigonomtrica exata para angulos mltiplos de 3 . e u O cap tulo 3 considera uma outra interpretao de complexidade em geometria, mais ca prxima da hierarquizao que um lgico faria de certas teorias. O cap o ca o tulo elabora uma retrospectiva histrica dos estilos de demonstrao em geometria, comeando com o estilo o ca c sinttico de Euclides, o ponto de partida para o mtodo axiomtico. Seguimos ento com e e a a Descartes e a geometria anal tica que representou o primeiro passo para a algebrizao da ca geometria. No m do sculo XIX, Hilbert saneou algumas incorrees da axiomtica euclie co a diana (questes envolvendo a completude dos reais e relaes de ordem de pontos em retas) o co
Indice
e apresentou um procedimento mecnico de demonstrao para uma classe substancial de a ca teoremas. O mtodo de deciso de Tarski foi o grande passo conceitual seguinte: com ele, e a ca automatizada a demonstrao de uma classe muito mais ampla de teoremas todos ca os descritos por uma linguagem de primeira ordem (essencialmente, todos os teoremas de geometria que no contenham um quanticador agindo sobre um nmero inteiro). Infeliza u mente, seu desempenho computacional no satisfatrio: um programa de computador que a e o realmente seguisse o projeto de Tarski para demonstrar teoremas no teria relevncia prtica. a a a Finalmente, apresentamos sem muitos detalhes o mtodo de Wu que, com um desempenho e computacional melhor que o de Tarski, demonstra teoremas cuja hiptese e tese podem ser o convertidas em equaes polinomiais (ou suas negaes) que tenham coecientes racionais. co co O ponto tcnico fundamental no argumento de Tarski a eliminao de quanticadores e e ca que, em princ pio, simplica uma frmula lgica ao obter outra equivalente com um quano o ticador a menos. Veremos atravs de um exemplo que o preo dessa simplicao pode e c ca ser enorme, sob o ponto de vista da extenso das frmulas empregadas. O mtodo de Wu, a o e por sua vez, tem uma virtude adicional: ao segui-lo cuidadosamente, verica-se freqenteu mente a necessidade de hipteses de no-degenerescncia (genericamente satisfeitas) que so o a e a automaticamente explicitadas e indispensveis para o andamento de qualquer demonstrao. a ca No cap tulo 4, nalmente, apresentamos dois exemplos de teoremas de geometria que no a so pass a veis de demonstrao pelas tcnicas anteriores: os porismos de Steiner e Poncelet. ca e Em um certo sentido, os teoremas tem complexidade algbrica innita. Isso um pouco e e enganador: no caso do porismo de Steiner, veremos em detalhe que o emprego de inverses o geomtricas trivializa o problema geral. Para o porismo de Poncelet, a situao bem mais e ca e dif cil: este, por sua vez, pode ser trivializado por uma justaposio de duas transformaes, ca co uma projetiva e outra simpltica. Apresentaremos apenas uma descrio supercial do procee ca dimento no apndice ao cap e tulo. Aproveitando a oportunidade de reconsiderar aspectos didticos de geometria, achamos a que pod amos enriquecer os recursos grcos fazendo uso de software apropriado. Assim, a quase todas as guras dessa dissertao so pass ca a veis de manipulao (escolha de pontos, ca animao) a partir de arquivos dispon ca veis no CD-ROM incorporado ao texto. O material e completamente auto-contido, fazendo uso apenas de um navegador (browser ) para seu estudo.
Cap tulo 1 O teorema de Napoleo a

O teorema de Napoleo um excelente exemplo de situao que admite vrios n a e ca a veis interpretativos. Comeamos com os enunciados clssicos. c a Dado um tringulo ABC qualquer, construa tringulos equilteros apoiados externaa a a mente sobre cada um de seus lados. O tringulo externo de Napoleo obtido unindo-se os a a e baricentros X, Y e Z destes tringulos (gura 1.1). a
C Z Y
Figura 1.1: O tringulo externo de Napoleo. a a
Teorema 1.1 O tringulo externo de Napoleo de qualquer tringulo equiltero. a a a e a
Quando os tringulos equilteros so constru a a a dos internamente a X , Y e Z formam o tringulo interno de Napoleo (gura 1.2). a a
ABC, seus baricentros
C X0
0
Z A
Y0 B
Figura 1.2: O tringulo interno de Napoleo. a a
Teorema 1.2 O tringulo interno de Napoleo tambm equiltero. a a e e a
O teorema 1.1 atribu a Napoleo Bonaparte (1769 1821), embora no haja evidncias e do a a e de que seja ele o autor do mesmo [115]. A referncia mais antiga que relaciona Napoleo com e a este teorema o livro de Faifofer [45] de 1911 (teorema proposto per la dimonstrazione da e Napoleone a Lagrange). Contudo, existem referncias mais antigas do teorema onde o nome e de Napoleo no aparece: Turner [124] de 1843 e Laisant [75] de 1877. a a O teorema de Napoleo combina um enunciado simples com uma certa diculdade de a demonstrao: no se espera que um aluno do ensino mdio seja capaz de obt-la. Diversos ca a e e autores estudaram tambm as vrias propriedades adicionais presentes em sua congurao e a ca geomtrica, algumas das quais consideraremos neste texto. O teorema e suas extenses foram e o tratados com tcnicas de geometria sinttica [38, 69], variveis complexas [44, 93, 94, 86, e e a 92, 61], algebra linear [137, 25, 80], trigonometria [21], anlise harmnica [97], geometria a o discreta [109, 110] e geometria mecanizada [28, 30, 58]. Neste cap tulo, apresentaremos algumas demonstraes do teorema, contrapondo dois tico pos de construes do tringulo de Napoleo: a clssica que segue a construo como enuncico a a a ca ada acima e uma construo por rotaes que descreveremos abaixo. Na construo clssica, ca co ca a o tringulo de Napoleo no est denido quando os vrtices A, B e C so colineares; vea a a a e a remos que, para a construo por rotaes, o teorema pode ser enunciado para quaisquer ca co pontos A, B e C: isso tem a vantagem de representar em um unico caso a construo dos ca tringulos externo e interno de Napoleo. A idia original de usar rotaes para construir a a e co o tringulo de Napoleo de Yaglom [137], que usou rotaes como transformaes ans do a a e co co 2 plano cartesiano R (demonstrao 4, pgina 10, seo 1.2). ca a ca A demonstrao de Yaglom invoca vrios resultados a respeito de composies de rotaes ca a co co que devem ser demonstrados independentemente. No freqente (e Yaglom segue a linha a e u
Trs demonstraes clssicas e co a
habitual) empregar nmeros complexos para representar rotaes, mas isso se torna especialu co mente vantajoso para nosso ponto de vista. Uma rotao de um ponto em torno da origem ca no sentido anti-horrio por um angulo , simplesmente, o mesmo que multiplicar este ponto a e pela constante ei . Esta notao empregada na demonstrao 5 (pgina 12, seo 1.2), onde ca e ca a ca as coordenadas de todos os pontos envolvidos na construo do tringulo de Napoleo so ca a a a dadas explicitamente, em preparao para a demonstrao 6, bem mais conceitual. ca ca As contas feitas na demonstrao 6 da pgina 14, seo 1.2 (ou melhor, as contas que ca a ca foram evitadas nessa demonstrao!) deixam claro um fato muito interessante: para mostrar ca o teorema de Napoleo, basta vericar que uma certa expresso am em z (isto , uma a a e expresso da forma az + b, com a e b constantes complexas) igual a zero para qualquer valor a e de z! A escolha de z est relacionada com a disposio dos vrtices do tringulo ABC. a ca e a Uma expresso am identicamente nula exatamente quando tem (pelo menos) duas ra a e zes. Em termos geomtricos, isto o mesmo que encontrar duas conguraes particulares para as e e co quais o teorema de Napoleo verdadeiro. Em resumo, dois exemplos (dois casos particulares!) a e para o teorema de Napoleo so sucientes para estabelecer o teorema geral. a a O teorema de Napoleo, ento, tem uma complexidade algbrica muito baixa. De forma sea a e melhante, certas propriedades da congurao de Napoleo so algebricamente muito simples ca a a (isto , so equivalentes a trivialidade de expresses polinomiais de grau baixo) e, portanto, e a ` o podem ser demonstradas a partir de poucos casos particulares. Este o caso da propriedade 1 e os centros dos tringulos externo e interno de Napoleo coincidem com o centro do tringulo a a a inicial na seo 1.4 e da generalizao de Barlotti(uma extenso do teorema de Napoleo ca ca a a para n-gonos) na seo 1.3, ambos associados a expresses de grau 1. Na seo 1.4, considea ca o ca raremos um exemplo de complexidade quadrtica a diferena entre as reas dos tringulos a c a a externo e interno de Napoleo igual a area do tringulo inicial (propriedade 2), e um de a e a complexidade cbica a concorrncia dos segmentos AQ, BR e CP (parte da propriedade 3). u e
1.1
Apresentaremos, a seguir, trs demonstraes clssicas do teorema de Napoleo. Dado o e co a a tringulo inicial ABC, estabeleceremos as seguintes notaes: P , Q e R so os vrtices dos a co a e tringulos equilteros ABP , BCQ e CAR, constru a a dos externamente sobre os lados de ABC; X, Y e Z so os respectivos baricentros destes tringulos equilteros, em particular, a a a XY Z o tringulo externo de Napoleo; os comprimentos dos lados opostos aos vrtices e a a e A, B e C do tringulo ABC so denotados por a, b e c, respectivamente, e os ngulos a a a relativos aos vrtices A, B e C por A, B e C. Usaremos uma notao anloga para denotar e ca a os angulos e os comprimentos dos lados do tringulo XY Z. Finalmente, o comprimento de a
um segmento M N ser denotado por M N . a
Demonstrao 1 (trigonomtrica, Brodie e Lambrou [21]). ca e Considere t, u e v os comprimentos dos segmentos AX, AZ e CY , respectivamente, como na gura 1.3.
R Q v x y A t X B Y
Z u
Figura 1.3: Uma demonstrao trigonomtrica. ca e
Como XAB = CAZ = 30 , podemos aplicar a lei dos cossenos ao tringulo a y 2 = u2 + t2 2 u t cos(A + 60 ). De forma anloga, temos que a x2 = u2 + v 2 2 u v cos(C + 60 ).
AXZ: (1.1)
(1.2)
Como a distncia do baricentro a um dos vrtices de um tringulo vale 2/3 do comprimento da a e a respectiva mediana e, como o baricentro coincide com o ortocentro em um tringulo equiltero, a a podemos escrever: 2 3 2 3 c b t= e u= c= b= . 3 2 3 2 3 3
Substituindo os valores de t e u em (1.1) e (1.2) temos, respectivamente, que 3 y 2 = b2 + c2 2 b c cos(A + 60 ) 3 x2 = a2 + b2 2 a b cos(C + 60 ). e (1.3) (1.4)
Agora, aplicando a lei dos cossenos aos tringulos ABR e BCR, podemos expressar o a quadrado do comprimento do lado BR de dois modos diferentes: b2 + c2 2 b c cos(A + 60 ) = a2 + b2 2 a b cos(C + 60 ). Por (1.3) e (1.4), a expresso do lado esquerdo da equao acima igual a 3y 2 e a expresso da a ca e a 2 direita igual a 3x , donde conclu e mos que y = x ou XZ = Y Z. Considerando os tringulos a ACQ e ABQ, ao invs, obtemos Y Z = XZ, o que conclui a prova. e
Demonstrao 2 (sinttica, Honsberger [69]). ca e Considere a gura 1.4, onde O o ponto de interseo dos c e ca rculos ABP e BCQ. Observe que e BOC = 180 Q. AOB = 180 P Assim, AOC = 360 AOB BOC = 360 (180 P ) (180 Q) = P + Q. Mas P + Q = 180 R e, portanto, AOC e R so suplementares. Logo, o quadriltero AOCR a a est inscrito no c a rculo de centro em Z e que concorrente aos c e rculos ABP e BCQ , no ponto O. Alm disso, a reta que passa pelos centros de dois c e rculos que se interceptam perpendie cular a corda em comum. Logo, XZ e XY so perpendiculares a OA e OB, respectivamente. a Deste modo, temos que AOB e X so suplementares (AOB + X = 180 ). Por outro lado, a j t a nhamos visto que AOB + P = 180 , donde podemos concluir que P = X. Analogamente, temos Q = Y e R = Z. Como P = Q = R = 60 , o tringulo XY Z equiltero. a e a
Observao: A demonstrao acima apresenta o teorema de Napoleo como um caso partica ca a
R C Z Y O A B Q
Figura 1.4: Uma demonstrao sinttica. ca e cular de um teorema mais geral, cuja demonstrao obtida fazendo adaptaes menores no ca e co texto. Dado um tringulo ABC, construa externamente trs tringulos ABP , BCQ e a e a CAR, de forma que P + Q + R = 180 . Se XY Z o tringulo formado pelos circuncene a tros X, Y e Z dos tringulos ABP , BCQ e CAR, respectivamente, ento X=P , Y =Q a a e Z=R (gura 1.5).
Demonstrao 3 (um argumento extremal, Honsberger [69]). ca Sejam AB, BC e CA, os arcos relativos aos c rculos de centros X, Y e Z, que circunscrevem os tringulos equilteros, ABP , BCQ e CAR, como mostra a gura 1.6 (a). Seja D a a um ponto no arco AB e E no arco AC, de tal forma que o segmento DE passe pelo ponto A. Ento, DB e EC fazem 60 com DE, em D e em E, respectivamente. a Conseqentemente, as retas que contm os segmentos DB e EC se encontram em um u e ponto F , formando um angulo de 60 . Desta maneira, temos que o ponto F deve pertencer obrigatoriamente a BC, j que este o arco capaz de 60 sobre o segmento BC. Logo, para a e a a a todo ponto D no arco AB, existe um tringulo equiltero DEF que circunscreve o tringulo inicial ABC e tem um vrtice em cada arco (gura 1.6 (b)). e Construindo as perpendiculares a DF pelos centros X e Y , obtemos os pontos mdios e M e N das cordas DB e BF . Seja T o quarto vrtice do retngulo XM N T . Claramente, e a
R Y Z C X A B
Figura 1.5: Uma generalizao do teorema de Napoleo. ca a e a a DF = 2 M N = 2 XT . No entanto, XT um dos catetos do tringulo retngulo portanto, no maior que a hipotenusa XY . a e XY T e,
Como XT paralelo a DF , fcil notar que se D est muito prximo de A, o tringulo e e a a o a retngulo XY T externo ao tringulo de Napoleo XY Z. Por outro lado, se D est a e a a a muito prximo a B, o tringulo retngulo XY T interno ao tringulo XY Z. Assim, o a a e a podemos concluir que existe um ponto D no arco AB para o qual o lado XT do tringulo a XY T coincide com a hipotenusa XY , atingindo assim o seu comprimento mximo: XT = a XY . Mas sabemos que DF = 2 XT e, portanto, o comprimento mximo que DF assume a e 2 XY (quando DF paralelo a XY ). Analogamente, o comprimento mximo que F E e ED e a assumem 2 Y Z e 2 XZ, respectivamente. e Como o tringulo DEF sempre equiltero, seus lados assumem o (mesmo) compria e a mento mximo ao mesmo tempo. Isto signica que 2 XY = 2 Y Z = 2 XZ e, portanto, o a tringulo XY Z equiltero. a e a Todas as demonstraes apresentadas acima podem ser adaptadas para o caso em que o co tringulo de Napoleo o interno. Na demonstrao 2, por exemplo, Honsberger [69] usa a a e ca o fato de que o tringulo externo de Napoleo equiltero para provar por trigonometria o a a e a caso interno. Na maioria das vezes, quando o teorema do tringulo interno de Napoleo a a e
A construo por rotaoes ca c
R C Z Y
Z
E C Y T N F
X M
(a) Figura 1.6: O argumento extremal.
(b)
enunciado, a sua demonstrao indicada como anloga ao caso externo. ca e a
1.2
A construo por rotaes ca co
Quando A, B e C so colineares, a construo dos tringulos de Napoleo no faz sentido. a ca a a a Faremos, agora, uma construo semelhante que permite que o teorema seja enunciado para ca quaisquer vrtices A, B e C e faz com que os casos externo e interno do tringulo de Napoleo e a a possam ser tratados como um unico caso. Sejam dados trs pontos, A, B e C, no plano. Construa tringulos equilteros sobre os e a a segmentos AB, BC e CA, da seguinte forma: faa uma rotao de 60 no sentido anti-horrio, c ca a dos vrtices A, B e C em torno dos vrtices B, C e A, obtendo os pontos P , Q e R, vrtices dos e e e tringulos equilteros ABP , BCQ e ACR, respectivamente. Chamaremos o tringulo a a a de Napoleo obtido por rotaoes ou mais simplesmente, o tringulo de Napoleo, aquele obtido a c a a pela unio dos respectivos baricentros X, Y e Z, dos tringulos equilteros ABP , BCQ a a a e ACR. Com esta construo, o tringulo de Napoleo ca bem denido para quaisquer pontos A, ca a a B e C, inclusive quando eles so colineares ou coincidentes. a
R R
C Y
A X
B Y
P P
(a) A, B e C no-colineares a
(b) A, B e C colineares
Q Z
Y
A Z Q
X
P
(c) A, C e B no-colineares a
(d) A, C e B colineares
Figura 1.7: A construo do tringulo de Napoleo por rotaes. ca a a co
10
Sejam A, B e C pontos no colineares e dispostos no sentido anti-horrio (resp. hora a a rio). Note, pela gura 1.7 (a) (resp. gura 1.7 (c)), que os tringulos equilteros obtidos por a a rotaes correspondem aos tringulos equilteros externos (resp. internos) da verso clssica. co a a a a Assim, o tringulo de Napoleo o mesmo que o tringulo externo (resp. interno) de Napoleo. a a e a a Desta maneira, a construo por rotaes nos permite enunciar o teorema clssico, nos casos ca co a em que o tringulo de Napoleo externo ou interno. a a e
Teorema 1.3 O tringulo de Napoleo equiltero. a a e a
Demonstrao 4 (rotaes como transformaoes no plano, Yaglom [137]). ca co c Considere a congurao da gura 1.8, onde X, Y e Z so os baricentros dos tringulos ca a a equilteros, constru a dos por rotaes, sobre os lados de um tringulo ABC. co a
C Y
Figura 1.8: A demonstrao por rotaes em R2 . ca co
ca a Denotaremos por RP (M ) a rotao de 120 no sentido horrio de um ponto M em torno de P , ou seja, RP : R2 R2 , M RP (M ) = P + R(M P ) e ca a onde R : R2 R2 uma rotao de 120 no sentido horrio em torno da origem.
11
Seja a seqncia de trs rotaes, cada uma de 120 em torno dos pontos X, Y e Z: ue e co RX (P ) = X + R(P X) = (I R)(X) + R(P ), RY (P ) = Y + R(P Y ) = (I R)(Y ) + R(P ), RZ (P ) = Z + R(P Z) = (I R)(Z) + R(P ), onde I representa a aplicao identidade em R2 . A primeira rotao leva A em B, a segunda ca ca leva B em C e a terceira leva C em A: RX (A) = B, RY (B) = C e RZ (C) = A.
Conseqentemente, o ponto A um ponto xo da composio dessas trs rotaes: u e ca e co RZ (RY (RX (A))) = A. e ca Mas a composio de trs rotaes de 120 em torno de pontos quaisquer uma translao, ca e co pois RZ (RY (RX (P ))) = (I R)(Z) + R ((I R)(Y ) + R(P )) = (I R)(Z) + R ((I R)(Y ) + R ((I R)(X) + R(P ))) = (I R)(Z) + R ((I R)(Y )) + R2 ((I R)(X)) + R3 (P ) = (I R)(Z) + R ((I R)(Y )) + R2 ((I R)(X)) + P, de modo que a composio dessas trs rotaes deve ser, portanto, a transformao identidade. ca e co ca
A composio das duas primeiras rotaes uma rotao de 240 em torno do ponto ca co e ca O = (I + R)1 (Y + R(X)), pois se TO : R2 R2 a rotao de 240 no sentido horrio em torno do ponto O, ento e ca a a RY (RX (P )) = TO (P ) (I R)(Y ) + R ((I R)(X) + R(P )) = (I R2 )(O) + R2 (P ) I R2 (I + R)1 (Y + R(X)) + R2 (P ) = I R2 (O) + R2 (P ) O = (I + R)1 (Y + R(X)). a Mais ainda: O a rotao de 60 no sentido horrio do ponto X em torno de Y . De fato, se e ca 2 2 S : R R a rotao de 60 no sentido horrio em torno da origem, de modo que e ca a O = (I + R)1 (Y + R(X)) = (I + S 2 )1 Y + S 2 (X) ,
12
ento basta mostrarmos que (I +S 2 )1 (Y + S 2 (X)) = Y +S(X Y ), isto , que Y +S 2 (X) = a e (I + S 2 ) (Y + S(X Y )), ou ainda, que (S 3 S + I)(X Y ) = 0, o que verdade, pois S 3 S I = 0. e Analogamente, podemos mostrar que O a rotao de 60 no sentido horrio do ponto Y e ca a em torno de X. Desta maneira o tringulo XY O equiltero. Como composio das a e a ca rotaes RZ e TO = RY RX a transformao identidade: co e ca (RZ TO )(P ) = (I R)(Z) + (R R3 )(O) + P = (I R)(Z O) + P = P, conclu mos que (I R)(Z O) = 0, isto , Z = O. Logo, o tringulo e a como quer amos demonstrar. XY Z equiltero, e a
Vamos agora representar as rotaes da construo do tringulo de Napoleo com notao co ca a a ca complexa.
Demonstrao 5 (notao complexa). ca ca Seja o tringulo ABC no plano complexo, de forma que o vrtice A esteja na origem e a e B em 1. Dena z como o nmero complexo associado ao vrtice C (gura 1.9). u e Como P obtido a partir da rotao de /3 no sentido anti-horrio do vrtice A em torno e ca a e de B, podemos escrever P = (A B)e 3 i + B = 1 e 3 i . Analogamente, temos que Q = (B C)e 3 i + C = (1 z)e 3 i + z

R = (C A)e 3 i + A = ze 3 i .
Desta maneira, conclu mos que as coordenadas de X, Y e Z so dadas por a X = A+B+P 3 2 e3i = , 3

B+C +Q (2 e 3 i ) z + 1 + e 3 i Y = = 3 3 C +A+R (1 + e 3 i ) z Z = = . 3 3
13
R=ze
i/3
Q = (1 z) e C=z Z Y
i/3
+z
A=0
B=1
P= e
i/3
+1
Figura 1.9: Rotaes em notao complexa. co ca
14
Queremos mostrar que o tringulo de Napoleo XY Z equiltero. Para isso, basta a a e a vericarmos que Y a rotao de /3 de X em torno de Z: e ca Y = (X Z)ei 3 + Z. Em termos da varivel z, devemos ento vericar que a a 1 + z + (1 z)e 3 i + z = 3 ou ainda, que 1 e 3 i + e 3 i z + 1 e 3 i + e2 3 i = 0. Mas isto segue imediatamente da identidade 1 e 3 i + e 3 i = 0. Esta demonstrao mostra explicitamente que todos os pontos envolvidos no teorema ca de Napoleo podem ser escritos como funes ans de z, isto , que os nmeros complexos a co e u associados a estes pontos so da forma az+b, com a e b constantes complexas. Esta observao a ca sugere ainda outra demonstrao que apresentaremos a seguir. ca
2 2 z + ze 3 i 2 e 3 i z + ze 3 i e3i + 3 3 3
Demonstrao 6 (limitando a complexidade algbrica). ca e Considere novamente a congurao geomtrica da gura 1.9, onde o tringulo inicial ca e a ABC est no plano complexo com os vrtices A e B xos em 0 e 1, respectivamente, e a e C = z (qualquer). Sabemos que, no plano complexo, fazer uma rotao de um nmero em torno da origem ca u e o mesmo que multiplicar este nmero por uma constante complexa de mdulo 1. u o Desta forma, os nmeros complexos associados aos vrtices P , Q e R so expresses ans u e a o em z, pois so rotaes dos nmeros complexos 0, 1 e z em torno de 1, z e 0, respectivamente. a co u Os vrtices X, Y e Z tambm so expresses ans em z, pois so mdias aritmticas de e e a o a e e expresses ans. o Queremos mostrar que o tringulo de Napoleo, XY Z, equiltero. Faremos isto, a a e a vericando, por exemplo, que Y pode ser obtido atravs da rotao no sentido anti-horrio e ca a de /3 do vrtice X em torno de Z, ou seja, que Y = (X Z) ei 3 + Z, ou ainda, que e Y (X Z) ei 3 Z = 0 Como X, Y e Z so expresses ans em z, devemos ento mostrar que uma certa expresso a o a a
A generalizao de Barlotti ca
15
am em z zero para qualquer valor de z. Para isto basta encontrarmos dois valores de z e que so ra desta expresso am. Por exemplo, z = e+ 3 i e z = e 3 i , cujas conguraes a zes a co geomtricas correspondentes so mostradas na gura 1.10. e a
A=Q
B= R
X=Y=Z
C =P
(a) z = e+ 3 i
(b) z = e 3 i
Figura 1.10: Duas conguraes para as quais o teorema trivial. co e Em notao complexa, ca claro que, com o uso de rotaes, todos os pontos envolvidos na ca co construo do tringulo de Napoleo dependem continuamente de z, pois suas posies podem ca a a co ser representadas atravs de funes ans em z. Com a construo clssica, o tringulo de e co ca a a Napoleo com vrtices A = 0 e B = 1 s est denido para valores de C = z fora do eixo real a e o a e no poss fazer uma extenso cont a e vel a nua desta construo para todo o plano complexo. ca A gura 1.11 ilustra este fato para o caso do tringulo externo e a gura 1.12 para o caso do a tringulo interno de Napoleo. Note o salto dos pontos X, Y e Z quando C = z passa do a a semi-plano superior (Im(z) > 0) para o semi-plano inferior (Im(z) < 0). Observao: A partir de agora assumiremos que a congurao de Napoleo ser sempre ca ca a a aquela referente a construo por rotaes do tringulo de Napoleo. ` ca co a a
1.3
Uma pergunta natural se a construo e as concluses sugeridas pelo teorema de Nae ca o poleo podem ser generalizadas para outros pol a gonos alm do tringulo. Mais precisamente, e a queremos saber se os baricentros dos n-gonos regulares constru a dos (externamente ou internamente) sobre cada um dos lados de um dado n-gono formam, por sua vez, um outro a
16
R R Z C =z Y A=0 B=1 A=0 Q Z C =z Q Y B=1
(a) Im(z) > 0
(b) Im(z) > 0
A=0 C=z Y
B=1
A=0 Y
B=1
Q R R
C=z
(c) Im(z) < 0
(d) Im(z) < 0
Figura 1.11: A construo clssica do tringulo externo de Napoleo no ca a a a a admite uma extenso cont a nua.
17
C=z
X C=z B=1 A=0 Y Z Q B=1
A=0 Z Q
(a) Im(z) > 0
(b) Im(z) > 0
R Q Z A=0 Y C=z X X B=1 A=0 Z
Q B=1 Y
(c) Im(z) < 0
(d) Im(z) < 0
Figura 1.12: A construo clssica do tringulo interno de Napoleo no adca a a a a mite uma extenso cont a nua.
18
n-gono regular. A resposta no, j para n = 4, como mostra a gura 1.13. a e a a
W D
Z C
Figura 1.13: A construo e as concluses sugeridas pelo teorema de Naca o poleo no podem ser generalizadas para um quadriltero quala a a quer.
Contudo, ainda com relao ao caso n = 4, Thbault [122] demonstrou que para um paca e ralelogramo, os baricentros dos quadrados constru dos (externamente ou internamente) sobre cada um de seus lados formam sempre um outro quadrado (gura 1.14). Tanto o tringulo quanto o paralelogramo so exemplos de pol a a gonos regulares ans, isto , e pol gonos que podem ser escritos como a imagem por uma transformao am de um n-gono ca a regular. A. Barlotti mostrou que a propriedade de regularidade am suciente para se obter e uma generalizao dos teoremas de Napoleo e de Thbault para outros tipos de pol ca a e gonos. Teorema 1.4 (Barlotti) Sejam Pn um n-gono qualquer e Qn o n-gono cujos a a vrtices so os baricentros dos n-gonos regulares constru e a a dos (todos externamente ou todos internamente) sobre cada um dos n lados de Pn . Se Pn regular am, isto , e e se Pn a imagem por uma transformao am de um n-gono regular, ento Qn e ca a a e regular. Barlotti apresentou sua generalizao em 1955, usando trigonometria no plano complexo ca para justic-la [8]. Desde ento, vrias alternativas de demonstrao foram sugeridas: [55] a a a ca
19
Z W D C
B Y X
Figura 1.14: O teorema de Thbault: a construo e as concluses sugerie ca o das pelo teorema de Napoleo podem ser generalizadas para a paralelogramos.
(usando trigonometria), [111] (pol gonos recursivos), [47] (polinmios) e [48] (anlise de Fouo a rier e formas hermitianas). Daremos a seguir uma demonstrao cotando a complexidade algbrica do resultado. Mais ca e precisamente, vamos mostrar que a generalizao de Barlotti associada a uma expresso ca e a am. Desta maneira, como no caso do teorema de Napoleo, duas conguraes geomtricas a co e (onde a generalizao de Barlotti claramente verdadeira) sero sucientes para estabelecer ca e a o resultado no caso geral.
Demonstrao do teorema 1.4. ca Como a propriedade de um n-gono ser regular invariante por translaes, rotaes e a e co co e ca homotetias, basta considerar os casos em que Pn a imagem por uma transformao linear T : C C (sobre o corpo dos reais) do n-gono regular Rn cujos vrtices so as n-simas a e a e ra da unidade 1, w1 , . . . , wn1 . zes A partir desta observao, fcil de ver que a generalizao de Barlotti equivalente a ca e a ca e seguinte sentena: para cada transformao linear T : C C, os baricentros dos n-gonos c ca a regulares constru dos sobre os lados de Pn = T (Rn ) formam um n-gono Qn regular. Vamos a
20
apresentar uma demonstrao deste resultado supondo que T uma transformao linear ca e ca invers vel. Uma vez feito isto, o caso em que T no invers seguir por continuidade. a e vel a Se T invers e vel, ento podemos supor que T (1) = 1. Toda transformao linear deste a ca tipo ca completamente identicada pelo seu valor z em i: T (i) = z. Sendo assim, para estabelecer o resultado, devemos mostrar que para cada z C, os centros O1 (z), O2 (z), . . . , On1 (z) dos n-gonos regulares constru a dos sobre os lados do n-gono a 1 n1 a de vrtices T (1), T (w ), . . . , T (w ) formam, por sua vez, um outro n-gono regular (e gura 1.15). Em termos algbricos, precisamos vericar que e Oj+1 (z) Oj (z) e2 /n = 0, (1.5)
para cada z C e para cada j = 1, . . . , n. Mas cada centro Oj (z) uma expresso am em z, e a
Im
O2 (z)
T (w 1)
O 1(z)
Im w1 w
2
T (w 2)
T
1 T( 1 ) = 1 T(i ) = z Re O3(z) 0
T(1) = 1
Re
wn{1 On(z)
T (w
n{1
Figura 1.15: A generalizao de Barlotti do teorema de Napoleo. ca a dado que cada vrtice T (wj ) tambm uma expresso am em z, pois se wj = aj + bj i, e e e a ento a T (wj ) = T (aj + bj i) = aj T (1) + bj T (i) = aj + bj z.
Outras propriedades do tringulo de Napoleo a a
21
Desta maneira, duas solues particulares z1 e z2 da equao 1.5 (isto , duas escolhas de co ca e transformaes lineares para as quais a generalizao de Barlotti verdadeira) so sucientes co ca e a para estabelecer o resultado no caso geral. Basta tomar, por exemplo, z1 = +i (quando T e a identidade) e z2 = i (quando T a reexo com relao ao eixo real). e a ca Observao. Barlotti tambm demonstrou que a rec ca e proca do teorema 1.4 verdadeira, isto e , que se os baricentros dos n-gonos regulares constru e a dos sobre cada um dos lados de um n-gono Pn (qualquer) formam um n-gono Qn regular, ento Pn um n-gono anamente a a a e a regular [8, 55].
1.4
Existem muitas propriedades interessantes relativas aos tringulos interno e externo de a Napoleo. As referncias [40, 69, 84, 127] apresentam um bom nmero delas. Nesta seo a e u ca cotaremos a complexidade algbrica de algumas destas propriedades. e
Propriedade 1 Os tringulos de Napoleo externo e interno tm o mesmo baricentro, a a e que coincide com o do tringulo inicial. a
Demonstrao: ca Considere a congurao da gura 1.9. Os baricentros dos tringulos externo e interno de ca a Napoleo do tringulo inicial so expresses ans em z. Ver que este baricentros coincidem a a a o tambm resulta em uma equao am. Assim, para vericarmos a propriedade, basta exie ca birmos duas conguraes desta propriedade. Considere, por exemplo, aquelas indicadas na co gura 1.10 da pgina 15. a
Propriedade 2 A diferena entre as reas dos tringulos externo e interno de Nac a a poleo igual a area do tringulo inicial. a e a
Demonstrao: ca Novamente, considere a congurao da gura 1.9 na pgina 13, onde A = 0, B = 1 e ca a C = z. J vimos que os tringulos externo e interno de Napoleo so equilteros e que seus a a a a a
22
vrtices so expresses ans em z. Se l e l so os lados destes tringulos, respectivamente, e a o a a ento podemos escrever a l = z + e l = z + , onde , , e C.
Se X, Y e Z so os vrtices do tringulo externo de Napoleo (gura 1.1) e X , Y , Z so os a e a a a vrtices do tringulo interno de Napoleo (gura 1.2), ento e a a a rea( ABC) = a e 1 zz , 2 2i
3 2 3 rea( XY Z) = a l = z + 4 4
3 2 3 rea( X Y Z ) = a l = z + . 4 4
e Queremos mostrar que area( ABC) = area( XY Z) rea( X Y Z ), isto , que a 3 1 zz = z + 2 2i 4 4 3i zz + 3 3 2 z + 2 . 4
Desenvolvendo esta equao, chegamos a seguinte expresso em z e z, ca ` a 4 3i z + + 3 z + = 0,
de modo que a propriedade 2 verdadeira se, e somente se, a expresso e a 4 3i P (z) = zz + 3 igual a zero para todo z C. e Observe que P um polinmio de grau 2 nas variveis x = Re(z) e y = Im(z). De e o a fato, P (z) = 0 a equao de um c e ca rculo. Sabemos que existe uma unica circunferncia que e passa por trs pontos no colineares. Portanto, se encontrarmos quatro ra de P que no e a zes a esto em uma mesma circunferncia (isto , quatro conguraes geomtricas para as quais a a e e co e propriedade 2 verdadeira) ento, obrigatoriamente, P (z) = 0 para todo z C. Para isto, e a considere a gura 1.16. Em (a), temos que z = 0, area( XY Z) = area( X Y Z ) e rea( ABC) = 0. Em (b), a temos que z = 1, area( XY Z) = area( X Y Z ) e rea( ABC) = 0. Em (c), te a +i mos quez = e 3 , rea( ABC) = area( XY Z) e rea( X Y Z ) = 0. Em (d), temos a a i a a quez = e 3 , rea( ABC) = area( X Y Z ) e rea( XY Z) = 0. Em todos estes casos, rea( ABC) = area( XY Z) - rea( X Y Z ). Isto mostra que 0, 1, e+ 3 i e e 3 i so quatro a a a ra de P que no esto em uma mesma circunferncia. zes a a e 4 3i z + + 3 z +
23
Q =P 0
R =P 0
Y =X 0 R = R0 A =C Z = Z0 X =Y 0
Z =X 0 Q =Q0 B =C Y =Y 0 X =Z 0
P =Q 0
P = R0
(a)
(b)
R Z
0 C= P
Q Y
0 0 0 X =Y = Z
A =Q
B = R0
A=Q X =Y = Z
B=R
X
Z
0 0
Y0
0
C =P
(c)
(d)
Figura 1.16: Quatro conguraes onde a propriedade 2 verdadeira. co e
24
Propriedade 3 Na congurao de Napoleo, as retas que unem os vrtices P , Q e R ca a e dos tringulos equilteros aos vrtices opostos do tringulo inicial ABC se encontram a a e a em um unico ponto I. Alm disso, as retas fazem 60 entre si, e os segmentos AQ, e BR e CP tm o mesmo comprimento. e
R Q
I A B
P
Figura 1.17: Trs segmentos especiais. e
Demonstraao: c O fato que os segmentos AQ e BR tm o mesmo comprimento e se encontram fazendo e 120 segue do fato que, em notao complexa, R B uma rotao de 120 de Q A. Como ca e ca nos exemplos acima, fcil ver que esta uma propriedade am: dois exemplos em que ela e a e se verica so obvios os empregados na demonstrao 6 do teorema de Napoleo. a ca a
Para demonstrar a armao que falta, considere desta vez o tringulo ABC no plano ca a cartesiano R2 , de forma que seus vrtices tenham coordenadas reais, A = (0, 0), B = (1, 0) e e a C = (x, y) qualquer. E fcil ver que, mais uma vez, as coordenadas de P , Q e R so expresses a o ans em x e y, isto , elas so da forma x + y + , com , e constantes reais. Sobre e a o ponto P sabemos um pouco mais: suas coordenadas so constantes. Portanto, podemos a escrever P = (a, b) e, usando a notao am para indicar uma expresso am nas variveis x ca a a e y, Q = (am, am) e R = (am, am) (gura 1.18).
25
R = (afim,afim) Q = (afim,afim) C = (x,y )
I A = (0 ,0 ) B = (1, 0)
P = (a ,b)
Figura 1.18: Os pontos P , Q e R tm coordenadas ans. e Em termos das seguintes parametrizaes das retas AQ, BR e CP , co r A + r (Q A) = (0, 0) + r (am, am) = (0, 0) + r (am, am), s B + s (R B) = (1, 0) + s (am 1, am) = (1, 0) + s (am, am), t P + t (C P ) = (a, b) + t (am a, am b) = (a, b) + t (am, am), vemos que elas se interceptam em um mesmo ponto I se, e somente se, existem valores de r, s e t tais que (0, 0) + r (am, am) = (1, 0) + s (am, am), (0, 0) + r (am, am) = (a, b) + t (am, am), ou ainda, que existem valores de r, s e t que satisfazem a seguinte equao matricial ca
1 0 a b
am am 0 am am 0 am 0 am am 0 am

1 r s t =
0 0 . 0 0
26
Mas a m de que (1, r, s, t) seja uma soluo (no trivial) do sistema linear homogneo denido ca a e pela matriz M , devemos ter que det M = 0. Por outro lado, o determinante de qualquer matriz da forma
constante constante constante constante
am am am am
am am am am
am am am am
um polinmio nas variveis x e y do tipo e o a p(x, y) = (x) y 3 + (x) y 2 + (x) y + (x), onde , , e so polinmios na varivel x. a o a a Assim sendo, se mostrarmos que p(x, y) = 0 para todo (x, y) R2 , teremos ento estabelecido que a propriedade 3 verdadeira. Faremos isto usando a tcnica de provar a partir de e e casos particulares. Para a propriedade 3, a congurao geomtrica evidente aquela onde o ca e e tringulo inicial ABC issceles (veja a gura1.19). a e o
C R Q
I
A B
Figura 1.19: A propriedade 3 se verica trivialmente para um tringulo issceles. a o
27
Fixe agora x = x0 no intervalo (0, 1/2), conforme a gura 1.20. Se escolhermos C como sendo um dos pontos (x0 , y1 ), (x0 , y2 ), (x0 , y3 ) e (x0 , y4 ), obtidos a partir da interseo da reta ca x = x0 com os c rculos de raio 1 e centro em (0, 0) e (1, 0), veremos que o tringulo ABC a correspondente ser issceles. Desta maneira, segue-se que y1 , y2 , y3 e y4 so quatro ra a o a zes
y1 y2
x0
1/2
y3 y4
Figura 1.20: Quatro valores de y para os quais o tringulo a distintas do polinmio o
ABC issceles. e o
qx0 (y) = p(x0 , y) = (x0 ) y 3 + (x0 ) y 2 + (x0 ) y + (x0 ). Como qx0 tem grau 3, vemos que qx0 (y) = p(x0 , y) = 0, para todo y R.
Mas se isto acontece, ento (x0 ) = (x0 ) = (x0 ) = (x0 ) = 0. Uma vez que x0 um ponto a e qualquer no intervalo (0, 1/2) e , , e so polinmios, segue-se que a o (x) = (x) = (x) = (x) = 0, para todo x R.
Conseqentemente, p(x, y) = 0 para todo (x, y) R2 , como quer u amos demonstrar.
Cap tulo 2 Alm de tringulos equilteros e e a a quadrados
No curso de atualizao docente oferecido pela PUC-Rio/CAPES/FAPERJ, no ano de ca 1999, os professores de ensino mdio participantes foram convidados a apresentar problemas e de geometria que considerassem dif ceis. Foram apresentados dois problemas sobre tringulos, a sendo o segundo um clssico da geometria escolar. So eles: a a
Problema 1. Seja ABC um tringulo issceles de ngulo principal A = 100 . Como a o a na gura 2.1, marque o ponto D na reta AB tal que AD = BC. Encontre o valor do a ngulo = B CD.
A 100
o
Figura 2.1: O problema 1.
29
Problema 2. Seja ABC um tringulo issceles, de ngulo principal A = 20 . a o a Considere os pontos P e Q nos lados AB e AC, respectivamente, tais que BCP = 50 e CBQ = 60 . Encontre o valor de = BQP .
A
20
Q P
60
50
Figura 2.2: Problema 2.
Note uma particularidade destes problemas: os angulos de 100 e 20 . Eles no costu a mam aparecer em problemas de geometria no ensino mdio. Neste cap e tulo, mostraremos como resolver estes dois problemas usando propriedades dos lados e diagonais do enegono e a octadecgono regulares (os pol a gonos regulares de 9 e 18 lados, respectivamente). Para um algebrista, natural acrescentar ao corpo R dos reais o elemento e2/9 , de maneira a obter o e corpo minimal K contendo os vrtices de um enegono regular centrado na origem e tendo e a um de seus vrtices sobre o nmero 1. Este corpo automaticamente contm todos os vrtices e u e e do octadecgono centrado na origem tendo 1 como um de seus vrtices, como uma gura a e comprova sem diculdades. Em outras palavras, o octadecgono quase inevitvel no estudo a e a do enegono. a O estudo dos pol gonos regulares contendo de 3 a 6 lados se faz essencialmente com expresses quadrticas. O enegono e o octadecgono j so mais sosticados: problemas assoo a a a a a ciados a eles naturalmente envolvem equaes polinomiais de grau 3. Um exemplo a cbica co e u que relaciona cos(20 ) com 1/2 = cos(60 ). Assim, tentativas ingnuas de resolver os dois e problemas acima por geometria anal tica recaem em diculdades algbricas desse tipo. Os e
A geometria do enegono e o problema 1 a
30
lemas explicitados abaixo so verses sintticas (visuais!) de propriedades das ra nonas a o e zes (e octadecgonas!) da unidade. a O estudo de pol gonos regulares que no sejam o tringulo equiltero (isto , o hexgono a a a e a regular) e o quadrado a problemas de geometria no to difundido, at porque os angulos a e a e apresentados nos textos didticos habituais do ensino mdio no costumam variar alm de a e a e 0 , 30 , 45 , 60 e 90 , os unicos angulos cujas funes trigonomtricas so memorizadas por co e a alunos. O exemplo seguinte de informao geomtrica associada a um pol ca e gono regular o estudo e da razo aurea, uma relao entre diagonais e lados do pentgono regular, a partir da qual, a ca a alis, poss construir uma tabela trigonomtrica de todos os angulos mltiplos inteiros a e vel e u de 3 (veja o apndice deste cap e tulo). Portanto, a diculdade dos professores de ensino mdio em resolver os dois problemas e acima pode ser atribu ao fato das conguraes geomtricas associadas estarem relacionada co e das a pol gonos menos familiares.
2.1
A geometria do enegono e o problema 1 a
Existe uma relao mtrica interessante entre as diagonais do enegono, especicada no ca e a lema abaixo. Com ela, resolveremos o problema 1 de forma bastante simples.
Lema 2.1 Dado um enegono regular, denote por 1 o comprimento da lado do a enegono, e por 2 e 4 os comprimentos das diagonais que subentendem, respeca tivamente, dois e quatro lados do enegono (gura 2.3 (a)). Ento a a 1 + 2 = 4.
Demonstraao: c Considere o octadecgono que circunscreve o enegono e os pontos A, B, C, D, E e F a a e a a e dispostos conforme a gura 2.3 (b). AB o dimetro do octadecgono e I o ponto de interseo entre AB e a diagonal CE. Por simetria, claro que a diagonal CE tambm ca e e passar por I. Observe que as diagonais CF , DE e CE tm comprimentos 1 , 2 e 4 , a e respectivamente. Sabemos que CIF = DIE = (80 + 40 )/2 = 60 e que, pela simetria da gura, CI = IF e DI = IE, donde podemos concluir que os tringulos CIF e DIE a so equilteros. Desta forma, CE = CF + DE, isto , 1 + 2 = 4 . a a e
A geometria do octadecgono e o problema 2 a
31
E F
C
2
(a) 1 + 2 = 4 .
(b) As diagonais do enegono regular. a
Figura 2.3: Uma relao mtrica entre o lado e as diagonais do enegono regular. ca e a Resoluo do problema 1. ca Como o tringulo ABC issceles de ngulo principal A = 100 , vemos que ele pode a e o a ser inscrito em um enegono regular (gura 2.4). a Sejam ento E o vrtice do enegono entre A e C tal que AEC = 140 e P um ponto a e a em BC tal que BP = BD. Observe que AB = AC = 2 e AD = BC = 4 . Sendo assim, pelo lema 2.1, temos que BP = BD = AD AB = 4 2 = 1 . Portanto, os tringulos DP B e ACE so issceles e congruentes, com DBP = AEC = a a o 140 e P D = AC = 2 . Mas, P C = BC P B = 4 1 = 2 = P D. Logo, o tringulo DCP issceles e, portanto, = 10 . a e o
2.2
No lema abaixo, indicamos a propriedade geomtrica das diagonais do octadecgono ree a gular que permite resolver o problema 2 de maneira simples.
32
A
100 o
14
E
0
o
B
14 0
o
Figura 2.4: O tringulo a
ABC inscrito em um enegono regular. a
Lema 2.2 O octadecgono regular tem quatro diagonais no diametrais que se intera a ceptam em um unico ponto sobre um dimetro. a
Demonstrao: ca Considere no plano complexo o octadecgono regular de vrtices 1, w, w2 , . . ., w17 e a e w18 = 1, conforme a gura 2.5.
w4 w
6
w2 w w 9 = 1 I 1=w
18
w w w 12
14 16
17
Figura 2.5: Algumas diagonais do octadecgono regular. a
33
Vamos mostrar primeiro que as diagonais que unem w a w12 , w2 a w14 , w4 a w16 e w6 a w17 se interceptam em um unico ponto I. Para isto, suciente mostrar que as retas que e 12 2 14 unem w a w e w a w se interceptam em um unico ponto. Em termos das parametrizaes co t w + t (w12 w), t R, s w2 + s (w14 w2 ), s R,
destas duas retas, isto o mesmo que mostrar que existem unicos s e t tais que e w + t (w12 w) = w2 + s (w14 w2 ). Conjugando os dois lados desta equao e observando que w1 = w17 , w12 = w6 , w2 = w16 , ca w14 = w4 , devemos ento mostrar que o sistema linear a (w12 w) t + (w2 w14 ) s = w2 w, (w6 w17 ) t + (w16 w4 ) s = w16 w17 , possui uma unica soluo. Mas isto segue do fato que ca (w12 w)(w16 w4 ) (w2 w14 )(w6 w17 ) = w2 + w4 + w5 + w7 = 0, co onde usamos que w9 = 1 e w18 = +1 para fazer as simplicaes. Resta mostrar que o ponto I tambm pertence ao dimetro que une 1 a +1 sobre o eixo real. Pela regra de e a Cramer, w2 + w7 s= 2 w + w4 + w5 + w7 e, portanto, I = w2 + s (w14 w2 ) = w3 + w6 w15 + w12 = 16 = I. w2 + w4 + w5 + w7 w + w14 + w13 + w11 (2.1)
Sendo assim, I um nmero real e, portanto, ele pertence ao dimetro que une 1 a +1. e u a
Resoluo do problema 2. ca Considere o tringulo inicial ABC inscrito em um octadecgono regular e os vrtices D, a a e E, F , G, H, X e Y , conforme a gura 2.6. Observe que QBA = 20 = QAB e, portanto, o tringulo ABQ issceles com AQ = a e o BQ. Pelo lema 2.2, as diagonais EB, F C, GD e HA se encontram no ponto I no dimetro XY a
34
A E 20 F
o
Y I Q G P X
60
50
Figura 2.6: O tringulo a
ABC inscrito no octadecgono. a
e, como AH//DB e AC//EB, temos que o quadriltero AQBI um losango e os tringulos a e a AIP e AQP so congruentes. Assim, P BI = QBP = 20 , o que implica que = a BIC = 30 . Tripp forneceu uma soluo mais direta deste problema [123], fazendo uso de uma consca truo auxiliar que no evidente: a partir da gura 2.2, trace o segmento BT , onde T o ca a e e a ponto no lado AC tal que T BC = 20 (gura 2.7 (a)). Com isto, os tringulos P BC, BT C e QT B so issceles. Assim, o tringulo BP T equiltero e, portanto, P T Q a o a e a e issceles. Mas, P T Q = 40 , o que implica em + 40 = 70 ou = 30 . o Na geometria do octadecgono, o segmento auxiliar de Tripp tem uma explicao: ele o a ca e a segmento BE que pertence ` diagonal BZ (gura 2.7(b)). Tripp tambm generalizou o problema 2 da seguinte forma: com referncia ao tringulo e e a da gura 2.8, quais triplas (a, b, c) de ngulos inteiros (em graus) existem tais que tambm a e seja um angulo inteiro? Os angulos que satisfazem esta condio so chamados ngulos ad ca a a vent cios [76, 123, 102, 103, 107]. Entre o total de 113.564 triplas poss veis, apenas 53 se revelaram candidatas, aps inspeo numrica. De fato, demonstraes caso a caso comproo ca e co varam que todas as 53 triplas so advent a cias: elas esto apresentadas na tabela 2.1 [123, 103]. a Cada tringulo advent est relacionado com um pol a cio a gono regular apropriado (cujo nmero u de lados indicado por n na tabela 2.1): maiores detalhes podem ser encontrados em [107]. e
35
D
20
o
20 F
Z
T
40
o
T
40
o
20
50
20
50
(a) A construo auxiliar de Tripp. ca
(b) A construo de Tripp e o 18-gono. ca a
Figura 2.7: A soluo de Tripp do problema 2. ca
Q P
Figura 2.8: O problema advent cio.
36
a 4 8 12 12 12 12 12 12 16 20 20 20 20 24 28 32 36 40 44 48 52 56 72 72 72 72 120
b 46 47 42 48 57 66 69 72 49 50 60 65 70 51 52 53 54 55 56 57 58 59 39 42 48 51 24
c 4 8 18 12 33 42 21 42 16 20 30 25 50 24 28 32 36 35 34 33 32 31 21 24 24 39 12
2 4 12 6 15 12 3 6 8 10 10 5 10 12 14 16 18 15 12 9 6 3 12 12 6 9 6
n 90 180 30 30 60 90 60 30 180 18 18 36 18 60 90 180 10 36 90 60 90 180 60 30 30 60 30
a 4 8 12 12 12 12 12 12 16 20 20 20 20 24 28 32 40 44 48 52 56 72 72 72 72 120
b 46 47 42 48 57 66 69 72 49 50 60 65 70 51 52 53 55 56 57 58 59 39 42 48 51 24
c 44 43 30 42 42 54 66 66 41 40 50 60 60 39 38 37 40 44 48 52 56 27 30 42 42 18
42 39 24 36 24 24 48 30 33 30 30 40 20 27 24 21 20 22 24 26 28 18 18 24 12 12
n 90 180 30 30 60 30 60 30 180 18 18 36 18 60 90 180 36 90 60 90 180 60 30 30 60 30
Tabela 2.1: As triplas advent cias.
Apndice: a tabela trigonomtrica de 3 em 3 e e
37
Para encerrar esta seo, convidamos o leitor a calcular o valor de x em funo dos angulos ca ca reais a, b e c, com a + b + c = 90 , em cada uma das conguraes abaixo. co
c|a
b |c
a+c c c a+b
a c 2b
2a
(a) Congurao 1. ca
(b) Congurao 2. ca Figura 2.9: Dois problemas propostos.
2.3
Usando as relaes mtricas entre os lados e as diagonais do quadrado e do tringulo co e a equiltero podemos construir a tabela trigonomtrica com os angulos de 30 , 45 , 60 e 90 a e que aparecem nos textos de matemtica do ensino mdio. a e Por outro lado, estudando a relao entre os lados e as diagonais de apenas mais um ca pol gono, o pentgono, podemos construir uma tabela trigonomtrica com todos os angulos a e mltiplos inteiros de 3 . Com ele, podemos calcular o cosseno de 18 e, a partir da aplicar u , as identidades trigonomtricas do cosseno da diferena dos angulos de 18 e 15 para calcular e c cos(3 ) = cos(18 15 ) = cos(18 ) cos(15 ) + sen(18 ) sen(15 ), lembrando, que o cosseno de 15 , por sua vez, pode ser obtido por
38
cos(45 30 ) = cos(45 ) cos(30 ) + sen(45 ) sen(30 ). Considere ento a gura 2.10, onde o pentgono regular ABCDE tem lado 1 e P o a a e ponto de interseo das diagonais AD e BE. ca
D 1
18
o
1| (2
1
)
C d
P 1 1| 1
A 1
Figura 2.10: O pentgono regular e o angulo de 18 . a
O tringulo a
P DE issceles, com DE = DP = 1. Escrevendo AP = 1/, temos que e o d=1+ 1 AP E issceles e, e o
o comprimento da diagonal do pentgono. Observe que o tringulo e a a portanto, EP = Como os tringulos a ABD e 1 e sen 18 = 1/(2) . 1
P DE so semelhantes, temos que a 1 d = . 1/ 1
Usando que d = 1 + 1/, chegamos a equao quadrtica 2 1 = 0, donde ` ca a
Apndice: a tabela trigonomtrica de 3 em 3 e e 1+ 5 . = 2 Desta forma, temos que 51 4 10 + 2 5 . 4
39
1 sen(18 ) = = 2
cos(18 ) =
a ngulo 3
20 + 4
seno 5+ 1+ 3
10 2
1+
20 + 4
cosseno 5 1 3 16 51
10 2
5+1
3 51
16
16
10 + 2 5
3 5+1

+ +
16 16
10 + 2
2 5+1 8
51 2
16
10 + 2 5
5+1 2 8
2 51
10 + 2
12
10 + 2
5 8
3 51
10 + 2
5+ 51
15
2 31 4 51
2 3+1

16 1 5 32 10 + 2 5
4 10 + 2 5
18 2 1 3
21
1+ 5
2 1+ 3
10 + 2
2 1+ 3
1+ 5
+ +
2 1 3
10+2 5
16
24
3 1+ 5 8 2
16
1+ 5 8
3 1+ 5
32 10+2 5
16
27
10 + 2 5 5 + 1 8 1
10 + 2
5+ 51
8 3
30 2 31
2 10 + 2
33
5+ 2 3+1
51
2 3+1
10+2 5 2 31 16
51
36 2 3+1
51
16
10 + 2
5+1
39
5+1
2 31
51 32
10 + 2
31
5+1
2 3+1
51
10+2 5
16 3
16
42
10 + 2
5 5+1
10+2 5+ 3 51
32
8 2 2
45
Tabela 2.2: A tabela trigonomtrica de 3 em 3 . e
40
Outro resultado igualmente interessante e fcil de se obter a frmula do seno e cosseno a e o dos sucessivos arcos metades de 45 , 15 e 18 . De fato: da identidade trigonomtrica e cos2 () = segue-se que cos 2 = 2 + 2 cos() = 2 8 + 8 cos() , 4 1 + cos(2 ) , 2
o e a para valores de entre 0 e 90 . A partir desta frmula, fcil concluir que 45 cos 2n 15 cos 2n 18 cos 2n
= = 2+ 2+
2 + + 2 2 + + 2
2 3
2+ 2+
, ,
(n + 1 ra quadradas) zes (n + 2 ra quadradas) zes
8 + 2 8 + 2 8 + + 2 10 + 2 5 4
(n + 2 ra quadradas) zes
e, conseqentemente, u 45 sen 2n 15 sen 2n sen 18 2n
= =
2 2
2+
2 + + 2 2 + + 2
2 3
2+
, ,
(n + 1 ra quadradas) zes (n + 2 ra quadradas) zes
8 2 8 + 2 8 + + 2 10 + 2 5 . 4
(n + 2 ra quadradas) zes
Cap tulo 3 Automatizao em geometria ca

Em 8 de agosto de 1900, por ocasio do Segundo Congresso Internacional de Matemtica, a a realizado em Paris, David Hilbert apresentou 23 problemas em aberto com o intuito de apontar temas promissores para a investigao em matemtica no sculo XX. Em um dos problemas, ca a e Hilbert perguntou se a teoria dos nmeros era completa, no sentido que sempre poss u e vel determinar atravs de uma demonstrao se uma sentena lgica em aritmtica verdadeira ou e ca c o e e falsa. Em uma teoria incompleta, uma armao sem contra-exemplos no necessariamente ca a e demonstrvel a partir dos axiomas. a Kurt Gdel, em 1931, forneceu uma resposta negativa [56, 57]: existem verdades na o aritmtica que ela prpria desconhece, pior, no pode conhecer. Mais precisamente, um e o a sistema de axiomas para a aritmtica no consegue nem demonstrar nem negar determinae a das armaes sobre os nmeros, ainda que essas armaes sejam sintaticamente corretas co u co e desprovidas de contra-exemplos. Este resultado conhecido como o Primeiro Teorema de e Incompletude de Gdel. Uma vez que a aritmtica incompleta, tudo que a ela se reduza ser o e e a incompleto. Por outro lado, Alfred Tarski, em 1951, demonstrou que a teoria de lgebra elementar dos a nmeros reais e, portanto, tambm a teoria de geometria elementar completa [118]. Na u e e verdade, Tarski demonstrou que estas teorias so decid a veis, isto , existe um algoritmo que e em um nmero nito de passos consegue determinar se cada uma das sentenas da teoria u c e verdadeira ou falsa. O fato da geometria elementar poder ser automatizada (mecanizada) apontado como uma e das razes para a perda de interesse em pesquisa na area de geometria [40, 131]. Essa perda de o interesse j era notada nos tempos da criao da geometria anal a ca tica. Hoje, este cenrio est a a mudando o uso do computador fez novos problemas e novos resultados surgirem. Muitas aplicaes computacionais possuem uma forte componente geomtrica [24, 131]: geometria co e
Euclides e a demonstrao sinttica ca e
42
discreta, modelagem geomtrica, computer aided design, constrained cad, robtica, visuae o lizao em medicina, animao por computador, programao linear e no-linear, qu ca ca ca a mica computacional, f sica dos materiais, geographic information systems e anlise de estabilidade. a O desempenho do algoritmo agora um fator cr e tico. O algoritmo de deciso de Tarski, por a exemplo, extremamente demorado. Aprimoramentos subseqentes melhoraram de muito seu e u desempenho, mas ainda assim, praticamente no existe (e parece que nem pode existir) um a programa de demonstrao em geometria completo e rpido (o algoritmo do tipo Tarski mais ca a rpido que se conhece atualmente a decomposio algbrica cilndrica, cuja complexidade a e ca e en computacional da ordem de e , onde n o tamanho dos dados de entrada [11]). e e Neste cap tulo, estudaremos alguns aspectos da teoria de automatizao em geometria. Em ca particular, veremos que uma das etapas do processo a converso do problema de geometria e a para uma linguagem algbrica, consistindo tipicamente de igualdades e desigualdades entre e polinmios com coecientes inteiros em vrias variveis reais. o a a O cenrio algbrico fornece critrios concretos para se medir a complexidade (o grau de a e e diculdade) dos problemas de geometria. Por exemplo, usando o programa de computador Geometry Expert [27, 30, 29, 31], Chou demonstrou automaticamente cerca de 366 problemas extra dos de um livro t pico de geometria do ensino mdio [2]. A estat e stica foi a seguinte: 219 deles so lineares e os demais so quadrticos, no sentido que os polinmios em vrias a a a o a variveis obtidos na converso do contexto geomtrico para o contexto algbrico so tais que, a a e e a considerando-se uma varivel de cada vez, apenas polinmios de grau no mximo igual a 1 a o a e 2 aparecem, respectivamente. Um problema de geometria de grau 3 (que no estudado a e no ensino mdio) o teorema de Morley: os pontos de interseo das trissetrizes adjacentes e e ca dos angulos de um tringulo qualquer formam sempre um tringulo equiltero. A tcnica a a a e de Chou, alis, converte a proposio 3 do cap a ca tulo 1 em um problema de grau 2 no sentido acima. Com este levantamento, Chou tambm props uma classicao do n de diculdade e o ca vel dos teoremas de geometria em termos dos vrios tipos de construes geomtricas envolvia co e das ([30], pgina 443): colinearidade, paralelismo, proporcionalidade, perpendicularidade, a c rculo, angulo, em ordem crescente de diculdade.
3.1
A demonstrao de teoremas surgiu na Grcia antiga com Euclides, por volta de 300 a.C., ca e com sua obra Os Elementos. O estilo de demonstrao sinttico (isto , sem o uso de ca e e e nmeros ou de exemplos espec u cos) e o primeiro que aprendemos no colgio. e e Do ponto de vista axiomtico, Os Elementos possui muitas falhas. Por exemplo, na pria meira proposio do Livro I, Euclides ensina como construir um tringulo equiltero sobre ca a a
43
um dado segmento AB (gura 3.1): Com centro em A e raio AB construa o crculo BCD. Com centro em B e raio BA, construa o crculo ACE. Seja C um dos pontos de interseo entre os ca dois c rculos. O tringulo ABC equiltero. a e a
Figura 3.1: A construo de um tringulo equiltero. ca a a
O erro nesta construo que os axiomas de Euclides no garantem a existncia do ponto C. ca e a e De fato, se considerarmos Q Q como modelo para a geometria euclidiana (e, de fato, a restrio da geometria habitual a Q Q satisfaz a todos os axiomas propostos por Euclides), ca no poss construir o ponto C para o segmento com extremidades A = (0, 0) e B = (1, 0) a e vel usando as instrues dadas na proposio. Os axiomas de Euclides no garantem completude co ca a do conjunto de pontos para o conceito habitual de distncia! Uma axiomatizao da geometria a ca sem erros desta natureza foi conseguida apenas no nal do sculo XIX, com a obra Grundlagen e der Geometrie de David Hilbert. Destacamos as seguintes caracter sticas da demonstrao sinttica de Euclides: ca e (E1) A demonstrao conduzida em um estilo dedutivo baseado no sistema axiomtico e ca e a apresentado na forma deniao, axioma, teorema, demonstrao. c ca (E2) A prova de cada teorema exige uma abordagem particular. Um dos principais defeitos neste estilo de demonstrao o pouco cuidado que se tem ao ca e tratar noes geomtricas tais como as duas regies que uma reta separa e o interior de um co e o
44
a ngulo. Sem o devido esclarecimento destas idias, conseqncias absurdas podem aparecer. e ue Vamos ver dois exemplos, tirados de [1] e [28]. Exemplo 3.1 (Um teorema falso) Todo tringulo issceles. a e o Uma demonstrao (errada): ca No tringulo ABC da gura 3.2, seja O o ponto de interseo da mediatriz F O do a ca lado AB com a bissetriz CO do angulo ACB.
C
E O
Figura 3.2: Todo tringulo issceles (um teorema falso). a e o
Construa os segmentos OE perpendicular ao lado AC e DO perpendicular ao lado BC, respectivamente. Os tringulos retngulos CEO e CDO so congruentes e, portanto, a a a EO = DO e EC = DC. Como AO = BO, o tringulo retngulo AEO ento congruente a a e a ao tringulo retngulo BDO e, assim, AE = BD. Conseqentemente, AC = AE + EC = a a u BD + DC = BC e o tringulo ABC issceles. a e o Qual o erro nesta demonstrao? Ao contrrio ao que a gura 3.2 sugere, a interseo O e ca a ca da mediatriz F O com a bissetriz CO nunca est no interior do tringulo ABC! a a Exemplo 3.2 Seja ABCD um paralelogramo (isto , AB CD e BC e interseo das diagonais AC e BD, ento AE = CE (gura 3.3). ca a AD). Se E a e
Na demonstrao tradicional deste teorema, prova-se primeiro que os tringulos ACB e ca a CAD so congruentes (de modo que AB = CD) e, em seguida, prova-se que os tringulos a a AEB e CED, por sua vez, tambm so congruentes (para concluir que AE = CE). A e a m de estabelecer a congruncia destes tringulos, preciso usar que CAB = ACD. Isto e a e decorre facilmente do fato que CAB e ACD so os dois angulos alternos com relao aos a ca segmentos paralelos AB e CD. Por outro lado, algo que no evidente, de dif demonstrao a e cil ca e que est sendo usado implicitamente, o fato de que os pontos D e B esto em lados opostos a e a da reta AC.
Descartes e a demonstrao anal ca tica
45
Figura 3.3: As duas diagonais de qualquer paralelogramo sempre se interceptam em seus pontos mdios. e
Chou [30] menciona outro grave defeito potencial do estilo sinttico: a ausncia de condies e e co de no-degenerescncia. Cada teorema em geometria vlido sob certas condies auxiliares a e e a co que freqentemente no esto explicitadas no enunciado do teorema. No caso do teorema no u a a exemplo 3.2 acima, necessrio supor que A, B e C so no colineares. Sem as condies de e a a a co no-degenerescncia, as demonstraes tradicionais de geometria tornam-se imprecisas e, por a e co este motivo, ca muito dif reproduzi-las em um programa de computador que obtm provas cil e em geometria automaticamente. Apesar de alguns esforos neste sentido [54, 95, 95, 32, 72], c nenhum programa de computador baseado em demonstrao sinttica conseguiu provar teoca e remas no triviais em geometria de maneira eciente. a
3.2
Com o clssico La Gomtrie em 1637 [42], Ren Descartes criou um novo estilo de dea e e e monstrao em geometria. Neste texto, ele explica como converter, atravs de um sistema ca e de coordenadas conveniente, construes geomtricas em operaes algbricas do tipo a + b, co e co e a b, a b, a/b e a2 + b2 , onde a e b representam tamanhos de segmentos. Com este mtodo, e Descartes conseguiu reduzir geometria ` algebra convencional e conseqentemente substituir a u dedues lgicas sintticas por manipulaes algbricas (o que conhecido nos dias de hoje co o e co e e por geometria analtica). No prximo exemplo, demonstramos um teorema de Gauss usando geometria anal o tica. Exemplo 3.3 (O teorema de Gauss-Bodenmiller) Um quadriltero completo uma a e congurao geomtrica consistindo de 4 retas, onde cada reta intercepta a outra em um unico ca e ponto e no existem triplas de retas concorrentes. Em uma tal congurao, h somente 6 a ca a pontos de interseo. Um segmento onde cada extremidade um destes seis pontos e que ca e no est contido nas 4 retas iniciais, denominado uma diagonal do quadriltero completo. a a e a fcil de ver que qualquer quadriltero completo possui sempre trs diagonais. E a a e
46
Na gura 3.4, temos um exemplo de um quadriltero completo formado pelas retas AE, a AF , BF e EF , onde os seis pontos de interseo so A, B, C, D, E e F e as diagonais so ca a a os segmentos AC, BD e EF .
B I
H C G A D F
Figura 3.4: O teorema de Gauss-Bodenmiller. O teorema de Gauss-Bodenmiller arma que os pontos mdios das trs diagonais de quale e quer quadriltero completo so sempre colineares. A demonstrao por geometria anal a a ca tica foi a encontrada por Gauss, e substancialmente mais simples do que a demonstrao e ca sinttica [15]. O leitor est convidado a demonstrar o resultado usando as tcnicas do cae a e p tulo 1: o teorema equivalente a demonstrar que um polinmio p(s, t) em duas variveis e o a reais identicamente nulo o polinmio alis de grau dois em cada varivel. e o a e a Destacamos as seguintes caracter sticas da demonstrao anal ca tica: (D1) Ao contrrio da demonstrao sinttica de Euclides, a demonstrao agora conduzida a ca e ca e por meio de clculos algbricos. a e
Hilbert e o mtodo universal e
47
(D2) Ainda assim, cada demonstrao exige tratamento individualizado. De fato: para ca cada teorema, devemos procurar uma maneira espec ca de manipular as expresses o algbricas obtidas a partir da hiptese, para chegar em uma expresso algbrica que e o a e permita concluir a tese.
3.3
Uma outra mudana signicativa na maneira de se demonstrar teoremas em geometria c ocorreu com o clssico Grundlagen der Geometrie de David Hilbert em 1899 (a referncia [63] a e uma traduo para o ingls do original em alemo [62]). e ca e a Nesta obra, alm de fornecer um tratamento axiomtico mais rigoroso da geometria euclidie a ana, Hilbert estabeleceu uma ponte entre o mtodo dedutivo de Euclides e o mtodo anal e e tico (computacional) de Descartes. De fato, Hilbert mostrou como introduzir um sistema de coordenadas cartesiano a partir do sistema axiomtico da geometria euclidiana usando um sistema a numrico (isto , um corpo) adequado: e e Sistema Axiomatico Sistema Numerico Sistema de Coordenadas. O sistema numrico a que Hilbert se refere constru usando a mesma idia de Descartes, e e do e isto , atravs de operaes algbricas sobre os tamanhos de segmentos. Mas, desta vez, estas e e co e operaes algbricas so usadas para criar um modelo direto dos axiomas (de Hilbert) para a co e a geometria ([63], pginas 2959). a Em contraste com as demonstraes sinttica e anal co e tica de Euclides e Descartes, onde cada teorema possui uma prova que lhe peculiar, Hilbert construiu um mtodo universal de e e demonstrao para uma classe espec ca ca de teoremas: os assim denominados teoremas com pontos de interseo puros. Um teorema com pontos de interseo puros tem as seguintes ca ca caracter sticas ([63], pgina 97): a 1. Os unicos objetos geomtricos que aparecem no enunciado do teorema so pontos e retas e a (em quantidade nita). 2. As unicas operaes geomtricas permitidas so traar uma reta por pontos, marcar a co e a c interseo entre duas retas e traar uma reta paralela a outra por um dado ponto. ca c ` 3. Todos os pontos e retas envolvidos na formulao da hiptese do teorema podem ser deca o nidos ou constru dos um a um, em uma ordem espec ca (isto , o teorema do tipo e e construtivo).
48
4. A tese uma propriedade sobre concorrncia ou paralelismo entre retas. e e Hilbert mostrou ento que a classe de teoremas com pontos de interseo puros mecaa ca e nizvel, isto , existe um mtodo de deciso que permite concluir se cada teorema deste classe a e e a verdadeiro ou falso. Na pgina 97 de [63] Hilbert descreve este mtodo universal que, em e a e linguagem mais algor tmica, descrito nos vrios passos abaixo [135]. e a Passo 1. Escolha um sistema de coordenadas, dado por dois eixos regrados que se encontram em uma origem. Passo 2. Dena pontos e retas, um a um, em uma ordem espec ca. a Passo 3. Dena variveis independentes u1 , u2 , . . . , ur e variveis dependentes x1 , x2 , . . . , xs , a em uma ordem espec ca, de forma que a hiptese do teorema em questo seja o a convertida em relaes algbricas da forma co e x1 = x2 = . . . xs = Ps (u, x1 , . . . , xs1 ) , Qs (u, x1 , . . . , xs1 ) P1 (u) , Q1 (u) P2 (u, x1 ) , Q2 (u, x1 )
(3.1)
onde todos os Pi e Qk so polinmios em u = (u1 , u2 , . . . , ur ) e nas variveis depena o a dentes x1 , . . . , xi1 denidas anteriormente. Converta tambm a tese do teorema e em questo para uma relao algbrica da forma a ca e R(u, x1 , . . . , xs ) = 0, onde R uma funo racional. e ca Passo 4. Elimine as variveis xs , xs1 , . . . , x2 , x1 a partir da relao (3.2) usando, para isto, a ca as relaes do sistema (3.1): co R(u, x1 , . . . , xs ) = 0 R1 (u, x1 , . . . , xs1 ) = 0 Rs1 (u, x1 ) = 0 Rs (u) = 0. Passo 5. Se Rs (u) = 0, ento o teorema em questo verdadeiro sob as condies (de a a e co (3.2)
49
no-degenerescncia): a e Qi (u, x1 , . . . , xi1 ) = 0, (3.3)
para cada i = 1, . . . , s. Caso contrrio, o teorema em questo falso, pelo menos a a e sob as condies (3.3). co Exemplo 3.4 (Forma especial do teorema de Desargues) Sejam ABC e A B C dois tringulos no plano euclidiano. Se as retas AA , BB e CC so concorrentes em um a a ponto O e as retas AB e AC so paralelas as retas A B e A C , respectivamente, ento a reta a ` a BC paralela a reta B C . e `
y B0
B C0 C A0
Figura 3.5: Uma forma especial do teorema de Desargues. Vamos demonstrar o teorema seguindo os passos do mtodo universal de Hilbert. e Passo 1. Considere o ponto O como a origem (0, 0) e dois eixos quaisquer x e y passando por O. Isto estabelece nosso sistema de coordenadas (gura 3.5). Passo 2. Escolha agora, nesta ordem, pontos arbitrrios A = (u1 , 0) e A = (u2 , 0) no eixo x, a B = (0, u3 ) no eixo y e C = (u4 , u5 ) no plano. Passo 3. Construa a reta AB e, por A , construa a reta paralela a AB que intercepta o eixo y no ponto B = (0, x1 ). Assim, x 1 u 1 = u2 u 3 . (3.4)
50
Construa as retas AC e OC e, por A , construa a reta paralela a AC que encontra OC no ponto C = (x2 , x3 ). e Convertendo os fatos geomtricos que CC passa por O e AC paralela a A C e para o contexto algbrico obtemos, respectivamente, as seguintes equaes e co u4 x3 u5 x2 = 0, (u4 u1 ) x3 u5 (x2 u2 ) = 0. Supondo que u1 = 0, u4 = 0, u5 = 0, (3.7) (3.5) (3.6)
vemos que o sistema denido pelas equaes (3.4), (3.5) e (3.6) equivalente a co e u2 u3 , u1 u 2 u4 u5 , u1 u5 u5 x 2 . u4
x1 =
x2 =
x3 =
(3.8)
Desta maneira, as condies (3.7) e (3.8) formam a hiptese do teorema. Para co o escrever a tese, observe que BC ser paralela a B C corresponde a u4 (x3 x1 ) (u5 u3 ) x2 = 0. Passo 4. Temos
3 u4 (x3 x1 ) (u5 u3 ) x2 = 0 u4
(3.9)
u5 x 2 x1 x2 (u5 u3 ) = 0 u4 u2 u 3 u 4 u 5 =0 u 1 u5
u4 x1 + u3 x2 = 0
2 u4 x1 +
1 u4
u 2 u 3 u 2 u3 u4 u 5 + = 0. u1 u 1 u5
Passo 5. Uma vez que u4 u 2 u 3 u 2 u3 u4 u5 + u1 u 1 u5
, de fato, igual a 0 para todo (u1 , u2 , u3 , u4 , u5 ) satisfazendo as condies (3.7), e co conclu mos que, sob estas condies, o teorema verdadeiro. co e Vamos examinar as condies de no-degenerescncia (3.7) com mais cuidado. O caso u1 = 0 co a e far com que A coincida com O e, neste caso, o teorema perder o seu signicado geomtrico, a a e
51
pois no ser poss construir uma congurao geomtrica que atenda a hiptese do teoa a vel ca e o rema. A condio u4 = 0 far com que os pontos C e C estejam no eixo y. Observe que, mesmo ca a neste caso degenerado, o teorema verdadeiro (gura 3.6). e
y C0
B0 C B
A0
Figura 3.6: Um caso degenerado onde a forma especial do teorema de Desargues verdadeira. e a A condio u5 = 0 far com que os pontos C e C estejam agora no eixo x. Mas, desta ca vez, para quase toda escolha do ponto C no eixo x, o teorema falso (gura 3.7)! e
y B0
C0
A0
Figura 3.7: Um caso degenerado onde a forma especial do teorema de Desargues falsa. e Desta maneira, as condies de no degenerescncia (3.7) so indispensveis para que o co a e a a
Tarski e a eliminao de quanticadores ca
52
teorema tenha algum signicado geomtrico ou para que o teorema seja verdadeiro. e Para a classe teoremas com pontos de interseo puros, destacamos as seguintes caracca ter sticas do mtodo universal de Hilbert: e (H1) Como no caso da demonstrao anal ca tica de Descartes, a demonstrao conduzida por ca e meio de clculos algbricos. a e (H2) Em contraste com as demonstraes sinttica e anal co e tica de Euclides e Descartes, todos os teoremas so demonstrados da mesma maneira por um unico mtodo. a e
3.4
A classe de teoremas em geometria para os quais o mtodo universal de Hilbert pode ser e aplicado muito restrita. e Em maio de 1951, Alfred Tarski publicou em A Decision Method for Elementary Algebra and Geometry [118] um mtodo de deciso para uma classe muito mais ampla de teoremas em e a geometria. No nossa inteno fazer uma descrio de toda a teoria envolvida na formulao a e ca ca ca do mtodo, algo fora das pretenses desta dissertao (o leitor interessado pode consultar e o ca tambm as referncias [121, 59]). Em vez disso, consideraremos trs tpicos espec e e e o cos: a classe de teoremas para os quais o mtodo pode ser aplicado, o processo de eliminao de e ca quanticadores (que a idia fundamental do mtodo) e, nalmente, questes de desempenho e e e o computacional (isto , complexidade) do algoritmo. e
A Geometria Elementar de Tarski O mtodo de deciso de Tarski vale para as teorias de lgebra e geometria elementar. O e a a adjetivo elementar usado para indicar uma teoria que pode ser formulada ou estabelecida e sem o uso de ferramentas da teoria de conjuntos, isto , toda a linguagem da teoria versa e apenas sobre os objetos da teoria e no sobre conjuntos formados por estes objetos. Em a lgica, uma teoria com estas caracter o sticas denominada de primeira ordem [9]. e Podemos ento caracterizar a lgebra elementar de Tarski como a parte da teoria geral a a dos nmeros reais com as seguintes restries de linguagem: u co Todas as variveis representam exclusivamente nmeros reais. a u As unicas constantes so 1, 0 e +1. a
53
As operaes algbricas restringem-se ` adio (+), subtrao () e multiplicao (). co e a ca ca ca Os operadores relacionais so os de desigualdade (< e >) e o de igualdade (=). a E permitido ainda usar as operaes lgicas de conjuno (), disjuno () e negao () e co o ca ca ca os quanticadores universal () e existencial (). Sendo assim, 0 > 1 + 1; a, b, c, d R, [(a < 0 a > 0) (x R | a x x x + b x x + c x + d = 0)]; x R, [(0 < x x < 1) (x x x x < x x)]; so exemplos de sentenas em lgebra elementar (a primeira falsa e as demais so verdadeia c a e a ras). Normalmente, estas sentenas so escritas como c a 0 > 2; a, b, c, d R, [a = 0 (x R | ax3 + bx2 + cx + d = 0)]; x (0, 1), x4 < x2 . Por outro lado, no permitido usar variveis que representem seqncias, subconjuntos ou a e a ue funes arbitrrias de nmeros reais. Por exemplo, enquanto as sentenas co a u c Todo polinmio de grau 3 possui pelo menos uma raiz real. o Todo polinmio de grau 5 possui pelo menos uma raiz real. o Todo polinmio de grau 7 possui pelo menos uma raiz real. o podem ser facilmente convertidas para a linguagem de algebra elementar, a sentena c Todo polinmio de grau mpar possui pelo menos uma raiz real. o no pode pois, para formul-la, necessrio usar um quanticador no subconjunto dos a a e a nmeros u mpares para descrever o grau do polinmio, o que no permitido. o a e Grabiner [59] observa que todos os axiomas algbricos da teoria dos nmeros reais podem e u ser formulados dentro da teoria de algebra elementar, com exceo do axioma da completude. ca Para substituir completude, Tarski usa o teorema do valor intermedirio para polinmios. Os a o detalhes podem ser encontrados em [59, pp. 23] ou [120, pp. 311312].
54
Com relao a geometria elementar, podemos caracteriz-la como a parte da geometria euca ` a clidiana que pode ser traduzida para a linguagem de algebra elementar xando-se um sistema de coordenadas. Um erro freqente confundir a geometria elementar de Tarski com a geometria que u e se aprende no colgio [119]. Teoremas de geometria que explicitamente ou implicitamente e usam nmeros naturais no podem ser convertidos para a linguagem de primeira ordem. u a A generalizao de Barlotti (seo 1.3 do cap ca ca tulo 1) e os porismos de Steiner e Poncelet (considerados no prximo cap o tulo) se enquadram nesta categoria. O teorema que arma que no poss fazer a trisseo de um angulo com rgua e compasso outro exemplo (mais a e vel ca e e sutil) de um resultado fora do escopo da geometria elementar de Tarski.
A Eliminao de Quanticadores ca O mtodo de deciso apresentado por Tarski depende do teorema de Sturm, que um e a e algoritmo para resolver se sentenas como as abaixo so verdadeiras ou falsas: c a
O polinmio p possui exatamente k razes no intervalo I. o
onde, evidentemente, p, k e I so especicados a priori. Estas sentenas formam um subcona c junto de sentenas da teoria de algebra elementar. c Em linhas gerais, Tarski primeiro estende o teorema de Sturm para uma classe maior de frmulas e, depois, mostra como reduzir qualquer frmula com uma varivel quanticada para o o a uma frmula equivalente, sem a varivel, dentro desta classe. Aplicando-se recursivamente o a este processo, o mtodo obtm uma frmula sem variveis quanticadas que equivalente a e e o a e frmula original. Por exemplo, para a frmula o o x R | x2 + b x + c = 0, o mtodo de Tarski elimina a varivel quanticada x e apresenta como resposta a frmula e a o equivalente b2 4 c 0. Caso a frmula seja uma sentena (isto , uma frmula onde todas as variveis esto quano c e o a a ticadas), o mtodo elimina todas as variveis e obtm como sentena equivalente a frmula e a e c o 0 = 0, de onde se pode concluir que a sentena original verdadeira, ou 0 = 1, de onde se c e pode concluir que a sentena original falsa. c e
55
A idia de eliminao de quanticadores permeia vrios problemas de matemtica. Como e ca a a um exemplo trivial, considere eliminao gaussiana agindo no sistema ca x + y = 3, x y = 1. (3.10)
Para resolv-lo, podemos somar as duas equaes e obter uma terceira equao onde apenas e co ca a varivel x aparece: a 2 x = 4. (3.11) Para explicitar a eliminao de quanticadores, vamos reescrever o sistema (3.10) em linguaca gem de lgica: o y R | x + y = 3 x y = 3. Quando aplicamos o mtodo de eliminao gaussiana, a varivel quanticada y eliminada e ca a e e conseguimos uma frmula equivalente em termos da varivel x apenas. Neste contexto, o a podemos considerar o mtodo de eliminao gaussiana como um mtodo de deciso para a e ca e a classe de frmulas em algebra elementar que envolvem conjunes de equaes lineares com o co co quanticadores existenciais.
Um exemplo menos trivial aparece no estudo de estabilidade de uma certa equao difeca rencial parcial [68]: c > 0 [ s, t R, (0 s 1 0 t 1) (2 stc3 +3 stc2 +s c2 2 sc+tc2 2 tc+1 0)]. Eliminando-se as variveis quanticadas s e t, uma frmula equivalente e muito mais simples a o (obtida com o programa QEPCAD [101]) aparece: (0 < c 1/2) c = 1.
Exemplos como esse devem convencer ao leitor dos mritos de algoritmos de computao e ca simblica. o
Outras aplicaes da teoria de eliminao de quanticadores incluem: solues de sistemas co ca co de igualdades e desigualdades de polinmios, otimizao polinomial, aproximao, estudo da o ca ca topologia dos conjuntos semi-algbricos, computao grca, modelagem geomtrica, planee ca a e jamento do movimento de robs, anlise de estabilidade, etc [67, 24]. o a
56
Questes de desempenho o
Apesar do mtodo de deciso de Tarski poder decidir em um nmero nito de passos e a u se cada uma das sentenas de lgebra e geometria elementar verdadeira ou falsa, o seu c a e desempenho computacional muito ruim. De fato, a complexidade do mtodo de deciso de e e a Tarski em termos do nmero de atomos da frmula no pode ser limitada por nenhuma torre u o a nita de exponenciais, o que torna impraticvel sua implementao em computador. a ca Vrios aperfeioamentos foram sugeridos para o mtodo original de Tarski. O melhor a c e algoritmo desta classe que se conhece a decomposiao algbrica cilndrica [33, 4, 5, 70]. e c e O programa de computador QEPCAD, dispon no endereo [101], implementa este algovel c ritmo [66]. O uso de computao paralela tambm foi considerado [11, 68]. ca e Outro aspecto a qualidade da frmula (uma indicao da complexidade de uma frmula e o ca o para usurios humanos). Eliminar quanticadores pode dar origem a expresses de pssima a o e qualidade. Um exemplo clssico o problema da elipse, proposto por Kahan [71]: encontre a e condies necessrias e sucientes para que uma elipse com eixos paralelos aos eixos coordeco a nados esteja dentro de um c rculo centrado na origem e com raio 1. Usando as variveis a, b, c e d de acordo com a gura 3.8, no dif de ver que o a a e cil problema pode ser representado atravs pela frmula e o a > 0 b > 0 [ x, y R, (x c)2 /a2 + (y d)2 /b2 = 1 x2 + y 2 1] ou, dado que divises no so permitidas na linguagem de algebra elementar, por o a a a > 0 b > 0 [ x, y R, b2 (x c)2 + a2 (y d)2 = a2 b2 x2 + y 2 1].
Lazard [77] mostrou que qualquer eliminao dos quanticadores nas variveis x e y ir ca a a produzir uma resposta que contm um polinmio T de grau 12 e 104 termos nas variveis a, e o a b, c e d. A frmula otima apresentada por Lazard para o problema da elipse a seguinte: o e [(a > 0) (T 0) (c2 + (b + |d|)2 1 0) (a2 b a2 d2 (1 a2 )(a2 b2 ))] [(a = b) (c2 + d2 (1 a)2 ) (a 1)] [(a < b) (T 0) (d2 + (a + |c|)2 1 0) (b2 a b2 c2 (1 b2 )(b2 a2 ))], onde o polinmio T dado por: o e
57
y
1
d b
Figura 3.8: O problema da elipse de Kahan.
T = a4 d8 + ((2 a2 b2 + 2 a4 ) c2 + (4 a4 + 2 a2 ) b2 + 2 a6 4 a4 ) d6 + ((b4 + 4 a2 b2 + a4 ) c4 + ((6 a2 2) b4 + (2 a4 + 2 a2 ) b2 2 a6 6 a4 ) c2 + (6 a4 6 a2 + 1) b4 + (6 a6 + 10 a4 6 a2 ) b2 + a8 6 a6 + 6 a4 ) d4 + ((2 b4 + 2 a2 b2 ) c6 + (2 b6 + (2 a2 6) b4 + (6 a4 + 2 a2 ) b2 2 a4 ) c4 + ((6 a2 + 4) b6 + (10 a4 6 a2 + 6) b4 + (6 a6 6 a4 10 a2 ) b2 + 4 a6 + 6 a4 ) c2 + (4 a4 + 6 a2 2) b6 + (6 a6 8 a4 + 4 a2 2) b4 + (2 a8 + 4 a6 8 a4 + 6 a2 ) b2 2 a8 + 6 a6 4 a4 ) d2 + b4 c8 + (2 b6 + (4 a2 4) b4 + 2 a2 b2 ) c6 + (b8 + (6 a2 6) b6 + (6 a4 + 10 a2 + 6) b4 + (6 a4 6 a2 ) b2 + a4 ) c4 + ((2 a2 2) b8 + (6 a4 + 4 a2 + 6) b6 + (4 a6 8 a4 8 a2 4) b4 + (6 a6 + 4 a4 + 6 a2 ) b2 2 a6 2 a4 ) c2 + (a4 2 a2 + 1) b8 + (2 a6 + 2 a4 + 2 a2 2) b6 + (a8 + 2 a6 6 a4 + 2 a2 + 1) b4 + (2 a8 + 2 a6 + 2 a4 2 a2 ) b2 + a8 2 a6 + a4 . O mtodo de deciso de Tarski para demonstrar teoremas possui as mesmas caracter e a sticas do mtodo universal de Hilbert: e (T1) A demonstrao conduzida por meio de clculos algbricos, no caso, pela eliminao ca e a e ca de quanticadores via uma generalizao do teorema de Sturm. ca
O mtodo de Wu e
58
(T2) Todos os teoremas so demonstrados da mesma maneira por um unico mtodo. a e A diferena que a classe de teoremas para os quais o mtodo de Tarski pode ser aplicado c e e e muito maior: ela inclui todos os teoremas que podem ser formulados na linguagem de primeira ordem.
3.5
O mtodo de Wu e
Apesar dos aperfeioamentos dados pela teoria de decomposio algbrica cil c ca e ndrica, o mtodo de Tarski e suas variaes ainda no constituem uma ferramenta ecaz de demonse co a trao automtica de teoremas em geometria. ca a Em 1977, o matemtico chins Wu Wen-Tsn introduziu um mtodo algbrico com o a e u e e qual ele e seus disc pulos Chou Shang-Ching, Xiao Shan-Gao e Zhang Jing-Zhong demonstraram uma grande de variedade de teoremas em geometria, cujas provas tradicionais so consideradas muito dif a ceis [135, 27, 28, 30, 29, 30]. O mtodo de Wu demonstra teoremas cuja hiptese e tese podem ser convertidas em e o equaes polinomiais com coecientes racionais. Problemas de geometria que envolvem desico gualdades, como o problema da elipse de Kahan, no podem ser tratados pelo mtodo de Wu. a e O mtodo entretanto permite (e emprega) negaes de igualdades. e co Uma vez que a converso para a linguagem algbrica feita, o mtodo verica se o poa e e e linmio g associado a tese identicamente nulo no conjunto dos pontos que anulam simultao ` e neamente todos os polinmios hi , i = 1, . . . , n associados a hiptese (uma idia muito parecida o ` o e com a do mtodo universal de Hilbert): e h1 = 0 h2 = 0 hn = 0 g = 0. (3.12)
Isto pode ser feito empregando bases de Grbner [36, pp. 280305] ou pseudo-divises suo o cessivas [28, pp. 1213], a tcnica original de Wu, que tambm possui uma interpretao no e e ca contexto de bases de Grbner. o No vamos entrar nos detalhes do mtodo de Wu. O leitor interessado pode consultar a e o trabalho original [135] ou as referncias [27, 28, 36]. O grande mrito de seu trabalho foi e e observar que na converso do enunciado original do teorema (descrito como uma construo a ca seqencial) para uma sentena da forma (3.12), condies de no-degenerescncia no so u c co a e a a especicadas. Veja, por exemplo, o caso da forma especial do teorema de Desargues apresentada no nal da seo 3.3. O mtodo de Wu identica automaticamente condies algbricas ca e co e de no-degenerescncia que devem ser incorporadas a hiptese de (3.12) a m de obter uma a e ` o
O mtodo de Wu e
59
sentena verdadeira [105, 112, 10, 22, 10]. Em boa parte dos casos, o mtodo consegue fornec e cer uma interpretao geomtrica para a condio algbrica de no-degenerescncia. No caso ca e ca e a e da forma especial do teorema de Desargues apresentada no nal da seo 3.3, por exemplo, o ca mtodo automaticamente identica que necessrio acrescentar ao enunciado do teorema a e e a hiptese adicional de que A, A , C, C e O no sejam colineares. o a
Cap tulo 4 Inverses e o porismo de Steiner o

O porismo de Steiner um bom exemplo de como a geometria se benecia do emprego de e enfoques mais sosticados: por meio de uma inverso, uma espcie de troca de variveis a e a geomtrica, o problema original se trivializa. Inverses, por sua vez, so essencialmente e o a as transformaoes de Mbius, que no curso habitual de varivel complexa surgem como o c o a grupo de transformaes conformes da esfera de Riemann. Um aluno contemporneo de maco a temtica provavelmente nunca viu a inverso geomtrica, dois milnios mais velha do que a a a e e transformao de Mbius. ca o Para E. T. Bell, o matemtico suco Jacob Steiner (1796 1863), foi o maior gemetra a o desde Apolnio. O porismo se encontra nas pginas 225 e 455 de suas obras completas, o a editadas por Weierstrass [117]. Sejam c, C c rculos disjuntos e K um terceiro c rculo tangente aos dois. Uma cadeia de Steiner de tamanho n para o par (c, C), constru a partir de K, uma seqencia de n da e u c rculos, K1 , K2 , K3 , ..., Kn , tangentes a c e C tais que K = K1 = Kn+1 , e Ki tangente a e Ki+1 , para cada 1 i n (gura 4.1).
Teorema 4.1 (O Porismo de Steiner) Se dois c rculos c e C disjuntos admitem uma cadeia de Steiner de tamanho n para uma certa escolha do c rculo inicial K, ento a poss construir uma cadeia de Steiner para o par (c, C) de mesmo tamanho para e vel qualquer outra escolha do c rculo inicial K.
Este resultado, bem como o teorema de Barlotti e o porismo de Poncelet (descrito no apndice deste cap e tulo), so exemplos de teoremas de geometria que no podem ser demonsa a trados pelo mtodo de deciso desenvolvido por Tarski: eles no esto no cenrio de lgica de e a a a a o primeira ordem, uma vez que seus enunciados apresentam um quanticador existencial sobre
Inverses o
61
C
K2
K2 K3
K3
K =K1 C
K=K1=K10
(a) Tamanho 8 em uma volta
(b) Tamanho 9 em duas voltas
Figura 4.1: Duas cadeias de Steiner.
a varivel n, obviamente um nmero natural. a u No existe um consenso para o signicado original da palavra grega porismo. De acordo a com John Conway, em um artigo do grupo de discusso geometry.puzzles, um porismo a e algo como um teorema sutil. As demais denies que encontramos so semelhantes: um co a porismo uma proposio que, apesar de conter um quanticador universal, sempre verdae ca e deira ou sempre falsa, independente da escolha da varivel sobre a qual age esse quanticador. a Informalmente, porismos so proposies que descrevem conguraes geomtricas com uma a co co e certa liberdade, mas que sempre ou nunca tm uma certa propriedade espec e ca [65].
4.1
Inverses o
Dado um c rculo C de raio r e centro O, denimos a inverso de um ponto P = O em a relao a C como sendo o ponto P no raio que parte de O e passa por P , tal que ca OP OP = r2 . Dizemos que O o centro de inverso e C o c e a e rculo de inverso (gura 4.2). Os pontos P a e P so pontos inversos em relao a C. a ca a E fcil ver que, se P o ponto inverso de P , ento P o inverso de P . Uma inverso leva e a e a o interior para o exterior do c rculo de inverso C, e vice-versa, j que para OP < r temos a a
Inverses o
62
P P0 O
Figura 4.2: P a inverso de P com relao ao c e a ca rculo C. OP > r e para OP > r temos OP < r. Os unicos pontos do plano que permanecem xos sob uma inverso so os pontos do prprio c a a o rculo de inverso. a Quando P converge para o centro de inverso, o ponto inverso P vai a innito (no sena tido que seu mdulo vai a innito). Por esta razo, gemetras acharam oportuno considerar o a o inverses agindo sobre um conjunto estendido, contendo o plano e um ponto auxiliar (em ino nito). Inverses operam sobre este plano estendido bijetivamente. Um dos grandes sucessos o do in da geometria algbrica foi justamente apresentar uma descrio mais precisa desse cio e ca tipo de argumento. A interpretao algbrica das inverses, por meio de transformaes de ca e o co Mbius, foi um dos recursos empregados nesta formalizao. o ca Uma transformaao de Mbius uma funo c o e ca T : C {} C {} z + , z T (z) = z + onde , , , C com = 0. O conjunto C {} a esfera de Riemann, onipresente e em cursos de varivel complexa. Por meio de projees estereogrcas, colocam-se cartas na a co a esfera de Riemann, e nelas ca evidente que transformaes de Mbius so anal co o a ticas em todo seu dom nio [90, pp. 139146]. A seguir, listamos alguns resultados familiares da teoria de transformaes de Mbius. As co o transformaes de Mbius obviamente incluem as translaes T (z) = z + , C, dilataes co o co co T (z) = z, C {0} e a inverso algbrica T (z) = 1/z e so fechadas por composio. a e a ca Mais at, todas as transformaes de Mbius so composies de translaes, dilataes e e co o a co co co inverso algbrica. Transformaes de Mbius levam o conjunto de retas e c a e co o rculos no plano em si mesmo uma demonstrao simples desse fato consiste em manipular as equaes ca co de retas e c rculos. A seguir, apresentaremos uma demonstrao na tradio de geometria ca ca sinttica. e
Inverses o
63
A inverso algbrica T (z) = 1/z e a inverso (P ) = P pelo c a e a rculo unitrio centrado na a origem so muito similares. De fato, interpretando P = z como um ponto no plano complexo, a ento P = 1/z = 1/z; geometricamente, P a reexo de 1/z em relao ao eixo real. De a e a ca fato, dado um ponto z de argumento , o nmero 1/z tem mdulo 1/|z| e argumento . u o Isto implica que o seu conjugado 1/z (com mdulo 1/|z| e argumento ) representa, de fato, o a inverso de z pelo c a rculo unitrio centrado na origem (gura 4.3). Assim, as propriedades a
Im
z
| 1/z
Re
1/z
Figura 4.3: A inverso algbrica o conjugado de uma inverso. a e e a listadas na proposio abaixo podem ser admitidas para ambas as inverses, 1/z e 1/z. ca o Proposio 4.1 Uma inverso transforma ca a (a) (b) (c) (d) uma reta que passa pelo centro de inverso O em uma reta por O, a uma reta por O em um c rculo por O, um c rculo por O em uma reta por O e um c rculo que no passa por O em um c a rculo que no passa por O. a
Demonstrao (Courant e Robbins [35]): ca Considere uma inverso com relao a um c a ca rculo C com centro O. (a) Evidente. (b) Seja uma reta qualquer que no passa por O. Trace por O uma reta perpendicular r a a (gura 4.4). Sejam A o ponto onde r encontra e A o ponto inverso de A. Marque em , qualquer ponto P e encontre o seu inverso P . Como OA OA = OP OP = r2 , segue que OP OA = . OP OA
Inverses o
64
C P0 O K A
0
Figura 4.4: A inverso de uma reta a
que no passa por O. a
Logo, os tringulos OP A e OAP so semelhantes e o angulo OP A reto. E claro a a e ento que P pertence ao c a rculo K de dimetro OA , tal que a inverso da reta este a a e c rculo. (c) Evidente a partir do item anterior. (d) Seja K um c rculo que no passa por O de centro M e raio k, e considere os pontos A a e B na interseo de K e uma secante a ele passando por 0 (gura (4.5)). Denotemos ca
B B0 O A0 Q A K M
Figura 4.5: A inverso de um c a rculo que no passa por O. a as distncias OA, OB, OA , OB , OM por a, b, a , b , m, respectivamente, e seja t a o comprimento do segmento tangente a K a partir de O. Pela denio de inverses, ca o aa = bb = r2 e ab = t2 . Assim, a b r2 = = 2 = c2 , b a t onde c2 uma constante que depende somente de r2 e t2 e a mesma para todas as e e posies de A e B. co
Inverses o
65
Trace por A uma reta paralela a BM , encontrando OM em Q. Seja OQ = q e A Q = . Ento a q ka a ma e = = = = q= = mc2 = kc2 . m b k b b Isto signica que para todas as posies de A e B, Q ser sempre o mesmo ponto em co a OM e a distncia A Q ter sempre o mesmo valor. Da mesma forma, B Q = , j que a a a a /b = b /a. Logo, as imagens de todos os pontos A, B em K so os pontos cuja a a distncia a Q sempre , isto , a imagem de K um c a e e e rculo (de centro Q e raio ).
A inverso geomtrica 1/z no uma funo anal a e a e ca tica: de fato, ela viola as equaes de co Cauchy-Riemann. Mais at, ela inverte orientao, como indicado nas guras abaixo. e ca
Im
1/z
Im
Re
Re
Figura 4.6: A inverso de algbrica, 1/z. a e

Im
| 1/z
Im
Re
Re
Figura 4.7: A inverso geomtrica, 1/z. a e Transformaes de Mbius preservam angulos entre, por exemplo, reta e c co o rculos, por serem conformes [90]. Assim, inverses geomtricas tambm preservam ngulos. Essa uma o e e a e das razes para que sejam muito uteis na resoluo de problemas de geometria sobre tangncia o ca e de c rculos. Dois exemplos clssicos so (i) o teorema de Pappus e (ii) o problema de Apolnio: a a o
A demonstrao do porismo ca
66
(i) Dada a congurao de um arbelos trs arcos, AB, BC e AC, dispostos como na ca e gura 4.8 (i), onde o ponto B varia entre o dimetro AC construa na parte sombreada, a uma cadeia de Pappus, que consiste em uma seqncia de c ue rculos C1 , C2 , . . . , Cn , tal que C1 seja tangente as trs arcos dados, e a partir de ento para cada 1 i n, Ci e e a Ci+1 so tangentes entre si e aos dois arcos maiores. O teorema de Pappus arma que a os pontos de tangncia entre os c e rculos da cadeia esto em um c a rculo, os centros dos c rculos C1 , C2 , . . . , Cn esto sobre uma elipse e que o dimetro de qualquer c a a rculo Cn vale 1/(n simo) da altura do seu centro a reta base ABC (para ver o primeiro fato, e ` simplesmente escolha A como centro de inverso o prazer de completar o argumento a ca por conta do leitor).
(ii) Dados trs c e rculos quaisquer no plano, construa um c rculo que seja tangente aos trs e iniciais (alis, este problema possui oito solues!). De fato, no dif ver que esse a co a e cil problema se reduz a encontrar um c rculo tangente a dois outros passando por um ponto dado O. Agora, inverta a nova congurao por O: basta agora traar retas tangentes ca c a dois c rculos dados um problema muito simples.
C2 C1
B
(i) O arbelos de Pappus
C
(ii) O problema de Apolnio o
Figura 4.8: Dois problemas de geometria sobre tangncia de c e rculos
4.2
O porismo de Steiner trivial no caso particular em que os c e rculos c e C so concntricos. a e fcil at ver que existe uma cadeia de Steiner de tamanho n dando k voltas se, e somente E a e
67
se, os raios r e R dos dois c rculos satisfazem k r n . = k R 1 + sen n 1 sen
(4.1)
O caso geral em que os c rculos c e C no so concntricos pode ser reduzido ao caso a a e particular por meio de inverses geomtricas (ou uma transformao de Mbius). De fato, o e ca o tome c rculos c e C disjuntos. Escolha um ponto O em c para ser o centro de inverso: as a inverses de c e C por O so, respectivamente, uma reta e um c o a rculo K disjuntos.
` S0 S `0 K H I m K0 m
(a)
(b)
Figura 4.9: Tornando dois c rculos concntricos usando inverses. e o
Seja m a reta que passa pelo centro do c rculo K e perpendicular a reta , e H a interseo e ca destas retas. Note que a interseo H est fora do c ca a rculo K. Podemos construir um c rculo S com centro em H e ortogonal ao c rculo K, escolhendo seu raio como o segmento que sai de H e tangencia K (gura 4.9 (a)). Finalmente, invertendo K e agora por um ponto na interseo do c ca rculo S e da reta m, obtemos um par de c rculos ortogonais a S e m. Mas as inverses de S e m so um par de o a retas ortogonais. Logo, as inverses do c o rculo K e da reta devem ser um par de c rculos concntricos (gura 4.9 (b)). e Uma conseqncia do porismo de Steiner (e de sua verso quantitativa para c ue a rculos
68
concntricos descrita acima) que, dado uma congurao de c e e ca rculos disjuntos c e C, a razo entre os raios de c a rculos concntricos nos quais o par levado por uma transformao e e ca de Mbius s depende da congurao. De fato, no poss levar por uma transformao o o ca a e vel ca de Mbius um par de c o rculos concntricos a outro se as razes entre os raios nos dois pares e o no forem iguais. O leitor com alguma prtica de geometria conforme certamente identicar a a a este invariante como sendo o (nico) invariante conforme de uma regio com um furo [91]. u a Outra propriedade interessante da cadeia de Steiner que os centros de seus c e rculos esto a sobre uma elipse. O resultado segue da seguinte proposio, que tambm demonstra a segunda ca e parte do teorema de Pappus.
Proposio 4.2 Seja c um c ca rculo no interior do c rculo C. O lugar geomtrico dos e centros dos c rculos tangentes a c e C uma elipse. e
Demonstrao: ca Considere os c rculos disjuntos c e C de raios r e R em um sistema de coordenadas no qual c e C tm centros em (A, 0) e (A, 0), respectivamente. Note que d = 2A < R r. e Seja S um c rculo com centro (x, y) e raio tal que S tangencia c e C (gura 4.10).
y
C
(x,y)
(-A,0) (A,0)
Figura 4.10: Os c rculos c e C em um sistema de coordenadas.
A soma das distncias dos centros (A, 0) e (A, 0) ao centro (x, y) do c a rculo S constante: e (R ) + (r + ) = R + r (4.2)
Apndice: O porismo de Poncelet e
69
Assim, (x, y) est sobre uma elipse de focos (A, 0) e (A, 0). a Usando um argumento semelhante, poss mostrar um pouco mais. Se c for exterior a e vel C, o lugar geomtrico uma hiprbole. Se c e C tm dois pontos comuns, o lugar geomtrico e e e e e consiste de duas elipses e uma hiprbole. e
4.3
O objetivo deste apndice descrever supercialmente outra situao geomtrica com e e ca e vrias anidades com o porismo de Steiner. a Sejam Ee e Ei duas elipses tais que Ei interior a Ee e seja P um ponto na elipse Ee . e Uma trajetria de Poncelet de tamanho n para o par (Ee , Ei ), constru a partir de P , o da uma trajetria poligonal fechada de n pontos, P1 , P2 , P3 , ..., Pn , na elipse Ee , tais que e o P = P1 = Pn+1 , e o segmento Pi Pi+1 tangente a Ei para cada 1 i n. (gura 4.11 (a)). e
P= P = P 1 5
P2 Ei
Ee
P3
P 4
(a)
(b)
Figura 4.11: Trajetrias entre duas elipses. o
Teorema 4.2 (O Porismo de Poncelet) Seja Ei uma elipse no interior da elipse Ee . Se para uma certa escolha do ponto inicial P Ee , poss e vel construir uma trajetria de Poncelet de tamanho n, ento poss o a e vel construir uma trajetria do o mesmo tamanho para qualquer outra escolha do ponto inicial P Ee .
O estudo do porismo de Poncelet pode ser reduzido ao estudo das trajetrias de uma bola o de bilhar numa mesa el ptica, como se verica fazendo uso de transformaes projetivas, que co so os objetos matemticos naturais para o estudo da perspectiva. Informalmente, considere a a
70
a correspondncia sugerida na gura 4.12 entre pontos do plano e os do plano. Na verdade e no que tenhamos uma bijeo entre os pontos dos dois planos: o formalismo matemtico a e ca a acrescenta retas em innito aos planos (e em geometria projetiva o que se chama de reta na verdade um c e rculo topologico), e nesses planos estendidos existe de fato uma bijeo ca naturalmente associada a gura. Para detalhes, o leitor pode consultar [12]. Fica claro da ` descrio visual que transformaes projetivas levam retas em retas (no vamos considerar ca co a as situaes cr co ticas envolvendo innito). Um conhecimento m nimo das sees cnicas inco o dica tambm que transformaes projetivas podem levar c e co rculos em elipses, hiprboles ou e parbolas, e vice-versa. Mais, tangncias entre curvas so preservadas (isso no quer dizer a e a a que ngulos sejam respeitados!). a
O
Figura 4.12: Uma transformao projetiva. ca Assim como transformaes de Mbius podem converter dois c co o rculos disjuntos em dois c rculos concntricos, transformaes projetivas podem converter duas elipses disjuntas em e co pelo menos trs alternativas: em um c e rculo e uma elipse em seu interior tendo o mesmo centro, ou em um par de elipses confocais, ou ainda num par de c rculos. Assim, o porismo de Poncelet pode ser demonstrado apenas para estas situaes particulares (a demonstrao co ca em [99], por exemplo, faz uso da terceira alternativa). Vamos considerar a segunda alternativa (gura 4.11 (b)). Nesse caso, os segmentos que compem a trajetria de Poncelet na congurao inicial se convertem em uma outra trajetria o o ca o de Poncelet na congurao consistindo de duas elipses confocais com uma propriedade adicica onal: os angulos que dois segmentos consecutivos fazem com a normal no ponto de interseo ca com a elipse exterior so iguais (gura 4.13). Reciprocamente, a trajetria de uma bola de a o
71
bilhar numa mesa el ptica, que colide com a borda da mesa de maneira a satisfazer a lei de reexo habitual (ngulo de incidncia = angulo de reexo), d origem a uma seqncia de a a e a a ue segmentos, todos tangentes a uma mesma elipse, confocal a elipse que forma a borda da mesa. ` ` Assim, o porismo de Poncelet e o fechamento da trajetria no bilhar el o ptico so problemas a equivalentes.
Ee
Figura 4.13: Uma trajetria do bilhar el o ptico e sua lei de conservao. ca O bilhar el ptico abre novas possibilidades de interpretao. Imagine a posio da bola e ca ca sua direo de tacada sendo descritas por um par ca (ponto da borda, vetor de comprimento 1) M = Ee S 1 . Aqui, S 1 R2 C o c e rculo unitrio centrado na origem. O bilhar dene uma funo a ca : M M que avana de uma tacada. Birkho [13] mostrou a existncia de uma area em c e M que mantida invariante por . Ainda em outra linguagem, Birkho mostrou a existncia e e de uma 2-forma no degenerada (mais geral ainda, de uma estrutura simpltica) em M . O a e fato que todos os segmentos de uma trajetria so tangentes a uma elipse comum indica o a que , alm de preservar a area de Birkho, tem outra lei de conservao associada. Mais e ca concretamente, seja U um aberto conexo de M cujos pontos descrevem todos os segmentos tangentes a alguma elipse confocal a borda da mesa. Cada elipse dessas encontra um semi` eixo maior xo em um unico ponto x podemos denir a lei de conservao como sendo a ca funo H : U R que leva cada ponto ao valor x obtido por essa construo. ca ca E claro que as curvas de n associadas a essa lei de conservao (isto , o conjunto de vel ca e pares de U que do origem a segmentos tangentes a uma mesma elipse) podem ser paramea trizadas por um c rculo. Isso bastante para invocar um resultado muito geral em geometria e simpltica: o teorema de Arnold-Liouville. O teorema habitualmente descrito para campos e e que respeitam estruturas simplticas [3]: a verso do teorema para difeomorsmos (como o e a e
72
caso de ) pode ser encontrada em [125]. Nesse caso muito simples, poss descrever suas e vel conseqncias sem introduzir objetos matemticos mais sosticados. Para cada valor x da lei ue a 1 de conservao H, seja Cx = H (x) o n associado, parametrizado por S 1 . Ento, para ca vel a todo n x0 , existe um intervalo aberto I contendo x0 tais que o anel CI = S 1 I serve vel de dom nio para uma troca de varivel entre anis : CI S 1 I R2 com a seguinte a e propriedade: ( 1 )(, x) = ( + (x), x), para uma escolha adequada de (x). A partir desse fato, o porismo de Poncelet evidente: e dependendo do valor de (x), rotaes do c co rculo fecham ou no. a
Bibliograa
[1] C. F. Adler, Modern Geometry, An Integrated First Course. New York, PA: McGraw Hill Book Company, Inc., 1958. [2] N. Altshiller-Court, College Geometry: A Second Course in Plane Geometry for Colleges and Normal Schools. New York: Barnes & Noble, Inc., 1952. [3] V. I. Arnold, Mathematical Methods of Classical Mechanics. New York: SpringerVerlag, 1978. [4] D. S. Arnon, G. E. Collins e S. McCallum, Cylindrical Algebraic Decomposition I: The Basic Algorithm. SIAM Journal of Computing, vol. 12, no. 4, pp. 865877, 1984. [5] D. S. Arnon, G. E. Collins e S. McCallum, Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane. SIAM Journal of Computing, vol. 13, no. 4, pp. 878889, 1984. [6] M. Atiyah, What is geometry? The Mathematical Gazette, vol. 66, pp. 179184, Outubro, 1982. [7] H. F. Baker, A Remark on Polygons. Journal of the London Mathematical Society, vol. 17, pp. 162164, 1942. [8] A. Barlotti, Una propriet` degli n-agoni che siottengono transformando in una anit` a a un n-agono regolare. Bollettino della Unione Matematica Italiana, vol. 10, no. 3, pp. 96 98, 1955. [9] J. Barwise, An Introduction to First-Order Logic. Em Handbook of Mathematical Logic (J. Barwise, editor), pp. 545, North Holland Publishing Company, 1977. [10] M. Bulmer, D. Fearnley-Sander e T. Stokes, Remarks on Geometric Theorem Proving. Em Automated Deduction in Geometry (J. Richter-Gebert e D. Wang, editores), vol. 2061 de Lecture Notes in Articial Intelligence, pp. 104128, Berlin e Heidelberg: Springer-Verlag, 2000.
BIBLIOGRAFIA
74
[11] M. Ben-Or, D. Kozen e J. Reif, The Complexity of Elementary Algebra and Geometry. Journal of Computer and System Sciences, vol. 32, pp. 251264, Abril, 1986. [12] M. Berger, Geometry I. Berlin e Heidelberg: Springer-Verlag. 1994 (corrected second printing). [13] G. D. Birkho, Dynamical Systems, vol. 9 de Colloquium Publications. Providence, RI: American Mathematical Society, 1927. 1966 (revisededio). ca [14] W. L. Black, H. C. Howland e B. Howland, A Theorem about Zig-Zags between Two Circles. The American Mathematical Monthly, vol. 81, pp. 755757, Setembro, 1974. [15] A. Bogomolny, Theorem of Complete Quadrilateral: What is It? 2002. http://www.cut-the-knot.com/Curriculum/Geometry/Quadri.shtml. [16] C. Bonferroni, Un teorema sul Triangolo e il Teorema di Napoleone. Bollettino della Unione Matematica Italiana, vol. 5, no. 3, pp. 8589, 1950. [17] H. J. M. Bos, C. Kers, F. Oort e D. W. Raven, Poncelets Closure Theorem. Expositiones Mathematicae, vol. 5, pp. 289364, 1987. [18] O. Bottema, A Triangle Transformation. Elemente der Mathematik, vol. 29, pp. 135 138, 1971. [19] G. Boutte, The Napoleon Conguration. Forum Geometricorum, vol. 2, pp. 3946, 2002. [20] S. Brodie, Napoleons Theorem by Plane Tesselation. 2000. http://www.cut-the-knot.com/Generalization/NapTess.shtml. [21] S. Brodie e M. Lambrou, Napoleons Theorem. 2000. http://www.cut-the-knot.com/proofs/napoleon.shtml. [22] M. Bulmer, D. Fearnley-Sander e T. Stokes, The Kinds of Truth of Geometry Theorems. Em Automated Deduction in Geometry (J. Richter-Gebert e D. Wang, editores), vol. 2061 de Lecture Notes in Articial Intelligence, pp. 129142, Berlin e Heidelberg: Springer-Verlag, 2000. [23] J. H. Cadwell, Topics in Recreational Mathematics. New York, NY: Cambridge University Press, 1966. [24] B. F. Caviness e J. R. Johnson, Quantier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation, Wien and New York: Springer-Verlag, 1998.
BIBLIOGRAFIA
75
[25] G. zhe Chang e P. J. Davis, A Circulant Formulation of the Napoleon-Douglas-Neumann Theorem. Linear Algebra and Its Applications, vol. 54, pp. 8795, 1983. [26] S.-S. Chern, What is Geometry? The American Mathematical Monthly, vol. 97, pp. 679 686, Outubro, 1990. [27] S.-C. Chou, Proving and Discovering Theorems in Elementary Geometries Using Wus Method. PhD Thesis, Department of Mathematics, University of Texas, Austin, 1985. [28] S.-C. Chou, Mechanical Geometry Theorem Proving. Mathematics and Its Applications, Norwell, MA, USA: Dordrecht Reidel Publishing Company, 1988. [29] S.-C. Chou, X. Shan-Gao e J.-Z. Zhang, An Introduction to Geometry Expert. Em Proceedings of CADE-13 (M. A. McRobbie e J. K. Slaney, editores), vol. 1104 de Lecture Notes in Artical Intelligence, pp. 235239, 13th International Conference on Automated Deduction, Springer-Verlag, 1996. [30] S.-C. Chou, X.-S. Gao e J.-Z. Zhang, Machine Proofs in Geometry : Automated Production of Readable Proofs for Geometry Theorems, vol. 6 de Applied Mathematics. Singapore: World Scientic Publishing Company, 1998. [31] S.-C. Chou, X. Shan-Gao e J.-Z. Zhang, Geometry Expert. 2002. http://www.mmrc.iss.ac.cn/~xgao/gex.html. [32] H. Coelho e L. M. Pereira, Automated Reasoning in Geometry Theorem Proving with Prolog. Journal of Automated Reasoning, vol. 2, pp. 329390, Dezembro, 1986. [33] G. E. Collins, Quantier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition. Em Quantier Elimination and Cylindrical Algebraic Decomposition (B. F. Caviness e J. R. Johnson, editores), Texts and Monographs n Symbolic Computation, pp. 85121, Wien e New York: Springer-Verlag, 1997. Reproduzido de Automata Theory and Formal Languages (Lecture Notes in Computer Science, vol. 33), H. Brakhange (editor), Springer-Verlag, com correes do autor. co [34] J. Conway, Reply to Two Circles and Triangle Puzzle. Artigo do Usenet Newsgroup geometry.puzzles, Dezembro, 2001. [35] R. Courant e H. Robbins, What is mathematics? An Elementary Approach to Ideas and Methods. London: Oxford University Press, 1941. [36] D. Cox, J. Little e D. OShea, Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra. Undergraduate Texts in Mathematics, New York: Springer-Verlag, 1992.
BIBLIOGRAFIA
76
[37] H. S. M. Coxeter, Interlocked Rings of Spheres. Script Mathematica, vol. 18, pp. 113 121, 1952. [38] H. S. M. Coxeter e S. L. Greitzer, Geometry Revisited, vol. 19 de MAA New Mathematical Library. Washington, DC: The Mathematical Association of America, 1967. [39] Z. Dad Some methodological aspects of Getaldics Mathematical Works. Historia c, Mathematica, vol. 1, no. 2, pp. 207214, 1984. [40] P. J. Davis, The Rise, Fall, and Possible Transguration of Triangle Geometry: A Mini-History. The American Mathematical Monthly, vol. 102, pp. 204214, 1995. [41] H. Demir, An Extension of Napoleons Theorem. The American Mathematical Monthly, vol. 76, p. 833, Setembro, 1969. [42] R. Descartes, La Gomtrie. Paris: A. Hermann, Librairie Scientique, 1636. e e [43] J. Douglas, On Linear Polygon Transformations. Bulletin (New Series) of the American Mathematical Society, vol. 46, pp. 551560, Junho 1940. [44] J. Douglas, Geometry of Polygons in the Complex Plane. Journal of Mathematics and Physics, Massachusetts Institute of Technology, vol. 19, pp. 93130, 1940. [45] A. Faifofer, Elementi di Geometria. dcima sete edio, 1911. e ca [46] H. E. Fettis, The Fermat and Hessian Points of a Triangle. The American Mathematical Monthly, vol. 53, pp. 7478, February 1946. [47] J. C. Fisher, D. Ruo e J. Shilleto, Polygons and Polynomials. in The Geometric Vein, The Coxeter Festschrift (C. Davis, B. Grnbaum e F. A. Sherk, editores), pp. 321333, u New York, USA: Springer-Verlag, 1982. [48] J. C. Fisher, D. Ruo e J. Shilleto, Perpendicular Polygons. The American Mathematical Monthly, vol. 92, no. 1, pp. 2337, 1985. [49] H. G. Forder, The Calculus of Extension. New York, USA: Chelsea, 1960. [50] M. Frame e T. Cogevina, An Innite Circle Inversion Limit Set Fractal. Computers & Graphics, vol. 24, pp. 797804, 2000. [51] D. Gale, Triangle and Computers. The Mathematical Intelligencer, vol. 17, no. 1, pp. 20 26, 1995. [52] M. Gardner, The Diverse Pleasures of Circles that are Tangent to One Another. Scientic American, pp. 1828, Janeiro, 1979.
BIBLIOGRAFIA
77
[53] J. Gafunkel e S. Stahl, The Triangle Reinvestigated. The American Mathematical Monthly, vol. 72, pp. 1220, Janeiro, 1965. [54] H. Gelernter e J. R. H. e D. W. Loveland, Empirical Explorations of the GeometryTheorem Proving Machine. Em Computers and Thought (E. A. Feigenbaum e J. Feldman, editores), pp. 134152, New York: McGraw-Hill, 1963. [55] L. Gerber, Napoleons Theorem and Parallelogram Inequality for Ane-Regular Polygons. The American Mathematical Monthly, vol. 87, pp. 644648, 1980. [56] K. Gdel, Uber formal unentscheidbare Stze der Principia Mathematica und verwandte o a Systeme I. Monatshefte fr Mathematik und Physik, vol. 38, pp. 172198, 1931. u [57] K. Gdel, On Formally Undecidable Propositions of Principia Mathematica and Related o Systems. New York: Dover Publications, Inc., 1992. Traduo para o ingls do artigo Uber formal unentscheidbare Stze der Principia ca e a Mathematica und verwandter Systeme I, publicado em 1931 em Monatshefte fr Matheu matik und Physik, vol 38, pp. 173198. [58] H.-G. Grbe, GeoProver 1.2 A Small Package for Mechanized Plane Geometry a Theorem Proving. With versions for Reduce, Maple, MuPAD and Mathematica. Maro, c 2002. http://www.informatik.uni-leipzig.de/~compalg/software/geoprover/. [59] D. Grabiner, The Tarski-Seidenberg Theorem. Technical Report, Princeton University, 2002. [60] R. Graham e F. Yao, A Whirlwind Tour of Computational Geometry. The American Mathematical Monthly, vol. 97, pp. 687701, Outubro, 1990. [61] L. shin Hahn, Complex Numbers & Geometry. Spectrum Series, Washington, DC: The Mathematical Association of America, 1994. [62] D. Hilbert, Grundlagen der Geometrie. 1899. [63] D. Hilbert, Foundations of Geometry. La Salle, Illinois: Open Court, segunda edio, ca 1971. Traduo da edio alem Grundlagem der Geometrie, translated by Leo Unger de 1899. ca ca a [64] A. Hoer, Geometry is More Than Proof. Mathematics Teacher, Janeiro, 1981.
BIBLIOGRAFIA
78
[65] J. P. Hogendijk, On Euclids Lost Porism and Its Arabic Traces. Bolletino di Storia delle Scienze Matematiche, vol. VII, no. 1, pp. 93115, 1987. [66] H. Hong, Improvements in CAD-based Quantier Elimination. PhD Thesis, Ohio State University, Ohio, 1990. [67] H. Hong e R. Liska, Special Issue on Application of Quantier Elimination. Journal of Symbolic Computation, vol. 24, no. 2, pp. 123231, 1997. [68] H. Hong, R. Liska, N. Robidoux e S. Steinberg, Elimination of Variables in Parallel. SIAM News, vol. 33, no. 8, pp. 15, 2000. [69] R. Honsberger, Mathematical Gems from Elementary Combinatorics, Number Theory, and Geometry, vol. 13 de Dolciani Mathematical Expositions. Washington, DC: The Mathematical Association of America, 1973. [70] M. Jirstrand, Cylindrical Algebraic Decomposition An Introduction. Technical Report, Linkping University, Outubro, 1995. o [71] W. Kahan, Problem no. 9: An Ellipse Problem. SIGSAM Bulletin of the ACM, vol. 35, no. 2, p. 11, 1975. [72] K. R. Koedinger e J. R. Anderson, Abstract Planning and Perceptual Chunks: Elements of Expertise in Geometry. Cognitive Science, vol. 14, pp. 511550, 1990. [73] J. J. Koenderink, The Brain a Geometry Engine. Psychological Research, vol. 52, pp. 122127, 1990. [74] H. W. Kuhn, Steiners Problem Revisited. Em Studies in Optimization (G. B. Dantzig e B. C. Eaves, editores), vol. 10 de MAA Studies in Mathematics, pp. 5270, Englewood Clis, NJ, 1976. [75] C.-A. Laisant, Sur quelques proprietes des polygones. Compte rendu: Association Franaise pour lAvancement des Sciences, 1877. pp. 142154. c [76] E. M. Langley, Problem 644 (the original statement of the adventitious triangle problem). The Mathematical Gazzete, vol. 11, pp. 321323, 1922. [77] D. Lazard, Quantier Elimination: Optimal Solution for Two Classical Examples. Journal of Symbolic Computation, vol. 5, pp. 261266, 1988. [78] . Lima, Steiners Porisme. Nordisk Matematisk Tidiskrift, vol. 37, no. 1, pp. 1830, A 1989.
BIBLIOGRAFIA
79
[79] G. Lion, Variational Aspects of Poncelets Theorem. Geometriae Dedicata, vol. 52, pp. 105118, 1994. [80] N. J. Lord, A Method for Vector Proofs in Geometry. Mathematics Magazine, vol. 58, pp. 8489, Maro, 1985. c [81] A. Machado, Nineteen Problems on Elementary Geometry. The Mathematical Intelligencer, vol. 17, no. 1, pp. 1719, 1995. [82] J. S. Mackay, The Geometrography of Euclidss Problems. Proceedings of the Edinburgh Mathematical Society, vol. 12, pp. 216, 1893-4. [83] E. Maor, Trigonometric Delights. Princeton, New Jersey: Princeton University Press, 1998. [84] H. Martini, On the Theorem of Napoleon and Related Topics. Mathematische Semesterberichte, vol. 43, pp. 4764, 1996. [85] H. Martini e B. Weissbach, Napoleons Theorem with Weights in n-Space. Geometriae Dedicata, vol. 74, pp. 213223, 1999. [86] J. G. Mauldon, Similar Triangles. Mathematics Magazine, vol. 39, pp. 165174, 1966. [87] D. Merriell, Further Remarks on Concentric Polygons. The American Mathematical Monthly, vol. 72, pp. 960965, Novembro, 1965. [88] D. R. Morrison, Poncelets Theorem. Lecture Note, Duke University, Durhan, North Carolina, 2001. http://www.cgtp.duke.edu/~drm/mth250/. [89] E. Motta, Aplicaes dos Nmeros Complexos a Geometria. Eureka!, vol. 6, pp. 3038, co u ` 1999. [90] T. Needham, Visual Complex Analysis. Oxford: Clarendon Press, 1997. [91] Z. Nehari, Conformal Mapping. New York: Dover. [92] R. D. Nelson, Napoleon revisited. The Mathematical Gazzete, vol. 58, pp. 108116, 1974. [93] B. H. Newmann, Some Remarks on Polygons. Journal of the London Mathematical Society, vol. 16, pp. 230245, 1941. [94] B. H. Neumann, A Remark on Polygons. Journal of the London Mathematical Society, vol. 17, pp. 165167, 1942.
BIBLIOGRAFIA
80
[95] A. J. Nevins, Plane Geometry Theorem Proving Using Forward Chaining. Articial Intelligence, vol. 6, pp. 123, Maro, 1974. c [96] J. Olive, Implications of Using Dynamic Geometry Technology for Teaching and Learning. Paper for Conference on Teaching and Learning Problems in Geometry, The University of Georgia, Athens, Georgia, USA, Maio, 2000. [97] P. Pech, The Harmonic Analysis of Polygons and Napoleons Theorem. Journal of Geometry and Graphics, vol. 5, no. 1, pp. 1322, 2001. [98] D. Pedoe, In Love with Geometry. The College Mathematics Journal, vol. 29, pp. 170 188, Maio, 1998. [99] J. V. Poncelet, Trait des Propri`ts Projectives des Figures. 1822. e ee [100] B. Poonen e M. Rubinstein, The Number of Intersection Points Made by the Diagonals of a Regular Polygon. SIAM Journal on Discrete Mathematics, vol. 11, no. 1, pp. 135 156, 1998. [101] H. Hong, QEPCAD. http://www.eecis.udel.edu/~saclib/. [102] D. A. Quadling, The Adventitious Angles Problem: a Progress Report. The Mathematical Gazette, vol. 61, pp. 5558, 1977. [103] D. A. Quadling, Last Words on Adventitious Angles. The Mathematical Gazette, vol. 62, no. 421, pp. 174183, 1978. [104] T. Recio, Clculo Simblico y Geomtrico. Educacin Matemtica en Secundaria, Maa o e o a drid, Espaa: Editorial S n ntesis, 1998. [105] T. Recio e M. R. Vlez, Automatic Discovery of Theorems in Elementary Geometry. e Journal of Automated Reasoning, vol. 23, no. 1, pp. 6382, 1998. [106] J. F. Rigby, A Concentrated Dose of Old-Fashioned Geometry. The Mathematical Gazzete, vol. 57, pp. 296298, 1973. [107] J. F. Rigby, Adventitious Quadrangles: a Geometrical Approach. The Mathematical Gazette, vol. 62, no. 421, pp. 183191, 1978. [108] J. F. Rigby, Multiple Intersections of Diagonals of Regular Polygons, and Related Topics. Geometriae Dedicata, vol. 9, no. 2, pp. 207238, 1980. [109] J. F. Rigby, Napoleon Revisited. Journal of Geometry, vol. 33, pp. 129146, 1988.
BIBLIOGRAFIA
81
[110] J. F. Rigby, Napoleon, Escher, and Tesselations. Mathematics Magazine, vol. 64, pp. 242246, Outubro, 1991. [111] D. Ruo e J. Shilleto, Recursive Polygons. Bollettino della Unione Matematica Italiana, vol. 15B, no. 5, pp. 968981, 1978. [112] D. Fearnley-Sander, Plane Euclidean Reasoning. Em Automated Deduction in Geometry (X. Shan-Gao, D. Wang e L. Yang, editores), vol. 1669 de Lecture Notes in Articial Intelligence, pp. 86110, Berlin e Heidelberg: Springer-Verlag, 1998. [113] I. J. Schoenberg, The Finite Fourier Series and Elementary Geometry. The American Mathematical Monthly, vol. 57, pp. 390404, Junho 1950. [114] I. J. Schoenberg, Mathematical Time Exposures. Washington, DC: Mathematical Association of America, 1982. [115] C. J. Scriba, Wie kommt Napoleon Satz zu seinem Namem? Historia Mathematica, vol. 8, pp. 458459, 1980. [116] M. Serra, Discovering Geometry, An Inductive Approach. Berkeley, California, USA: Key Curriculum Press, 1993. [117] J. Steiner, Gesammelte Werke, Bind 1. Berlin: Druck und Verlag, 1881. Karl Weierstrass (editor). [118] A. Tarski, A Decision Method for Elementary Algebra and Geometry. Em Quantier Elimination and Cylindrical Algebraic Decomposition (B. F. Caviness e J. R. Johnson, editores), Texts and Monographys in Symbolic Computation, pp. 2484, Wien New York: Springer-Verlag, 1995. Este texto apareceu previamente em A Decision Method for Elementary Algebra and Geometry, University of California Press, Berkeley e Los Angeles, 1951. [119] A. Tarski, What is Elementary Geometry? Em The Axiomatic Method with Special Reference to Geometry and Physics (L. Henkin, P. Suppes e A. Tarski, editores), Studies in Logic and The Foundations of Mathematics, pp. 1629, Amsterdam: North-Holland, 1959. [120] A. Tarski, The Completeness of Elementary Algebra and Geometry. Em Alfred Tarski: Collected Papers (R. McKenzie e S. Givant, editores), vol. 4, pp. 289346, Basel: Birkhuser Verlag, 1987. a [121] A. Tarski e S. Givant, Tarskis Systems of Geometry. The Bulletin of Symbolic Logic, vol. 5, no. 2, pp. 175214, 1999.
BIBLIOGRAFIA
82
[122] V. Thbault, Solution to Problem 169. National Mathematics Magazine, vol. 12, pp. 192 e 194, 193738. [123] C. Tripp, Adventitious Angles. The Mathematical Gazette, vol. 59, pp. 98106, 1975. [124] G. Turner, Elementi di Geometria, vol. I. 1843. [125] A. P. Veselov, Integrable Maps. Russian Mathematical Surveys, vol. 46, no. 5, pp. 151, 1991. [126] E. Wagner, Construes Geomtricas, vol. 9 de Coleao do Professor de Matemtica. co e c a Rio de Janeiro, Brasil: Sociedade Brasileira de Matemtica, 1998. a [127] J. E. Wetzel, Converses of Napoleons Theorem. The American Mathematical Monthly, vol. 99, pp. 339351, Abril, 1992. [128] W. Whiteley, Logic and Invariant Theory. I: Invariant Theory of Projective Properties. Transactions of the American Mathematical Society, vol. 177, pp. 121139, Maro, 1973. c [129] W. Whiteley, Logic and Invariant Theory II: Homogeneous Coordinates, the Introduction of Higher Quantities, and Structural Geometry. Journal of Algebra, vol. 50, pp. 380 394, 1978. [130] W. Whiteley, Logic and Invariant Theory IV. Invariants and Syzygies in Combinatorial Geometry. Journal of Combinatorial Theory, vol. 26, pp. 251267, 1979. [131] W. Whiteley, The Decline and Rise of Geometry. To appear Proceedings of the 1999 CMESG Conference, Department of Mathematics and Statistics, York University, Toronto, Ontario, Canada, 1999. http://www.math.yorku.ca/Who/Faculty/Whiteley/cmesg.pdf. [132] W. Whiteley, Dynamic Geometry and the Practice of Geometry. For distribution at ICME9 Tokyo, Department of Mathematics and Statistics, York University, Toronto, Ontario, Canada, 2000. http://www.math.yorku.ca/Who/Faculty/Whiteley/Dynamic.pdf. [133] Y.-C. Wong, Some Properties of the Triangle. The American Mathematical Monthly, vol. 48, pp. 530535, 1941. [134] Y.-C. Wong, Some Extensions of the Douglas-Neumann Theorem for Concentric Polygons. The American Mathematical Monthly, vol. 75, pp. 470482, 1968.
BIBLIOGRAFIA
83
[135] W.-T. Wu, Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving, vol. 489 de Mathematics and Its Applications. Boston, USA: Kluwer Academic Publishers, 1999. [136] P. Y. Wu, Polygons and Numerical Ranges. The American Mathematical Monthly, vol. 107, pp. 528540, JunhoJulho, 2000. [137] I. M. Yaglom, Geometric Transformations I. New Mathematical Library, Washington, DC: The Mathematical Association of America, 1973.

Complexidade em Geometria

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Complexidade em Geometria

Transféré par

Droits d'auteur :

Formats disponibles

Silvana Marini Rodrigues Lopes

COMPLEXIDADE EM GEOMETRIA EUCLIDIANA PLANA

Departamento de Matemtica a Pontif cia Universidade Catlica do Rio de Janeiro o

Rio de Janeiro, 30 de agosto de 2002.

4 Inverses e o porismo de Steiner o 4.1 Inverses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o

A demonstrao do porismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . ca Apndice: O porismo de Poncelet . . . . . . . . . . . . . . . . . . . . . . . . . e

Cap tulo 1 O teorema de Napoleo a

Figura 1.1: O tringulo externo de Napoleo. a a

Teorema 1.1 O tringulo externo de Napoleo de qualquer tringulo equiltero. a a a e a

ABC, seus baricentros

Figura 1.2: O tringulo interno de Napoleo. a a

Teorema 1.2 O tringulo interno de Napoleo tambm equiltero. a a e e a

Trs demonstraes clssicas e co a

Trs demonstraes clssicas e co a

Trs demonstraes clssicas e co a

um segmento M N ser denotado por M N . a

Figura 1.3: Uma demonstrao trigonomtrica. ca e

Trs demonstraes clssicas e co a

Observao: A demonstrao acima apresenta o teorema de Napoleo como um caso partica ca a

Trs demonstraes clssicas e co a

Trs demonstraes clssicas e co a

A construo por rotaoes ca c

(a) Figura 1.6: O argumento extremal.

enunciado, a sua demonstrao indicada como anloga ao caso externo. ca e a

A construo por rotaes ca co

A construo por rotaes ca co

Figura 1.7: A construo do tringulo de Napoleo por rotaes. ca a a co

A construo por rotaoes ca c

Teorema 1.3 O tringulo de Napoleo equiltero. a a e a

Figura 1.8: A demonstrao por rotaes em R2 . ca co

A construo por rotaes ca co

A construo por rotaoes ca c

A construo por rotaes ca co

Figura 1.9: Rotaes em notao complexa. co ca

A construo por rotaoes ca c

R R Z C =z Y A=0 B=1 A=0 Q Z C =z Q Y B=1

(a) Im(z) > 0

(b) Im(z) > 0

(c) Im(z) < 0

(d) Im(z) < 0

X C=z B=1 A=0 Y Z Q B=1

(a) Im(z) > 0

(b) Im(z) > 0

R Q Z A=0 Y C=z X X B=1 A=0 Z

(c) Im(z) < 0

(d) Im(z) < 0

n-gono regular. A resposta no, j para n = 4, como mostra a gura 1.13. a e a a

Outras propriedades do tringulo de Napoleo a a

Outras propriedades do tringulo de Napoleo a a

Outras propriedades do tringulo de Napoleo a a

e Queremos mostrar que area( ABC) = area( XY Z) rea( X Y Z ), isto , que a 3 1 zz = z + 2 2i 4 4 3i zz + 3 3 2 z + 2 . 4

Desenvolvendo esta equao, chegamos a seguinte expresso em z e z, ca ` a 4 3i z + + 3 z + = 0,

Outras propriedades do tringulo de Napoleo a a

Figura 1.16: Quatro conguraes onde a propriedade 2 verdadeira. co e

Outras propriedades do tringulo de Napoleo a a

Outras propriedades do tringulo de Napoleo a a

R = (afim,afim) Q = (afim,afim) C = (x,y )

Outras propriedades do tringulo de Napoleo a a

constante constante constante constante

Figura 1.19: A propriedade 3 se verica trivialmente para um tringulo issceles. a o

Outras propriedades do tringulo de Napoleo a a

Figura 1.20: Quatro valores de y para os quais o tringulo a distintas do polinmio o

Conseqentemente, p(x, y) = 0 para todo (x, y) R2 , como quer u amos demonstrar.