P. 1
Carl_B._Boyer_Topicos.de.historia.da.matematica.Calculo

Carl_B._Boyer_Topicos.de.historia.da.matematica.Calculo

4.0

|Views: 1.271|Likes:
Publicado porcideni
Historia da Matemática
Historia da Matemática

More info:

Published by: cideni on May 19, 2010
Direitos Autorais:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

04/09/2014

pdf

text

original

CARL B.

BOYER

Este livro integra a serie

T6picos de

HISTORIA DA MA TEMA TICA

para uso em sala de aula

"Topicos de

HISTORIA DA MATEMATICA

para uso em sala de aula

VOLUMES PUBLICADOS:

Nurneros e numerais Cornputacao Geometria Algebra

T rigonometria Calculo

CALCULO

Traducao de Hygino H. Domingues

© National Council of Teachers of Mathematics 119691 IObra publicada em 1 volume, Titulo original:

Historical Topics for the Mathematics Classrooml

CojlJright Jest. tdif;w:

AruAL EOITORA LTDA., Sao Paulo. 1993.

T odes cs direiros reservados.

Dados de Cala[o~ao na Pub6clM;~o I nternacional (CiP) (Camara Brasileira do U ,'ro, SP. Brasi Ii

Boyer. Carl Benjamin. 1906·

Calc ulo I Carl B. Boyer: t rad, H ygi no H. Domingues. - Siio Paulo : At ual, 1 992. - (T opieos de historia da materna t iea para usa em sala de aula : v, 61

Bibliografia.

ISBN 85-7056·475-9

1. Calculo . Historia 2. Matematica (2~ grauj 1 Ma ternat ica - H istoria [. Ti to 10. II. Serie,

92·2430

CDD·510.9

ndices para catilogo sistematico: ":J:.-~""-''''''. Maternatica : Hist6ria 510.9

serie: T6p~ de HISlOria da M atem>uica para uso em sala de aula

CALCULO

Eduor«: Barbara Ferreira Arena Coordenadoro editorio/: Sandra Lucia Abrano Assistente ediloria/: Maria de Lourdes Chaves Ferreira Chefe de prepara~tlo de texto e fevis4o; Not G. Ribeiro Chefe de arte: Zildo Braz

Gereme de produ¢Q:. Antonio Cabello Q. Filho Colabomdores: H ygino H. Domingues Itradul;ioj MORicI Stabel (rev isllo da trad ucaol Capo: Sylvia de Ulh&; Cintra Filho Composi~iio e "fie-final: K.L.N.

Fotolao: BinhoslF otoset

ATUAL EDiTORA LTDA.

R ua J ose A nl6nio Coelho, 785 04{) I 1-{)62 - sao Paulo - SP Tel: (OIl) 575-1544

ISBN 8P05&475-9

Apresentacao

Nos ultimos anos, vern se notando nos meios matematicos preocupados com 0 ensino urn certo empenho em valorizar a hist6ria da matematica como recurso didatico. ru manifestacoes nesse sentido sao diversas, culminando com a inclusao de uma disciplina especifica sobre 0 assunto nos curriculos de varies cursos de licenciatura em maternatica,

Essa tendencia nos parece sobremaneira auspiciosa, sendo de lamen-

~ apenas nao ter ocorrido bern antes. A matematica desde os seus prim6rdios entrelaca-se tao intimamente com a hist6ria da civilizacao, sendo mesmo uma das alavancas principals do progresso humano, que sua hist6- ria e nao s6 aItamente motivadora em termos de ensino como tambem muito rica em aspectos culturais.

Sendo, indubitavelmente, a limitacao bibliografica urn dos fatores a obstarem um aproveitamento maior da hist6ria da matematica no ensino, acreditamos que a publicacao do presente texto, pelas suas virtudes e especificidades, vern em boa hora.

Trata-se do capitulo sobre 0 calculo, do livro Historical Topics for the Mathematics Classroom, do respeitavel National Council of Teachers of Mathematics (NCTC) dos Estados Unidos, escrito para "auxiliar 0 ensino de matematica a partir de uma perspectiva hist6rica". Ou seja, a historia da matematica nessa obra nao se constitui apenas em informacao au erudicao, mas tambem em material didatico a ser usado, direta ou indiretamente, na sala de aula, Outras proposicoes que nortearam 0 NCTM quanto a essa obra foram: a) a nao-exigencia de pre-requisites especificos por parte do leitor; b) a possibilidade de servir de motivacao para professores e alunos com vistas a estudos correlatos; c) servir de referencia para cursos superiores relativos a historia ou ao ensino da matematica; d) atender a todos os niveis escolares.

o texto consta de duas partes. A primeira e uma visdo geral cujo objetivo e dar ao leitor um quadro tao amplo quanto possivel do desenvolvimento historico do calculo; a segunda e formada de capsulas que poem em relevo detalhes e epis6dios importantes da hist6ria do calculo. Embora possam ser lidas independentemente, essas capsulas servem de complementacao a visao geral que as precede.

Da mesma obra da NCTM, a Atual Editora ja publicou cinco fasciculos abrangendo os cinco capitulos da matematica elementar. 0 presente volume e, de uma certa forma, uma coroacao do empreendimento anterior, pois 0 calculo, embora entre n6s nao figure habitualmente no curricu-

LOLUEN

NOS PEDIDOS TEU~GRAFiCOS BASTA C1TAR a C6DIGO ADRM5216F

10 de matematica do segundo grau, e (em parte talvez por isso mesmo) a grande enfase da primeira serie dos cursos universitarios da area de ciencias exatas. Isso sem falar que as questoes de que surgiu se inserem nos prim6rdios da historia da matematica e se apresentam freqiientemente nos niveis elementares de ensino desde muito cedo (areas e volumes, por exemplo).

Voltando as consideracoes iniciais, acreditamos que 0 presente texto, na sintese agradavel de sua visao geral enos detalhes envolventes de suas capsulas, aliando leveza de linguagem a rigor, podera contribuir significa-

\ tivamente, corn os volumes anteriormente publicados, para consolidar 0 papel didatico-cultural da hist6ria da matematica no ensino.

o tradutor

Sumario

lntroducao: uma visao geral .. I

Capsula I - A antecipaeao de Arquimedes ao caleulo 28

Capsula 2 - Simon Stevin 31

Capsula 3 - Johann Kepler 33

CApsula \4 - Bonaventura Cavalieri 35

CApsula 5 - Pierre de Pennat 36

CApsula 6 - John Wallis 39

capsula 7 - Isaac Barrow 42

capsula 8 - Leibniz 44

CApsula 9 - Notacao de Newton versus notacao de Leibniz 48

capsula 10 - Volumes de barris 51

capsula 11 - Diferencas finitas 55

CApsula 12 - Arquimedes e 0 "metodo de exaustao" 57

Capsula 13 - Convergencia 59

Capsula 14 - A origem da regra de L'Hospital 62

Capsula 15 - Cakulo de variaeoes .. 67

capsula 16 - Uma selva de equacoes diferenciais 69

Capsula 17 - Maclaurin, Taylor e suas series diferenciais 71

capsula 18 - De n! a funOio gama 75

capsula 19 - Derivadas parciais 77

capsula 20 - lntegrais rnultiplas e jacobianos 79

CApsula 21 - Calculo no Japao 81

capsula 22 - Infinitesimos na india 83

capsula 23 - A integral definida 86

Bibliografia citada no texto 89

Indice remissivo 91

Hist6ria do calculo

lntroducao: uma visao geral

CARL B. BOYER

Os infinitivos "calcular" e "computar" tern significados semelhantes, relacionados com a realizaeao de processos numericos. 0 ultimo esta associado, tanto etimologicamente como no sentido corrente, com processes mentais. 0 primeiro, por outro lado, traz desde sua origem uma coaotacao de manipulacao nao deliberada, pois "calcular" no passado significou "fazer contas por meio de seixos". A palavra "calcu- 10" e 0 diminutivo de calx, que em Jatim significa "pedra". Em medicina, 0 significado literal ainda se preserva, na expressao "calculos renais", usads-para pedras nos rins.

E uma das ironias da hist6ria, entao, que 0 termo "calculo" tenha vindo a se ligar firmemente a urn ramo da matematica que exige 0 mais alto grau de sutileza e sofisticacao de pensamento. A inadequacao do termo fica clara pelo fato de que 0 dominic do calculo seria impossivel para alguem que precisasse recorrer a seixos para propositos computacionais,

Concepcoes na antigOidade

No. sentido mais formal 0 calculo foi moldado no seculo XVII de nossa era; mas as questoes das quais surgiu ja tinham sido colocadas mais de dezessete seculos antes do comeco de nossa era. Papiros egipcios e tabulas cuneiformes babilonicas incJuem problemas de mensuraI;io retilinea e curvilinea que perteneem ao dominio do calculo; mas ao tratamento pre-belenico desses problemas faltou amadurecimento matematico em dois aspectos series: (I) nao havia distincao definida entre resultados exatos e aqueles apenas aproxirnados, e (2) as rela-

o cOes com a logica dedutiva nao estavam explicitamente reveladas. 0 papiro Rhind, copiado pelo escriba Ahmes (ou Ahmose) por volta de 1650 a.c., mostra que os egipcios acharam corretarnente 0 volume

1

de uma piramide quadrada como 1/3 do volume do prisma retangular de mesma base e mesma altura. Nao era dada nenhuma demonstracio do acerto dessa relacao, e no nosso seculo mostrou-se que e impossivel prova-la rigorosamente sem consideracoes infinitesimais - isto e, sem 0 calculo, Se a comparaeao de configuracoes retilineas simples requer tal sofisticacao, nao se deveria esperar demais da mensuracao de figuras curvilineas no periodo pre-helenico, Ahmes, por exemplo, considerou a area de urn clrculo como sendo igual a de urn quadrado cujo lado e 8/9 do diametro do circulo. Essa aproximacao nao e rna, pois equivale a assumir 0 valor 3,16 para n, Nao obstante, embora contar 0 numero de algarismos corretos numa aproximacao decimal de n seja um born esporte, nao representa uma medida confiavel do nivel matematico de uma civilizacao. Urn feito muito maior teria sido os egipcios conseguirem mostrar que sua f6nnula para a area do circulo n3.o era exata, ao passo que a do volume da piramide era exata.

o nivel da matematica do Vale Mesopotamico era superior ao da matematica ao longo do Nilo; alem disso, os babilonios estavam de olhos abertos para as duas criticas observadas acima com relacao aos egipcios. 13. no seculo XVII a.c. os babilonios aplicaram sua 3lgcbra admiravelmente flexivel a uma ampla gama de problemas praticos, incluindo mensuracao de figuras. Conhecendo 0 teorema de Pitago-, ras, acharam corretamente a diagonal de urn quadrado, ate 0 equivalente a meia duzia de casas decimais. Tomavam a area do circulo geralmente como 0 triplo da area do quadrado sobre 0 raio, mas em pe- 10 menos uma ocasiao usaram para n uma aproximaeao melhor, 3 118. Nem mesmo os babilonios, contudo, tinham criterios para detenninar se esta yam lidando com resultados exatos ou apenas com aproximaeoes.

Talvez a abordagem dos babilonios mais proxima do calculo esteja num algoritmo iterativo que descobriram para achar a raiz quadrada de qualquer mimero (racional), Sej a a 0 mimero cuja raiz quadrada se deseja, e seja al uma primeira aproximaeao por falta dessa raiz. Entao alai (= bl) sera uma aproximacao por excesso. Alem do mais, se a2 e b2 sao as medias aritmetica e harmonica, respectivamente, de-al e b.; entao a2 e h2 serao aproximacoes por excesso e por falta melhores que hi e 01' Continuando esse processo, em que a, e hi sao as medias aritmetica e harmonica, respectivamente, de a.: I e b.: I , tern-se urn processo infinito que levara a aproximacoes tao proximas quanto se deseje da raiz quadrada pretendida. Tivessem os babilonios qualquer meio de conhecer ou mostrar que 0 processo nao tenninava, deveriam agora ser aclamados como os inventores do capitulo das sequencias infinitas, uma das partes basicas do calculo rnoderno. Todavia, a habilidade dos babilonios em algebra nao tinha paralelo em preocu-

2

pacoes 16gicas. Dai por que 0 credito pelos premincios do calcu- 10 cabe ao povo antigo para 0 qual a abordagem logica constituia-se ) numa verdadeira paixao,

Os primeiros rnaternatlcos

Admite-se universalmente que os gregos foram os primeiros matematicos - primeiros no sentido de que foram eles que encetaram o desenvolvimento da matematica a partir de principios basicos. Hipias (c_ 425 a.C), ou algum outro por volta de sua epoca, mostrou que, em tennos de numeros inteiros, nao era possivel nenhuma comparacao numerica exata da diagonal com 0 lado para urn quadrado, urn pentagono regular, urn cuho ou um hexagono regular - na verdade, para muitas figuras geometricas conhecidas, Foi um choque para a comunidade matematica grega tomar conhecimento de que M coisas como segmentos de reta incomensuraveis e que a ocorrencia dessa situacao e ejPaDtosamente comum - isto e, que conceitos afins ao calculo aparecem nas mais elementares situacoes. Os dialogos de Platao mostram que os matematicos da epoca ficaram profundamente perturbados com essa descoberta.

A descoberta da incomensurabilidade confrontou os matematicos diretamente com um processo infmito-fSempre que 0 algoritmo euclidiano para achar 0 maximo divisor comum de dois inteiros e aplicado em aritmetica, 0 processo acaba num numero finito de passos, pois 0 conjunto dos inteiros positivos tern urn minimo, 0 numero 1. Se, por outro lado, 0 esquema analogo e aplicado com roupagem geometrica para achar a maior medida comum a dois segmentos de reta incomensuraveis, 0 processo prosseguira indefinidamente._ Nao M algo como 0 menor segmento de reta - pelo menos nao segundo a visao grega ortodoxa, nem segundo os conceitos modemos convencionais. A perspectiva de urn processo infinito perturbou os matematieos antigos, pois se viam diante de uma crise. Eram incapazes de replicar aos sutis paradoxos de Zenao de Eleia propostos por volta da mesma epoca em que se deu a devastadora descoberta dos incomensuraveis. Arist6teles e outros fi16sofos gregos procuraram responder a esses paradoxos, mas 0 fizeram de maneira tao pouco convincente, que os matematicos da epoca concluiram que era melhor evitar totalmente os processos infinitos.

Essa visao poderia parecer urn impedimento a qualquer equivalente grego do calculo, Eud6xio, nso obstante, sugeriu uma aborda-

3

gem que aos matematicos pareeeu irrefutavel e que servia essencialmente aos mesmos prop6sitos de urn processo infinito. Ele comeeou com urn axioma, muitas vezes conhecido como "lema de Arquimedes", que aparece como Definicao 4 no Livro V dos Elementos de Euclides.

Consideradas duas grandezas desiguais, se da maior subtraimos uma grandeza maior que sua metade, e da que resta uma grandeza maior que sua metade, e se este processo e repetido continuamente, restara uma grandeza que sera menor que a menor das grandezas consideradas,

o calcuio de Euclides (derivado, presumiveimente, de Eud6xio) pode ter side menos efetivo que 0 de Newton e Leibniz dois milenios

) mais tarde; mas, em termos de ideias basicas, nao estava muito longe do coneeito de limite usado rudemente por Newton e aprimorado no seculo XIX_ 0 aluno principiante que desembaracadamente papagueia que a integral de x3 e x4/4 + C pode ter mais facilidade nas tecnicas do calculo do que Euclides jamais alcancou, mas e bern possivel que sua formulacao do conceito de limite fique aquem dos padr6es de rigor logico observados pelo autor de Elementos. 0 prop6sito de Euclides no "lema de exaustao" (Livro X, 1) era preparar 0 terreno para a mais antiga cornparacao verdadeiramente rigorosa de figuras curvilineas e retilineas que chegou ate n6s - a prova no Livro XII, 2, de que as areas dos circulos tern a mesma relacao proporcional que tern as areas dos quadrados sobre seus diametros.

Ate aqui destacamos a semelhanca entre 0 antigo metodo de exaustao e a formulacao moderna rigorosa do calculo, mas ha diferenCas essenciais.

o antigo e 0 moderno estao em nitido contraste com respeito as causasrO metodo de exaustao forneeeu uma demonstracao impecavel de urn teorema a cuja verdade se chegara no maximo informalmente. A essencia de Elementos, Livro XII, 2, por exemplo, tinha sido adotada pelas civilizacoes pre-helenicas nos vales dos rios Nilo e Tigre-Eufrates, bern mais de urn milenio antes da epoca de Euclides. o valor do calculo moderno, contudo, esta nao tanto em seu poder de desenvolver demonstracoes rigorosas como na sua maravilhosa eficacia para realizar novas descobertas quantitativas.

Diz-se que grandezas tern urna razao, urna para a outra, se, par multiplicacao, uma for capaz de exceder a Dutra.

Eud6xio com eerteza utilizou essa "definicao", que realmente e uma suposicao, de maneira muito semelhante a empregada por Euclides no Livro X, 1 (e ainda posteriormente por Arquimedes) para provar o procedimento basico no "metodo de exaustao", 0 equivalente grego do calculo:

Essa afirmacao pode ser generalizada substituindo-se "maior que sua metade" por "maior que ou igual a sua metade (ou seu terco ou qualquer outra fracao propria]".

Aqui, numa forma geometrica desajeitada, esta urn dos mais antigos teoremas sobre limites, pois 0 fulcro da questao e que se A e a maior das duas grandezas dadas (positivas) a e A, e se u; = A12n, entao

lim u; = 0 < o.

o metoda de Arquimedes

Deve-se notar que, enquanto a notacao moderna recorreu ao simbolo de infinito, a linguagem antiga cuidadosamente evitava qualquer referencia aberta a urn processo infinito. As duas formulacoes, no entanto, nao estao distantes quanto a seu significado. Para mostrar que

lim u; = 0,

Os gregos antigos tinham outra abordagem para a integracao, que servia como urn efetivo instrumento para a invencao, Esse instrumento foi descrito por Arquimedes, numa carta a Erat6stenes, sirnplesmente como "urn certo metoda .pelo qual lhe sera possivel dar os passos iniciais que Ihe permitirao investigar alguns dos problemas de maternatica por meio da mecanica", 0 "certo metodo", que Arquimedes visualizou corretamente e que habilitaria seus conternporaneos e sucessores a fazer novas descobertas, consistia num esquema para equilibrar entre si os "elementos" de figuras geometricas. [Urn segmento de reta, por exemplo, deve ser considerado como formado de pontos; uma area de superficie plana e imaginada como sendo constituida de uma quantidade indefinidamente grande de segmentos de reta parale!os; e

5

deve-se demonstrar que, dado urn numero positivo s, mesmo que pequeno (0 equivalente da grandeza menor a na proposicao de Euc1ides), pode-se aehar urn inteiro N (0 equivalente da frase de Euclides "se este processo e repetido continuamente") tal que para n > N vale a relacao u; < £.

4

uma figura s6lida e considerada como uma totalidade de elementos planos paralelos. Sem subscrever necessariamente a validade de uma tal visao em matematica, Arquimedes achou essa abordagem heuristicamente muito frutifera. 0 primeiro teorema que ele descobriu mediante a operacao de equilibrar elementos foi 0 celebre resultado de que a area de urn segmento de parabola e 4/3 da area do triangulo que tern a mesma basee altura igual. Ele chegou a isso equilibrando entre si os segmentos que formam 0 triangulo com os segmentos que formam 0 segmento parab6lico (ver [12]* para a prova).

A aplicabilidade do metoda sera ilustrada aqui com a segunda proposieao do Metoda, segundo a qual a volume cia esjera e 4 vezes o volume de um cone com base igual 00 ctrcuio maior do esjera e altura iguai 00 raio. (Anteriormente Dem6crito tinha conhecimento de que 0 volume de urn cone e 113 do volume do cilindro de mesma altura e 0 mesmo raio.) Arquimedes descobriu esse teorema atraves de urna engenhosa condieao de equilibrio entre as seccoes circulares de urna esfera e urn cone, de urn lado, e os elementos circulares de urn cilindro, de outro, como mostra a Figura 1.

L E

FIGURA[!]

o cilindro segundo circulos C], C2 e C3, respectivamente. Sejam Y, = XP, Y2 = XQ e Y3 = XR os raios desses tres circulos. Arquimedes descobriu que, imaginando-se os circulos com pesos proporcionais as suas areas, colocando-se em H os circulos C, e C2, estes equilibrarao exatamente C3 na-posieao que ocupa no diagrama - isto e, com centro em X. (lsto pode ser verificado facilmente atraves da goometria analitica.) Dai que, se a esfera e 0 cone fossem pendurados em H, equilibrariam 0 cilindro se este fosse pendurado em M, ponto medic de AC. Portanto a esfera e 0 cone juntos sao iguais a- 1/2 do cilindro; ou, visto que 0 cilindro e 3 vezes 0 cone, a esfera e igual a 112 do cone AEF ou 4 vezes 0 cone ABD - isto e, em nossa linguagem, 0 volJ,!!De da esfera e 4nr3/3. A esta altura, tender-se-ia a concluir que 0 teorema ja estivesse provado; contudo, Arquimedes considerou esse resultado tao-somente como uma conclusao plausivel a ser verificada ao final pelo rigoroso metodo de exaustao,

o Metodo de Arquimedes teria urn significado maior no desenvolvimento do calculo se a imprensa fosse uma invencao dos tempos antigos e nao do Renascimento. Evidentemente, nunca foram muitas as c6pias.-dO Metoda, e durante quase dois milenios 0 trabalho pennaneceu essencialmente desconhecido. E bern provavel que nenhum desenvolvimento da hist6ria da matematica em nosso seculo se iguale em romance a redescoberta do Metoda de Arquimedes [12].

E importante notar que M dois aspectos nas antigas origens do calculo integral. Urn deles, derivado de Eudoxio, e representado pelo rigoroso metodo de exaustao (ilustrado na prova do teorema 2, Livro XII, dos Elementos); 0 outro, proveniente da 000 atomistica associada a Demecrito, esta relacionado com 0 metodo de Arquimedes. 0 primeiro, nao muito distante dos conceitos do seculo XIX, era urn metodo impecavel para estabelecer a valida.de de urn teorema. 0 ultimo, seja fazendo uso de indivisiveis ou dos elementos de dimensionalidade menor de Arquimedes (assemelhando-se mais ao estagio do calculo no seculo XVII), foi urn instrumento que levou a descoberta de conclusoes plausiveis .. Arquimedes explorou os dois aspectos com sucesso. Seu "metodo" mecanico levou a teoremas sobre areas, volumes e centros de gravidade que tinham escapade a todos os seus predecessores; mas nao parou por ai. A vancou mais, demonstrando esses teoremas da maneira tradicionalmente rigorosa pelo metodo de exaustao,

'Ninguem no mundo antigo igualou-se a Arquimedes, quanto a inveneao e a demonstracao, ao lidar com problemas relacionados ao calculo. No entanto, 0 teorema geral mais antigo em calculo nso se deve a Arquimedes, mas a matematicos gregos que viveram, provavelmente, meia duzia de secules mais tarde.

Consideremos HC como 0 brace de uma balanca da Qual 0 ponto medic A e o fulcro. Seja ABeD urn circulo maior da esfera e sejam AEF e LEFG seccoes de, urn cone circular rete e de urn cilindro circular reto, respectivamente, ambos tendo AC como eixo e EF c0- mo diametro da base. Entao, considerando-se urn plano por urn ponto qualquer X, sobre AC, este plano interceptara 0 cone, a esfera e

• 0 numero destacado entre colchetes indica a capsula que trata do assunto. (N.T.)

6

7

Contribulcoes medievais

Urn dos lideres desse movimento foi Nicole Oresme (c. 1323-1382), bispo de Lisieux. Estudando, por exemplo, a distancia percorrida POT urn objeto em movirnento com velocidade variavel, Oresme associava os instantes de tempo dentro do intervalo aos pontos de urn segmento de reta horizontal (chamado "linha de longitudes"), e para cada urn desses pontos erguia (nurn plano) urn segmento de reta vertical ("latitude"), cujo comprimento representava a velocidade do objeto no tempo correspondente. Ao conectar as extremidades dessas perpendiculares ou latitudes, obtinha uma representacao da variacao funcional da velocidade com relacao ao tempo - num .dos mais antigos exemplos na historia da matematica do que hoje seria chamado "grafico de uma funcao", Para Oresme, era claro entao que a area .sob este grafico representaria a distancia percorrida, pois e a soma de todos os incrementos de distancias correspondentes as velocidades instantaneas. Nesse ponto, obviamente, vai-se de encontro a todas as dificutdades logicas e filos6ficas que levaram aos paradoxos de Zenao e fizeram com que os cautelosos matematicos gregos evitassem 0 estudo de variacoes como tal.

OreSlife classificava seus tipos de variaeao conforme fossem uniformes (isto e, constantes) ou diformes (nao constantes), e dividia 0

! Ultimo tipo em variacoes uniformemente diformes e diformemente diformes. S6 era capaz de levar a efeito a integracao decorrente des ca- 50S de taxa de variaeao uniforme e uniformemente diforme; para ele era uma questao facil achar a area de urn retangulo, urn triangulo ou urn trapezio, Por exemplo, afirmava que se urn corpo se move com velocidade uniformemente diforme (isto e, com taxa de variacao de velocidade uniforme), a partir do repouso em A na Figura 2, entao o grafico sera uma linha reta formando urn triangulo retangulo com a base AB (a linha de longitudes) e a ordenada (ou latitude) final Be. E, como a area do triangulo e a base multiplicada por 1/2 da altura, Oresme concluiu corretamente que a distancia percorrida pelo obieto neste caso e a mesma que percorreria urn outro corpo que se movesse pelo mesmo espaco de tempo com velocidade uniforme igual a DE, velocidade do primeiro objeto no ponto medic do intervalo de tempo.

Na Coleoio Matematica, de Papus (c. 320 d.Cj, encontramos uma proposicao expressa de modo desajeitado, mas que equivale Ii afirmacae de que 0 volume gerado pela rotac:iio de uma figura plana em torno de um eixo que nao a intercepta e igual ao produto da area do figura plana peia distiincia que seu centro de gravidade descreve durante 0 movimento. Papus sabia perfeitamente da importancia desse teorerna geral e de seu analogo, referente a superficies de revoiucao. o resultado inclui, como Papus notou, "os teoremas de todos os tipos sobre curvas, superficies e solidos, todos eles provados por uma unica demonstracao", Infelizmente, Papus nao nos infonnou como se prova 0 teorema, e assim nao sabemos se foi apenas descoberto ou tambem provado por ele proprio,

Papus foi 0 ultimo matematico importante da antigiiidade; depois dele, 0 nivel da matematica no mundo ocidental decaiu sistematicamente por quase urn milenio. A civilizacao romana foi em geral inospita para com a matematica. Nos seculos XII e XIII a Europa latina tornou-se receptiva Ii cultura classica, transmitida atraves do grego, arabe, hebreu, sirio e outras linguas, mas 0 nivel da matematica na Europa medieval permaneceu muito abaixo daquele do mundo grego antigo.

Todavia, uma certa originalidade engenhosa resultou nurn avanCo, no seculo XIV, numa direcao que havia sido evitada na antiguidade. A maternatica arquimediana, bern como a fisica arquimediana, fora essencialmente estatica; 0 estudo das mudancas dinamicas era considerado mais adequado a discussao filos6fica qualitativa do que a uma formulacao cientlfica quantitativa. Mas a argumentacao eseolastica nas universidades de Oxford e de Padua, no seculo XIV, provocou urn desvio na visao aristotelica de mudanca e variacao, Comecaram a ser levantadas pela intelectualidade questoes como: Se urn objeto se move com velocidade variavel, ate que ponto se movera num dado tempo? Se a temperatura de urn corpo varia de uma parte para outra, quanto calor h~ em todo 0 cor po? Reconhecem-se aqui precisamente as quest6es com que 0 calculo lida; mas os intelectuais do periodo medieval nao tin ham herdado da antiguidade nenhuma analise de variaveis matematica, Dai resultou que os sacerdotes das universidades inglesas, francesas e italianas desenvolveram por si pr6prios urn calculo 'integral primitivo.

S

A

D

, FIGURA [2]

B

9

Seu argumento era que a representacao de urn objeto em movimento durante 0 tempo AB com veiocidade DE sera 0 retangulo FGBA, e a distancia percorrida nesse caso sera dada pela area desse retangulo, que e igual a area do triangulo ABC. 0 que Oresme estava querendo dizer equivaie, obviamente, a afirmar que

T

S = f Kt dt = KP

o 2

nuscritas das representacoes graficas de Oresme contem fortes indicios do triangulo diferencial. Deve ter sido 6bvio na latitude de formas que a representacao de uma quantidade que crescia rapidarnente exigia que as latitudes crescessem rapidamente com relacao as longitudes; porem nenhum metodo sistematico ou terminologia para lidar com tais conceitos foi desenvolvido na antiguidade ou no periodo medieval.

o novo papel dos indivisfveis

urn resultado expresso inequivocamente (mas com base no mesmo tipo de racioclnio) por Galileu Galilei, dois seculos e meio mais tarde,

Tanto Oresme como Galileu estavam fazendo uso da antiga nocao de elementos geometricos, isto e, imaginavam as areas do triangu- 10 e do retangulo formados de segmentos de reta verticais em quantidade indefmidamente grande. Trata-se de uma visao semelhante aquela utilizada por Arquimedes em seu Metodo; e, embora esse tratado na~ fosse disponivel aquela eJXlC3, a ideia de que uma area podia ser formada por uma quantidade infinita de linhas geometricas era compartilhada pelos intelectuais medievais com escritores antigos e modernos.

Quanto ao outro aspecto do calculo integral antigo, 0 rigoroso metodo de exaustao, teve pouca aceitacao no periodo medieval. Mesmo durante 0 Renascimento, eram poucos os que emulavam a precisao logica da antiguidade em matematica. 0 que os geometras do inido da era modema buscavam era menos urn argumento do que urn metodo - nao urn argumento para estabelecer, acima de qualquer duvida, conclusoes que parecessem plausiveis, mas urn metodo que pudesse levar a novos resultados.

E importante notar, em relaeao aos estudos medievais de latitudes de formas, que nao havia nenhum conceito equivalente ao de diferenciacao. 0 principiante em calculo, hoje em dia, observando a representacao de Oresme, de inicio provavelmente imaginara a declividade da curva da velocidade-tempo como uma medida da aceleracao, a taxa de variacao da velocidade em relacao ao tempo, So mais tarde, provavelmente, ira pensar na area sob 0 grafico como uma medida de distancia, Hoje em dia, nos cursos de calculo, geralmente 0 conceito de derivada e apresentado primeiro, vindo depois a nocao de integral. Os textos que invertem os papeis e poem a integral antes da derivada tern, num certo sentido, a historia a seu lado, porquanto a integracao precede a diferenciacao em cerca de dois milenios. Mas e verdade que alguns dos trabalhos de Arquimedes relacionados com a tangente a espiral aproximam-se do calculo diferencial, e que c6pias ma-

o reaascimento em matematiea consistiu numa interacao intrincada das tradicoes medievais com ideias mais novas e mais antigas. Em particular a retomada de urn interesse amplo pelas obras de Arquimedes levou, no seculo XVII, a busca de atalhos que pudessem simplificar 0 calculo integral. A essa altura, 0 sedutor conceito de indivisivel em geometria teve urn papel importante.

Galileu tinha tido contato com esse conceito atraves das contribuicoeS"lnedievais a dinamica, e Johann Kepler (1571-1630), em seu conhecido tratado sobre medida de barris de vinho [10J, adotou os metodos mais eflcazes de Arquimedes. Porem, as integracoes de Galileu e Kepler foram eclipsadas por urn tratado escrito em 1635 por Bonaventura Cavalieri, discipulo do prjmeiro, intitulado Geometria indivisibilibus continuorum nova quadam ratione promota. Nesse livro os indivisiveis, ou infinitesimais fixos, eram aplicados corn tanto exito a problemas de mensuracao de areas e volumes, que 0 postulado fundamental; que geralmente recebe 0 nome de "teorema de Cavalieri", permanece intacto nos textos elementares ate os dias de hoje: Se dois 56- lidos (ou regioes planas) tem alturas iguais, e se sece6es paralelas as bases e a distdncias iguais delas estiio sempre numa dada razao, enttio os volumes (ou areas) dos solidos (ou regi6es) tambem estao nessa mesma razao. Este principio permitia a Cavalieri passar de uma estrita correspondencia de indivisiveis numa dada razao a conclusao de que todos esses indivisiveis (isto e, as figuras de dimensao maior) tambern estavam entre si nessa mesma razao, A ideia que estava por trois disso nao era reaJmente nova em 1635, pois estava essencialmente reIacionada ao metodo mecanico de Arquimedes e as integracoes graficas de Oresme e Galileu. Kepler tinha usado a ideia ao achar que a area da elipse,

x2 y2

- + - = 1,

, a2 b2

10

11

T .

I ktn dt = kTn+f

o n + 1

Embora este ultimo resultado ja fosse conhecido independentemente por outros matematicos como Gilles Persone de Roberval e Evangelista Torricelli (alem de Fermat), parece que Cavalieri foi 0 primeiro a publica-lo. Em outras palavras, 0 metodo dos indivisiveis nao era propriedade de Cavalieri. Estava sendo amplamente usado por homens que estavama par dos pensamentos matematicos da epoca.

Como seus contemporaneos, Cavalieri considerava seu metodo como uma parte da geometria, mas, enquanto ele estava escrevendo,

a Europa era varrida por uma revolucao analitica. '

algebra e geometria, visando fazer com que a maternatica viesse a ter os melhores aspectos de cada urn desses ramos, Aconteceu, porem, que a geometria acabou perdendo popularidade com a parceria ', A geo metria pura foi tao eclipsada, que pouco progresso fez no seculo e meio seguinte, durante 0 qual a analise infinitesimal entrou num processo de aritmetizacao que quase resultou numa revolucao,

Pode-se notar pronta e c1aramente essa mudanca de visao na Arithmetica infinitorum de John Wallis, publicada em 1655, cerca de vinte anos depois do classico de Cavalieri. Nesse tratado muito lido 0 autor incluiu sua propria abordagem caracteristica da integral de kx~, uma pro va sugerida pela geometria dos indivisiveis de Cavalieri mas levada a efeito por uma aritmetizacao nitida do calculo. Para mostrar, IX>r exemplo, que

e nab. Como as ordenadas dessa elipse estao, para as ordenadas correspondentes do circulo X2 + y2 = a2, na razao bfa, entao a area da elipse deve estar para no2 (area do circulo) na razao bla.

Cavalieri aplicou engenhosamente a ideia dos indivisiveis a uma variedade ampla de novos problemas. As "parabolas de ordem superior" de Pierre de Fermat, an-1 y = xn, foram introduzidas em maternatica exatamente IX>r volta da epoca em que Cavalieri estava desenvolvenda sua geometria dos indivisiveis. Em seus trabalhos posteriores, Cavalieri estendeu a integracao de Oresme de kt de modo a incluir a integral de ki«, enunciando 0 equivalente da conhecida formula

Descartes, Wallis e Fermat

I

Jx2dx =_1 03'

Wallis fOWlava a razao entre as somas dos quadrados de ordenadas igualmenie espac;adas sob a curva y = X2 e a soma dos quadrados das ordenadas cortespondentes sob y = I. Considerando-se so as ordenadas em x = 0 e x = I, a razao e

02 + J2 = _1 = _I + _1 .

p+p 2 3 6

Subdividindo-se 0 intervale entre x = 0 e x = I em duas partes iguais e imaginando-se cada parte como urn intervalo unitario, a razao entre as somas dos quadrados torna-se

02 + 12 + 22 5 I 1

---:------=-=- = _ = - + -.

22 + 22 + 22 12 3 12

As sementes da revolucao tinham side lancadas no Renascimento quando Regiomontanus (Johann Miiller), Francois Viete (tarnbem conhecido IX>r Francis ou Franciscus Vieta) e out~os viram que a algebra cada vez mais simbolica de seus dias - denvada, cunosamente, da algebra retorica dos arabes - prestava eficientes services a goometria. A consequencia 16giea dessas ideias foi a geometria analitiea de Fermat e Rene Descartes. La geometrie, de Descartes, publicada em 1637 somente dois anos ap6s a publicacao da Geometria indivisibilus de Cavalieri, mudou inevitavelmente 0 curso da analise infinitesimal.

'0 trabalho de Descartes (e 0 de Fermat) foi importante nao tanto pelo uso de coordenadas; coordenadas ja tin~ sido usadas ,com eficacia na antiguidade, especia1mente na geometna de Apolonio, e depois, de uma maneira mais primitiva, na latitude de formas de Oresme. Descartes viu como objetivo de seu trabalho a cooperacao entre

12

Dividindo-se 0 intervalo de x = 0 a x = 1 em tres subintervalos iguais e considerando-se cada urn deles como urn segmento unitario, a razao entre as somas dos quadrados e

02 + )2 + 22 + 32 _ 7 _ 1 I

-_ -- +-.

32+32+32+32 18 3 18

Para Wallis tornou-se evidente, atraves de inducao, que

02 + 12 + 22 + 32 + ... + n2 = _1 + _1_

n2 + n2 + n2 ~ n2 + , .. + n2 3 6n

13

T

I r-»

xr dx = --1'

o n +

o trabalho de Fermat, infelizmente nao pubJicado na epoca, leyOU ao apogeu os metodos de integracao iniciados por Eud6xio, dois milenios antes.

Mas Fermat, 0 maior dos amadores da matematica, foi 0 responsavel por urna contribuicao ainda mais significativa para 0 desenvolvimento do calculo, Literalmente, foi ele 0 inventor do processo hoje chamado "diferenciacao", Justamente durante os anos em que ele e Descartes estavam inventando a geometria analitica, Fermat descobriu urn metodo surpreendentemente simples de achar maximos e minimos de curvas polinomiais. Em termos da notacao cartesiana (a qual, todavia, Fermat rejeitou em favor da notacao de Viete, mais antiga), 0 metodo eo seguinte. Seja a ordenada da curva dada por 2x3 - 5x2 + 4x - 7, por exempl~. Entao, Dum ponto vizinho, de abscissa x + E, a ordenada sera 2 (x + £)3 - 5 (x + E)2 + 4(x + E) - 7. Agora, argumentava Fermat, num ponto de maximo ou de minimo a variacao da ordenada e virtualmente desprezivel, desde que a variacao E na abscissa seja pequena; dai impunha que os dois valores das ordenadas vizinhas fossem iguais entre si. 0 resultado, ap6s a transposicao dos termos, e

(6x2 - lOx + 4)E + (6x - 5)£2 + 2£3 = O .

./

Ap6s dividir por E e fazer E igual a 0 nos termos restantes (visto que

o valor de E deve ser indefinidamente pequeno para que a regra se apliquel, obtem-se a equacao 6x2 - lOx + 4 = O. A resolucao dessa equacao leva aos valores 1 e 2/3 como abscissas dos pontos criticos da curva. Esse procedimento de Fermat e, em essencia, 0 que se usa hoje no calculo quando se acha a derivada e impoe-se que scia igual a O. Certamente 0 uso de Ax ou h onde Fermat escrevia E e irrelevante; e embora se admita que Fermat na~ explicava precisamente por que fazia E igual a 0, tampouco seus sucessores 0 fizeram por dois seculos, Ha plena razao para se reconhecer, portanto, como Pierre Simon Laplace, que Fermat foi 0 inventor do calculo diferencial, assim como Eud6xio costuma ser reconhecido como 0 inventor do calculo integral.

Teria Fermat, que conhecia bern as regras de diferenciacao e integracso, pereebido a relacao entre e1as? Aparentemente sabia muito bern que no primeiro caso multiplicava-se 0 coeficiente pelo expoente e diminuia-se este ultimo de uma unidade, ao passo que no segundo caso aumentava-se 0 expoente de uma unidade e dividia-se 0 coeficiente pelo novo expoente. Estranhamente, parece que Fermat nao viu nada de significativo nesta notavel relacao reciproca, mas tampouco 0 viram seus contemporaneos, como Evangelista Torricelli, James Gregory ou Isaac Barrow. '

e que, conforme n cresce indefinidamente, esta razao aproxima-se carla vez mais de 113, de modo que para n = 00 a razao sera 113.

Fermat afirmou, acertadamente, que 0 metodo de inducao de Wallis era logicamente inadequado; nao obstante, as tendencias aritmetizantes de Wallis foram passos na direcao certa. 0 pr6prio Fermat caminhava na mesma direcao, tanto em sua invencao da geometria analitica quanto em suas contribuicoes ao calculo.

Seu metodo de integrar xn era 0 mais refinado entre os existentes na epoca, e esta mais proximo da integral de Riemann do que qualT

quer outro anterior ao seculo XIX. Para achar J x2dx

o

... t;~tut-

FIGURA [3]

por exemplo, Fermat erguia ordenadas a curva y = x2 nos pontos da Figura 3 cujas abscissas eram, respectivamente, T, ET, E2T, E3T, etc., onde E < I. Com essas coordenadas como alturas, formava uma sequencia de retangulos aproximando a area sob a curva, como se ve. A soma das areas desses retangulos e dada pela progressao geometrica infinita

TJO - E) (1 + E3 + E6 + E9 + ... ) =

= P (I - E) ( 1 ) = T3 .

1 - E3 I + E + E2

Ao fazer Ese aproximar cada vez mais de 1, as Iarguras dos retangulos tendem a 0, e a soma das areas dos retangulos tende a area sob a curva - T3/3. Por urn raciocinio semelhante Fermat mostrou que, para todos os valores racionais de n, exceto para n = - I,

14

15

Barrow, que foi professor de Isaac Newton, publicou uma regra de tangentes muito parecida com 0 metodo de maximos e minimos de Fermat, na qual a inter-relacao entre coeficientes e expoentes, mais uma vez, era clara. Dada uma curva como

trigonometria para seu estudo; mas a nova astronomia de Kepler, na qual 0 movimento dos planetas em 6rbitas elipticas nao e uniforme, exigia uma matematica superior. Perto do final do segundo terco do seculo XVII ja se contava com todas as regras necessarias para lidar com problemas de areas e taxas de variacao, de maximos e tangentes.

A epoca agora estava madura para se constituir, a partir da analise infinitesimal, 0 que hoje conhecemos como calculo. Nenhuma invencao nova especifica era necessaria, as tecnicas estavam a mao. 0 que faltava era urn sensa de universalidade das regras.

3x2y - 5xy3 - 7x + 6y = 0,

Barrow primeiro subtraia os membros desta equacao dos membros correspondentes da equacao obtida substituindo cada x por x + e e substituindo cada y por y + a. Na equacao resultante ele entao desprezava todos os termos de grau superior a I em a e em e. Da equacao assim obtida formava a razao

a _ - 6xy + 5y3 + 7

-- ,

e 3x2 - 15xy2 + 6

que ele sabia ser a inclinacao da tangente a curva no ponto (x, y). Nesta altura reconhece-se facilmente a regra familiar hoje expressa por dyldx = -ifjfy). Em sua Lectiones Opticae et Geometricae (1670), Barrow publicou nao apenas a regra de tangentes acima (que aparentemente havia discutido corn Newton), mas tambem regras para a reducao inversa de problemas de tangente (antiderivadas) a quadraturas (areas).

o metodo de Fermat para maximos e minimos e a regra de tangentes de Barrow nao foram de maneira nenhuma os unicos instrumentos e formulas inventados com referencia a esses topicos. Rene de Sluse e Johann Hudde, entre outros, perceberam 0 papel de coefidentes e expoentes na determinacao de tangentes e extremos de polinomios, e pode ser que Torricelli e Gregory tenham tido conhecimento da natureza reciproca dos problemas de tangentes e quadraturas. Esses resultados encontravam aplicacoes na ciencia daquele tempo - no principio de Fermat do tempo minimo na refracao da luz e na dinamica de Christiaan Huygens.

o eonceito de aceleracao, embora fosse do conhecimento de Oresme, so no seculo XVII veio a ter urn papel significativo em dinamica. Enquanto os matematicos gregos classicos tinham sido essencialmente estaticos em sua linguagem e eonceitos, os matematicos da "Idade dos Genios" procuraram orientar-se rnais no sentido de uma analise de variabilidade. Os logaritmos de John Napier (1550-1617) foram definidos mediante dois segmentos de reta variaveis, sendo que urn deles crescia aritmeticamente em relacao ao tempo, ao passo que o outro decrescia geometricamente. A astronomia de Nicolau Capernico, baseada no movimento circular uniforme, precisava apenas da

16

Newton e Leibniz

\

Quem primeiro percebeu isso foi Newton; em 1665-66, e depois, independentemente, Gottfried Wilhelm von Leibniz, em 1673-76.

Aos predecessores desses dois gigantes intelectuais as varias regras pareceram expedientes argutos de utilidade limitada. A maioria das regras, por exemplo, so se aplicava a problemas que envolviam polinomios ou aqueles que, por alguma transforrnacao 6bvia, podiam ser transpostos 'Para a 'forma polinomial. Em 1637 Descartes desejara lirnitar a geometria ao estudo das curvas algebricas, Mas, no final do seculo XVII, 0 interesse explosivo pela cicloide, pela catenaria e por outras curvas expressas por funcoes trigonometricas e logaritmicas eonferia respeitabilidade a uma gama de problemas muito mais ampla. As regras de Cavalieri, Fermat, Wallis e Barrow envolvendo aumento ou diminuicao de expoente nao pareciam aplicaveis a func5es transcendentes. Os matematicos do decenio 1666-1676 necessitayam imensamente de urn algoritmo geral aplicavel indistintamente a todas as funcoes, racionais ou irracionais, algebricas ou transcendentes. A resposta, fornecida por Newton, foi uma nova e geral analise infinitesimal.

A chave da nova analise estava na descoberta, realizada por Newton e Leibniz, da grande utilidade das expansoes em series infinitas. Newton eonsiderava tao importante esse aspecto de seu trabalho, que insistia em que fosse uma parte essencial da nova analise; por essa razao 0 teorema do binomio e tao frequentemente atribuido a ele.

o teorema era conhecido havia muito tempo para potencias inteiras, incluindo ate a regra de sucessao para os termos da expansao, Mas Newton foi 0 primeiro a aplica-la para 0 caso de expoentes fracionarios, em que a expansao e intermimivel. Atraves de uma expansao binomial infinita, Newton teve condicoes de chegar a quadraturas que seus predecessores nao tinham conseguido encontrar - por exem-

17

plo, a integracao de (x - X2)1I2, que Wallis procurara em vao. 0 metodo tambem podia ser aplicado para achar integrais (Newton as chamava de "fluentes") de funcoes transcendentes. Sabia-se havia muito tempo. que a area sob.a hiperbole, y = l/(l + x), tinha a conhecida propriedade dos logaritmos de que, conforme as abscissas crescem geometncamente, a area sob a curva decresce aritmeticamente. Newton percebeu que era possivel escrever In(1 + x) na forma de uma serie infinita. Expande-se simplesmente 11(1 + x) como

I - x + Xl - Xl + ... ,

usando-se 0 algoritmo da divisao ou a expansao de (1 + x) - I. Entao a cada termo da serie aplica-se a conhecida regra das quadraturas: au: mentar 0 expoente de uma unidade e dividir pelo novo expoente. 0 resultado e a serie

In (I + x) = x _ Xl + x3 _ x4 +

2 3 4 ... ,

geralmente conhecida como serie de Mercator, por ter sido publicada pela pnmeira vez em 1668, por Nicolau Mercator embora Newton

ja a conhecesse antes. '

Tambem Leibniz logo percebeu a importancia das series infinitas

e a igualdade '

Tr-l 1+1 1

4- -3 s-T+'"

e geralmente conhecida como serie de Leibniz. Mas esta e apenas urn caso especial da serie

se. Pois os raciocinios nele nao sao menos certos que na outra, nem as equacoes menos exatas ... Para concluir, podemos com [usteza considera-lo como uma parte da Analytic Art com a ajuda da qual areas e comprimentos, etc. de curvas podem ser determinados exata e geometricamente.

Em resumo, Newton aqui esta argumentando que os algoritmos matematicos que lidam com processos infinitos sao tao respeitaveis quanto aqueles que se aplicam a algebra ordinaria; se fosse preciso, nesse sentido, apontar urn unico ou primeiro inventor do calculo, a escolha recairia em Newton. Sua contribuicao nan e tanto uma lei para a diferenciacao ou para a integracao, ou mesmo a revelacao destas ~mo O~!~s inversas entre si; foi ? reconhecimento de que tudo ISSO constitui parte de uma nova analise - a aplicacao de processos infinitos ao estudo geral de funcoes de qualquer tipo.

Tambem com Leibniz, 0 elemento essencial em sua invencao do calculo, posterior mas independente, foi 0 reconhecimento, em 1676, de que estava construindo uma analise nova e universal. Nos primeiros artigos que publicou na Acta eruditorum de 1684 a 1686 Leibniz expos que seu novo metodo nao apresentava impedimentos para funcoes irracionais ou transcendentes.

Xl X5 7

arctgx = x - - + - - _!_ +

3 5 7 ... ,

formulada por James Gregory, 0 primeiro a publica-la em 1668. Ao que tudo indica Newton, por volta dessa mesrna epoca, ja desenvolvia funcees trigonometricas em series.

o primeiro livro de Newton a descrever seu calculo, De analysi per aequationes numero terminorum infinitas, foi escrito em 1669- mas s6 veio a ser publicado em 1711, devido a aversao do autor a con: troversias, Nele Newton descreve a extensao do uso da palavra "analise":

Portanto, visto que os algebristas anteriormente adotavam tetras ou numeros genericos para indicar quantidades procuradas, em tais problemas transcendentais adotei equaeoes genericas ou indefinidas [isto e, expansoes em series infinitas) para as linhas [funcoes] procuradas ... e dessa maneira 0 calculo analitico se estende aquelas linhas que ate aqui tinham sido excluidas tao-somente porque se acreditava que fossem inadequadas a ele.

E seja 0 que for que a analise comum realize por meio de equacoes co~ urn numero finito de termos ... este novo metoda pode semprerealizar 0 mesmo por intermedio de equacoes infinitas; de modo que nao tive nenhuma duvida em dar tambem a este 0 nome de Anali-

Da mesma forma como Descartes percebera que sua geornetria assinalava uma nova etapa no desenvolvimento da materia, Newton e Leibniz estavam cientes de que suas descobertas tin ham forjado uma nova analise, que ia muito alem da algebra ordinaria. Ao longo de todo 0 seculo XVIII, a distincao que Newton e Leibniz enfatizayam fixou-se em frases como "analise superior" e "analise sublime" para distinguir os processos inflnitos das regras da algebra ordinaria.

Estandartes distintivos representam urn auxiliar efetivo dos cruzados. Leibniz, em particular, deu muita atencao a questao das notacoes apropriadas. A medida de seu sucesso nesta materia e a sobrevivencia are nossos dias de sua linguagem e de seus simbolos. Quanto a isso, Newton foi mais hesitante em suas publicacoes (embora fizesse amplas experiencias em seus manuscritos), e pouco restou da

18

19

formulacao newtoniana. Urn manuscrito de Newton de outubro de 1666 da uma descricao completa de seu metodo "para resolver problemas por movimento", isto e, achar coisas como areas, tangentes e centros de gravidade de "linhas curvas", considerando a maneira como as coordenadas variam com 0 tempo /NEWTON: 15-64/. Aqui Newton usou p e q como simbolos das taxas de variacao ("velocidades") de x e y, respectivamente, mas mais tarde substituiu p e q pelas "letras ponteadas" i e y, e a palavra "velocidade" por "fluxo". Por essa razao sua analise tornou-se conhecida como "metodo dos fluxes". Em sua versao de 1666 para 0 calculo, Newton encontrou a inclinavao da curva

x3 - abx + 03 - cyy = 0

da seguinte maneira: Substituiu x por x + po e y por y + qo. Da equacao assim obtida subtraiu a equacao original, dividiu por 0, e desprezou todos os tennos que ainda continham 0 (visto que estes eram "infinitamente pequenos"], 0 resultado e

3pxx - abp - 2cqy = 0,

do qual facilmente se obtem que a razao qlp (que agora chamamos "inclinavao")e igual a 2cyf(3xx - ab). Em sua De quadratura, escrita em 1676 (mas so publicada em 1704), Newton evitava a frase "infinitamente pequeno". Primeiro determinava a razao qlp dos fluxos (ou yli) e entao fazia com que 0 desaparecesse, ou fosse "evanescente", para determinar assim 0 que chamava "primeira e ultima razoes" (0 que chamariamos "limite da razao") dos fluxos. Essa abordagem estava proxima do ponto de vista moderno; mas a forma do c.ilculo que Newton publicou nos Principia, em 1687, revertia as primeiras rudes ideias de incrementos "infinitamente pequenos" ou "momentos". Nessa forma seu calculo era tao semelhante ao de Leibniz, que se pode perdoar seus contemporaneos por confundirem os dois pontos de vista ..

Newton escreveu varias descricoes substanciais de seus metodos do calculo e publicou-as bern mais tarde. Leibniz, ao contrario, escreveu pouco mas publicou cedo, Limitou-se a alguns pequenos artigos, publicados na Acta eruditorum logo apos a fundacao desse jomal. Seu primeiro artigo foi publicado em 1684, tres anos antes da breve indicacAD (duas paginasl de Newton nos Principia. No primeiro artigo de Leibniz justificam-se as regras simples de diferenciaeao, de maneira rude e numa linguagem que lembra as quantidades infinitamente pequenas de Newton. Para achar a diferencial de xy, Leibniz substituiu x por x + dx e y por y + dy (onde dx e dy sao as diferenciais, ou diferencas infinitamente pequenas, de x e y). A diferenca

20

(x + dx) . fy + dy) - xy

representa entao a diferenca infinitamente pequena no produto, correspondente as diferencas infinitamente pequenas em x e y. Como 0 termo dx . dy era considerado infinitamente pequeno em proporcao aos outros termos da diferenca, Leibniz desprezou-o e escreveu:

d(xy) = xdy + ydx.

Desta formula da diferencial do produto Leibniz deduziu facilmente a diferencial de potencias inteiras de uma variavel como x at raves de uma inducao comecando com x . x, e formulas analogas para inversos e quocientes decorreram imediatamente. Se na formula do produto de ~bniz os dais membros fossem divididos por dx, 0 resultado seria a formula moderna para a derivada, em relacao a x, do produto xy, onde y e funcao de x; mas Leibniz nao raciocinava em termos de variaveis dependentes e independentes ou da derivada de uma em relacao a outra. Consequentemente, ha uma falta de precisao nesse raciocinio, que seus contemporaneos criticaram, embora admirassem o poder do novo metoda.

Linguagem, loqica, simbolismo

Newton e Leibniz nao foram os primeiros a usar metodos equivalentes a diferenciacao ou a integracao ou a perceher a relacao inversa entre elas, nem foram os primeiros a usar series infinitas. A contribuicao de ambos, Como ja dissemos antes, consistiu em reunir dispositivos de aplicabilidade limitada e desenvolver, a partir deles, metodos de alcance universal.

A compreensao do significado dessa situacao levou cada urn deles a desenvolver uma linguagem, uma logiea e urn simbolismo para a nova materia. Nenhum dos dois estava em condicoes de apresentar uma fundamentacao logica convincente, embora Newton certamente tenha chegado mais perto disso. A melhor tentativa de Newton figurou em Principia, onde ele descreveu sua ideia de "prirneira e ultima razoes". Usando, de modo urn tanto anacronico, notacoes modernas, podemos parafrasear a formulacao de Newton descrevendo Y como a ramo das quantidades "evanescentes" Ay e At. Com respeito a isso, Newton adverte: "Por razao ultima das quantidades evanescentes deve-se entender a razao das quantidades, nao antes de desaparecerem, nem depois, mas com as quais elas desaparecem", Ele chegou, aqui, extraordinariamente perto do conceito de limite; mas Newton nao at-

21

caneou plenamente esse conceito, pois continuou insistindo em descrev.er como. uma razao entr~ velocida~s 0 que vemos agora que e urn simples ~urnero real. Precisar 0 conceito de numero real foi contudo uma realizacao do final do seculo XIX. " . .0 calculo de Leibniz .era, do ponto de vista l6gico, nitidamente mfenor ao ~ Newton, ~1S nunea ~ranscendeu a visao de dyldx como urn quociente ~e vanaeoes ou diferencas infinitamente pequenas em y e ~. ~em Leibniz nem seus discipulos jamais deixaram claro 0 que quena d~r, e~a~ente, variacao infinitamente pequena; tambem nao conseguiram justificar 0 descarte de quantidades infinitamente pe9ue.nas ~m relacao a outras. Do ponto de vista 16gico, 0 calculo de Leibniz foi urn fracasso, mas heuristicamente foi urn sucesso retumbante.

. Parte desse sucesso resultou de uma visao da integral tao impre-

cisa quanto ados quocientes de difereneiais. Os fluentes de Newton analogos da !U~ma "integral indefinida", eram 0 que hoje chamaria: mos de antiderivadas em relacao ao tempo. IniciaImente Newton US?U urn pequeno quadrado como seu simbolo de integraeao [presuml~elmente porque percebia que a integral determinava uma area); mats tarde usou urn pequeno trace vertical sobre uma letra para indicar 0 fluente da quantidade, escrevendo y onde usariamos [ydt. Leibniz enfatizou 0 aspecto somat6rio da "integral", e tambem colaborou para fazer com que a propria palavra tivesse aceitacao, Porem, enquanto n6s pensamos em termos de urn limite de uma soma earacteristica de grandezas finitas, l.eibniz considerava uma soma de fato de quantidades infinitamente pequenas ou infinitesirnas. lsso explica 0 fato de Leibniz usar como simbolo de integracao (agora tarnbem usado por nos) uma forma aJongada em tipo antigo da letra S, inicial de summa ("soma'').

Alguns anos antes de Leibniz chegar a suas proprias formulaeoes Newton ja fizera varias descricoes de seus metodos. Nao obstante ~ maioria de seus contemporaneos aprendeu 0 calculo atraves de direrenciais, e nao de fluxos. Em 1672, quando Newton ja tinha condic;Oes de publiear De analyst, controversias sobre suas descobertas em optica levaram-no a protelar essa iniciativa. Assim mesmo a indicaeao e~ duas paginas de seus metodos analiticos em Principia, em 1687, fOI antecipada pelos dois artigos de Leibniz na Acta eruditorum em 1684 e 1686. 0 primeiro deles, em meia duzia de paginas dava a conhecer 0 calculo diferencial, com regras (sem provas) e a'plicacoes' 0 segundo descrevia 0 calculo integral. Embora esses artigos tenham'sido prejudicados por erros de impressao e exposicao insatisfatoria, sua grande importancia foi evidente para os matematicos suicos Jakob Bernoulli e seu irmao Johann.

22

Os irma~s Bernoulli uambem conhecidos como Jacques e Jean) tomaram-se discipulos fervorosos de Leibniz, e 0 mais novo escreveu textos de calculo diferenciai e integral. Entre os seguidores de Johann estava 0 rico marques de L'Hospitai, e presume-se que tenha sido por conta de urn acordo fmanceiro entre 0 marques e seu jovem tutor que se tenha deixado de lado a publicaeao dos textos de Johann Bernoulli para abrir caminho a do primeiro texto autentico de calculo em 1696 - Analyse des infiniment petits de L'Hospitai [14]. Dai e~ diante a disseminacao dos metodos leibnizianos foi realmente rapida,

o sucesso do calculo diferencial no continente deve ser atribuido em grande parte Ii capacidade de Leibniz para inspirar discipulos avidos, \ao passo que a indiferenca de Newton obstava a formacao de uma ,scola de seguidores. Alem disso, 0 trabalho de Leibniz aiustava-se mais Ii aritmetizacao da analise, ao passo que 0 de Newton muitas vezes se expressava na linguagem da geometria sintetica, Ademais as coneepcoes Ieibnizianas de calculo, embora mais distantes de um~ 1000ca frrme.do q~e as.de Newt~n, sugeriam melhor os caminhos em que os ~ntmos ~ cal~ulo podiam ser aplicados a problemas geometricos. e flsicos, A hist~a. ffi1: mat~matica parece mostrar aqui, como antenormen~e, que . uma. mS!stenCia prematura na precisao 16gica, a custa do raciocinio imagmatrvo e plausivel, pode ser contraproducente para 0 desenvolvimento da materia. Isto sera mostrado numa discussao posterior sobre a polemica do Analyst.

~ Newton tivesse levado adiante sua intencao de publicar De o.nalysl por volta de 1672, nao teria havido problemas quanto a priondade, pois aquela epoca Leibniz ainda nao descobrira a nova analise' mas 0 receio das criticas levou Newton a protelar a publicacao. Ore: sultado foi uma polemics sobre a prioridade, talvez mais amarga do que qualquer outra que 0 campo da matematica ja conheceu. A acrimania da disputa foi causada nao tanto por animosidade pessoal como !.'Dr ?rgulho nacio~, pois em torno de 1700 os partidarios das faccoes tm~am pereebido que estava em jogo 0 credito por urn ramo novo e umversal da matematica, e nao simplesmente urn metodo de tangentes novo ou urn algoritmo novo. Newton e Leibniz tinham percebido que series como

e

x3 x5 x7

x-T+T-T+· .. ,

X2 x3 X4

x-T+T-T+ .. ·

X2 x3 X4

x-T+T-g+ .. ·

23

A busca do rigor

nem quantidades finitas, nem quantidades infinitamente ~uenas, nem nada, Nao poderiamos chama-los de fantasmas de quantidades que se

foram?

Os argumentos no Analyst foram be~ escol~id~,. mas 0 desempenho dos matematicos britanicos foi i~ehz .. A m~bllidade dos oponentes de Berkeley para dar respostas satIsfat6nas evidentemente amorteceu 0 ardor britanieo pela nova analise, e 0 nivel dos resultados de

pesquisas tornou-se inferior ao do continente. . A • •

Em parte 0 nivel mais baixo da ami lise britanica pode ser at~-

buido tambem a uma persistencia da enf~ na sintese ~ na geometna e a desvantagem, muitas vezes supereshmada, envolvida na adocao das nota~ fluxiomirias em lugar dos simbolos nportunos d? ~~cu- 10 diferenctal e integral. De qualquer maneira, e~quanto os b;,ltamcos se afIigiam na busca do significado da palavra evanescente, E~ler, em particular, fazia da nova analise 0 assunto que conhecemos hOje-

o estudo dos processes infinitos. ,., . .'

Tambem no continente matemancos tiveram ~rn.o de ~ IO~Ule-

tar com relacao a validade dos metodos do ~lculo ~l~erencJal e integral. Bernard Nieuwentijt fazia obje~. as diferenc!alS de .ordem superior, e Michel Rolle suspeitou, no .IOIClO, . q!l~ 0 calculo hdava col? paraiogismos. Mas, conforme as crincas bn~lcas. tornavam-se mal.s veementes, as do continente iam aos poucos silenciando. Os pr_ocedtmentos algoritmicos produziam tantos resultados no~~ nas maos de Johann Bernoulli e Leonhard Euler, que os matemattcos relutavam

em questiona-Ios. , .

Em 1772, porem, Joseph Louis Lagrange, urn dos matematI.cos

mais argotos do seculo, experimentou uma explanacao alt~rn~tJva, que de urn certo modo retornava a ~I'!fase de !-,ewt~n e Leibniz em series infinitas. A maioria dos matemattcos senua-se a vontade expandindo (por divisao ou de algum outro modo) expressoes como por exemplo 11(1 + x) numa serie infinita - no caso a sene

1 - x + x2 - x3 + X4 - ••••

Lagrange sugeriu que 0 coeficiente do (n + l)-esimo termo n~a expansao, quando dividido por nt, deveria ser to~do como a d~vada enesima da funcio em x = O. (Para valores dlfere.n~ de .x - 0,. a expansao geral de Taylor serve para 0 mesmo proposito.) VIOte e CIOco anos mais tarde (1797) Lagrange fez dessa ideia 0 fundamente de seu tratado classieo Thearie desfonctions analytiques, do qual provem, em grande parte, a teoria moderna das funcoes de v.anavel real. ~ abordagem de Lagrange teve pouca repercussao e ~ats t<1;r~, fOI VISta como inadequada, mas de seu uso da frase fonction denvee resul-

25

podiam ser usadas para funcoes transcendentes exatamente tanto quanto para funcoes algebricas - para tg x.e 1n(1 + x), assim como para a ~unCao racional algebrica 2x/(2 + x), E natural, portanto, que 0 conceito de funcao viesse a ser atribuido geralmente a urn dos inventores do calculo, e essa distincao coube a Leibniz. Newton estava a par da ideia geral, e de fato 0 calculo de Newton destacava mais claramente que 0 de Leibniz a distincao entre variavel dependente e independente; rna's Leibniz foi a inspiracao do seculo XVIII devido a qualidade pedagogica de seu trabalho, tao distinta de sua quaIidade logica.

Entao, avidamente e sem espirito critico, matematieos da Europa Continental puseram-se a explorar as possibilidades inerentes as series de potencies infinitas. Esse movimento centrou-se no matematico suico Leonhard Euler, descendente intelectual de Leibniz atraves dos ensinamentos de Johann Bernoulli. Apropriadarnente, Euler veio a ser chamado "a encarnacao da analise", devido a seu trabalho ligado ao estudo de processos infinitos. Nas paginas de abertura de sua Introductio in analysis infinitorum (1748), Euler definiu uma funcao de uma varia vel como "qualquer expressao analitica formada de algoma maneira por essa quantidade variavel e ntimeros ou quantidades constantes", Euler nao deixa claro de inicio 0 que vern a ser uma "expressao analitica"; mas posteriormente, com relacao a variavel z, afirma que "nao M duvida de que toda funcao dessa variavet pode ser transformada numa expressao infinita da forma Aza + Bzl} + Czr + DZ6, etc.". Nesse ponto Euler nao chegou exatamente a visao modema de que uma serie como essa define uma funcao, mas seu tratado deixou claro 0 papel-chave que as series infinitas desempenham no estudo das funcoes.

Enquanto Euler e os matematicos do continente europeu avidamente acumulavam descobertas no campo da nova analise, com pouca preocupacao quanto aos fundamentos logicos, intelectuais britanicos empenhavam-se (com pouco sucesso) em defender 0 metodo dos fluxos das criticas devastadoras do fil6s0fo e teologo George Berkeley, publicadas em 1734 no Analyst. Defensores dos fluxos muitas vezes argumentaram que os incrementos nao desapareciam mas eram "evanescentes" e foi com respeito a isso que Berkeley escreveu estas celebres linhas ISTRUIK (c): 338/:

Eo que sao esses fluxes? As velocidades de incrementos evanescentes. Eo que sao esses mesmos incrementos evanescentes? Niio sao

24

tou a palavra moderna "derivada", e essencialmente e sua notacao que usamos ao escrever f' (x) ou[n (r).

A Escola Politecnica, onde Lagrange ensinou, revelou os maiores matematicos franceses do seculo XIX. Dentre eles nenhum foi tao influente ou prolifico quanto Augustin Louis Cauchy, a quem se deve principalmente a apresentacao moderna dos conceitos do calculo em nivel universitario. No seu Cours d'anaiyse de l'Ecole Polytechnique, de 1821, introduziu uma definicao aperfeicoada de limite: "Quando os valores sucessivos atribuidos a urna variavel aproximam-se indefinidamente de urn valor fixo, chegando a diferir dele tao IX>UCO quanto se deseje, este ultimo e chamado limite de todos os outros".

A luz da matematica contemporanea, essa definicao esta longe de ser aceitavel, pois nao deixa claros os papeis diferentes das variaveis dependente e independente; mas era adequada para os contemporanees de Cauchy. 0 autor prosseguiu definindo a derivada de uma funcao [(x) como 0 limite da ramo

fly [(x + Ax) - [(x)

- - ..:_____--,-----

Ax Ax

conforme Ax tende a zero. Enquanto a diferencial era a nocao basica no trabalho de Leibniz, agora a derivada passou a ser fundamental

- sendo a diferencial dy simplesmente 0 produto f' (x)Ax. Ademais, enqcanto no trabalho de Leibniz e, a fortiori, no de Newton a integral de [(x) era considerada em grande parte como urna antiderivada - isto e, outra funcao da qual [(x) e a derivada -, Cauchy enfatizava que a integral de [(x) e definida, independentemente da derivada, como 0 limite de urna soma caracteristica. Foi do ponto de vista de Cauchy que se desenvolveram as amplas generalizacoes modernas da integral,

Nao seria exato deixar a impressao de que Cauchy era 0 unico a desenvolver a fundamentacao do calculo no inicio do seculo XIX. Na eIX>C3 vivia na Boemia Bernhard Balzano, urn sacerdote, fil6s0fo e matematico que procurava aritmetizar a analise; e sua definicao de derivada era a mesma de Cauchy. Alern disso, Balzano e Cauchy chegaram, independentemente, a definicao de funcao contlnua, Segundo eles, uma funcao [(x) e continua num intervalo se para todo valor de x nesse intervalo a diferenca fix + Ax) - [(x) torna-se e permanece menor que qualquer quantidade dada, para Ax suficientemente pequeno.

As nocoes do calculo conforme foram apresentadas por Cauchy e Balzano aproximam-se bastante da forma como sao mostradas hoje num primeiro curso, mas, em sua exposicao, certas expressoes careciam de precisao, 0 que sao exatamente "valores sucessivos"? 0 que significa "aproximar-se indefinidamente" ou "tornar-se e permanecer"?

Eo que e uma quantidade "suficienternente pequena''? Com a crescente aritmetizacao da matematica, a medida que 0 seculo XIX avanca va, essas frases deram lugar, nas prelecoes de Karl Weierstrass, a elegancia e a precisao da definkao de limite via "epsilon-delta", e a ideia vaga de "aproximacao" foi substituida IX>r uma linguagem puramente numerica, Diz-se que L e urn limite da funeao [(x) para 0 valor x = a se, dado qualquer numero positivo E., existe urn numero positivo d tal que

I[(x) - L I < E.

26

para qualquer x que verifique 0 < I x - a I < d.

Deve-se notar que e a funeao que tern urn limite, e nao algo vago chaniado "variavel", A ideia geral de uma quantidade que depende de (ou varia com) outra quantidade pode ser encontrada no trabalho de Oresme, no seculo XN; e Leibniz usara a palavra "funcao", de certo modo, no sentido moderno. Por tras do trabalho de Newton estava, de maneira bern definida, a nocao de quantidade variavel com o tempo e, dai, de dependeneia mutua. A influente Introductio de Euler enfatizara uma "expressao analitica" na definicao de funcao, embora em outra associacao tivesse sugerido que qualquer curva desenhada a mao livre determinava uma relacao funcional.

Com a tendencia a aritmetizacao durante 0 seculo XIX, a nocao de correspondencia tomou-se dominante em analise; assim, P. G. Lejeune Dirichlet dizia que y e uma funcao de x se para cada valor de x corresponde urn ou mais valores de y. (Hoje, convencionalmente, omitem-se as palavras "ou mais" na definicao.l A aritmetizacao da funcao estabeleceu-se firmemente com 0 que, as vezes, se chama "teoria estatica weierstrassiana da variavel". Em outras palavras, uma variavel independente x nao "varia" no sentido usual do termo; e simplesmente urn conjunto de numeros - muitas vezes, em analise, 0 conjunto dos rnimeros reais -, hoje chamado "dominio" . Uma funcao [(x) da variavel independente x e simplesmente, entao, outro conjunto de numeros, agora conhecido como "Imagem", de modo que a todo valor de x corresponde exatamente urn unico valor de [(x).

Os ultimos anos do seculo XIX assistiram ao desenvolvimento da teoria dos conjuntos por Georg Cantor, e sua abordagem dos fundamentos da analise tornou-se desde entao caracteristica do seculo XX. Consequentemente, hoje a ideia de funcao e geralmente definida na linguagem rigorosamente nao ambigua de conjuntos: "Dados dois conjuntos de elementos, respectivamente denotados IX>r A e B, dizemos que B e funcao de A - ou que A e aplicado em B, A - B - quando para todo elemento de A M urn elemento corresponden-

27

CApSULA 1

ramos da fisica (estAtica e hidrodinamica). Tornou-se famoso por suas mvencees mecanicas, algumas delas utilizadas na defesa de Siracusa contra 0 ataque das tropas romanas comandadas por Marcelo. Segundo a lenda, Arquimedes foi morto por urn soldado romano durante a tomada da cidade enquanto estuclava urn diagrama geometrieo na areia.

Em seu trabalho sobre areas e volumes, desenvolveu tambem 0 metodo de exaustao, pelo qual aproxima-se a quantidade desejada pelas somas parciais de uma serie ou pelos termos de uma sequencia. Obteve aproximacoes da area de urn circulo comparando-a com as areas de poligonos regulares inscritos e circunscritos. Usando poligonos de noventa e seis lados, mostrou que a area de urn cireulo mantern para com 0 quadrado de seu raio uma ramo que se situa entre 3 10171 e 3 10170, numa estimativa de n notavelmente boa. Achou que a area de uma superficie esferica e 0 quadruple da area de seu circulo maior - resultado que Ihe possibilitou comparar esferas e cilindros. Este resulta~ foi comemorado em seu tumulo com a ornamentacao gravada de uma esfera inscrita num cilindro. Achou tambern volumes de esferas e de segmentos determinados pela interseceao de pianos com varias superficies quadricas,

o segredo das descobertas de Arquimedes veio parcia1mente a luz em 1906, com a redescoberta de urn tratado de sua autoria. Nesse trabalho, enviado a seu amigo Erat6stenes, ele explicava como tinha chegado a alguns de seus resultados (na verdade, quase efetuando integracoes em muitos casos importantes), para os quais depois buscava provas. Isto esta bern ilustrado no problema da quadratura da parabola, conforme mostra a Figura (1]-1.

u

te em Be quando nAD ha dois elementos distintos em B que correspondam ao mesmo elemento de A".

Para tornar 0 conceito ainda mais preciso, freqOentemente deftne-se a relacac funcional entre A e B como "0 conjunto dos pares ordenados (a, b), onde a e urn elemento de A e b e urn elemento de B, de sorte que se (r, p) = (r, q), entao p = q.

Com os aprimoramentos da nocao de funeao, 0 calculo estava fadado a sofrer ~lteracOes. A nocao de integral, por exemplo, modificouse t_anto, que ja nao se fala em "a" integral. Ha muitos tipos de integrais, formulados para cobrir os tipos cada vez mais amplos de funcoes que foram sendo considerados.

Se Eud6xio ressurgisse no seculo XX, certamente teria dificuldade em reconhecer esses descendentes do metodo de exaustao; mas ele

. . '

se sentma completamente a vontade com respeito pelo menos a um

aspecto da matematica de hoje. 0 empenho pela precisao de pensamento do qual surgiu 0 antigo caleulo integral encontra hoje urn correspondente na insistencia comparavel quanto ao rigor em analise. Eud6xio compartilharia 0 sentimento de orgulho sugerido pelo uso constante da expressao "0 calculo", que distingue essa materia dos calculos comuns, muitas vezes erroneamente considerados pelos leigos como seodo a preocupacao dos matematicos.

RODNEY T. HOOD

o

A antecipacao de Arquimedes ao calculo

Arquimedes de Siracusa (287-212 a.C} e considerado consensualmente 0 maior matematico da antiguidade. Superou todos os outros pel~ quantidade e dificuldade dos problemas de que tratou, pela originalidade de seus metodos e pelo rigor de suas demonstracoes, Interessava-se tanto pela matematica pura quanto pela aplicada e criou dois

28

"""'-_---'- __ ---'- ----==:!!Io., A

B 0

FIGURA [1]-1

M

Seja s a regiao limitada por uma parabola p e uma corda AB de ponto medic M. Seja t a tangente a p em A. Dos pontos B e M

29

tracam-se retas paralelas ao eixo, as quais interceptam t em DeE, respectivamente; suponhamos que ME intercepte p em C, ponto este chamado de venice de s. Por urn teorema anterior conhecido, Ceo ponto medic de ME. Seja fa reta que contem AC e indiquemos por F sua interseceao com BD.

Nesta altura Arquimedes compara 0 segmento parabolico scorn o triangulo ABD. Seja 0 urn ponto qualquer de AB. Suponhamos que a reta por 0 paralela ao eixo de p intercepte p, t e t nos pontos P, Q e R, respectivamente. Devido a outro teorema conhecido

OP: OQ = OB_: AB = RF: AF.

Neste ponto ele da urn passo engenhoso: considera t como uma alavanca, com fulcro em F, e toma 0 ponto T em t de maneira que F seja 0 ponto medic de A T. Em T ele "pendura" urn segmento UV, congruente a OP. Entao, da equacao acima:

UV: OQ = RF: AF = RF: TF, ou UV· TF = OQ . RF.

Assim 0 segmento UV, suspenso pelo seu ponto medic T, esta em equilibrio com 0 segmento OQ, suspenso pelo seu ponto medic R. Arquimedes imagina agora 0 triangulo ABD como a uniao de todos os segmentos como OQ, paralelos ao eixo. Cada urn deles tern urn segrnento correspondente OPcongruente a urn segmento UV, que se "pendura" em T. Desta forma ele concebe 0 triangulo em equilibrio com J) segmento parabolico s, que se imagina suspenso em T. Alem do mais, como se sabia previamente, pode-se considerar 0 triangulo suspenso pelo seu baricentro, que e 0 ponto G de t tal que FG = 113 FA = 1/3 FT. Portanto, S eo triangulo ABD tern areas cuja razao e 1:3. Finalmente, a area do triangulo ABD e 0 quadruple da area do triangulo ABC, e temos a descoberta de Arquimedes: a area do segmento parabolico e 4/3 da area do triangulo com a mesma base e o mesmo vertice,

Para demonstrar esse resultado. que depende tanto de uma intuicao brilhante, Arquimedes usa 0 metodo de exaustao [12]. Inscreve no segmento urn triangulo de mesma base e rnesmo vertice, A seguir, em cada urn dos segmentos parabolicos resultantes, inscreve igualmente urn triangulo, e continua a inscrever triangulos nos segmentos parabolicos resultantes em cada etapa. Prova entao que para cada triangu- 10 os dois triangulos construidos sobre seus lados tern uma area total que e 114 da area do triangulo dado. Dessa forma ele "exaure" 0 segmento parabolico, removendo sucessivamente esses triangulos inscritos. A area total pode ser aproximada por uma soma de areas que, agrupadas adequadamente, levam a uma progressao geometrica em

30

que carla termo, salvo 0 primeiro, e 114 do anterior. A soma de tal progressao geometrica e 4/3 do primeiro termo. Cuidadosamente, Arquimedes rnostra que a area do segmento parab61ico nao pode exceder 4/3 da area do primeiro triangulo inscrito e, da mesrna forma, que nso pode ser menor que esse valor. Assim ele chega a conclusao desejada e, evitando a armadilha dos infinitesimos e das operacoes com Iimites, atinge urn nivel de rigor insuperado ate 0 seculo XVIII.

Leituras suplementares

, ARQUIMEDES BOYER (a): 48-60 HEArn: 277-342

MESCHKOWSKI: 13-23

D. E. SMITH (a): II. 679·84

\

CApSULA 2

Simon Stevin

RALPH C. HUFFER

Houve urna lacuna de dezoito seculos entre Arquimedes eo proximomatematico a dar contribuicoes de monta Ii hidrostatica eli estatica dos s6lidos: Simon Stevin (1548-1620). Stevin desen volvia os principios da estatica enquanto Galileu Galilei (1564-1642) trabalhava com dinamica. Stevin e Galileu lancaram os fundament os da mecanica aplicada.

Urn dos problemas Que dariam fama a Stevin (levando-o a inventar um metodo encontrado ainda hoje em textos de calculol foi 0 de achar a forca total da agua sobre urn dique. Ate por volta de 1586 a unica maneira de enfrentar esse problema era 0 metodo de exaustao de Eudoxio - urn processo tedioso e dificil. Num esforco para achar uma solocao rnais simples, Stevin utilizou 0 fato, entao recentemente descoberto, de a pres sao ser independente da direcao, sob a superficie de urn liquido.

31

Ernbora nao tivesse utilizado notacao moderna, que se empregara aqui, a solucao de Stevin era equivalente fa que se segue. Considerou 0 dique com a forma de um quadrado, de lado unitario, corn um dos lados na superflcie da agua. Imaginou 0 quadrado dividido em faixas horizontais. (Inicialmente tratou do caso de 4 faixas; mais tarde discutiu 0 caso geral, em que 0 numero era n.)

A seguir supos que cada faixa sofresse uma rotacao de 90° em torno de seu lado superior ate ficar em !X)Sicao horizontal, sujeita ao peso da agua situada sabre e sustentada por ela. A faixa superior ficava na superficie e nao sustentava agua nenhuma; a segunda faixa ficava fa profundidade de lin abaixo da superficie e sustentava um volume de agua dado por 1 X lin X lin; a terceira, 1 X lin x 2In; e assim por diante, sendo que para a enesima esse volume era 1 x lIn x (n - l)/n. 0 peso total de agua sustentado (a forca sabre 0 dique) vinha a ser, assim, w (densidade da agua) multiplicada pelo volume total:

_Q_ + _1_ + _1_ + ... + n - 1 = _1_ (0 + 1 + 2 + ... + n - 1)

n2 n2 n2 n2 n2

CApSULA 3

RALPH C. HUFFER

= _1_ . .!!_ . (n - 1)

n2 2

1 1

2 2n

A fama de Johann Kepler (1571-1630) baseia-se nas tres leis que descrevem a rnovimento dos planetas em torno do Sol. Usando os dados sobre observacoes de planetas coletados por Tycho Brahe ao longo de toda a sua vida, Kepler descobriu essas leis empiricamente ap6s anos de calculos tediosos e ap6s diversas conjeturas engenhosas mas incorretas.

Embora 0 cMculo ainda nao estivesse bern desenvolvido antes da epoca de Newton, Kepler tinha sua propria versao, tosca mas eficaz, na qual os pontos de rigor refinados eram intencionalmente ignorados a fim de chegar as aplicacoes, que eram seu interesse principal. 0 calculo intuitivo de Kepler baseava-se no "principio da continuidade", pelo qual os casas-limite eram cobertos pelas definicoes gerais. Por exemplo, ele imaginava a area de urn circulo como a area de urn poligono inscrito formado de infinitos triangulos is6sceles com vertices no centro do circulo, alturas iguais aos raios e tendo como bases cordas infinitesimais do circulo (Fig. [3]-1). Mediante essa tecnica achou que a area do circulo e lf2 do produto do raio pela circunferencia. Em notacao moderna:

Depois Stevin repetiu esse raciocinio, mas girando cada faixa em torno de seu lado inferior. Isto fomeceu 112 + 1I2n.

Como a primeira rotacao movera cada faixa para uma posicao acima da original e a segunda rotaeao para uma posieao abaixo, a forca real sobre 0 quadrado seria intermediaria entre os dois resultados. o mecanismo estava assim em condieoes de considerar 0 que aconteceria ao se fazer 0 niimero de faixas aumentar, exatamente como se faz nos livros de ealculo hoje ern dia.

De nossa atual perspectiva, reconhecemos nesta solucao as propriedades essenciais de uma integral definida. E interessante observar que a data que se associa a solucao de Stevin (1586) situa-se exatamente cern aDOS antes da data em que Newton apresentou seus Principia a "Royal Society".

. 1 1 1

Area = - rCI + - rC2 + -2 rC3 + ...

2 2

1

= T r (CI + C2 + C3 + ... )

= + r (circunferencia).

BOYER (a): 99-104

SANFORD: 314-15

De modo semelhante Kepler imaginava a esfera composta de piramides com vertices no ~ntro da esfera e bases infinitesimais proximas da superflcie, obtendo assim 0 volume da esfera C?mo 113 do produto de seu raio pela Area de sua superficie esferica (FIg. [3]-2). Em notacao moderna:

Leituras suplementares

32

33

CApSULA 4

Bonaventura Cavalieri

HOWARD ALEXANDER

FIGURA [3]-1

FIGURA [3]-2

111

Volume = T rBI + T r~ + T rB3 + ---

~ 1

- T r (Bl + B2 + B3 + ---)

= + r (area da superficie esferical,

Todos nos sabemos que Euclides escreveu uma exposicao sistematica de geometria que dominou 0 ensino da materia desde entao. o que nem todos sabem e que Arquimedes, no seculo posterior a Euelides, antecipou muitos dos resultados e metodos do calculo. a trabalho de Arquimedes foi negligenciado ate a redescoberta do calculo no seculo XVII. Urn dos primeiros matematicos a reviver essas ideias foi Bonaventura Cavalieri (1598-1647). Sua nocao de "indivisivel", emprestada dos gregos, rnostrou-se inadequada para os propositos posteriores do calculo. Nao obstante, Cavalieri conseguiu obter areas limitadas por curvas como y = xm, onde meum inteiro positivo.

Em seu livro Geometria indivisibilus continuorum, publicado em 1635, Cavalieri afirmava que urn segmento de reta e formado por urn numero infinito de pontos, cada urn deles sem grandeza; uma area de urn numero infinite de segrnentos de reta, cada um deles sem largura; e urn volume de um numero infinito de Areas, cada uma delas sem espessura. Essas definicoes nao foram efetivamente usadas por Cavalieri em suas pesquisas. Por outro lado, Euclides usou muito pouco do quadro de definicoes com que abriu seu trabalho. Cavalieri. usou 0 termo "indivisiveis" para indicar os componentes em que imaginava que urn segrnento, urna area ou um volume se decompusessem. Na pratica, ele dividia uma area ou urn volume em urn mimero finito de porcoes n, e entao fazia n tender ao infinito. Nisto suas ideias anteciparam-se as que vieram a ser usadas muito rnais tarde.

a teorema, ou principio, de Cavalieri, que se encontra em sua Geometria de 1635, pode ser enunciado assim:

Ele tambem aplicou seu "principio da continuidade" a geometria elementar, tratando retas paraleias como duas retas cujo ponto de interseccao retrocedera ao infinito. Reconheceu a parabola como 0 caso-limite da elipse e da hiperbole em que urn dos focos retrocedera ao infinito - uma ideia positivamente natural quando essas curvas sao pensadas, a maneira dos gregos antigos, como seccoes de urn cone.

Imprimindo rotacoes a segrnentos de seceoes c6nicas em tomo de urn eixo de seu plano, Kepler conseguiu achar volumes de muitos s6lidos. Aparenternente foi levado a esse trabalho por urna discussao em tomo da maneira correta de calcular volumes de barris de vinho [10]. Sua solucao envolvia aproximacoes e seu principio dacontinuidade. 0 metodo mostrou-se muito adequado. Em particular, ele 0 usou para descobrir sua segunda lei (que 0 raio vetor do Sol a um planeta varre Areas iguais em tempos iguais) para achar a Area entre dois raios focais de uma elipse.

BOYER (a): 106-12 -- (b): 354-58 HOFMANN: 119-20

NEWMAN: 1.125-28 TURNBULL: 73-78

Dois s61idos tem mesmo volume se todo plano secante a eles, paralelo a um dodo plano, determtna seccoes de areas iguais.

Podernos ter urna ideia do significado do teorema se imaginarmoo duas pilhas de fichas, A e B, sobre uma mesa. Suponhamos que as fichas de A sejam circulares e que suas Areas sejam uma funcao

35

Leituras suplementares

34

f(h) da altura sobre a mesa. Admitamos que as fichas de B sejam quadradas e que s~ .~eas sejam ~ ~la mesma funcao f(h) da altura. Entao 0 pnncipio de Cavalieri afirma que as duas pilhas tern 0

m~mo volume. Note-se que as du~ pilhas podem ser completamente irregulares quanto ao contomo; ISSO nao afeta 0 teorema. Mais ainda, a forma das fichas e irrelevante; nao precisam ser circulos ou quadrados.

BOYER (b): 361·64

D. E. SMTIH (b): II, 605·9

STRUIK (e): 209-19

Embora a maternatica para ele fosse apenas urn passatempo, Fermat foi urn dos matematicos verdadeiramente grandes de todos os tempos. E. T. Bell chamou-o "principe dos amadores". Arthur Rosenthal afirma categoricamente nSf que ele foi "0 maior mate matico da primeira metade do seculo XVII, nao somente no geral mas particularmente no dominio do calculo", Esta- ultima afirmacao pode parecer estranha, uma vez que Newton e Leibniz geralmente sao considerados os inventores do calculo, e os trabalhos de Fermat nessa area so foram publicados pelo menos vinte anos ap6s sua morte. Mas, ja em 1629, Fermat havia desenvolvido 0 metodo que hoje e padrao no calculo pata resolver problemas de maximos e minimos de uma funcao, o metodo de Fermat e 0 seguinte: Suponhamos que se deseje achar os valores maximo e minima de uma expressaoj(A), usando-se a notacao funcional modema mas denotando-se a variavel por A, como fazia Fermat (que seguia Viete na pratica de indicar incognitas ou variaveis por vogais e ~uantidades conhecidas ou constantes por consoantes). Faeamos agora a substituicao de A por A + E. (Fermat pensava em E como uma incognita cujo valor era pequeno em relaeao a A.) Assumia entao que as quantidades f(A) e f(A + E) eram aproximadamente iguais, Na verdade, igualava-as (a ele nao importava que isso nao fosse verdadeiro - os fins justificariam os meiosl) e cancelava todos os termos possiveis de ambos os membros da equacao. Dividia entao os dois membros por E e desprezava todos os termos que ainda contivessem E. Em simbolos modemos, e usando 0 fato de que a equac4oj(A + E) = j(A) e equivatente af(A + E) - f(A) = 0, a tarefa acima pode ser abreviada por

Leituras suplementares

CApSULA 5

Pierre de Fermat

PAUL T. MIELKE

Pierre de Fermat, nascido em agosto de 1601 em Beaumontde-Lomagne, na Fran93, era filho de Dominique de Fermat, um mercador de couro, e Claire de Long, filha de uma familia de juristas parlamentares. Estudou em sua cidade natal e na Universidade de Toulouse, no sul da Franca. Seus trinta e quatro anos de vida profissiona1 foram dedicados a servir a Franca, Em 14 de maio de 1631 foi nomeado comissario de peticoes de Toulouse, e em 1648 foi promovido a conselheiro real do parlamento dessa cidade, funCio em que permaneceu par dezessete anos, are sua morte. Morreu em 12 de janeiro de 166S, em Castres, dois dias depois de desempenhar uma missao nessa cidade.

Pouco se sabe sobre a vida pessoal de Fermat, a nao ser que foi comedida e tranquila e que seu tempo de lazer, que parece ter sido grande, era dedicado ao estudo da matematica. No dia I? de junho de 1631 casou-se com Louise de Long, prima de sua mae. Desse casamento nasceram tres filhos e duas filhas,

36

[ f(A + E) - f(A)] = O.

E E~ 0

o aluno de calculo reconhece ai a condicao necessaria para que uma funcao diferenciavel tenha urn maximo ou urn minimo num intervalo aberto, ou seja, que a derivada da funcao seja nula.

Como urn primeiro exemplo da tecnica, Fermat escolheu 0 problema de expressar urn numero conhecido como soma de dois numeros cujo produto fosse 0 maior possivel. Seia B 0 numero conhecido e seja A uma pareela incognita, Seja entao j(A) = A(B - A) = AB - A 2. Procura-se urn maximo paraj(A). A receita de Fermat fornece

f(A + E) = (A + E) [B - (A + E)1

~ AB - A2 + EB - 2AE - £l

37

I(A + E) - I(A) = B - 2A - E E

Uma deficiencia final no metodo de Fermat apresenta-se na expressao f(A) = A 213, onde A e urn numero real qualquer. Esta expressao tern urn valor minimo em A = 0, mas a derivada de I(A) sequer existe nesse ponto e n40 e nula em ponto algum.

Nao seria justa acusar Fermat por essas imperfeicoes de seu metodo. Seu genio fica evidente no fato de ele saber tanto a respeito dos metodos do calculo, cinquenta e sete anos antes de sua invencao, Utilizou esse metoda para resolver muitos problemas uteis e interessantes, entre eles 0 de achar a tangente a urna curva num ponto. No decorrer de suas investigacoes, enunciou urna importante lei da fisica, hoje conhecida como "principio do tempo minimo de Fermat", ou seja, que urn raio de luz, para ir de urn ponto a outro do espaco, percorrent 0 caminho para 0 qual 0 tempo exigido seja minimo.

, [/(A + E) - I(A)] = B _ 2A.

E E~O

Fazendo-se esse resultado igual a 0, conclui-se que A deve ser escolhido igual a 1/2 B. Assim

e 0 valor maximo de f(A). Note-se que este procedimento nao prova realmente que 0 valor obtido para A maximiza I{A). E preciso algo mais, como bern sabe 0 aluno de calculo elementar, para estabelecer que 1/4 B2 e, de fato, 0 maximo neste caso. 0 metodo simplesmente determina os chamados pontos criticos da funcao, ou seja, os valores de A para os quais a derivada de I{A) se anula. Agora esta claro, a partir de seu trabaIho, que Fermat nao fazia distincao entre maximo e minimo, mas como ele limitava sua atencao a problemas que poderiamos chamar de "bem-comportados" ou "nao patoI6gicos", aparentemente deixou de descobrir que os pontos criticos nao sao necessariamente pontos de maximo ou de minimo, Como exemplo disso consideremos ~ expressao

/ Leituras suplementares

BELL (b): 56-72 BOYER (b): 367401 EVES: 329-31

[5~ ed. 297·99] ROSENTHAL

CApSULA 6

I(A) = 3A5 - 5A3.

o metodo de Fermat fornece tres pontos criticos: -1,0 e + 1.0 primeiro e urn ponto de maximo (relativo) e 0 terceiro urn ponto de mtnimo (relativo), mas 1(0) nao e nem urn maximo nem urn minimo de [(A). Finalmente, Fermat nao percebeu que sua condicao nern mesmo e necessaria para que urn maximo ou urn minimo ocorram num intervale fechado. Como exernplo disso consideremos 0 seguinte problema: Suponhamos que urn pedaco de arame de comprimento L seja cortado ern duas partes. Dobrernos uma das partes de modo a formar urn quadrado e a outra na forma de urn circulo. Determinemos agora onde 0 corte deveria ter sido feito para maximizar a area total das duas figuras. Este problema nao tern solueao, mas, admitindo-se a possibilidade de nao se cortar 0 ararne e de se enrola-lo inteiro em forma de circulo, entao esta e a resposta correta, embora a funcao area nao tenha derivada nula em seu ponto de maximo. Trata-se de urn ponto de maximo de fronteira.

John Wallis

AMY C. KING

John Wallis (1616-1703) foi urn dos rnais capazes, notaveis e originais matematicos de seus dias. Seu trabalho no campo da analise contribuiu muito para pavimentar 0 caminho das grandes descobertas de Isaac Newton. Durante as ferias de Natal, quando tinha quinze anos de idade, Wallis pegou 0 livro de Algebra do irmao e ficou ao mesmo tempo deliciado e intrigado com os simbolos estranhos que encontrou. Em pouco tempo conseguiu dominar 0 Jivro; essa experiencia marcou 0 inicio de urna carreira extremamente produtiva em rnatematica.

38

39

Seu !ractatus de sectionibus conicis (Tratado de seccoes conicas~, publicado em 1655, continha a primeira discussao a respeito das conicas como curvas de segundo grau e ajudou a tornar inteligivel a geometria analitica de Rene Descartes, nova (1637) mas de escrita obscura. Embora percebesse que 0 uso que fazia dos "indivisiveis" de Bonaventura Cavalieri era as vezes totalmente nAo ortodoxo Wallis quase que deu redeas livres a sua imaginacao e a sua intuica~ como

mostra 0 seguinte exemplo (Fig. f6J-l). '

Em sua Arithmetica infinitorum (1656), Wallis obteve outros resultados do calculo, e seus metodos eram agora mais aritmeticos e menos geometricos. Urn exemplo interessante e sua expressao para ni2:

2·2·4·4'6'6'8 .

1·3·3·5·5·7·7 '

que obteve por uma interpolacao sofisticada, mais ou menos como se segue. Ele sabia como achar as areas representadas em notacao moderna por

-----L._A __ --.,-00

r

I 1 I

I (1 - x2)O dx, I (1 - x2) dx, I (J - x2)2 dx ,

o I 0 0

e assim por diante, sendo essas areas iguais a 1, 2/3, 8/15, ... , respectivamente. Assim a area

~-----B---------~ FIGURA [6]-1

Wallis imaginava urn triangulo composto de urn mimero infinito de paralelogramos "muito estreitos", cujas areas (do venice a base d~ triangulo) formavam uma progressao aritmetica em que 0 era 0 pnmeiro termo e

1

I (J - X2)112 dx o

na Figura [6]-2 situa-se entre 1 e 2/3, uma vez que 0 expoente 112 est! entre 0 e 1.

(AIOJ) . B

era 0 ultimo - ja que 0 ultimo paralelogramo (ao longo da base B do triangulol tinha altura AI OJ e base B. A area do triangulo e a soma da progressao aritmetica

O + + A B (n? de termos) ( " "I .

••• OJ' = 2 . pnmeiro + u timo termo)

o

=; .(O+~ 'B)

=~·_4_·B 2 OJ

= __ 1 .A.B

2 .

o simbolo OJ para infinito visto acima foi usado pela primeira vez nesse trabalho de Wallis.

40

FIGURA [6]-2

Mas esta ultima integral representa 114 da area do circulo unitsrio; portanto nl4 esta entre 1 e 213. E, por urn processo compIicado, Wallis finalmente deduziu a expressao acima para 1£12. Wallis nao sabia como expandir (1 ~ X2)1I2 numa sene binomial, mas 0 exemplo mostra que ele foi urn dos primeiros a aceitar expoentes fracionarios, e esteve a apenas urn passo de conseguir representar graficamente os

numeros complexes. -

41

BOYER (a): 168-74 -- (b): 415·21 KING e READ: 35·38

D. E. SMITH (b): I, 46·54, 217-23

STRUlK (c): 244·53

nacao de tangentes a curvas pelo USQ do "triangulo diferencial", as vezes chamado "triangulo de Barrow">

Para construir a tangente t a curva no ponto P (Fig. [7]-1), Barrow determinava urn outro ponto Tern t do seguinte modo: Seja Q urn ponto da curva; entao, como P e Q sao pontos vizinhos, APTM e APQR sao praticamente semelhantes, em especial quando 0 triangu- 10 menor toma -se infinitamente pequeno, de modo que podemos escrever

Leituras supiementares

CApSULA 7

(1)

RPIQR = MPlTM

ELINOR B. FLAGG

Isaac Barrow

No inicio da vida escolar de Isaac Barrow (1630·1677), parecia pouco provavel que ele pudesse vir a dar contribuicoes significativas ao mundo academico, Em sua primeira escoia, em Chaterhouse, era tao irrequieto e briguento, que alguem ouviu seu pai rezar para que, se Deus resolvesse levar-lhe urn filho, que esse filho fosse Isaac. Era o mesmo Isaac que, anos mais tarde, seria reconhecido como mentor de outro Isaac, seu pupilo Isaac Newton, em cujo espiritc plantou a semente da qual brotaria a calculo deste ultimo.

Depois de deixar Chaterhouse, Barrow passou a estudar em Felstead, Essex, onde se aplicou com tanto empenho que aos quatorze anos de idade foi adrnitido no Trinity College, em Cambridge. Graduou-se quatro anos mais tarde (1648) e urn ano depois tomou-sefellow" do pr6prio Trinity College. Em 1663 tomou-se 0 primeiro Lucasian professor": de Cambridge, mas apenas seis anos mais tarde renunciou a sua cadeira, por iniciativa propria, em favor de seu pupilo Isaac Newton, cuja capacidade superior reconhecia de boa vontade.

Quando Barrow estava escrevendo suas Lectures on Optics and Geometry (1669), recorreu a ajuda de Newton (provavelmente a respeito do material sobre optical. Newton, por sua vez, beneficiou-se das partes das Lectures referentes a novas maneiras de determinar areas e tangentes a curvas. Extremamente significativo para os desenvolvimentos posteriores do calculo foi 0 metodo de Barrow para determi-

x

FIGURA [7]-1

(aproximadamente). Indicando as coordenadas de P e Q por (x, y) e (x ~ e, y ~ a), substituindo esses valores na equacao da curva dada e desprezando os termos envolvendo potencias de a e e de expoentes maiores que 1, podemos achar a razao ale. Como Meum ponto conhecido, podemos agora achar T (sobre 0 eixo x) usando 0 comprimento do segmento TM, dado por y(ale) - consequencia direta de (I).

Apliquemoso metodo de Barrow a parabola y2 = 4x mostrada na Figura [7]-1. Como Q esta na curva, suas coordenadas satisfazem a equacao; dai

(y ~ a)2 = 4 (x - e)

a2 ~ 2ay + y2 = 4x ~ 4e.

Mas

y2 = 4x;

logo,

a2 ~ 2ay = ~4e.

Agora, se a e suficientemente proximo de zero (digamos, a = 0,01), podemos desprezar 0 termo a2 e obtemos

, ~2ay = ~4e

• Estudante graduado corn bolsa para pesquisa. (N.T.)

.. Professor da cadeira criada por Henry Lucas (1610·1633). (N.T.)

42

43

ou

a=1._

e y

Em particular, se P e 0 pon to (1, 2) de y2 = 4x, entao TM tern comprimento 2 e T e (- I, 0). PT e a reta tangente desejada.

LO aspecto significativo do metodo de Barrow para 0 desenvolvimento posterior do calculo nao foi a construcao efetiva da reta tangente, mas antes a razao ale. Se aplicamos 0 calculo elementar ao exemplo acima obtemos dyldx = 21y como derivada de y2 = 4x - 0 mesrna resultado fornecido pelo quociente ale de Barrow. Com efeito, se Barrow tivesse dividido por e e depois desprezado termos, seu metoda seria quase identico a sequencia de passes que frequentemente seguimos ao aplicar a definieao moderna de derivada. Isso pode ser visto facilmente fazendo-se Ax = -e e Ay = -a no procedimento de Barrow.

Embora Barrow tenha conseguido achar derivadas (como dizemas hoje), para muitas equacoes especificas, seu metoda carecia nitidamente de urna fundamentacao 16gica. Coube a Newton e outros lancar esses fundamentos (incluindo especialmente a teoria dos limites por Cauchy e outros) e criar urn simbolismo apropriado.

BALL: 309-12 BOYER (a): 181·86 -- (b): 424-26 EVES: 333·35

[5." ed. 3()(}'302] ./

MIDONICK: 106-15 STRUIK (c): 253-63

hist6ria genea16gica da familia Brunswick, a cujo service passou os ultimos quarenta anos de sua vida junto a corte de Hanover. Quando 0 duque de Hanover se tomou George I, primeiro rei alemao cia Inglaterra, Leibniz foi relegado ao esquecimento e morreu dois anos depois. Diz-se que 0 funeral s6 foi acompanhado por seu fiel secretario.

o interesse de Leibniz pela matematica resultou de urna missao diplornatica a Paris em 1672. Na ocasiao, ele teve a imensa felicidade de travar relacoes com Christiaan Huygens, que 0 presenteou com uma c6pia de seu trabalho sobre a oscilacao do pendulo e iniciou 0 jovem e talentoso diplomata (que ja tinha escrito urn pouco sobre analise combinat6ria e mecanica) na carreira da matematica. Huygens concordou satisfeito em dar aulas a Leibniz, que comecou estudando os trabalhos de Barrow, Cavalieri, Pascal, Descartes e outros.

Leibniz contava que fora ao ler Pascal que percebera subitamente que a tangente a (ou inclinacao de) uma dada curva podia ser encontrada forrnando-se a razao entre as diferencas das ordenadas e das abscissas de dois pont os vizinhos da curva, conforme essas diferencas se tornassem cada vez menores. Notou ainda que a quadratura da (area sob) curva podia ser tomada como a soma das ordenadas ou de uma infinidade de retangulos estreitos. E, a que e mais significativo, observou que esses dois proeessos de "diferencar" e somar (isto e, diferenciar e integrar) eram inversos urn do outro.

Num manuscrito datado de 29 de outubro de 1675, Leibniz obteve 0 que chamou urn "triangulo caracteristico" (ver Fig. [8]-1),

Leituras suplementares

Leibniz

y

CApSULA 8

AMY C. KING

y

FIGURA [8J·1 FIGURA [8]·2

ideia anteriormente utilizada por Barrow e Pascal7l..eibniz procedeu basicamente da seguinte maneira: ita = ply (provavelmente Leibniz irnaginava esses segmentos como lados, num sentido intuitivo e aproximado, de triangulos semelhantes). Dai ret· pa = ret . yl. Somando esses retangulos, Leibniz escreveu primeiro, na notacao de Cavalieri,

45

Gottfried Wilhelm van Leibniz (1646-1716) foi urn genic versatil que aplicou suas energias Ii matematica, a l6gica, a filosofia, a teologia, as leis, a economia, Ii linguistica e a hist6ria - inclusive uma

44

Em visita a Londres em 1673, Leibniz iniciou-se no metodo das series infinitas, e as seguintes series tern seu nome (ernbora, ao que parece, a prioridade da descoberta pertenca a James Gregory).

...!!...=I __ 1 +_1 __ 1 +

4 3 5 7 ... ,

te momento era denotado por xo (isto e, (dxldt) (dt) ou dx, como escreveriamos).

Newton fazia entao 0 seguinte comentario sobre a razao jo/io: "Os momentos de quantidades que fluem [ou fluentes] estao entre si como as velocidades dos fluentes ou crescimentos [isto e, yolxo = ylx1" - urna afirmacao que agora escrevemos dyldx = (dyldt) (dxldt).

o seguinte exemplo, tirado de Method of Fluxions de Newton (escrito em 1671 mas s6 publicado em 1736), ilustrara 0 uso que se fazia de fluxos e momentos. Transcreveremos /D. E. SMITH (a): II, 693-941. com excecao do exemplo, que substituimos por outro mais simples:

arctg x = x _ £ + XS _ x7 +

3 5 7 ....

Deve-se a Leibniz 0 conheeido teste da serie altemada usado no inicio do calculo.

BALL (b): 353-65 BELL (b): 117-30 BOYER (a): 187-223 -- (b): 437-45 KING e READ: 33-35

MESCHKQWSKI: 47·59

D. E. SMITH (b): I, 173-81, 229-31, 267-70; II. 619·26 STRUIK (c): 270-84

Se 0 momento de x e representado pelo produto de sua celeridade x por uma quantidade indefinidamente pequena 0 (isto e, xO), 0 momento de y sera Yo, pois Xo e Yo estao entre si como x esta para y. Mas, visto que os momentos como XO e yo sao as acessoes indefinidamente pequenas das quantidades fluentes x e y, pelas quais essas quantidades sao aumentadas . atraves de diversos intervalos de tempo indefinidamente pequenos, segue-se que essas quantidades, x e y, apos qualquer intervalo

de tempo indefmidamente pequeno, tornam-se x + Xo e y + Yo. Portanto, a equacao que em todos os instantes expressa indiferentemente a relacan entre as quantidades fluentes expressara tambem a relacao entre

x + Xo e y + Yo como entre x e y; de modo que x + xo e y + Yo podem substituir essas quantidades na mesma equacao em lugar de x e y.

Portanto, seia dada uma equacao qualquer

xy-a=O

efacamosa substituicao de xpor x + ioe deypor y + Yo, do que resultara xy + xYo + xoy + ioYo - a = O.

Mas, por hip6tese,

Leituras suplementares

CApSULA 9

Notacao de Newton versus notacao de Leibniz

ROBERT H. DYKSTRA

xy - a = 0,

que, portanto, sendo eliminada e os termos remanescentes sendo divididos por 0,

48

yx + xy + xyo = O.

Mas, como se supOe 0 infinitamente pequeno para que possa representar momentos de quantidades, os termos que estao multiplicados por ele nada serao em relacao ao resto. Portanto descarto-os e resta:

xy+yx=O

Leibniz desenvolveu (c. 1675) sua notacao diferencial e aplicou-a para aebar difereneiais de expressoes como xy. 0 uso que fazia de di-

49

Isaac Newton entendia que as quantidades geometricas sao geradas por movimentos continuos; assim, por exemplo, urn ponto m6vel gera uma reta. A quantidade, x, assim gerada era ebamada por ele de "fluente"; a sua taxa de variacao, que indicava por x (isto e, dxldt em notacao moderna), Newton dava 0 nome de "fluxo" de x. Alem disso, 0 pequeno incremento que urn fluente, x, sofre num pequeno intervalo de tempo, 0, era denominado por eie "memento" do fluente; e es-

ferenciais (do latim differentia, que significa "diferenca") fica ilustrado de maneira precisa no seguinte excerto de uma carta que escreveu a John Wallis em 1699 fD. E. SMITH (a): II, 696-97/:

cAp S U LA 10

E importante considerar quantidades infinitamente pequenas tais que, quando se procura sua razao, elas possam ser consideradas nao nulas, mas que sejam despreziveis sempre que aparecem com quantidades incomparavelmente maiores. Assim, quando temos x + dx, dx e desprezada. Mas e diferente se procuramos a diferenca entre x + dx ex, pois entao as quantidades finitas desaparecem. Do mesmo modo nao podemos ter xdx e dxdx mantidas juntas. Dai, se precisamos diferenciar xy, escrevemos

Volumes de harris

SAMUELJ.BRANNAN

(x + dx) (y + dy) - xy = xdy + ydx + dxdy

Mas nessa altura dxdy deve ser rejeitada por ser incomparavelmente menor que xdy + ydx. Assim em qualquer caso particular 0 erro e menor que qualquer quantidade finita.

'Para 0 fluxo .i de Newton, Leibdiz escrevia dxd (ou ainda dx : dt e

dx ad dt). t

Para 0 que chamamos agora integral de y, Newton escrevia y ou o ou [y]. Leibniz escrevia a mesma integral como fy e, urn pouey

mais tarde, como Iydx. 0 sinal I, uma forma antiga da letra S, representava somas que tanto Newton como Leibniz sabiam suscetiveis de serem efetuadas por antidiferenciacao (0 metodo das "tangentes inversas", como era entao chamado).

Embora Leibniz percebesse a irnportancia da base teorica do calculo, nao deu a ela 0 mesmo cuidado que se encontra no trabalho de Newton. Uma das principais preocupacoes de Leibniz era uma boa notacao, e foi feliz em desenvolver a notacao do calculo Que usamos hoje, ignorada pelos ingleses durante meio seculo, devido a sua lea1dade a Newton e a sua antipatia por Leibniz. A guinada ocorreu -em 1810 com a criacao da Analytical Society, seguindo-se ao ingresso de Charles Babbage na Universidade de Cambridge. A Sociedade reconhecia as vantagens da notacao dx de Leibniz sobre a notacao .i de Newton e, como disse Babbage, defendia "os principios do puro d-ismo em oposicao a notacao pontual da universidade".

Johann Kepler (1571-1630), alem de trabalhar em astronomia e em varies campos da matematica, fez urn estudo extenso de volumes de diversos s6lidos de revolucao, Por ocasiao de seu segundo casamento ele teve motivos para se interessar por metodos de medieao de vo-

, .

lumes de barris de vinho e, conseqiientemente, veio a se mteressar

por outros volumes de revolucao, Seu trabalho a respeito da materia, Stereometria doliorum vinorum tGeometria solida dos barris de vinho), publicado em 1615, incluia 0 estud~ de volumes de s6lid~ obtidos girando-se segmentos de seccoes conicas em torno de urn eixo de seu plano. Kepler considerava 0 volume desses s6lidos como a soma de numerosas camadas finas, cada uma com a forma de urn disco cilindrico,

/Otto Toeplitz 182-831 refere-se a compra do vinho do casamento por Kepler. 0 mercador media 0 volume de urn barril (ver Fig. [10}-1) introduzindo uma regua no escoadouro Sate alcancar 0 tampo em D. 0 mercador usava 0 comprimento SD = d para calcular 0 preco. Kepler percebeu Que urn barril alto e estreito podia ter a mesma medida d de urn barril largo, e dai 0 preco seria 0 mesmo, embora seu volume fosse bern menor.

BOYER (a): 187·223 CAJORI (a): II, 180-206

SCHRADER

D. E. SMITH (a): II, 693-94

, , ,

, ,

s

, ,

, ,

Lelturas suplementares

- S

_ ... - - ..... -

.... -~ ....

FIGURA [101·1

50

51

me com (7). Mesmo que a forma d~ barril ~ desvi~ urn pouco des-

sa proporcao, 0 metoda de usar d ainda assll~ podena ser empregad?, pois, como eJe mostrou, proximo ~e seu maximo u~ f~?cao .00 v"ana lentamente. (Ho)e ~tariamos mais propensos..a d~r, pr~xlmo de urn maximo ordinario a taxa de variacao esta ~UltO perto de zero.) .:

Esse uso intuitivo e nao formal do concerto de denvada teve uma formulacao mais explicita alguns anos mais tarde (162~), com Fermat cujo metodo aproximava-se bastante dos procedimentos atuais Para achar maximos e minimos ordinaries, a tal ponto que alguns dos textos atuais 0 denominam "metodo de Fermat".

Com 0 tempo, outros estudaram 0 problema de achar volumes de barris de vinho e metodos de precisao razoavel se desenvolveram com essa finalidade. Med)r os volumes de todas as formas diferentes de cascos tornou-se como que uma arte.

Nicolas Pike (c. 1790) forneceu um metodo muito completo e detalhado flEA VITI : 214-15/:

Assumindo que 0 barril fosse aproximadamente urn cilindro, tomando a medida d, 0 raio r da base e a altura h, Kepler aproximou seu volume V do seguinte modo:

Devido ao teorema pitagorico

dl = ( ; r + (2r)2

e dai

r2 = dl -!!3_

4 16 .

o volume e dado por

(5)

V = n(!!!:_ - !!3_)h

4 16

V = ruf2 h - ____!!__ h 3

4 16'

h=_2_d V'J

Regra. - Tome em polegadas as dimensoes do barril, isto e, ~o diametro junto ao baroque, do diametro do tampo e da altura; subtraia

o diametro do tampa do diametro junto ao batoque,

, Se entre 0 batoque e 0 tampa as aduelas do casco forem muito

encurvadas ou bojudas, multiplique a diferenea entre os di4metros do batoque e do tampo por 0,7; se nao forem tao encurvadas, par 0,65; se forem menos encurvadas ainda, por 0,6; e se forem quase ou eompletamente retas, por 0,55; some 0 produto ao diametro. do tam~;. a soma sera urn diametro medic, pelo qual 0 barril se reduzira a urn cihndro.

Eleve ao quadrado 0 diametro medio assim encontrado e multiplique-o pela altura; para vinho divida 0 produto por 294, para cerveja por 359, eo quociente sent 0 conteudo em galoes,

Pike notou que, como 231 polegadas cubicas correspondem a urn galao de vinho, a regra acima fornece 0 volume de vinho em galOes porque, para urn cilindro,

V = 1[( ~ r f polegadas cubicas

= (n/4) dlt galOes de vinho 231

Agora, para valores fixos de r, Kepler desejava saber que valor~e h darla 0 maior volume V, e mostrou que a condicao para que isso aeonteca e dada por 3h2 = 4cf2.

Hoje maximizariamos V diferenciando (5) e impondo que 0 resultado fosse igual a zero, obtendo assim 3h2 = 4d2:

dV = nd2 ~ 3n h2 = 0

dh 4 16 .

Dai

(7)

4cf2 - 3h2 = 0 ou ..!!_ = _2_

d V'J'

e

eo valor de h que maximiza V.

Kepler, naturalmente, nao dispunha do conceito de derivada (que, pelo menos na forma acima, foi inventado posteriormente), mas observou que 0 metodo de usar d para calcular 0 PTeCO do vinho era valido para barris austriacos, pois a forma deles era bastante confer-

52

=

d2f "'" dlf galOes de vinho,

231 294

(tt/4)

53

onde de 0 diametro medic e t e a altura do barril. Para cerveja, os numeros 231 e 294 acima devem ser substituidos por 282 e 359, respectivamente. Pike sugeriu tambem que se fizessem os devidos descontos em virtude da espessura da madeira do casco.

Como exemplo do metodo de Pike, damos 0 seguinte problema e as respostas:

Qual 0 conteudo em galees de vinho ou cerveja de urn barril cujas aduelas sao bastante encurvadas, se 0 diametro junto ao batoque mede 35 polegadas, 0 diametro do tampo mede 27 polegadas e a altura mede 45 polegadas?

CApSULA 11

Diferencas finitas

MELCHER FOBES

LEAVIT: 214-15 STRUIK (c): 192-97

TOEPLITZ: 82-83

Brook Taylor (1685-1731) criou 0 "calculo de diferencas finitas" e publicou os resultados em seu Methodus incrementorum directa et inversa (1715), que tambem inclui 0 teorema de Taylor sobre series, conhecido por todos os estudantes de calculo [17). Nesse livro, Taylor extraiu muitas analogias entre seu novo calculo finito e 0 calcu- 10 (infinitesimal) ordinario, e, aplicando seu novo calculo ao problema da vibracao transversal de cordas, foi 0 primeiro a conseguir reduzir 0 problema a principios mecanicos.

Mas a mais antiga elaboracao real de diferencas finitas foi dada por James Stirling (1692-1770), que inclusive, vinte e cinco anos antes de Maclaurin, chegou a chamada expansao de Maclaurin - naturalmente, apenas urn caso particular do teorema de Taylor. E p~o~avel que Stirling seja mais conhecido peia chamada formula de Stirling, devida a Abraham De Moivre (1667 -17 54), que da uma aproxirnacao de n! por

Ji;m (nil) (e-II).

Em seu Methodus differentia/is (1730), Stirling aplicou seu calculo de diferencas finitas a series e a interpolacao, e introduziu os nurneros de Stirling, ainda importantes na teoria. Embora nao esteja entre os grandes maternaticos, Stirling foi urn dos homens mais interessantes e versateis dos primordios do calculo. Aos vinte e dois anos de idade foi expulso da Universidade de Oxford devido as suas eonviccoes politicas, mudando-se en tao para Veneza. Nessa cidade, estudou e ensinou durante dez anos, ate ser obrigado a voltar as pressas para a Ingiaterra. Ele havia descoberto alguns dos segredos comerciais dos 80- pradores de vidro venezianos e temia ser assassinado. Pelo resto da vida foi tratado pelos colegas como "0 veneziano".

o calculo de diferencas finitas foi ainda desenvolvido por muitos outros maternaticos depois de Stirling, inclusive Leonhard Euler, cuja notacao A substituiu a notacao ponteada de Taylor, e George BooIe, cujo texto Finite Differences (1860) fomeceu a motivaeao para a ilustracao a seguir. A notacao X(3) significa xix - 1) (x - 2) e. a, C?luna paralela a direita da a ideia correspondente no calculo ordmano.

55

Diametro junto ao batoque Diametro do tampo

Diferenca

Multiplicador

Produto

Diametro do tampo

Diametro medio

35
27
8
0,7
5,6
27,0
32,6
___ll&_
1956
652 '"
978
I 062,76
45
5 31380
42510 4
47824,20 Quadrado Altura

As respostas sao dadas abaixo, primeiro em galoes de vinho e depois em galoes de cerveja.

47 824,20 : 294 =:: 162,66 47 824,20 : 359 =:: 133,21

Leituras suplementares

54

A derivada finita de F(x) e definida por

AF(x) = lim F(x + h) - F(x)

11-1 h

= F(x + I) - Fix).

Assim, por exemplo:

Ax()) = Ax[(x - 1) (x - 2)J = 3x(x - I)

= 3x(2).

A operacao inversa, antiderivada finita, e ilustrada por

4-lx!2) = x(3) + C

3 .

o analogo do teorema fundamental .iguala somat6rios, 1:, com 4 -I; assim

x~b

I' X(2)

DF(x) = lim F(x + h) - F(x)

11-0 h

_ dF

- dx .

D- J x2 = f x2dx = ~ + C

3 .

b

I x2dx = [D-IX2]:"+0 =

= [ ~3 ]:+0

Aplicando este teorema fundamental para derivadas finitas ao SOIDat6rio

2 10

. 1 + 3 . 2 + 4 . 3 + ... + 10 . 9 = I' x(x - 1),

temos

10 10

~ xIx - I) = ~

x = 2

= [ xIx - I~ (x - 2) ]~1 =

= 330.

56

11'10·9 -0 3

E interessante notar que desde 0 inicio Brook Taylor extraiu muitas analogias entre 0 novo calculo finito e 0 calculo ordinario - como tambem Boole, em seu texto de 1860.

Leituras suplementares

BOYER (b): 465-69

STRUlK (c): 328-33

-'.

cAp S U LA 12

Arquimedes

e a "metoda de exaustao"

MELCHER FOBES

Para achar areas e volumes, 0 versatil Arquimedes (287-212 a.Cj usou sua pr6pria versao primitiva do calculo integral, que, de alguma maneira, e muito semelhante, quanto ao espirito, ao calculo atual. Numa carta a Eratostenes, Arquimedes expos seu "metodo da alavanca" para desrobrir f6rmulas de areas e volumes. Mas, quando publicava provas para essas f6rmulas, ele usava 0 "metodo de exaustao", para se ajustar aos padroes de rigor da epoca. 0 leitor conhece a abordagem grega do problema da area do circulo: As areas crescentes dos poligonos inscritos aumentam, aproximando-se da area do circulo, ao passo que as areas decrescentes dos poligonos circunscritos diminuem, aproximando-se da area do circulo.

Observemos de forma algo diferente a demonstracao de Arquimedes, por exaustao, de que a area de urn segmento parab6lico e 4/3 da area do triangulo inscrito [1]. Suponhamos que a Figura [12]-1 represente uma porcao de parabola determinada pela corda C' e, perpendicular ao seu eixo AB_ Assurnimos como definieao de parabola que se trata do conjunto dos pontos P tais que AP' seja proporcional a (P' P)2 - isto e, em notacao moderna, que a equacao de nossa parabola seja y = kxt. Arquimedes mostrou que essa por~o de parabola e 4/3 da area de Ae' A'e, 0 que equivale a dizer que a area limi-

57

tada por AB, BC, e a parabola e 413 da area de MBe. Para tanto ele "exauriu" a area parab6lica somando primeiro 0 triangulo ADC ao MBC, onde D e 0 ponto em que uma para lela a AB pelo ponto medio M de BC corta a parabola, e mostrando que MDC = 1I4 MBe. A seguir construiu paralelas a AB por M' e MR, pontos medics de MC e BM, as quais cortam a parabola em D' e DR; entao mostrou que MD"D + ADD'C = 114 MDC = 1/(42) MBe. Continuando indefinidamente com este processo, chega-se a conclusao de que a area parabolica e dada aproximadamente por

(I) MBC + _1 MBC + _1_ MBC + + _1_ MBC,

4 42 ~

a qual, Ii medida que n cresce, aproxima-se cada vez maisde 4/3 MBe.

C' B MN M M' C

Talvez 0 aluno ache interessante, e urn pouquinho mais dificil, provar por metodos analogos, com 0 uso dos segmentos construidos apresentados na figura, que ADD' C = 1/4 MJCE e !AD" D = 114 AADE, de forma que MD"D + ADD'C = 114 MDC = 1/(42) AABC, completando assim a segunda etapa da prova.

Tambem e interessante que Arquimedes tenha dado uma segunda prova desse resultado por meio de retangulos inscritos e circunscritos, quase identica, quanto ao espirito, ao presente metodo de forma~o de somas de Riemann superiores e inferiores. Neste caso as somas de Riemann podem ser estimadas de maneira simples, nso sendo necessario 0 uso do teorema fundamental.

Leituras suplementares

ARQUIMEDES: 233-52; suplemento, 5-51 BOYER (a): 31-37,51-56

_- (b): 100-103, 142-46 MESCHKOWSKL 13-23 TOEPLITZ: 11-14

cAp S U LA 13

Converqencia

A FIGURA [12]-1

A prova de que AADC = 1I4 MBC faz-se como se segue, com a notacao e os segmentos construidos da figura. Da definicao de parabola, AF = k(FDF e AB = k(BC)2. Como FD = BM = 1/2 BC, deduz-se que AF = HD = 114 AB. Por sernelhanca de triangulos, EMIAB = MCfBC = 1/2, de modo Que EM = 1/2 AB. Dai

DE = AB - HD - EM = AB - _1 AB - _1 AB = _I AB

4 2 4·

Assirn, MDE e AAEM tern mesma altura AH e bases DE = 1/4 AB e EM = 112 AB, respectivamente. Logo, UDE = 112 MEM. Analogamente, WEC = 112 IlEMC; de maneira que, por adieao, AADC = 112 UCM. Alem disso, MCM e AAMB rem bases iguais (MC e BM) e mesma altura (AB), e assim MDC = 114 MBe. C.Q.D.

58

MARLOW SHOLANDER

A seguinte analogia tern algum merito, A matematica e urn supennercado. Numerosos autores organizaram as prateleiras de mercadorias. Convergencia e uma das grandes secoes da loia, Uma capsula sobre convergencia e uma selecao representativa, que tern 0 tamanho do carrinho de compras. Que 0 autor seja perdoado! Ap6s escolher urn ou dois itens, 0 autor se dirigiu para urna prateleira mais acessivel (de alguns trabalhos-modelo, sobre a hist6ria da matematica] e grande parte do que selecionou se constitui de (supersimplificacoes como) fatias, migalhas e pasta de amendoim.

Como ponte de partida podemos argumentar que 0 paradoxo de Zenao (c. 450 a.C] sobre a impossibilidade de se percorrer uma pista de corrida tomou mais facil 0 entendimento da falsidade de I > 1/2 + 114 + 118 + ... Porem, urn dos primeiros matematicos conhe-

59

cidos a enfrentar limites e series foi Arquimedes (c. 220 a.C]. Usando-se nossa notacao, foram encontrados por ele os seguintes resultados

lim 4-n = 0

(1)

a = a + ar + ar2 + ....

1 - r

'.

Por essa epoca, alguns observararn que

(6) 0 = 0 + 0 + ... = (I - 1) + (I - I) +

=1-1+1-1+ ...

= 1 - (1 - 1) - (1 - I) - ... = 1;

o formalismo estava passando dos limites. Euler quase foi levado a definir "somas" de series.D'Alembert declarou que algo devia ser feito quanto a "limites". Lagrange concordou, mas adotou remedies infe.riores.

Uma era de rigor foi anunciada por Gauss (c. 1800). Mas passou quase despercebida, ate que Cauchy (1830) comecou a deslocar a analise de alicerces sobre a areia para fundamentos apropriados. 0 rigor entrou em moda a partir de entao. Devemos a Weierstrass (c. 1860) agradecimentos carrancudos pela camisa-de-forca da versao plena dos "epsilon-delta". ~

E notavel que tenham se passado tantos aDOS e tenham sido necessarias tantas evidencias para que as pessoas se convencessem de que al + a2 + ... + an e Ol + 02 + ... + an + ... eram de especies diferentes. Mesmo Cauchy e Abel relutaram em concluir que se deve rejeitar a ideia de soma para series como (3), (4) e (5). Demorou para se determinar que agrupar ou nao, como em (6), poderia transformar convergencia em divergencia, Em outras palavras, somas infinitas talvez nao fossem associativas. Note-se que nossa definicao corresponde ao agrupamento

(7) {[(a I + a2) + 03] + a4} + ....

Cauchy usou series como (3) para demonstrar que a comutatividade tambem deve ser sacrificada. Qualquer soma desejada pode ser obtida pelo rearranjo de seus terrnos.

E improvavel que principiantes em calculo tirem proveito da informacao de que (3), (4), (5) e outras comportam-se devidamente em outros contextos. Abel evitava tais series como obras do diabo. Cauchy regressou as series diver gentes e, por volta de 1840, tinha lancado os fundamentos de sua teoria. Com as investigacees de Poincare em 1886, as series divergentes adquirirarn urn status elevado. Antes, em 1882, Holder fora 0 primeiro dos muitos que inventaram definicoes, com aplicacoes validas, para a soma de uma serie. Mediante alguns metodos de somabilidade, (4) torna-se verdadeira. Ate 0 pior dos exernplos, (5), escapou do ostracismo atraves da teoria da valorizacao iniciada por Ostrowski em 1918.

Apesar de tudo, a definicao usual de soma e universalmente util, Regras para lidar com series provem dela. 0 nao-conheclmento das

61

e

n~1

~ 4-n =_1

L 3'

e ainda a formula

Houve entao urn periodo em que esses progressos se consolidaram (urn periodo igual ao que vai de Nero a Castro). Por volta de 1737, Leibniz foi induzido pelo contraste entre

(2)

1 1 1

1-2+T-4+···

e

(3)

I I I 1+2+3+4+",

a ideia de convergencia e divergencia, Seu teste para as series alternadas,o primeiro teste de convergencia, 56 apareceu em ~705. Urn aeontecimento intermediario, os Principia de Newton, marca 0 apogeu do periodo intuitivo (em que os segredos da natureza guiavam as descobertas). Newton teve a perspicacia de se preocupar com as razoes logicas subjacentes ao calculo, Estritamente falando, suas derivadas erarn mais razoes que limites.

Nesse meio tempo, voltando ao assunto, deduziram-se tantas formulas bonitas, que 0 intuicionismo passou a ceder lugar ao forrnalismo (no qual a natureza fala ao homem por meio de formulas). Por volta de 1700, discutia-se a mensagem fornecida por (1) no caso particular

(4)

1 - 1

2- -1+1-1+ ....

Leibniz, observando os subtotais I, 0, I, 0, ... , sup6s que a probabilidade estivesse envolvida. Euler, com quem 0 formalismo chegou ao auge (c. 1750), rnanteve-se calma ern face desse e de outros quebra-cabecas como

(5)

-1 = I + 2 + 4 + 8 + ...

resultado da aplicacao do teorema do bin6rnio formal a (I - 2) - I. 60

,

onde fia) = g(a) = 0 e s' (a) +- 0, foi publicada pela primeira vez pe- 10 matematico frances G_ F: A. de.L'Hospital (ou de I'H6pitaf) na ~ua Analyse des tnfiniment petits (Pans, 1.696).0 marques de L Hospital era urn matematico amador, que se mteressou profundamente pelo novo calculo apresentado ao mundo intelectual por Leibniz em dois pequenos artigos, urn de 1684 e 0 outro d~ 1686. Nao tendo cert~~ de que conseguiria dominar 0 novo e fascinante ramo da matematica por si so, L 'Hospital contratou, durante alguns ~eses ~o.s anos 1691 e 1692 os services do jovem e brilhante matematico e fisico suiCO Johann Bernoulli, primeiro em sua casa em Paris e depois em sua casa de campo. Quando Bernoulli retornou a Basileia, sua cidade natal, 0 marques manteve-se em contato com seu tut?r J?Or corr~fK>I?dencia. Ao mesmo tempo, publicou algumas contribuicoes ongmais suas, Em 1696, quando seu livro saiu, L 'Hospital expressou seu. reconhecimento a Leibniz e Bernoulli, mas apenas em termos genericos:

"Utilizei livremente suas descobertas (je me suis servi sansfacon de leur decouvertes), de modo que lhes restituo abertamente tudo quanto desejem reivindicar como sendo de sua autoria".

A questao da dependencia real de L 'Hospital P3!~ com Bernoulli flcou sem resposta, e com 0 passar do tempo adquiriu 0 cru:ater de urn certo misterio, Bernoulli, depois que L'Hospital Ihe enviou urn exemplar do livre, agradeceu com cortesia e parabenizou 0 autor. Mas subsequentemente, em algumas cartas particulates escntas quando 0 marques ainda estava vivo, reclamava que grande parte ~o contendo de Analyse des infiniment petits realmente lhe pertencia. Em 1704, apes a morte de L 'Hospital, reivindicou publicamen.~ 0 c~to pelo item n? 163, que contem a regra para 0/0. Matematicos mteressados pelo enigma da prioridade especularam desde entao. sobre a suposta dependencia de L'Hospital para com Johann Bernoulli, pesando a conhecida grandeza de Bernoulli como matematico contra sua tambem conhecida reputacao de mesquinhez. Ate recentemente nao se havia chegado a nenhuma conclusao aceitavel,

Com a publicacao, em 1922, do manuscrito de Johann. Bern?ullisobre 0 calculo diferencial, datado de 1691192, a questao fot consideravelmente esclarecida. (0 manuscrito correspondente sobre 0 calcu- 10 integral tornou-se conhecido ainda em vida de Bernoulli, porque foi publicado em 1742 em sua Opera.) As anotacoes de Bernoulli coincidiam em grande parte com 0 texto do livro de L'Hospital e tudo indicava que a paternidade de muitos dos resultados do nobre intelectual cabia a Bernoulli. Mas s6 em 1955, com a publicaeao da correspondencia de Bernoulli, a situaeao real veio a luz. Revelou-se entao que em 1694, de fato, fora estabelecido urn trato entre 0 marques e seu antigo tutor, pelo

63

regras do jogo impediram Fourier e Heaviside de chegar a descobertas importantes. Euler rearranjava series, inconsciente dos perigos decorrentes. Gauss trocava limites repetidos sem se desculpar. Cauchy, num caso semelhante, errou 0 caminho mas recuperou-se, inventando a convergencia uniforme nesse processo. Instintos alertas e precaucoes convenientes impediam-nos de urn erro fatal.

Porem, na historia da maternatica as intuicoes mais refinadas embaracamse nas brurnas de processos infinitos. Inoportunos para os mortais comuns sao os sorrisos desdenhosos, digamos, para com os testes de convergencia de series. Uma multiplicidade de exemplos mostra a perversidade do infinito contrapondo-se a essas tendencias. 0 seguinte merece ampla divulgacao, Seja dada uma urna A contendo uma infinidade de etiquetas. Ao lado estao duas urnas vazias B e C. Transferem-se duas etiquetas de A para Be entao passa-se uma etiqueta de B para C. Suponhamos que se repita esse procedimento urn numero infinite de vezes. Quantas etiquetas se encontram entao em H? Pode-se defender (e dai atacar) qualquer resposta de zero ao infinito. 0 metodo fica bern ilustrado pelo procedimento que confirma, digamos, 3, como resposta. As etiquetas introduzidas em B sao assim numeradas: I e 2, 3 e 4, 5 e 6, etc. Suponhamos que se retirem de B as etiquetas 2, 4, 6,7, 8, 9 e assim por diante. Restarao as etiquetas I, 3 e 5.

Leituras suplementares

BELL (a): 282-95

BOYER (b): 477. 486-89, 566, 598·617

CAJORI (b) 373-77

STRUIK (a]: 124-27 [4.a ed. 124-26] -- (e): 383·91

c A > S U LA 14

A origem da regra de L'HospitaJ

DIRK J. STRUIK

A chamada regra de L'Hospital, que afirma que

lim i(x) i' (a)

x-a

g(x)

g'(a)

62

I. trabalhar em todos os problemas rnatematicos que ° marques lhe enviasse;

2. comunicar ao marques tapas as descobertas de que tivesse conhecimento;

3. nao passar a outras pessoas c6pias das anotacoes enviadas a

L'Hospital. .

resra para 0/0. A_ fo~uiacao e. muito parecida com ~ que se encontr~ em An~se des infiniment petus e baseia-se em consideracoes geome-

tricas'l'-'0m nossas pala vras, se

j(x)

y = g(x)

e as duas curvas y = f(x) e y = g(x) passam pelo mesmo ponto P do eixo x, OP = a, de modo que J(a) = _ g(a) _ = 0; e, se tomamos uma abscissa x = a + h, a figura mostra imediatamente que

qual L'Hospital oferecia a ele urna pensao de 300 libras (posteriormente mais) desde que Bernoulli concordasse ~m tres condicoes:

Dar-lhe-ei de born grado uma pensao de trezentas libras, eomecando ia a primeiro de janeiro do presente ano, e the enviarei duzentas libras pela primeira metade do ano devido as revistas que voce me mandou, e cento e cinqiienta libras pela segunda metade, e assim seguira no futuro. Prometo aumentar logo esta pensao, pois sei que e muito modesta, e farei isso tao logo meus negocios esteiam urn pouco menos

confusos., t

Nao tenho a insensatez de lhe solicitar todo 0 seu tempo, mas solicitarei apenas que me d~ ocasionalmente algumas horas de seu tempo para trabalhar no que the peca - e tambem para cornunicar-me suas descobertas, com a solicitacao de nile menciona-las a outros. Solicitolhe tambem nso mandar c6pias das anotaeoes que me remeta nem a M. Varignon nem a outros, pais nile me agradaria que Sf: tornassem publicas, Mande-me sua resposta a tudo isso e acredite em mim, Monsieur tout a vous

f(a + h) g(a + h)

~ e quase igual ao quociente de hf' (a + h) por hg' (a + h) quando .h e pequeno. No limite, encontrarnos, agora nas palavras de Bernoulh:

Isso resolveu a questao da prioridade. Segue-se urna traducao do trecho da carta que contem a proposta inusitada que L'Hospitai ' envioude Paris a Johann Bernoulli, na Basileia, nodia 7 de marco de 1694:

A fim de achar 0 valor da ordenada (appliquee) da eurva dada

[ =!(X)]

Y g(x)

no caso e necessario dividir a diferencial (/a dif!erentielle) do numerador da fracao geral pela diferencial do denominador.

Os exernplos de Bernoulli sao quase os mesmos que L'Hospital utiliza:

(1)

Ie M. de L 'Hospital

A resposta de Bernoulli jamais foi encontrada, mas, por uma carta de 22 de julho de 1694, sabernos que ele aceitou a proposta. Para o jovem cientista desprovido de recursos, casado recentemente e ainda a procura de urn emprego (que conseguiu no ana seguinte, na Universidade de Groningen na Holanda), essa bolsa deve ter caido do ceu, Nao sabernos quanta tempo durou esse acordo, mas a situaeao financeira de Bernoulli rnelhorou, 0 rnesrno nao acontecendo com a de L'HospitaL A relacao entre os dois pode ter chegado ao fim em 1695.

Diversas cartas de Bernoulli a seu protetor foram publicadas recentemente, e uma delas, datada de 22 de julho de 1694, contem a

64

para x = a. Entao

y = ( I; )a.

Esse exemplo foi usado por ambos.

(2) Y = a..[iiX - xx

a - JOx

para x = a. Entao y = 3a.

65

1. trabalhar em todos os problemas matematicos que 0 marques Ihe enviasse;

2. comunicar ao marques todas as descobertas de que tivesse conhecimento;

3. nao passar a outras pessoas copias das anotacocs enviadas a

L'Hospital. _

regra para 0/0. A_ forI!1ulaCao e. muito p~recida com ~ que se encontr_a em An~se des infiniment pettts e baseia-se em consideracoes geometricas. ~m nossas palavras, se

f(x)

Y = g(x)

e as duas curvas y == f(x) e y == g(x) passam pelo mesmo ponto P do eixo x, OP = a, de modo que f(a) =. g(a). = 0; e, se tomamos uma abscissa x = a + h, a figura mostra imediatamente que

qual L'Hospital oferecia a ele uma pensao de 300 libras (posteriormen· te mais) desde que Bernoulli conoordasse com tres condicoes:

Dar-lhe-ei de born grado uma pensao de trezentas libras, eomecando ja a primeiro de janeiro do presente ano, e Ihe enviarei duzentas libras pela prime ira metade do ano devido as revistas que voce me mandou, e cento e cinquenta libras pela segunda metade, e assim seguira no futuro. Prometo aumentar logo esta pensao, pois sei que e muito modesta, e farei isso tao logo meus negocios' estejam urn pouco menos

confusos... t

Nao tenho a insensatez de Ihe solicitar todo 0 seu tempo, mas solicitarei apenas que me de ocasionalmente algumas horas de seu tempo para trabalhar no que Ihe peca - e tambem para eomunicar-me suas descobertas, com a solieitacao de nao meneiona-las a outros, SolicitoIhe tambem nao mandar copias das anotacoes que me remeta nem a M. Varignon nem a outros, pois nao me agradaria que se tomassem publicas, Mande-me sua resposta a tudo isso e acredite em mim, Monsieur tout a vous

f(a + h) g(a + h)

~e quase igual ao quociente de hf'(a + h) por hg'(a + h) quando.h e pequeno. No limite, encontramos, agora nas palavras de Bernoulli:

Isso resolveu a questao da prioridade. Segue-se uma tradueao do trecho da carta que contem a proposta inusitada que L'Hospital ' enviou de Paris a Johann Bernoulli, na Basileia, no dia 7 de marco de 1694:

A fim de achar 0 valor da ordenada (appliquee) da curva dada

no caso e necessaria dividir a diferencial (fa dijferentielle) do nurnerador da fra~ geral pela diferencial do denominador.

Os exemplos de Bernoulli sao quase os mesmos que L'Hospital utiliza:

(1)

../2a3x - X4 - a varx

y = ~-----::----

a - '!./iiX1

Ie M. de L'Hospital

A resposta de Bernoulli jamais foi encontrada, mas, por uma carta de 22 de julho de 1694, sabemos que ele aceitou a proposta. Para o jovem cientista desprovido de recursos, casado recentemente e ainda a procura de urn emprego (que oonseguiu no ano seguinte, na Universidade de Groningen na Holanda), essa bolsa deve ter caido do ceu, Nao sabemos quanto tempo durou esse aoordo, mas a situacao financeira de Bernoulli melhorou, 0 mesmo nao aoontecendo com a de L'Hospital. A relaeao entre os dois pode ter chegado ao fim em 1695.

Diversas cartas de Bernoulli a seu protetor foram publicadas recentemente, e urna delas, datada de 22 de julho de 1694, contem a

64

para x = a. Entao

y = (If )a.

Esse exemplo foi usado por ambos.

(2)

aJiii - xx

y = -'------

a - ...[iiX

para x = a. Entao y = 3a.

65

Esse exemplo de Bernoulli foi transformado por L'Hospital em y= aa-ax

a - .JiiX

manter em poseao de destaque por mais de. meio seculo. Mesmo depois que textos melhores apareceram, contmuou a. ~r usado com~ uma boa introducao ao calculo; sa~mos de uma edWao d~ .1790. Fot traduzido para 0 ingles e para 0 latim e mereceu comentaI?os, como o de Varignon, amigo de L 'Hospital. Devemos ter algum respeito por ele.

para x = a. Entao y = 20.

A situacao, portanto, ficou esclarecida. Quando 0 livro de L 'Hospital foi publicado, Bernoulli estava amarrado pela promessa de nao revelar quais as partes do livro que eram dele. So podia dize-lo particularmente. Entao, com a morte do marques, Bernoulli sentiu-se desobrigade de continuar mantendo silencio, e reivindicou para si a autoria do notavel resultado do livro - a regra para 0/0. Mas nao tinha como provar essa afirmacao, Hoje, est! feita iustica.

Da descoberta da origem da regra de L'Hospital nao se pode concluir que ela passara a levar 0 nome de Bernoulli. Primeiro, porque - ja ha varias regras e teoremas com 0 nome Bernoulli (devidas pelo menos a tres membros da familia - Jakob, Johann e Daniel). Mas ha outro argumento de peso. Se comecarmos a mudar os nomes de regras e teoremas estritamente segundo as leis da prioridade, logo chegaremos a conclusao desanimadora de que nossa ciencia perdera muitas de suas expressoes familiares. Os babilonios conheciam 0 teorema de Pitagoras mais de urn milenio antes da epoca do sabio de Crotona. As equacoes de Cauchy-Riemann eram conhecidas por D'Alembert e Euler. 0 teorema de Taylor seria de Gregory, pelo menos ate que outro postulante aparecesse - nao e irnpossivel que maternaticos indianos tenharn se aproximado dele, por volta de 1500. Os indianos tambern lidaram com as equacoes de Pell muito antes de John Pell estuda-las - ou melhor, nao estuda-las, pois a ligaeao de Pell com as equaCOes e extremarnente remota. As series de Fourier foram usadas por Euler e Daniel Bernoulli. 0 triangulo de Pascal era conhecido pelo matematico chines Yang Hui (secuio XIII) e provavelmente e muito rna is antigo; e seu contemporaneo Chhin Chiu-shao trabaihou com 0 rnetodo de Horner da teoria das equacoes algebricas como se fosse urn instrumento antigo. E assim por diante.

Os nomes ligados a descobertas maternaticas sao, muitas vezes, nomes de pessoas que, atraves de seu trabalho, levaram esses resultados a serem mais conhecidos ou mais bern compreendidos. Qualquer nova descoberta historica pode, entao, voltar a alterar 0 delicado equilibrio da nomenclatura. Deixemos que 0 born marques fique com sua regra primorosa; ele pagou por ela e tornou-a de dominio publico. Afinal, ele merece alguma fama; seu livro sobre 0 novo calculo, alem de ter sido 0 primeiro a ser publicado sobre a materia - contendo contribuicoes proprias do autor - tinha qualidade suficiente para se

66

Leituras suplementares

COOLIDGE: 147·70

STRUIK (e): 312·16

Esta capsula foi adaptada de urn artigo publicado em abril de 1963 na Mathematics Teacher.

cAp S U LA 15

Calculo de variacoes

BERNARD J. YOZWlAK

Urn problema importante em calculo diferencial consiste .em se tentar achar os valores das variaveis independentes para os quais uma dada funcao assume urn valor maior ou urn valor menor, .isto e, urn maximo ou urn minimo. Analogamente, no calculo de vartacoes, urn problema basico e 0 de achar uma ou mais funcoes incognitas de modo que uma dada integral definida em que estejam envolvidas essas funcoes torne-se urn maximo ou urn minim? 0 proble!ll~ pode ser enunciado do seguinte modo: Considcre-se a mtegral definida:

(1)

fX2 d )

I = XI f ( x, y, Ix dx.

Quando x, eX2 tern valores numericos definidos, quandofe uma funcao

dy - .

dada de x, y e - e quando y e dada como funcao de x, entao a m-

dx

tegral tern urn valor definido. Podemos entao fazer comparacoes entre os val ores dessa integral ao se fazerem escolhas diferentes de y co-

67

mo funcao de x. 0 problema basico do calculo de variacoes e achar a funcao particular y = y(x) que torna (1) urn maximo ou urn minimo.

Esse tipo de problema tern interessado matematicos ao longo de toda a historia, e muitos desses problemas foram resolvidos por metodos muito engenhosos. Os gregos antigos sabiam que de todas as curvas com urn dado perimetro a que abarca maior area e 0 circulo. Muitos outros problemas propostos foram resolvidos principalmente pela intuicao de certos individuos. 0 desenvolvimento sistematico do calcu- 10 de variacoes cornecou quando Johann Bernoulli (1667-1748) reapresentou 0 problema cia braquist6crona, ja estudado antes por Galileu. o problema cia braquist6crona (tempo men or) visa determinar, dentre todas as curvas possiveis que ligam dois pontos em urn plano vertical, aquela para a qual uma particula deslizando (sem atrito) para baixo ao longo da curva, sob a acao cia gravidade, fara 0 percurso do ponto mais alto ao mais baixo em tempo minimo. Isto e, procura-se o caminho de descida mais rapida, Os irmaos Johann e Jakob Bernoulli resolveram 0 problema, e suas solucoes, independentes uma cia outra, foram publicadas em 1696. 0 problema envolve a minimizacao da integral

cAp S U LA 16

Uma selva de equacoes diferenciais

JAMES PORTER

Lancadas no tim do seculo XVII, as sementes do calculo floresceram e proliferaram rapiclamente, produzindo uma floresta de equacoes matematicas classificadas como "equacoes diferenciais". Pioneiros nesta selva, entre os quais Isaac Newton, Gottfried Wilhelm von Leibniz e os irmaos Jakob e Johann Bernoulli, puseram-se a ponderar sobre arvor-s-equacao como

log x J2y + x2y ddYX + y3 = sen x,

dx2

que nao passa de uma equacao diferencial "ordinaria". Esses pesquisadores primitivos esperavam "resolver" tais equacoes para relacoes entre ye x que utilizassem funcoes elementares conhecidas, como sen x, log x, x2 e outras. Acabou-se por demonstrar que essas funeoes elementares eram insuficientes !BELL (a): 4011. Mais do que simplesmente madeira de corte de matematicos, essas equacoes forneciam formulacocs de leis que governavam 0 universe fisico, Suas solueoes eram indispensaveis aos campos em desenvolvimento da mecanica e da astronomia. Por exemplo, uma bola lancada para baixo de uma altura de 300 pes com uma velocidade inicial de lOpes por segundo tern, desprezando-se a resistencia do ar, uma trajetoria descrita pela equac;ao diferencial

J2y = -32,2, dx2

onde y representa a altura da bola e x 0 tempo de percurso. Esta descrieao baseia-se na segunda lei cia mecanica de Newton. A solucao dessa equacao diferencial (levando-se em conta as condicoes descritas acima) e

I T=--

J2i

fXO J 1 + (y')2 dx

o y

e fornece urn arco de cicloide como solucao,

o metodo de Jakob Bernoulli de resolucao do problema da braquist6crona era mais geral do que 0 de Johann, e possibilitava a resolucao de uma ampla gama de problemas, inclusive urn problema isoperimetrico (em que 0 perimetro e mantido fixo), proposto como replica ao problema de seu irmao, Leonhard Euler, discipulo de Johann Bernoulli, deu muitas contribuicoes ao estudo do calculo de variacoes, inclusive 0 desenvolvimento da equacao diferencial

_!_f_ - .s: (_!_f_) = 0,

ay dx ay

cuja solucao fornece a funcao que minimiza (1), desde que exista minimo,

Leituras suplementares

BELL (a): 377·81 BOYER (b): 534

CAJORI (b); 232,251,369-72 STRUIK (c): 391-413

y = 300 - lOx - 16,lx2,

de modo que, por exemplo, ap6s tres segundos a altura da bola sera 300 - 10(3) - 16,1(32) ou aproximadamente 125 pes.

68

69

Recern-chegados vieram trabalhar na floresta; provavelmente cada urn dos maternaticos desse periodo tentou pelo menos gravar seu nome em alguma equacao diferencial. Mas poucos terrenos de grande extensao podiam ser reivindicados. Por volta de 1800 a floresta tinha transposto as cercas das teorias gerais, umas ap6s outras, e, apesar de sua utilidade potencial, algumas das equacoes mais vigorosas ainda estavam por produzir mudas. Nao obstante, em 1743 Leonhard Euler fora capaz de discutir exaustivamente a equacao diferencial ordinaria linear homogenea geral com coeficientes constantes.

Quando 0 segundo seculo de trabalho com equacoes diferenciais ja ia bern adiantado, Augustin Louis Cauchy enfatizou a necessidade de maiar rigor. Sua revelacao de solucoes imperfeitas levou muitos matematicos a voltarem atras para reconsiderar afirmacoes anteriores. Por exemplo, a resoiucao de equacoes diferenciais por series infinitas era uma tecnica importante, divulgada por Euler. Mas mesmo 0 raciocinio de Euler muitas vezes era dubio. Certa ocasiao ICAJORI (b): 238/, Euler afirmou que

sen x - 2 sen 2x + 3 sen 3x - 4 sen 4x + ... = O.

Diz-se que Pierre Laplace, 0 Paul Bunyan da matematica e da fisica, ouviu desconcertado uma exposicao tie Cauchy sobre convergeneia de series infinitas e correu para casa com 0 objetivo de verificar afirmacoes que fizera em sua Mecaniaue Celeste ICAlORI (e): 374/. Paralelamente a uma compreensao maior dos problemas inerentes a resolucao de equacoes diferenciais, durante esse periodo surgiram instrumentos e metodos melhores para lidar com equacoes antes inacessiveis. Entre eles, foram particularmente importantes 0 metoda de aproximacOes sucessivas de Emile Picard, as transformadas de Laplace e os operadores simb6licos de Oliver Heaviside.

Por volta do (mal do seculo XIX, a teoria dos grupos continuos de Sophus Lie foi relacionada com as equacoes diferenciais, bern c0- mo com a teoria das equacoes. No inicio de nosso seculo os importantes mecanismos da algebra abstrata, da topologia e da analise funcional foram acionados, e a selva comecou a dar lugar a lotes de cern acres. Com os atuais computadares, os metodos de aproximacao numerica e de reiteracao se tornaram nso s6 exequiveis, como ate vantajosos, e grande parte das pesquisas sobre equacoes diferenciais esta sendo dirigida para 0 aprimoramento desses metodos computacionais. A selva das ecuaeoes diferenciais foi grandemente desobstruida.

Leituras suplementares

BELL (a): 400419 CAJORI (b): 383-92

BOYER (h): 493-96

CApSULA 17

Maclaurin, Taylor e suas series diferenciais

G. N. WOLLAN

Brook Taylor (1685-1731) foi urn eminente matematico ingles, cuja vida, bastante breve, coincidiu aproximadamente com a ultima parte da vida de Newton. Era urn jovem de talento incomum, com uma gama ampla de interesses, inc1uindo musica e arte, e tambem matematica e filosofia. A deducao da serie conhecida por seu nome foi incluida em seu principal trabalho de rnatematica, Methodus incrementorum directa et inversa, publicado em Londres em 1715. Na epaca 0 mundo da matematica estava profundamente envolvido na polemica sobre a prioridade de Newton ou Leibniz. Taylor era urn dos mais ardentes defensores das reivindicacoes de Newton. 0 livro esta pontilhado de - referencias tendenciosas a favor de Newton e de seu trabalho, nao sendo mencionados outros matematicos que contributram para a materia. 0 livro e dedicado primordialmente a urn ramo da matematica hoje conhecido como calculo de diferencas finitas [11]. Grande parte de seu conteudo era novo na epoca, e 0 livro teve muita repercussao, apesar do estilo obscuro do autor, de sua notacao complicada e de outros defeitos que tornavam diflcil sua leitura. Em notaeao moderna, a deducao de Taylor de sua serie, tal como e dada em Methodus incrementorum, era aproximadamente como se segue.

Suponhamos que y(x) seia uma funcao de x, Ax urn nurnero real arbitrario e que

Ay(x) = y(x + Ax) - y(x)

seja a variacao da funcao correspondente a uma variacao Ax do argumento x. Definamos tarnbem as derivadas de ordem superior da funcao:

A2y(X) = A(Ay(x)) = Ay(x + Ax) - Ay(x) A3y(X) = A(A2y(X)) = A2y(X + Ax) - A2y(x)

A"y(x) = A(,An-'y(x)) = An-'y(x + Ax) - An-'y(x).

E claro que, se z(x) e outra funcao de x, entao A(y(x) + z(x)) = Ay(x) + A.z(x).

70

71

Se a e urn nurnero arbitrario, temos entao y(a + Ax) = y(a) + Ay(a)

y(a + 2Ax) = y(a + Ax) + Ay(a + Ax)

= (y(a) + Ay(a)) + A(y(a) + Ay(a)) = y(a) + Ay(a) + Ay(a) + A2y(a) = y(a) + 2 Ay(a) + A2y(a).

y(a + 3 Ax) = y(a + 2 Ax) + Ay(a + 2 Ax)

= (y(a) + 2 Ay(a) + A2y(a» + A(y(a) + 2 Ay(a) + A2y(a)) = y(a) + 2 Ay(a) + A2y(a) + Ay(a) + 2 A2y(a) + .!13y(a) = y(a) + 3 Ay(a) + 3 A2y(a) + A3y(a),

Neste ponto Taylor argumentava que. se considerarnos v fixo e fazemos n tornar-se infinito, entao Ax aproxima-se de 0,

AKy(a) v(v - A») (v - 2 Ax) . __ (v - (K - 1) Ax)

--- e --------------

(Ax)K K!

transformarn-se em

vK e-

K!

e. em geral,

respectivamente, para cada K, e 0 mimero de termos torna-se infinito, de modo que obternos

y(a + v) = y(a) + v dy(a) + ~ d1y(a) + ~ d3y(a) + ...•

dx 2! dx2 3! dx3

que, obviamente, e a serie de Taylor.

Esse tipo de argumento impreciso com relacao a limites tornou nao apenas Taylor como tambem Newton. Leibniz e seus contemporaneos vulneraveis aos ataques de George Berkeley. bispo de Cloyne, e levou matematicos posteriores a desenvolver as provas que os estudantes aprendern hoje.

Colin Maclaurin (1698-1746) foi urn maternatico escoces brilhante que, aos dezenove anos de idade, mediante concurso, tornou-se professor da Universidade de Aberdeen. Descobriu urna deducao diferente da serie, que apareceu em seu livro Treatise of Fluxions, publicado em Edimburgo em 1742. 0 argurnento de Maclaurin tinha intencao de se opor as obiecoes levantadas por Berkeley e, em notacao rnoderna, era 0 seguinte:

Suponhamos que:

y(x) = Ao + Ajx + A2X2 + A}X3 + ... ,

onde os coeficientes Ao, A h A 2, A 3, •.. sao numeros fixos cujo valor se deve determinar. Entao

dy(x) _ 2

~ - A I + 2 A2x + 3 A}X + ... ,

y(a + nAx) = y(a + (n - l)Ax) + Ay(a + (n - l)Ax) n(n - 1)

= y(a) + nAy(a) + 2! A2y(a)

n(n - 1) (n - 2) 3

+ 3! A y(a) + _ .. + Any(a).

Fazendo nsx = v, resulta

~ (~ - 1)

y(a + v) = y(a) + ~ Ay(a) -+ ------:::-:---- A2y(a)

Ax 2!

Ay(a) v( v - Ax) A 2y(a)

= y(a) + v . -- + ---- ---

Ax 21 (Axj2

+ v{v - Ax) (v - 2 Ax) A3y(a) ___________ + ... + Any(a).

3! (Ax)3

e, fazendo-se x = 0,

dy(O) = Al

dx .

72

73

Analogamente

c A > S U LA 18

cf2y(x)

___:__ = 2 A2 + 3 . 2 A}X + 4 . 3 Ao!X2 + ''', dx2

de modo que

cf2y(O) = 2 A2, dx2

De n! a funcao gama

MERRILL SHANKS

e e claro que

ttny(x)

--- = n! An + (n + l)n(n - 1) ... 2 An+1x dxn

+ (n + 2) (n + I) ... 3 An+2X2 + ... ,

Consideremos a funcao fatorial dada por

x! = x(x - 1) (x - 2) ... (2) (1).

ttny(O)

__ = n!An•

dxn

Somente quando x e urn inteiro positivo essa funcao esta definida e a f6rmula faz sentido, Sera que ha urna outra funcao F, definida no conjunto dos numeros reais positivos, tal que F(x) = xl, sempre que x e urn inteiro positivo? E facil ver que, se hA urna Iuncao real com essa propriedade, entao M infinitas. Pois a funcao dada por F(x) (1 + A sen 2 nx) e tambem igual a x! sempre que x e urn inteiro positivo, e isso e verdadeiro qualquer que seja a constante A. Tambem e facil eonstruir uma funcao assim atraves do simples expediente de exigir que F(x) = xl quando x e urn inteiro positive, n, e impondo que a funcio seja afim entre dois inteiros consecutivos, n e n + I:

(1) F(x) = n! + n . n! (x - n), se n .:S; x ~ n + I.

Contudo, de urn certo modo, a solueao dada em (1) e ''fraudulenta". A funcao procurada deveria ser dada por uma f6rmula (mica e berncornportada, ao contrario de (1), que e obtida pela colagem de infinitos pedacos de funcees.

o primeiro matematico a considerar n! para valores nso inteiros talvez tenha sido John Wallis (1616-1703). Seu trabalho sobre

da qual decorre

Assim

y(x) = y(O) + x dy(O) + x2 cf2y(0) + x3 d3y(0) + ....

dx 2! dx2 3! dx3

E evidente que nessa argumentacao foram ignoradas as seguintes questoes: Que funcoes tern uma representacao em serie? Para que valores de x a serie representa uma funcao? A derivacao termo a termo da serie forneee a derivada da funcao dada?

Nem a Taylor nem a Maclaurin cabe 0 credito da descoberta da sene a qual seus nomes estaoligados, pois ela ja aparecera num trabalho anteriormente publicado por Johann Bernoulli, do qual e bern possivel que ambos tivessem conhecimento. Porem Taylor e Maclaurin fizeram contribuicoes significativas a matematiea e provavelmente merecem a imortalidade que Ihes foi conferida pela associacao de seus nomes a serie.

BOYER (b): 422, 462, 469

STRUIK (c): 28-41

e suas f6rmulas relacionadas com a funcao gama foram de importancia fundamental para 0 desenvolvimento posterior da teoria.

Esse problema - estender 0 dominio da Iuncao fatorial - atraiu muitos matematicos no inicio do seculo XVIII. Quem 0 resolveu foi Leonhard Euler, por volta de 1730, num artigo cujo titulo, traduzido do latim, e "Sabre progressoes transcendentais cujo termo geral nao pode ser expresso algebricamente". Ilustra 0 genic de Euler 0 fa-

75

Leituras suplementares

Esta capsula e uma adaptacao de urn artigo publicado em Mathematics Teacher em marco de 1968.

74

to de ele ter encontrado a formula "certa" - no sentido de que sua funcao, dentre as infinitas possibilidades, tern todos os tipos de aplicacoos inesperadas. Sua primeira solucao do problema foi a representacao, hoje bern conhecida, como produto infinito

x! = lim n!(n + l)x

n_,.oo (x + I) (x + 2) •.. (x + n)

cAp S U LA 19

(2)

Derivadas parciais

JOHN~. H. OLMSTED

o segundo membro de (2) converge se x e urn numero real qualquer maior que zero, e isso resolve 0 problema.

Voltando sua atencao para integrais Euler achou, ap6s urn argumento dubio, que

'"

J tX e:' dt.

o

Nos ultimos anos do seculo XVII ja estava se tornando evidente, como se revelava nos escritos de Isaac Newton e Gottfried Wilhelm von Leibniz, que tanto na parte teorica como nas aplicacoes da matematica devia-se dar atencao especial ao conceito de derivada parcial, visto que a diferenciacao de uma funcao de diversas variaveis faz-se com relacao a uma variavel de cada vez. Na maior parte das pesquisas iniciais em que aparecem derivadas parciais, nao se usava qual-

quer notacao especial. Assim, 0 simbolo ~~ era interpretado de acordo com 0 contexte, ora indicando a derivada ordinaria ou total de u em relaeao a x, ora indicando a derivada parcial de u ern relacao a x, mantidas as demais variaveis independentes fixas - 0 que hoje se

costuma indicar por ~ . A necessidade de uma notacao especial para

ax

derivadas parciais gerou, porem, urn conflito de simbolos, que persistiu durante a maior parte dos seculos XVIII e XIX. Das duzias de propostas feitas, algumas desapareceram rapidamente. Foram considerados os simbolos d, D, d, 1J e a, muitas vezes em combinacao com outros sinais sobrescritos ou subscritos, ou ambos. Por algum tempo, perto do final do seculo XVIII, pareceu possivel que aqueles que trabalhavam com diferencas finitas pudessem se apropriar com exclusividade dos shnbolos de D, eo a curvo foi introduzido para derivadas ordinarias. Em 1770 0 a curvo foi usado pelo marques de Condorcet para diferenciais parciais, e em 1776 foi usado por Euler na forma

~ . V, que agora se escreve a 1 v . 0 simbolo na combinacao moder-

p api

na ~ foi usado pela primeira vez em 1786, por Adrien Marie Legendre,

ax

e a letra d foi introduzida com urn papel identieo em 1824 por Wil· liam Rowan Hamilton. Porem, 0 usa generalizado do "d curvo" sO foi adotado perto do final do seculo XIX, creditando-se incorretamen-

77

(3)

I

x! = J (-log u)x du, u

se x e urn inteiro positivo. A demonstracao de (3) par inducao e simples, e e deixada ao leitor. Note-se que a integral impropria em (3) converge se x > - I, e dessa maneira a integral define uma extensao da funcao fatorial. Uma mudanca de variavel pOe (3) numa forma mais conhecida. Seja -log u = t. Entao a integral torna-se

Hoje em dia define-se a funcao garna, r, por

(4)

notacao que se deve a Adrien Marie Legendre. Se x e urn inteiro positivo, entao r(x + I) = x! A integral que define r tambern converge para os numeros complexos x tais que Re(x) > O. E facil provar, atraves de integracao por partes, que I'(x + 1) = x r(x) e como ro) = 1, ademais T'(x + I) = x, se x e urn inteiro positivo.

Leituras suplementares

DAVIS

76

te sua invencao a Carl Gustav Jacob Jacobi, que em 1841 fizera uma sintese de suas vantagens [20].

Uma parte substancial das aplicacoes da matematica, especialmente a fisica e a astronomia, baseia-se em derivadas parciais e, em particular, em solucoes de equaeoes diferenciais parciais, Urn dos primeiros pioneiros nesta area foi Daniel Bernoulli (1700-1782)- Em 1747, Jean Le Rond d'Alembert resolveu 0 problema fundamental das cordas vibrantes formulando-o em termos da equacao diferencial

cAp S U LA 20

Integrais multiples e jacobianos

PHILIP E_ BEDIENT

/'

A extensao da definicao de integral definida de funcoes de uma unica variavel real a duas ou mais variaveis ocupa um lugar importante na maioria dos textos de calculo, Geralmente inicia-se 0 tema considerando-se funcoes definidas numa regiao R do plano de fronteira nao muito complicada, sendo que as definicoes sao formuladas por meio de coordenadas retangulares, Uma vez feito isso, introduzem-se metodos para transformar coordenadas retangulares em outros sistemas de coordenadas, mediante equacoes da forma x = flu, v) e y = g(u, v). Pode-se interpretar que essas equacoes transformam a regiao R do plano xy numa regiao Q do plano uv. Entao, sob restricoes adequadas quanto as funcoes f e g, podemos usar a f6rmula

e expressando a solucao sob a forma

u = fix + at} + ,(x - at).

Outros cujos primeiros trabalhos com equacoes diferenciais parciais tiveram efeitos de longo alcance na hist6ria da matematica e de suas aplicacoes foram Euler; Joseph Louis Lagrange (1736-1813); Pierre Simon Laplace (1749-1827), que introduziu e estudou a equacao

cPu + a2u + a2u = o. ax2 ay2 az2 '

e Jean Joseph Fourier (1768-1830), que utilizou suas famosas series no estudo da equaeao do calor

II 'P(X, y)dx dy = II cp(f(u, v), g(u, v) ~~f, gI du dv.

R Q u, vI

o simbolo :(~ ~) e chamado "jacobiano" da transformacao e por definieao e a determinante funcional

As equaeoes diferenciais parciais continuam sendo objeto de intensa pesquisa nos dias de hoje.

a(f, gI

~:_______::~=

a(u, v)

af af

au av

ag ag

au av

CAlORI (a): II, 197-242 -- (b): 384-88

STRUIK (e): 35)·68

13. interessante observar a forma como este teorema aparece no tratado de calculo de S. F. Lacroix. Esse estudo em tres volumes foi considerado urn trabalho-modelo de reierencia no inicio do seculo XIX ICAlOR! (a): 11,2261. Lacroix apresenta 0 teorema sobre transformacao de coordenadas sem a vantagem da notacao modema dos determinantes e, e claro, sem alusao a Jacobi (Carl Gustav Jacob Jacobi, nascido em 1804, apenas 10 anos antes de Lacroix). Se fizermos

79

Leituras suplementares

78

P' = ag au '

Q' = ag

8v '

Com respeito ao usa de novas palavras, tenho tentado me guiar pelo meio-termo. Nessa parte da algebra e preciso falar frequentemente de cornbinacoes de ideias que nao tinham uso importaote na algebra mais antiga. Isso toma necessario 0 emprego de algumas palavras 00- vas a fim de evitar urna quantidade insuportavel de circunlocucoes, Mas, sentindo que todo termo estraoho torna a ciencia mais repulsiva ao inieiante, tenho preferido geralmente 0 uso de uma perifrase a introdUCiio de uma palavrllt nova que provavelmeote nan teria ocasiao de usar outra vez.

entao podemos escrever, conforme Lacroix,

dx dy = (PQ' - P' Q) du dv.

Essa notacao para derivadas parciais tinha side usada pela primeira vez em 1728 par Euler. Lacroix atribuiu 0 merito da f6rmula a Euler, em estudo de 1769. Lacroix tambem apresentou 0 teorema para tres variaveis e creditou-o a Joseph Louis Lagrange, em trabalho escrito no ano de 1773.

Na epoca em que 0 tratado de Lacroix foi impressa, grandes matematicos ocupavam-se com empenho do estudo dos determinantes. Em 1812, Augustin Louis Cauchy demonstrou a maioria dos teoremas basicos, mas foi prejudicado pela ausencia de uma notacao adequada, Em 1841 a teoria dos determinantes foi unificada par Jacobi, em artigos magistrais, que incluiam muita coisa nova, como seu trabaIho com "determinantes funcionais".

Na notacao que Jacobi usou nesses artigos, 0 determinante hoie conhecido como jacobiano teria side escrito

~ + 81 . ag

L - au au'

uma notacao menos sugestiva do que a usada hoje. Em 1854 W. F. Donkin introduziu a notacao

Salmon comecou entao a usar "jacobiano" e 0 simbolismo com que estamos familiarizados hoje.

Leituras suplementares

BELL (a): 425·27

CAJORI (a): II, 87- iO 1, 220-42

cAp S U LA 21

Calculo no .Japao

JACK BEDIENT

au; g) a(u, v)

para 0 mesmo determinante. A notacao moderna de determinante apareceu em 1855 num artigo de Arthur Cayley. 0 primeiro a usar o nome "jacobiano" foi James Joseph Sylvester, que 0 incluiu em seu "Glossary of Mathematical Terms", em Philosophical Transactions, 1853.

Felix Klein, em seu bela relata escrito sobre esse periodo / I, 164/, enfatiza a grande influencia dos textos de George Salmon. Escritos em ingles, eram traduzidos para muitas outras linguas; tinham grande influencia na adocao de voeabulario e simbolos no mundo maternatico. Na primeira edicao de Modem Higher Algebra, a palavra "jacobiano" rulo e usada com relaelo a "determinantes funcionais". Mas, na segunda edieao (1866), a palavra e usada, sendo creditada a Sylves- , ter, 0 prefacio de segunda edic;io registra, em parte fiii/:

80

Segundo urna tradicao urn tanto vaga, 0 fundador do calculo japones, chamado yenri, foi provavelmente Seki Kowa (1642-1708), que nasceu no mesmo ano de Newton. 0 yenri (teoria do circulo) era urn metodo para determinar 0 comprimento de urn arco circular atraves de series infinitas, usadas para aehar 0 limite da soma das 2n cordas iguais inscritas subtendidas pelos areas bissecionados sucessivamente.

FIGURA [21]-1

81

Para ilustrar 0 rnetodo vamos nos reportar Ii Figura [21] -I, que rnostra urn exemplo extraido de urn trabalho publicado (c_ 1722) por Takebe, discipulo de Seki, Takebe comeca inscrevendo cordas iguats nurn arco de circulo, sendo 0 numero de cordas uma potencia de 2. (Para n = 2 lui 2n = 22 = 4 cordas inscritas.l Entao, por meio de uma relacao recursiva (dando 0 cornprimento de uma corda do conjunto de 2n cordas em funcao do comprimento de uma corda do conjunto precedente de 2n-! cordas), acha 0 limite do quadrado da soma das semicordas e chega Ii formula

alegando que p fornecia uma aproximacao de n melhor que os valores anteriores a, be c. Nesse caso particular, para os valores acima a, b, c, a f6rmula (2) efetivamente da uma aproximaeao mais precisa, ou seja,

p ::::: 3,14159 26536.

Takebe declarou ter estimado n corretamente com quarenta e uma casas decimais por aplicacoes repetidas de (2).

Leituras suplementares

CAJORI (b): 78-82 MIKAMI: Ver indice

D. E. SMITH (a): II, 701·2

22 . 42 . 62 ( S )3 ]

+ - + ... ,

3·4·5·6·7·8 d

onde de 0 diametro e sea sagitta (altura) do arco dado AB. Na publicacao original a serie aparece escrita, obviamente, em notacao mais antiga, Tudo isso e feito de uma maneira tao obscura, usando casos numericos para determinar coeficientes em muitas das relacoes, que alguns especialistas entendem que nao foi Takebe que criou a serie acima. Antes, considera-se que ele talvez a tenha obtido a partir da leitura de urn trabalho publicado (c. 1713) pelo escritor chines Mei, que incluiu nele algumas series trazidas da China (c. 1700) pelo rnissionario jesuita Pierre Jartoux. Sabe-se que Jartoux mantinha correspondencia com Leibniz.

Takebe tambem estava interessado em aproximar 0 valor de n pelo calculo dos perimetros dos poligonos regulares de 2n lados inscritos num circulo de diametro unitario, 0 exemplo seguinte ilustra urn curioso aspecto de seu trabalho. Acharam-se, como perirnetros a, b, c dos poligonos de 215, 216, 217 lados, os seguintes valores

cAp S U LA 22

,

lnflnitesimos na India

JACK BEDIENT

(2)

b (b - a) (c - b)

p= + ,

(b - a) - (c - b)

No inicio da era crista, a invencao do zero para ajudar a escrever numeros no sistema decimal representou urn desafio especial para os matematicos hindus. Suas pesquisas no terreno das forrnas indeterminadas faziam uso de metodos analiticos que, embora primitivos, poderiam ter contribuido para 0 progresso da matematica na Europa se existissern canais de comunicacao,

o matematico hindu Brahmagupta, que estava em franca atividade no seculo VII, sabia das armadilhas nas tentativas de "divisao por zero". Ele afirmava que "positive ou negativo dividido por cifra [zero] e uma fracao com esta como denominador". Essa expressao era chamada kha-cheda (a quantidade com zero como denominador). Considerando seu significado ou importancia Bhaskara (c. 1150) assinalou IMIDONICK : 1351:

a= 3,1415926487 769856708 b::::: 3,1415926523 86591 3571 c ::::: 3,1415926532 88992 7759

Entao, para obter uma aproxirnacao ainda melhor de n, Takebe usava a seguinte f6rmula (que ele nem provava nem explicava):

82

83

Nessa quantidade consist indo naquilo que tem cifra [zero] como seu divisor, nao ha alteracao, embora se possa inserir ou extrair muito; como nenhuma mudanca ocorre com 0 Deus infinito e imutavel, no periodo de destruieao ou criacao de mundos, embora numerosas ordens de seres sejam incorporadas ou produzidas.

que tambem e urna "forma indeterminada do tipo 0/0", sendo que neste caso 0 limite eO.)

Bhaskara afirmou ainda que (a ' 0)/0 = a, urn resultado que seria aeeitavel, se novamente considerassemos a interpretacao acima;

ou seja,

Urna transcricao aproximada desta citacao seria __!!_ = __!!_ + k = 00 •

o 0

Embora Bhaskara falasse de quantidades com divisor zero, parece que, de algoma maneira rudimentar, ele pensava em fracoes com denominadores infinitesimais. Hoje a ideia acima poderia ser expressa sob a forma

Ii a

m -' E = a.

~O E

Baskhara tambem deu alguns exernplos de avaliaeoes corretas e incorretas da inc6gnita em equacoes envolvendo limites; como solucao da equacao

(1)

X'O+ x·O ---0--2-- = 63

lim __!!_ = lim (__!!_ + k) = 00, onde E > O.

£-0 E £-0 E

\

ele deu x = 42,0 que e correto interpretando-se (1) com 0 sentido de

Deve-se enfatizar que para E > 00 simbolismo lim ..E_ = 00

£-0 E

[X.'+.¥ 1

"' = 63;

e definido para significar que, tomando-se urn E positivo suficientemente proximo de 0, ai« pode-se tomar infinitamente grande. Assim, conforme E - 0 atraves de valores positivos, ale nao tern limite, ultrapassando qualquer cota (superior).

Krsna (c. 1550), urn comentador de Bhaskara, registrou que 010 = blO. Poderiamos optar por escrever isso na forma

lim __!!_ = lim s , onde E > 0,

[-0 E £-0 E

e como solucao suposta de

deu para x 0 valor incorreto 9. 0 exemplo (I) e facil de verificar, Mas e mais interessante descobrir como 0 eITO ocorreu no exemplo (2). Como e usual, substituimos 0 por E, e reescrevemos (2) sob a forma equivalente

observada a definicao acima. Isto e, tanto ale como bl« podem se tornar arbitrariamente grandes tomando-se E suficien temente proximo de O.

Brahmagupta observou que 0/0 = 0, urna afirmacao incorreta se interpretada com 0 significado de

(3) lim [X2 . t + (2x2 - 17x) + (x2 - 17 x + 72) . £.] = 90,

x-O E2

onde E > 0,

Neste ponto Bhaskara, que escrevia 0 primeiro termo de (3) como (x2 • 0)/02, substituia 0 02 do denominador por 0, obtendo (x2 • 0)/0. Isto equivale a substituir 0 primeiro termo de (3) por X2 • ele. 0 eITO esta, obviamente, em assumir que

esse limite obviamente e I. fE muito improvavel que Brahmagupta quisesse significar

84

85

Entao Bhaskara concluiu incorretamente que 0 limite do primeiro termo era Xl. Assim, de maneira errada, chegou a equacao quadratica

(4) X2 + (2x2 - 17x) + 0 = 90,

que, de fato, tern a raiz 9. (A outra raiz e -(1013); mas os hindus se contentavam muitas vezes em achar uma raiz apenas, mesmo quando ambas eram positivas, Ao escrever expressoes como (4) usamos notacao moderna.)

Imaginava-se a regiao dividida numa "quantidade infinita de retangulos infinitesimais" de largura dx e altura y (Fig. (23]-2). Obtinhase entso a area da regiao "somando-se" as areas desses retangulos, Essa soma e denotada pelo sinal de integral f, que e urn S alongado, ins-

pirado na inicial da palavra latina summa. Assim, a area em questao pod.e ser escrita

Leituras suplementares

b b

J fIx) dx, J y dx,

a

a

ou simplesmente J y dx. Essa notacao tern uso geral hoje em dia e e lida como "integral de a a b de y dx". 0 simbolo de integral foi introduzido em 1675 por Gottfried Wilhelm von Leibniz num manuscrito em que escreveu Ji para expressar omn. f, isto e, a soma de todos os t [8]. Quem primeiro usou a palavra "integral" foi Jacob Bernoulli, em 1690.

o simbolo comum de somat6rio, l:, e a letra maiuscula grega sigma. Assim, conforme 0 espirito de Leibniz, dever-se-ia escrever

DAITA e SINGH: Ver india MIDONICK; 135

BOYER (b); 241-46

cAp S U LA 23

A integral definida

A. R. LOV AGUA

b

~ydx = J y dx = area.

a

A teoria da integracao "moderna" comecou com Augustin Louis Cauchy, que ao inicio do seculo XIX desenvolveu a integral como urn "limite". Para uma funcao y = fIx), continua no intervalo [a, b], Cauchy formava a soma de produtos

Sn = (Xl - xo) . !(xo) + (X2 - XI) . j(XI) + ... + (xn - xn-ll . f(xn-Jl, onde a = Xo < Xl < X2 < ... < Xn-l < x, = b (Fig. [23]-3).

~

Historicamente, a integral definida desenvolveu-se a partir da tentativa de definir e calcular a area da regiao plana delimitada pelo grafico da funcao y = j(x), 0 eixo X e as retas X = a e X = b, a < b (Fig. [23]-1).

y

86

a b

FIGURA [23]-1

o

x

y = fix)

y

y

dx

y

x

a b FIGURA [23]-2

x

o

o

FIGURA [23]·3

87

Se as diferencas Xi ~ Xi_I> onde t = I, 2, ... , n, decrescem tendendo para 0, 0 ~alor de S" "acabara atingindo urn certo limite" ~, que dependent umcamente da funeao J(x) e dos valores a e b. Esse limite chama-se "integral definida".

Embora 0 simbolo 'j(x)" seja ainda usado para denotar uma funcao, 0 x em f(x) e inteiramente superfluo, se nao enganoso. Com 0 advento da teoria dos conjuntos na segunda metade do seculo XIX, passou-se a considerar uma funcao como uma correspondencia entre dais conjuntos A e B. Indica-se essa correspondencia por uma letra apenas, digamosf A funcaofassocia a cada x em A urn unico elernento, {(x), em B, sendo que J(x) depende de x, U-se f{x) como "0 valor de f em x". Como a integral fica completamente determinada pela funcio f e os extremos a e b, e inteiramente correto, e suficiente, dena-

b

tar a integral por J f Essa notacao tern sido amplamente utilizada

a

nos ultimos vinte anos.

Bibliografia citada no texto

BOYER (a): 206, 229 -- (b): 441 CAJORI (a): II,242-52

NEWMAN: 1,53-58 ROSENTIIAL

ARQUIMEDES. Works" [inctuindo 0 Metodo], ed. THOMAS LmLE HEA1H. 1897,1912. Reimp. Nova York. Dover Publications, 1953.

BALL, W ALTER WILLIAM ROUSE. A Short Account of the History of Mathematics (4~ ed.). Nova York: Dover Publications, 1960.

BELL, ERIC TEMPLE (a). The Development of Mathematics (2~ ed.). Nova York: McGraw-Hill Book Co., 1945.

__ (b). Men of Mathematics. Nova York: Simon & Schuster, 1937. BoYER, EARL B. (a). The History of the Calculus and Its Conceptual Development. Nova York: Dove Publishing Co., 1959.

__ (b). A History of Mathematics. Nova York: John Wiley & Sons, 1968. CAlORI, FLORIAN (a). A History of Mathematical Notations (2~ ed.). 2 vats.

La Salle, Ill.: Open Court Publishing Co., 1951, 1952.

__ (b). A History of Mathematics (2~ ed., rev. e amp.). 1919. Nova York:

Macmillan Co., 1926.

COOLIDGE, JULIAN LoWELL. The Mathematics of Great Amateurs. 1949.

Nova York: Dover Publications, 1963.

DATIA, B. e SINGH, A. N. A History of Hindu Mathematics. Bombairn:

Asia Publishing House, 1962.

DAVIS, PHILIP J. "Leonhard Euler's Integral: A Historic Profile of the Gamma Function", American Mathematical Monthly, LXVI (dezembro de 1959),849-69.

DUNNINGTON, G. WALOO. Carl Friedrich Gauss: Titan of Science. Nova

York: Hafner Publishing Co., 1955.

EUCLIDES. The Thirteen Books of Euclid's Elements. Traduzido para 0 ingles por THOMAS LIITLE HEATH. 3 vols, 1908. Nova York: Dover Pu-

blications, 1956.

EVES, HOWARD. An Introduction to the History of Mathematics (ed. rev.).

Nova York: Holt, Rinehart & Winston, 1964.

HAGA, ENOCH J. "History of Digital Computing Devices", School Science and Mathematics, LXII (marco de 1962), 197-205.

HEATH, THOMAS UTILE. A Manual of Greek Mathematics (condensacao de A History of Greek Mathematics). Nova York: Oxford University Press, 1931; Dover Publications, 1963.

HOFMANN, JOSEPH EHRENFRIED. The History of Mathematics. Traduzido para 0 ingles por HENRIEITA O. MIOONICK. Nova York: Philosophical Library, 1957.

KING, AMy C. e READ, CECIL B. Pathways to Probability ("Holt Library of Science"). Nova York: Holt, Rinehart & Winston, 1963.

KLEIN, FELIX. Vorlesungen iiber die Entwicklung der Mathematik im 19. Jahrhundert, 2 vols, Nova York: Chelsea Publishing Co., 1956_

Leituras suplementares

88

89

LEAVITT, DUDLEY. Pike's System of Arithmetic Abridged. Concord, N.

H.: J. B. Moore, 1832.

MESCHKOWSKI, HERBERT. Ways of Thought of Great Mathematicians. Traduzido para 0 ingles por J. DYER·BENNET. Sao Francisco: Holden-Day, 1964.

MIDONICK, HENRIETTA O. ed. The Treasury of Mathematics. Nova York:

Philosophical Library, 1965.

MIKAMI, YOSHIO. The Development of Mathematics in China and Japan. 1913. Nova York: Chelsea Publishing Co.

NEWMAN, JAMES Roy, ed. The World of Mathematics. 4 vols. Nova York:

Simon & Schuster, 1956.

ROSENTHAL, ARTHUR. "The History of the Calculus". American Mathematical Monthly, LVIII (fevereiro de 1951), 75·86.

SANFORD, VERA. A Short History of Mathematics. Boston: Houghton Mifflin co., 1930.

SCHRADER, DoROTHY V. "The Newton-Leibniz Controversy Concerning the Discovery of the Calculus", Mathematics Teacher, LV (maio de 1962), 385-96.

SMITH, DAVID EUGENE (a). History of Mathematics. 2 vols. 1923, 1925.

Nova York: Dover Publications, 1958.

-- (b). A Source Book in Mathematics. 1929. Reimp, (2 vols.). Nova York: Dover Publications, 1959.

STRUIK, DIRK 1. (a). A Concise History of Mathematics (3~ ed. rev.). Nova York: Dover Publications, 1967.

-- (b). ''The Origin of L'H6pital's Rule", Mathematics Teacher, LVI (abril de 1963), 257 -60.

-- (c). A Source Book in Mathematics, 1200-1800. Camdridge, Mass.:

Harvard University Press, 1969.

TOEPLlTZ, Orro. The Calculus: A Genetic Approach, ed. GoTTFRIED KOTHE.

Traduzido para 0 Ingles por LUISE LANGE. ("Phoenix Science Series''). Chicago University of Chicago Press, 1963.

TURNBULL, HERBERT WESTREN. The 'Great Mathematicians. 1929. Nova York. New York University Press, 1961, Simon & Schuster, 1962. (Reimpresso tambem em !NEwMAN. I, 75-168/.)

~

Indice remissivo

90

Abel, Niels Henrik, (1802-1829),61 contribuicoes medievais, 8-11

Aiembert, Jean I..e Rond d', (1717- eontroversia da prioridade, 22-23,

1783), 61, 66, 78 71

Algebra babil6nica, 2 de variacoes, [15], 67-68

Algoritmo euclidiano, 3 diferencial, 15, 23,45

Apol6nio de Perga, (c. 190 a.C], 12 etimologia de, 1

Area do circulo, 2, 12,29,33,57,68 integral, 7, 15,22,28

Aritmetizacao da analise, 26, 27 no Japao, [21], 80-81

Arquimedes, (c. 287-212 a.C], 5-8,10, nota¢es,20-21

28-30,57-59,60 Cauchy, Augustin Louis, (J789-1857),

antecipacao do calculo, [1], 28-30, 26,61, 62, 70, 80, 87

35 Course d'analyse. 26

determinaeao de 'It, 29 Cauchy Riemann, equacoes, 66

lema de, 4 Cavalieri, Bonaventura, (1598-1647),

Metodo, 6,1, 10 [4], II, 12, 17,35-36,40,45

metodo de, [12], 5-8, 10, 28- 31 , Geometria indivisibilibus, II, 12, 35

57-58 metoda dos indivisiveis, 11-12

Babbage, Charles, (1792-1871), 50 principio de, 11

Barrow, Isaac, (1630-1677), [7], 16, Cayley, Arthur, (1821-1895), 80

17,42-44,45 Chhin ou Chin Chiu-shao, (c. 1201-

Lectiones Opticae et Geometricae, c. 1261),66

16,42 Convergencia, [13],59-62

triangulo diferencial, 43 Dem6crito, (c. 410 a.C.), 7

Berkeley, George, (1685-1753), 24, 25, De Moivre, Abraham, (1667-1754), 55

73 Derivada, 26,44

Analyst, 24,25 Derivadas parciais, [19], 77-78

Bernoulli, Daniel, U700-1782), 66, 78 Notacao, 77-78

Bernoulli, Jakob ou Jacques, (/654- Descartes, Rene, (1596-1650), 12, 17,

1705),23,68,69, 87 19,40,45

Bernoulli, Johann ou Jean, (1667- La geometrie, 12

1748),23,24.25,63-66,68,69,74 Determinantes, 79, 80 Bhaskara, (1114 - c. 1185), 83, 84-85 Diferencas finitas, [11], 55-57

Bolzano Bernhard U781-1848), 26 Diferenciacao, 15,20-21

Boole, George, (18i5-1864), 55, 57 Diferencial, 20-21, 4~-~

Finite Diferences, 55 Triangulo caractertsnco ou, II, 43,

Braquist6crona, 68 45

Brahe, Tycho, (1546-1601), 33 Epsilon-delta, 27, 61

Brahmagupta (c 628) 83 84 Equacoes de Pell, 66

Caleulo ,. " Equaeoes diferenciais, [16J, 69-70, 78

busca do rigor, 24-28 Eud6xio, (408-355 a.c.), 3, 7

concepe3es na antiguidade, 1- 3 Euler, Leonhard, (1707-1783), 24, 25,

91

27,55,60,62,66,68,70,76,78,80 Introductio in analysis injinitorum, 24,27

Fermat, Pierre de, (1601-1665), [5], 12, 14-15, 16, 17,36-39,53

Metoda de maximos e minimos de, 15, 37, 53

Fluentes, 18,49-50 Fluxos, 20, 24, 49-50

Fourier, Jean Joseph, (1768-1830),62, 78

Funcao

conceito de, 24 definiC40 de, 27-28 grafieo de uma, 9 notacso de, 88

Funcoes transcendentes, 18, 19 Galileu Galilei, (1564-1641), 10, 11,31 Gauss, Carl Friedrich, (1777-1855),

61,62

Gregory, James, (1638-1675), 15, 16, 18

Hamilton, William Rowan, (1805-

1865), 77

Heaviside, Oliver, (1850-1925),62,70 Hipias de Elis, (c. 425 a.Cj, 3 HOlder, Otto, (1859-1937), 61 Horner, W.G., (1786·1837)

Metodo de, 66 Incomensurabilidade, 3-4 Indivisiveis, 11-12

Infinitesirnos na india, [22], 83-86 Integral, 5, 10, 13-14, 21, 26

definida, [231, 86-88. multipla, [20], 79-81 notacao de, 87

Jacobi, Carl Gustav Jacob, (1804-

1851), 78, 79 Jacobiano, [20], 79-81

Jartaux, Pierre, (1670-1720), 81 Kepler, Johann, (1571-1630), [3], 11,

17,33-34,51-52

Stereometria doliorum vinorum, 51 Klein, Felix, (1849-1925), 80

Kowa, Seki, (1642-1708), 81

Krsna, (c. 1550), 84

92

Lacroix, Sylvestre Francois, (1765- 1843),80

lagrange, Joseph Louis, (1736-1813), 25,61, 77, 78

Theorie des fonetions ana/ytiques, 25

Laplace, Pierre Simon, (1749-1827),15, 70, 78

Legendre, Adrien Marie, (1752-1833), 77

Leibniz, Gottfried Wilhelm von, (1646- 1716), [8],5, 17-21,44-48,60,69, 77,82,87

Notacoes de, 45-47, 50 Lema de Arquimedes, 4

L'Hospital, G. F. A. de, (1661-1704),

[14], 23, 62-67

Lie, Sophus, (1842-189CJ), 70

Limite, conceitos de, 4, 21-22 Maclaurin, Colin, (1698-1746), 73-74

Treatise on Fluxions, 73 series de, [17], 73-74

Maximos e minimos, 15,37-38,52,68 Media aritmetica, 2

Media harmonica, 2

Mercator, Nicolaus, (1620-1687), 18 Metoda de exaustao, [12], 4-5, 7, 10,

28, 29, 30, 31, 57-59

Napier, John, (1550-1617), 16 Newton, Isaac, (1642-1727), [9], 5,16, 17-21,42,48-50,60,69, 77

De analysi, 18, 22

De quadratura, 20

Principia, 20, 21, 22

Oresme, Nicole, (c. 1323-1381), 9, 10, 11,12,27

Ostrowski, Alexander, M., (1893- ),

61

Papus, (c. 320),8

ColeriJo Matematica, 8 Papiro Rhind, 1

Parabola, area do segmento de, 6, 29-31,57-59

Pascal, Blaise, (1623-1662), 45 Triangulo de, 66

Pell, John, (1611-1685), 66

Equacoes de, 66

11 (Pi), aproximacoes, 2, 29, 82 aproximacao arquimediana, 29 metodo classico de calcular, 29 serie de Leibniz para, 18

Picard, Emile, (1856-1941), 70 Pike, Nicholas, (c. /790),53-54 PlatAo, (c. 430-c. 349), 3 Principia da continuidade, 33-34 Raiz quadrada, 2

Regiamontanus [Johann Muller], (1436-1476), 12

Regra de L 'Hospital, 62-66 Roberval, Gilles Persone de, (1602- 1675), 12

Rolle, Michel, (1652-1719), 25 Salman, George, (18/9-1904), 80 Modem Higher Algebra, 80 series, 18, 23, 25, 48, 55

Paradoxes sobre, 60-61 series altemadas, teste, 48, 60 series de Fourier, 66 Simbolos

para derivadas parciais, 77-78 para a integral, 22, 45-46, 50, 87 Stevin, Simon, (1548-1620), [2], 31-32,

Antecipacao da integral definida,

32

Stirling, James, (1692-1770), 55

Methodus dlfferentialis, 55 Sylvester, James Joseph, (1814-1897),

80

Takebe, Hikojiro Kenko, (c. 1722), 82 Tangente a uma curva, 16,43-44 Taylor, Brook, (1685-1731), 55-57,71

Methodus incrementotum directa et in versa , 55, 71

Serie de [171, 71-74

Tangente, problema inverso, 16 Teorema binomial, 17, 47, 60 Torricelli, Evangelista, (1608·1647),

12, 15

Varignon, Pierre, (1654-1722),64,67 Viete, Francois, (1540-1603), 12, 15,37 Volume

da esfera, 6, 29, 33-34 da piramide quadrada, 2 Volumes

de barris, [10], 51-54

de s6lidos de revolueao, 34 Wallis, John, (6],13,14,17,39-41,75 Arithmetica injinitorum, 13,41 Tracuuus de sectionibus conicis, 40 Weierstrass, Karl, (1815-1897), 27, 61

Yang Hui, (c. 1261),66

Zenao de Eleia, (c. 450 a.C.), 3 Paradoxes de, 3, 9, 59

Zero, operaeoes com a, 65, 83-86

93

You're Reading a Free Preview

Descarregar
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->