Escolar Documentos
Profissional Documentos
Cultura Documentos
Apoio:
Material Didtico
ELABORAO DE CONTEDO PRODUO GRFICA
Mrio Olivero
CAPA
Patricia Seabra
Eduardo Bordoni
O material constante desta disciplina, Histria da Matemtica atravs de Problemas, foi produzido sob o auspcio de Convnio de cooperao tcnico-acadmica entre o Exrcito Brasileiro e a Universidade Federal Fluminense.
O48h Olivero, Mrio. Histria da matemtica atravs de problemas / Mrio Olivero. Rio de Janeiro : UFF / CEP EB, 2007. 160p. (Curso de Instrumentao para o Ensino de Matemtica). ISBN: 85-98569-36-4 1. Matemtica Histria. 2. Matemtica Problemas. CDD - 510.09
Publicado por: Centro de Estudos de Pessoal (CEP) Copyright 2005 Centro de Estudos de Pessoal
Todos os direitos reservados ao Centro de Estudos de Pessoal (CEP) Praa Almte. Jlio de Noronha S/N - Leme - Tel (0xx21) 2275-0100 22010-020 Rio de Janeiro - Brasil
2009/2
Nenhuma parte deste material poder ser reproduzida, armazenada ou transmitida de qualquer forma ou por qualquer meio, seja ele eletrnico, mecnico, fotocpia ou gravao, sem autorizao do CEP e do autor.
Universidades Consorciadas
Apresentao ca
H alguns anos eu resolvi aprender a jogar tnis. Inscrevi-me em um curso e a e passei a receber duas aulas semanais. Foi uma tima experincia. Hoje eu o e jogo bastante bem, gosto muito do esporte e ganhei uma grande diverso. No a entanto, a experincia deu-me mais do que isso. e Sou professor de Matemtica h muito tempo e as aulas de tnis deram-me a a a e oportunidade de relembrar o outro lado da atividade. Por exemplo, recordei-me da importncia dos exerc a cios repetidos para assimilao de novos contedos. ca u Tive a felicidade de encontrar um professor que me deu ateno e encorajaca mento, corrigindo minhas (muitas) imperfeies com pacincia e bom humor. co e Reavaliei a importncia da auto-disciplina para atingir objetivos estabelecidos. a Com certeza, a experincia afetou minha vida prossional. Passei a ser mais e tolerante e generoso como professor. Aprender algo novo ajudou-me a levar em conta a perspectiva do aluno, que precisa ser encorajado, aprender a valorizar a organizao e a disciplina, precisa encontrar alegria na atividade de aprender ca e descobrir motivaes para atingir os objetivos que lhe so propostos. co a Voc se encontra numa posio semelhante ` minha, nesse momento. Est e ca a a prestes a vivenciar uma experincia de aprendizado. Retomar os estudos ree quer uma atitude corajosa. Parabns! Voc merece uma recepo calorosa. e e ca Nesta disciplina, Histria da Matemtica Atravs de Problemas, nosso principal o a e objetivo que voc goste ainda mais de Matemtica. e e a Aqui, voc ter a oportunidade de ver a Matemtica sob um novo prisma. e a a Perceber como as diferentes reas matemticas, tais como Algebra, Geometria, a a a Clculo, Anlise Matemtica e outras, se relacionam e se inuenciam, assim a a a como certas questes (os tais problemas da Matemtica) motivaram (e contio a 3
Apresentao ca
Histria da Matemtica o a
nuam motivando) novas descobertas. E bem provvel que voc passe a gostar a e ainda mais dos diversos temas com que lidamos na Matemtica, uma vez que a descobrir como eles surgiram e se desenvolveram. a E claro que num projeto como esse certas opes devem ser feitas. No poss co a e vel cobrir todos os temas, mesmo aqueles de maior importncia. A escolha daqueles a que representaro o nosso painel foram feitas em funo de meu gosto pessoal a ca (sim, todos ns temos nossas preferncias matemticas) assim como das minhas o e a muitas inabilidades. De qualquer forma, se o contedo apresentado motiv-lo u a a buscar ainda mais informaes sobre aquilo que cou faltando, despertando a co sua curiosidade, dar-me-ei por satisfeito. Essa experincia dever afetar, tambm, sua atuao prossional. Aps cure a e ca o sar a disciplina voc estar melhor preparado para apresentar os contedos de e a u Matemtica, colocando-os em um contexto histrico e mostrando suas conexes a o o com outros temas. Seja, portanto, bem-vindo ` Histria da Matemtica Atravs a o a e de Problemas!
Onde encontrar: Textos 1 e 2. Carga horria: 4h a Unidade 2: O Dilema de Pitgoras a Assunto: Matemtica do Antigo Egito e da Mesopotmia. Diferenas entre a a a c
Matemtica desses povos e a Matemtica grega. Os pitagricos. a a o
Onde encontrar: Textos 3 a 5. Carga horria: 6h a Unidade 3: Teoria das Propores de Eudoxo co Assunto: Primeira crise da Matemtica: segmentos no-comensurveis. Cona a a
ceito de innito. Soluo para a crise dada por Eudoxo. ca
Onde encontrar: Textos 6 a 9. Carga horria: 6h a Unidade 4: O Quinto Postulado da Geometria Euclideana Assunto: Elementos de Euclides. Problema do Quinto Postulado de Euclides.
Geometrias no-euclidianas. a
Onde encontrar: Textos 10 a 15. Carga horria: 7h a Unidade 5: Resoluo das Equaes Algbricas ca co e Assunto: Matemtica rabe e indiana. Surgimento do zero na Matemtica. a a a
Soluo para o problema das equaes cbicas. ca co u 7
Viso Geral a
Histria da Matemtica o a
Onde encontrar: Textos 16 a 19. Carga horria: 7h a Unidade 6: Uma Nova Matemtica para um Mundo Novo a Assunto: Panorama matemtico antes do Clculo. O Clculo segundo Newton a a a
e Leibniz.
Onde encontrar: Textos 20 a 23. Carga horria: 7h a Unidade 7: A Equao de Euler: ei + 1 = 0 ca Assunto: Caracter sticas da Matemtica do sculo 17 e 18. A Matemtica de a e a
Euler. Notao matemtica. ca a
Onde encontrar: 24 e 25. Carga horria: 7h a Unidade 8: Construo dos Nmeros Reais Cauchy e Dedekind ca u Assunto: Caracter sticas da Matemtica do m do sculo 18 e in do sculo a e cio e
19. A Matemtica de Gauss. Cortes de Dedekind. Contribuies de Cauchy e a co Weierstrass para a Anlise Matemtica. a a
Onde encontrar: 26 a 30. Carga horria: 6h a Unidade 9: Teoria de Conjuntos e Nmeros Transnitos de Cantor u Assunto: Caracter sticas da Matemtica no m do sculo 19 e in do sculo a e cio e
20. Contribuies feitas por Cantor e Hilbert. co
Onde encontrar: Textos 31 a 34. Carga horria: 6h a Unidade 10: Nmeros e Codicao de Mensagens u ca Assunto: Nmeros primos. Criptograa. u Onde encontrar: Textos 35 a 38. Carga horria: 4h a
Unidade 1
Trs Famosos Antigos Problemas e
Nesta unidade didtica, voc conhecer trs grandes problemas da antigidade a e a e u que desempenharam papis relevantes no desenvolvimento da Matemtica. e a Mas, primeiramente, vamos colocar certas coisas em perspectiva. Anal de contas, precisamos de algum tempo para nos conhecer melhor. Assim, antes de nos lanarmos nesta jornada, importante considerar a c e questo tratada em nosso primeiro texto. a
UD 1
Histria da Matemtica o a
perceb-la incompleta. Nossa expectativa que, ao m do estudo da disciplina, e e voc possa ter constru sua prpria resposta para a questo. e do o a
Por exemplo, ao observarmos algumas gravuras de Escher, no podea mos deixar de notar a maneira como ele explora as simetrias e usa os padres, o que d um certo ar mao a temtico `s gravuras. Eis aqui uma a a de suas citaes: Para mim, permaco nece aberta a questo se (este traa balho) pertence ao mundo da matemtica ou da arte. a Muito bem, vamos aumentar nossa coleo de informaes sobre a Matemtica: ca co a ela lida com nmeros e formas, estuda padres e busca relaes entre seus u o co objetos. Enm, trata com uma multitude de idias, submetendo-as a diferentes e pontos de vista, comparando-as e buscando suas inter-relaes. co E como um cenrio onde uma enorme diversidade de atitudes, de perspectivas, se a opem e se inuenciam mutuamente. O particular ilustra o geral, o cont o nuo se ope ao discreto, per o odos em que a atitude mais formal prevalece se intercalam 10
UD 1
Histria da Matemtica o a
com per odos onde a intuio abre novos caminhos e assim por diante. ca Alm disso, Matemtica uma cincia que difere de todas as outras na forma e a e e como estabelece a verdade. A verdade cient ca, na Matemtica, estabelecida a e a partir de um conjunto m nimo de armaes, chamadas axiomas, por meio co de um conjunto de regras lgicas bem estabelecidas. E o chamado mtodo o e dedutivo. Nas outras cincias, a verdade estabelecida por experimentos cient e e cos. E por isso que, em muitos casos, uma nova teoria toma o lugar da anterior, que j no consegue explicar os fenmenos que prev. a a o e Basta comparar, s para se ter um exemplo, a evoluo histrica do conhecio ca o mento sobre o universo, em particular sobre o funcionamento do sistema solar, com a estabilidade vivida na Matemtica, simbolizada nos Elementos, de Eua clides, uma coleo de livros escritos em, aproximadamente, 250 a.C. Os Eleca mentos s tiveram menos edies do que a B o co blia, e so to corretos hoje como a a quando foram escritos.
Histria da Matemtica o a
Voc ver que, ao longo do tempo, algumas questes desaaram a criatividade e a o de geraes de matemticos, norteando, estimulando a criao matemtica. co a ca a Essas questes funcionam como molas propulsoras, movendo as fronteiras do o conhecimento cada vez mais adiante, como no caso de Alexandre Grothendieck.
Alexandre Grothendieck nasceu em 1928, em Berlim, e mudou-se para a Frana c em 1941. Seus trabalhos inovadores tiveram grande impacto em diversos campos da Matemtica, devido especialmente ao seu alto grau de abstrao. Em a ca 1966 recebeu a Medalha Fields, que assim como um Prmio Nobel da Mae e temtica. a O nmero de outubro de 2004 da revista Notices of the American Mathematical u Society traz um artigo sobre um dos mais relevantes matemticos do sculo 20, a e Alexandre Grothendieck. Nesse artigo aprendemos que os primeiros anos de Grothendieck, durante a Segunda Guerra, foram caticos e traumticos e sua formao educacional no o a ca a fora nada boa. No entanto, a atitude de enfrentar os problemas, as questes o da Matemtica, j estava presente. Ele escreveu suas memrias, intituladas a a o Rcoltes et Semailles (algo como Colheita e Semeadura), em que faz o seguinte e comentrio: a
O que menos me satisfazia, nos meus livros de matemtica [do liceu], era a a total ausncia de alguma denio sria da noo de comprimento [de uma e ca e ca curva], de rea [de uma superf a cie], de volume [de um slido]. Prometi a o mim mesmo preencher esta lacuna assim que tivesse uma chance.
Detectar a falta de preciso na denio desses conceitos, quando ainda era um a ca aluno do ensino mdio, uma prova da profunda percepo matemtica dessa e e ca a extraordinria pessoa. a Durante o estudo da disciplina, voc ir vericar como so relevantes as e a a preocupaes apontadas por Alexandre Grothendieck. Mas, est na hora de co a reetir um pouco sobre as idias expostas at aqui. e e Vamos ` primeira atividade. a 12
UD 1
Histria da Matemtica o a
Atividade 1
Para ajud-lo nessa tarefa, tente dar sua prpria resposta ` questo o que a o a a Matemtica? Guarde esta resposta para rel-la quando tiver completado o e a e estudo da disciplina. Faa, tambm, uma lista sucinta das caracter c e sticas da Matemtica apresentaa das no texto. Voc poderia acrescentar outras? e
Tudo que voc estudou at aqui constitui uma introduo para o tema do e e ca prximo texto: trs problemas famosos e antigos, diretamente relacionados a o e uma das caracter sticas mais valorizadas em um matemtico: a criatividade. a Essa caracter stica se manifesta, especialmente, na resoluo de problemas. ca Em muitos casos, a atitude de inconformismo diante das respostas dadas `s a antigas questes pelas geraes anteriores marcou o in da carreira de o co cio matemticos famosos, como teremos a oportunidade de ver no decorrer de a nossa jornada.
Trisseco do ngulo: ca a
Dado um ngulo, construir um outro ngulo com um tero de sua a a c amplitude.
Duplicao do cubo: ca
Dado um cubo, construir outro cubo com o dobro do volume do anterior.
Quadratura do c rculo:
Dado um c rculo, construir um quadrado com a mesma rea. a 13
UD 1
Histria da Matemtica o a
Antes de falarmos sobre eles, vamos entender o signicado da expresso consa truo com rgua e compasso. ca e Note que esses problemas esto colocados no contexto da geometria formulada a por Euclides. Por isso, as construes com rgua e compasso so tambm conheco e a e cidas por construes euclidianas, apesar de os termos rgua e compasso co e no aparecerem nos livros de Euclides. a Assim, as solues deveriam obedecer apenas certos procedimentos, por assim co dizer, seguir regras muito bem estabelecidas. Veja, na teoria euclidiana, a rgua pode ser usada para construir um segmento, e to longo quanto se queira, que contenha dois pontos dados. Em particular, a essa rgua no graduada. Ou seja, no podemos utiliz-la para medir. e a e a a J o compasso pode ser usado para construir a circunferncia de centro em um a e dado ponto A e que passa por um dado ponto B. Assim, o compasso deve ter pernas to compridas quanto precisarmos. a Procure, ento, realizar as atividades a seguir. a
Atividade 2
Usando rgua e compasso, construa a mediatriz de um segmento dado. Voc e e sabe dividir um segmento dado em uma outra proporo qualquer, assim como ca 2 por 3? Construa tambm um tringulo equiltero. Voc poderia construir mais um e a a e pol gono regular, usando apenas rgua e compasso? e Quais pol gonos regulares podem ser constru dos com rgua e compasso? e Vamos, agora, falar um pouco do primeiro problema.
UD 1
Histria da Matemtica o a
nos respectivos pontos obtidos nos lados do ngulo, determine o ponto que, a juntamente com o vrtice original, dene a reta bissetriz. e Tal sucesso encoraja a considerao do prximo passo: dividir o ngulo em ca o a trs partes iguais. Para certos ngulos espec e a cos, o problema tem soluo. ca Como poss construir, com rgua e compasso, um tringulo eqiltero, e vel e a u a podemos construir um ngulo de trinta graus, que divide o ngulo reto em trs a a e partes iguais. No entanto, o problema proposto nos pede para estabelecer um procedimento que funcione para qualquer ngulo dado. a Muitas tentativas de soluo para o problema foram dadas, mas cada uma ca delas apresentava uma falha. Tambm, pudera, o problema no tem soluo. e a ca Voc deve notar que demonstrar que no h uma soluo (que sirva para um e a a ca ngulo dado qualquer) uma tarefa muito dif a e cil. O problema era conhecido dos antigos gregos e a resposta (negativa) s foi obtida no sculo XIX, pelo o e francs Pierre Laurent Wantzel. Apesar da genialidade de Wantzel, preciso e e dizer que sua soluo depende de conceitos algbricos desenvolvidos ao longo ca e de vrios sculos, por vrias geraes de matemticos. Ou seja, o problema s a e a co a o foi solucionado quando se mudou o foco da questo, passando-se a buscar uma a prova de que no tem soluo. a ca Wantzel foi, ainda, o responsvel pela resposta, tambm negativa, a outro a e problema: a duplicao do cubo. ca
UD 1 duplicar um quadrado.
Histria da Matemtica o a
Isto , dado um quadrado, construir com rgua e compasso um novo quadrado e e que tenha o dobro de sua rea. Na primeira tentativa, o jovem dobra o lado a do quadrado dado e Scrates o faz ver o erro cometido. Em seguida, Scrates o o mostra-lhe a gura de um quadrado com os pontos mdios de seus lados unidos e por segmentos que formam um quadrado menor. Ento, Scrates ajuda o rapaz a o a lembrar-se que a rea do quadrado constru sobre a diagonal do quadrado a do menor tem o dobro de sua rea. a Finalmente, o ultimo problema consiste em construir com rgua e compasso e um quadrado de rea igual ` de um c a a rculo dado. Por isso o nome quadratura do c rculo.
UD 1
Histria da Matemtica o a
Se C um ponto obtido por uma construo com rgua e compasso a partir de e ca e dois pontos dados A e B, ento o quociente q das distncias AC e AB tem as a a seguintes propriedades: 1. q a raiz de um polinmio com coecientes inteiros, no todos nulos. e o a Nesse caso q chamado de um nmero algbrico. e u e 2. Se p(x) for um polinmio de grau m o nimo entre todos os polinmios com o coecientes inteiros, no todos nulos, dos quais q uma raiz, ento o a e a grau de p(x) uma potncia de 2. e e Veja como a duplicao do quadrado se encaixa nesse esquema. O nmero ca u 2
pode ser constru com rgua e compasso, pois a diagonal de um quadrado do e e de lado 1. Realmente, 2 uma das ra do polinmio x2 2, de coecientes e zes o inteiros. Ora, para duplicarmos o cubo de lado 1, ter amos que construir um segmento 3 de comprimento 2. Esse nmero algbrico raiz do polinmio x3 2, que u e e o tem grau (m nimo) 3, que no uma potncia de 2. a e e No caso do problema da diviso de um ngulo em trs partes iguais, a algea a e brizao do problema tambm resulta em uma equao cbica. ca e ca u Na questo da quadratura do c a rculo (de raio 1, por exemplo,) ter amos que construir com rgua e compasso um quadrado cujo lado medisse . Lindee mann mostrou que no raiz de nenhuma equao polinomial com coecientes a e ca inteiros no todos nulos. Ou seja, no um nmero algbrico e, portanto, a a e u e tambm no um nmero algbrico. e a e u e Estamos chegando ao m dessa unidade. Esperamos que sua curiosidade a respeito dos diversos aspectos da Matemtica tenha sido aguada e a c apresentamos mais duas atividades.
Atividade 3
Faa uma lista sucinta das diferentes caracter c sticas da Matemtica apresentaa das nessa unidade e acrescente algumas por voc mesmo. e
17
UD 1
Histria da Matemtica o a
Atividade 4
Na sua opinio, o que teria incomodado tanto o matemtico Grothendieck na a a leitura dos livros de Matemtica em que estudou? Se estivesse estudando nos a livros que ns usamos hoje em dia, ele teria uma opinio diferente? o a A histria desses trs problemas clssicos da Matemtica mostra como, em o e a a muitos casos, a importncia no est na resposta de uma certa questo, seja a a a a ela positiva ou no, mas nos mtodos usados para chegar at ela. No a e e a devemos nos decepcionar com o fato de no podermos duplicar o cubo, por a exemplo, pois a profundidade e a riqueza das idias desenvolvidas para chegar e ` resposta negativa nos compensam largamente. a E nossa expectativa, tambm, que o enfoque sobre os problemas passe a fazer e parte de sua maneira de ver a Matemtica, pois nisso consiste, em enorme a parte, a sua vitalidade e importncia. a
18
Unidade 2
O Dilema de Pitgoras a
Nesta unidade didtica voc descobrir como a Matemtica tornou-se uma a e a a cincia, no sentido de ter uma maneira bem denida de se e estabelecer a verdade. Isso ocorreu com o surgimento da cultura grega, por volta de 600 a.C., quando os primeiros matemticos de que temos not passaram a fazer e responder a cia perguntas que comeam com por que, alm daquelas que c e comeam com como. c No entanto, aps os primeiros triunfos dessa jovem fora criativa, surgiu uma o c grande crise, conhecida como o dilema de Pitgoras. a
UD 2
No primeiro volume da coleo Mar de Histrias, ca o uma antologia do conto mundial, organizada por Aurlio Buarque de Holanda e e Paulo Rnai, editado pela o Nova Fronteira, h um conto a eg pcio, chamado A histria o de Rampsinitos.
Histria da Matemtica o a
assim, relatos e registros de suas conquistas culturais. Aristteles acreditava que a atividade matemtica surgira no Egito, criada por o a seus sacerdotes, uma vez que eles dispunham de tempo ocioso. Por mais interessante que seja essa possibilidade, devemos levar em conta a verso dada por Herdoto, chamado de pai da Histria. Ele armava que a a o o Geometria havia sido inventada no Egito, devido `s cheias anuais do rio Nilo, a que fertilizavam suas margens, o que era timo para a agricultura. No entanto, o quando as guas retornavam ao leito normal do rio, as marcaes dos terrenos a co precisavam ser refeitas. E por isso que Demcrito, lsofo grego que teria visitado o Egito, chamava o o os matemticos locais de esticadores de cordas, que eles usavam para fazer a as demarcaes. Veja que geometria formada pelas palavras gregas geo, que co e quer dizer terra, e metria, que quer dizer medida.
UD 2
Histria da Matemtica o a
Para construir a segunda linha, dobramos o nmero 42 e colocamos o resultado, u 84, logo abaixo dele. Subtraindo 1 de 19 e dividindo por 2, obtemos 9 (= 18/2), que colocamos abaixo dele. Essa segunda linha tambm marcada, uma vez e e que 9 e mpar. 42 84 19 9 / /
Prosseguimos assim at obter 1 na coluna da direita. Veja, a seguir, a tabela e completa. 42 84 168 336 672 21 19 9 4 2 1 / /
UD 2
Histria da Matemtica o a
Finalmente, para obter o resultado do produto, basta somar os nmeros da u coluna da esquerda correspondentes `quelas linhas que foram marcadas: a 19 42 = 42 + 84 + 672 = 798. Parece mgica, mas no . Esse algoritmo de multiplicao se baseia na exa a e ca panso do multiplicando na base 2. a Note que 19 = 16 + 2 + 1 = 24 + 21 + 20 . Isto , as marcas indicam e precisamente as correspondentes potncias de 2 que aparecem na composio do e ca nmero. Veja, se considerarmos apenas a segunda coluna da tabela, trocarmos u a marca por 1 e colocarmos 0 na sua ausncia, obtemos a expanso de 19 na e a 19 9 4 2 1 1 1 0 0 1 base 2. Para isso, basta dispor os d gitos obtidos, da direita para a esquerda, escrevendo na horizontal essa nova coluna. Veja a expanso de 19 na base 2: a (10011)2 . Usamos o ndice 2 para distinguir esse nmero (19 na base dois) de 10 011 (dez u mil e onze). Se multiplicarmos um nmero por uma soma de potncias de 2, claro que o u e e resultado ser a soma das correspondentes dobras, dobras de dobras e assim por a diante, at completar o resultado. e Apresentamos uma atividade para voc praticar. e
Atividade 5
Na tabela a seguir, complete as colunas e efetue o produto de 26 por 31 usando o algoritmo apresentado. 31 62 124 26 13
UD 2
Histria da Matemtica o a
d gito da direita para a esquerda na expanso de 26 na base 2 zero, indicando a e que 1 = 20 no faz parte das parcelas, uma vez que 26 par. a e E interessante notar que o algoritmo conhecido pelos eg pcios nos ensina a obter a expanso de um dado nmero na base 2. Usar apenas dois d a u gitos, 0 e 1, para denotar os nmeros, a base da construo dos nossos modernos computadores. u e ca
No entanto, os eg pcios no deixaram nenhum registro de como chegaram ` a a concluso de que o tringulo de lados 3, 4 e 5 retngulo, nem est claro que a a e a a eles conheciam outros tringulos com a mesma propriedade. a Os matemticos que viveram na regio chamada Mesopotmia, entre os rios a a a Tigre e Eufrates, chegaram mais longe do que seus colegas eg pcios em suas descobertas matemticas. A palavra Mesopotmia vem do grego e a a signica entre rios. 23
UD 2
Histria da Matemtica o a
Histria da Matemtica o a
(u2 + v 2 )2 = (u2 v 2 )2 + (2uv)2 . Isto , se tomarmos u = 12 e v = 5, obtemos a tripla pitagrica (122 52 , 2 e o 125, 122 +52 ) = (119, 120, 169). No entanto, eles usavam essa tcnica apenas e para nmeros u e v relativamente primos e tais que seus fatores primos fossem u apenas 2, 3 ou 5, os fatores primos de 60.
Atividade 6
Usando u = 64 = 26 e v = 27 = 33 , gere a segunda tripla pitagrica que o aparece em Plimpton 322. Sabendo que 4601 e 6649 so nmeros na prxima tripla em Plimpton 322, a u o descubra os correspondentes geradores u e v, assim como o terceiro nmero. u No in do sculo 6 a. C., a cidade de Mileto, na Jnia, assistiu ao cio e o surgimento de uma nova cultura, que dominaria o mundo por aproximadamente mil anos e inuenciaria a maneira de pensar e produzir cincia at os nossos dias. e e
Histria da Matemtica o a
os ngulos da base de um tringulo issceles so iguais; a a o a ngulos opostos pelo vrtice, formados por duas retas que se intersectam, a e so iguais; a dois tringulos com dois ngulos e um lado iguais so congruentes; a a a todo ngulo inscrito num semic a rculo reto. e Esse ultimo resultado conhecido como Teorema de Tales. Na verdade, to e dos esses fatos eram conhecidos dos matemticos das outras culturas que o a antecederam. No entanto, cabe a ele o mrito de ter providenciado suas dee monstraes. co Veja, no caso de Teorema de Tales, considere o ngulo de vrtice em B, inscrito a e no semic rculo ABC. Usando um segmento auxiliar que liga B ao centro do semic rculo, dividimos ABC em dois tringulos issceles, pois OA, OB e OC a o so raios do semic a rculo. Veja a ilustrao. ca
q O
Usando o resultado sobre tringulos issceles, sabemos que os ngulos denotados a o a por e por so iguais. Como a soma dos ngulos internos do tringulo ABC a a a igual a dois ngulos retos, obtemos e a + + ( + ) = 2 ngulos retos. a Portanto, + um ngulo reto, como quer e a amos demonstrar. Tales tambm deu contribuies ` Filosoa. e co a 26
UD 2
Histria da Matemtica o a
Note que (a + b)2 a rea do quadrado de lado a + b, que est dividido em e a a dois quadrados de lados a e b e em quatro tringulos retngulos agrupados dois a a a dois em dois retngulos de lados a e b. a A rea de cada um dos quatro tringulos a a e ab . Assim, a rea do quadrado a 2 maior igual ` soma das reas dos dois quadrados menores com a rea dos e a a a 27
Histria da Matemtica o a
= a2 + 2ab + b2 .
Agora, um novo arranjo dos tringulos dentro do quadrado maior revela em seu a interior um quadrado de lado c, a hipotenusa do tringulo retngulo de catetos a a a e b.
Esse diagrama nos diz que (a + b)2 = 2ab + c2 . Reunindo ambas informaes, obtemos (a + b)2 = a2 + b2 + 2ab = c2 + 2ab. co Portanto, a2 + b2 = c2 . Isso conclui a demonstrao. ca Pitgoras fundou uma irmandade cujos interesses iam alm da Matemtica. a e a Os membros dessa irmandade atribu todas as suas descobertas a ele. am Apresentamos, a seguir, uma lista de algumas de suas descobertas, alm da e demonstrao do Teorema de Pitgoras. ca a
UD 2
Histria da Matemtica o a
Estudo dos nmeros perfeitos e dos pares de nmeros amigveis. Chamau u a mos (m, n) um par de nmeros inteiros positivos de nmeros amigveis, u u a se a soma dos divisores prprios de um deles igual ao outro e vice-versa. o e Por exemplo, os divisores prprios de 220 so 1, 2, 4, 5, 10, 20, 11, 22, o a 44, 55 e 110, cuja soma 284. Agora, os divisores prprios de 284 so 1, e o a 2, 4, 71 e 142, cuja soma 220. e Na unidade didtica 4 voc conhecer um fato muito interessante a resa e a peito dos nmeros perfeitos, aqueles cuja soma de seus divisores prprios u o igual a ele mesmo, como 6 = 1 + 2 + 3. e Os pitagricos conheciam os cinco slidos regulares. o o Eles demonstravam uma grande considerao para os nmeros e buscavam ca u conhec-los muito bem. Distinguiam entre eles os chamados nmeros e u gurados, que contavam certos arranjos geomtricos, como os nmeros e u triangulares e quadrados. E interessante como a perspectiva geomtrica prevaleceu na cultura grega. e Mesmo os resultados que hoje obter amos por outras maneiras eram estudados de uma forma geomtrica. e Veja um exemplo a seguir.
...
Agora consideraremos os nmeros quadrados. Esses podem ser representados u em diagramas na forma de quadrados, da o seu nome:
29
UD 2
Histria da Matemtica o a 25
16
...
Veja um resultado de teoria de nmeros que os pitagricos demonstrariam u o usando, digamos assim, simples geometria. Teorema: A soma de uma seqncia de nmeros ue u mpares, comeando c de 1, um nmero quadrado: e u 1 = 1 1+3 = 4 1+3+5 = 9 1 + 3 + 5 + 7 = 16 1 + 3 + 5 + 7 + 9 = 25 Podemos entender o que est acontecendo olhando o diagrama a seguir, assim a como os pitagricos o zeram h mais ou menos 2500 anos. o a 1 +3 +5 +7 +9 +11 36
Atividade 7
Use um esquema semelhante para mostrar que a soma de dois nmeros trianu gulares subseqentes, como 6 e 10, um nmero quadrado. u e u
Atividade 8
O nmero 12 285 um elemento de um par de nmeros amigveis. Descubra o u e u a outro nmero desse par. u 30
UD 2
Histria da Matemtica o a
O fato de 2 no poder ser expresso na forma p/q, para nmeros inteiros p a u e q, signica que no existe segmento u tal que lado do quadrado = q u e a diagonal do quadrado = p u. Essa descoberta gerou uma crise monumental, pois isso colocava em xeque toda a crena deles, de que a Matemtica seria capaz de expressar qualquer coisa da c a natureza. Devemos lembrar que nmero para os pitagricos signica nmero u o u inteiro e as poss veis razes seriam os chamados nmeros racionais. o u Do ponto de vista prtico, todo racioc a nio matemtico que empregava a sua posio de que quaisquer dois segmentos so comensurveis estava invalidado. ca a a Isso deixava um enorme mal-estar, pois os resultados demonstrados usando essa informao estavam, subitamente, invalidados. Era urgente descobrir uma nova ca 31
UD 2
Histria da Matemtica o a
cadeia de racioc que pudesse substituir esse elo partido e contornar o terr nio vel imbrglio. o Quem resolveu o problema foi Eudoxo de Cnido. Mas isso ser assunto para a a prxima unidade didtica. No entanto, antes de terminarmos esta unidade, o a veja uma demonstrao. ca
5.7
2 no um nmero racional a e u
p2 seja igual q2
a 2 est no livro Primeiros Anal a ticos, de Aristteles. Ela do tipo reduo ao o e ca absurdo. Vamos supor que haja dois inteiros p e q tais que uma armao absurda. ca Realmente, suponhamos que tais nmeros existam. Ento, podemos tom-los u a a de tal forma que eles so primos entre si (no tm fatores comuns). Geometria a e camente, estamos supondo que a unidade u escolhida a maior poss e vel. Em particular, isso signica que eles no so ambos pares. Por outro lado, como a a p2 = 2 q 2 , podemos concluir que p par, uma vez que seu quadrado um e e nmero par. Assim, existe um nmero inteiro r, tal que p = 2 r. u u Voltando ` equao original, temos (2 r)2 = p2 = 2 q 2 , donde conclu a ca mos que q 2 = 2 r2 . Mas, isso signica que q tambm par, o que contraria o fato e e original que os nmeros p e q no so ambos pares. Fim da demonstrao! u a a ca As civilizaes que se desenvolveram `s margens do Nilo e entre o Tigre e o co a Eufrates no foram as unicas nem as primeiras a produzir e a usar a conhecimentos matemticos. Praticamente todas as civilizaes de que temos a co not desenvolveram algum tipo de conhecimento matemtico. Dignos de cia a nota so os casos da matemtica chinesa, indiana e, no nosso continente, a a algumas civilizaes andinas. co Por razes de ordem prtica, consideramos apenas a matemtica do Antigo o a a Egito e da Mesopotmia devido especialmente `s suas conexes com a a a o matemtica grega. No deixe de procurar informaes sobre as outras culturas a a co assim que tiver alguma oportunidade. 32 p2 = 2 e produzir q2
Unidade 3
Teoria das Propores de Eudoxo co
Na unidade anterior, voc aprendeu como o surgimento da cultura grega, no e in do sculo IV a.C., mudou profundamente a concepo que o homem cio e ca tinha do universo, sua maneira de pensar e de produzir cincia. e Ousadia e inovao so palavras que facilmente associamos a este fenmeno ca a o cultural que desencadeou uma onda de criatividade, se estendeu por centenas de anos e deu base ` nossa concepo de losoa e de cincia. a ca e
UD 3
Histria da Matemtica o a
verdadeiras, chamadas axiomas. As teorias matemticas, isto , as colees de a e co teoremas estabelecidos, permanecero para sempre. Novas teorias podem ser a constru das sobre este alicerce, ele as suportar. E uma situao totalmente a ca diferente de outras cincias, como a Biologia ou a F e sica. Nestas cincias, e acontece de novas teorias surgirem derrubando as anteriores.
Observe que, na terminologia atual, os termos postulado e axioma querem dizer a mesma coisa, so sinnimos. a o No passado, no entanto, dava-se o nome de axioma `s a armaes que eram co evidentes por si mesmas e tinham que ser admitidas necessariamente como verdadeiras, j postulado a poderia ser demonstrado, mas era tomado como verdadeiro e usado sem demonstrao. A priori, a ca armao chamada de ca postulado ainda no fora a aceita como verdadeira pela pessoa a quem era endereada. Por isso o nome, c uma vez que postular tambm indica um pedido. e
Neste quadro, os axiomas funcionam como verdadeiras pedras fundamentais sobre as quais toda a estrutura repousa. O primeiro axioma apresentado no primeiro livro dos Elementos de Euclides a armao: e ca Dados dois pontos, h um segmento de reta que os une. a A terminologia antiga postulado. Veja, a palavra axioma, que agora usamos, e originalmente signicava dignidade ou valor. Muito bem, os pitagricos consideravam como axioma, ou seja, assumiam como o verdadeira, a armao: ca Quaisquer dois segmentos so comensurveis. a a A descoberta de que o lado de um quadrado qualquer e a sua diagonal no so a a comensurveis, equivalentemente 2 no da forma p/q, para inteiros p e q, a a e com q no nulo, signicou que a armao no mais poderia ser usada como a ca a axioma. Isso invalidou todas as demonstraes que haviam sido feitas usando co essa armao, de maneira direta ou indireta. Ou seja, uma srie de teoremas ca e caram, subitamente, sem suas demonstraes. Isto , no eram mais teoremas. co e a Numa palavra: desastre. Realmente, os pitagricos acreditavam que tudo que h no universo poderia ser o a descrito pela Matemtica. Eles acreditavam na mxima: a a Todas as coisas so nmeros. a u A existncia de dois segmentos no comensurveis ameaava esta armao, e a a c ca pois os nmeros a que eles se referiam eram os nmeros racionais. u u 34
UD 3
que existem relaes f co sicas que no podem ser representadas em termos dos a nmeros racionais. Por isso, eles chamavam essa razo de alogos, o inexprim u a vel. Neste ponto, preciso dizer uma palavra em favor dos pitagricos. O erro coe o metido sutil. A idia a seguinte: parece razovel que possamos medir dois e e e a segmentos quaisquer usando apenas mltiplos de uma certa unidade. Ora, basta u que tomemos essa unidade sucientemente pequena, no mesmo? Por exema e plo, dadas duas distncias, se no for poss medir ambas usando quilmetros a a vel o de maneira justa (algo assim como 13 km ou 307 km), talvez possamos faz-lo e usando metros ou mesmo mil metros. Foi nisso que os antigos gregos acreditaram. Alm do mais, h o aspecto prtico, que no podemos esquecer. At hoje, e a a a e usamos aproximaes racionais para expressar todas as grandezas do mundo que co nos cerca. A tecnologia nos ajuda a melhorar essas aproximaes. co No entanto, no poss encontrar uma unidade de comprimento que mea, a e vel c de maneira justa, o lado e a diagonal de um quadrado, por menor que seja, pois 2 no um nmero racional, como vimos na unidade didtica anterior. a e u a A crise gerada pela existncia de segmentos no comensurveis perdurou at que e a a e um matemtico genial apresentasse uma idia nova, que alavancaria a questo. a e a Esse matemtico foi Eudoxo, nascido na ilha de Cnido, um contemporneo de a a Plato, fundador de uma escola de losoa, chamada Academia, que tanto a inuenciou nossa cultura.
Atividade 9
Voc conhece outro exemplo de um par de magnitudes no comensurveis? e a a Use o fato de ser irracional para mostrar que o raio r de um c rculo e sua circunferncia, 2 r, so no comensurveis. e a a a Voc conhece duas reas que sejam no comensurveis? Pense no problema da e a a a quadratura do c rculo.
Antes de contarmos um pouco da histria de Eudoxo e de suas idias para o e resolver o problema dos segmentos no comensurveis, vamos falar sobre a a a noo de innito, como era vista naquele tempo. ca 35
UD 3
Histria da Matemtica o a
7.1
Queremos obter uma seqncia de nmeros racionais que estejam mais e mais ue u prximos a 2. Uma maneira de fazer isso expressando esse nmero como o e u uma frao cont ca nua. Voc no precisa ser um expert no assunto, que muito e a e interessante, para entender a idia geral. e Observe que 2 = 1+ 21 = ( 2 1)( 2 + 1) = 1+ = 2+1 1 = 1+ . 2+1 Se voc achou que essa uma maneira estranha de escrever e e mais podemos fazer. 1 2 = 1+ = 1+ 2+1 1 1 1+ 2+1 = +1 1 1 2+ 2+1 2, veja o que
UD 3
Histria da Matemtica o a
Esse processo pode ser continuado por tantas vezes quanto quisermos, gerando uma espcie de frao prolongada, representada por e ca 2 = 1+ 2+ 2+ 2+ 2+ 2+ 1 1 1 1 1 1 2 + ...
Se interrompermos esse processo, obtemos um nmero racional que ser uma u a aproximao racional de 2. Realmente, uma aproximao de 2 com 9 casas ca ca decimais 1.414213562, enquanto e 1+1/(2+1/(2+1/(2+1/(2+1/(2+1/(2+1/2)))))) = 577 = 1.414215686. 408
Uma frao cont ca nua algo assim como um fractal algbrico. e e Agora vamos dar uma pausa para voc fazer um exerc e cio.
Atividade 10
Use a igualdade 1+ 5 1 = 1+ 2 1+ 5 2 2.
para gerar uma frao cont ca nua, como foi feito no caso de
1+ 5 , Use essa frao cont ca nua para calcular uma boa aproximao do nmero ca u 2 conhecido como razo urea e uma boa aproximao de 5. a a ca Continuando, lembramos que a noo innito de enorme importncia para a ca e a Matemtica, mas as diculdades que apresenta so igualmente fenomenais, a a como voc pode perceber, no caso da crise gerada pelo descobrimento da e existncia de comprimentos no comensurveis. e a a 37
UD 3
Histria da Matemtica o a
Essas crises se repetem ao longo da histria e cada superao representa um o ca avano monumental. O surgimento do Clculo, no sculo 17, e a compreenso c a e a das teorias desenvolvidas por Cantor, no in do sculo 20, cio e so exemplos disso. a
existncia de algo que seja innito. Todos concordam que o conjunto dos e nmeros naturais uma coisa potencialmente innita. Algo como um innito u e virtual. No entanto, como diria Aristteles, esse innito s existe nas nossas o o mentes. Anaximandro, disc pulo de Tales de Mileto, concebia o universo como uma innidade de mundos que existem desde sempre e que existiro durante um a tempo inesgotvel. Dessa forma, ele inaugurou a questo posicionando-se a a a favor da existncia de algo innito. e Em posio radicalmente oposta a Anaximandro, Parmnides acreditava que ca e o universo seria constitu de um unico objeto. Essa concepo monista do do ca universo implica a negao de qualquer movimento. Isso porque a existncia de ca e algum movimento demanda uma posio inicial e uma posio nal, contrarica ca ando a unicidade do universo. Muito bem, Zeno era disc a pulo de Parmnides e queria dar suporte ` teoria e a de seu mestre, mostrando que o movimento seria apenas uma iluso. Para a tanto, produziu quatro famosos argumentos com os quais pretendia mostrar que admitir a existncia de movimento implicaria algum tipo de absurdo. Esses e argumentos so conhecidos como paradoxos de Zeno. a a Um desses paradoxos arma ser imposs levantar-se da cadeira onde voc est vel e a sentado e caminhar at a porta mais prxima. Isto porque primeiro voc teria e o e 38
UD 3
Histria da Matemtica o a
que caminhar a metade desta distncia e depois teria que caminhar a metade a da metade que estaria faltando. Em seguida, a metade do que restou e assim por diante, interminavelmente. O absurdo que este paradoxo apresenta se deve ` negao do innito. Se a ca admitirmos, como normalmente o fazemos, ser poss percorrer uma innidade vel de pontos em um intervalo nito de tempo, podemos refut-lo facilmente. Ou a seja, Zeno nega o innito para concluir que o movimento um absurdo. a e Este paradoxo de Zeno pode ser apresentado de uma maneira matemtica. a a Veja: Um ponto movido da posio 0 na direo da posio 1, na reta real, da e ca ca ca seguinte forma: primeiro ele atinge a posio 1/2, depois a posio 3/4, em ca ca seguida 7/8, depois 15/16, e assim por diante. No n-simo estgio, o ponto se e a encontrar na posio 1 a ca 1 . Logo, imposs chegar at a posio 1 pois, e vel e ca 2n para chegar at l, o ponto teria que percorrer uma innidade de estgios. e a a
Atividade 11
Voc poderia mostrar que a equao anterior no tem soluo? Isso implica a e ca a ca impossibilidade de mover o ponto da posio 0 para a posio 1? ca ca Alm disso, lembre-se da frmula de soma dos termos de uma progresso e o a geomtrica para calcular a seguinte soma: e 1 1 1 1 + + + + n. 2 4 8 2 Voc sabe a frmula da soma innita dos termos de uma progresso geomtrica? e o a e Essa frmula s vlida para as progresses geomtricas cujas razes satisfazem o oe a o e o uma determinada condio. Qual condio essa? A progresso correspondente ca ca e a ao paradoxo de Zeno satisfaz a essa condio? a ca Um outro paradoxo de Zeno conhecido como Aquiles e a tartaruga. Aquiles, a e o mais famoso corredor da antiga Grcia, aposta uma corrida com a sbia tare a taruga. Considerando sua morosidade, a tartaruga pede a Aquiles uma pequena vantagem: que ela possa iniciar a corrida na metade do percurso. Aquiles cede, pois corre duas vezes mais rpido que a tartaruga. Muito bem, segundo Zeno, a a 39
UD 3
Histria da Matemtica o a
ele perde a corrida. Na verdade, segundo Zeno, a corrida nunca mais termia nar e a tartaruga estar sempre na frente de Aquiles. Isso porque, quando ele a a atinge o ponto de onde a tartaruga largou, a metade da raia, ela j avanou at a c e a metade da metade que lhe faltava percorrer. Aquiles segue at esse ponto, e mas a tartaruga j se encontra na metade de sua prxima etapa, e assim por a o diante. Resumindo, a tartaruga sempre estar na frente do magn a co Aquiles. Note que, para o argumento funcionar como Zeno o quer, preciso admitir a e que o espao e o tempo so cont c a nuos e o movimento uniforme (velocidade e constante). Alm disso, a maneira como Zeno descreve a histria sugere que e a o Aquiles e a tartaruga passariam por uma innidade de etapas, metade de metade, depois a metade do que faltou, e assim por diante. Para refutar esse paradoxo, basta que lembremos da nossa concepo de moca vimento. Admitimos que poss percorrer uma innidade de posies (cada e vel co um dos pontos entre a partida e a chegada) em uma innidade de instantes (um para cada posio), mas num intervalo limitado de tempo. ca Voc pode buscar os outros paradoxos de Zeno e analis-los. Eles seguem o e a a mesmo padro: negao do innito com mais algumas consideraes, que implia ca co cam a no existncia de movimento. Essa formulao equivalente ao seguinte: a e ca e a admisso da existncia de movimento com mais algumas consideraes, que a e co implicam a existncia de innidades. e Nossa concepo admite innidades. Numa linguagem moderna, aceitamos a ca frmula matemtica o a lim 1 1 2n = 1.
n+
Uma das diculdades que encontramos ao tentar entender a maneira como os antigos enfrentavam os problemas matemticos est no fato de ns, de uma a a o certa maneira, j sabermos as solues. a co Nesta seo vamos fazer um esforo de compreender a questo da existncia ca c a e de segmentos no comensurveis da maneira como ela estava colocada para os a a pitagricos. o A recompensa ser apreciar a genialidade de Eudoxo. a 40
UD 3
Histria da Matemtica o a
Suponhamos que exista um certo comprimento u tal que x = mu e y = nu, com m e n dois inteiros. Ora, se m for maior do que n, x maior do que y. e Caso contrrio, x menor do que y. a e Como voc sabe, os pitagricos acreditavam que essa possibilidade ocorreria e o para cada par de comprimentos. Mas, como voc sabe, isso no acontece para e a o lado e a diagonal de um dado quadrado, 1 e 2. Portanto, nesta altura, 1 e 2 no poderiam ser comparados. a
O quinto livro dos Elementos de Euclides apresenta uma teoria que resolve esta questo. A quarta denio desse livro chamada Axioma de Eudoxo e foi a a ca e ele atribu pelo grande Arquimedes. Ela diz: da
Duas magnitudes podem ser comparadas quando um mltiplo de u cada uma delas for maior do que a outra.
Veja, segundo essa denio, um comprimento e uma rea no so magnitudes ca a a a comparveis. No entanto, a diagonal do quadrado maior do que seu lado e, a e por sua vez, menor do que o dobro deste lado. e 41
UD 3
Histria da Matemtica o a
2 so comparveis. a a
Mas restava uma outra etapa, ainda mais dif cil. Como denir a igualdade de duas razes de magnitudes comparveis? Ou seja, queremos estabelecer a o a igualdade a est para b assim como c est para d. a a Ns dizemos, simplesmente, a est para b assim como c est para d se, e somente o a a se, a d = c b. Mas, lembre-se, os pitagricos (assim como Eudoxo) no o a dispunham da multiplicao. ca Note que eles j sabiam como fazer para os pares de magnitudes comparveis. a a Suponha que existam magnitudes u e v, assim como nmeros inteiros m, n, p u e q, tais que a = m u, b = n u, c = p v e d = q v. Ento, dizemos a que a est para b assim como c est para d se, e somente se, m q = n p. (E a a fcil multiplicar nmeros inteiros!) a u Mas, como eles poderiam estabelecer que 1 est para a para 2? Veja a brilhante soluo de Eudoxo. Ela aparece como a quinta denio do ca ca quinto livro dos Elementos de Euclides. Em termos atuais o seguinte: e a est para b assim como c est para d se, e somente se, para a a quaisquer inteiros m e n, vale: (1) ma < nb se, e somente se, mc < nd; (2) ma = nb se, e somente se, mc = nd; 42 2 assim como 2 est a
Histria da Matemtica o a
Atividade 12
Use a denio de Eudoxo para convencer-se de que 1 est para ca a 2 est para 2. Ou seja, a 1 2 = . 2 2 2 assim como
Observe que, nesse contexto, nmero inteiro quer dizer nmero positivo. Os u u nmeros negativos s foram introduzidos posteriormente. u o O mrito dessa denio est no fato de que ela permitiu que os antigos e ca a gregos dispusessem da estrutura dos nmeros reais. O progresso feito por essa u teoria s se compara aos trabalhos sobre os nmeros reais realizados por o u Cauchy, Weierstrass e Dedekind, matemticos do sculo 19, dos quais a e voltaremos a falar.
UD 3
Para isso, ele usou um resultado observado por Antifo, que fora o primeiro a a sugerir que a rea do c a rculo poderia ser calculada em termos de pol gonos regulares nele inscritos. Aqui est o resultado de Antifo: a a Um 2n -gono regular inscrito em um c a rculo ocupa mais do que 1 1 n1 de sua rea. a 2 Por exemplo, um quadrado ocupa mais do que a metade da rea do c a rculo em que est inscrito. a Voc j tem conhecimentos sucientes para resolver o prximo exerc e a o cio. Vamos a ele.
Atividade 13
Mostre que a rea de um quadrado ocupa mais do que a metade da rea do a a c rculo em que ele est inscrito. a Mostre que a rea de um octgono regular ocupa mais do que a o c rculo em que est inscrito. a Sugesto. Olhe para o seguinte desenho: a 3 da rea do a 4
44
UD 3
Veja, precisamos mostrar que a rea de um c a rculo proporcional ao quadrado e de seu dimetro. Em s a mbolos, devemos mostrar que existe uma constante K, tal que K d2 = rea(C), a onde C o c e rculo de dimetro d. a A constante K a mesma para qualquer c e rculo. Portanto, se aplicarmos a frmula para o c o rculo de dimetro 1, obtemos a K = rea(c a rculo de dimetro 1). a
Atividade 14
Calcule o valor de K em termos de .
Como voc sabe, s h trs possibilidades: e o a e (a) K d2 < rea(C), a (b) K d2 = rea(C) ou a (c) K d2 > rea(C). a Vamos mostrar que as possibilidades (a) e (c) levam a contradies e, portanto, co s restar a possibilidade (b). o a Vamos, ento, supor que (a) ocorre. Ou seja, a K d2 < rea(C). a Agora, segundo o Axioma de Arquimedes, que na verdade o atribui a Eudoxo, podemos escolher um nmero n sucientemente grande, de tal maneira que u 1 2n1 rea(C) < rea(C) K d2 . a a
Como n um nmero grande, 1/2n1 sucientemente pequeno para que e u e 1/2n1 rea(C) ainda seja menor do que a diferena (positiva) a c rea(C) K d2 . a 45
Histria da Matemtica o a
Vamos denotar por An (C) a rea do n-gono regular inscrito no c a a rculo C. Usando essa notao, o resultado de Antifo ca a e An (C) > 1 1 2n1 rea(C). a
Assim, dessas duas inequaes, obtemos co An (C) > 1 1 2n1 rea(C) > K d2 . a
Pacincia, estamos prximos ao m. Antifo tambm sabia que An (C), a rea e o a e a no n-gono inscrito em C, igual a d2 An , (d2 vezes An , a rea do n-gono a e a a inscrito no c rculo de dimetro 1). a Mas, lembre-se, K rea do c ea rculo de dimetro 1, portanto maior do que An , a a rea do n-gono nele inscrito. a a Colocando tudo isso junto, temos, K d2 > An d2 = An (C) > K d2 . Ora, isso uma contradio! Portanto, a possibilidade que deu in a tudo e ca cio isso, (a) K d2 < rea(C), no ocorre. a a E poss construir uma linha de argumentao que exclui, tambm, a possibivel ca e lidade (c) K d2 > rea(C). a Portanto, como Eudoxo armou, K d2 = rea(C). a Nessa unidade didtica voc aprendeu como foi resolvida a primeira grande a e crise da Matemtica. a Na prxima, voc conhecer um pouco mais a estrutura dos Elementos de o e a Euclides, assim como um panorama das ultimas conquistas dessa cultura que cou conhecida com a Era de Ouro da matemtica grega. a 46
Unidade 4
O Quinto Postulado da Geometria Euclidiana
Nesta unidade didtica voc conhecer uma das questes que ocupou a a e a o ateno de muitos matemticos, desde os tempos de Euclides at os dias de ca a e Gauss, quando foi denitivamente esclarecida, de maneira surpreendente. A questo era se o Quinto Postulado, formulado por Euclides, decorreria a (ou no) como conseqncia dos outros postulados. a ue Para entender melhor essa histria, bom aprender um pouco sobre o o e contexto em que surgiu a chamada geometria euclidiana.
UD 4
Histria da Matemtica o a
O sucesso dessa coletnea foi tamanho que todas as outras colees semelhana co tes, escritas antes dela, pereceram. Isso porque os livros eram copiados a mo a e os trabalhos considerados superados no eram mais reproduzidos. a 10.1 Breve descrio dos Elementos ca Os seis primeiros livros dos Elementos apresentam a geometria plana. O primeiro deles comea com 23 denies, seguidas de 5 postulados e mais 5 noes c co co comuns que essencialmente estabelecem a existncia de objetos matemticos e a e, por assim dizer, as regras do jogo. Lembre-se: postulados e noes comuns co so os axiomas da teoria apresentada por Euclides, a que chamamos (muito a propriamente) de geometria euclidiana. Por exemplo, o primeiro postulado garante a existncia da reta que contm dois e e pontos dados. Uma das noes comuns a armao: Coisas que so iguais co e ca a ` mesma coisa so iguais entre si. a a O quinto postulado chamado Postulado das Paralelas e difere dos quatro e anteriores, por ser bem mais elaborado. Com o cenrio estabelecido pelas denioes, pelos postulados e noes comuns a c co (os axiomas da teoria), so apresentadas 48 proposies. O primeiro livro a co e um verdadeiro tour de force, cujo objetivo apresentar, justamente nas duas e ultimas proposies, o Teorema de Pitgoras e a sua armao inversa. co a ca Caso voc disponha de acesso ` rede internet, poder visitar a pgina e a a a
Diagrama ilustrativo da demonstrao do Teorema de ca Pitgoras, como a e apresentada nos Elementos.
www.mat.uc.pt/jaimecs/euclid/1parte.html e ler uma traduo para ca portugus deste primeiro livro. e O quinto livro apresenta o trabalho de Eudoxo, sobre a teoria das propores, co enquanto o livro seis as aplica ` geometria plana. a A seguir, continuamos a falar sobre os Elementos, com ateno ca especial a nmeros. u
UD 4
Histria da Matemtica o a
algoritmo de Euclides, para calcular o mximo divisor comum de dois a nmeros; u prova de que h uma innidade de nmeros primos; a u prova de que todo nmero inteiro positivo da forma u n = 2m1 (2m 1) um nmero perfeito, sempre que o nmero 2m 1 for primo. e u u
Atividade 15
Considere a lista 2, 3 e 5, de nmeros primos, e obtenha um extra nmero primo u u usando a estratgia usada na demonstrao apresentada. e ca 49
Histria da Matemtica o a
UD 4
Histria da Matemtica o a
O tema dos nmeros perfeitos e dos primos da forma 2m 1 continua interesu sando os matemticos at hoje. Os nmeros da forma 2m 1 so chamados a e u a nmeros de Mersenne, em homenagem ao padre Marin Mersenne (1588 - 1648). u Esse padre armou, no prefcio de um livro, que os expoentes a 2, 3, 5, 7, 13, 17, 19 e 31 geram nmeros perfeitos. u A partir da os clculos cam dif , a ceis para serem efetuados a mo, pois os a nmeros se tornam muito grandes. u Posteriormente, Leonhard Euler (1707 - 1783) provou que todo nmero perfeito u par da forma descrita pelos gregos, fechando essa parte da histria que hae o via comeado na Antigidade. No entanto, vrios problemas envolvendo essas c u a questes continuam a nos desaar at hoje. Por exemplo, mesmo com a ajuda o e de computadores, s conhecemos 32 nmeros perfeitos. Alm disso, no se o u e a sabe se h uma innidade deles, assim como no se sabe se h algum nmero a a a u perfeito mpar. Apesar de que, se houver algum, ele ser maior do que 10300 . a Ainda sobre nmeros, o dcimo livro apresenta a teoria dos nmeros u e u irracionais, trabalho devido ao matemtico Teeteto, adequado por Euclides `s a a idias introduzidas por Eudoxo. e Agora, continuando o texto sobre os Elementos, vamos enfocar os ultimos livros, que tratam de Geometria Espacial.
UD 4
Histria da Matemtica o a
O ultimo livro dedicado aos poliedros regulares, conhecidos como Slidos de e o Plato. Por exemplo, dada a prova de que h, precisamente, cinco desses a e a slidos. o
Tudo indica que esse livro foi baseado num tratado sobre o assunto escrito por Theaetetus. A clareza e preciso com que esses livros foram escritos teve grande inuncia a e no desenvolvimento posterior da Matemtica. Mesmo com suas imperfeies, a co permanecer como uma obra a mpar, um verdadeiro tributo aos esforos feitos c pelas geraes de matemticos que viveram a co a Era de Ouro da Matemtica na Grcia. a e
UD 4
Histria da Matemtica o a
No entanto, se considerarmos os quatro primeiros axiomas e tomarmos por axioma a negao do Quinto Postulado, obteremos uma teoria to consistente ca a quanto a geometria euclidiana. Essa teoria chamada Geometria Hiperblica. e o Veja bem, a geometria hiperblica a teoria que obtemos ao trocarmos, na o e geometria euclidiana, o Quinto Postulado pelo seguinte axioma:
Axioma Hiperblico: Existem uma reta r e um ponto P no pero a tencente a r tais que pelo menos duas retas (distintas) contm P e e so paralelas a r. a
Nikolai Ivanovitch Lobachevsky (1793 - 1856) Matemtico russo que, assim a como Gauss e Bolyai, considerou uma geometria sem o Quinto Postulado.
Os primeiros matemticos a produzirem resultados nessa nova rea matemtica a a a foram Nikolai Ivanovitch Lobachevsky e Janos Bolyai. A comunidade matemtica custou a aceitar e a entender essas novas idias e tanto Lobachevsky a e quanto Bolyai caram sem receber, em seu tempo, os mritos por seus feitos. e Uma poss razo para isso pode ter sido o fato de que os teoremas nessa vel a nova geometria so muito estranhos, se comparados com os similares da geoa metria euclidiana. Nesse contexto, o Teorema de Pitgoras falso, assim como a e a frmula da distncia que conhecemos da geometria anal o a tica. Foi dif para a cil comunidade acostumar-se com o fato de duas retas poderem estar to prximas a o quanto quisermos, sem ter qualquer interseo. ca Em 1868, Beltrami conseguiu um modelo euclidiano para a geometria hiperblica. o Isso, mais um resultado provado por Lobachevsky, mostra que a geometria hiperblica consistente se, e somente se, a geometria euclidiana consistente. o e e Em 1882, Henri Poincar construiu um segundo modelo euclidiano para a geoe metria hiperblica, usando idias que remontam a Apolnio, um dos grandes o e o matemticos do passado, ligado ` escola de Matemtica de Alexandria. a a a Este modelo para a geometria hiperblica conhecido como disco de Poincar, o e e no qual as retas so representadas por arcos de c a rculos cujos extremos so a perpendiculares ao bordo do disco. 53
Janos Bolyai (1802 - 1860), lho de um matemtico, a descobriu, independentemente de Gauss e Lobachevsky, a existncia e da geometria hiperblica. o
UD 4
Histria da Matemtica o a
Henri Poincar (1854 - 1912) e foi um matemtico a extraordinrio. Deu a contribuioes em diversas c reas da matemtica, a a especialmente na Topologia, uma rea que ganhou grande a importncia ao longo do a sculo 20. Nessa rea ele e a props a chamada Conjectura o de Poincar, um problema e que atravessou o sculo e dando trabalho aos melhores matemticos do mundo. Em a 2003, o russo Grigori Perelma apresentou uma soluo para ca o problema. Se a sua soluo ca for aceita pela comunidade, ele pode ganhar um prmio e de um milho de dlares. a o
Os dimetros do disco tambm so considerados retas. Dois arcos que no se a e a a intersectam representam duas retas paralelas. Isso inclui os arcos que se intersectam no bordo, pois o modelo considera apenas o interior do disco. Como voc j deve estar imaginando, retas perpendiculares so arcos que no se ine a a a tersectam. H, tambm, um modelo que usa, no lugar do disco, um semiplano. Neste a e caso, as retas so as semi-retas perpendiculares ao bordo e semic a rculos cujo centro pertence ao bordo. Dessa forma, as extremidades desses semic rculos intersectam o bordo do semiplano ortogonalmente. Nessa geometria, a soma dos ngulos internos de um tringulo menor do que 180 , e pode variar de a a e tringulo para tringulo. Alm disso, tringulos com os mesmos ngulos tm as a a e a a e mesmas reas. a Assim, o Quinto Postulado o axioma que caracteriza a geometria euclidiana. e Mudanas nessa armao geram outras teorias, que so chamadas geometrias c ca a no-euclidianas. A Geometria Hiperblica uma delas. a o e Observe como a gravura do artista grco holands Maurits Cornelius Escher, a e a seguir, lembra esse tipo de geometria.
54
UD 4
Histria da Matemtica o a
Um outro exemplo de geometria no-euclidiana a chamada geometria el a e ptica, e foi estudada por Riemann. Essa geometria pode ser vista como a superf de cie uma esfera, na qual as retas so os grandes c a rculos. Nessa geometria, a soma dos ngulos internos de um tringulo maior do que 180 . a a e
Voc j estudou bastante at aqui. Faa uma interrupo na leitura e procure e a e c ca realizar a atividade que propomos.
Atividade 16
Usando o modelo de Poincar, para a geometria hiperblica, e o modelo da e o esfera com grandes c rculos, para a geometria el ptica, desenhe tringulos e a comprove que a soma de seus ngulos internos menor do que 180 , no caso a e da hiperblica e maior do que 180 , no caso da el o ptica.
Georg Friedrich Bernhard Riemann (1826 - 1866) contribui profundamente para o avano da Matemtica c a contempornea, graas a sua a c enorme criatividade. Riemann foi, entre outras coisas, o precursor do conceito de variedade diferencivel. Essa a noo permite levar as idias ca e do clculo diferencivel a um a a n de abstrao muito vel ca elevado e tem aplicaoes em c muitas reas alm da a e Matemtica. a
UD 4
Histria da Matemtica o a
A idia a seguinte: quando a lua est na sua fase quarto crescente, pode ser e e a vista no cu simultaneamente com o sol e o tringulo de vrtices sol, lua e terra e a e um tringulo retngulo. e a a
T L
s s t S
Medindo o ngulo LT S, Aristarco pde calcular a razo T S/T L, desenhando a o a um tringulo semelhante. a Feito grandioso, tambm, foi o de Eratstenes: mediu o raio da terra. Para e o isso, usou seus conhecimentos de geograa. Primeiro, considerou que os raios solares atingem paralelamente a terra, pois o sol est to distante que, ao fazer a a isso, estaria cometendo um erro desprez vel. Eratstenes sabia, por ter lido em textos conservados na biblioteca de Aleo xandria, que a cidade de Siene (atualmente incorporada em Assu) se encona trava exatamente sobre o Trpico de Cncer. Isso porque no dia 21 de junho, o a o solst cio de vero, o sol do meio-dia iluminava as guas de um poo proa a c fund ssimo. Sabia, assim, que nesse momento o sol incidia perpendicularmente sobre essa cidade. Ento, Eratstenes procurou saber qual seria a posio do a o ca sol, no mesmo dia e instante, sobre a cidade de Alexandria. Para isso, mediu a sombra de um obelisco e concluiu que os raios solares e o obelisco formavam um ngulo de 7 1/5, a quinquagsima parte de um c a e rculo.
Portanto, o ngulo formado pelo raio solar e pelo obelisco, que est na direo a a ca do dimetro da terra que passa por Alexandria, o mesmo ngulo do setor a e a circular cujo arco tem extremidades em Siene (Assu) e Alexandria. a 56
UD 4
Histria da Matemtica o a
Conta a lenda que ele pagou a um escravo para medir a distncia de Alexandria a at Siene (Assu), que de 800 km. De posse dessas informaes e usando e a e co geometria elementar, calculou a circunferncia da terra: e 360 800 = 40 000 km. 7 1/5 Assim, chegou ao raio da terra: 6 366, 2 km. Impressionante, no ? a e
UD 4
Histria da Matemtica o a
rigor que caracterizou os trabalhos das geraes anteriores. Mais ainda, Arquico medes aplicou esse rigor cient co no estudo da F sica, da Mecnica, criando a novidades que usamos at hoje, como o sistema de bombeamento, chamado Pae rafuso de Arquimedes, e os seus conhecimentos sobre alavancas e polias, para mover grandes pesos.
15.1 Arquimedes e a rea do c a rculo Para descrever, mesmo rapidamente, os resultados obtidos por Arquimedes, levar amos mais de uma unidade didtica, fugindo do propsito desse nosso a o trabalho. Mas, para que voc aprecie um pouco de sua produo matemtica, e ca a veja como ele provou que a rea do c a rculo de raio r r2 . e Veja a bel ssima aproximao de , dada por Arquimedes: ca 10 1 < <3+ 71 7
3+
Essa desigualdade reete, at a terceira casa decimal, a desigualdade 3.140 < e 3.141 < 3.142. Impressionante, no? a Muito bem, Arquimedes chegou a essa aproximao a partir da seguinte armao, ca ca tomada como verdadeira por ele: Dado um c rculo qualquer, h um segmento de reta que mais a e comprido do que o per metro de qualquer pol gono convexo nele inscrito e mais curto do que o per metro de qualquer pol gono convexo circuscrito no c rculo. Qualquer outro segmento que satisfaa c essa propriedade tem o mesmo comprimento. Esse comprimento e igual ` circunferncia deste c a e rculo. Na primeira parte da armao ele caracteriza a circunferncia do c ca e rculo e na segunda estabelece a sua unicidade. Existe e unico, como gostamos de dizer e em Matemtica. a Arquimedes partiu do ponto deixado por Eudoxo a rea de um dado c a rculo e proporcional ao quadrado de seu dimetro para provar, usando o mtodo de a e exausto, que: a 58
UD 4
Histria da Matemtica o a a rea do c a rculo igual ` rea do tringulo retngulo cujos catetos e aa a a so o seu raio e a sua circunferncia. a e
r 2r
A demonstrao segue a mesma linha de racioc usada por Eudoxo para provar ca nio a proporcionalidade (ver a unidade anterior), considerando separadamente as possibilidades de a rea do c a rculo ser maior do que a rea do tringulo, o que a a leva a um absurdo, assim como a possibilidade de ser menor. O episdio da morte de Arquimedes coberto por um pouco de lenda, que o e ajuda a reforar a imagem do cientista imerso em seus pensamentos, desligado c do mundo real. Segundo consta, ele morreu por no ter respondido ao a chamado de um soldado romano, por estar profundamente envolvido com um cil problema de geometria. E dif crer que um homem que esteve to atento `s a a necessidades de seus conterrneos, que tenha tido tantas idias prticas, no a e a a tenha percebido a aproximao e o chamado do soldado. ca E bom lembrar que as invenes blicas de Arquimedes haviam aigido e co e causado muitas baixas entre os soldados romanos que cercavam Siracusa, no intuito de tom-la. E bom lembrar que Marcellus, o general romano que a comandava o cerco de Siracusa, dera ordens expressas para que a vida de Arquimedes fosse poupada. De qualquer forma, o episdio nos lembra que a poca de ouro dos gregos o e estava chegando ao m. Outras civilizaes surgiam e o co poder mudava de mos. a A cultura grega ainda continuaria a exercer sua inuncia, como o faz at os e e nossos dias, mas era tempo para novas idias e novas contribuies. e co Alguns nomes importantes para a Matemtica ainda continuaram a aparecer, a como Apolnio, contemporneo de Arquimedes, com seu tratado monumental o a (mais de 400 teoremas) sobre as cnicas. Houve tambm Hiparco, que tanto o e contribuiu para a fundamentao do que chamamos trigonometria, Menelau ca 59
UD 4
Histria da Matemtica o a
de Alexandria, j na era crist, que fundamentou a trigonometria esfrica, o a a e neo-pitagrico Nicomaco de Gerasa. o Outro grande matemtico foi Diofanto, que viveu j no terceiro sculo da era a a e crist, e dedicou-se ` teoria de nmeros. Diofanto escreveu uma srie de 13 a a u e livros cujo conjunto era intitulado Aritmtica, dos quais conhecemos nove (seis e at 1973, quando mais trs foram descobertos, em traduo rabe). e e ca a A importncia de Diofanto reside, tambm, no fato de ter sido o primeiro a e matemtico a usar uma notao simblica para expresses algbricas. Isso lhe a ca o o e rendeu, com justia, o t c tulo de pai da Algebra. Mas como lgebra uma a e palavra proveniente do rabe, deixaremos essa histria para a a o prxima unidade didtica. o a Aqui esto mais algumas atividades que o convidam a entrar, pelo menos um a pouco, no universo da Matemtica daqueles dias. a
Atividade 17
Suponha que uma coroa de m kg tenha sido feita usando uma mistura de ouro e prata. Se a densidade do ouro for denotada por e a densidade da prata for denotada por , o volume da coroa dado por: e v = mx x + ,
onde x o peso (em quilogramas) de ouro usado na coroa. e Conhecendo a massa da coroa (5 kg, segundo consta a histria, Hiero tinha o a um pescoo fort c ssimo), como Arquimedes descobriu a quantidade certa de ouro e prata usados para fazer a coroa?
Atividade 18
Considere o tringulo de nmeros a seguir: a u 1 3 7 13 15 60 9 17 5 11 19
Histria da Matemtica o a
Some os nmeros de cada uma dessas linhas. O que voc pode observar? u e Muito bem, esse tringulo aparece no livro Introduo ` Aritmtica, escrito por a ca a e Nicomaco, no qual ele nota que a soma dos nmeros na n-sima linha n3 . u e e
Atividade 19
Uma das questes que interessava a Diofanto era a seguinte: escreva um dado o nmero, que a soma de dois quadrados, como a soma de outros dois quadrados. u e Por exemplo, 65 a soma de 64 com 1, dois quadrados. e Voc seria capaz de escrever 65 como a soma de outros dois quadrados? e Bem, a resposta de Diofanto a seguinte: e 65 se escreve como a soma de dois quadrados de maneiras diferentes pois o produto de 13 por 5, sendo cada um deles a soma de dois e quadrados. Ser que Diofanto conhecia a identidade algbrica a e (a2 + b2 ) (c2 + d2 ) = (ac bd)2 + (ad bc)2 ?
61
Unidade 5
Resoluo das Equaes Algbricas ca co e
Muito bem, continuando a Histria da Matemtica, voc conhecer como o a e a ocorreu a transio entre o per ca odo de ouro da matemtica grega para a poca a e do renascimento cultural e cient co vivido na Europa no sculo 16. e Durante toda a Idade Mdia, o contedo matemtico alcanado pelos gregos e u a c foi preservado e enriquecido pelos rabes. a E um longo cap tulo da Histria da Matemtica marcado pelo respeito que a o a cultura rabe teve pelos resultados obtidos anteriormente. a Mas no foi s isso, neste per a o odo tambm ocorreram grandes contribuies de e co matemticos indianos. a
UD 5
Histria da Matemtica o a
Com o decl das civilizaes grega, e depois romana, foi a vez dos rabes se nio co a expandirem. Em 711 eles cruzaram o Estreito de Gibraltar e ocuparam Crdoba o e Toledo, na Espanha. At o sculo 12 permaneceram tambm em territrio e e e o portugus e s sa e o ram de Granada, na Espanha, em 1492. Tinham uma cultura rica e eram capazes de absorver e transformar os conhecimentos dos povos que dominavam ou das culturas com que mantinham contato. Por exemplo, conhecemos o livro do astrnomo grego Cludio Ptolomeu, escrito o a no sculo 2, por Almagesto, devido ` sua traduo rabe. Alm disso, os rabes e a ca a e a usaram idias gregas para construir o astrolbio, que permitiu maior segurana e a c na navegao. ca Os livros sobre medicina, escritos por Al Razi (864 - 930) e Avicena (980 - 1037), foram usados na Europa at o sculo 17. Mais ainda, os rabes difundiram o e e a uso do papel no lugar do papiro, que eles trouxeram da China. Isso tornou a produo de livros mais barata, facilitando a difuso de conhecimento. ca a Como os rabes eram originrios de regies de clima inspito, tinham grande a a o o conhecimento sobre irrigao e semeadura. ca Alm de tudo isso, o amor que tinham pela abstrao e pelos nmeros deixou e ca u uma marca forte na Matemtica. Da a India trouxeram o zero, aperfeioaram os c algarismos e contribu ram para a parte mais abstrata da Matemtica, que leva a um nome rabe a Algebra. a Mas, vamos comear falando de um nmero muito especial o zero. c u
Histria da Matemtica o a
O zero se estabeleceu, denitivamente, como um s mbolo para representar nmeros num sistema posicional, na u India. Inscries que datam do ano 876 co descrevem um problema (sobre plantaes de ores, para a produo de guirco ca landas) em que os nmeros 270 e 50 so denotados como o fazemos hoje. u a J sua outra funo, como nmero, deu mais trabalho aos matemticos. Foi a ca u a um longo caminho do concreto para o abstrato. Veja, partir de idias tais e como quatro irmos, quatro objetos, para chegar ` idia do nmero 4, exige um a a e u enorme esforo de abstrao. Da para o zero, que representaria o nada, assim c ca como nmeros negativos, exige uma maior abstrao. Como se isso no fosse u ca a o bastante, h ainda a questo de estender a esses novos nmeros a aritmtica a a u e j estabelecida para os positivos. a Alguns matemticos da a India deniram regras para as operaes aritmticas enco e volvendo nmeros positivos, zero e nmeros negativos. Primeiro Brahmagupta e u u depois Mahavira e, perto de 500 anos depois de Brahmagupta, Bhaskara. Tudo funcionou bem, a menos da operao de diviso, onde eles tentavam estabelecer ca a o resultado de uma diviso por zero. a Bhaskara tentou resolver o problema da seguinte forma:
Uma quantidade dividida por zero se torna uma frao cujo denominador ca zero. A essa frao atribu uma quantidade innita. Esta quane ca e da tidade (aquilo que tem zero como seu divisor) no alterada, indepena e dentemente de quanto a ela seja acrescentado ou subtra do, assim como no h mudanas no innito e imutvel Deus quando mundos so criados a a c a a ou destru dos, apesar de inmeras ordens de seres serem absorvidos ou u criados.
x= Bhaskara (1114 - 1185) o e nome que associamos a frmula que resolve a o equao do segundo grau ca ax2 + bx + c = 0, b b2 4ac . 2a
Ele tambm era conhecido e por Bhaskaracharya, que signica Bhaskara, o professor.
Usando a notao atual, Bhaskara estava tentando resolver o problema coloca cando n = . 0 Por mais tentadora que parea essa soluo, ela acarreta vrios problemas. c ca a Primeiro, introduz um nmero extra, o . Isso j condena a frmula. Mas, o u a o pior ainda est por vir, pois ela implica que 0 igual a qualquer nmero a e u n, provocando a contradio de que todos os nmeros seriam iguais. ca u 65
Em 1655, por sugesto de a John Wallis, um dos precursores do Clculo, o a s mbolo passou a ser usado para indicar innito. Anteriormente era usado como uma alternativa para M , que representa 1 000 em algarismos romanos.
UD 5
Histria da Matemtica o a
cil E dif crer que a soluo para o problema seja to simples: basta estabelecer ca a que no se divide por zero, e pronto! De qualquer forma, esta questo afeta a a muitos iniciantes na Matemtica, at hoje. Precisamos lembrar nossos alunos a e constantemente que no se divide por zero. a Estender certas denies tais como elas valem para um dado conjunto de co objetos matemticos, para um conjunto maior, pode ser uma dura tarefa. Esse a foi, de certa forma, o problema enfrentado pelos matemticos da a India, quando tentavam denir as operaes aritmticas, conhecidas para o caso de co e nmeros positivos para incluir o zero e os negativos. u Veja a atividade.
Atividade 20
Veja o que est errado com a seguinte prova de que 1 igual a 2: a e 1 = 1 + 0 + 0 + 0 + ... = = 1 + (1 1) + (1 1) + (1 1) + . . . = = 1 + 1 + (1 + 1) + (1 + 1) + (1 + 1) + . . . = = 1 + 1 + 0 + 0 + 0 + ... = = 2. Seria poss denir uma adio que inclu uma innidade de parcelas? vel ca sse A representao dos nmeros por um sistema posicional, que demanda dez ca u algarismos, bem como as regras que denem as operaes bsicas da co a Aritmtica, envolvendo o zero e nmeros negativos, um importante avano e u e c matemtico que foi transmitido para a cultura rabe e, posteriormente, para a a as culturas europias. e Os algarismos hindu-arbicos, com o sistema numrico posicional e as fraes a e co decimais, so provas de que nossa cultura deve muito aos esforos das a c geraes anteriores. De qualquer forma, esse sistema no foi rapidamente co a absorvido e, por muito tempo, o sistema posicional e o sistema numrico e representado por letras conviveram lado a lado. Hoje, essa maneira antiga de denotar os nmeros tem uma presena residual. u c 66
UD 5
Histria da Matemtica o a
Algo assim como uma passagem do analgico para o digital. Falando nisso, o que horas so? a E claro que est na hora de passarmos ` Algebra. a a
Atividade 21
Em quanto tempo quatro fontes, todas abertas ao mesmo tempo, enchero uma a cisterna, as quais sozinhas a encheriam num dia, em meio dia, num quarto de um dia e num quinto de um dia? Bhaskara, como j vimos, um matemtico da a e a India, cujo nome permanece at e hoje. Como era comum em sua poca, ele redigia os problemas propostos de e forma potica. Veja um exemplo. e 67
UD 5
Histria da Matemtica o a
De um enxame de abelhas pretas, a raiz quadrada da metade voou para um jasmineiro e oito nonos das abelhinhas caram para trs. Sobraram duas, a uma femeazinha voando em torno de uma or de ltus, cuja fragrncia o a acabou capturando um zango, que l cou a zunir. Ento, diga-me to a a a a encantadora garota, quantas abelhas havia no enxame todo?
E claro que tal enunciado mais interessante do que simplesmente: e Resolva a equao ca x/2 + (8/9)x + 2 = x.
Bhaskara tinha uma lha chamada Lilavati, cujo nome foi dado a um de seus livros. Ela deve ter sido uma boa aluna de Matemtica. a Veja mais um problema t pico do Lilavati.
Oh, sbio homem! Um certo rei deu a cinco cavaleiros 57 moedas. Cada a um, por ordem, obteve o dobro e mais uma moeda do que o seu antecessor. Quantas moedas obteve o primeiro cavaleiro, assim como cada um dos outros?
Mas, voltemos aos rabes, conhecendo um pouco do trabalho de Omar a Khayyam referente `s equaes cbicas. Antes, contudo, faremos uma a co u introduo apresentando um resumo histrico dessas equaes. ca o co
UD 5
Histria da Matemtica o a
y = x2 2x = y 2
Muito bem, chegamos a Omar Khayyam (1050 - 1123), que, alm de poeta, e foi matemtico. A lenda conta que ele e mais dois amigos, Nizan e Hassan, a zeram um pacto, de que se algum deles casse rico, dividiria suas riquezas com os demais. Ao que parece, Nizan cou muito rico e, graas a isso, Omar c pde deixar seu of como arteso de tendas, razo do nome Khayyam, para o cio a a se dedicar ` Matemtica. Ele dedicou sua atividade matemtica a estudar a a a a equao cbica ca u x3 + ax2 + bx + c = 0.
Khayyam considerava diversos casos, dependendo dos sinais dos coecientes da equao e usava intersees de cnicas para determinar solues positivas, ca co o co assim como no caso da soluo de x3 = 2, dada anteriormente. ca Em resumo, lidava com casos especiais do seguinte simples resultado.
Teorema: O ponto (x, y) soluo de x3 + ax2 + bx + c = 0 e e ca y = x2 se, e somente se, soluo de (x + a)(y + b) = ab c e e ca y = x2 .
Por exemplo, para resolver a equao x3 2 = 0, Omar considera a interseo ca ca da parbola y = x2 e a hiprbole xy = 2. a e 69
UD 5
Histria da Matemtica o a
y = x2
xy = 2 3 2
Bem longe de Khayyam, um matemtico italiano se ocupa com o sistema a numrico rabe e lida com equaes cbicas. e a co u
A soluo dada por Fibonacci a seguinte: no primeiro ms, teremos um par ca e e de coelhos que se manter no segundo ms, tendo em considerao que se trata a e ca de um casal de coelhos jovens; no terceiro ms de vida daro origem a um e a novo par, e assim teremos dois pares de coelhos; para o quarto ms s temos e o um par a reproduzir, o que far com que obtenhamos, no m deste ms, trs a e e pares. Em relao ao quinto ms, sero dois os pares de coelhos a reproduzir, o ca e a que permite obter cinco pares de coelhos no m deste ms. Continuando desta e 70
UD 5
Histria da Matemtica o a
forma, ele mostra que teremos 233 pares ao m de um ano de vida do par de coelhos com que partimos. Assim, o nmero de coelhos aumenta da seguinte maneira: u 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, . . . caso o processo no seja interrompido. Veja, a seqncia de Fibonacci pode ser a ue obtida da seguinte maneira. F1 = 1; F2 = 1; Fn+1 = Fn + Fn1 . O ultimo nmero da seqncia, a partir do terceiro, a soma dos dois nmeros u ue e u anteriores, sendo que os dois primeiros nmeros so iguais a 1. u a H muita informao sobre os nmeros de Fibonacci na literatura, inclusive a ca u sobre suas relaes com a razo urea. co a a
UD 5
Histria da Matemtica o a
Veja, se substituirmos x por 1 no lado esquerdo da igualdade, obtemos 1 + 2 + 1 10 = 13 < 20. Alm disso, se multiplicarmos a equao por e ca , obtemos 10 x+ x3 x2 + = 2. 10 5
Essas consideraes indicam que a soluo est entre 1 e 2. co ca a Fibonacci constatou alguns fatos sobre a natureza da soluo, por exemplo ca provando que ela no um nmero racional, e arma que a e u x 1 22 7 42 33IV 4V 40V I , = ou seja, x1+ = 22 7 42 33 4 40 + 2 + 3 + 4 + 5 + 6, 60 60 60 60 60 60
Atividade 22
Usando o mtodo geomtrico, desenhe cuidadosamente as curvas e e (x + 2)(y + 10) = 40 e y = x2 . Muito bem, voc j sabe que dif achar soluo para uma cbica. Veja a e a e cil ca u diferena com o caso das equaes quadrticas. No caso de ax2 + bx + c = 0, c co a basta usar a frmula de Bhaskara, o b b2 4ac . 2a
x=
UD 5
Histria da Matemtica o a
pois s t soluo de y 3 + Ay = B. Realmente, basta substituir. O problema e ca determinar s e t. Muito bem, a questo algbrica! Basta resolver a equao e a e e ca 3 st = A em s, obtendo s = A e substituir em s3 t3 = B. Isso d a 3t A 3t
3
que pode ser resolvida em t3 pela equao de Bhaskara. Ufa! e essa apenas a ca e cbica comprimida. Veja um exemplo... Para resolver a equao y 3 + 6y 10 = u ca 0, fazemos y 3 + 6y = 10 e colocamos 3 st s3 t3 = 6 = 10.
Fazendo as substituies indicadas, chegamos ` equao t6 + 10t3 8 = 0, co a ca que tem solues t3 = 5 33. Escolhemos a soluo positiva e obtemos co ca 3 t = 5 + 33. De s3 t3 = 10, obtemos s3 = 5 + 33 e, portanto, 3 s = 5 + 33. Finalmente, y=
3
5+
33
5 + 73
33 1.300270977. =
UD 5
Histria da Matemtica o a
Scipione guardou esse segredo at quase seu ultimo suspiro. Antes de morrer, e
Tartaglia signica gago. A cidade em que ele nasceu, Bresia, Itlia, foi saqueada a em 1512 por soldados francesas. Niccolo, ainda menino, foi ferido gravemente em sua mand bula, por uma espada. Isso lhe deixou seqelas e o apelido. u
passou-o para seu assistente, Antonio Fior. Fior no esperou muito. Em 1535 desaou para um duelo um dos melhores a matemticos da poca, Niccolo Fontana Tartaglia (1499 - 1557). Tartaglia, a e acostumado `s vicissitudes da vida, sabia que os lobos estavam ` porta. Em a a pouco tempo resolveu o problema das cbicas comprimidas e foi alm. Descobriu u e uma maneira de resolver equaes do tipo co x3 + ax2 = c, (onde a e c so constantes positivas) e conseguiu vencer o desao de Fior. a Veja como bonito o truque de Tartaglia. Para resolver a equao e ca ax3 + bx2 + cx + d = 0 b . Isso dever eliminar o termo quadrado, recaindo em a 3a uma cbica comprimida. Por exemplo, para resolver a equao u ca substitua x por y x3 + 6x2 + 18x + 10 = 0, fazemos a substituio x = y 2. Assim: ca (y 2)3 + 6(y 2)2 + 18(y 2) + 10 = = y 3 6y 2 + 12y 8 + 6y 2 24y + 24 + 18y 36 + 10 = = y 3 + 6y 10.
UD 5
Histria da Matemtica o a
Assim, com a ajuda de Tartaglia, Cardano e seu aluno, Ludovico Ferrari (1522 - 1565), dominaram o mtodo de resolver equaoes cbicas. Mas, se voc e c u e no quer que seus segredos sejam revelados, no os conte a ningum! Em 1545 a a e Cardano publicou um livro, chamado Ars Magna (Arte Suprema), em que revela o segredo to ciosamente guardado por Tartaglia. a E preciso dizer que Cardano deu crdito a Tartaglia. Alm disso, s publicou o e e o livro aps ter visto a soluo parcial divisada por Scipione, em alguns de seus o ca papis pstumos. Alm disso, Cardano e Ferrari haviam feito alguns progressos. e o e Ferrari, por exemplo, havia descoberto a soluo para equaes do quarto grau ca co e isso fora inclu no livro de Cardano. De qualquer forma, isso criou uma do terr disputa com Tartaglia. Apesar de tudo, a divulgao da informao vel ca ca deu um enorme impulso no desenvolvimento da Matemtica. Cardano foi o a primeiro matemtico a divisar os nmeros complexos. Isso lhe permitiu dar um a u tratamento mais completo `s cbicas. a u
UD 5
Histria da Matemtica o a
Atividade 23
Ningum sabe exatamente quando nasceu ou morreu Diofanto. No entanto, e sabemos quantos anos ele viveu, devido ao enigma elaborado por um de seus disc pulos para descrever a vida do mestre:
A juventude de Diofanto durou 1/6 de sua vida; depois de mais 1/12, nasceu-lhe a barba. Ao m de mais 1/7 de sua vida, Diofanto casou-se. Cinco anos depois teve um lho. O lho viveu exatamente metade do que viveu o pai, e Diofanto morreu quatro anos depois da morte de seu lho. Tudo isso somado o nmero de anos que Diofanto viveu. e u
Atividade 24
Use o truque de Tartaglia para transformar a equao de Fibonacci x3 + 2x2 + ca 26 704 10x = 20 na equao y 3 + y = ca . Agora, use a soluo de Scipione ou ca 3 27 Cardano, para cbicas comprimidas, e calcule a raiz u
3
352 + 6 3930 +
Atividade 25
Resolva a equao y 3 15y = 4 usando a soluo de dal Ferro, com s e t. ca ca Depois, observando que 4 uma soluo, encontre as outras respostas usando e ca a frmula de Bhaskara. Como voc explica a diferena encontrada? o e c
76
Unidade 6
Uma Nova Matemtica para um Mundo Novo a
Nesta unidade didtica voc ver como a descoberta do Clculo introduziu a e a a vida nova ` Matemtica e mudou, denitivamente, o cenrio a a a cient co mundial. No entanto, imaginar que o surgimento dessa nova ferramenta matemtica a tenha ocorrido independentemente do contexto cient co e cultural , no e m nimo, ingnuo. e O sculo 16 assistira a descobertas e avanos cient e c cos impressionantes, mas nada que se compare com o que estava por vir.
UD 6
Histria da Matemtica o a
Cardano e Ferrari, assim como os trabalhos de Franois de Vi`te, fazendo proc e gressos na parte da notao matemtica, dava nimo aos outros matemticos ca a a a e preparava o terreno para novas descobertas. Nessa poca, o desenvolvimento tecnolgico passou a exigir da Matemtica e o a respostas para seus prprios problemas. Por exemplo, questes sobre reas e o o a volumes, associadas ao clculo de centros de gravidade, motivaram Luca Valrio a e (1552 - 1618) a aprofundar os mtodos desenvolvidos pelos antigos gregos. e Era o momento de Galileu Galilei (1564 - 1642) fazer pesquisas sobre a queda livre dos corpos, realizadas com genialidade, e mudar denitivamente a maneira de se produzir cincia. Foi ele quem apontou o telescpio para os cus, tornando e o e um brinquedo em uma ferramenta cient ca, sendo o primeiro ser humano a vislumbrar a grandeza do cosmo. Outro gigante das cincias foi Johannes Kepler (1571 - 1630) que revelou aos e homens as leis que regulam o funcionamento do sistema solar, decifrando um mistrio milenar. e A primeira lei de Kepler arma que as rbitas planetrias so elipses nas quais o a a o sol ocupa um dos focos. (Nada de c rculos, ou c rculos se revolvendo sobre outros c rculos, a soluo no era euclidiana, no sentido de rgua e compasso.) ca a e A segunda arma que o segmento (imaginrio) que une o sol ao planeta descreve a reas (setores el a pticos) iguais em tempos iguais. Isso explica por que os planetas aceleram quando se aproximam do sol e diminuem sua velocidade quando dele se afastam. Vale a pena ouvir, pelo menos uma vez, o canto de vitria de Kepler, escrito o no prefcio do seu Harmonices mundi, descrevendo a intensidade de seus sentia mentos ao vislumbrar sua descoberta:
Fui iluminado, em meio a uma contemplao muito admirvel, h dezoito ca a a meses por um primeiro claro, h trs meses por uma claridade diferente a a e e h poucos dias pelo prprio sol. a o
Veja, Kepler estava consciente da importncia de sua descoberta, mas sabia de a que ela encontraria resistncia em alguns setores. A virada do sculo 16 para 17 e e assiste ` mudana do eixo de produo matemtica da Itlia para mais ao norte a c ca a a da Europa. A necessidade de um ambiente onde h liberdade de pensamento a para a produo cient ca ca explica, em parte, esse fenmeno. E bom lembrar o 78
UD 6
Histria da Matemtica o a
que Galileu foi forado a renegar suas idias e terminou seus dias isolado. c e O sculo 17 foi inaugurado com um avano matemtico notvel a introduo, e c a a ca aperfeioamento e utilizao de uma ferramenta matemtica extraordinria c ca a a o logaritmo. Isso foi resultado dos esforos conjuntos de dois britnicos: John c a Napier (1550 - 1617) e Henry Briggs (1561 - 1631). E um pouco dif para um jovem estudante de Matemtica, que pode comcil a prar uma calculadora cient ca em qualquer esquina, entender o porqu de toda e essa importncia. No entanto, os logaritmos transformam multiplicaes e dia co vises em somas e diferenas, respectivamente, ajudando imensamente todas as o c atividades cient cas que demandavam clculos elaborados, como a astronomia. a A motivao para essa descoberta fora a comparao entre a srie aritmtica e ca ca e e a srie geomtrica, colocadas em direta correspondncia por Michael Stiefel no e e e livro Arithmetica Integra, de 1544: 0 1 1 2 2 4 3 8 4 16 5 32 6 64 7 128 8 256 ... ...
observando que a soma na seqncia da linha superior correspondia ao produto ue na srie da linha inferior. Stiefel se referia aos nmeros de cima como os e u expoentes dos nmeros de baixo. u Voc se lembra do famoso algoritmo para extrair ra quadradas? Veja que e zes extrair signica tirar sob duras penas... Muito bem, sem usar a calculadora, marcando no relgio, depois de passar uma meia hora treinando para o relembrar, realize, ento, o exerc proposto. a cio
Atividade 26
Calcule 13457.29.
Agora, quanto tempo voc levaria para dividir 9.507276246 por dois? Portanto, e se voc dispusesse de uma maneira de transformar 13457.29 em 9.507276246 e, e aplicando o processo inverso, destransformar a metade deste nmero de volta, u voc ainda tentaria usar o algoritmo da raiz quadrada? e Veja, ln 13457.29 = 9.507276246, 9.507276246/2 = 4.753638123 e e4.753638123 = 116.0055602. Portanto, 13457.29 = 116.0055602. 79
UD 6
Histria da Matemtica o a
Note que as primeiras tabelas de logaritmo, constru das por Napier, no eram na a base 10. Em 1615, com a colaborao de Briggs, foram constru ca das as tabelas onde o logaritmo de 1 zero e logaritmo de 10 1. Isso , logaritmo na base e e e 10. A constante e, base do que chamamos logaritmo natural, foi introduzida posteriormente, por Euler.
1 1 1 1 1 = 1 + + + + + > R. n 2 3 N 1 N 80
UD 6
Histria da Matemtica o a
Veja, para ultrapassar o nmero R = 10, por exemplo, necessrio tomar u e a n = 12 367. Ou seja, a soma dos 12 366 primeiros termos da srie , aproximae e damente, 9.999962148. Observe como Oresme resolveu o problema: 1 1 1 1 1 + > + = ; 3 4 4 4 2 1 1 1 1 1 1 1 1 4 1 + + + > + + + = = ; 5 6 7 8 8 8 8 8 8 2 1 1 1 1 1 1 1 1 8 1 + + + ... > + + + + = = ; 9 10 11 16 16 16 16 16 16 2 1 1 1 1 1 1 1 1 16 1 + + + ... > + + + + = = . 17 18 19 32 32 32 32 32 32 2 Prosseguindo assim, tomando partes cada vez mais compridas da srie, seguimos e somando parcelas que, de 1/2 em 1/2, ultrapassam qualquer nmero R > 0. u E claro que isso toma muitos termos, mas temos uma quantidade inesgotvel a deles.
Atividade 27
Repita um dos feitos de Oresme e calcule a soma a seguir. 4 5 n 1 2 3 + + + + + ... + n + ... 2 4 8 16 32 2
As questes do tipo clculo de reas e de volumes, assim como as questes o a a o sobre tangentes a curvas, ocuparam muitas mentes brilhantes. Novamente, a questo de lidar com innito ou innitsimos estava em pauta. a e Para o estudo do comportamento dos planetas, Kepler precisava determinar reas de setores el a pticos, mas tambm considerou, por razes mais prosaicas, e o o clculo do volume de barris de vinho. Sua abordagem era a de dividir, por a exemplo, um dado slido em um nmero innito de pedaos innitesimais, ou o u c slidos indivis o veis, de um tamanho ou forma conveniente para o problema. Outro matemtico que marcou essa poca foi Bonaventura Cavalieri (1598 a e 1647), que produziu dois alentados volumes: Geometria indivisibilibus continuorum (Geometria dos Indivis veis), de 1635, e Exercitationes geometricae sex 81
UD 6
Histria da Matemtica o a
(Seis Exerc cios Geomtricos), de 1647. A abordagem de Cavalieri era diferente e da de Kepler. Veja o chamado Princ de Cavalieri: pio
Dois slidos com a mesma altura, que tm suas sees planas de mesmo o e co n com as mesmas reas, tm o mesmo volume. vel a e
Cavalieri calculou o volume da esfera de raio R, comparando com o volume do cilindro de raio R e altura 2R menos dois cones de altura R e raio R. Para isso, basta mostrar que a rea do disco contido na esfera igual ` rea da coroa a e aa contida no cilindro menos o par de cones, na mesma altura. Veja na gura a seguir.
Para ter certeza de que a conta est correta, observe o diagrama a seguir. a
h r
R h h R
O raio r, do disco de n h, na esfera, satisfaz a relao R2 = r2 + h2 , vel ca devido ao tringulo retngulo da gura da esquerda. Portanto, a rea deste a a a disco r2 = (R2 h2 ). Por outro lado, a coroa circular consiste do disco e de raio R menos o disco de raio h, como mostra o tringulo issceles da gura a o da direita. Sua rea , portanto, R2 h2 . a e 82
UD 6
Histria da Matemtica o a No in do sculo 17, a Frana produziu algumas pessoas geniais que cio e c contribu ram fortemente para a criao do clculo. ca a Vamos conhecer algumas delas.
UD 6
Histria da Matemtica o a
E imposs dividir um cubo em dois cubos, ou uma quarta potncia vel e em duas potncias de quatro, ou geralmente qualquer potncia maior do e e que o quadrado na soma de duas iguais potncias; e eu encontrei uma e demonstrao admirvel para esse fato, mas essa margem muito estreita ca a e para cont-la. e
A armao pode ser traduzida da seguinte forma: no existem trs nmeros ca a e u inteiros x, y e z tais que xn + y n = z n , para n inteiro maior do que 2, e deveria ser chamada Conjectura de Fermat, pois no havia demonstrao. a ca Poucas vezes na histria uma questo matemtica desaou tanto a inventividade o a a de matemticos prossionais e amadores. A facilidade do enunciado certamente a contribuiu para atrair o interesse de tantas pessoas, ocultando, no entanto, a enorme diculdade do problema. Bem, no havia demonstrao, mas agora h. Em 1993 Andrew Wiles proferiu a ca a uma palestra em Cambridge apresentando os resultados de suas pesquisas. O Teorema de Fermat estaria demonstrado como conseqncia. No entanto, falhas ue na demonstrao de Wiles deixavam de fora alguns casos especiais, entre eles ca o que provaria o Teorema de Fermat. Como num lme de suspense, o vilo a se levantava mais uma vez. Finalmente, em 1994, novos argumentos foram apresentados por Wiles e Richard Taylor cobrindo todos os casos, inclusive o que demonstrava o Teorema de Fermat. Para saber os detalhes dessa histria o realmente maravilhosa, no deixe de ler o livro O Ultimo Teorema de Fermat, a de Simon Singh. Fermat deixou sua marca na teoria de nmeros e tambm foi o co-responsvel u e a pelos fundamentos da probabilidade, devido `s suas contribuies atravs de a co e cartas que trocou com Blaise Pascal (1623 - 1662), outro grande matemtico a daqueles dias. Seus progressos no desenvolvimento do que chamamos clculo a diferencial foram muitos. Ele percebeu, por exemplo, que a noo de reta ca tangente a uma dada curva poderia ser usada para detectar pontos de mximo a ou de m nimo. Veja como Fermat teria resolvido o problema a seguir. Calcule as propores do cilindro reto de maior volume que pode ser inscrito co numa esfera de raio R. 84
UD 6
Histria da Matemtica o a
Esse problema encantaria qualquer um dos matemticos gregos do passado, mas a eles no disporiam de qualquer mtodo que permitisse encontrar a resposta. a e Vamos denotar o raio da base do cilindro por r e sua altura por h. Usando o Teorema de Pitgoras, temos R2 = r2 + a h2 . Isolando o valor de r2 nessa 4 frmula e substituindo em r2 h, o volume do cilindro, obtemos a frmula do o o volume do cilindro em termos apenas de sua altura: V (h) = R2 h2 4 h.
De posse dessa equao, Fermat calcularia a inclinao da reta que contm os ca ca e pontos (h, V (h)) e (h + a, V (h + a)), como estamos habituados a fazer nos cursos de Geometria Anal tica, obtendo
V (h + a) V (h) a R2 =
2
R h/2 r
(h + a)2 4
(h + a) R2 a
h2 4
h
Corte da esfera com cilindro reto inscrito por um plano contendo a origem.
= = =
Para determinar a inclinao da reta tangente no ponto (h, V (h)), basta fazer ca (4R2 3h2 ) . O ponto mximo ocorre onde essa inclinao a ca e 4 zero, ou seja, 4R2 3h2 = 0. Portanto, o cilindro de volume mximo inscrito a 2 3R 6R na esfera de raio R tem altura h = e raio r = . 3 3 a = 0, obtendo O fato da equao que dene o volume do cilindro em termos da sua altura ser ca polinomial foi crucial para o truque funcionar. Apesar de estarmos calculando uma derivada e igualando-a a zero, em nenhum momento usamos a noo de ca limite! Isso cou escondido na passagem em que trocamos o a por zero, aps o termos feito todas as fatoraes. co Alm de Descartes e Fermat, Pascal tambm dedicou sua engenhosidade ` e e a resoluo de problemas de clculo. Ele comeou sua carreira matemtica na ca a c a 85
UD 6
Histria da Matemtica o a
geometria, provando, aos 16 anos, um teorema sobre a colinearidade dos pontos de interseo dos lados opostos de um hexagrama m ca stico inscrito em uma cnica. o
Se um hexgono ADBF CE (no necessariamente convexo) for inscrito a a em uma cnica (como um c o rculo ou uma elipse), ento os pontos de a interseo das retas que conectam vrtices opostos (AD com F C, DB ca e com CE e BF com EA) so colineares. Essa reta chamada reta de a e Pascal do hexaedro.
Veja, nas guras a seguir, duas possibilidades: hexagrama inscrito numa elipse e hexagrama inscrito numa hiprbole. e
B C F E D A B C
F E
Aos 18 anos construiu o primeiro computador de que se tem not cia, chegando a produzir e vender cerca de cinqenta mquinas. No por nada que chamau a a e mos Pascal uma das primeiras linguagens desenvolvidas para programao de ca computadores. Pascal dedicou algumas semanas de sua vida estudando a ciclide, nome dado o por Galileu Galilei ` curva obtida do trao de um ponto do bordo de um c a c rculo rolando ao longo de uma reta.
Seria injusto terminar esse momento em que falamos de matemticos francea ses geniais desse per odo sem mencionar Girard Desargues (1591 - 1661). Ele 86
UD 6
Histria da Matemtica o a
fundou as bases da geometria projetiva, mas seus trabalhos s ganharam recoo nhecimento posteriormente. Como voc pde ver, havia uma profuso de resultados do tipo clculo e o a a diferencial (problemas de tangentes a curvas) e integral (questes de clculo o a de reas e volumes). Muitos outros matemticos, como Evangelista Torricelli a a (1698 - 1647), Gilles Persone de Roberval (1602 - 1675), John Wallis (1616 1703) e Isaac Barrow (1630 - 1677) deram suas contribuies. Em particular, co Barrow foi o primeiro a notar a conexo que h entre essas duas questes. a a o
87
UD 6
Histria da Matemtica o a
losos), temos uma generalizao do Teorema Binomial, a Teoria da Gravitao ca ca e a anlise da natureza da luz. a A importncia dos trabalhos de Newton reside na praticidade de seus mtodos a e e no tipo de problemas que ele pde resolver. Por exemplo, partindo das leis o de gravitao e usando os mtodos de clculo por ele desenvolvidos, pde deca e a o monstrar as leis de Kepler. Um exemplo da viso de Newton sua generalizao do Teorema Binomial. a e ca Esse teorema descreve como obter a expanso do binmio (a + b)n , para todo a o inteiro positivo n. Veja, (a + b)2 = a2 + 2ab + b2 , (a + b)3 = a3 + 3a2 b + 3ab2 + b3 e assim por diante. Para determinar os coecientes dessas expanses, basta tomar a correspondente o linha no chamado tringulo de Pascal: a
1
Na verdade, esse arranjo de nmeros era conhecido desde u muito antes de Pascal. Por exemplo, Omar Khayyam, matemtico rabe, e Chu a a Shih-Chieh, matemtico a chins que o menciona no e livro O Espelho Precioso dos Quatro Elementos, por volta de 1303.
1 1 1 1 1 1 6 5 15 4 10 20 3 6 2
1 1 3 4 10 15 5 6 1 1 1 1
Para obter a prxima lista, basta comear com o nmero 1 e seguir somando o c u os dois nmeros logo acima da posio a ser preenchida. Ela seria 1, 7, 21 e u ca assim por diante. O jovem Newton percebeu que poss determinar os coecientes diretamente, e vel sem a construo do tringulo linha por linha at chegar ` potncia desejada. ca a e a e Algo como fazemos agora com a frmula para determinar o coeciente do termo o 88
UD 6 ani bi : C(n, i) =
n i
Histria da Matemtica o a
n! . (n i)!i!
Dessa forma, para expandir (1 + x)3 , fazemos (1 + x)3 = 1 + 3x + 32 2 321 3 3210 4 x + x + x + ... 2 32 432
observando que, a partir do termo de grau 4, os coecientes se anularo. a Newton observou que essa frmula vale para expoentes fracionrios e negativos. o a Para calcular (1 + x)3 , ele faria 1 + (3)x + obtendo 1 = 1 3x + 6x2 10x3 + 15x4 . . . (1 + x)3 A diferena, agora, que o lado direito da igualdade uma soma innita. Ele c e e conrmou sua descoberta observando que (1 + 3x + 3x2 + x3 )(1 3x + 6x2 10x3 + 15x4 . . . ) = 1. Newton no observou que essa expresso s vale para valores de x no intervalo a a o (1, 1). Mas essas computaes eram mais do que s interessantes. Eram co o uma poderosa ferramenta de clculo. Usando esse teorema binomial, obteve a a expanso em srie da funo y = 1 x = (1 x)1/2 , obtendo a e ca 1 1 5 4 7 5 1 x x ... 1 x = 1 x x2 x3 2 8 16 128 256 Por exemplo, usando esses termos da srie, podemos calcular uma aproximao e ca para 3. Primeiro, precisamos de um truque. Observe que 3 = 4 1. Assim, 3= 4 1 1 4 = 2 1 1 e 4 = 2 227025 = 1.732063293. 262144 (3)(4) 2 (3)(4)(5) 3 x + x + ... 2 23
UD 6
Histria da Matemtica o a
No deixe de comparar essa aproximao com aquela que voc pode obter a ca e usando uma simples calculadora cient ca. Veja que usamos apenas 6 termos da srie. e Em nossa viagem no tempo e espao, estivemos em inmeras regies. Assim, c u o chegamos ` segunda metade do sculo 17, mais especicamente na Alemanha. a e
pessoal a cada um. A verdade que suas abordagens foram diferentes, levados e por motivaes outras. Newton apresenta o Mtodo das Fluxes como uma ferco e o ramenta que lhe permite aprofundar seus conhecimentos dos fenmenos f o sicos. Isto , uma viso cinemtica do Clculo: a derivada vista como uma taxa de e a a a variao. Newton considerava x e y variando, uindo, em funo do tempo. ca ca Leibniz, por sua vez, considerava x e y variando sobre uma seqncia de valores ue innitamente prximos. Ele introduziu dx e dy como sendo as diferenas entre o c os valores nesta seqncia. ue
UD 6
Histria da Matemtica o a
mos de grcos. De qualquer forma, estavam travando uma luta com o innito, a no caso, o innitamente pequeno. Apesar de Newton ter desenvolvido sua teoria primeiro, coube a Leibniz o mrito e de ter publicado sua verso, em 1684, introduzindo o termo calculus summaa torius, e divulgando suas idias. Leibniz dava muita importncia ` notao, no e a a ca que estava absolutamente certo. Leibniz introduziu os s mbolos matemticos d e a de 1675, a notao ca x dx = exatamente como ns o fazemos at hoje. o e Assim chegamos ao m da unidade didtica com pelo menos uma viso global a a da enorme odissia que foi o descobrimento do Clculo. Newton e Leibniz se e a sobrepuseram a seus contemporneos devido ao escopo de suas descobertas. a Conseguiram ver alm dos outros matemticos. Pudera, eles se encontravam e a sobre os ombros de gigantes, como diria Newton. De qualquer forma, muito ainda estava por ser feito e os novos desbravadores j estavam se preparando. Os irmos Jakob e Johann Bernoulli e, a a principalmente, Leonhard Euler, continuariam a descobrir e a usar o Clculo a por todo o sculo 18 e s no sculo 19 Cauchy e Weierstrass colocariam toda e o e a teoria em bases slidas, como a estudamos hoje. o Mas, para contar um pouco sobre essa parte da histria, devemos esperar as o prximas unidades didticas. o a x2 , 2 , estabelecendo, por volta
91
Unidade 7
A equao de Euler: ei + 1 = 0 ca
Nesta unidade didtica voc conhecer alguns dos triunfos de Leonhard Euler, a e a um dos matemticos mais produtivos de todos os tempos e a o mais importante do sculo 18. e Ver como os desaos matemticos continuavam estimulando a criatividade a a dos matemticos, indicando que a sede de resolver problemas continuava, a entre os matemticos, forte como sempre. a Iniciamos mostrando como as equaes matemticas passaram a ocupar co a espao no cenrio da Matemtica, que comeava a car c a a c mais sinttica e menos literal. e
1+1=2
E = m c2
93
F = ma
UD 7
Histria da Matemtica o a
A equao 1+1 = 2 foi indicada, por exemplo, por sua simplicidade, enquanto as ca outras duas tm a popularidade garantida devido ` sua importncia no mundo e a a da F sica. A equao E = m c 2 , formulada por Einstein, expressa a relao ca ca entre a massa e a energia, no contexto da Teoria da Relatividade e F = m a e a formulao da Segunda Lei de Newton, relacionando a acelerao provocada ca ca por uma fora atuando sobre um corpo. c O artigo tambm provocou uma discusso sobre o signicado do termo equao. e a ca Mais especicamente, as pessoas queriam saber a diferena entre termos como c equao, frmula e teorema. Como se trata de nomenclatura, a discusso tem ca o a uma importncia relativa, mas interessante. Por exemplo, bem provvel que a e e a muitas pessoas respondam com a equao a2 = b2 + c2 ao pedido de citar o ca Teorema de Pitgoras. a E verdade que a frmula no o Teorema de Pitgoras, no sentido que a o a e a igualdade pode no ser satisfeita caso a, b e c no sejam os comprimentos a a dos lados de um tringulo retngulo. E, mesmo que fossem, a igualdade s se a a o cumpre se a for o comprimento do lado maior, a hipotenusa. Mas, implicncias matemticas ` parte, no podemos negar que a a a a a2 = b2 + c2 carrega, em si, a essncia do teorema. e Outro exemplo vem da frmula de Euler para poliedros convexos, o V A+F = 2
Heinrich Hertz (1857-1894), f sico alemo que demonstrou a pela primeira vez, em 1888, a existncia de radiao e ca eletromagntica, construindo e um aparelho que produzia ondas de rdio. Seu nome a e usado para denotar a unidade de freqncia que um ue determinado evento repetitivo, como o som ou ondas eletromagnticas, e ocorre por unidade de tempo. 1 Hz (um hertz) indica que o evento ocorre uma vez por segundo.
relacionando algebricamente o nmero de seus vrtices, arestas e faces. u e Uma das citaes famosas sobre esse tema de Hertz: co e
E imposs evitar o sentimento de que essas frmulas matemticas tm vel o a e uma existncia independente e uma inteligncia prpria, que elas so mais e e o a sbias do que ns, mais sbias mesmo que seus descobridores, que consea o a guimos delas algo mais do que foi originalmente colocado nelas.
A frase de Hertz tem um extra signicado quando notamos que entre as mais indicadas na pesquisa estavam as equaes de Maxwell, que descrevem como um co campo eletromagntico varia no espao e no tempo. Vale a pena dar uma olhada e c 94
UD 7
Histria da Matemtica o a
nessas equaes, mesmo que no esteja em nossos planos nos aprofundarmos co a em tal direo. ca
E =
B = 0 E = B t
0 0
James Clerk Maxwell (1831-1879), f sico britnico a que explicou as propriedades do eletromagnetismo. Publicou um conjunto de quatro equaes diferenciais co nas quais descreve a natureza dos campos eletromagnticos e em termos de espao e c tempo.
B = 0 J +
E t X denota
Nestas equaes, E o campo eltrico, B o campo magntico, co e e e o divergente do campo X, grandezas esto representadas no sistema de unidades mks. a
As duas primeiras equaes dizem que o campo eltrico e o campo magntico co e e satisfazem ` Lei de Gauss. a Apesar de terem uma estrutura relativamente simples, as equaes de Maxwell co nos permitiram uma nova perspectiva da natureza, unicando eletricidade e magnetismo. Essa teoria enlaou a F c sica e a Matemtica de uma maneira a inovadora, fazendo mais do que descrever os fenmenos eletromagnticos. Tal o e descoberta afetaria a maneira de produzir tanto Matemtica quanto F a sica. O tema interessante mas, adiantamo-nos. Essas equaes so chamadas difee co a renciais e foram formuladas no sculo 19. Nesta unidade didtica, entretanto, e a vamos falar sobre acontecimentos ocorridos no sculo 18. Isso nos traz ` outra e a das equaes mais votadas: co
ei + 1 = 0.
Conhecida por equao de Euler, ela no descreve algum fenmeno especial da ca a o natureza, no dita uma certa identidade vlida para quaisquer grandezas, como a a a famosa sen2 + cos2 = 1, ou a concluso de um grande teorema, como e a a equao a2 = b2 + c2 , concluso do Teorema de Pitgoras. No entanto, ela ca a a tem um sentido simblico forte. o 95
UD 7
Histria da Matemtica o a
A equao rene nove conceitos bsicos de Matemtica numa s expresso. ca u a a o a Temos: e, a base dos logaritmos naturais; a operao elevar ao expoente; a ca constante ; a multiplicao; nmeros complexos; a operao de soma, repreca u ca sentada por +; o nmero 1; igualdade; o nmero 0. u u A equao merece ser citada no Guinness. (Adivinhe qual das equaes citada ca co e nesse livro!) Na verdade, a equao simboliza a diversidade, reunindo numa frase to curta ca a tantas diferentes reas matemticas. Alm do mais, um tributo a um homem a a e e genial, Leonhard Euler (1707 - 1783), que com sua simplicidade, criatividade e muito trabalho contribuiu de maneira singular para o desenvolvimento da Matemtica. a E por essa razo que consideramos as equaes a essncia da Matemtica. a co e a
1 1 1 1 1 = 1 + + + + + + ... k 2 3 4 k
num livro de 1689, atribuindo, no entanto, a soluo do problema ao irmo ca a Johann Bernoulli (1667 - 1748). E interessante observar que o argumento apresentado diferente daquele usado por Nicole Oresme, mais do que dois e sculos antes. Alm dos argumentos dados por Oresme e pelos Bernoulli, o e e italiano Pietro Mengoli (1625 - 1686) apresentou uma terceira demonstrao, ca que antecedeu ` de Johann por quarenta anos. a Isso mostra como a divulgao dos resultados matemticos era deciente. Com ca a o passar do tempo isso melhoraria muito. De fato, os principais matemticos do a 96
UD 7
Histria da Matemtica o a
sculo 18 estavam ligados a alguma academia de cincia. As mais importantes e e eram a de Paris, Berlim, So Petersburgo e Londres. Essas academias estavam a diretamente ligadas aos governantes daqueles pa ses, como Lu XV e Lu XVI, s s Frederico, o Grande, Catarina, a Grande. Johann Bernoulli tambm foi um grande matemtico e teve um papel de destae a que, juntamente com seu irmo, no desenvolvimento e divulgao do Clculo. a ca a Eles mantiveram freqente correspondncia com Leibniz. Johann foi professor u e de um nobre francs, o Marqus de lHpital (1661 - 1704), que publicou o prie e o meiro livro texto de Clculo, em 1696, chamado Analyse des inniment petits a pour lintelligence des lignes courbes (Anlise dos innitamente pequenos para a o entendimento de curvas). Esse livro apresentou a conhecida Regra de lHpital, um resultado obtido por o Johann Bernoulli, que permite calcular com desembarao alguns limites, garanc tindo que, se f (x) e g(x) so funes diferenciveis tais que f (a) = g(a) = 0 a co a e, g(x) = 0 para valores diferentes x de a, sucientemente prximos a a, o lim f (x) f (x) = lim xa g (x) g(x)
xa
desde que o limite da direita exista. Uma interrupo para um pouco de prtica. ca a
Atividade 28
Use a Regra de lHpital para calcular o limite a seguir: o lim x3 6x + 6 sen x . x5
x0
UD 7
Histria da Matemtica o a
So equaes cujas solues no so nmeros, mas o que ns chamamos funes. a co co a a u o co Naqueles dias podiam ser chamadas simplesmente curvas. Essas equaes so as co a chamadas equaes diferenciais. Por exemplo, as equaes diferenciais lineares, co co que estudamos ainda nos cursos de Clculo, tm a forma geral a e y + p(x) y = q(x). Um exemplo de problema desse tipo foi proposto por Johann Bernoulli, em 1696, num artigo publicado na revista Acta Eruditorum, editada por Leibniz. Na verdade, Johann props um desao a seus colegas matemticos, bem no o a estilo dos desaos havidos nos dias de Tartaglia, Cardano e Ferrari. O problema consistia em descobrir a identidade da curva que ele nomeou braquistcrona, o juno das palavras gregas brachistos, que quer dizer o mais curto, e chronos, ca que signica tempo.
Descubra a curva que une dois pontos P1 e P2 num plano vertical, de tal modo que um ponto material de massa m, deslizando sem atrito sobre essa curva, sujeito apenas ` gravidade, a percorra num intervalo de tempo a m nimo.
E claro que a tentativa mais primitiva consiste em tomar a reta que une os dois tais pontos. No entanto, essa no a resposta correta. a e
P1 t
d t P2
O prazo estipulado por Johann para que a resposta fosse apresentada terminava em 1 de janeiro de 1697. Ao m desse prazo, a unica resposta apresentada fora a de Leibniz. Na verdade, o grande desao estava estendido a Newton, que nesses dias andava ocupado com a direo da Casa da Moeda inglesa. Johann ca estendeu o prazo de seu desao at a Pscoa e fez questo de envi-lo at a e a a a e Inglaterra. 98
UD 7
Histria da Matemtica o a
Quando chegou a Pscoa, Johann havia recebido cinco solues. Uma era dele a co prprio e outra dada por Leibniz. Jakob tambm apresentou sua soluo, para o e ca poss embarao de seu orgulhoso irmo, assim como o fez o jovem Marqus vel c a e de lHpital. No entanto, mais uma resposta correta chegara da Inglaterra, o porm sem nenhuma assinatura. A braquistcrona nada mais do que parte da e o e ciclide, curva conhecida e estudada por Pascal, Galileu e outros. o Conta a lenda que, ao abrir a soluo enviada por uma carta annima de Londres, ca o Johann, entre surpreso e embaraado, disse: pela pata se reconhece o leo! c a
Para saber mais! Se voc e quiser saber mais detalhes sobre o problema da braquistcrona, h o a informao, por exemplo, no ca site www.icms.sc.usp.br/ szani/bra/bra.html, da pgina da Universidade de a So Paulo, em So Carlos. a a
Chegamos aqui ao matemtico que, por sua inventividade, a constitui o tema da unidade.
UD 7
Histria da Matemtica o a
Isso, no entanto, no o impediu de seguir produzindo Matemtica de qualia a dade e em quantidade at, virtualmente, seu ultimo suspiro. Dotado de uma e memria vast o ssima, sabia de cor, no s uma enormidade de nmeros primos, a o u mas tambm suas potncias, como 3376 , por exemplo. Alm disso, tinha uma e e e habilidade estupenda para executar mentalmente clculos extremamente elaboa rados. Suas obras completas ocupam mais de 70 volumes.
das verses de Clculo dadas por Leibniz e por Newton, introduzindo muitas o a novidades, tais como os fatores de integrao das equaes diferenciais. Estudou ca co mecnica, considerando o chamado Problema dos Trs Corpos, em sua verso a e a mais simples. Isso , Euler considerava o problema de determinar o movimento e de um corpo de uma certa massa que se movimenta na presena do campo c gravitacional de duas outras massas que esto xas no espao. a c Apenas as contribuies na rea de Teoria de Nmeros seria suciente para gaco a u rantir a Euler lugar no panteo dos matemticos. Essas contribuies consistem a a co de provas de teoremas formulados por Fermat. As armaes de Fermat chegaram at Euler pelas cartas de Christian Goldco e bach, que o conhecera pessoalmente. Essas cartas aguaram a curiosidade de c Euler que se envolveu profundamente com a rea de Teoria de Nmeros. Por a u exemplo, Goldbach perguntou sobre a conjectura proposta por Fermat, de que os nmeros da forma 22 + 1 seriam primos. Euler concluiu que a armao u ca e falsa, mostrando que 232 + 1 = 4294967297 divis por 641. Se voc acha e vel e isso pouco, lembre-se que ele no dispunha de computadores. a Para ter uma idia do feito, tente fatorar 307007 usando apenas papel e lpis! e a Voltaremos a falar um pouco mais sobre esse tema na ultima unidade didtica. a Um dos grandes triunfos de Euler na Teoria de Nmeros a prova de que todo u e nmero perfeito par tem a forma descrita pelos antigos gregos, 2n1 (2n 1), u sempre que 2n 1 for um nmero primo. u Outro resultado interessante, provado por Euler, o chamado Pequeno Teorema e de Fermat. Esse teorema arma que, se a um nmero inteiro dado qualquer e u 100
n
UD 7
Histria da Matemtica o a
e o primo p no um de seus fatores, ento p um fator de ap1 1. Esse a e a e resultado , realmente, estupendo. Veja alguns exemplos: e
a 2 8 10 2
p 13 5 7 41
Voc deve ter notado que as duas primeiras linhas representam o mesmo nmero. e u Resultados desse tipo ganharam, em nossos dias, um extra interesse devido a seu uso em criptograa. Voltaremos a falar sobre esse tema na ultima unidade didtica. a Euler tentou mostrar que todo nmero inteiro positivo a soma de quatro u e nmeros inteiros elevados ao quadrado n = a2 + b2 + c2 + d2 . Por exemplo, u 3 = 12 + 12 + 12 + 02 e 7 = 12 + 12 + 12 + 22 . E claro que no h a a unicidade nessa representao pois, por exemplo, 13 = 22 + 22 + 22 + 12 = ca 32 + 22 + 02 + 02 . Apesar de seus progressos, essa faanha seria deixada para c Joseph Louis Lagrange (1736 - 1813). Goldbach entrou para a histria da Matemtica com mais uma de suas perguno a tas. Em uma carta escrita em 7 de junho de 1724, pergunta a Euler se seria poss escrever qualquer nmero inteiro maior do que dois como a soma de vel u trs primos. Goldbach considerava o nmero 1 como um primo, coisa que no e u a fazemos mais. Euler reapresentou a pergunta da seguinte forma: seria poss vel escrever qualquer nmero inteiro par como a soma de dois nmeros primos? u u Por exemplo, 12 = 7 + 5, 14 = 11 + 3 e 1248 = 337 + 911. Essa questo continua desaando os praticantes de teoria de nmeros at esse a u e momento! 101
A criptograa estuda maneiras de codicar certos dados ou informaes para co que sejam decodicados apenas por pessoas espec cas. A criptograa e muito antiga, mas nos dias de hoje ela ganhou um papel ainda mais importante, devido ao desenvolvimento tecnolgico e da comunicao o ca por computadores.
UD 7
Histria da Matemtica o a
O clculo dessa soma fora o primeiro triunfo de Leibniz. A prxima pergunta a o era, naturalmente, a soma dos inversos dos nmeros quadrados, u 1+ 1 1 1 1 + + + + ... 4 9 16 25
Nesse caso, o problema mostrou-se mais resistente. Veja, para cada inteiro positivo k, 1 1 < , 2 k (k + 1) k 2 Como a srie dos inversos dos nmeros triangulares converge, a srie dos inversos e u e dos nmeros quadrados tambm converge, uma vez que seu termo geral menor. u e e Voc se lembra do Teste da Comparao? A questo era descobrir e ca a o resultado da soma. Ao resolver esse problema, em 1734, Euler estabeleceu denitivamente sua reputao como matemtico genial. Ele comeou observando que a soma daria, ca a c aproximadamente, 1.6449. Chegar a essa aproximao sem usar um computador ca ou mesmo uma calculadora de bolso j um feito memorvel. No entanto, essa ae a aproximao no d qualquer indicao de qual seria, exatamente, o resultado. ca a a ca A soluo dada por Euler usou o fato de que a funo seno pode ser aproximada ca ca por polinmios: o sen x = x x3 x5 x7 + + ... 3! 5! 7!
Ele sabia que, se P (x) um polinmio tal que P (0) = 1 e a, b, c, . . . , d so e o a ra de P (x), ento podemos escrever zes a P (x) = 1 x a 1 x b 1 x c ... 1 x . d
102
UD 7
Histria da Matemtica o a
Atividade 29
Efetue 16 1 + x 2 1 x 4 x 1+ 2 x 1 . 2
f (x) =
tal que f (0) = 1 e deveria ter ra e zes , 2 , 3 e assim por diante. Portanto, f (x) = = 1 1 x x2 2 1+ 1 x x2 4 2 1 x 2 x2 9 2 1+ x 2 ... = ...
x2 25 2
A resposta est bem depois da prxima esquina! Comparando os coecientes a o de x2 , Euler concluiu que 1 1 1 1 1 = 2+ + + + ... 2 2 3! 4 9 25 2
e, portanto,
1+
1 1 1 2 + + + ... = , 4 9 25 6
UD 7
Histria da Matemtica o a
Concentrando-se na essncia do problema, Euler observou que a pergunta e e equivalente a saber se o diagrama a seguir poderia ser percorrido, indo de um vrtice a outro, percorrendo cada uma das arestas uma unica vez. e
Tais diagramas so conhecidos agora como grafos. Usando uma argumentao a ca simples, porm efetiva, estabeleceu um critrio matemtico que determina se e e a um tal diagrama pode ser percorrido dessa forma: passando por todas as arestas, percorrendo cada uma delas uma unica vez. Veja o Teorema de Euler: Teorema: Um grafo G admite um circuito euleriano se, e somente se, conexo e todos os vrtices tm grau par. e e e 104
UD 7
Histria da Matemtica o a
Basta observar que todos os vrtices do grafo das Pontes de Knigsberg tm e o e grau mpar, pois a cada um deles chega um nmero u mpar de arestas.
25.4 A equao ei + 1 = 0 ca
Os matemticos anteriores a Euler consideravam senos e cossenos como sega mentos de retas relativos a arcos de um c rculo de raio R. Foi ele que passou a considerar senos e cossenos como funes, exatamente como o fazemos hoje. co Com a denio de Euler, a identidade trigonomtrica fundamental ca e sen2 x + cos2 x = 1 imediata. e Usando a unidade imaginria i = a
ele, deduziu a chamada Identidade de De Moivre, (cos x + i sen x)n = cos nx + i sen nx. Usando isso, deduziu as sries trigonomtricas e e cos x = 1 e sen x = x x3 x5 + ... 3! 5! x2 x4 + ... 2! 4!
Isso permitiu que estabelecesse a relao entre a funo exponencial e as funes ca ca co trigonomtricas: e cos x = eix + eix , 2 eix eix 2
sen x = e
UD 7
Histria da Matemtica o a
Leonhard Euler trabalhou at seu ultimo dia de vida. O planeta Urano havia e sido recentemente descoberto e ele estava interessado no clculo de sua rbita. a o Os problemas matemticos nunca deixaram de interessar-lhe. a Atuou em todas as reas da Matemtica que eram conhecidas em seus dias, a a contribuindo substancialmente para elas. No restringiu sua ateno apenas a a ca questes de natureza estritamente matemtica, mas dedicou-se tambm a o a e problemas da mecnica e de outras reas de natureza aplicada. Sua a a genialidade nos legou novos ramos da Matemtica, grandes teoremas e a diversos algoritmos, que enfatizam os aspectos aplicados e prticos da a Matemtica. Muitos deles so usados at hoje. a a e Euler fora contemporneo de Johann Sebastian Bach, por exemplo, e a possivelmente encontrara um de seus lhos, Karl Philip Emanuel, na corte de Frederico, o Grande, um dos dspotas iluminados da poca, que poderia e e discutir losoa com Voltaire ou executar ao violoncelo peas compostas c exclusivamente para ele. No entanto, quando morreu, em 1783, uma nova ordem social estava prestes a se instalar no mundo. Trs anos depois, em e 1786, estrearia em Viena a pera As Bodas de F o garo, de Wolfgang Amadeus Mozart, com libreto de Lorenzo da Ponte, baseada numa pea homnima de c o Beaumarchais. Um novo sculo estava por vir, trazendo muitas mudanas. A e c msica seria outra. A gura matemtica que dominaria a cena nesses dias de u a mudanas era Johann Carl Friedrich Gauss, que havia nascido em 1777. c As grandes conquistas feitas no per odo de vida de Euler estabeleceram um patamar jamais sonhado na Matemtica, mas estavam sujeitas a muitas a cr ticas. Era preciso uma gerao que se preocupasse com o rigor das teorias e ca que questionasse todos os seus fundamentos. Essa gerao j estava a ca a caminho e isso ser o pano de fundo de nossa prxima unidade didtica. a o a
106
Unidade 8
Construo dos Nmeros Reais Cauchy e Dedekind ca u
Nesta unidade didtica voc conhecer como a Matemtica a e a a se tornou, no decorrer do sculo 19, uma cincia mais abstrata e e e independente da realidade f sica. Ver como a atividade matemtica ganhou um carter mais a a a especializado, o que reetiu na diviso de reas, a a como a Geometria e a Algebra, em reas mais espec a cas, assim como no surgimento de novos campos de interesse.
UD 8
Histria da Matemtica o a
em 1807, Robert Fulton construiu o primeiro barco a vapor; em 1814, George Stephenson construiu a primeira locomotiva a vapor; em 1836, Samuel Morse inventou o telgrafo. e A eletricidade passou a ser usada como fonte de energia aps as descobertas o feitas por Georg Simon Ohm, sobre a corrente eltrica, em 1827, e a divulgao e ca das noes bsicas de eletromagnetismo por Michael Faraday, em 1831. co a As artes seriam palco de movimentos como o romantismo. Basta citar o poeta e cientista Johann Wolfgang von Goethe (1749 - 1832) e o compositor Ludwig van Beethoven (1770 - 1827), que viveram nesse per odo de transio. Na pintura, ca as obras de Joseph Turner (1775 - 1851) comeam a apresentar ind c cios de mudanas, que culminariam no movimento impressionista. c Tambm as cincias seriam afetadas. Em 1859 o naturalista ingls Charles e e e Darwin (1809 - 1882) abalou o mundo cient co com a publicao de A origem ca das espcies por meio da seleo natural. e ca Na Matemtica, os conceitos do Clculo careciam de uma fundamentao mais a a ca slida. Nesse sentido, as primeiras contribuies viriam de Gauss, com a noo o co ca de convergncia de sries, que seria levado a termo com a criao da Anlise e e ca a Matemtica, explicitada nos trabalhos de Cauchy, Weierstrass e Dedekind. a A Matemtica ganharia maior abstrao e especializao, e passaria a ser exa ca ca pressa na l ngua nativa dos matemticos, facilitando sua divulgao. a ca Voc j viu, na quarta unidade, como a questo do Quinto Postulado de Euclides e a a acabou gerando novos tipos de geometrias. Na Algebra, essa onda de abstrao ca tomou a forma da teoria de grupos e surgiram os primeiros exemplos de produtos no-comutativos, algo que antes era inconceb a vel. Os matemticos passariam a ocupar posies nas universidades e outras escolas, a co como academias militares, assumindo o papel de professores. A preocupao com o rigor no estabelecimento dos axiomas e denies, assim ca co como nas argumentaes, estaria mais em evidncia. co e E importante lembrar que nesse per odo, devido ` maior divulgao cient a ca ca e aos avanos sociais, as mulheres passaram a contribuir diretamente para a c Matemtica. a 108
UD 8
Histria da Matemtica o a
No entanto, tudo isso aconteceria aos poucos. Para entender melhor este per odo de transio, vamos falar da obra de um matemtico que o viveu, ca a mencionando algumas questes para as quais ele contribuiu. o
UD 8
Histria da Matemtica o a
Atividade 30
Encontre o raio e a altura do cilindro circular reto aberto de maior rea que a pode ser inscrito em uma esfera de raio r, usando multiplicadores de Lagrange.
Atividade 31
Verique o Teorema de Wilson para os nmeros 4, 5, 6 e 7. u
Atividade 32
Escreva 99 como a soma de quatro quadrados de trs maneiras diferentes. e Voc j sabe como foi importante a atuao de Carl Friedrich Gauss na e a ca resoluo dos trs clssicos problemas da Matemtica, apresentados na ca e a a primeira unidade didtica, alm de suas contribuies para a questo do a e co a Quinto Postulado de Euclides. No prximo texto, conhecer outros resultados associados a Gauss, o a um dos maiores matemticos de todos os tempos. a Uma de suas frases mais marcantes : e A Matemtica a rainha das cincias, e a Aritmtica, a rainha da a e e e Matemtica. a
Nascido de pais muito simples, Gauss foi reconhecido como uma criana prod c gio e recebeu ajuda do Duque de Brunswick. Estudou na Universidade de Gttigen e o obteve seu doutorado pela Universidade de Helmstedt, no ano de 1799. De 1807 at e sua morte, em 1855, trabalhou como professor, astrnomo e diretor do o observatrio da Universidade o Gttigen. o
E folclrica a histria de como Gauss, ainda um garoto de dez anos, impressionou o o seu professor da escola primria. O professor, aparentemente, pretendia manter a os alunos ocupados por algum tempo e mandou-os somar os nmeros inteiros de u 1 at 100. Mal havia enunciado o problema e o jovem Gauss colocou sua lousa e sobre a mesa, dizendo ligget se , algo assim como aqui est [a resposta]. a O professor, evidentemente, no podia crer que Gauss tivesse a resposta correta, a mas para a sua surpresa, l estava: 5050. E claro que o padro de crescimento a a constante da srie de nmeros no passou despercebido ao menino. Ele notou e u a que a soma de elementos em posies simtricas constante: 1 + 100 = 101, co e e 110
UD 8
Histria da Matemtica o a
2 + 99 = 101, 3 + 98 = 101 etc. Como h 50 parcelas desse tipo, a 1 + 2 + 3 + 4 + + 97 + 98 + 99 + 100 = 50 101 = 5050.
UD 8 seguinte resultado:
16 cos 2 17 = 1 + 17 + 34 2 17 + 2 17 + 3 17
Histria da Matemtica o a
34 2
17 2
34 + 2
17.
Em sua tese de doutorado ele demonstra o chamado Teorema Fundamental da Algebra, que pode ser apresentado como: Toda equao polinomial de grau n tem exatamente n ra comca zes plexas ou reais, coincidentes ou distintas. Na verdade, h outras formulaes equivalentes do teorema. Uma delas diz que a co toda equao polinomial de coecientes reais pode ser expressa como o produto ca de fatores lineares ou quadrticos (irredut a veis) com coecientes reais. Por exemplo, 3x5 x4 3x3 5x2 + 8x 2 = (3x 1)(x2 + 2x + 2)(x 1)2 . Note que x2 + 2x + 2 = x2 + 2x + 1 + 1 = (x + 1)2 + 1 irredut e vel, isto , e no tem ra reais, e o fator (x 1) tem multiplicidade 2. a zes Antes de Gauss, vrios matemticos haviam tentado demonstrar este teorema, a a como Jean dAlembert (1717 - 1783), que enunciou o teorema e tentou uma demonstrao, sem sucesso. ca Euler ( claro) mostrou a validade do teorema para polinmios de grau at 6 e e o e tentou uma demonstrao para o caso geral. ca Em sua dissertao, apresentada em 1799, Gauss critica as provas dadas anteca riormente. Sobre a prova de dAlembert, arma: uma prova rigorosa poderia ser constru nestas mesmas bases. A prova dada por Gauss de natureza toda e polgica e tambm pass de cr o e e vel tica, sob nosso ponto de vista. De qualquer forma, em 1816, Gauss publicou uma segunda prova, seguindo a abordagem dada por Euler. Essa prova correta. e Como era t pico, retornou ao tema e, ainda em 1816, apresentou uma terceira prova, que tambm de natureza topolgica. e e o
Atividade 33
Fatore (segundo o Teorema Fundamental da Algebra) os seguintes polinmios: o x2 1, x3 1, x3 + 1, x4 1, x4 + 1. 112
UD 8
Histria da Matemtica o a
UD 8
Histria da Matemtica o a
As equaes lineares so as mais simples que podemos esperar. Por exemplo, co a em R, a equao ca a x = b, a = 0, sempre tem soluo, que unica: x = ca e b . a
No entanto, no caso das congruncias lineares, mesmo essas equaes podem e co nos reservar algumas surpresas. Como exemplo, vamos analisar as equaes co 2 x b mod 6, para diferentes valores de b. Devido `s congruncias, basta tomarmos b = 0, 1, 2, 3, 4 ou 5, os poss a e veis restos de divises por 6. o Muito bem, se b = 1, 3 ou 5, a equao 2 x b mod 6 no tem soluo, como ca a ca voc pode testar por inspeo direta, para x = 0, 1, 2, 3, 4 ou 5. Contudo, para e ca os casos de b = 0, 2 ou 4, a equao ter duas solues. Veja: 2 x 4 mod 6 ca a co tem solues 2 e 5, pois 2 2 = 4 e 2 5 = 10 = 4 + 6 4 mod 6. co O estudo das congruncias lineares a x b mod m se resume ` anlise do e a a mximo divisor comum de a e m, denotado por d = (a, m). A equao ter a ca a soluo apenas no caso de d dividir b: d | b. Alm disso, se d | b, o nmero de ca e u solues ser d. co a No exemplo 2 x b mod 6, o mximo divisor comum de 2 e 6 2 (d = 2). a e Assim, como 2 no divide 1, 3 ou 5, a equao no tem soluo no caso de b a ca a ca ser congruente mdulo 6 a algum desses nmeros. Em contrapartida, 2 divide o u 0, 2 e 4 e a equao tem duas solues distintas sempre que b for congruente ca co mdulo 6 a algum desses nmeros. o u
Atividade 34
Determine todas as poss veis solues de cada uma das congruncias lineares a co e seguir: 4x 6 mod 18; 4x = 8 mod 12; 2 x = 7 mod 13.
Equaes lineares com mais de uma soluo indicam que h algo de novo no co ca a ar. Imagine, ento, lidar com congruncias quadrticas. Resolver esse tipo de a e a 114
UD 8
Histria da Matemtica o a
equao a novidade do livro: a Lei da Reciprocidade Quadrtica, chamado ca e a Theorema Aureum, por Gauss. Esse resultado j havia sido descoberto por a Euler e Legendre, mas ambos falharam em suas demonstraes. Gauss tinha co fascinao por esse teorema, para o qual deu diversas demonstraes, ao longo ca co de sua vida. A questo se resume em lidar com equaes do tipo a co x2 a mod m. Se a equao tem soluo, dizemos que a um res ca ca e duo quadrtico de m. Por a exemplo, 1 e 1 so res a duos quadrticos de 5, uma vez que 42 = 16 = 53+1 a e 22 = 4 = 5 1 1. Como comum nas questes de Teoria de Nmeros, o problema pode ser e o u reduzido aos nmeros primos. u Dados dois nmeros primos p e q, a Lei da Reciprocidade Quadrtica diz que u a as congruncias x2 p mod q e x2 q mod p so ambas solveis ou ambas e a u insolveis, no caso em que p e q sejam congruentes a 1 mod 4. No caso de u p e q serem congruentes a 3 mod 4, uma das equaes ter soluo e a outra co a ca no. H uma formulao muito sinttica desse teorema usando o s a a ca e mbolo de Legendre. (Veja, por exemplo, o livro Introduo ` Teoria dos Nmeros, de J. ca a u P. de Oliveira Santos, da Coleo Matemtica Universitria, IMPA). ca a a
Os poss veis restos da diviso por 4 so 0, 1, 2 e 3. a a Portanto, h quatro classes a de congruncia mdulo 4. e o Assim, os n meros u mpares se dividem em duas classes, aqueles que so da forma a 4k + 1 so congruentes a 1 a mod 4; os da forma 4l + 3 so congruentes a 3 mod 4. a
UD 8
Histria da Matemtica o a
lem ambientium (Teoria do movimento dos corpos celestes por sees cnicas), co o publicado em 1809, um tratado sobre os movimentos dos corpos celestes. e Gauss tinha um grande interesse em Geometria Diferencial, devido a seus trabalhos com geodsicas. Sua maior contribuio a esse campo foi a obra Disquie ca sitiones generales circa supercies curva, de 1828, em que aparecem a noo de ca curvatura gaussiana e o famoso Teorema Egregrium (Teorema Notvel). a O teorema arma que a curvatura de uma superf uma propriedade intr cie e nseca a ela. Isso quer dizer que poss determinar a curvatura de uma superf e vel cie, isto , como ela se curva dentro do espao tridimensional no qual est mergue c a lhada, usando apenas medidas de ngulos e distncias na prpria superf a a o cie. O teorema notvel porque a denio da curvatura gaussiana faz uso da funo e a ca ca (mergulho) da superf no espao tridimensional. cie c A partir de 1831, com a chegada a Gttingen do f o sico Wilhelm Weber, Gauss interessou-se pelas pesquisas sobre a teoria do campo magntico terrestre e e escreveu vrios trabalhos sobre o assunto. a
francesa, que usava o nome Le Blanc para vencer as barreiras colocadas pela sociedade daquela poca. e Gauss soube a respeito de sua verdadeira identidade em 1806.
Dois dos mais famosos alunos de Gauss foram Bernhard Riemann e Richard Dedekind, de quem falaremos no prximo texto. o 116
UD 8
Histria da Matemtica o a
1 2 , mostrada por Euler, por exemplo, para k2 6 pode ser usada para denirmos assim esse nmero, mas o procedimento no u a e
k=1
A formulao de uma teoria que colocasse um ponto nal sobre a questo da ca a existncia de nmeros irracionais (pelo menos do ponto de vista da Matemtica) e u a viria dos trabalhos de Dedekind, o ultimo aluno de Gauss. Ele se interessou por essa questo quando ensinou Clculo, pela primeira vez. A a a idia lhe ocorreu no dia 24 de novembro de 1858 e consiste em representar cada e nmero real como uma diviso, um corte nos nmeros racionais. Isto , todo u a u e nmero real r divide os nmeros racionais em duas partes distintas, os maiores u u e os menores do que ele. Um corte de Dedekind um par ordenado (A, B), no qual A e B so sube a conjuntos no-vazios de nmeros racionais, tais que A no possui elemento a u a mximo, a unio de A e B o conjunto de todos os racionais e, dados x A a a e e y B quaisquer, x < y. Essas idias foram publicadas, em 1872, no trabalho Stetigkeit und Irrationale e Zahlen (Continuidade e Nmeros Irracionais): u
Em cada caso em que h um corte (A1 , A2 ) que no produzido por a a e qualquer nmero racional, ento criamos um novo nmero a, irracional, u a u que ser considerado como completamente denido por este corte; diremos a que este nmero a corresponde a este corte, ou por ele produzido. u e
Alm dessa importante contribuio ` Matemtica, Dedekind nos legou a dee ca a a 117
UD 8
Histria da Matemtica o a
nio de conjuntos nito e innito, assim como trabalhos em Teoria de Nmeros. ca u Ele tambm introduziu a noo algbrica de ideal, que tem papel de destaque e ca e na teoria de anis, mais tarde desenvolvida por Hilbert e, posteriormente, por e Emmy Noether. Dedekind foi grande amigo de Georg Cantor, de cuja obra falaremos na prxima unidade didtica. o a
Atividade 35
Seja A = {x Q ; x2 < 2 } e seja B = {x Q ; x2 > 2 }. Mostre que (A, B) um corte de Dedekind. A qual nmero real esse corte corresponde? e u Cauchy louco e no h nada que se possa fazer sobre isso, apesar de, e a a atualmente, ele ser a unica pessoa a saber como Matemtica deve ser feita. a Niels Abel
Suas aulas de Clculo no faziam sucesso entre os alunos pois ele insistia em a a provar rigorosamente cada um dos teoremas que citava. Apesar dessa baixa popularidade, Cauchy legou enormes contribuies em co Anlise. Entre elas podemos citar uma primeira denio de continuidade de a ca funes (que seria colocada em termos dos famosos e psilon e delta por co e Weierstrass).
UD 8
Histria da Matemtica o a
Newton usava a noo de razo ultima de quantidades que desaparecem: ca a [. . . ] deve ser entendido como a razo ultima das quantidades, a no antes delas desaparecerem, no depois, mas aquela na qual a a elas desaparecem. Leibniz fala de quantidades innitamente pequenas. Isto , quantidades que, e apesar de no serem iguais a zero, no podem ser tomadas ainda menores. Algo a a como os tomos, da Qu a mica, suas quantidades innitamente pequenas eram como blocos indivis veis, a coisa mais prxima a zero. o E claro que esse tipo de denio dava margem a preocupaes e cr ca co ticas, sendo de George Berkeley as mais severas. Cauchy apresentou sua contribuio: ca
Quando os valores sucessivamente atribu dos a uma particular varivel a aproximarem indenidamente um valor xo, de forma que a diferena se c torne to pequena quanto se queira, essa ultima chamada limite de todas a e as outras.
Na verdade, esta denio apresentou imensos progressos, pois contm as idias ca e e principais do limite: a noo de proximidade e o famoso to pequeno quanto ca a se queira. Cauchy ainda nos legou o critrio de convergncia de seqncias, que leva seu e e ue nome, assim como uma extenso do Teorema do Valor Mdio. Suas contria e buies para a anlise complexa tambm foram profundas, como o Teorema de co a e Res duos. O chamado Teorema da Integral de Cauchy tem uma frmula muito o bonita: Se f (z) uma funo anal e ca tica denida em uma regio simplesa mente conexa R, ento a f (z) dz = 0
para qualquer contorno fechado completamente contido em R. Um matemtico que no , tambm, algo de poeta, a a e e nunca ser um perfeito matemtico. a a Karl Weierstrass 119
UD 8
Histria da Matemtica o a
Karl Theodor Wilhelm Weierstrass (1815 - 1897), ao contrrio de muitos maa temticos, que comearam suas carreiras logo na juventude, iniciou sua produo a c ca cient ca relativamente tarde, por volta dos quarenta anos. O interesse por Matemtica ocorrera desde cedo, mas esse in a cio tardio foi devido, muito provavelmente, ` oposio que seu pai fazia para que ele se tora ca nasse matemtico. De qualquer forma, a Matemtica no perdeu por esperar. a a a
Weierstrass teve uma vida relativamente desregrada durante seus anos na universidade, em Bonn. Dos 26 anos at o momento que e sua primeira publicao lhe ca rendeu uma posio ca universitria, ele foi professor a de ensino mdio. e
Weierstrass foi um matemtico excelente. Por exemplo, em 1861 deu um exema plo de uma funo cont ca nua que contrariava todas as expectativas dos analistas matemticos. Veja, cada aluno de Clculo sabe que a funo f (x) = |x| um a a ca e exemplo de uma funo cont ca nua no diferencivel. Isso ocorre devido ao bico a a que seu grco apresenta, na origem. Ou seja, a funo no diferencivel apea ca a e a nas na origem. O exemplo de funo dado por Weierstrass, apesar de cont ca nua, no diferencivel em qualquer ponto de seu dom a e a nio. Tal funo obtida ca e como o limite de uma seqncia de funes que converge uniformemente. Isso ue co garante sua continuidade. A funo denida por ca e
f (x) =
n=1
sen k 2 x . k 2
O padro de rigor estabelecido por Weierstrass teve profundo efeito na Maa temtica. Ele deniu nmeros irracionais como limites de sries convergentes, a u e convergncia uniforme, funes denidas por produtos innitos, teste de cone co vergncia de sries e vrias outras coisas. Os alunos de Clculo o conhecem por e e a a sua genial tcnica para integrar funes racionais de sen x e cos x, chamada e co de arco metade, baseada na igualdade t = tg (x/2), que acarreta
Grco de f . a
sen x =
1 t2 2t e cos x = . 1 + t2 1 + t2
UD 8
Histria da Matemtica o a
Leia: para todo psilon maior e do que zero, existe delta maior do que zero tal que, se 0 < |x a| < , ento a |f (x) L| <
Ao dizermos limite de f (x) quando x tende a a L estamos dizendo: e > 0, > 0 tal que, 0 < |x a| < = |f (x) L| < . Note: 0 < |x a| < quer dizer x pertence ao intervalo (a , a + ) mas diferente do prprio a. Analogamente, |f (x) L| < quer dizer e o f (x) pertence ao intervalo (L , L + ). Eis aqui a noo de distncia, to ca a a importante para se estabelecer o limite. A grande diferena entre a abordagem c de Cauchy e de Weierstrass que esta ultima simblica, tornando precisa e e o a noo to pequeno quanto se queira. O que anima a denio dada por ca a ca Weierstrass o s e mbolo . Para que a denio seja satisfeita, devemos mostrar ca que verdadeira para todo > 0, os grandes e os pequenos. e Quando a denio se cumpre, usamos a notao ca ca
xa
lim f (x) = L.
Outros destacados estudantes foram Sonya Kovalevskaya, Georg Cantor. Kovalevskaya recebeu o doutorado da Universidade de Gttingen e uma o posio em Estocolmo com a ajuda do mestre. E famosa por suas ca contribuies na teoria das equaes diferenciais parciais. co co As inestimveis contribuies de Cantor, assim como de Hilbert, sero a co a abordadas na prxima unidade didtica. o a
Garrafa de Klein
121
Unidade 9
Teoria de Conjuntos e Nmeros Transnitos de Cantor u
Nesta unidade didtica voc conhecer como as contribuies de Cantor e de a e a co Hilbert ajudaram a moldar o desenvolvimento da Matemtica no sculo 20. a e Um velho conhecido dos matemticos mais uma vez ocuparia um lugar de a destaque nos seus problemas. Veja a frase de Hilbert: O innito! Nenhuma outra questo jamais moveu to profundamente o a a esp rito humano.
UD 9
Histria da Matemtica o a
por Weierstrass e Riemann. Cauchy tambm desenvolveu a teoria das funes e co de uma varivel complexa. a Alm de Weierstrass, questes sobre os nmeros reais haviam recebido as cone o u tribuies de Dedekind. co Enm, tudo parecia estar assentado e resolvido. No entanto, muitas novidades ainda estavam por vir. As noes de estruturas algbricas dariam ` Algebra co e a um carter ainda mais abstrato. Essa noo no caria, no entanto, limitada a ca a ` Algebra. Surgiram a Anlise Funcional, a Teoria de Medida e a integral de a a Lebesgue. Topologia Algbrica e Diferencial surgiriam como fortes reas de e a pesquisa, alm de outras, como a que chamamos Sistemas Dinmicos. e a A comunidade se dividiria em debates, tomando posies sob nomes tais como co formalismo, intuicionismo e logicismo. Mas, antes que tudo isso tomasse forma, a comunidade matemtica teria que assistir ` criao da teoria de conjuntos. Os a a ca questionamentos que ela acarretaria marcariam, de maneira indelvel, a virada e do sculo 19 para o sculo 20. e e
UD 9
Histria da Matemtica o a
No prximo texto, voc conhecer as idias principais de Cantor a respeito do o e a e innito. A ferramenta que ele desenvolveu para lidar com essa questo cou a conhecida como a Teoria de Conjuntos. A teoria desenvolvida por Cantor encontrou muita resistncia antes de ser e aceita, mas acabou se impondo.
E tudo isso comeou com Cantor. Como matemtico ele sempre foi genial, mas c a os trabalhos que antecederam a teoria de conjuntos no levavam a crer que a pudesse produzir matemtica de tamanha originalidade. Aqui est uma de suas a a frases mais bonitas: A essncia da Matemtica a sua liberdade. e a e Nenhuma nova teoria, porm, que carregue tanta originalidade, recebida sem e e resistncia. As idias de Cantor receberam oposio, principalmente de um dos e e ca l deres da comunidade matemtica daquela poca: Leopold Kronecker (1823 a e 1891). Kronecker era um homem rico, um grande matemtico, e chegara a uma posio a ca de destaque na Universidade de Berlim por seus prprios mritos. Por que, o e 125
UD 9
Histria da Matemtica o a
ento, fazia tanta oposio a Cantor? No cerne da disputa estava uma questo a ca a quase to antiga quanto a prpria Matemtica: nito versus innito. a o a Voc j viu como essa questo desempenhou papel importante em diferentes e a a per odos da histria. Basta lembrar de Zeno e seus paradoxos. o a O innito, porm, foi adotado e usado por matemticos geniais, como atestam e a os trabalhos de Eudoxo e Arquimedes, na Antigidade, e a obra de Newton e u Leibniz, que criaram o clculo diferencial e integral. a O prprio Gauss tinha reservas sobre o tema: o
[. . . ] Eu protesto sobretudo contra o uso de uma quantidade innita como algo completo, que em Matemtica nunca permitido. O Innito a e e apenas uma maneira de falar [. . . ]
Cantor estava disposto a considerar, por exemplo, o conjunto de todos os nmeros como um objeto matemtico leg u a timo. Assim entendemos a resistncia e que a teoria de conjuntos recebeu do segmento liderado por Kronecker. Era uma questo de princ a pios. Kronecker acreditava que a Matemtica deveria lidar com a um nmero nito de objetos e com procedimentos que envolvessem apenas um u nmero nito de passos. u A respeito desse fenmeno completamente novo, que distinguia no s entre o a o colees nitas e innitas, mas entre colees com innitos elementos, Cantor co co escreveria ao seu amigo matemtico Julius Dedekind a Vejo, mas no posso acreditar! a No prximo texto voc conhecer mais detalhes dessa histria. o e a o
UD 9
Histria da Matemtica o a
uma das fam corresponder um membro da outra, elas tm o mesmo nmero lias e u de elementos. Caso contrrio, o chefe poder perceber qual das duas maior. a a e Cantor explorou essa idia estabelecendo o seguinte: e
Dois conjuntos M e N so equivalentes se poss coloc-los, por ala e vel a guma lei, em tal relao um com o outro, de tal forma que a cada elemento ca de um deles corresponde um e somente um elemento do outro.
Usando a linguagem atual, dizemos que, nesse caso, os conjuntos M e N tm e a mesma cardinalidade. Por exemplo, observe que podemos estabelecer uma correspondncia um-a-um e entre os nmeros naturais e os nmeros pares, atravs da lei n 2n. u u e 1 2 2 4 3 6 4 8 5 10 6 12 ... ... ...
Cantor estabeleceu que todo conjunto cujos elementos podem ser colocados em correspondncia um-a-um com os nmeros naturais dito enumervel, tem a e u e a mesma cardinalidade do conjunto dos nmeros naturais, que ele denotou 0 . u Assim ele introduzia um novo cardinal, transnito.
O s mbolo 0 deve ser lido alef-zero. Alef ( ) a e primeira letra do alfabeto hebraico.
Atividade 36
Estabelea uma correspondncia um-a-um entre os conjuntos de nmeros nac e u turais e inteiros.
UD 9
Histria da Matemtica o a
maior, determinando seu ponto correspondente P2 . Veja bem, apesar de uma circunferncia ser o dobro da outra, ambas so conjuntos de mesma cardinalie a dade.
P2 P1
O C1 C2
Este tema havia sido considerado por Bernard Bolzano (1781 - 1848), um telogo, lsofo e matemtico tcheco que acreditava no conceito de innito. o o a Foi ele quem estabeleceu a diferena entre as colees nitas e innitas. Uma c co coleo innita pode ser colocada em correspondncia um-a-um com uma de ca e suas partes prprias, como atesta o exemplo de correspondncia entre os natuo e rais e os pares. Isto, denitivamente, no ocorre com colees nitas. Por exemplo, o conjunto a co de nmeros {0, 1, 2, 3, 4, 5} no pode ser colocado em correspondncia um-au a e um com o subconjunto {1, 2, 3, 4, 5}. Podemos armar categoricamente: como estamos com apenas um nmero nito de nmeros, poss escrever uma lista u u e vel com todas as correspondncias entre esses conjuntos e constatar que nenhuma e delas um-a-um. E claro que nesse caso mais fcil contar. e e a Se o fato dos conjuntos de nmeros naturais e pares terem a mesma cardinaliu dade, apesar de um ser subconjunto prprio do outro, causa alguma surpresa, o mais surpresas ainda esto a caminho. a Os conjuntos de nmeros naturais, inteiros e racionais tm todos a mesma u e cardinalidade. Isto , a cardinalidade dos racionais 0 . e e O fato dos nmeros racionais serem densos no conjunto dos nmeros reais u u enquanto os nmeros naturais so isolados mostra como a intuio pode nos u a ca enganar, quando se trata de conjuntos innitos. Dizer que o conjunto dos nmeros racionais denso nos reais signica que to prximo quanto quisermos u e a o de qualquer nmero real h nmeros racionais. u a u Para estabelecer uma correspondncia um-a-um entre os naturais e os racionais e positivos, vamos coloc-los em la indiana. Basta organizar os racionais na a 128
UD 9
Histria da Matemtica o a
forma de uma tabela. Cada linha tem fraes com o mesmo numerador e cada co coluna tem fraes com o mesmo denominador. Na verdade, a tabela contm co e todos os nmeros racionais com repeties. Por exemplo, toda a diagonal u co principal formada por cpias do nmero 1. Ainda assim, podemos colocar os e o u elementos da tabela em correspondncia um-a-um com os nmeros naturais. e u
/ 1/2 / 1/4 / 1/3 1/5 = = | {{ {{ {{ {{ || { { { { || {{ {{ {{ {{ || {{ {{ {{ {{ }{ { }{ { ~| 2/1 2/3 2/5 2/2 2/4 > = = || {{ {{ {{ {{ | { { { { | { { { { || {{ {{ {{ {{ {{ }{{ {{ }{{ || { {{ {{ { }{{
1/1
3/1
3/2
4/1
. . .
}> }} }} }}} }
4/2
= {{ {{ {{ {{
3/3
4/3
{ {{ {{ { }{{
3/4
4/4
= {{ {{ {{ {{
3/5
4/5
|| || || ~||
..
UD 9 peridica. Assim, o
Histria da Matemtica o a
1 12 1 = 0.25, = 0.118811881188 . . . = 0.1111111 . . . 4 101 9 Alguns nmeros racionais podem ter um padro de repetio longo, como u a ca 13 = 0.764705882352941176470588235294117647058823529411 . . . e evita17 mos coisas como 0.499999999999 . . . colocando 0.5 no lugar. No entanto, os nmeros irracionais so caracterizados por no apresentarem u a a qualquer padro de repetio em sua expanso decimal. Por exemplo, a ca a = 6 2 0.52359877559829887307710 . . . e = 0.70710678118654752440084 . . . . 2 A prova dada por Cantor consiste em supor que existe alguma correspondncia e um-a-um entre o conjunto dos nmeros naturais e o intervalo (0, 1) e notar que u isso implica uma armao absurda. Em linhas gerais, supondo que haja uma ca tal correspondncia, podemos colocar todos os nmeros do intervalo (0, 1) em e u uma la, escrevendo, por exemplo: N 1 2 3 4 . . . n . . . (0, 1) 0.3667346777 . . . 0.3667346777 . . . 0.2500000000 . . . 0.1231231231 . . . . . . 0.a1 a2 a3 a4 a5 . . . . . .
x1 x2 x3 x4
. . .
= = = =
xn = . . .
O absurdo que essa armao implica que existe elemento do intervalo (0, 1) ca e que no est listado. Realmente, basta considerar o elemento cuja expanso a a a decimal e 0.b1 b2 b3 b4 b5 . . . no qual b1 diferente do d e gito da primeira casa decimal do elemento x1 , digamos b1 = 2 = 3; b2 diferente do d e gito da segunda casa decimal do elemento x2 , digamos b2 = 7 = 5; e assim por diante, passando por bn = an . Resumindo, mudando cada elemento na diagonal principal, produzimos um 130
UD 9
Histria da Matemtica o a
elemento de (0, 1) que difere em pelo menos uma casa decimal de todos os elementos listados. Isso contradiz a armao de que todos os elementos de ca (0, 1) j estavam na lista. a
Atividade 37
Mostre que quaisquer dois intervalos (a, b) e (c, d) tm a mesma cardinalidade. e
Atividade 38
Mostre que o conjunto dos nmeros reais e o intervalo (0, 1) tm a mesma u e cardinalidade. Assim, o conjunto dos nmeros reais tem outra cardinalidade, diferente de u 0 . No entanto, Cantor no quis dizer que a cardinalidade dos reais 1 , pois a e no sabia se haveria algum conjunto com cardinalidade intermediria, entre 0 , a a a cardinalidade dos naturais e a cardinalidade dos reais. Chamou, ento, a a cardinalidade dos reais de c, signicando cont nuo. A oposio de Kronecker no foi o principal problema que a teoria de conjuntos ca a enfrentou. O mais grave foi notado pelo prprio Cantor, em 1899, quando ele o considerou qual seria o nmero de elementos do conjunto de todos os conjuntos. u Isto levaria a uma contradio, pois j havia sido provado que um conjunto tem ca a menos elementos do que o conjunto de suas partes. Em 1902, Bertrand Russell (1872 - 1970) e Ernest Zermelo (1871 - 1956) descobriram, independentemente, outro paradoxo que abalava novamente a teoria. Eles deniam o seguinte conjunto: A = {X X no um elemento de X } a e
Uma verso popular do a paradoxo proposto por Russell a seguinte. Em e uma cidade h um barbeiro a e os homens da cidade dividem-se em dois conjuntos. H os que fazem a a barba com o barbeiro e os que fazem a sua prpria o barba. Responda rpido: a em qual conjunto se encontra o barbeiro? c o c gtico. e o
As armaes A um elemento de A e A no um elemento de A levam co e a e a uma contradio. ca Apesar dessas diculdades, a teoria dos conjuntos chegara para car. Lgicos o e matemticos posteriormente deram suas contribuies para que tais cona co tradies fossem evitadas. Entre eles o prprio Russell, Zermelo e, tambm, co o e Adolf Fraenkel (1891 - 1965), cumprindo assim a profecia de Hilbert: 131
UD 9
No prximo texto voc conhecer algumas contribuies ` Matemtica feitas o e a co a a por Hilbert, um criador de frases lapidares, como: A arte de fazer Matemtica consiste em encontrar aquele caso especial que a contm todos os germes da generalidade. e
polinomial admite base nita. Alm disso, iniciara uma corrente de pensamento matemtico chamada fore a 132
UD 9
Histria da Matemtica o a
malismo e tinha esperana de que tudo na Matemtica poderia e deveria ser c a provado a partir de axiomas bsicos. a Em 1899 publicou o livro Grundlagen der Geometrie (Fundamentos da Geometria), uma exposio rigorosa da geometria euclidiana. ca No dia 08 de agosto de 1900, em Paris, Hilbert fez uma palestra no II Congresso Internacional de Matemtica em que props vinte e trs problemas de a o e diferentes reas da Matemtica. Ele acreditava que esses problemas norteariam a a o desenvolvimento da Matemtica ao longo do sculo que estava para comear. a e c Alguns foram resolvidos logo, mas muitos continuam a inspirar os matemticos a e permanecem sem soluo. ca Na apresentao dos problemas, Hilbert teria dito: ca
Se quisermos ter uma idia do desenvolvimento provvel do conhecimento e a matemtico no futuro imediato devemos fazer passar por nossas mentes as a questes no resolvidas e olhar os problemas que a cincia de hoje coloca o a e e cujas solues esperamos no futuro. co
O primeiro problema da lista cou conhecido como a Hiptese do Cont o nuo: h a alguma cardinalidade entre 0 e c, a cardinalidade dos nmeros reais? u A resposta veio em 1963-4, dada por Paul Cohen, nascido em 1934, no estado de New Jersey, Estados Unidos da Amrica. Ele mostrou que a Hiptese do e o Cont nuo formalmente imposs de ser decidida na teoria de conjuntos de e vel Zermelo-Fraenkel (a teoria de conjuntos que usamos no nosso dia-a-dia). O problema 7 pergunta se, dados os nmeros a, algbrico, e b, irracional, seria ab u e transcendente? O problema foi resolvido de maneira positiva simultaneamente por Aleksandr Gelfond (1906 - 1968), em 1934, e Theodor Schneider, nascido em 1911. No entanto, vrias questes continuam abertas. Uma das mais famosas provm a o e do problema nmero 8, sobre nmeros primos, conhecido como a Hiptese de u u o Riemann. Versa sobre a distribuio dos zeros de uma funo denida por ca ca Riemann, chamada (zeta). Assim como no caso da Conjectura de Poincar, e h um prmio de um milho de dlares, oferecido pelo Clay Institute, para quem a e a o resolv-la. e Em 2004, Xavier Gourdon vericou a Hiptese de Riemann at os primeiros dez o e trilhes de candidatos usando computadores. Apesar de toda essa evidncia, o e 133
UD 9
Histria da Matemtica o a
os matemticos reconhecero a Hiptese de Riemann como teorema apenas a a o quando uma prova for apresentada. A prxima e ultima unidade didtica tratar de nmeros primos e criptograa. o a a u Voc ver como resultados de natureza pura da Matemtica podem, de e a a repente, tornar-se de interesse aplicado. A busca de solues de problemas per si e a possibilidade de suas aplicaes co co tem mantido o grande interesse pela Matemtica. Isso deve continuar por a muito tempo.
134
Unidade 10
Nmeros e Codicao de Mensagens u ca
Agora trataremos de assuntos atuais: computadores, informao e cdigos. ca o Criptograa um assunto em que ocorre uma feliz conuncia do passado e e e do presente, dos aspectos puro e aplicado da Matemtica. E um bom exemplo a de por que as questes matemticas so importantes e continuam a atrair o o a a interesse e a energia de tantas pessoas.
UD 10
Histria da Matemtica o a
a maioria dos tpicos de pesquisa, at durante os per o e odos mais duros. Por exemplo, enquanto americanos e os, ento, soviticos se engalnhavam a e na chamada corrida pelo espao, matemticos desses pa mantinham suas c a ses relaes em bons termos. co E tradio na Matemtica que toda informao nova seja disponibilizada perca a ca mitindo que matemticos de diferentes partes do mundo desenvolvam seus poa tenciais completamente.
Teorema das Quatro Cores Quatro cores so sucientes a para colorir qualquer mapa plano, dividido em regies, de o tal forma que regies vizinhas o no partilhem a mesma cor. a Regies que s se tocam num o o ponto no so consideradas a a vizinhas.
Uma coisa que marcou denitivamente a atividade matemtica no sculo 20 foi a e o advento dos computadores, como o fez em todos os outros setores da atividade humana. Isso ocorreu diretamente, em certos casos. Um exemplo famoso a e demonstrao do Teorema das Quatro Cores, que s pode ser completada com ca o a ajuda deles.
Os computadores ampliaram imensamente nossa percepo matemtica. Gaca a nhamos amplos poderes computacionais, antes restritos a poucas e privilegiadas pessoas, como Euler e Gauss, alm de uma melhor visualizao de objetos mae ca temticos. E claro que isso apenas a ponta de um iceberg. a e Tambm cumprem importante papel na comunicao. Grupos de pesquisas e ca espalhados pelo mundo mantm-se em contato, trocando informaes o tempo e co todo. Isso reexo de uma outra caracter e stica marcante da Matemtica nos a nossos dias: ela tornou-se uma atividade bastante gregria. a Aqui entra o tema dessa unidade: a criptograa. Mais do que nunca, em nossos dias a informao tornou-se um bem valios ca ssimo. Trocar e acumular dados de modo seguro , a um s tempo, tarefa dif e relevante. e o cil Mas, antes de falarmos sobre esse assunto e sobre os temas de Matemtica a que esto a ele relacionados, voc precisa saber se h uma nova lista de a e a problemas para o prximo sculo. Anal de contas, h uma pergunta o e a a ser respondida.
Histria da Matemtica o a
indicao dos grandes desaos da Matemtica para o sculo 21; ca a e promulgao da Matemtica, pura e aplicada, como uma das principais chaves ca a para o desenvolvimento; reconhecimento da presena constante da Matemtica na sociedade de informao. c a ca
No lugar de uma lista com problemas, o encontro produziu o livro Mathematics: Frontiers and Perspectives (Matemtica: Fronteiras e Perspectivas), editado a por quatro expoentes da Matemtica: Vladimir Arnold, Michael Atiyah, Peter a Lax e Barry Mazur. Trata-se de uma coletnea de artigos em que matemticos a a de uma grande variedade de reas contribuem com suas impresses e expectaa o tivas. Um olhar sobre os colaboradores para a coletnea deixa a certeza de que a a Matemtica continuar a brilhar por todo o sculo e, depois, tambm. Alm a a e e e dos quatro editores, cooperaram para o livro nomes como Steve Smale e Peter Lax. Smale americano, ganhador da Medalha Fields de 1966, e escreveu o e artigo Mathematical problems for the next century (Problemas matemticos a para o prximo sculo), que contm uma lista de 18 problemas. Lax foi diretor do o e e Courant Institute, em New York, e tem interesse em Matemtica e Computao, a ca como podemos ver no t tulo de sua contribuio: Mathematics and computing ca (Matemtica e computao). a ca Apesar de sujeito a cr ticas, o livro uma prova da diversidade e vigor da e atividade matemtica. a Agora, enfocaremos especicamente criptograa.
O objetivo da criptograa obter mtodos de codicar uma mensagem de modo e e que apenas seu destinatrio possa interpret-la. a a Do ponto de vista matemtico, queremos um isomorsmo, uma maneira de a transformar uma mensagem que se pretende transmitir em algo ileg vel, mas 137
A palavra criptograa tem origem (surpresa!) grega. Cryptos signica secreto, oculto.
UD 10
Histria da Matemtica o a
que, ao chegar ao destinatrio, este possa transform-la de volta, na mensagem a a original. Chamamos cifrar o processo de transformar a mensagem original em um texto ileg e decodicar o processo reverso. Reservamos a palavra decifrar vel para signicar a descoberta do processo todo. Isto , estamos fazendo uma e distino quanto ` ao de decodicar uma mensagem cifrada por um mtodo ca a ca e criptogrco, sem descobrir como ele funciona globalmente, da ao de decifrar a ca o mtodo, completamente. e Um exemplo simples de cdigo consiste em permutar cada letra do alfabeto o usada na mensagem pela letra seguinte. Por exemplo, a frase A vida bela e seria escrita codicada como BWJEBFCFMB. O processo reverso daria AVIDAEBELA. Esse mtodo bastante simples e fcil de ser decifrado. Note, por e e a exemplo, que a mensagem cifrada comea com a letra B, que se repete mais c duas vezes, enquanto que F aparece, ao todo, duas vezes. E conhecido que A e a letra mais usada em portugus, o que nos faz crer que B o codicado de A. e e
decodicada, o destinatrio precisa da palavra chave. a Para dar um exemplo, precisamos da tabela. (Veja adiante.) Para codicar a frase A vida bela usaremos a palavra chave Roma. e O processo consiste em colocar sobre a mensagem a ser cifrada a palavra chave, repetindo-a sucessivamente, de modo que a cada letra da mensagem corresponda uma letra da chave. Observe o exemplo: R A O V M I A D R A O E M B A E R L O A
138
UD 10
Histria da Matemtica o a
Para codicar a letra A, usamos a linha 17 da tabela correspondente ` letra a R. A letra A se encontra na coluna 1. Portanto, A ser codicado como R. a Verique na coluna 1 da linha 17, na tabela. Para codicar a letra V usamos a linha 14, relativa ` letra O. A letra V est na a a coluna 22, corresponde ` letra J. Veja na coluna 22 da linha 14, na tabela. a Prosseguindo assim, obtemos a mensagem cifrada: RJUDRSNECO. Para decodicar a mensagem, dispomos a palavra chave sobre a mensagem cifrada e executamos o processo reverso. R R O J M U A D R R O S M N A E R C O O
Veja, a letra S, da mensagem cifrada, aparece sob a letra O. A linha correspondente ao O a 14, na qual o S se encontra na coluna 5. Na tabela, a coluna 5 e tem ao alto a letra E, que aparece acentuada na frase: A vida bela. e
A B C D E F G H I J K L M N O P Q R S T U V WX Y Z 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 B C D E F G H I J K L MN O P Q R S T U V WX Y Z A C D E F G H I J K L MN O P Q R S T U V WX Y Z A B D E F G H I J K L MN O P Q R S T U V WX Y Z A B C E F G H I J K L MN O P Q R S T U V WX Y Z A B C D F G H I J K L MN O P Q R S T U V WX Y Z A B C D E G H I J K L MN O P Q R S T U V WX Y Z A B C D E F H I J K L MN O P Q R S T U V WX Y Z A B C D E F G I J K L MN O P Q R S T U V WX Y Z A B C D E F G H J K L MN O P Q R S T U V WX Y Z A B C D E F G H I K L MN O P Q R S T U V WX Y Z A B C D E F G H I J L MN O P Q R S T U V WX Y Z A B C D E F G H I J K MN O P Q R S T U V WX Y Z A B C D E F G H I J K L N O P Q R S T U V WX Y Z A B C D E F G H I J K L M O P Q R S T U V WX Y Z A B C D E F G H I J K L MN P Q R S T U V WX Y Z A B C D E F G H I J K L MN O Q R S T U V WX Y Z A B C D E F G H I J K L MN O P R S T U V WX Y Z A B C D E F G H I J K L MN O P Q S T U V WX Y Z A B C D E F G H I J K L MN O P Q R T U V WX Y Z A B C D E F G H I J K L MN O P Q R S U V WX Y Z A B C D E F G H I J K L MN O P Q R S T V WX Y Z A B C D E F G H I J K L MN O P Q R S T U WX Y Z A B C D E F G H I J K L MN O P Q R S T U V X Y Z A B C D E F G H I J K L MN O P Q R S T U V W Y Z A B C D E F G H I J K L MN O P Q R S T U V WX Z A B C D E F G H I J K L MN O P Q R S T U V WX Y A B C D E F G H I J K L MN O P Q R S T U V WX Y Z
139
UD 10
Histria da Matemtica o a
Uma inconvenincia desse cdigo o fato de que a mensagem, assim como a e o e chave, devem chegar ao destinatrio. Isto , a Cifra de Vigen`re um exemplo a e e e de criptograa de chave simtrica. Apesar dessa caracter e stica, ela foi usada por muito tempo.
Charles Babbage (1791 1891) Projetou a Mquina a das Diferenas e a Mquina c a Anal tica. Eram calculadoras sosticadas, precursoras do computador.
Por volta de 1855, um ingls chamado Charles Babbage descobriu como quebrar e o cdigo de Vigen`re. Babbage foi um gnio, porm um tanto excntrico. Ele o e e e e tambm divisou a construo de um computador, em pleno sculo 19, contudo, e ca e no chegou a realiz-la. Babbage no divulgou sua descoberta de como decifrar a a a o cdigo de Vigen`re e, em 1863, o criptgrafo Friedrich Wilhelm Kasiski, ocial o e o da reserva do exrcito prussiano, publicou um mtodo que permitia quebrar o e e cdigo de Vigen`re. O princ desse mtodo consiste em descobrir a palavra o e pio e chave, comeando por determinar seu comprimento. c Que tal uma interrupo na leitura? Aqui est uma oportunidade para voc ca a e experimentar como funciona a decodicao do cdigo de Vigen`re. ca o e
Friedrich Wilhelm Kasiski nasceu em novembro de 1805 numa pequena cidade da Prssia ocidental. Seu u interesse por criptologia comeou durante a carreira c militar. Publicou Die Geheimschriften und die Dechirierkunst(As escritas secretas e a arte da decifrao) em 1863. ca
Atividade 39
Decodique a mensagem QZQVSQVQHWIJWOSFVUHS usando o cdigo de Vigen`re e a palavra chave ERDOS. o e O hngaro Paul Erds foi um dos mais singulares e brilhantes u o matemticos do sculo 20. a e Seu principal interesse era a Teoria de Nmeros e a frase que voc decifrou na u e atividade anterior, usando o nome dele como chave, era a saudao que ele ca
Paul Erds (1913 - 1996) o no tinha posio alguma em a ca universidades ou institutos de pesquisa e passou a vida viajando, visitando amigos matemticos com quem a trabalhava.
usava ao chegar para visitar algum de seus muitos colaboradores de pesquisa. Ele costumava dizer que um matemtico uma mquina de transformar caf a e a e em teoremas. Veja, agora, como foi importante o papel de outro matemtico na decifrao a ca de um verdadeiro enigma. 140
UD 10
Histria da Matemtica o a
Decifrando a Enigma
Voc deve estar se perguntando se haveria algum erro no t e tulo dessa seo. ca Bem, a resposta no. A Enigma era uma mquina de codicar. Depois das e a a descobertas de Kasiski e Babbage, os criptgrafos necessitavam de novas cifras. o Assim, foram inventadas mquinas criadoras de cdigos que desempenharam a o um papel importante, especialmente durante os vrios conitos vividos pela a humanidade na primeira metade do sculo 20. e Durante a Segunda Guerra Mundial, os alemes desenvolveram uma mquina a a de codicar que cou conhecida por Enigma. Quebrar o cdigo da Enigma o passou a ser uma questo literalmente de vida ou morte. Um matemtico a a ingls desempenhou, nesse episdio, papel fundamental. Ele se chamava Alan e o Turing. Turing foi convocado pelo governo britnico e trabalhou na quebra do cdigo a o aparentemente inviolvel gerado pela Enigma. Os esforos de mais de sete mil a c funcionrios, somados com as descobertas feitas por um criptlogo polons, a o e Marian Rejewski, de como funcionava uma verso primitiva da Enigma, e mais a a perspiccia de Turing permitiram uma proeza fenomenal que deu aos aliados a uma vantagem sem igual na virada do conito. E pena que Alan Turing no tenha recebido em vida as devidas homenagens. a Primeiro, devido ` natureza sigilosa da atividade, os trabalhos desse time de dea cifradores permaneceu em segredo por dcadas. Mas triste saber que Turing e e sofreu por intolerncia e preconceito da sociedade em que viveu, por ser homosa sexual declarado. As presses e humilhaes foram tantas que ele, deprimido, o co cometeu suic dio. O papel da Matemtica na produo de novas cifras e na atividade de a ca quebr-las passou a ser cada vez mais importante. a Teoria de Nmeros desempenha papel crucial num dos cdigos mais usados na u o transmisso de dados por computadores, chamado RSA. a
Alan Turing (1912 - 1954) Era professor no Kings College, Cambridge e trabalhava com teoria de mquinas, em projetos que a anteciparam os modernos computadores.
UD 10
Histria da Matemtica o a
mulaes, seja pela diculdade que geralmente carregam. co Vamos passar rapidamente em revista alguns principais tpicos desse assunto. o Os gregos, em particular os pitagricos, estudaram os nmeros extensivamente o u
Nos Elementos de Euclides encontramos a prova de que h uma innidade de primos, a a primeira demonstrao por ca absurdo de que temos not cia e, ainda, que todo nmero da u forma 2n1 (2n 1), com 2n 1 primo, perfeito. e
e perceberam a importncia dos nmeros primos. Eles tinham um profundo a u interesse pelos nmeros perfeitos e pelos pares de nmeros amigveis. u u a Posteriormente, Eratstenes descobriu como determinar todos os nmeros prio u mos menores do que um certo nmero dado, usando o crivo de Eratstenes. u o Aqui esto os primos menores do que 49. a
3 /// 10 17 // 24 / 31 // 38 / // 45 /
5 // 12 / 19 // 26 / // 33 / // 40 / 47
/ 6 13 // 20 / // 27 / // 34 / 41 // 48 /
7 // 14 / // 21 / // 28 / // 35 / // 42 / // 49 /
Novos progressos s ocorreram com os trabalhos de Fermat, no in do sculo o cio e 17. Fermat conhecia algum mtodo de fatorao, pois foi capaz de fatorar e ca 2027651281 = 44021 46061 em relativamente pouco tempo. Outra grande contribuio sua foi o Pequeno Teorema de Fermat. ca
UD 10
Histria da Matemtica o a Neste ponto da histria, entra em cena um de nossos o campees Leonhard Euler. o A abordagem usada por Euler para mostrar que 232 + 1 um nmero e u composto uma prova de que temos muito o que aprender e com as idias dos mestres do passado. e Veja qual foi a estratgia por ele usada. e
UD 10
Histria da Matemtica o a
e o fato de que p divide, por hiptese, a2 + 1, garante que p divide a4k+2 + 1. o Reunimos, agora, essa informao com a anterior: ca Como p divide a4k+2 1 e a4k+2 + 1, tambm divide a diferena, ou seja: e c p divide (a4k+2 + 1) (a4k+2 1) = 2. Mas isso uma contradio, pois p e ca e mpar por hiptese. o Logo, p da forma 4k + 1, para algum k, como foi enunciado. e Para que voc ganhe um pouco mais de percepo desse fato, e ca tente fazer a atividade a seguir.
Atividade 40
Determine os fatores primos de 84 + 1 e mostre que eles so da forma 8k + 1. a Agora, vamos continuar com Euler que, prosseguindo, provou uma seqncia de ue resultados que culminou em: Se a par, p primo e p divide a32 + 1, ento p da forma 64k + 1. e e a e Armado dessa informao, ele atacou a questo de fatorar 232 +1. Os resultados ca a obtidos indicavam bons candidatos ` fatorao. Quais so os primos da forma a ca a 64k + 1? Isso ocorre para os casos de k = 3, 4, 7, 9 e 10, por exemplo, onde p = 193, 257, 449, 577 e 641, respectivamente. Os quatro primeiros primos no dividem 232 + 1. Mas quando Euler fez a conta a com 641, obteve a recompensa pelo trabalho: 232 + 1 = 4 294 967 297 = 641 6 700 417.
Uma das grandes contribuies de Euler para a co Teoria de Nmeros foi u perceber que certas tcnicas e de anlise matemtica a a poderiam ser usadas no estudo dos nmeros. u
diverge,
surpresa ainda maior vem do fato de que a soma dos inversos dos nmeros u primos 1 1 1 1 1 1 + + + + + + ... 2 3 5 7 11 13 144
UD 10 tambm diverge. e
Histria da Matemtica o a
Uma das questes que interessou as geraes de matemticos aps Euler foi a o co a o distribuio dos primos. Por exemplo, Dirichlet demonstrou em 1837 o seguinte ca teorema, conjecturado por Gauss: Se (a, b) = 1 (a e b so relativamente primos), ento a progresso a a a aritmtica a+b, 2a+b, 3a+b, . . . contm uma innidade de nmeros e e u primos. Esse resultado generaliza o teorema da innitude de primos. Veja algumas questes abertas a respeito de nmeros primos: o u h uma innidade de nmeros primos da forma n2 + 1? a u sempre h um primo entre n2 e (n + 1)2 ? a a seqncia de Fibonacci contm um nmero innito de nmeros primos? ue e u u h uma innidade de primos gmeos (como 11 e 13, 41 e 43)? a e A falta de um padro aparente de distribuio dos nmeros primos entre os a ca u nmeros inteiros indica a riqueza do tema. Gauss e Legendre foram pioneiros u ao tratarem desse assunto. Chamamos de (n) o nmero de primos menores ou iguais a n. u Por exemplo, (10) = 4, (20) = 8, (50) = 15. Legendre conjecturou que (n) n , ln (n) 1.0836
dando uma estimativa para (n). O nmero 1.0836 chamado de constante u e de Legendre. Gauss, por sua vez, acreditava que
n E admirvel o esforo que a c Gauss e Legendre despenderam. Devemos lembrar que eles no a dispunham de computadores ou sequer uma simples mquina de calcular. a
(n) Li(n) =
2
1 dx. ln x
145
UD 10
Histria da Matemtica o a
Estima-se que Gauss tenha contado todos os primos at trs milhes. Ou seja, e e o que ele tenha calculado (3 000 000). O 216 816-simo primo o nmero 2 999 999 e o seguinte 3 000 017. e e u e O que cou conhecido como Teorema dos Nmeros Primos u e
Uma rea que desperta muito a interesse atualmente consiste em encontrar formas de determinar se um dado nmero primo. H dois u e a tipos de testes, basicamente: testes probabil sticos em que se usam computadores; testes de natureza terica o como o teste de Lucas-Lehmer. Pode-se dizer que h grande a demanda por nmeros u primos.
lim
(n) = 1. n/ ln(n)
O Teorema dos Nmeros Primos foi demonstrado em 1896 pelo matemtico u a francs Jacques Hadamard (1865 - 1963) e, independentemente, por Charles e Jean Gustave de la Valle Poussin (1866 - 1962), matemtico belga. Parece e a que Teoria de Nmeros uma espcie de elixir da longa vida. u e e
Veja, agora, como os nmeros primos exercem papel importante na u criptograa RSA.
UD 10
Histria da Matemtica o a
H muita literatura dispon sobre esse fascinante aspecto da Matemtica a vel a atual. Assim chegamos ao m de nossa disciplina, mas no ao m da histria. a o Esperamos que no decorrer desse tempo que passamos juntos voc tenha e percebido a importncia das questes matemticas. a o a Lembre-se, as questes podem ser antigas, mas as idias so atemporais. o e a Conclu mos com uma frase memorvel de Godfrey Harold Hardy, um a matemtico do sculo 20, que, ao lado de John Edensor Littlewood e Srinivasa a e Ramanujan, atuou em Teoria de Nmeros. u A frase aparece num livro que ele escreveu, chamado A Apologia de um Matemtico. a Eu acredito que a realidade matemtica existe fora de ns, que a o nossa funo descobrir ou observ-la, e que os teoremas que ca e a provamos, e que descrevemos com grandiloqncia como nossas ue criaes, so simplesmente notas de nossas observaes. co a co
147
Complemente o Estudo
Filmes
A Matemtica no tem sido muito favorecida como tema de lmes. Mas, recena a temente trs lmes chamaram a ateno para temas matemticos. E verdade e ca a que eles servem mais para diverso do que para nos informar sobre fatos, mas a essa a principal razo para se fazer lmes, no mesmo? e a a e No entanto, eles podem ser uteis como ponto de partida para discusses sobre o temas de Matemtica. a
Histria da Matemtica o a pia, mas nada funciona, pois ele debocha de todos os analistas, at se identicar e com um deles. Neste lme voc ver, como cenrio, o MIT (Massachusetts Institute of Teche a a nology), um dos templos da cincia, e da Matemtica, em particular. e a
Livros
A literatura de divulgao de temas matemticos rica, mas a publicao em ca a e ca portugus no muito grande. No entanto, alguns livros se destacam. e a e
Sites
http://www-history.mcs.st-and.ac.uk/history/index.html. Este site sobre Histria da Matemtica excelente. o a e http://mathworld.wolfram.com Este site uma enciclopdia de Matemtica. Com a ferramenta de busca voc e e a e poder encontrar denies e teoremas sobre assuntos clssicos e atuais. a co a 150
/ / /
Assim, segundo esse algoritmo, 31 26 = 62 + 248 + 496 = 806. Atividade 6 A tripla pitagrica gerada pelos nmeros u = 64 e v = 27 (3456, 3367, 4825). o u e Os nmeros 4601 e 6649 fazem parte da tripla pitagrica (4800, 4601, 6649), u o 151
gerada pelos nmeros u = 32 = 25 e v = 75 = 3 52 . u Atividade 8 A decomposio em fatores primos de 12 285 33 5 7 13. A soma de ca e seus divisores prprios 14 595, o outro elemento do par de nmeros amigveis: o e u a (12 285, 14 595). Atividade 10 1+ 5 = 1+ 2 1 1+ 1+ 1+ 1 1 1 1 + ...
34 21
Por exemplo, 1 + 1/(1 + 1/(1 + 1/(1 + 1/(1 + 1/(1 + 1/(1 + 1)))))) = 1.619047619. Uma boa aproximao de ca Atividade 11 No existe inteiro n tal que a 1 = 0. 2n =
1+ 5 2
1.618033989. e
Sabemos que 1 + r + r2 + r3 + . . . rn
rn =
i=0
1 . 1r
Atividade 12
Por exemplo, se m < 2 n, ento m 2 < 2 n. Basta multiplicar a primeira a desigualdade por 2. Os gregos do tempo de Eudoxo no dispunham desse a poss comprovar a veracidade da armao usando um arguargumento. E vel ca mento geomtrico. Veja, um quadrado de lado n 2 tem diagonal 2 n. Agora, e se m < 2 n, podemos desenhar um quadrado de lado m contido no quadrado de lado 2 n e sua diagonal m 2 menor do que a diagonal do quadrado e maior, que 2 n. e Atividade 14 K= . 4 Atividade 15 Os fatores primos de 3 5 7 + 1 so 2 e 53, primos diferentes de 3, 5 e 7. a Atividade 17 152
Conhecendo o volume v e a massa m da coroa, assim como as constantes e , podemos resolver a equao em x e descobrir quanto ouro e prata h nela ca a 3 e = 10 500kg/m3 , descubra o sem destru -la. Sabendo que = 19 300kg/m peso do ouro no caso da coroa ter volume v = 0.15m3 . Atividade 18 A prxima linha 21, 23, 25, 27 e 29. Note que 21+23+25+27+29 = 125 = 53 . o e Atividade 19 64 = (32 +22 ) (12 +22 ) = (3122)2 +(32 21)2 = 49+16 = 1+64. Atividade 20 Nem todas as propriedades das somas nitas so verdadeiras no caso das somas a innitas, como o caso da propriedade distributiva. e Atividade 22
1.3688
Note que a hiprbole (x + 2) (y + 10) = 40 contm os pontos (2, 0) e (0, 10). e e A projeo do ponto comum sobre o eixo x ocorre entre 1.3 e 1.4. ca Atividade 23 Colocando numa equao, temos x = x/6 + x/12 + x/7 + 5 + x/2 + 4. A ca soluo x = 84. ca e Atividade 24 A substituio x = y ca 3 + 26 y = 704 . y 3 27 Fazendo 3st =
26 3 2 3
e s3 t3 =
3 704 a ca 6 704 3 26 27 chegamos ` equao t + 27 t 272 = 0, t3 = 352+6 3930 . Assim, s3 = 704 + t3 = 352+6 3930 . e 27 27 27 3 + 26 y = 704 . Assim, soluo de y ca 3 27 3
y= Finalmente, x = y
2 3
352 + 6 3930 + 3
352 6 3930
Atividade 25 Fazendo de conta que voc no tenha notado que na equao x3 15x = 4, e a ca A = 15 < 0, aplicamos a tcnica de clculo das ra por radicais, fazendo e a zes 3 t3 = 4. Isso leva ` equao t6 + 4t3 + 125 = 0, cujas ra 3st = 15 e s a ca zes 3 = 2 121 = 2 11 1. so t a Agora, os problemas. Primeiro, a raiz negativa. Se voc no conhece a teoria e a dos nmeros complexos, como era o caso de Cardano, pode seguir com a conta u usando essa resposta formal. A outra possibilidade que voc a tome como um e e 3 positivo, como zemos nmero complexo. De qualquer forma, como escolher t u antes, se t3 no mais um nmero real? Neste caso, escolhemos qualquer a e u 3 = 2 + 11 1. Isso nos d a s3 = 4 + t3 = 2 + 11 1 e um, digamos t a st = 3 2 + 11 1+ 3 2 11 1 uma estranha soluo de x3 15x = 4. e ca O mistrio se desfaz ao observarmos que (2 + 1)3 = 2 + 11 1, assim e como (2 1)3 = 2 11 1. Portanto, st=
3
2 + 11 1 +
2 11 1 = 2 + 11 1 + 2 11 1 = 4
apenas uma maneira um tanto diferente de escrever o nmero 4. e u Atividade 27 Uma sugesto consiste em arranjar a soma da maneira a seguir. a
1 2 + + 1 4 1 4 + + + 1 8 1 8 1 8 + + + + 1 16 1 16 1 16 1 16 + + + + + 1 32 1 32 1 32 1 32 1 32 + + + + + + 1 64 1 64 1 64 1 64 1 64 1 64 + ... + ... + ... + ... + ... + ... . . . + ... =
1 2
2 4
3 8
4 16
5 32
6 64
A resposta um nmero inteiro. e u Atividade 32 Aqui esto as trs maneiras de escrever 99 como uma soma de quatro quadrados: a e 99 = 1 + 1 + 16 + 81 = 1 + 9 + 25 + 64 = 9 + 16 + 25 + 49. 154
Voc sabia que podemos escrever 98 de quatro maneiras diferentes como soma e de quatro quadrados? Atividade 33 Essa interessante. Faa x4 + 1 = (x2 + ax + 1)(x2 ax + 1) e calcule a. e c Atividade 34 4x 6 mod 18 tem duas solues (residuais): 6 e 15; 4x 8 mod 12 tem co quatro solues: 2, 5, 8 e 11; 2x 7 mod 13 tem uma soluo. co ca Atividade 36 Por exemplo, 0, 1, 1, 2, 2, 3, 3, 4, 4, . . . . Atividade 37 A funo f (x) = ca (a, b) e (c, d). Atividade 38 A funo f (x) = tg ca (0, 1) e a reta real. Atividade 39 A linda frase que Paul Erds usava para saudar seus amigos e colegas pesquisadores o Minha mente est aberta. e a Atividade 40 84 + 1 = 4097 = 17 241. Note que 17 = 2 8 + 1 e 241 = 30 8 + 1. 2 x 1 2 estabelece uma bijeo entre o intervalo ca ad bc cd x+ estabelece uma bijeo entre os intervalos ca ab ab
155
Referncias e
ANGLIN, W. S. Mathematics: A Concise History and Philosophy. New York: Springer Verlag, 1994. BELL, E. T. Men of Mathematics. New York: Touchstone, 1965. BOYER, C. B. Histria da Matemtica. So Paulo: Edgar Blcher, 1974. o a a u COURANT, R. e ROBBINS, H. O que Matemtica? Rio de Janeiro: Cincia e a e Moderna, 2000. COUTINHO, S. C. Nmeros Inteiros e Criptograa RSA. Rio de Janeiro: IMPA u / SBM, 1997. DANTZIG, T. Nmero: A Linguagem da Cincia. Rio de Janeiro: Zahar, 1970 u e DAVIS, P. e HERSH, R. A Experincia Matemtica. Rio de Janeiro: Francisco e a Alves, 1982. DORRIE, H. 100 Great Problems of Elementary Mathematics: Their History and Solution. New York: Dover, 1965. EVES, H. Histria da Matemtica. So Paulo: UNICAMP, 1996. o a a GRIFFITHS, H. B. e HILTON, P. J. Matemtica Clssica Uma Interpretao a a ca Contempornea. So Paulo: Blcher / USP, 1975.3 v. a a u HEFEZ, A. Curso de Algebra. v. 1. Rio de Janeiro: IMPA, 1997. (Coleo ca Matemtica Universitria). a a SANTOS, J. P. de O. Introduo ` Teoria de Nmeros. Rio de Janeiro: IMPA, ca a u 1998. (Coleo Matemtica Universitria). ca a a SINGH, S. O Ultimo Teorema de Fermat. Rio de Janeiro: Record, 1998. SINGH, S. O Livro dos Cdigos. Rio de Janeiro: Record, 2001. o STRUIK, D. J. A Concise History of Mathematics. New York: Dover, 1987.
157