HOWARD EVES INTRODUCAO AHISTORIA DA MATEMATICA Tradugao Higyno H. DominguesEves, Howaed Er 281 Indust hitra da matemin / Howard Eves: radu: Hygino H. Domingues ~ Campinas, SP: Editors da UNICAM, 2004 “Tadusio de An inuoution to the history of mathematics 1. Matemiten ~ Hats. Tielo ISBN 85-268.0657-2 20 CoD 5109 Indice para extdlogo sintemlico: 1. Matemssca ~ Hiei 5109 CCopyeight © by Howard Eves Copytight © 1990, 1983, 1976, 1969, 1964 by Saunders College Publishing Copyright a wadusfo © 2004 by Edita da UNtcau 1 ecimpreso, 2005, [Neshuma parte dexa publiagto pode sé gavaa,armanenada em sieina eenicn, Frocopnds, eprodusida por meios mecnicos 0 ‘ucon quinqer sem autoriarso previa do eto Formato 16x23 em . Tipe Aral Garamond Papel olen soft 80 gim® ~ mile Cartio supreme 250 glen? ~ capa Nimero de pginas sad Filmer Edicora da Usa dicots da Unicuwr Caixa Postal 6074 Cidade Universitiia Bardo Gerldo CEP 13083-892 Campinas ~ SP — Brasil ‘Tel.ifax: (09) 3788-723517786 wormeditorsunicampbr vendar@editora.unicamp.br Impreso ¢ Encadernagio RR Donnelley Moore13 AS PRIMEIRAS DECADAS DO SECULO XIX E A LIBERTAGAO DA GEOMETRIA E DA ALGEBRA 13-1 O Principe dos Matematicos Homem de estofo e talento matematicos impressionantes, Catl Friedrich Gauss sobressai-se nos séculos XVIII e XIX como um Colosso de Rodes da matemitica. Ele é universalmente considerado como 0 maior matematico do século XIX e, ao lado de Arquic medes ¢ Isaac Newton, como um dos maiores de todos os tempos. Carl nasceu em Brunswick, Alemanha, ém 1777. Seu pai era um trabalhador bragal que tinha uma opiniio teimosamente pouco favorivel a respeito da educacio. Sua ‘mae, porém, ainda que inculta, encorajava-o nos estudos e manteve por toda a vida grande orgulho pelas redlizagses do filho. Gaal foi uma das mais notiveis criangas-prodigio, dessas que aparecem de raro fem raro, Diz-se que com a idade de trés anos detectou ui erro aritmético no borrador de seu pai, Ha uma historia segundo a qual 0 professor de Carl na escola paiblica, quando ele tinha dez anos de idade, teria passado 4 classe, para manté-la ocupadl, a tarefa de somar fs niimeros de 1 a 100, Quase que imediatamente Carl colocou sua lousa sobre a eseriva- ninha do irritado professor. Quando as lousas foram finalmente vieadas, o professor sur- preso verificou que Carl tinha sido © nico a acertar @ resposta correta, 5050, mas sem fazé-la acompanhar de nenhum céleulo, Carl havia mentalmente calculado a soma da progressio aritmética 1+ 2+ 3+... + 98 + 99 + 100 observando que 100 + 1= 101, 99 + 2 = 101, 98 + 3 = 101 e assim por diante com os cinqllenta pares possiveis dessa maneira, sendo a soma portanto 50 x 101 = 5050. Mais tarde, quando adulto, Gauss ccostumava jactar-se de ter aprendido a contar antes de aprender a falar A precocidade de Gauss chamou a aten¢io do duque de Brunswick, que, como ‘um gentil © compreensivo patrono, acompanhou sua entrada no colégio em Brunswick com a idade de quinze anos © na Universidade de Gértingen com dezoito anos de idade. Indeciso entre tornar-se um fillogo ou tornar-se umn matematico (embora jf tivesse desco- berto o método dos minimos quadrados que uma década antes fora publicado indepen- dentemente por Legendre), seu espitito dramaticamente pendew pata a matematica a 30 de ‘marco de 1796, quando Ihe faltava um més para completar dezenove anos de idade. O acontecimento foi sua surpreendente contribuigao A teoria das construcdes euclidianas de Poligonos regulares e, em particular, a descoberta de que um poligono regular de dezes- sete lados € construtivel nesses moldes. J& contamos essa hist6ria na Secio 5-6. 519No mesmo dia dessa descoberta Gauss comecou seu famoso didtio matematico, 20 qual confiou, de maneira criptica, muitas de suas grandes realizagoes matematicas. Como Gauss, da mesma maneira que Newton, era lento e relutante para publica, seu diisio, que s6 foi encontrado em 1898, levantou numerosas questoes de prioridade. O diario contém 146 breves registeos, 0 dltimo datado de 9 de julho de 1814, Como ilustracao do caritercriptico dos registros do didtio, consideremos o de 10 de julho de 1796, onde se Ie EYPHKA! num = A+A+A, fo que traduz a descoberta, por parte de Gauss, de uma demonstragio de que todo inteiro positivo € soma de trés ntimeros triangulares. ‘Todos os registios do difrio, exceto dois, foram, em sua maior parte, decifrados. O registro de 19 de marco de 1797 mostra que Gauss jé havia descoberto nessa ocasiio a periodicidade dupla de certas fungbes elipticas (ele nao tinha ainda vinte anos’ de idade) c um registro posterior mostra que ele tinha reconhecido a periodicidade dupla para 0 caso geral. Apenas essa descoberta, se Gauss a tivesse publicado, bastaria para Ihe trzer fama, Mas Gauss nunca @ publicou! Em sua tese de doutorado, na Universidade de Helmstit, escrita aos vinte anos de idade, Gauss deu a primeira demonstracdo plenamente satisfat6ria do teorema funda ‘mental da dlgebra (que uma equacio polinomial, com coeficientes complexos de grau ‘> 0, tem pelo menos uma raiz.complexa). Newton, Buler, d'Alembert ¢ Lagrange haviam feito tentativas frustradas de provar esse teorema, A idéia por tis da demonstracio de Gauss € a substituigao de z na equacio polinomial geral /(2) = 0 por «+ iy A separi- 0 a seguir das partes real e imaginiria na equagZo resullante fornece duas equagdes reais g(x 9) ~ 0 € Hx, J) = 0 nas variiveis reais x ¢ 3. Gauss mostrou que 0s grificos canesianos de a(x, )) = 0 © B(x, 9) = 0 sempre tém um ponto real comum (a, B) Segue-se que @ + bf € uma raiz complexa de /(2) = 0. A demonstragiio envolvia conside- rages geométricas. Quase vinte anos depois, em 1816, Gauss publicou duas novas demonstragdes, ¢ mais tarde ainda, em 1850, uma quarta demonstracao, num esforeo para ‘encontrar uma demonstragao inteitamente alybrica.! A publicagio unitiria mais importante de Gauss € sua Disquisitiones arithmett- ae, um trabalho de importincia fundamental na moderna teoria dos niimeros, As desco- hertas de Gauss sobre construcdes de poligonos regulares aparecem nesse trabalho, assim como sua facil notago para congruéncia (Ver Exercicio 13.2) ¢ uma demonstragio da bela Jet da reciprocidade quadrada que afirma, usando-se 0 simbolo de Legendre definido pent do final da Seco 12-9, que se p= 2P + 1 e q= 20+ 1 sio primos impares diferentes, enti (ela (ap) = (172. 1 paca oma eradugio inglesa da segunda damonsragio, ver David Eugene Smith, A Source Book i Masbemates, 1958, p. 292306 Hoje aredizese que uma prova qualquer do teoremafundatientl diet deve ‘envolver considers toplist 520CARL FRIEDRICH GAUSS GBiblioweca do Congresso) Gauss deu contribuigdes notiveis 2 astronomia, 2 geodésia e a eletricidade. Em 1801 cle calculou, mediante um novo procedimento e com parcos dados, a Grbita do planctoide Ceres, recentemente descoberto, € no ano seguinte a do planetGide Palas. Em. 1807 cle se tornou professor de matemitica e diretor do observat6rio astrondmico de Gotingen, posto que ocupou até sua morte, Em 1821 ele realizou uma triangulacio de Hanover, calculou a medida de um arco meridiano e inventou o heli6grafo. Em 1831 comegou a colaborar com seu colega Wilhelm Weber (1804-1891) em pesquisas basicas cm cletricidade e magnetismo; em 1833 0s dois descobriram o telégrafo eletromagnético, Em 1812, num artigo sobre séries hipergeométricas, Gauss fez a primeira investi sgagio sistematica sobre convergéncia de séries. A obra-prima de Gauss sobre a teoria das superticies, Disquisitiones genenales ctrea superficies curvas, suggiu em 1827, ¢ inaigurou © estudo da geometris intrinseca clas superficies do espago (ver Segio 14-7), Sua antecipa- 0 da geometria nao-cuclidiana sera discutida na Seca0 13-7. EE famosa a afirmagio de Gauss de que “a matematica € a rainha das ciéncias, & 2 teoria dos nlimeros é a rainha da matemitica”. Jf se descreveu Gauss como o “gigante ‘matemtico que do alto de sua magnitude abarca num relance as estrelas € os abismos Gauss era um perfeccionista quanto a seus escritos matemiticos, Asseverando que uma ceatedeal nao € uma catedral até que se rete o dtimo de seus andaimes, ele se empenhava para que cada uma de suas obras fosse completa, concisa, acabada e convincente, com a remosio de cada traco da analise com a qual alcancava seus resultados, De conformidade com isso adotou como selo uma drvore com uns poucos frutos apenas e o lema; Pawca sed ‘matiera (Poutcos, porém maduros). Como segundo lema Gauss adotou as seguintes linhas de Rei Lear saVos, natureza, arte minha deusa; a vossas leis Esta meus servigos destinados. Gauss acreditava que a matemitica, por inspiracio, deveria atingir o mundo real. Confor- me colocou Wordsworth: “A sabedoria muitas vezes esti mais perto quando nos absixa- mos do que quando nos levantamos, Gauss morreu em sua casa no Observatorio de Géttingen em 23 de fevereiro de 1855, ¢ logo depois, o rei de Hanover ordenou que se preparasse uma medalha comemo- rativa em sua homenagem. Essa medalha, de setenta milimetros, afinal foi feita (1877), sendo completada pelo conhecido escultor ¢ medalhista Friedrich Brehmer, de Hanover. ela figura a inserigio Georgius V. rex Hannoverge Mathematicorum principi Gorge V rei de Hanover 0 Principe dos Matemsticos) Desde entio Gauss conhecido como “o Principe dos Mateméticos". Caspar Wessel (1745-1818), Jean Robert Argand (1768-1822) © Gauss foram os primeiros autores @ notar a associaga0, agora familia, entre abmeros complexos © pontos reais do plano? Wessel ¢ Argand nao eram prolessores de matemética; Wessel era um agrimensor, nascido em Josrud, Noruega, e Argand um guarda-livros, nascido em Genebra, Suita Parece no haver davida de que a prioridade da idéia cabe a Wessel, com um antigo apresentado 4 Real Academia Dinamarquesa de Ciéncias em 1797 e publicado nas “Atas dessa Academia em 1799. 4 contribuicio de Argand figura num artigo publicado em. 1806 € mais tarde, em 1814, apresentado nos Annales de Matbématiques de Gergonne. Mas o artigo de Wessel permaneceu excluido do mundo matemiético em geral até que foi descoberto por um antiquario cerca de noventa e oito anos depois dle ter sido escrito, Foi ‘entio republicado na oportunidade dor centenisio de seu primeiro aparecimento. Esse atraso no reconhecimento geral da realizacio de Wessel explica por que o plano complexo vveio a ser chamado plano de Argand em vez de plano de Wessel A contribuigao de Gauss se encontra numa memoria apresentada Sociedade Real de Géstingen em 1831, posteriormente reproduzida nas suas Obras Reunidas. Gauss assinalou que a idéia basica da representaco pode ser encontrada em sua tese de douto- ido de 1799, A afirmagto parece procedente ¢ explica por que o plano complexo frequentemente conhecido como plano de Gauss. 2 Aiki, pont, et nente ma sugeso feta por John Walls (1616-1708) fem 1673, de que os mimes imsginrios panos eran suscetiels de ser tepresentados numa fet perpendicular ao Gxo real Ver ¥. Calor, ‘Hlatoresl noes on the graphic representation of imagines before the me of Wesel, Ybe Amencan Mathematical Sony, 19, 1912, p. 187 52Pagina de rosto do artigo de Caspar Wessel “Om Direcionens anatyishe Betregning” (Sobre a representagdo analtica de vetores") apresentado & Academia Real Dinamarquesa de Cléncias emt 1797 eppublicado nas Nas da Academia em 1799. 0 artigo mestrava pela primeira vez a assoclacao de niimeros complexes com pontas reas do plano (Comesia do Departamento de Livros Ratos ¢ Colegdes Especiais, Biblioteca da Universidade de Michigan)A simples idéia de considerar as partes real e imaginaria cle um ntimero com- plexo a + bi como as coordenadas retangulares de um ponto do plano fez com que os ‘matemticos se sentissem muito mais 2 vontade com os niimeros imaginislos, pois esses ‘numeros poxliam agora ser efetivamente visualisados, no sentido de que a cada numero complexo corresponde um tinico ponto da plano e vice-versa. Ver & crer, € idéias ante- lores sobre a n20-existéncia e o carter Ficticio dos niimeros imagindrios foram geralmen- te abandonadas 13-2 Germain e Somerville Consideraremos agora brevemente duas matemiticas que, como Gauss, nasce- ram no Gitimo quartel do sécuio XVIII, mas cujo wabalho importante foi realizado no comero do século XIX. Cada uma dessas matematicas, Sophie Germain ¢ Mary Faitiax Somerville, @ sua maneira, contribuiu para a posterior emancipacio das mulheres em ‘matematica, SOPHIE GERMAIN (Colegio David Eugene Smith, Biblioteca de Livros Raros e Manuscrtos, Universidade de Cokimbia) Sophie Germain nasceu em Paris em 1776 ¢ desenvolveu profundo interesse pela matemética. Como mulher, estava impedida de matriculat-se na Escola Politécnica, Nao dobstante, ela conseguiu as nots de aula de virios professores e, com trabalhos escritos, submetidos sob 0 pseuddnimo masculino de M. Leblanc, ganhou rasgados elogios de Lagrange. Em 1816 foi agraciada com um prémio pela Academia de Ciéneias da Franca por ‘um antigo sobre a matematica da elasticidade. Na mgtade dos anos 1820 provou que para todo primo impar p< 100 a equacao de Fermat x? + yP = 2° nio tem solusdes no cconjunto dos inteiros nao-divisiveis por p. Em 1831 introduziu em geomettia diferencial a ‘itl nocio de curvatura média de uma superficie num ponto da superlice (ver Sedo 14-7). 524 por pars 2 obraEmbora tenka sido muito superior como matematica, & com freqaéncia chamada de Hipd- tia do século XIX, Com seu pseudonimo de M, Leblanc trocou cortespondéncia com Gauss por quem foi fartamente elogiada e cumprimentada. Somente algum tempo mais tarde Gacse ficou sabendo que M. Leblanc era uma mulher. £ lamentivel que Gauss e Germain jamais tenham se encontrado ¢ igualmente lamentivel que Germain tivesse morrido (ein 1831) antes de a Universidade de Gottingen conferie-lhe o titulo honoririo de doutor recomen. dado por Gauss, Dizese que Sophie Germain resolveu estucar matemitica depois de ler fuscinada, dufame os dias violentos que se seguiram 4 queda da Bastilha, a vida ¢ a morte de Arquimedes durante dias igualmente violentos apés o cerco de Siracusa, Em sua memoria Sobre a elastcidade observou: “A algebra ndo € senio a geometria escrita e a geumnetria do € sendo a dlgebra figurada.” Mary Fairfax Somerville (1780-1872) Foi uma notivel autodidata escocesa que, Por si propria, estudou o Traité de Mécanique Céleste e foi convencida pela Sociedade: Para a Difusio do Conhecimento Cuil a escrever uma exposicio popular dessa grande ‘obra. Embora jf tivesse quase cingjenta anos de idade e carecesse de preparagio formal, sua exposi¢do (concluida em 1830 ¢ intitulada The Mechanisms of the Heavens) fot tac) brilhante que alcangou varias edigdes © tomou-se leitura obrigatoria para estudantes de imatemtica das universidades britinicas por quase um século, O trabalho contem explana. sees matemiticas © diagramas que tomam compreensivel a dificil obra de Laplace. embasamento matemitico necessario foi posteriormente (1832) publicado a pate sob titulo de Preliminary Dissertation on the Mechanisms of the Heavens MARY FAIREAX SOMERVILLE (Colesio David Eugene Smith, Biblioteca de Livros Raros e Manuscritos, Universidade de Coltimbia) Poe em evidéncia as absurdas dificuldades enfrentadas por uma mulher no sécu- Jo XIX, a hist6ria segundo a qual a jovem Mary Somerville, para tet um exemplar dos 325lementos de Buclides que tanto desejava, teve de pedir a um irmao para compei-lo numa, Hvraria, uma vez que Euclides era considerado uma leitura impropria para jovens do sexo. feminino. Aos 24 anos de idade casou-se com um homem pouco interessado nos anseios intelectuais de uma mulher. Felizmente para a matemitica, seu marido faleceu depois de trés anos de casamento, deixando uma substancial importincia em dinheiro, 0 que propi- ciou a els a oponunidade de comprar livios de matemitica. Mary se casou outra vez, mas desta feita com um homem que via com bons olhos as atividades intelectuais. Somerville acabou sendo recompensada com uma pensio governamental, ea Royal Society of London homenageou-a com um busto em seu Grande Sagudo. O astrOn0- mo John Couch Adams afimou que a razio que o levara a procurar um novo planeta (Netuno), para explicar as observadas perturbacdes de Urano, foi uma referencia no The Mechanisms of the Heavens de Somerville. Aié sua morte, 20s 92 anos de idade, Somerville nao parou de trabalhar. O Somerville College, um dos cinco colleges para mulheres de (Oxford, tem esse nome em homenagem a ela 13-3 Fourier e Poisson Conforme se entra no século XIX, 0 niimero de matemiticos competentes & produtivos toma-se tio grande que somos obrigados 4 selecionar apenas unas poucas das estrelas de maior brilho no deslumbrante firmamento matemitico. Duas dessas esteclas, se mio de primeira grandeza, pelo menos de segunda, foram Jean Baptiste Joseph Foutier © Siméon Denis Poisson. Praticamente contemporaneos, os dois eram franceses,trabalhiaram, ‘em matemitica aplicada € foram professores da Escola Politécnica, Fourier nasceu em Auxerre em 1768 ¢ faleceu em Paris em 1830, Filho de um alfuiate, ficou Grfo0 aos oito anos de idade € foi educado numa escola militar dirigida por Ddeneditinos, onde veio a ocupar uma cadeira de matematiea, Tendo ajudado a promoves 2 Reyolugio Frincesa foi recompensado com uma citedra na Escola Politécnica. Renun- ciou a essa posigio para, juntamente com Monge, poder acompanhar Napoleao na expe- digo a0 Egito. Em 1798 foi indicado governador do Baixo Egito, ApOs as vitorias Dritinicas e a capitulagio da Franca em 1801, Fourier retornou a Franca, tornando-se prefeito de Grenoble. Foi quando de sua estada em Grenoble que comegou suas experién- ‘cas com 0 calor, Em 1807 Fourier apresentou um artigo 4 Academia de Cigncias da Pranga que deu inicio a um novo e extremamente frutfero capitulo da histéria da matematica. O artigo trata do problema pritico da propagacao do calor em barras, chiapas e s6lidos metilicos, No desenvolvimento do artigo Fourier fez a surpreendente alirmagio de que toda funcio definida num intervalo finito por um grifico descrito arbitrariamente pode ser decomposta, ‘numa soma de fungdes seno e co-seno. Para ser mais explicito, ele afirmou que uma Fungao qualquer, nao importa quao caprichosamente seja definida no intervalo Cx, x), pode ser representada nesse intervalo por 326is 6 Y (a, cosms b, sen ms, onde os coeficientes ae b sio niimeros reais convenientes. Essa série é conhecida como, série irigonométrica e nao era uma novidade para os matemticos daquela época. De fato, ji se provara que muitas das fungOes mais ou menos “bem comportadas’ podiam ser representadas por meio dessas séries, Mas Fourier afirmou que toda fungao definida em (Gat) pode ser representada dessa maneira, Os sibios da Academia encararam com muito. ceticismo a afirmagio de Fourier ¢ 0 artigo, julgado por Lagrange, Laplace ¢ Legendre, foi rejeitado, Todavia, para encorajar Fourier a desenvolver suas ideias mais cuidadosamente, 2 Academia instituiu um grande prémio, tendo como tema a propagacio do calor, a ser ‘outorgado em 1812. Fourier submeteu um artigo revisado & Academia em 1811, artigo esse que, julgado por uma comisso que inclufa, entre outros, 08 mesmos juizes da oportunida- de anterior, acabou ganhando o prémio mas, devido as eriticas recebidas pela falta de rigor, nao foi recomendado para publicacio nas Mémoires da Academia, JOSEPH FOURIER (Coleco David Smith) Ressentido, Fourier continuou suas pesquisas sobre @ calor © em 1822, poste- tiormente a sua mudanga para Paris (em 1816), publicou um dos grandes ckissicos da ‘matemitica, a Théorie Analytique de la Chaleur (Teoria Analitica do Calor). Dois anos depois da publicasio dessa grande obra, Fourier tarnou-se secretério da Academia e, ‘nessa condicio, péde fazer com que seu artigo de 1811 fosse publicado na forma original nas Mémoires da Academia, Embora se tivesse provado que a alirmacio de Fourier de que toda funcio pode ser expressa por uma série trigonomética (hoje chamada série de Pourier) € exagerada, na S27verdade a classe das funcoes para as quais vale essa representagiio € muito extensa. As séries de Fourier provaram ser da mais alta utlidade em campos de estudo como a actstica, a Optica, a eletrodinamica, a termodinimica e varios outros, e tém um papel fundamental na andlise harm@nica, problemas sobre vigas ¢ pontes ¢ na soluczo de equa- oes diferenciais, De fato, foram as séries de Fourier que motivaram os métodos modernos de fisica-matemitica que envolvem a integracio de equacses diferenciais parciais sujeitas «4 condigdes de contomo. Na Secio 15-3 veremos um imponante papel desempenhado pelas séries de Fourier na evolugio do conceito de funcio. Num trabalho publicado postumamente em 1831 encontramos, entre outras |questdes originais, a contribuicio de Fourier a0 t6pico da separagio de raizes de equacdes polinomiais (nos textos modemos considerado da teoria das equacdes). Esse assunto despertou-lhe interesse, intermitentemente, desde 1789. Sadi Carnot (1796-1832), contem- porineo de Fourier e filho do eminente geémetra focalizado na Sego 12-10, também se Interessou pela teoria matemstica do calor ¢ inaugurou a moderna teoria da termodi Lord Kelvin (William Thomson, 1824-1907) afirmou que toda a sua carreira na Fisica-matematica fot influenciada pelo trabalho de Fourier sobre 0 calor e Clerk Maxwell (2851-1879) manifestou que o tratado de Fourier & “um grande poema matematico" Conta-se uma historia engracada sobre o interesse de Fourier pelo calor, Talvez fem conseqiiéncia de sua experiencia no Egito © de seu trabalho envolvendo o calor, Pourier acabou se convencendo de que o deserto oferecia as condigdes ideals para uma boa saiide. Por isso vestia-se com varias camadas de roupa © aquecia a temperaturas insuportavelmente altas as dependéncias que habitava. Dizem alguns que essa sua obses- io pelo calor apressou sua morte, por doenca cardiaca, aos sessenta e tr8s anos, coz de fato. Talvez a mais citada frase (Figura em seu primeiro trabalho sobre a teoria mate- miitica do calor) de Fourier seja: “O estudo profundo da natureza & a fonte mais tica de descobertas matemsticas.” Poisson nasceu em Pithiviers em 1781 e faleceu em Paris em 1840. Foi educado Por scu pai, um soldado raso que ao se’reformar recebeu um pequeno posto adminis- irativo naquela aldeia e, quando a Revolugio Francesa estourou, assumiu 0 governo do lugar: Alguns parentes desejavam induzir o jovem Poisson, contra sua vontade, a seguir a carreira da medicina. & iniciagio foi dada por um tio que o ensinou a picar com uma lanceta os veios de folhas de couve. Depois de se aperfeigoar bem nisso qualificou-se para lancetar piistulas. Mas, praticamente no primeiro caso com que se houve, o paciente morreu em poucas horas. Embora os médicos garantissem que ent “um acontecimento normal”, Poisson jurou abandonar de vez a profiss20, Um forte interesse pela matemitica levou Poisson a ingressar na Escola Politéc- nica em 1798, onde seus talentos impressionaram Lagrange e Laplace. Depois de gradwar- se tomou-se palestrante da Fscola Politécnica. Gasiou 0 resto de sua vida em varios postos governamentals e no magistério. Um tanto quanto socialist, manteve-se um republicano determinado até 1815, quando aderiu aos legitimistas 528 Fo © 400, Suas 3811 ¢ 1534 Chateur se abordou 3 fisica, a a SIMEON P- (ColecsForam numerosas a publicagdes matematicas de Poisson, aleancando entre 300 © 400. Suas principais obras sio Traité de Mécanique, em dois volumes, publicados em 1811 e 1833, Théorie Nouvelle de Action Capillaire de 1851, Théorie Mathématique de la Chateur de 1835 € Recherebes sur la Probabilité des Jugements de 1837. Em seus artigos abordou assuntos como a teoria matemtica da eletricidade ¢ do magnetismo, astronomia fisica, a atracdo de clipsoides, integrais definidas, séries e teoria da elasticidade. O stu dlante encontra os colehetes de Potssan (em equacdes diferenciais), a constante de Poisson (em eletricidade), a razdo de Poisson (em elasticidade) a integral de Poisson e a equaco de Poisson (na teoria do potencial) a lei de Poisson (na teoria da probabilidade) Poisson esti ligado a um de seus interesses profissionais por uma hist6ria engra ¢gada, Quando crianga, ele foi posto sob os cuidados dle uma ama. Lim dla, quando seu pai foi vé-lo, a ama saira deixando 0 garoto suspenso por sua cinta a um cravo na parede — ara protegé-lo, disse a ama, de alguma doenga ¢ da sujeira do soalho. Poisson relatou que seus esfoxeos fisicos quando estava suspenso Faziam-no balangar de um lado para ‘outro, e foi dessa maneira que, tio cedo, © péndulo, em cujo estudo ocupou grancle parte de seus esforcos cientificos, entrou em sua Vidi. Poisson uma vez frisou: “A vida é boa por duas coisas, descobrir mate censinar matemitica.” Em ambas ele se sqbressaiu. SIMEON POISSON (Colegio David Smith) 13-4 Bolzano Bemhard Bolzano nasceu em 1781, em Praga, Tehecoslovquia, onde faleceu em 1848. Tomou-se padre, mas foi secularizado por heresia ¢ destituido das fungces de professor de religido da Universidade de Praga. Bolzano tinha inclinacdo part a lbgica e a matemtiticn, 529‘especialmente a anise, e pode set considerado um precursor da “aritmetizagio da anéli- se (ver Segio 14-9). De fato, perto de 1817 ele ja estava plenamente cnscio da necessidade de rigor em analise; Felix Klein posteriormente referiu-se a ele como “O Pai da Aritmetizacao’ Infelizmente 0 trabalho matemético de Bolzano foi grandemente ignorado por seus contemporineos, e muitos de seus resultados aguardaram ulterior redescoberta. Em 1843, por exemplo, ele construiu uma fung3o continua num intervalo que, surpre- endentemente, nio tinha derivada em nenhum ponto do intervalo, Essa funclo no se fomou conhecida e credita-se a Weierstrass, cerca de quarenta anos mais tarde, o primeira exemplo dessa espécie. Ha um teorema famoso, conhecido pelo nome desses dois mate- miticos, 0 teorema de Bolzano-Weierstrass, cujo enunciado afirma que todo conjunto de ppontos, infinito e limitado, tem um ponto de acumulagto. Coube a Weierstrass, em pales- tras dadas cm Berlim, na década de 1860, 0 métito da demonstracao desse teorema tio importante para os fundamentos da teoria dos conjuntos. O feorema do valor interme diario do calculo, de tanta utilidade, muitas vezes é conhecido como teorema de Bolzano. © eorema diz. que se /(2) @ uma fungdo real continua definida num intervalo aberto Re toma os valores ce nos pontos a ¢ bde R, entio ftoma qualquer valor 7 situado entre Ge Bem pelo menos um ponto ede Rentre ae b Bolzano discutiu muitos exemplos anglogos ao paradoxo de Galileu referente & cortespondéncia biunivoca entre ox ineitos positivos ¢ seus quadrados Iver Exercicio. 9.7(6)] ¢ parece ter percebido que 0 infinito do conjunto dos niimeros reais & de um tipo, diferente do infinito do conjunto dos inteiros. Num trabalho péstumo, de 1850, Parado- sxien des Unendlichen (Paradoxos do Infinit), Bolzano mostrou muitas propriedades importantes dos conjuntos infinitos. Conta-se uma hist6ria espirituosa sobre Bolzano. Certa ocasido, foi acometido de ‘uma doenga cujos sintomas eram dores no corpo e calaftios, Para afastar seu espirito dos males que o acometiam, apanhou os Hlementos de Euclides ¢ pela primeira vez leu -agistral exposigio da teoria das proporgoes de Eudoxo exposta no Livro V. E eis que seus males se vao, Dizse que depois disso, as pessoas que se sentiam igualmente moles- tadas, Bolzano recomendava a leitura do Liveo V de Euclides, 13-5 Cauchy © movimento visando imprimir rigor 2 andlise teve inicio no século XIX com Lagrange © Gauss, Esse trabalho foi consideravelmente ampliado e aprofundado pelo ‘grande matematico francés Augustin-Louis Cauchy, o mais importante analista da primeira metade do século XIX, Cauchy nasceu em Paris em 1789 © recebeu a primeira educacto de seu pai Posteriormente, na Ecole Centrale du Panthe6n, ele se sobressaiu em estudos eldssicos. Em 1805 entrou ni Escola Politécnica e ganhou a admiragao de Lagrange e Laplace. Dois anos mais tarde matriculou-se na Ecole des Ponts e Chaussées visando prepararse para ser cengenheiro civil. Persuadido por Lagrange ¢ Laplace decidiu abandonar a engenhaia civil fem favor da ciéneia pura e aceitou um cargo de professor na Escola Politécnica 530 trabalbce dle Cauces plexas. fintegra: de a derivads aeAUGUSTIN-LOUIS CAUCHY Colegio David Smith) Cauchy escreveu extensiva e profundamente tanto sobre matemtica pura como Sobre matemitica aplicada, ¢ provavelmente se ombreia com Euler em volume de prod so. Suas obras reunidas contém, além de vitios livros, 789 artigos, alguns dos quais s20 trabalhos longos, preenchendo trinta © quatro alentados volumes. A qualidade desse abs. tho ¢ Inregular; por isso Cauchy (muito ao contrario de Gauss) tem sido eriticad por soa Produsao excessiva e por sua redacio apressada. Conta-se uma histOria a propdeito da brodligiosa produtividade de Cauchy. Em 1835 « Academia de Ciencias comecou 4 publicar seus Comptes endus: Tao rapidamente Cauchy abastecia esse jomnal de artigos que a Acaclemia ficou alarmada com as crescentes despesas de impressio e institu na norm, doje ainda em vigor, imitando a1no maximo quatto paginas os argos publicados, Cauchy teve de procurar outros escordoutos para seus longos artigos, alguns excedendo cem paginas ‘As bumerosas contribuicées de Cauchy 8 matemética avancada incluem pesqu- sas.em convergénciae divergéncia de sércsinfinitas, teria das funcdes reas e complexas, equagdes diferenciais, determinantes, probabilidade e fisca-matematica, © aluno de cal to encontra seu nome no teste da ratz de Cauchy e no teste da razio de Cauchy pata ‘erifcagio da convergéncia ou divergéncia de uma série de termos positivos ¢ no proslulo de Cauchy de duas séries dadas. Mesmo num primeiro curso de teoria das fangdes com. Dlexas, encontram-se a desigualdade de Gauchy, a formula integral de Cauchy, 9 teosorna integral de Cauchy e as basicas equagdes diferenclats de Cauchy Riemann Devesse a Cauchy grande parte da abordagem do célculo apresentado nos atuais {estos universitiris, como os conecitos bisicos de limite © continuidade Cauchy definite a derivaca de y= f(2) em relacio a x como o limite, quando Ax > 0, da razto Ay fee + ax) - flo) ax x satEmbora tivesse cigncia da facilidade operacional das diferenciais, Cauchy relegou-as a segundo plano. Se dx é uma quantidade finita, ele definiu dy, de y= f(2), simplesmente como f(x, Emhora durante o século XVII a integracio fosse geralmente focalizada como 3 inversa da diferenciagio, Cauchy preferiu definir a integral definida como o limite dda soma de um conjunto infinitamente crescente de partes pequenas tendendo a zero, de modo muito parecido com o que fazemos hoje, A relagao entre uma integral e uma antiderivada se estabelecla entio através do teorema do valor médio, As contribuigdes de Cauchy @ teoria dos determinantes, comecando em 1812 com uma extensa meméria de oitenta € quatro paginas, colocam-no como o matemitico ‘que mais contribuiu para assunto. Foi num artigo de Cauchy de 1812 que apareceu a primeira demonstracao do importante e ttl teorema que garante que se 4 e B sio matrizes mx n,ento ABI = 1Al 1B, Incidentalmente foi Cauchy quem, em 1840, introduziu a ppalavza “caracteristica’, na teoria das matrizes, chamando a equagio 1A Al = 0 de equacdo caracteristica da mattiz. A © trabalho de Cauchy mostra grande preocupacao com 0 rigor ¢, como tal, serviu para inspitar grandemente outros matemviticos a eliminar da analise a manipulag30 formal cega e as demonstragoes intuitivas, Cauchy era um partidirio ardente dos Bourbons e, apOs a Revolugao de 1830, foi forcado a abandonar seu cargo de professor na Escola Politécnica, além de ser excluido do serviga piblico por dezoito anos. Parte desse tempo ele passou no exilio em Turim € Praga e parte em Paris lecionando em algumas escolas religiosas, Em 1848 foi-lhe permiti- do retornar a Escola Politéenica sem ter de fazer voro de fidelidade a0 novo governo. Em religio ele era fanstico; gastava boa parte de seu tempo tentanto converter outras pessoas para sua fé particular. Durante toda a sua vide-foi um trabalhador infatigivel, e é lamenti- vel que tivesse um espirito to esireito © muitas vezes jgnorasse os esforcos meritdrios dos: jovens. Nao obstante, hi 0 outro lado da moeda: deve-se assinalar que em 1843 Cauchy publicou, em forma de carta aberta, uma defesa da liberdade de consciéncia e pensa- mento, Essa carta ajudou a convencer o governo da estupidez da repressio académica €, {quando Luis Filipe foi lorcado a abdicar, um dos primeiros atos do governo provisorio foi abolir 0 voto de lealdade, Cauchy morreu subitamente em 23 de maio de 1857 aos sessenta € oito anos de dade, Tinha ido para o campo para descansar € curar-se de problemas nos bronquios & foi surpreendido por uma febre fatal. Pouco tempo antes conversara com o Arcebispo de Paris. Suas tliimas palavras cirigidas ao Arcebispo, foram: “Os homens passam, mas suas realizagdes perduram.” 13-6 Abel e Galois £ natural, por uma razio ou outra, associar certos personagens da historia da matemitica aos pares. Esse € 0 caso de Harriot ¢ Oughtred (dois algebristas ingleses contemporancos), Wallis e Barrow (dois antecessores imediatos de Issac Newton no cam- po do célculo), Taylor ¢ Maclaurin (dois matemiticos ingleses contemporineos, conhe- sacidos especialmente por suas contribuigoes as séries infinitas), Monge ¢ Camot (dois ‘gcdmetras franceses contempordincos) ¢ Fourier e Poisson (dois pesquisadores contempo- ineos no campo da fisica-matemitica), Niels Henrik Abel e Evariste Galois constituem, ut exemplo dessa dualidade. Os clos, embora contemporineos, niio se relacionam pela nacionalidade ou por interesse matemitico semelhante; cada um, como um meteoro, ris- cou o firmamento matemstico com brilho intenso e matinal, para depois, sibita e patetica- mente, extinguir'se em morte prematura, deixando material de valor extraordindrio para ser tabalhaclo pelos matematicos das geragdes futuras. Abel morreu de tuberculose € subnutrigao aos vinte e seis anos de idade e Galois num duelo tolo aos vinte e um anos de idade; nenhum deles teve sua genialidade devidamente avaliada em vida Abel nasceu em Findd na Noruega, onde seu pai era pastor religioso, em 1802. Quando estudante na atual cidade de Oslo, pensou ter encontrado a solucio algébrica xgeral das equagdes quinticas, mas logo se corrigiu num famoso artigo de’ 1824, Nesse anigo Abel demonstrou a impossibilidade de estabelecer a sohugdo da equacao quintica xgeral por meio de radicais, sepultando assim um problema que havia desconcertado os matemticos desde Bombelli:até Viete (ver Sep20 8-8). Como conseqiléncia desse trabalho Abel obteve uma bolsa que lhe permitiu viajar para a Alemanha, a Itilia e a Franca, Durante esse periodo excreveu varios anigos em dreas diversas da matemitica como a da convergéncia de séries infinitas, a das shtegrais abelianas c a das fungoes elipticas. NIELS HENRIK ABEL (Colegio Davie Smith) [As pesquisas de Abel no campo das fungdes elipticas se deram em excitante amigivel competi¢do com Jacobi, Legendre, que era mais velho e que desenvolvera traba- Iho pioneiro sobre fungdes elipticas, ficou profimdamente impressionado com as desco- bertas de Abel sobre o assunto. Felizmente Abel consegui um canal de divulgagao para seus artigos na recém-fundada Journal fir die reine und angewandte Mathematik (mais conhecida como fournat de Crelle); de fato, 0 primeito volume da revista (1826) continha 533nada menos que cinco artigos de Abel e 0 segundo volume (1827) continha © tabalho de Abel que marcou o nascimento da teoria das funcdes duplamente periddicas. ‘Todo aluno de analise encontra a equacdo integral de Abel e © teorema de Abel sobre a soma das integrais das fungoes algébricas que leva as finigces abelianas. No capitulo das séries infnitas, hao teste de convergéncia de Abel e 0 teorema de Abel sobre séries de ppoténclas, Os grupos comutativos dla dlgebra abstata sto chamados hoje grupos abelianos Atormentado a vida toda pela pobreza ¢ sofrendo dos pulmoes, Abel jamais conseguiu cargo de professor numa universidade. Dois dias depois de morrer tragicamente fem Froland, na Noruega, em 1829, uma tardia carta Ihe era enviada com um convite para twabalhar na Universidade de Berlim, Embora Abel tivesse merecido pouco reconhecimento, em vida, do governo de seu pats, sua figura agora aparece em alguns selos postais da Noruega.* Mas 0s matemi- icos, 2 Sua maneira caracteristica, erigiram monumentos muito mais duradouros 2 Abel, pois seu nome esti perpetuado em abundantes teoremas ¢ teorias, Sobre Abel, certa Feita| assim se pronunciou Hermite: “Fle deixou material para que 0s matematicos Se ocupem, por quinhentos anos.” Mathias Keilhau, amigo intimo de Abel, concebeu a idéia de erigir fem sua homtenagem um monumento mais convencional no local de seu repouso derradei- 10. O turista de hoje que fizer uma peregrinacao 2 igreja de Froland encontrar o monu- ‘mento de Kiethau a seu amigo, Quando indagado sobre a formula para avangar to rapidamente para os primeitos cescaldes de sua matéria, Abel respondeu, "Estudando 0s mestres e nio seus discipulos” A vida de Evariste Galois foi ainda mais cuta © mais trigica do que a de Abel. Nascido perto de Paris em 1811, filho do prefeito de uma pequena cidade, © talento matematico extravtdindrio de Galois comegou a se mostrar pouco depois de completar ‘quinze anos de idade. Por duas vezes tentou ingressar na Escola Politécnica mas em ambas foi reprovado devido ao seu despreparo para cumprir as cxigéncias formais dos examina- dores que, por sua vez, falharam ao no perceber seu génio. Outro golpe se segui: seu pai, sentinco-se perseguido pelos clérigos, suicidou-se. Sem esmorecer, Galois por fin entrou na Escola Normal, em 1829, onde deveria se habilitar para 0 ensino. Mas, movido ppor simpatias democriticas, envolveu-se nas agitacoes da Revolucao de 1830 0 que Ihe valeu, além da expulsio da escola, varios meses de prisio, Pouco depois da sua libertacio, em 1832, com vinte e dois anos incompletos, uma manobra envolvendo um caso amorase arrastou-o a um duelo a pistola em que foi more. 3 ne outos matemiticos omenageados com sua eatampa em selos postals Agus: Arqumedes, Asisteles, Paras e Janos Holy, Boscovich, Brahe, Buffon, LNA Carnot, NLS. Cars, Chiang Hong, Chun Chih. Chapiygin, Copemico,Cristesen, Cusanus, eAlember, da Ving, Descartes, de Wit, Dire, Hiatein, Pe, Calileu, Gauss, Gerber, Homlton, Helmbolt, Hipazco, Huygens, Kepler, Kevaleesky, Kyi, Lagrange, Laplace, leniz Lapuriov, Lohachersky, Lorenz, Mercator, Monge, Nasieedaia, Newton, Oszogradsky, Pascal, Poincar, Popov, Pidgons, Ramanujn, Riese, Sevn, Texel, Tica e Tomoel. Os paises mais generosoe quanto 40 com seus matemicos tam sido 4 ROssa © 4 Franc; a Inglatera apenas recentememe presod este tipo de hhomenagem, ras Esladon Unidos esta inkiativa acomeceu apenas Guat vezes, Du Vin, Galley, Copemico © instin Form lembrados por quatro ou mas pases ferenes, 54 de quex dedicarse ‘grande cequasces dew 0 ¢ testamemm, alguma: cexigiram 01 EVARISTE (Colecse apés samGalois dominou os grandes textos de matemética de seu tempo com a facilidade de quem 1é uma novela, percorreu os artigos de Legendre, Jacobi e Abel para depois dedicarse a sua propria criago. Com dezessete anos de idade aleancou resultados de grande importincia, mas duas memorias que enviou 2 Academia de Ciencias se extravia fam, aumentando sua frustragio, Em 1830 foi publicado wm artigo de sua autoria sobre equacdes, com resultados visivelmente baseacos numa tcoria geral. Na noite que prece- deu 0 duelo, percebendo plenamente que com toda a certeza seria momo, escreveu um festamento cientifico na forma de uma carta a um amigo, Esse testamento diz respeito a algumas de suas descobertas nio-publicadas que, para serem esmiucadas posteriormente, exigiram 0 talento de grandes matematicos: elas fevelaram conter a teoria dos grupos ¢ a teoria de Galois (como € chamada agora). Essa teoria, baseada emt conceitos da teorla dos grupos, fomece criterios para a possibilidade clas construgdes com régua e compasso ¢ ara a resolubilidade de equagSes por radicais, EVARISTE GALOIS (Coles0 David Smith) Virias das memérias e manuscritos de Galois, encontrados entre seus papéis apés sua morte, foram publicados por Joseph Liouville (1809-1882) cm 1816 em seu Journal de Mathématique, Porém, uma avaliagio completa das realizagoes de Galois so aconteceria em 1870, quando Camille Jordan (1838-1902) as expos em seu livto Traité des Substitutions e mais tarde ainda, quando Felix Klein (1849-1925) e Saphus Lie (1842-1899) brithantemente fizeram uso delas na geomettia.* “Par uma dlscussdo dos mitos em tomo de Galois © su obra vero antigo de Tony Rothman, “Genius aed Biographer the Rcionaliraton of Eva Gali", The Amicon Salbemaial Monty 198, fe 535© estudlo das grupos comegou essencialmente com Galois; foi ele © pioneiro no uso (1830) da palavra “grupo” em seu sentido técnico. As pesquisas em teoria dos grupos foram entao levadas adiante por Augustin-Louis Cauchy (1789-1857) e outros que se suce- deram, para 0 caso particular dos grupos de substituicdes. Com o subseqtiente notivel, trabalho de Anhur Cayley (1821-1895), Ludwig Sylow (1832-1918), Sophus Lie, Georg, Frobenius (1848-1917), Felix Klein, Henri Poincaré (1854-1912), Otto Holder (1859-1937) & ‘outros o estuclo dos grupos assumiu sua forma abstrata independente € se desenvolveu rapidamente. A nogio de grupo veio a alcancar um grande papel codificador em geome- tia (ver Seco 14-8) ¢ em digebra serviu como uma estrutura atomica de coesio, fator de grande importancia para a ascensio da Algebra abstrata no século XX. A teoria dos grupos ainda €, nesta segunda metade do século XX, um campo de pesquisas muito produtivo em, ‘matematica. 13-7 Jacobi e Dirichlet A Revolugio Francesa, com sua ruptura ideol6gica com passado e suas muitas mudangas violentas, criou condicdes altamente favoriveis para o desenvolvimento da ‘matematica. Assim, no século XIX, a matemética recebeu grande impulso, primero na Franqa e depois, a medida que as forcas responsiveis por esse avango se espalharam pelo norte da Europa, na Alemanha e, ainda mais tarde, na Gri-Tretanha. A nova matemética comecou a se libertar dos lagos que a ligavam mecinica e a astronomia © uma nova pempectiva se anunciou. Carl Gustav Jacob Jacobi (1804-1851) ¢ Peter Gustav Lejeune Dirichlet (1805-1859) foram dois eminentes matematicas alemaes que participaram da fase inicial ce deslocamento do centro de atividades mateméticas da Franga para a Alemanha: Descendente de judews, Jacobi nasceu em Potsdam em 1804. Estudou na Univer- sidade de Berlim, onde se doutorou em 1825, Dois anos mais tarde era indicado professor extruordinario em Kénigsbeng; mais dois anos e era guindado a condigio de professor permanente. Eni 1842, com uma pensio do governo da Prisia, renuncia a sua cadeira em. Konigsberg e wansfere-se para Berlim, onde viveu até sua morte prematura em 1851. Dificilmente um grande pesquisador em matemitica € também um grande professor de matemiitica. Jacobi fol uma das excecdes, tendo sido, inquestionavelmente, 0 maior professor de matematica de sua geragio, estimulando € influenciando um ntimero sem precedentes de alunos talentosos. Suas pesquisas mais celebradas em matemitica S80 aquelas concernentes as funcoes elipticas. Ele € Abel, independente e simultaneamente, langaram as bases da teoria dessas fungdes, tendo Jacobi introduzido © que hoje constitui esséncialmente @ notagao para elas. Jacobi, a0 lado de Cauchy, foi talvez © matemtico que mais contribuiu para a teoria dos determinantes. Foi com ele que a palavra determt- ante recebeu aceitagio final, Desde logo usou 0 determinante funcional que poste- rormente Sylvester iia chamar de Jacoblamo e que os alunos encontram no estudlo da teoria das fungdes. Jacobi também contribuiu para a teoria dos nimeros, para a teoria das equacdes diferencias, tanto ordindrias como parciais, para 0 cileulo de variagdes, 0 pro- blema dos trés corpos ¢ outros problemas de dinamica, 536CARL GUSTAV JACOBI Colegio David Smith) A maioria dos estudantes Pensa que antes de fazer pesquiss & preciso dominar tudo que ja foi realizado. P. "ara contrabalancar esse conceito € om uma,” Na defesa da pesquisa pura contra a pesquisa apc Seats (A Wertadeina finalidade da ciéncia 6 a honta do espirto humane” lnitnco Plato que dizia, “Deus geometriza eremamente” jacob dizia, “Deus artmetiza eeoman cane Zcobi foi sempre generoso na apreciagio de seus grandes contemporineos no fanPo da matemética. De uma das obras-primas de Abel disse, “Esta aciina de mens Jouvores © acima de meu proprio trabalho” "matico to talentoso, ex-aluno de Gauss ¢ um ctemo sbalhos incompletos ‘de Gauss, mas a mom prematura em 1859 abstou-Ihe esse projeto, Proficiente em alemao e francés, Dirichlet servi de ligastio entre a matemtica e os matematicos das sua bela Vorlesungen wher Zablentheorte ainda as pesquisas sobre a teoria dos ntimeros de ele € a aplicagio de métodos infinitesimais ‘consttui uma das mais liidas introdugécs wuss. Uma das dividas que temos para com teoria dos niimeros. Dirichlet era amigo sarfntimo, expositor ¢ admirador de Jacobi, Seu nome aparece nos cursos superiores de ‘matemiticaligado com a série de Dirichlet, fungado de Dirichlet e 0 principio de Diricblet. LEJEUNE DIRICHLET (Colegio David Smith) Conta-se uma historia tocante envolvendo Dirichlet e seu grande mestre Gaus. Em 16 de julho de 1849, decorridos exatamente cingjilenta anos do doutorado de Gauss, houve uma celebracdo em Gottingen, Como parte da festa, a certa altura, Gauss deveria acender seu cachimbo com uma parte dos originais das Disguisitiones arttbmeticae. Di- richlet, que estava presente, se horrorizou com © que Ihe parecia im sacrlégio. No iltimo momento, ele corajosamente salvou o trabalho das mos de Gauss e guardou aquela reliquia pelo resto da vida; seus editores acharam-na entre seus papéis depois de sua morte, A descricio que se faz de Dirichlet é a de um homem nobre, sincero, humano € ‘modesto mas que, ao contrario de Jacobi, nao parecia abil para lidar com os espiritos jovens. Quando um colega de seu filho manifestou a este um certo citime por nao ter um Pai to talentoso para ajudi-lo, 0 filho deu a resposta, lamentivel mas memorivel, se- guinte: “Oh! Meu pai nao sabe as minimas coisas.” O engracado sobrinho de Dirichlet, Sebastian Hensel, registrou em suas memérias que a instrucio matemitica que recebeu de seu tio na sexta e na sétima séries do ginisio foi a experigncia mais terrivel de sua vida. Dirichlet era muito desleixado no que se refere a comrespondéncia familiar Quando nasceu seu primeiro filho ele no escreveu para o sogro, morando ento em Londres, para comunicar o evento, © sogro, quando 0 encontrou finalmente, comentou ter imaginado que Dirichlet “se disporia pelo menos a escrever que 2 + 1 = 3". Esse espirituo- So sogro nao era outro sendo Abraham Mendelssohn, um dos filhos do filésofo Moses Mendelssohn ¢ pai do compositor Felix Mendelssohn, 538© cérebro de Dirichlet, como o de Gauss, encontra-se preservado no departa- mento de fisiologia da Universidade de Gottingen, 13-8 Geometria Nao-Euclidiana Dois desenvolvimentos matematicos notiveis e revolucionarios ocorreram na primeira metade do século XIX. © primeiro foi a descoberta, perto de 1829, de uma gcomettia auroconsistente, diferente da geometria usual de Euclides; 0 segundo foi a Gescoberta, em 1843, de uma algebra diferente da algebra familiar dos nimeros reais, Voltaremos nossa atengo agora para esses dois desenvolvimentos, discutindo primeito © que se tefere a geometia, Ha evidéncias de que desenvolver logicamente a teoria das paralelas acarretou consideriveis dificuldades aos gregos antigos, Euclides enfreniou essas dificuldades defi- nindo retas paralelas como retas coplanares que no se interceptam por mais que sejam prolongadas em ambas as direcdes e adotando como suposigio seu agora famoso post- tado das paralelas, Esse postulado (ver Secao 5-7 para seu enunciado) carece da concisio © da compreensibilidade simples dos demais, além de, em hipétese alguma, possuir a caracteristica de ser *auto-evidente’, Na verdade ele € 0 reciproco da Proposigio I 17 & ara oS gregos antigos parecia mais uma proposiclo do que um postulado. Ademias, a Euclides nfo fez nenhum uso desse postulado até alcancar a Proposigio f 29. Assim, era natural tera curiosidade de saber se esse postulado era realmente necessério e cogitar que talver ele pudesse ser deduzidio, como teorema, dos outtos nove “axiomas’ ¢ *postulados” ou, pelo menos, ser substituido por um equivalente mais aceitavel, Dos muitos substitutivos encontrados para o postulado das paralelas de Euclides, © mais comumente usado & aquele que se tornou conhecido nos tempos modernos devido ‘20 matematico e fisico escocés John Playfair (1748-1819), embora essa particular alterna- tiva tivesse sido usada por outros € tivesse mesmo side enunciada fi no século V por Proclo, £0 substitutivo mais comum nos atuais textos elementares de geometria: For um onto fora de uma reta dada ndo ba mais do que wma paralela a essa rela? Outeas alternativas para 0 postulado das paralelas sio (1) Ha pelos menos um iridngulo cnja soma dos dngutos internos & igual a wm angulo raso, (2) Existe um par de tridngulos semelbantes ¢ ndo-congruentes. (3) Existe um par de retas {gualmente distantes uma da ‘titra em todos os pontos (4) Por trds pontos néto-colineares pode-se tragar uma circunfe- réncia. (5) Por qualquer ponto no interior de um dngulo menor que 60 pode-se sempre tragar uma reta que intercepta ambos os lados do angulo. As tentativas de provar 0 postulado das paralelas como um teorema a partir dos restantes nove “axiomas" e "postulados” ocuparam os gedmetras por mais de 2000 anos & cculminaram em alguns dos desenvolvimentos de maior aleance da matematiea moderna, 5 a.troposiso 27 garante «existincia de pelo menos ua parla. 539Foram dadas muitas “demonstragoes' do postulado mas, cedo ou tarde, mostrou-se que cada uma baseava-se numa suposicao técita equivalente a ele. A primeira investigagio realmente cientifica do postulade das paralelas s6 foi ublicada em 1773 e seu autor € o jesuita italiano Girolamo Saccheri (1667-1733). Pouco se conhece sobre a vida de Saccheri. Nasceu em Si Remo, mostrou acentuada precocidade quando jovem, concluiu seu noviciado na Ordem Jesuita com vinte trés anos de idade © passou o resto de sua vida ocupando cargos de professor univers tirio. Enquanto ensinava retérica, filosofia e teologia no Colégio Jesuita de Mil2o, Saccheri leu os Elementos de Fuclides € se encantou com 0 poderoso método de reductio ad absurdum. Mais tarde, quando ensinava filosofia em Turim, publicou sua Logica demons- trativa na qual « novidade principal era a aplicagdo do método de reductio ad absurdum a0 tratamento da Logica formal. Alguns anos mais tarde, quando era professor da Univer sidade de Pavia, teve a idéia de aplicar seu método favorito de reductio ad absurdum a0 estuclo do postulado das paralelas de Euclides e recebeu permissio para imprimir um pequeno livro inttulado Euclides ab omni naevo vindicatus (uclces Livre de Toda Imperfei (620), que veio a luz em Mildo, em 1733, apenas uns poucos meses depois de sua morte Nesse trabalho sobre o postulado das paralelas, Saccheri aceita aé vinte € oito proposicdes iniciais dos Hlementos de Euclides que, como ji observamos antes, nao neces- sitam do postulado das paralclas para sua cemonstragio. Com a ajuda desses teoremas, ele empreendeu o estudo do quadrilatero ABCD (ver Figura 114) no qual os angulos 4 e B20 retos ¢ 08 lados AD © BC sio iguais. Tracando as diagonais AC ¢ BD ¢ usando entio Teoremas simples de congruéncia (que se encontram entre as vinte € oito proposigoes iniciais de Fuctides), Saccheri mostrou faciimente, como poderia fazé-lo um aluno do Primeico grau, que os dngulos De Csa0 iguais. Ha entio txés possibilidades: os angulos D © Csio Angulos agudos, retos ou obtusos iguais. Saccheri referiu-se a essas ts possi lidades como bipdtese do dngulo.agudo, bipétese do angulo reto e bipétese do dngulo ‘obtusa. O plano de trabalho consistia em mostrar que a suposicao da hipotese do angulo agudo ou a suposicio da hipbtese do Angulo obtuso levam a uma contradigio, entéo, por reductio ad abstirdum, deve valet a hipotese do Angulo reto, a qual, Saccheri mostrou, implica 0 postulado das paralelas. Assumindo tacitamente a infinitude da rela, Saccheri prontamente eliminou a hipotese do Angulo obtuso, mas 0 caso referente a hipstese do Angulo agudo mostrou-se muito mais difiel. Apés ober muitos dos teoremas agora clissi- cos da chamada geomettia nto-euclidiana, Saccheri, de maneira insatisfatéria ¢ inconvin- cente, forgou uma contradigio no desenvolvimento de suas idéias através de nogdes nebulosas sobre elementos infinitos. Nao tivesse ele se mostrado tao vido de exibir uma contradigdo e, em vez disso, tivesse admitido sua incapacidade de aleangi-la e, sem davi- dda, os méritos da descoberta da geometria ndo-euclidiana caberiam a ele, Seu trabalho recebeu pouca consideracio de seus contemporineos e logo foi esquecido,’ e somente «em 1889 foi ressuscitado por seu conterraneo Eugenio Beltrami 6 uma expliceedoatemata,envolvendo uma insinacao desagidivel de inpedimenta de ciculag0, ‘ferecida pata responder plo longo descaso par com a obs-prin de accu. Ver, por exempl, ft. Bel, Tbe ‘Magi of Numbers, eapulo 25,Pigura 114 seit ¢ tés anos aps a publicagio da obra de Saechert, 0 suigo Johann Hein. Tip laatbertescreveu uma investgaedo semelhante inituads Die sae. der Parallel. contends (porate 86 fol publicada depois de sua morte. Lambert tomes end quadzilitero Trent cae’ Snes retos (metade de um quadiliter de Sacches) conn figura funda- ema © considerou trés hipéteses conforme 0 quarto ingulo fence agudo, reto ou obeuso, Engle lderavelmentealém de Saccheri na deducio de propontoer ence hipoteses do Assim, como Saccheri, ele mostrou que para as tite Kenor que, igual a ou maior que dois "m, que a deficigncia abaixo de dois © excesso de dois angulos retos, na do triingulo. Observou a semelhanca obtuso e a geometria esférica, na qual esférico © conjeturou que a geometria ngulos retos, respectivamente, ¢ entio indo. ale ngulos retos, na hipétese do Angulo agudo, ou hipétese do angulo obtuso, € proporcional 4 area atte a Beometria decorrente da hipétese do angulo & area de um tringulo € proporcional a seu excesses Gecortente da hipstese de Angulo agudo poderia tlvez ve secon numa esfera de raio se eangto A hipotese do Angulo obtuso foi eliminada, fazende s men suposicdo técita Ge Saccherl, mas suas conclusoes com respeito& hipotere de Angulo agudo foram impre- isas e insatisfarias, Advien-Marie Legendre (1752-1833), 0 emin comecou diferente, considerando. as hi ‘iingulo ser menor que, a infinitude da reta, foi capaz de elimi as, apesar de varias tenta- tivas, ndo conseguiu desca oi elimiuma, exatamente uma ou nenbuma paralela a uma reta dada. Essas situagdes equivalem, respectivamente, as hip6teses do Angulo agudo, reto € obtuso. Novamente, assumindo a infinitude da reta, elimina-se 0 terceiro caso facilmente, Suspeitando, a tempo, que sob a primeira hipétese abrigava-se uma geometsia consistente, cada um deles indepen- dentemente levou a temo desenvolvimentos geométricos © trigonométricos amplos partir dessa hipotese Gngulo agudo), E provaivel que Gauss tenha sido © primeiro a alcancar conclusoes penetrantes relativas & hip6tese do angulo aguda, mas, como munca publicou nada sobre essa matéria fem toda 4 sua vida, « honra da descoberta dessa particular geometria nao-euclidiana deve ‘er dividida entre Bolyai ¢ Lobachevsky. Bolyai publicou suas primeiras descobertas em 1832 num apendice de um livio de matematica de seu pai. Mais tarde fieote-se sabendo que Lobachevsky havia publicado descobertas semelhantes jf em 1829-1830, mas, devido 4s barreiras da lingua ¢ & lentidao com que as informagbes de novas descoberas s¢ propagavam naqueles dias, seu tabalho permaneceu ignorado na Europa Ocidental por Varios anos. Parece uma questio de somenas discutir aqui as teorias complicadas, e talvez infundadas, explicando como cada um desses homens poderia ter obtdo € se apropriado de informacdes sobre as descobertas de algum dos outros. A época eram considerveis a suspeigio e as acusacoes de lagi. Janos (ou Johann) Bolyai era um oficial hingaro do exército austrfaco, filo de Farkas (ow Wolfgang) Bolyai, um professor provinciano de matematica, de longa data amigo pessoal de Gauss, © jovem Bolyai sem diivida receheu estimulo considerével para testuclar © postulado das paralelas da parte de seu pai que, em tempos anteriores, havia demonstrado interesse pelo problema, Ji em 1823 Janos Bolyai comegou a entender a vertadeira natureza do problema que enfrentava ¢, numa carta escrita 4 seu pai naquele ano, mostrou o entusiasmo que tinha por seu trabalho. Nessa carta ele revelou a dispo- sig de publicar um ensaio sobre a teoria das paralelas tio logo encontrasse tempo & oportunidade para por 0 material em ordem, e exclamou, "Do nada eu criei um universo novo ¢ estranho". O pai insistiu para que o tratado proposto fosse publicado como um apéndice de um alentado trabalho semifilosoico seu, em dois volumes, sobre matematica clementar, © desenvolvimento ¢ arranjo das idéias transcorteram mais lentamente do que Janos previra, mas finalmente, em 1829, ele submeteu o manuscrito concluido a seu pai € tis anos mais tarde, em 1832, 0 ensaio aparecia como um apéndice de vinte e seis paginas do primeiro volume do trabalho de seu pai,” Janos Bolyai jamais publicou nada depois disso, embora tivesse deixado uma pilha de manuscritos, Seu interesse principal era com ‘0 que cle chamava “a ciéncia absoluta do espago" referindo-se com isso 4 colesao das proposigdes que independem do postulado das paralelas e que, por conseqiléncia, valem tanto na geometria euclidiana como na nova geometria, Nicolai lvanovitch Lobachevsky passou a maior parte de sua vida na Universida~ de de Kazan, primeiro como aluno, depois como professor de matemitica ¢ finalmente 7 ara una tidisio ingess ene apindic, ver R. Bonolt, Now Buctidan Geometry ow DE. Smith A “Source Book n Mabomares,p. 375388 Abs os texts figoram na bibograa 20 fi do capil. 5aSome reitor: Seu primeiro artigo sobre geometria ndo-cuclidiana foi publicado em 1829 ¢ 330 20 Kasan Bulletin, dois ou trés anos antes de o trabalho de Bolyai aparecer impres “o. Essa mem@ria mereceu muito pouca atencio na Rissa €, por ter sido everita om teecg Praticamente nenhuma em outros lugares, Lobachevsky deu continuidade a seus exfer iniciis com outras exposigdes. Por exemplo, na expectativa de alcangar tim grupo mal mplo de leitores, cle publicou, em 1840, um pequeno livro escrito em alemae inaalas Geometrische Untersuchungen Zur Tbeorie der Parallellinien (nvestigagoes Geometers obre a Teoria das Parallas),"e mais tarde, em 1855, um ano antes de sun morte ¢ algara tenrbo depois de ficar cego, uma abordagem final, mais condensada, em frances, cen ulo de Pangéométrie Pangeomettia)” As informagdes sobre novas descobentas diesen pavamse to lentamente naqueles tempos que Gauss com certeza jamais ouvita false ds trabalho de Lobachevsky antes do aparecimento do texto em alemlo citado, ¢ noe rene Sonhecimento de Janes Bolyai antes de 1848. Ebora Lobachevsky nao tivesse vivido pave Yee Concedido a seu tabatho um reconhecimento amplo, hoje a geometria nio-cuclidnars desenvolvida por ele costuma ser chamada de geometria de Lobachovsty. NICOLAL LOBACHEVSKY (Coleso da Biblioteca Pablica de Nova York) Jel indepenclencis do postulado das paralelas dos outros postulados da geo- Ineiriaeucidiana s6 fot estabelecida inquestionavelmente quando se forneceraty dewione rasoes da consisténcia da hipStese do Angulo agudo. Estas nao demoraram 4 vis ¢ feng Produzidas por Beltrami, Anhur Cayley, Felix Klein, Henri Poinearé ¢ outtos. © sete yi uma dco ingles, ver R, Bool, Son Butea Geometry Ge Agana bog of do sim entangle, ver DE Sai A Source Bok i Matbematcsp. 360-74, que ita ma iboats 20 im do caput 543consistia em construir um modelo na_geomettia euclidiana, de modo que o desen- volvimento abstrato da hipdtese do ngulo agudo pudesse dar uma interpretacao conereta ‘numa parte do espaco euclidiano. Entio, qualquer inconsistencia na geometria nao-cucli- diana implicaria uma inconsisténcia cortespondente na geometsia euclidiana (ver Exerci- cio 13.10, Em 1854, Georg Friedrich Bernhard Riemann (1826-1866) mostrou que, descar- tundo-se a infinitude da reta, ¢ admitindo-se simplesmente que a seta sejailimilada, entéo, ‘com alguns outros ajustamentos pequenos nos demais postulados, pode-se desenvolver luma outra geometria ndo-cuclidiana consistente a partir da hipotese do Angulo obtuso. As lués geometrias, a de Bolyai e Lobachevsky, a de Euclides e a de Riemann foram batizadas por Klein em 1871 de geometria hiperbélica, geometria parabolica e geometria eliptica, respectivamente, 13-9 A Libertagdo da Geometria'® A conseqiiénca imediata da descobienta de geomerias nto-cucidianas conssten- tes internamente fo, € caro, 2 solueio final do secular problema do postulado das parale- Jas. postulado dis parilelas mostrow-se independente das outras suposicoes da seometra eucliciana e, porto, nio podia ser dedhido dessas outas suposigbes come ‘om tcorema Uma consegiiéncia de aleance muito maior fol a libertacao da geometria de seus moldes tradicionais. Despedacou-se uma conviccao secular e profundamente arraigada de que apenas uma geometria era possivel e abriu-se caminho para a criaglo de muitos ‘outs sistemas geométricos, Os postulados da geometria tornaram-se, para os matemi- ticos, meras hipéteses cuja veracidade ou falsidade fisicas nao Ihes diziam respeito; 0 ‘matematico pode tomar seus postulados para satisfazer seu gosto, desde que eles sejam consistentes entre si. As caracteristicas de “auto-evidéncia" ¢ *veracidade” atribuidas 205 postulados desde os tempos dos gregos deixaram de ser consideradas pelos matematicos, Com a possibilidade de inventar geometrias puramente “anificias", comou-se evidente que © espaco fisico devia ser visto como um conceito empirico derivado de nossas experién- cias exteriores ¢ que os postulados da geometria, formulados para descrever 0 espaco fisico, sao simplesmente expressdes dessas experiéncias, como as leis de uma ciéncia fisica. postulado de Euclides, por exemplo, na medida em que tenta interpretar 0 espaco real, revela ter o mesmo tipo de validade da lei de queda livre dos corpos de Galileu; isto , ambos sio leis que decotrem da observacio © ambos sio suscetiveis de verificagio dentro dos limites do erro experimental © © material desta Seo f%adapado do watamento mis complet dado 9 Captlo den Induction 1 the Foundations ad Pundamental Coneps of Mathematics, de Howard Byes © CV. Newsom, eo esa, Nove ‘York, Hol Reha and Winston, 1955. 5Fisse Ponto de vista, de que a geometria, quando aplicada a0 espaco, € uma “rae aaetimental choca-se foremente com a teora do espago de Emeere Let de Lasehesgte dominava o pensamentofloscico 2 época da descobera de geome se rebachevshy. A teora kaniana sustentava que o espaco ¢ uma exten je caer SoPezte human, e que os postulades da geometra eucidiana sto juios prise impostos coumarin de cube Que este ponto de vists ndo ¢ sostentivel provaco a crlache a mpo que ene eetewsky. A teoria kantiana predominava to amplamente mavele cnet malgctUem defendesse um ponto de vista contério corria 0 rsco de ser onside suacastce: Foi o desejo de evitar os protestos dos “beacios” que impede One ne Publicar seus pontos de vista sobre a geometria nao-euclidiana A [taste da geometria de Lobachevsky nao 56 libertou a geometia como pone fete um efeito emelhante com a matemdtiea como um todo. A msteranes Frade sn im cago arbitra do esptito humano e nao como algo necerernrnuan ditado a nés pelo mundo em que viv Bell nas seguintes palavras: 3) Giasio das geometias nfo-euctidianas, puncionando uma erenca tradicional ¢ vist da vente abito de pensamento secular, deseru um golpe duro no penny He sa da verdade absoluta em matemdtica, Nas palavras de Geore Centon ‘attemiatica esté em sua liberdade.” 13-10 A Emergéncia de Estruturas Algébricas 2. operagdes usuais de adicto e multiplicaclo efetuadas no conjunto dos inteie nivocamene tac ecrasbes bindrias: a cada par de ineiros positivos ae Dasceae ee Cn atb © duaxs 1 ET. Bal, The Develpment of Marbematcs, p38, 545,Essas operagdes 0 conjunto dos inteiros positives tém algumas propriedades ou leis basicas. Por exemplo, se a, be ¢ indicam inteiros positivos arbitririos, temos 4+ b= b+ a(propriedade comutativa da adigao). 4x b= bx a (propriedade comutativa da multiplicagio) (a+b) + e= a+ (b+ 0 (propriedade assoctativa da adigao). (ax b)x c= ax (bx 0) (propriedade associativa da multiplicago). ax (b+ 0 = (ax D)+(ax 0 (propriedade distributiva da multiplicagio em relacio 8 adig20). No inicio do século XIX a lgebra era considerada simplesmente como a aritmé- tica simbolica.#? Em outras palavras, em vez de trabalhar com nlimeros especificos, como Jazemos em asitmética, em Algebra empregamos letras que representam esses nimeros. As inca propriedades acima sio, ponanto, afirmagdes sempre validas na ‘lgebra dos inteiros positives. Mas, como se trata de afirmagdes simbélicas, & imagindvel que elas possam se aplicar a outros conjuntos de elementos que no os inteiros positives, desile que fornega- _mos definigoes adequadas para as duas operacves envolvidas. De fato, €iss0 0 que ocorre (ver, por exemplo, os casos focalizados no Fxercicio 13.13). Segue-se que as cinco propriedades bsicas dos inteiros positives ha pouco’ \das podem também ser consideradas como propriedades de outros sistemas de cle- rmentos, inteiramente diferentes. As conseqUéncias das cinco propricdades precedentes constituem uma dlgebra aplicivel aos inteiros positivos, bem como a outros sistemas, isto 6 existe uma estrutura algébrica (as cinco propriedades basicas € suas consequéncias) ccomum ligaca a muitos sistemas diferentes. As cinco propriedades bisicas podem ser consideradas como os postulados de um tipo particular de estrutura algébrica, e qualquer eorema que decorra formalmente desses postulados seri aplicivel a qualquer inter- pretagio que se ajuste as cinco propriedades basicas, Vistas as coisas assim, comtam-se entio os lacos da algebra com a aritmética, tomando-se aquela um campo de estudos puramente hipotético-dedutivo formal, primis vislumbres dessa visio modenna da dlgebra surgiram por volta de 1850 na Inglatera, com o trabalho de Georg Peacork (1791-1858), um exaluno e profes- sor da Universidade de Cambridge que mais tarde se tornou deo de Ely. Peacock foi um dos primecitos a estudar seriamente os prinipios fundamentals da Algebra, e em. 1830 publicou sew Treatise om Algetra no qual procurou dae 8 algebra um tratamento lbgico ‘cquiparivel a0 dos Elemontos de Bucldes, com o que ganhou o epiteto de “0 Euctides a ‘Algebra Peacock dstinguia entre o que chamava “algebra antmetica”ewalgebrasinbdi- ca", A primeira em considead por cle como o estudo resulante do uso de simbolos para dlenotar os nimeros decimals positivos usuais, juntamente com os simbolos operstrios, 1 a6 alnds a vio da Algebra na escolssecundirae,com freq, no inklo do curso speriog 546 como ode adicto = na “Algebra aritmea" tragio, a — 6, por = ‘outro lado, adota = exemplo, a subtaci= mética” pelo fato d= de extensio da “ile de principio da per € uma “Algebra 2 aritmética", enquars das formas em 101 © prine ceito de grande alco es como 0 desen extensio das leis da sgerais. Na teoria dov © tum inteiro positiso. © definigio decorre fac Pelo principio da p= simbélica" se tem eno © 08 expoentes m= 7 OF std na lata do lixo da definicao, orienta propriedades daque! Alguns com empurraram a nos entende essa mate’ publicado em 18% A luz. Augustus De Mi ddeu algumas contr trabalho algo tateante da ura algébrica e a pre bra, Logo as idéias ds 1867, mereceram cu matematica alemac. Pi irlandés William Rowan Grassmann (1809-18 que levaram a libera¢ chevsky € Bolyai leva Algebra abstrata. Ow proxima secao.