CARL B.

BOYER

Este livro integra a serie T6picos de

"Topicos de

HISTORIA DA MA TEMA TICA
para uso em sala de aula

HISTORIA DA MATEMATICA
para uso em sala de aula

VOLUMES PUBLICADOS:

Nurneros e numerais Cornputacao Geometria Algebra Trigonometria 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.

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 hist6ria 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. texto consta de duas partes. A primeira 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 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-

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

(CiP)

Boyer. Carl Benjamin. 1906· Calc ulo I Carl B. Boyer: t rad, H ygi no H. Domingues. - Siio Paulo : At ual, 1992. - (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: : Hist6ria 510.9

e

":J:.-~""-''''''. Maternatica

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 NOS PEDIDOS TEU~GRAFiCOS BASTA C1TAR

o

e

a

a C6DIGO

ADRM5216F

LOLUEN

\

10 de matematica do segundo grau, (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 significativamente, corn os volumes anteriormente publicados, para consolidar 0 papel didatico-cultural da hist6ria da matematica no ensino.

e

o tradutor

Sumario
lntroducao: uma visao geral .. Capsula I - A antecipaeao de Arquimedes ao caleulo Capsula 2 - Simon Stevin Capsula 3 - Johann Kepler CApsula \4 - Bonaventura Cavalieri CApsula 5 - Pierre de Pennat CApsula 6 - John Wallis capsula 7 - Isaac Barrow capsula 8 - Leibniz CApsula 9 - Notacao de Newton versus notacao de Leibniz capsula 10 - Volumes de barris capsula 11 - Diferencas finitas CApsula 12 - Arquimedes e 0 "metodo de exaustao" Capsula 13 - Convergencia Capsula 14 - A origem da regra de L'Hospital Capsula 15 - Cakulo de variaeoes .. capsula 16 - Uma selva de equacoes diferenciais Capsula 17 - Maclaurin, Taylor e suas series diferenciais capsula 18 - De n! a funOio gama capsula 19 - Derivadas parciais capsula 20 - lntegrais rnultiplas e jacobianos CApsula 21 - Calculo no Japao capsula 22 - Infinitesimos na india capsula 23 - A integral definida Bibliografia citada no texto Indice remissivo

28
31

I

33 35
36 39

42 44

48 51 55 57 59 62 67 69 75 77
79

71

81

89 91

83 86

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 "calcu10" 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. 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,

E

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 relacOes 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

o

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 pe10menos 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 preocu2

pacoes 16gicas. Dai por que 0 credito pelos premincios do calcu10 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 comparanumerica 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-

cao

3

< £. 4 Os gregos antigos tinham outra abordagem para a integracao. Esse instrumento foi descrito por Arquimedes. Livro XII. 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. numa carta a Erat6stenes.pelo qual lhe sera possivel dar os passos iniciais que Ihe permitirao investigar alguns dos problemas de maternatica por meio da mecanica". numa forma geometrica desajeitada. nao estao distantes quanto a seu significado. o valor do calculo moderno. e 5 . mas. 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]". As duas formulacoes. 2. de Eud6xio) pode ter side menos efetivo que 0 de Newton e Leibniz dois milenios ) mais tarde. entao lim u. de maneira muito semelhante a empregada por Euclides no Livro X. = 0 < o. deve-se demonstrar que. e se u. no entanto. par multiplicacao. 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. mesmo que pequeno (0 equivalente da grandeza menor a na proposicao de Euc1ides). de que as areas dos circulos tern a mesma relacao proporcional que tern as areas dos quadrados sobre seus diametros. bern mais de urn milenio antes da epoca de Euclides. pois 0 fulcro da questao e que se A e a maior das duas grandezas dadas (positivas) a e A. 2. Ate aqui destacamos a semelhanca entre 0 antigo metodo de exaustao e a formulacao moderna rigorosa do calculo. muitas vezes conhecido como "lema de Arquimedes". que aparece como Definicao 4 no Livro V dos Elementos de Euclides. tinha sido adotada pelas civilizacoes pre-helenicas nos vales dos rios Nilo e Tigre-Eufrates.gem que aos matematicos pareeeu irrefutavel e que servia essencialmente aos mesmos prop6sitos de urn processo infinito. Eud6xio com eerteza utilizou essa "definicao". uma area de superficie plana e imaginada como sendo constituida de uma quantidade indefinidamente grande de segmentos de reta parale!os. dado urn numero positivo s. enquanto a notacao moderna recorreu ao simbolo de infinito. Aqui. que servia como urn efetivo instrumento para a invencao. o calcuio de Euclides (derivado. Para mostrar que lim u. em termos de ideias basicas. 0 equivalente grego do calculo: Consideradas duas grandezas desiguais. e da que resta uma grandeza maior que sua metade. contudo. mas e bern possivel que sua formulacao do conceito de limite fique aquem dos padr6es de rigor logico observados pelo autor de Elementos. sirnplesmente como "urn certo metoda .a prova no Livro XII. esta nao tanto em seu poder de desenvolver demonstracoes rigorosas como na sua maravilhosa eficacia para realizar novas descobertas quantitativas. urna para a outra. A essencia de Elementos. 1 (e ainda posteriormente por Arquimedes) para provar o procedimento basico no "metodo de exaustao". uma for capaz de exceder a Dutra. = A12n. esta urn dos mais antigos teoremas sobre limites. se. mas ha diferenCas essenciais. consistia num esquema para equilibrar entre si os "elementos" de figuras geometricas. restara uma grandeza que sera menor que a menor das grandezas consideradas. o metoda de Arquimedes Deve-se notar que. por exemplo. [Urn segmento de reta. se da maior subtraimos uma grandeza maior que sua metade. 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. = 0. a linguagem antiga cuidadosamente evitava qualquer referencia aberta a urn processo infinito. Ele comeeou com urn axioma. 0 prop6sito de Euclides no "lema de exaustao" (Livro X. deve ser considerado como formado de pontos. por exemplo. que realmente e uma suposicao. que Arquimedes visualizou corretamente e que habilitaria seus conternporaneos e sucessores a fazer novas descobertas. 0 "certo metodo". 1) era preparar 0 terreno para a mais antiga cornparacao verdadeiramente rigorosa de figuras curvilineas e retilineas que chegou ate n6s . presumiveimente. Diz-se que grandezas tern urna razao. e se este processo e repetido continuamente.

) Arquimedes descobriu esse teorema atraves de urna engenhosa condieao de equilibrio entre as seccoes circulares de urna esfera e urn cone. provavelmente. nunca foram muitas as c6pias. se a esfera e 0 cone fossem pendurados em H. (lsto pode ser verificado facilmente atraves da goometria analitica. sobre AC.uma figura s6lida e considerada como uma totalidade de elementos planos paralelos. esta relacionado com 0 metodo de Arquimedes. 0 volJ.. de outro. e C2. este plano interceptara 0 cone. 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. Seu "metodo" mecanico levou a teoremas sobre areas. com centro em X. a esfera e igual a 112do cone AEF ou 4 vezes 0 cone ABD . Evidentemente. Arquimedes considerou esse resultado tao-somente como uma conclusao plausivel a ser verificada ao final pelo rigoroso metodo de exaustao. em nossa linguagem. considerando-se urn plano por urn ponto qualquer X.) Dai que. a esfera e • 0 numero destacado entre colchetes indica a capsula que trata do assunto. (Anteriormente Dem6crito tinha conhecimento de que 0 volume de urn cone e 113 do volume do cilindro de mesma altura e 0 mesmo raio. ou. (N. era urn metodo impecavel para estabelecer a valida. imaginando-se os circulos com pesos proporcionais as suas areas. 'Ninguem no mundo antigo igualou-se a Arquimedes. = XP. Arquimedes achou essa abordagem heuristicamente muito frutifera. urn cone circular rete e de urn cilindro circular reto. Sem subscrever necessariamente a validade de uma tal visao em matematica. L FIGURA[!] E Consideremos HC como 0 brace de uma balanca da Qual 0 ponto medic A e o fulcro. quanto a inveneao e a demonstracao. A esta altura. Livro XII.T. C2 e C3. foi urn instrumento que levou a descoberta de conclusoes plausiveis .) o cilindro segundo circulos C]. meia duzia de secules mais tarde. E importante notar que M dois aspectos nas antigas origens do calculo integral. respectivamente. dos Elementos). Urn deles.!!De da esfera e 4nr3/3. Y2 = XQ e Y3 = XR os raios desses tres circulos.-dO Metoda. 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. E bern provavel que nenhum desenvolvimento da hist6ria da matematica em nosso seculo se iguale em romance a redescoberta do Metoda de Arquimedes [12]. mas nao parou por ai. ao lidar com problemas relacionados ao calculo. visto que 0 cilindro e 3 vezes 0 cone. estes equilibrarao exatamente C3 na-posieao que ocupa no diagrama . Arquimedes explorou os dois aspectos com sucesso. 0 primeiro. equilibrariam 0 cilindro se este fosse pendurado em M. Portanto a esfera e 0 cone juntos sao iguais a. 0 outro. 7 6 . Arquimedes descobriu que. tender-se-ia a concluir que 0 teorema ja estivesse provado. ambos tendo AC como eixo e EF c0mo diametro da base. No entanto. contudo.isto e. seja fazendo uso de indivisiveis ou dos elementos de dimensionalidade menor de Arquimedes (assemelhando-se mais ao estagio do calculo no seculo XVII). como mostra a Figura 1. 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). de urn lado.isto e. demonstrando esses teoremas da maneira tradicionalmente rigorosa pelo metodo de exaustao. proveniente da 000 atomistica associada a Demecrito.1/2 do cilindro. 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. respectivamente. e durante quase dois milenios 0 trabalho pennaneceu essencialmente desconhecido. Entao. e representado pelo rigoroso metodo de exaustao (ilustrado na prova do teorema 2. mas a matematicos gregos que viveram.de de urn teorema. ponto medic de AC. volumes e centros de gravidade que tinham escapade a todos os seus predecessores. e os elementos circulares de urn cilindro. A vancou mais. A aplicabilidade do metoda sera ilustrada aqui com a segunda proposieao do Metoda. Sejam Y. 0 teorema geral mais antigo em calculo nso se deve a Arquimedes. 0 ultimo. colocando-se em H os circulos C. Seja ABeD urn circulo maior da esfera e sejam AEF e LEFG seccoes de. derivado de Eudoxio. nao muito distante dos conceitos do seculo XIX.

Nesse ponto. Infelizmente. uma certa originalidade engenhosa resultou nurn avanCo. 0 estudo das mudancas dinamicas era considerado mais adequado a discussao filos6fica qualitativa do que a uma formulacao cientlfica quantitativa. todos eles provados por uma unica demonstracao". como Papus notou. Nos seculos XII e XIII a Europa latina tornou-se receptiva Ii cultura classica. 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. Por exemplo. cujo comprimento representava a velocidade do objeto no tempo correspondente. e para cada urn desses pontos erguia (nurn plano) urn segmento de reta vertical ("latitude"). era claro entao que a area . Papus nao nos infonnou como se prova 0 teorema. 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. no seculo XIV. a partir do repouso em A na Figura 2. 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. OreSlife classificava seus tipos de variaeao conforme fossem uniformes (isto e. e assim nao sabemos se foi apenas descoberto ou tambem provado por ele proprio. S6 era capaz de levar a efeito a integracao decorrente des ca50S de taxa de variaeao uniforme e uniformemente diforme.dos mais antigos exemplos na historia da matematica do que hoje seria chamado "grafico de uma funcao". Ao conectar as extremidades dessas perpendiculares ou latitudes. numa direcao que havia sido evitada na antiguidade. o resultado inclui. E. mas que equivale Ii afirmacae de que 0 volume gerado pela rotac:iiode uma figura plana em torno de um eixo que nao a intercepta igual ao produto da area do e teorerna geral e de seu analogo. 0 nivel da matematica no mundo ocidental decaiu sistematicamente por quase urn milenio. S Urn dos lideres desse movimento foi Nicole Oresme (c. Estudando. bern como a fisica arquimediana. FIGURA [2] B 9 . Todavia. francesas e italianas desenvolveram por si pr6prios urn calculo 'integral primitivo. "os teoremas de todos os tipos sobre curvas. 320 d. mas 0 nivel da matematica na Europa medieval permaneceu muito abaixo daquele do mundo grego antigo. Para Oresme.num . velocidade do primeiro objeto no ponto medic do intervalo de tempo. ate que ponto se movera num dado tempo? Se a temperatura de urn corpo varia de uma parte para outra. Mas a argumentacao eseolastica nas universidades de Oxford e de Padua. bispo de Lisieux. e dividia 0 ! Ultimo tipo em variacoes uniformemente diformes e diformemente diformes. afirmava que se urn corpo se move com velocidade uniformemente diforme (isto e. provocou urn desvio na visao aristotelica de mudanca e variacao. pois e a soma de todos os incrementos de distancias correspondentes as velocidades instantaneas. depois dele. constantes) ou diformes (nao constantes).sob este grafico representaria a distancia percorrida.figura plana peia distiincia que seu centro de gravidade descreve durante 0 movimento. A maternatica arquimediana. por exemplo. obtinha uma representacao da variacao funcional da velocidade com relacao ao tempo . A civilizacao romana foi em geral inospita para com a matematica.Cj. quanto calor h~ em todo 0 cor po? Reconhecem-se aqui precisamente as quest6es com que 0 calculo lida. para ele era uma questao facil achar a area de urn retangulo. mas os intelectuais do periodo medieval nao tin ham herdado da antiguidade nenhuma analise de variaveis matematica. fora essencialmente estatica. A D . como a area do triangulo e a base multiplicada por 1/2 da altura. Dai resultou que os sacerdotes das universidades inglesas. Contribulcoes medievais Papus foi 0 ultimo matematico importante da antigiiidade. encontramos uma proposicao expressa de modo desajeitado. Papus sabia perfeitamente da importancia desse Na Coleoio Matematica. superficies e solidos. Oresme associava os instantes de tempo dentro do intervalo aos pontos de urn segmento de reta horizontal (chamado "linha de longitudes"). sirio e outras linguas. arabe. hebreu. 1323-1382). com taxa de variacao de velocidade uniforme). referente a superficies de revoiucao. Comecaram a ser levantadas pela intelectualidade questoes como: Se urn objeto se move com velocidade variavel. urn triangulo ou urn trapezio. a distancia percorrida POT urn objeto em movirnento com velocidade variavel. de Papus (c. transmitida atraves do grego. no seculo XIV.

0 que Oresme estava querendo dizer equivaie. 2 urn resultado expresso inequivocamente (mas com base no mesmo tipo de racioclnio) por Galileu Galilei. que geralmente recebe 0 nome de "teorema de Cavalieri". a taxa de variacao da velocidade em relacao ao tempo. as integracoes de Galileu e Kepler foram eclipsadas por urn tratado escrito em 1635 por Bonaventura Cavalieri. geralmente 0 conceito de derivada e apresentado primeiro. 11 . no seculo XVII. porem nenhum metodo sistematico ou terminologia para lidar com tais conceitos foi desenvolvido na antiguidade ou no periodo medieval. provavelmente. Nesse livro os indivisiveis. Porem. Mesmo durante 0 Renascimento. Hoje em dia.Seu argumento era que a representacao de urn objeto em movimento durante 0 tempo AB com veiocidade DE sera 0 retangulo FGBA. conclusoes que parecessem plausiveis. 0 sedutor conceito de indivisivel em geometria teve urn papel importante. ira pensar na area sob 0 grafico como uma medida de distancia. observando a representacao de Oresme. discipulo do prjmeiro. A essa altura. intitulado Geometria indivisibilibus continuorum nova quadam ratione promota. . embora esse tratado na~ fosse disponivel aquela eJXlC3. que nao havia nenhum conceito equivalente ao de diferenciacao. E importante notar. em seu conhecido tratado sobre medida de barris de vinho [10J. Em particular a retomada de urn interesse amplo pelas obras de Arquimedes levou. Galileu tinha tido contato com esse conceito atraves das contribuicoeS"lnedievais a dinamica. mas urn metodo que pudesse levar a novos resultados. dois seculos e meio mais tarde.nao urn argumento para estabelecer. a historia a seu lado. Quanto ao outro aspecto do calculo integral antigo. isto e. em relaeao aos estudos medievais de latitudes de formas. Trata-se de uma visao semelhante aquela utilizada por Arquimedes em seu Metodo. obviamente. adotou os metodos mais eflcazes de Arquimedes. So mais tarde. acima de qualquer duvida. eram poucos os que emulavam a precisao logica da antiguidade em matematica. permanece intacto nos textos elementares ate os dias de hoje: Se dois 56lidos (ou regioes planas) tem alturas iguais. 0 que os geometras do inido da era modema buscavam era menos urn argumento do que urn metodo . e que c6pias ma10 o novo papel dos indivisfveis o reaascimento em matematiea consistiu numa interacao intrincada das tradicoes medievais com ideias mais novas e mais antigas. Este principio permitia a Cavalieri passar de uma estrita correspondencia de indivisiveis numa dada razao a conclusao de que todos esses indivisiveis (isto e. a busca de atalhos que pudessem simplificar 0 calculo integral. 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. hoje em dia. imaginavam as areas do triangu10e do retangulo formados de segmentos de reta verticais em quantidade indefmidamente grande. x2 y2 -a2 + -b2 = 1. teve pouca aceitacao no periodo medieval. ou infinitesimais fixos. e a distancia percorrida nesse caso sera dada pela area desse retangulo. num certo sentido. nos cursos de calculo. que e igual a area do triangulo ABC. Mas e verdade que alguns dos trabalhos de Arquimedes relacionados com a tangente a espiral aproximam-se do calculo diferencial. porquanto a integracao precede a diferenciacao em cerca de dois milenios. pois estava essencialmente reIacionada ao metodo mecanico de Arquimedes e as integracoes graficas de Oresme e Galileu. Os textos que invertem os papeis e poem a integral antes da derivada tern. Tanto Oresme como Galileu estavam fazendo uso da antiga nocao de elementos geometricos. e Johann Kepler (1571-1630). a afirmar que S= fo Kt dt T = KP nuscritas das representacoes graficas de Oresme contem fortes indicios do triangulo diferencial. de inicio provavelmente imaginara a declividade da curva da velocidade-tempo como uma medida da aceleracao. eram aplicados corn tanto exito a problemas de mensuracao de areas e volumes. as figuras de dimensao maior) tambern estavam entre si nessa mesma razao. Kepler tinha usado a ideia ao achar que a area da elipse. 0 principiante em calculo. A ideia que estava por trois disso nao era reaJmente nova em 1635. vindo depois a nocao de integral. e se sece6es paralelas as bases e a distdncias iguais delas estiio sempre numa dada razao. 0 rigoroso metodo de exaustao. que 0 postulado fundamental. 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. enttio os volumes (ou areas) dos solidos (ou regi6es) tambem estao nessa mesma razao. e.

Francois Viete (tarnbem conhecido IX>rFrancis ou Franciscus Vieta) e out~os viram que a algebra cada vez mais simbolica de seus dias . La geometrie. Cavalieri considerava seu metodo como uma parte da geometria. coordenadas ja tin~ sido usadas . que pouco progresso fez no seculo e meio seguinte. A consequencia 16giea dessas ideias foi a geometria analitiea de Fermat e Rene Descartes. 0 metodo dos indivisiveis nao era propriedade de Cavalieri. Pode-se notar pronta e c1aramente essa mudanca de visao na Arithmetica infinitorum de John Wallis. durante 0 qual a analise infinitesimal entrou num processo de aritmetizacao que quase resultou numa revolucao. foram introduzidas em maternatica exatamente IX>rvolta da epoca em que Cavalieri estava desenvolvenda sua geometria dos indivisiveis. mas. Como as ordenadas dessa elipse estao. a razao e 02 p+p + J2 = _1 = _I + _1 . Cavalieri aplicou engenhosamente a ideia dos indivisiveis a uma variedade ampla de novos problemas. 18 3 18 Para Wallis tornou-se evidente. cerca de vinte anos depois do classico de Cavalieri.. atraves de inducao..com eficacia na antiguidade. Descartes viu como objetivo de seu trabalho a cooperacao entre 12 Subdividindo-se 0 intervale entre x = 0 e x = I em duas partes iguais e imaginando-se cada parte como urn intervalo unitario.e nab. Para mostrar. A geo metria pura foi tao eclipsada.1 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. visando fazer com que a maternatica viesse a ter os melhores aspectos de cada urn desses ramos. e depois. = o n+1 kTn+f algebra e geometria. a razao entre as somas dos quadrados torna-se 02 + 12 + 22 ---:------=-=22 + 22 + 22 =_ 5 12 =- I 3 + -. uma pro va sugerida pela geometria dos indivisiveis de Cavalieri mas levada a efeito por uma aritmetizacao nitida do calculo. Estava sendo amplamente usado por homens que estavama par dos pensamentos matematicos da epoca. entao a area da elipse deve estar para no2 (area do circulo) na razao bla. a razao entre as somas dos quadrados e 02 + 2 )2 + 2 22 2 + 32 32+3 +3 +3 _ 7_ I -_ --1 +-.adas sob a curva y = X2 e a soma dos quadrados das ordenadas cortespondentes sob y = I. a Europa era varrida por uma revolucao analitica. da algebra retorica dos arabes . As "parabolas de ordem superior" de Pierre de Fermat. que Embora este ultimo resultado ja fosse conhecido independentemente por outros matematicos como Gilles Persone de Roberval e Evangelista Torricelli (alem de Fermat). que a geometria acabou perdendo popularidade com a parceria '. de Descartes. parece que Cavalieri foi 0 primeiro a publica-lo. an-1 y = xn. na latitude de formas de Oresme. publicada em 1637 somente dois anos ap6s a publicacao da Geometria indivisibilus de Cavalieri. Considerando-se so as ordenadas em x = 0 e x = I. ' J03' I x2dx =_1 Wallis fOWlava a razao entre as somas dos quadrados de ordenadas igualmenie espac.. + n2 n2 = + n2 + _1 + _1_ 3 6n 13 n2 ~ n2 + . enunciando 0 equivalente da conhecida formula I ktn dt T . cunosamente. IX>rexemplo. enquanto ele estava escrevendo. + n2 . na razao bfa.prestava eficientes services a goometria. de uma maneira mais primitiva. mudou inevitavelmente 0 curso da analise infinitesimal. que 02 + 12 + 22 + 32 + . porem.. Cavalieri estendeu a integracao de Oresme de kt de modo a incluir a integral de ki«. Aconteceu. especia1mente na geometna de Apolonio. 2 3 6 Descartes. Em seus trabalhos posteriores.denvada. Em outras palavras. Como seus contemporaneos. Wallis e Fermat As sementes da revolucao tinham side lancadas no Renascimento quando Regiomontanus (Johann Miiller). publicada em 1655. para as ordenadas correspondentes do circulo X2 + y2 = a2. Nesse tratado muito lido 0 autor incluiu sua propria abordagem caracteristica da integral de kx~. '0 trabalho de Descartes (e 0 de Fermat) foi importante nao tanto pelo uso de coordenadas.

Entao. que Fermat foi 0 inventor do calculo diferencial. Por urn raciocinio semelhante Fermat mostrou que.5)£2 + 2£3 = O. foi 0 responsavel por urna contribuicao ainda mais significativa para 0 desenvolvimento do calculo. como Evangelista Torricelli.5 (x + E)2 + 4(x + E) . portanto. leao apogeu os metodos de integracao iniciados por Eud6xio. Em termos da notacao cartesiana (a qual. que conhecia bern as regras de diferenciacao e integracso.E3 = P (I . por exempl~. conforme n cresce indefinidamente. assim como Eud6xio costuma ser reconhecido como 0 inventor do calculo integral. Agora. dois milenios antes. argumentava Fermat. ao passo que no segundo caso aumentava-se 0 expoente de uma unidade e dividia-se 0 coeficiente pelo novo expoente. para todos os valores racionais de n. 0 que se usa hoje no calculo quando se acha a derivada e impoe-se que scia igual a O.lOx + 4 = O. Para achar Jx dx o 2 T o trabalho de Fermat. Fermat descobriu urn metodo surpreendentemente simples de achar maximos e minimos de curvas polinomiais. 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. todavia. Certamente 0 uso de Ax ou h onde Fermat escrevia E e irrelevante.T3/3.e que. E3T. e a soma das areas dos retangulos tende a area sob a curva . e esta mais proximo da integral de Riemann do que qualquer outro anterior ao seculo XIX. nao obstante. foi ele 0 inventor do processo hoje chamado "diferenciacao". Fermat erguia ordenadas a curva y = x2 nos pontos da Figura 3 cujas abscissas eram. desde que a variacao E na abscissa seja pequena. mas tampouco 0 viram seus contemporaneos. 0 resultado.. Seu metodo de integrar xn era 0 mais refinado entre os existentes na epoca. 0 pr6prio Fermat caminhava na mesma direcao. James Gregory ou Isaac Barrow. A resolucao dessa equacao leva aos valores 1 e 2/3 como abscissas dos pontos criticos da curva. exceto para n = . 0 maior dos amadores da matematica. formava uma sequencia de retangulos aproximando a area sob a curva. Fermat rejeitou em favor da notacao de Viete.I. dai impunha que os dois valores das ordenadas vizinhas fossem iguais entre si. E2T.7. Teria Fermat. . num ponto de maximo ou de minimo a variacao da ordenada e virtualmente desprezivel. acertadamente. e yOU (6x2 . ' 15 . a ordenada sera 2 (x + £)3 .. Literalmente. as tendencias aritmetizantes de Wallis foram passos na direcao certa. t. ap6s a transposicao dos termos. tendem a 0. onde E < I. Esse procedimento de Fermat e. 0 metodo eo seguinte.7. tanto em sua invencao da geometria analitica quanto em suas contribuicoes ao calculo. tampouco seus sucessores 0 fizeram por dois seculos. parece que Fermat nao viu nada de significativo nesta notavel relacao reciproca. respectivamente.~tutFIGURA [3] por exemplo. esta razao aproxima-se carla vez mais de 113. como Pierre Simon Laplace. as Iarguras dos retangulos 1 . Ha plena razao para se reconhecer. em essencia.. de modo que para n = 00 a razao sera 113. = ) T3 ./ - lOx + 4)E + (6x . Estranhamente. Justamente durante os anos em que ele e Descartes estavam inventando a geometria analitica. ET. etc. A soma das areas desses retangulos e dada pela progressao geometrica infinita TJO - E) (1 + E3 1 + E6 + E9 )= + . obtem-se a equacao 6x2 .. Dum ponto vizinho. como se ve.. de abscissa x + E. Com essas coordenadas como alturas. T. e embora se admita que Fermat na~ explicava precisamente por que fazia E igual a 0. Fermat afirmou. mais antiga). infelizmente nao pubJicado na epoca. Seja a ordenada da curva dada por 2x3 . Mas Fermat.5x2 + 4x . I + E + E2 Ao fazer Ese aproximar cada vez mais de 1. que 0 metodo de inducao de Wallis era logicamente inadequado.E) ( Ixr dx o 14 T = --1' n+ r-» 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.

A resposta. mas tambem regras para a reducao inversa de problemas de tangente (antiderivadas) a quadraturas (areas). no final do seculo XVII. A maioria das regras. Fermat. a _ . Os logaritmos de John Napier (1550-1617) foram definidos mediante dois segmentos de reta variaveis. por alguma transforrnacao 6bvia. Nesta altura reconhece-se facilmente a regra familiar hoje expressa por dyldx = -ifjfy). Na equacao resultante ele entao desprezava todos os termos de grau superior a I em a e em e. de maximos e tangentes. A chave da nova analise estava na descoberta. ao passo que o outro decrescia geometricamente. Dada uma curva como 3x2y .5xy3 . Em 1637 Descartes desejara lirnitar a geometria ao estudo das curvas algebricas. sendo que urn deles crescia aritmeticamente em relacao ao tempo. Rene de Sluse e Johann Hudde. podiam ser transpostos 'Para a 'forma polinomial. Da equacao assim obtida formava a razao trigonometria para seu estudo. 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.Barrow. 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. 0 que hoje conhecemos como calculo. perceberam 0 papel de coefidentes e expoentes na determinacao de tangentes e extremos de polinomios. so no seculo XVII veio a ter urn papel significativo em dinamica. embora fosse do conhecimento de Oresme. em 1673-76. y). o eonceito de aceleracao. As regras de Cavalieri. Atraves de uma expansao binomial infinita. racionais ou irracionais. as tecnicas estavam a mao. Wallis e Barrow envolvendo aumento ou diminuicao de expoente nao pareciam aplicaveis a func5es transcendentes. e pode ser que Torricelli e Gregory tenham tido conhecimento da natureza reciproca dos problemas de tangentes e quadraturas. 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. A epoca agora estava madura para se constituir. os matematicos da "Idade dos Genios" procuraram orientar-se rnais no sentido de uma analise de variabilidade. Mas Newton foi 0 primeiro a aplica-la para 0 caso de expoentes fracionarios. mais uma vez. em que a expansao e intermimivel. Gottfried Wilhelm von Leibniz. Aos predecessores desses dois gigantes intelectuais as varias regras pareceram expedientes argutos de utilidade limitada. Mas. e 3x2 .no principio de Fermat do tempo minimo na refracao da luz e na dinamica de Christiaan Huygens. por exemplo. Esses resultados encontravam aplicacoes na ciencia daquele tempo . o teorema era conhecido havia muito tempo para potencias inteiras. publicou uma regra de tangentes muito parecida com 0 metodo de maximos e minimos de Fermat. era clara. precisava apenas da 16 Quem primeiro percebeu isso foi Newton. Barrow publicou nao apenas a regra de tangentes acima (que aparentemente havia discutido corn Newton). a partir da analise infinitesimal. realizada por Newton e Leibniz. Os matematicos do decenio 1666-1676 necessitayam imensamente de urn algoritmo geral aplicavel indistintamente a todas as funcoes. por essa razao 0 teorema do binomio e tao frequentemente atribuido a ele.por exem17 \ Newton e Leibniz . independentemente. exigia uma matematica superior. Newton eonsiderava tao importante esse aspecto de seu trabalho. 0 interesse explosivo pela cicloide. que foi professor de Isaac Newton. que insistia em que fosse uma parte essencial da nova analise. baseada no movimento circular uniforme. fornecida por Newton. algebricas ou transcendentes. entre outros.15xy2 + 6 que ele sabia ser a inclinacao da tangente a curva no ponto (x. na qual 0 movimento dos planetas em 6rbitas elipticas nao e uniforme. Em sua Lectiones Opticae et Geometricae (1670). e depois. mas a nova astronomia de Kepler. em 1665-66. Newton teve condicoes de chegar a quadraturas que seus predecessores nao tinham conseguido encontrar . Nenhuma invencao nova especifica era necessaria. foi uma nova e geral analise infinitesimal. Enquanto os matematicos gregos classicos tinham sido essencialmente estaticos em sua linguagem e eonceitos. na qual a inter-relacao entre coeficientes e expoentes. pela catenaria e por outras curvas expressas por funcoes trigonometricas e logaritmicas eonferia respeitabilidade a uma gama de problemas muito mais ampla. 0 que faltava era urn sensa de universalidade das regras. da grande utilidade das expansoes em series infinitas. so se aplicava a problemas que envolviam polinomios ou aqueles que. incluindo ate a regra de sucessao para os termos da expansao.7x + 6y = 0. A astronomia de Nicolau Capernico.6xy + 5y3 + 7 -.

x + Xl - Xl + . .. por Nicolau Mercator embora Newton ja a conhecesse antes. Leibniz.. o primeiro livro de Newton a descrever seu calculo. devido a aversao do autor a con: troversias.. ou mesmo a revelacao destas ~mo O~!~s inversas entre si. Newton percebeu que era possivel escrever In(1 + x) na forma de uma serie infinita. Para concluir. 0 primeiro a publica-la em 1668. este novo metoda que for que a analise comum realize por meio de equapode semprerealizar 0 mesmo por intermedio de equacoes infinitas.plo. que ia muito alem da algebra ordinaria. podemos com [usteza considera-lo como uma parte da Analytic Art com a ajuda da qual areas e comprimentos. apontar urn unico ou primeiro inventor do calculo. usando-se 0 algoritmo da divisao ou a expansao de (1 + x) . Nele Newton descreve a extensao do uso da palavra "analise": coes co~ urn numero finito de termos . a integracao de (x . 4 geralmente conhecida como serie de Mercator..a aplicacao de processos infinitos ao estudo geral de funcoes de qualquer tipo. 4- Tr-l -3 1+1 s-T+'" 1 e geralmente conhecida como serie de Leibniz. ' Tambem Leibniz logo percebeu a importancia das series infinitas e a igualdade ' Em resumo.. Pois os raciocinios nele nao sao menos certos que na outra. 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.X2)1I2. Newton foi mais hesitante em suas publicacoes (embora fizesse amplas experiencias em seus manuscritos). 0 elemento essencial em sua invencao do calculo. formulada por James Gregory.. por ter sido publicada pela pnmeira vez em 1668. De analysi per aequationes numero terminorum infinitas. Estandartes distintivos representam urn auxiliar efetivo dos cruzados. Sua contribuicao nan e tanto uma lei para a diferenciacao ou para a integracao. de modo que nao tive nenhuma duvida em dar tambem a este 0 nome de Anali0 E seja 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. e pouco restou da 19 18 . ja desenvolvia funcees trigonometricas em series. A medida de seu sucesso nesta materia e a sobrevivencia are nossos dias de sua linguagem e de seus simbolos. de curvas podem ser determinados exata e geometricamente. Quanto a isso.. nem I. y = l/(l + x). tinha a conhecida propriedade dos logaritmos de que. Mas esta e apenas urn caso especial da serie arctgx = x . Sabia-se havia muito tempo. 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. em 1676.-X 3 l + -X5 5 _!_ 7 7 + . se. posterior mas independente. etc. por volta dessa mesrna epoca. deu muita atencao a questao das notacoes apropriadas. Ao longo de todo 0 seculo XVIII. 0 resultado e a serie In (I + x) = x _ Xl 2 + x3 3 _ x4 + . em particular.. a area sob a curva decresce aritmeticamente. expansoes em series infinitas) para as linhas [funcoes] procuradas .. nesse sentido. se fosse preciso. 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. 0 metodo tambem podia ser aplicado para achar integrais (Newton as chamava de "fluentes") de funcoes transcendentes. que Wallis procurara em vao. que a area sob.. foi ? reconhecimento de que tudo ISSO constitui parte de uma nova analise .. Expande-se simplesmente 11(1 + x) como as equacoes menos exatas . em tais problemas transcendentais adotei equaeoes genericas ou indefinidas [isto e. a escolha recairia em Newton.I. Ao que tudo indica Newton. conforme as abscissas crescem geometncamente. Newton aqui esta argumentando que os algoritmos matematicos que lidam com processos infinitos sao tao respeitaveis quanto aqueles que se aplicam a algebra ordinaria. 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. foi 0 reconhecimento. foi escrito em 1669mas s6 veio a ser publicado em 1711. Tambem com Leibniz...a hiperbole. visto que os algebristas anteriormente adotavam tetras ou numeros genericos para indicar quantidades procuradas. Portanto.

Essa abordagem estava proxima do ponto de vista moderno. dy era considerado infinitamente pequeno em proporcao aos outros termos da diferenca.xy representa entao a diferenca infinitamente pequena no produto. em relacao a x. Por essa razao sua analise tornou-se conhecida como "metodo dos fluxes". respectivamente. do produto xy. Newton escreveu varias descricoes substanciais de seus metodos do calculo e publicou-as bern mais tarde. ou diferencas infinitamente pequenas. Nenhum dos dois estava em condicoes de apresentar uma fundamentacao logica convincente. para determinar assim 0 que chamava "primeira e ultima razoes" (0 que chamariamos "limite da razao") dos fluxos. 0 resultado seria a formula moderna para a derivada. isto e. No primeiro artigo de Leibniz justificam-se as regras simples de diferenciaeao. em 1687. Primeiro determinava a razao qlp dos fluxos (ou yli) e entao fazia com que 0 desaparecesse. onde y e funcao de x. mas Newton nao at21 . Nessa forma seu calculo era tao semelhante ao de Leibniz. A diferenca 20 Linguagem. 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 . correspondente as diferencas infinitamente pequenas em x e y. 0 resultado e 3pxx . escrita em 1676 (mas so publicada em 1704). revertia as primeiras rudes ideias de incrementos "infinitamente pequenos" ou "momentos". Da equacao assim obtida subtraiu a equacao original. A compreensao do significado dessa situacao levou cada urn deles a desenvolver uma linguagem. Como ja dissemos antes. Urn manuscrito de Newton de outubro de 1666 da uma descricao completa de seu metodo "para resolver problemas por movimento". de modo urn tanto anacronico. x. extraordinariamente perto do conceito de limite. Newton encontrou a inclinavao da curva x3 . mas a forma do c. ou fosse "evanescente". uma logiea e urn simbolismo para a nova materia. aqui.formulacao newtoniana. mas mais tarde substituiu p e q pelas "letras ponteadas" i e y. mas Leibniz nao raciocinava em termos de variaveis dependentes e independentes ou da derivada de uma em relacao a outra. A contribuicao de ambos. nao antes de desaparecerem. loqica. tres anos antes da breve indicacAD (duas paginasl de Newton nos Principia. Consequentemente. a partir deles. e a palavra "velocidade" por "fluxo". (x + dx) . Leibniz substituiu x por x + dx e y por y + dy (onde dx e dy sao as diferenciais.cyy = 0 da seguinte maneira: Substituiu x por x + po e y por y + qo. Newton evitava a frase "infinitamente pequeno".abx + 03 . Limitou-se a alguns pequenos artigos. embora Newton certamente tenha chegado mais perto disso. notacoes modernas.ilculo que Newton publicou nos Principia..2cqy = 0. nem depois. consistiu em reunir dispositivos de aplicabilidade limitada e desenvolver. Newton adverte: "Por razao ultima das quantidades evanescentes deve-se entender a razao das quantidades. tangentes e centros de gravidade de "linhas curvas". embora admirassem o poder do novo metoda. Aqui Newton usou p e q como simbolos das taxas de variacao ("velocidades") de x e y. mas com as quais elas desaparecem". metodos de alcance universal. e formulas analogas para inversos e quocientes decorreram imediatamente. Se na formula do produto de ~bniz os dais membros fossem divididos por dx. do qual facilmente se obtem que a razao qlp (que agora chamamos "inclinavao")e igual a 2cyf(3xx . podemos parafrasear a formulacao de Newton descrevendo Y como a ramo das quantidades "evanescentes" Ay e At.abp . ao contrario. Para achar a diferencial de xy. Leibniz. escreveu pouco mas publicou cedo. considerando a maneira como as coordenadas variam com 0 tempo /NEWTON: 15-64/. de x e y). Em sua De quadratura. Ele chegou. que se pode perdoar seus contemporaneos por confundirem os dois pontos de vista . Usando. achar coisas como areas. Como 0 termo dx . fy + dy) . onde ele descreveu sua ideia de "prirneira e ultima razoes". publicados na Acta eruditorum logo apos a fundacao desse jomal. ha uma falta de precisao nesse raciocinio.ab). Seu primeiro artigo foi publicado em 1684. dividiu por 0. e desprezou todos os tennos que ainda continham 0 (visto que estes eram "infinitamente pequenos"]. Com respeito a isso. de maneira rude e numa linguagem que lembra as quantidades infinitamente pequenas de Newton. 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. Em sua versao de 1666 para 0 calculo. nem foram os primeiros a usar series infinitas. A melhor tentativa de Newton figurou em Principia. Leibniz desprezou-o e escreveu: d(xy) = xdy + ydx. que seus contemporaneos criticaram.

A hist~a. \ao passo que a indiferenca de Newton obstava a formacao de uma . e 0 mais novo escreveu textos de calculo diferenciai e integral. controversias sobre suas descobertas em optica levaram-no a protelar essa iniciativa. tambem nao conseguiram justificar 0 descarte de quantidades infinitamente pe9ue.uma. .'Dr ?rgulho nacio~. 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 . Alguns anos antes de Leibniz chegar a suas proprias formulaeoes Newton ja fizera varias descricoes de seus metodos. a custa do raciocinio imagmatrvo e plausivel. que . 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. sugeriam melhor os caminhos em que os ~ntmos ~ cal~ulo podiam ser aplicados a problemas geometricos. mats tarde usou urn pequeno trace vertical sobre uma letra para indicar 0 fluente da quantidade. .scola de seguidores. quando Newton ja tinha condic. com regras (sem provas) e a'plicacoes' 0 segundo descrevia 0 calculo integral. nao teria havido problemas quanto a priondade. Nao obstante ~ maioria de seus contemporaneos aprendeu 0 calculo atraves de direrenciais. A acrimania da disputa foi causada nao tanto por animosidade pessoal como !. 22 Os irma~s Bernoulli uambem conhecidos como Jacques e Jean) tomaram-se discipulos fervorosos de Leibniz. pode ser contraproducente para 0 desenvolvimento da materia. Newton e Leibniz tinham percebido que series como x- x x T T-T+· 3 x+ 5 7 . sua grande importancia foi evidente para os matematicos suicos Jakob Bernoulli e seu irmao Johann. 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. variacao infinitamente pequena. Ademais as coneepcoes Ieibnizianas de calculo. em meia duzia de paginas dava a conhecer 0 calculo diferencial. enquanto n6s pensamos em termos de urn limite de uma soma earacteristica de grandezas finitas. como antenormen~e. mS!stenCia prematura na precisao 16gica. Em 1672. mas heuristicamente foi urn sucesso retumbante. em 1687.era. ao passo que 0 de Newton muitas vezes se expressava na linguagem da geometria sintetica.caneou plenamente esse conceito.do q~e as. ffi1: mat~matica parece mostrar aqui. " .de Newt~n. Leibniz enfatizou 0 aspecto somat6rio da "integral". Dai e~ diante a disseminacao dos metodos leibnizianos foi realmente rapida. Porem. e nao de fluxos. e flsicos. ~em Leibniz nem seus discipulos jamais deixaram claro 0 que quena d~r. Isto sera mostrado numa discussao posterior sobre a polemica do Analyst. .. 0 primeiro deles.Analyse des infiniment petits de L'Hospitai [14]. uma razao entr~ velocida~s 0 que vemos agora que e urn simples ~urnero real. ~ Newton tivesse levado adiante sua intencao de publicar De o. embora mais distantes de um~ 1000cafrrme. Ore: sultado foi uma polemics sobre a prioridade. e tambem colaborou para fazer com que a propria palavra tivesse aceitacao. escrevendo y onde usariamos [ydt. l. nitidamente mfenor ao ~ Newton.er como. Alem disso.eibniz considerava uma soma de fato de quantidades infinitamente pequenas ou infinitesirnas. Assim mesmo a indicaeao e~ duas paginas de seus metodos analiticos em Principia. Os fluentes de Newton analogos da !U~ma "integral indefinida".nas ~m relacao a outras.nalysl por volta de 1672..Oes de publiear De analyst. inicial de summa ("soma''). ~1S nunea ~ranscendeu a visao de dyldx como urn quociente ~e vanaeoes ou diferencas infinitamente pequenas em y e ~.0 calculo de Leibniz . Parte desse sucesso resultou de uma visao da integral tao imprecisa quanto ados quocientes de difereneiais. fOI antecipada pelos dois artigos de Leibniz na Acta eruditorum em 1684 e 1686.· . do ponto de vista l6gico. e nao simplesmente urn metodo de tangentes novo ou urn algoritmo novo.. 0 trabalho de Leibniz aiustava-se mais Ii aritmetizacao da analise. pois aquela epoca Leibniz ainda nao descobrira a nova analise' mas 0 receio das criticas levou Newton a protelar a publicacao.· 23 e T+ 3 X2 x+T-xg+ T x-T+T- X2 x3 X4 X4 . . Do ponto de vista 16gico. e~a~ente. IniciaImente Newton US?U urn pequeno quadrado como seu simbolo de integraeao [presuml~elmente porque percebia que a integral determinava uma area). Precisar 0 conceito de numero real foi contudo uma realizacao do final do seculo XIX. Entre os seguidores de Johann estava 0 rico marques de L'Hospitai. Embora esses artigos tenham'sido prejudicados por erros de impressao e exposicao insatisfatoria. o sucesso do calculo diferencial no continente deve ser atribuido em grande parte Ii capacidade de Leibniz para inspirar discipulos avidos. 0 calculo de Leibniz foi urn fracasso. pois continuou insistindo em descrev. talvez mais amarga do que qualquer outra que 0 campo da matematica ja conheceu. eram 0 que hoje chamaria: mos de antiderivadas em relacao ao tempo.

q!l~ 0 calculo hdava col? paraiogismos. A busca do rigor Enquanto Euler e os matematicos do continente europeu avidamente acumulavam descobertas no campo da nova analise. envolvida na adocao das nota~ fluxiomirias em lugar dos simbolos nportunos d? ~~cu10 diferenctal e integral. e 0 nivel dos resultados de pesquisas tornou-se inferior ao do continente..ltamcos se afIigiam na busca do significado da palavra evanescente... tao distinta de sua quaIidade logica. Nesse ponto Euler nao chegou exatamente a visao modema de que uma serie como essa define uma funcao. urn dos matematI.cos mais argotos do seculo. Nas paginas de abertura de sua Introductio in analysis infinitorum (1748). .podiam ser usadas para funcoes transcendentes exatamente tanto quanto para funcoes algebricas . a expansao geral de Taylor serve para 0 mesmo proposito. 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. 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". etc. Apropriadarnente. do qual provem.fOI VISta como inadequada. mas de seu uso da frase fonction denvee resul25 . (Para valores dlfere. De qualquer maneira.0.e 1n(1 + x). E~ler. nem nada. Esse movimento centrou-se no matematico suico Leonhard Euler.IOIClO.. mas 0 desempenho dos matematicos britanicos foi i~ehz . que de urn certo modo retornava a ~I'!fase de !-. que os matemattcos relutavam em questiona-Ios.no caso a sene A • • 1 . mas posteriormente. Entao. ~ abordagem de Lagrange teve pouca repercussao e ~ats t<1. .ewt~n e Leibniz em series infinitas. no . conforme as crincas bn~lcas. Bernard Nieuwentijt fazia obje~. em grande parte. Em 1772. descendente intelectual de Leibniz atraves dos ensinamentos de Johann Bernoulli.". Os pr_ocedtmentos algoritmicos produziam tantos resultados no~~ nas maos de Johann Bernoulli e Leonhard Euler. A m~bllidade dos oponentes de Berkeley para dar respostas satIsfat6nas evidentemente amorteceu 0 ardor britanieo pela nova analise. afirma que "nao M duvida de que toda funcao dessa variavet pode ser transformada numa expressao infinita da forma Aza + Bzl} + Czr + DZ6. intelectuais britanicos empenhavam-se (com pouco sucesso) em defender 0 metodo dos fluxos das criticas devastadoras do fil6s0fo e teologo George Berkeley. e de fato 0 calculo de Newton destacava mais claramente que 0 de Leibniz a distincao entre variavel dependente e independente. Euler veio a ser chamado "a encarnacao da analise". deveria ser to~do como a d~vada enesima da funcio em x = O. muitas vezes supereshmada. mas seu tratado deixou claro 0 papel-chave que as series infinitas desempenham no estudo das funcoes. Nao poderiamos chama-los de fantasmas de quantidades que se foram? Os argumentos no Analyst foram be~ escol~id~.. nem quantidades infinitamente ~uenas. Eo que sao esses mesmos incrementos evanescentes? Niio sao 24 nem quantidades finitas.para tg x. Euler nao deixa claro de inicio 0 que vern a ser uma "expressao analitica". em particular.' Tambem no continente matemancos tiveram ~rn.x + x2 - x3 + X4 - •••• Lagrange sugeriu que 0 coeficiente do (n + l)-esimo termo n~a expansao.anavel real.x . . com pouca preocupacao quanto aos fundamentos logicos. assim como para a ~unCao racional algebrica 2x/(2 + x). .n~ de . Newton estava a par da ideia geral. avidamente e sem espirito critico. que 0 conceito de funcao viesse a ser atribuido geralmente a urn dos inventores do calculo. porem. a teoria moderna das funcoes de v.o de ~ IO~Uletar com relacao a validade dos metodos do ~lculo ~l~erencJal e integral. publicadas em 1734 no Analyst. Joseph Louis Lagrange.. portanto. as do continente iam aos poucos silenciando. rna's Leibniz foi a inspiracao do seculo XVIII devido a qualidade pedagogica de seu trabalho. .. e~quanto os b. tornavam-se mal. E natural.r~. quando dividido por nt. experimentou uma explanacao alt~rn~tJva. 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. e Michel Rolle suspeitou.s veementes. Mas. com relacao a variavel z. 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 . e essa distincao coube a Leibniz. matematieos da Europa Continental puseram-se a explorar as possibilidades inerentes as series de potencies infinitas. devido a seu trabalho ligado ao estudo de processos infinitos. as diferenc!alS de .) VIOte e CIOco anos mais tarde (1797) Lagrange fez dessa ideia 0 fundamente de seu tratado classieo Thearie desfonctions analytiques.ordem superior. fazia da nova analise 0 assunto que conhecemos hOjeo estudo dos processes infinitos. .

a nocao de quantidade variavel com o tempo e. no de Newton a integral de [(x) era considerada em grande parte como urna antiderivada . como 0 limite de urna soma caracteristica. de certo modo. para Ax suficientemente pequeno. Foi do ponto de vista de Cauchy que se desenvolveram as amplas generalizacoes modernas da integral. A ideia geral de uma quantidade que depende de (ou varia com) outra quantidade pode ser encontrada no trabalho de Oresme. Em outras palavras.----- Ax conforme Ax tende a zero. nas prelecoes de Karl Weierstrass. mas era adequada para os contemporanees de Cauchy. - Ax - . de dependeneia mutua. e sua definicao de derivada era a mesma de Cauchy. este ultimo e chamado limite de todos os outros". fil6s0fo e matematico que procurava aritmetizar a analise. pois nao deixa claros os papeis diferentes das variaveis dependente e independente. chegando a diferir dele tao IX>UCOuanq to se deseje. G. existe urn numero positivo d tal que I[(x) . hoje a ideia de funcao e geralmente definida na linguagem rigorosamente nao ambigua de conjuntos: "Dados dois conjuntos de elementos. afortiori. as vezes. de maneira bern definida. a definicao de funcao contlnua. a nocao de correspondencia tomou-se dominante em analise. e simplesmente urn conjunto de numeros .l A aritmetizacao da funcao estabeleceu-se firmemente com 0 que. outra funcao da qual [(x) e a derivada -. dado qualquer numero positivo E. Alern disso. essas frases deram lugar. 0 conjunto dos rnimeros reais -. Consequentemente. Por tras do trabalho de Newton estava. uma funcao [(x) e continua num intervalo se para todo valor de x nesse intervalo a diferenca fix + Ax) . Deve-se notar que e a funeao que tern urn limite. e nao algo vago chaniado "variavel".:_____--. (Hoje. enqcanto no trabalho de Leibniz e. dizemos que B e funcao de A . se chama "teoria estatica weierstrassiana da variavel".. assim. urn sacerdote. Nao seria exato deixar a impressao de que Cauchy era 0 unico a desenvolver a fundamentacao do calculo no inicio do seculo XIX. a quem se deve principalmente a apresentacao moderna dos conceitos do calculo em nivel universitario.[(x) Eo que e uma quantidade "suficienternente pequena''? Com a crescente aritmetizacao da matematica. revelou os maiores matematicos franceses do seculo XIX. introduziu uma definicao aperfeicoada de limite: "Quando os valores sucessivos atribuidos a urna variavel aproximam-se indefinidamente de urn valor fixo. Enquanto a diferencial era a nocao basica no trabalho de Leibniz. As nocoes do calculo conforme foram apresentadas por Cauchy e Balzano aproximam-se bastante da forma como sao mostradas hoje num primeiro curso. Os ultimos anos do seculo XIX assistiram ao desenvolvimento da teoria dos conjuntos por Georg Cantor. No seu Cours d'anaiyse de l'Ecole Polytechnique. Cauchy enfatizava que a integral de [(x) e definida. em analise. certas expressoes careciam de precisao. A Escola Politecnica. uma variavel independente x nao "varia" no sentido usual do termo.quando para todo elemento de A M urn elemento correspondenpara qualquer 27 . em sua exposicao.. no seculo XN. e sua abordagem dos fundamentos da analise tornou-se desde entao caracteristica do seculo XX. embora em outra associacao tivesse sugerido que qualquer curva desenhada a mao livre determinava uma relacao funcional. agora conhecido como "Imagem". de 1821.muitas vezes. a elegancia e a precisao da definkao de limite via "epsilon-delta".sendo a diferencial dy simplesmente 0 produto f' (x)Ax. entao. Lejeune Dirichlet dizia que y e uma funcao de x se para cada valor de x corresponde urn ou mais valores de y. 0 que sao exatamente "valores sucessivos"? 0 que significa "aproximar-se indefinidamente" ou "tornar-se e permanecer"? 26 x que verifique 0 < I x . A luz da matematica contemporanea. Segundo eles. a medida que 0 seculo XIX avanca va. independentemente.tou a palavra moderna "derivada". Na eIX>C3 vivia na Boemia Bernhard Balzano. Dentre eles nenhum foi tao influente ou prolifico quanto Augustin Louis Cauchy. convencionalmente. essa definicao esta longe de ser aceitavel. Uma funcao [(x) da variavel independente x e simplesmente. Balzano e Cauchy chegaram. agora a derivada passou a ser fundamental . 0 autor prosseguiu definindo a derivada de uma funcao [(x) como 0 limite da ramo fly [(x + Ax) .isto e.ou que A e aplicado em B. Com a tendencia a aritmetizacao durante 0 seculo XIX. e a ideia vaga de "aproximacao" foi substituida IX>ruma linguagem puramente numerica. omitem-se as palavras "ou mais" na definicao. onde Lagrange ensinou. independentemente da derivada. e Leibniz usara a palavra "funcao". mas. hoje chamado "dominio" . de modo que a todo valor de x corresponde exatamente urn unico valor de [(x). e essencialmente e sua notacao que usamos ao escrever f' (x) ou[n (r). P. A B .L I < E.[(x) torna-se e permanece menor que qualquer quantidade dada. Diz-se que L e urn limite da funeao [(x) para 0 valor x = a se. no sentido moderno. respectivamente denotados IX>rA e B. A influente Introductio de Euler enfatizara uma "expressao analitica" na definicao de funcao. dai. outro conjunto de numeros.a I < d. Ademais.

conforme mostra a Figura (1]-1. 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.resultado que Ihe possibilitou comparar esferas e cilindros. freqOentemente deftne-se a relacac funcional entre A e B como "0 conjunto dos pares ordenados (a. algumas delas utilizadas na defesa de Siracusa contra 0 ataque das tropas romanas comandadas por Marcelo.. por exemplo. certamente teria dificuldade em reconhecer esses descendentes do metodo de exaustao. Achou tambern volumes de esferas e de segmentos determinados pela interseceao de pianos com varias superficies quadricas. 0 calculo estava fadado a sofrer ~lteracOes. quase efetuando integracoes em muitos casos importantes). Isto esta bern ilustrado no problema da quadratura da parabola. Achou que a area de uma superficie esferica e 0 quadruple da area de seu circulo maior . Se Eud6xio ressurgisse no seculo XX. Para tornar 0 conceito ainda mais preciso. ' se sentma completamente vontade com respeito pelo menos a um aspecto da matematica de hoje. muitas vezes erroneamente considerados pelos leigos como seodo a preocupacao dos matematicos. b). HOOD """'-_---'__ ---'----==:!!Io. ele explicava como tinha chegado a alguns de seus resultados (na verdade. entao p = q. o a CApSULA 1 u o A antecipacao de Arquimedes ao calculo RODNEY T. formulados para cobrir os tipos cada vez mais amplos de funque foram sendo considerados. pela originalidade de seus metodos e pelo rigor de suas demonstracoes. Tornou-se famoso por suas mvencees mecanicas. Em seu trabalho sobre areas e volumes. de sorte que se (r. e a ramos da fisica (estAtica e hidrodinamica). A Arquimedes de Siracusa (287-212 a. Ha muitos tipos de integrais. Superou todos os outros pel~ quantidade e dificuldade dos problemas de que tratou. enviado a seu amigo Erat6stenes. para os quais depois buscava provas. Seja t a tangente a p em A. p) = (r.C} e considerado consensualmente 0 maior matematico da antiguidade. Com os aprimoramentos da nocao de funeao. onde a e urn elemento de A e b urn elemento de B. com a redescoberta de urn tratado de sua autoria. modificouse t_anto. segredo das descobertas de Arquimedes veio parcia1mente luz em 1906. Usando poligonos de noventa e seis lados. A nocao de integral. q). Interessava-se tanto pela matematica pura quanto pela aplicada e criou dois 28 B 0 M FIGURA [1]-1 Seja s a regiao limitada por uma parabola p e uma corda AB de ponto medic M. desenvolveu tambem 0 metodo de exaustao. Dos pontos B e M 29 . que distingue essa materia dos calculos comuns. Nesse trabalho. Segundo a lenda..coes te em Be quando nAD ha dois elementos distintos em B que correspondam ao mesmo elemento de A". 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. numa estimativa de n notavelmente boa. Eud6xio compartilharia 0 sentimento de orgulho sugerido pelo uso constante da expressao "0 calculo". que ja nao se fala em "a" integral. Arquimedes foi morto por urn soldado romano durante a tomada da cidade enquanto estuclava urn diagrama geometrieo na areia. Obteve aproximacoes da area de urn circulo comparando-a com as areas de poligonos regulares inscritos e circunscritos. pelo qual aproxima-se a quantidade desejada pelas somas parciais de uma serie ou pelos termos de uma sequencia. mas ele . Este resulta~ foi comemorado em seu tumulo com a ornamentacao gravada de uma esfera inscrita num cilindro.

Arquimedes imagina agora 0 triangulo ABD como a uniao de todos os segmentos como OQ. ou UV· TF = OQ . Assim 0 segmento UV. A seguir. Q e R. sob a superficie de urn liquido. E. congruente a OP. e toma 0 ponto T em t de maneira que F seja 0 ponto medic de A T. SMITH (a): II. que carla termo. 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). 679·84 CApSULA 2 Simon Stevin RALPH C. A soma de tal do primeiro termo. 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. a area do triangulo ABD e 0 quadruple da area do triangulo ABC. em cada urn dos segmentos parabolicos resultantes. Portanto. levam a uma progressao geometrica em 30 primeiro. Seja 0 urn ponto qualquer de AB. Nesta altura Arquimedes compara 0 segmento parabolico scorn o triangulo ABD. suspenso pelo seu ponto medic T. que se imagina suspenso em T. 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.tracam-se retas paralelas ao eixo. suponhamos que ME intercepte p em C. agrupadas adequadamente.urn processo tedioso e dificil. Alem do mais. Cada urn deles tern urn segrnento correspondente OPcongruente a urn segmento UV. Leituras suplementares MESCHKOWSKI: 13-23 D. salvo progressao geometrica e 4/3 0 ARQUIMEDES BOYER (a): 48-60 HEArn: 277-342 \ . Devido a outro teorema conhecido OP: OQ = OB_:AB = RF: AF. Seja fa reta que contem AC e indiquemos por F sua interseceao com BD. Cuidadosamente. Suponhamos que a reta por 0 paralela ao eixo de p intercepte p. Prova entao que para cada triangu10 os dois triangulos construidos sobre seus lados tern uma area total que e 114 da area do triangulo dado. da equacao acima: UV: OQ = RF: AF = RF: TF. Finalmente. Ceo ponto medic de ME. 31 . de a pres sao ser independente da direcao. da mesrna forma. S eo triangulo ABD tern areas cuja razao e 1:3. removendo sucessivamente esses triangulos inscritos. esta em equilibrio com 0 segmento OQ. Neste ponto ele da urn passo engenhoso: considera t como uma alavanca. A area total pode ser aproximada por uma soma de areas que. as quais interceptam t em DeE. Para demonstrar esse resultado. inscreve igualmente urn triangulo. e continua a inscrever triangulos nos segmentos parabolicos resultantes em cada etapa. Desta forma ele concebe 0 triangulo em equilibrio com J) segmento parabolico s. Num esforco para achar uma solocao rnais simples. Dessa forma ele "exaure" 0 segmento parabolico. que nso pode ser menor que esse valor. atinge urn nivel de rigor insuperado ate 0 seculo XVIII. paralelos ao eixo. Ate por volta de 1586 a unica maneira de enfrentar esse problema era 0 metodo de exaustao de Eudoxio . entao recentemente descoberto. t e t nos pontos P. Arquimedes rnostra que a area do segmento parab61ico nao pode exceder 4/3 da area do primeiro triangulo inscrito e. evitando a armadilha dos infinitesimos e das operacoes com Iimites. que e 0 ponto G de t tal que FG = 113 FA = 1/3 FT. que se "pendura" em T. Arquimedes usa 0 metodo de exaustao [12]. que depende tanto de uma intuicao brilhante. com fulcro em F. RF. respectivamente. como se sabia previamente. Em T ele "pendura" urn segmento UV. ponto este chamado de venice de s. suspenso pelo seu ponto medic R. e 114 do anterior. respectivamente. Por urn teorema anterior conhecido. Entao. Stevin desen volvia os principios da estatica enquanto Galileu Galilei (1564-1642) trabalhava com dinamica. Assim ele chega a conclusao desejada e. pode-se considerar 0 triangulo suspenso pelo seu baricentro. Stevin e Galileu lancaram os fundament os da mecanica aplicada. Stevin utilizou 0 fato. Inscreve no segmento urn triangulo de mesma base e rnesmo vertice.

.. [3]-2). 1 T + r (CI + + . 1 Area = = = descrevem a rnovimento dos planetas em torno do Sol. Por exemplo. Kepler tinha sua propria versao. a forca real sobre 0 quadrado seria intermediaria entre os dois resultados. 0 peso total de agua sustentado (a forca sabre 0 dique) vinha a ser. de lado unitario. (Inicialmente tratou do caso de 4 faixas. assim. 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. reconhecemos nesta solucao as propriedades essenciais de uma integral definida. alturas iguais aos raios e tendo como bases cordas infinitesimais do circulo (Fig. e assim por diante.) A seguir supos que cada faixa sofresse uma rotacao de 90° em torno de seu lado superior ate ficar em !X)Sicao horizontal. que eram seu interesse principal. Em notamoderna: cao 32 33 . ) r (circunferencia). HUFFER A fama de Johann Kepler (1571-1630) baseia-se nas tres leis que _Q_ + _1_ + _1_ + . Isto fomeceu 112 + 1I2n. mas girando cada faixa em torno de seu lado inferior. pelo qual os casas-limite eram cobertos pelas definicoes gerais. Como a primeira rotacao movera cada faixa para uma posicao acima da original e a segunda rotaeao para uma posieao abaixo.!!_ n2 2 1 1 . a terceira. De nossa atual perspectiva. [3]-1).. obtendo assim 0 volume da esfera C?mo 113 do produto de seu raio pela Area de sua superficie esferica (FIg. Em notacao moderna: ..l)/n. a segunda faixa ficava fa profundidade de lin abaixo da superficie e sustentava um volume de agua dado por 1 X lin X lin. Conside- CApSULA 3 RALPH C. 1 X lin x 2In.1 n2 n2 n2 n2 = _1_ (0 + 1 + 2 + . + n . o mecanismo estava assim em condieoes de considerar 0 que aconteceria ao se fazer 0 niimero de faixas aumentar. 0 calculo intuitivo de Kepler baseava-se no "principio da continuidade".rou 0 dique com a forma de um quadrado. Mediante essa tecnica achou que a area do circulo e lf2 do produto do raio pela circunferencia. Imaginou 0 quadrado dividido em faixas horizontais. tosca mas eficaz.1) n2 = _1_ . Embora 0 cMculo ainda nao estivesse bern desenvolvido antes da epoca de Newton. em que 0 numero era n. Kepler descobriu essas leis empiricamente ap6s anos de calculos tediosos e ap6s diversas conjeturas engenhosas mas incorretas. De modo semelhante Kepler imaginava a esfera composta de piramides com vertices no ~ntro da esfera e bases infinitesimais proximas da superflcie. Leituras suplementares BOYER (a): 99-104 SANFORD: 314-15 go de toda a sua vida. a solucao de Stevin era equivalente fa que se segue. mais tarde discutiu 0 caso geral. sujeita ao peso da agua situada sabre e sustentada por ela. w (densidade da agua) multiplicada pelo volume total: Ernbora nao tivesse utilizado notacao moderna. . corn um dos lados na superflcie da agua.. sendo que para a enesima esse volume era 1 x lIn x (n . 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"... (n - 1) 2 2n Depois Stevin repetiu esse raciocinio.. na qual os pontos de rigor refinados eram intencionalmente ignorados a fim de chegar as aplicacoes. + n . Usando os dados sobre observacoes de planetas coletados por Tycho Brahe ao lon- 2 rCI ++ 1 2 C2 rC2 + -2 C3 1 rC3 + . A faixa superior ficava na superficie e nao sustentava agua nenhuma. que se empregara aqui. exatamente como se faz nos livros de ealculo hoje ern dia.

antecipou muitos dos resultados e metodos do calculo. cada uma delas sem espessura. determtna seccoes de areas iguais. Em seu livro Geometria indivisibilus continuorum. Euclides usou muito pouco do quadro de definicoes com que abriu seu trabalho. ou principio. Nao obstante. no seculo posterior a Euelides. 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. a teorema. a trabalho de Arquimedes foi negligenciado ate a redescoberta do calculo no seculo XVII. pode ser enunciado assim: Dois s61idos tem mesmo volume se todo plano secante a eles. como seccoes de urn cone. urna area ou um volume se decompusessem. Nisto suas ideias anteciparam-se as que vieram a ser usadas muito rnais tarde. Sua nocao de "indivisivel". rnostrou-se inadequada para os propositos posteriores do calculo. 0 metodo mostrou-se muito adequado. a maneira dos gregos antigos. Podernos ter urna ideia do significado do teorema se imaginarmoo duas pilhas de fichas. e urn volume de um numero infinito de Areas. Sua solucao envolvia aproximacoes e seu principio dacontinuidade. o que nem todos sabem e que Arquimedes. sobre uma mesa. A e B. Cavalieri conseguiu obter areas limitadas por curvas como y = xm. Cavalieri afirmava que urn segmento de reta e formado por urn numero infinito de pontos. que se encontra em sua Geometria de 1635. Por outro lado. Em particular. emprestada dos gregos. onde meum inteiro positivo. Cavalieri. Kepler conseguiu achar volumes de muitos s6lidos. paralelo a um dodo plano. e entao fazia n tender ao infinito. Na pratica. Essas definicoes nao foram efetivamente usadas por Cavalieri em suas pesquisas. de Cavalieri. cada um deles sem largura. uma area de urn numero infinite de segrnentos de reta. Suponhamos que as fichas de A sejam circulares e que suas Areas sejam uma funcao 35 BOYER (a): 106-12 -(b): 354-58 HOFMANN: 119-20 34 NEWMAN: 1. cada urn deles sem grandeza. Reconheceu a parabola como 0 caso-limite da elipse e da hiperbole em que urn dos focos retrocedera ao infinito .125-28 TURNBULL: 73-78 . Leituras suplementares Todos nos sabemos que Euclides escreveu uma exposicao sistematica de geometria que dominou 0 ensino da materia desde entao. Aparenternente foi levado a esse trabalho por urna discussao em tomo da maneira correta de calcular volumes de barris de vinho [10]. usou 0 termo "indivisiveis" para indicar os componentes em que imaginava que urn segrnento. publicado em 1635.CApSULA 4 Bonaventura Cavalieri HOWARD ALEXANDER FIGURA [3]-1 FIGURA [3]-2 Volume = ~ 111 T rBI + T r~ + T rB3 + --- 1 -T = + r (Bl + B2 + B3 + ---) esferical. tratando retas paraleias como duas retas cujo ponto de interseccao retrocedera ao infinito. ele dividia uma area ou urn volume em urn mimero finito de porcoes n. Imprimindo rotacoes a segrnentos de seceoes c6nicas em tomo de urn eixo de seu plano.uma ideia positivamente natural quando essas curvas sao pensadas. r (area da superficie Ele tambem aplicou seu "principio da continuidade" a geometria elementar. Urn dos primeiros matematicos a reviver essas ideias foi Bonaventura Cavalieri (1598-1647).

que a derivada da funcao seja nula.f(A) = 0. Esta. (Fermat pensava em E como uma incognita cujo valor era pequeno em relaeao a A. e os trabalhos de Fermat nessa area so foram publicados pelo menos vinte anos ap6s sua morte. 36 Embora a maternatica para ele fosse apenas urn passatempo. um mercador de couro. Bell chamou-o "principe dos amadores".A2 + EB . SMTIH BOYER (b): 361·64 (b): II. E. prima de sua mae. Na verdade.f(h) da altura sobre a mesa.f(A)] E = E~ 0 O. como fazia Fermat (que seguia Viete na pratica de indicar incognitas ou variaveis por vogais e ~uantidades conhecidas ou constantes por consoantes). que parece ter sido grande. Seia B 0 numero conhecido e seja A uma pareela incognita. Em simbolos modemos. a forma das fichas e irrelevante. Seus trinta e quatro anos de vida profissiona1 foram dedicados a servir a Franca. e usando 0 fato de que a equac4oj(A + E) = j(A) e equivatente af(A + E) . nao somente no geral mas particularmente no dominio do calculo".(A + E)1 ~ AB . Fermat foi urn dos matematicos verdadeiramente grandes de todos os tempos. ja em 1629. Como urn primeiro exemplo da tecnica. Desse casamento nasceram tres filhos e duas filhas. a nao ser que foi comedida e tranquila e que seu tempo de lazer. Procura-se urn maximo paraj(A). em Castres. Arthur Rosenthal afirma categoricamente nSf que ele foi "0 maior mate matico da primeira metade do seculo XVII.2AE . era filho de Dominique de Fermat.A) = AB .~eas sejam ~ ~la mesma funcao f(h) da altura. na Fran93. Note-se que as du~ pilhas podem ser completamente irregulares quanto ao contomo. uma vez que Newton e Leibniz geralmente sao considerados os inventores do calculo.£l 37 . ou seja. funCio em que permaneceu par dezessete anos. 605·9 STRUIK (e): 209-19 CApSULA 5 Pierre de Fermat PAUL T. filha de uma familia de juristas parlamentares. era dedicado ao estudo da matematica. nao precisam ser circulos ou quadrados. usando-se a notacao funcional modema mas denotando-se a variavel por A. Morreu em 12 de janeiro de 166S. Em 14 de maio de 1631 foi nomeado comissario de peticoes de Toulouse. dois dias depois de desempenhar uma missao nessa cidade. Estudou em sua cidade natal e na Universidade de Toulouse. ISSO nao afeta 0 teorema. nascido em agosto de 1601 em Beaumontde-Lomagne. Entao 0 pnncipio de Cavalieri afirma que as duas pilhas tern 0 m~mo volume. are sua morte.os fins justificariam os meiosl) e cancelava todos os termos possiveis de ambos os membros da equacao.A 2. a tarefa acima pode ser abreviada por [ f(A + E) . No dia I? de junho de 1631 casou-se com Louise de Long. E.ultima afirmacao pode parecer estranha. Faeamos agora a substituicao de A por A + E. igualava-as (a ele nao importava que isso nao fosse verdadeiro . o metodo de Fermat e 0 seguinte: Suponhamos que se deseje achar os valores maximo e minima de uma expressaoj(A). A receita de Fermat fornece f(A + E) = (A + E) [B . Leituras suplementares D.) Assumia entao que as quantidades f(A) e f(A + E) eram aproximadamente iguais. no sul da Franca. e Claire de Long. T. Fermat escolheu 0 problema de expressar urn numero conhecido como soma de dois numeros cujo produto fosse 0 maior possivel. Mas. Dividia entao os dois membros por E e desprezava todos os termos que ainda contivessem E. Admitamos que as fichas de B sejam quadradas e que s~ . MIELKE Pierre de Fermat. e em 1648 foi promovido a conselheiro real do parlamento dessa cidade. Mais ainda. Fermat havia desenvolvido 0 metodo que hoje e padrao no calculo pata resolver problemas de maximos e minimos de uma funcao. o aluno de calculo reconhece ai a condicao necessaria para que uma funcao diferenciavel tenha urn maximo ou urn minimo num intervalo aberto. Pouco se sabe sobre a vida pessoal de Fermat. Seja entao j(A) = A(B .

mas como ele limitava sua atencao a problemas que poderiamos chamar de "bem-comportados" ou "nao patoI6gicos". 39 .0 e + 1. mas a derivada de I(A) sequer existe nesse ponto e n40 e nula em ponto algum. quando tinha quinze anos de idade. No decorrer de suas investigacoes.I(A . [/(A + E) . Determinemos agora onde 0 corte deveria ter sido feito para maximizar a area total das duas figuras. a partir de seu trabaIho. Este problema nao tern solueao. Esta expressao tern urn valor minimo em A = 0. onde A e urn numero real qualquer. Dobrernos uma das partes de modo a formar urn quadrado e a outra na forma de urn circulo. Durante as ferias de Natal. notaveis e originais matematicos de seus dias. 38 Uma deficiencia final no metodo de Fermat apresenta-se na expressao f(A) = A 213. Em pouco tempo conseguiu dominar 0 Jivro. ou seja. cinquenta e sete anos antes de sua invencao. 0 maximo neste caso. para estabelecer que 1/4 B2 e. Note-se que este procedimento nao prova realmente que 0 valor obtido para A maximiza I{A). / Leituras suplementares BELL (b): 56-72 BOYER (b): 367401 EVES: 329-31 [5~ ed. de fato. admitindo-se a possibilidade de nao se cortar 0 ararne e de se enrola-lo inteiro em forma de circulo. como bern sabe 0 aluno de calculo elementar. entao esta e a resposta correta. enunciou urna importante lei da fisica. de Fermat fornece tres pontos criticos: -1.0 primeiro e urn ponto de maximo (relativo) e 0 terceiro urn ponto de mtnimo (relativo). hoje conhecida como "principio do tempo minimo de Fermat". 297·99] ROSENTHAL CApSULA 6 o metodo John Wallis AMY C. conclui-se que A deve ser escolhido igual a 1/2 B.I(A) = B . Seu genio fica evidente no fato de ele saber tanto a respeito dos metodos do calculo.E E + E) .5A3. Seu trabalho no campo da analise contribuiu muito para pavimentar 0 caminho das grandes descobertas de Isaac Newton. Utilizou esse metoda para resolver muitos problemas uteis e interessantes. essa experiencia marcou 0 inicio de urna carreira extremamente produtiva em rnatematica. Assim e 0 valor maximo de f(A). E preciso algo mais. Fermat nao percebeu que sua condicao nern mesmo e necessaria para que urn maximo ou urn minimo ocorram num intervale fechado. embora a funcao area nao tenha derivada nula em seu ponto de maximo. KING John Wallis (1616-1703) foi urn dos rnais capazes. Como exemplo disso consideremos ~ expressao I(A) = 3A5 .I(A)] E = E~O B _ 2A. Fazendo-se esse resultado igual a 0. Finalmente. mas. entre eles 0 de achar a tangente a urna curva num ponto. Como exernplo disso consideremos 0 seguinte problema: Suponhamos que urn pedaco de arame de comprimento L seja cortado ern duas partes. Agora esta claro. percorrent 0 caminho para 0 qual 0 tempo exigido seja minimo. Trata-se de urn ponto de maximo de fronteira. 0 metodo simplesmente determina os chamados pontos criticos da funcao. aparentemente deixou de descobrir que os pontos criticos nao sao necessariamente pontos de maximo ou de minimo. que urn raio de luz. ou seja. que Fermat nao fazia distincao entre maximo e minimo. Nao seria justa acusar Fermat por essas imperfeicoes de seu metodo. os valores de A para os quais a derivada de I{A) se anula. mas 1(0) nao e nem urn maximo nem urn minimo de [(A). para ir de urn ponto a outro do espaco. Wallis pegou 0 livro de Algebra do irmao e ficou ao mesmo tempo deliciado e intrigado com os simbolos estranhos que encontrou.2A .

A. 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. Wallis nao sabia como expandir (1 ~ X2)1I2 numa sene binomial. B era 0 ultimo . Assim a area ~-----B---------~ FIGURA [6]-1 areas iguais X2)112 a 1. Ele sabia como achar as areas representadas em notacao moderna por -----L.. e esteve a apenas urn passo de conseguir representar graficamente os numeros complexes. Urn exemplo interessante e sua expressao para ni2: 2·2·4·4'6'6'8 1·3·3·5·5·7·7 . sendo essas vamente.x2)2 dx . . I(1 1 0 x2) dx. nova (1637) mas de escrita obscura. ' Em sua Arithmetica infinitorum (1656). mas 0 exemplo mostra que ele foi urn dos primeiros a aceitar expoentes fracionarios. E. e seus metodos eram agora mais aritmeticos e menos geometricos. f6J-l).B 1 2 . o simbolo OJ para infinito visto acima foi usado pela primeira vez nesse trabalho de Wallis. A area do triangulo e a soma da progressao aritmetica O+ ••• na Figura [6]-2 situa-se entre 1 e 2/3. 8/15. . portanto nl4 esta entre 1 e 213.. 2/3. .(O+~ 'B) =~·_4_·B o FIGURA [6]-2 2 OJ = __ .ja que 0 ultimo paralelogramo (ao longo da base B do triangulol tinha altura AI OJ e base B. . cujas areas (do venice a base d~ triangulo) formavam uma progressao aritmetica em que 0 era 0 pnmeiro termo e (AIOJ) . expoente 112 es- + A OJ' B = (n? de 2 termos) " "I . Wallis finalmente deduziu a expressao acima para 1£12. I(J I 0 . ' que obteve por uma interpolacao sofisticada. continha a primeira discussao a respeito das Seu !ractatus de sectionibus conicis (Tratado de seccoes coni- conicas como curvas de segundo grau e ajudou a tornar inteligivel a geometria analitica de Rene Descartes._A __ --.cas~. por urn processo compIicado. e assim por diante.. mais ou menos como se segue.publicado em 1655. Wallis obteve outros resultados do calculo.-00 r I(1 o I x2)O I dx. 40 Mas esta ultima integral representa 114 da area do circulo unitsrio. uma vez que t! entre 0 e 1. respecti- I 1 o (J - dx 0 Wallis imaginava urn triangulo composto de urn mimero infinito de paralelogramos "muito estreitos". (pnmeiro + u timo termo) =. 41 .

e) a2 ~ 2ay + y2 = 4x ~ 4e. anos mais tarde. beneficiou-se das partes das Lectures referentes a novas maneiras de determinar areas e tangentes a curvas. podemos desprezar 0 termo a2 e obtemos .) x FIGURA [7]-1 (aproximadamente). Quando Barrow estava escrevendo suas Lectures on Optics and Geometry (1669). a = 0. Apliquemoso metodo de Barrow a parabola y2 = 4x mostrada na Figura [7]-1. [7]-1). a2 ~ y2 = 4x. Como Q esta na curva. cuja capacidade superior reconhecia de boa vontade. (N. se Deus resolvesse levar-lhe urn filho. Barrow determinava urn outro ponto Tern t do seguinte modo: Seja Q urn ponto da curva. Indicando as coordenadas de P e Q por (x. APTM e APQR sao praticamente semelhantes. em especial quando 0 triangu10 menor toma -se infinitamente pequeno. Em 1663 tomou-se 0 primeiro Lucasian professor": de Cambridge. que alguem ouviu seu pai rezar para que. seria reconhecido como mentor de outro Isaac. Professor da cadeira criada por Henry Lucas (1610·1633). ~2ay = ~4e 43 42 . como P e Q sao pontos vizinhos. Mas logo. 46·54. em Chaterhouse. dado por y(ale) . y ~ a). FLAGG No inicio da vida escolar de Isaac Barrow (1630·1677). E.01). mas apenas seis anos mais tarde renunciou a sua cadeira. Extremamente significativo para os desenvolvimentos posteriores do calculo foi 0 metodo de Barrow para determi• Estudante graduado corn bolsa para pesquisa. de modo que podemos escrever (1) CApSULA 7 RPIQR = MPlTM Isaac Barrow ELINOR B.T. dai (y ~ a)2 = 4 (x . podemos achar a razao ale.Leituras supiementares BOYER (a): 168-74 -(b): 415·21 KING e READ: 35·38 D. parecia pouco provavel que ele pudesse vir a dar contribuicoes significativas ao mundo academico. em cujo espiritc plantou a semente da qual brotaria a calculo deste ultimo.consequencia direta de (I). era tao irrequieto e briguento. Newton. recorreu a ajuda de Newton (provavelmente a respeito do material sobre optical. entao. suas coordenadas satisfazem a equacao. podemos agora achar T (sobre 0 eixo x) usando 0 comprimento do segmento TM. (N. as vezes chamado "triangulo de Barrow"> Para construir a tangente t a curva no ponto P (Fig. seu pupilo Isaac Newton. Como Meum ponto conhecido. Era o mesmo Isaac que. Depois de deixar Chaterhouse. 217-23 STRUlK (c): 244·53 nacao de tangentes a curvas pelo USQ do "triangulo diferencial". por sua vez. Agora.. 2ay = ~4e. substituindo esses valores na equacao da curva dada e desprezando os termos envolvendo potencias de a e e de expoentes maiores que 1. y) e (x ~ e. em Cambridge.) . Essex. SMITH (b): I. que esse filho fosse Isaac. se a e suficientemente proximo de zero (digamos. Em sua primeira escoia. onde se aplicou com tanto empenho que aos quatorze anos de idade foi adrnitido no Trinity College. em favor de seu pupilo Isaac Newton.T. Barrow passou a estudar em Felstead. por iniciativa propria. Graduou-se quatro anos mais tarde (1648) e urn ano depois tomou-sefellow" do pr6prio Trinity College.

0). a economia. Notou ainda que a quadratura da (area sob) curva podia ser tomada como a soma das ordenadas ou de uma infinidade de retangulos estreitos. Cavalieri. Descartes e outros. Na ocasiao. Ii linguistica e a hist6ria . a que e mais significativo. de triangulos semelhantes).. Somando esses retangulos. Isso pode ser visto facilmente fazendo-se Ax = -e e Ay = -a no procedimento de Barrow. entao TM tern comprimento 2 e T e (. LO aspecto significativo do metodo de Barrow para 0 desenvolvimento posterior do calculo nao foi a construcao efetiva da reta tangente.ou a=1. o interesse de Leibniz pela matematica resultou de urna missao diplornatica a Paris em 1672. a l6gica. Dai ret· pa = ret ._ e y Em particular. Num manuscrito datado de 29 de outubro de 1675. observou que esses dois proeessos de "diferencar" e somar (isto e. as leis. STRUIK (c): 253-63 CApSULA 8 y Leibniz AMY C.I." ed. 2) de y2 = 4x. Leibniz foi relegado ao esquecimento e morreu dois anos depois. conforme essas diferencas se tornassem cada vez menores. [8]-1).inclusive uma 44 FIGURA [8J·1 y FIGURA [8]·2 ideia anteriormente utilizada por Barrow e Pascal7l. se P e 0 pon to (1. E. num sentido intuitivo e aproximado. seu metoda carecia nitidamente de urna fundamentacao 16gica. 3()(}'302] . ele teve a imensa felicidade de travar relacoes com Christiaan Huygens. Leibniz obteve 0 que chamou urn "triangulo caracteristico" (ver Fig./ MIDONICK: 106-15 hist6ria genea16gica da familia Brunswick. Leituras suplementares BALL: 309-12 BOYER (a): 181·86 -(b): 424-26 EVES: 333·35 [5. seu metoda seria quase identico a sequencia de passes que frequentemente seguimos ao aplicar a definieao moderna de derivada. Embora Barrow tenha conseguido achar derivadas (como dizemas hoje). Diz-se que 0 funeral s6 foi acompanhado por seu fiel secretario. diferenciar e integrar) eram inversos urn do outro. Quando 0 duque de Hanover se tomou George I. primeiro rei alemao cia Inglaterra. que comecou estudando os trabalhos de Barrow. KING Gottfried Wilhelm van Leibniz (1646-1716) foi urn genic versatil que aplicou suas energias Ii matematica. mas antes a razao ale. 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.eibniz procedeu basicamente da seguinte maneira: ita = ply (provavelmente Leibniz irnaginava esses segmentos como lados. a teologia. para muitas equacoes especificas. Com efeito.0 mesrna resultado fornecido pelo quociente ale de Barrow. Huygens concordou satisfeito em dar aulas a Leibniz. yl. a filosofia. Coube a Newton e outros lancar esses fundamentos (incluindo especialmente a teoria dos limites por Cauchy e outros) e criar urn simbolismo apropriado. 45 . na notacao de Cavalieri. se Barrow tivesse dividido por e e depois desprezado termos. Leibniz escreveu primeiro. PT e a reta tangente desejada. Pascal. Se aplicamos 0 calculo elementar ao exemplo acima obtemos dyldx = 21y como derivada de y2 = 4x . a cujo service passou os ultimos quarenta anos de sua vida junto a corte de Hanover. 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.

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. tirado de Method of Fluxions de Newton (escrito em 1671 mas s6 publicado em 1736). Transcreveremos /D. a prioridade da descoberta pertenca a James Gregory).. segue-se que essas quantidades. assim. era denominado por eie "memento" do fluente. ao que parece. portanto. com excecao do exemplo. 0 uso que fazia de di49 48 . Portanto. Alem disso. Mas.=I 4 __ 1 +_1 __ 1 + 3 5 7 . por exemplo. pois Xo e Yo estao entre si como esta para y. a sua taxa de variacao. como se supOe 0 infinitamente pequeno para que possa representar momentos de quantidades. 173-81.. SMITH (a): II. assim gerada era ebamada por ele de "fluente". 693-941. 267-70. sofre num pequeno intervalo de tempo. de modo que x + xo e y + Yo podem substituir essas quantidades na mesma equacao em lugar de x e y. do que resultara = O. 0 pequeno incremento que urn fluente.. 0 momento de y sera Yo. yolxo = ylx1" .. yx + xy + xyo = O. e es- x Leibniz desenvolveu (c. SMITH (b): I.urna afirmacao que agora escrevemos dyldx = (dyldt) (dxldt). por hip6tese. que substituimos por outro mais simples: pelo produto de sua celeridade x por uma quantidade indefinidamente pequena 0 (isto e. x. sendo eliminada e os termos remanescentes sendo divididos por 0. como escreveriamos). Portanto. que. E... visto que os momentos como XO e yo sao as acessoes indefinidamente pequenas das quantidades fluentes x e y. 0 conheeido teste da serie altemada usado no inicio te momento era denotado por xo (isto e. y a + Yo. 0. que indicava por (isto e... urn ponto m6vel gera uma reta. DYKSTRA xy-a=O efacamosa substituicao de xpor x xy notacao de Leibniz + ioe deypor + xYo + xoy + ioYo xy . E. e as seguintes series tern seu nome (ernbora. tornam-se x + Xo e y + Yo. xO). II. ilustrara 0 uso que se fazia de fluxos e momentos. Portanto descarto-os e resta: xy+yx=O para Isaac Newton entendia que as quantidades geometricas sao geradas por movimentos continuos. A quantidade. . Leibniz iniciou-se no metodo das series infinitas. os termos que estao multiplicados por ele nada serao em relacao ao resto.atraves de diversos intervalos de tempo indefinidamente pequenos. 1675) sua notacao diferencial e aplicou-a aebar difereneiais de expressoes como xy. Mas. (dxldt) (dt) ou dx. x. a equacao que em todos os instantes expressa indiferentemente a relaentre as quantidades fluentes expressara tambem a relacao entre x + Xo e y + Yo como entre x e y. Newton dava 0 nome de "fluxo" de x. pelas quais essas quantidades sao aumentadas . seia dada uma equacao qualquer Leituras suplementares BALL (b): 353-65 BELL (b): 117-30 BOYER (a): 187-223 -(b): 437-45 KING e READ: 33-35 MESCHKQWSKI: 47·59 D... o seguinte exemplo. Deve-se a Leibniz do calculo. x e y.a = 0. apos qualquer intervalo de tempo indefmidamente pequeno. arctg x = x _ £+ 3 X 5 S _ x77 + . 619·26 STRUIK (c): 270-84 Se 0 momento de x e representado x CApSULA 9 can Notacao de Newton versus ROBERT H. dxldt em notacao moderna). Mas.Em visita a Londres em 1673.!!. 229-31.

0 mercador media 0 volume de urn barril (ver Fig. Seu trabalho a respeito da materia. - -S Lelturas suplementares BOYER (a): 187·223 CAJORI (a): II. que significa "diferenca") fica ilustrado de maneira precisa no seguinte excerto de uma carta que escreveu a John Wallis em 1699 fD.. ele teve motivos para se interessar por metodos de medieao de vo. Kepler considerava 0 volume desses s6lidos como a soma de numerosas camadas finas. 0 sinal I.. lumes de barris de vinho e. Mas e diferente se procuramos a diferenca entre x + dx ex. E.. e 'Para 0 fluxo . .. como disse Babbage. defendia "os principios do puro d-ismo em oposicao a notacao pontual da universidade".. como Iydx. Leibniz escrevia a mesma integral como fy e. Assim em qualquer caso particular 0 erro menor que qualquer quantidade finita. SMITH II. o ..xy = xdy + ydx + dxdy Mas nessa altura dxdy deve ser rejeitada por ser incomparavelmente menor que xdy + ydx. 180-206 SCHRADER . Stereometria doliorum vinorum tGeometria solida dos barris de vinho). incluia 0 estud~ de volumes de s6lid~ obtidos girando-se segmentos de seccoes conicas em torno de urn eixo de seu plano. pois entao as quantidades finitas desaparecem. se precisamos diferenciar xy. cada uma com a forma de urn disco cilindrico.. dx e desprezada. e dai 0 preco seria 0 mesmo. s _ . . nao deu a ela 0 mesmo cuidado que se encontra no trabalho de Newton. SMITH (a): II. A Sociedade reconhecia as vantagens da notacao dx de Leibniz sobre a notacao ... /Otto Toeplitz 182-831 refere-se a compra do vinho do casamento por Kepler. + dx) (y + dy) .. td Para 0 que chamamos agora integral de y.ferenciais (do latim differentia. Leibdiz escrevia dx (ou ainda dx : dt e dx ad dt). uma forma antiga da letra S. A guinada ocorreu -em 1810 com a criacao da Analytical Society.. e foi feliz em desenvolver a notacao do calculo Que usamos hoje. ignorada pelos ingleses durante meio seculo. Newton escrevia y ou ou [y]. Por ocasiao de seu segundo casamento . como era entao chamado).BRANNAN Johann Kepler (1571-1630). Uma das principais preocupacoes de Leibniz era uma boa notacao. . embora seu volume fosse bern menor. . [10}-1) introduzindo uma regua no escoadouro Sate alcancar 0 tampo em D. (a): D. quando se procura sua razao.. 0 mercador usava 0 comprimento SD = d para calcular 0 preco. fez urn estudo extenso de volumes de diversos s6lidos de revolucao. . devido a sua lea1dade a Newton e a sua antipatia por Leibniz. Embora Leibniz percebesse a irnportancia da base teorica do calculo.ide Newton. mas que sejam despreziveis sempre que aparecem com quantidades incomparavelmente maiores. Assim. conseqiientemente. 693-94 FIGURA [101·1 50 51 . -~. elas possam ser consideradas nao nulas. escrevemos (x Volumes de harris SAMUELJ. Kepler percebeu Que urn barril alto e estreito podia ter a mesma medida d de urn barril largo.. quando temos x + dx. Do mesmo modo nao podemos ter xdx e dxdx mantidas juntas. representava somas que tanto Newton como Leibniz sabiam suscetiveis de serem efetuadas por antidiferenciacao (0 metodo das "tangentes inversas". . alem de trabalhar em astronomia e em varies campos da matematica. publicado em 1615..i de Newton e. veio a se mteressar por outros volumes de revolucao. . . E. Dai. urn pouey mais tarde.. 696-97/: cAp S U LA 10 E importante considerar quantidades infinitamente pequenas tais que. seguindo-se ao ingresso de Charles Babbage na Universidade de Cambridge.

V= = 1[( ~ h=_2_d r f polegadas cubicas V'J eo valor de h que maximiza V.55. . pelo qual 0 barril se reduzira a urn cihndro. a regra acima fornece 0 volume de vinho em galOes porque.00 v"ana lentamente. por 0.) .6. para valores fixos de r. pelo menos na forma acima. Eleve ao quadrado 0 diametro medio assim encontrado e multiplique-o pela altura. ~o diametro junto ao baroque. para urn cilindro. o volume e dado por V (5) = n(!!!:_ 4 !!3_)h 16 me com (7). Kepler desejava saber que valor~e h darla 0 maior volume V. isto e. naturalmente.. e dai r2 = dl r + (2r)2 4 -!!3_ 16 . 0 raio r da base e a altura h. eo quociente sent 0 conteudo em galoes. Com 0 tempo. par 0. 294 53 .Assumindo que 0 barril fosse aproximadamente urn cilindro. tomando a medida d. o diametro do tampa do diametro junto ao batoque. nao dispunha do conceito de derivada (que. a tal ponto que alguns dos textos atuais 0 denominam "metodo de Fermat". por 0.7. Kepler aproximou seu volume V do seguinte modo: Devido ao teorema pitagorico dl = ( .. pois.____!!__ h 3 4 16' Agora. do tam~. como eJe mostrou.!!_ = _2_ d V'J' Pike notou que. e se forem quase ou eompletamente retas. e mostrou que a condicao para que isso aeonteca e dada por 3h2 = 4cf2. proximo ~e seu maximo u~ f~?cao . multiplique a diferenea entre os di4metros do batoque e do tampo por 0. 1790) forneceu um metodo muito completo e detalhado flEA VITI : 214-15/: Regra. obtendo assim 3h2 = 4d2: dV = nd2 ~ dh 4 Dai 3n h2 = 0 16 . (7) e 4cf2 - 3h2 = 0 ou .. como 231 polegadas cubicas correspondem a urn galao de vinho.Tome em polegadas as dimensoes do barril. Mesmo que a forma d~ barril ~ desvi~ urn pouco dessa proporcao. Med)r os volumes de todas as formas diferentes de cascos tornou-se como que uma arte. para vinho divida 0 produto por 294. . com Fermat cujo metodo aproximava-se bastante dos procedimentos atuais Para achar maximos e minimos ordinaries. Se entre 0 batoque e 0 tampa as aduelas do casco forem muito encurvadas ou bojudas. some 0 produto ao diametro. foi inventado posteriormente). Nicolas Pike (c. pr~xlmo de urn maximo ordinario a taxa de variacao esta ~UltO perto de zero. 0 metoda de usar d ainda assll~ podena ser empregad?. se forem menos encurvadas ainda. pois a forma deles era bastante confer52 (n/4)dlt galOes de vinho 231 d2f 231 (tt/4) = "'" dlf galOes de vinho. mas observou que 0 metodo de usar d para calcular 0 PTeCO do vinho era valido para barris austriacos. outros estudaram 0 problema de achar volumes de barris de vinho e metodos de precisao razoavel se desenvolveram com essa finalidade. do diametro do tampo e da altura. se nao forem tao encurvadas. a soma sera urn diametro medic. subtraia V = ruf2 h . Kepler. (Ho)e ~tariamos mais propensos.: Esse uso intuitivo e nao formal do concerto de denvada teve uma formulacao mais explicita alguns anos mais tarde (162~).65. Hoje maximizariamos V diferenciando (5) e impondo que 0 resultado fosse igual a zero.a d~r. para cerveja por 359.

cuja notacao A substituiu a notacao ponteada de Taylor. res- de 0 diametro medic e t ea altura do barril.onde pectivamente. Nessa cidade.6 27.20 Ji. ainda importantes na teoria.0 numeros 231 e 294 acima devem ser substituidos por 282 e 359. aplicando seu novo calculo ao problema da vibracao transversal de cordas.21 Leituras suplementares LEAVIT: 214-15 TOEPLITZ: 82-83 STRUIK 54 (c): 192-97 Em seu Methodus differentia/is (1730). 0 diametro do tampo mede 27 polegadas e a altura mede 45 polegadas? Diametro junto ao batoque Diametro do tampo 35 27 8 0.6 '" Quadrado Altura I 062. e George BooIe. damos 0 seguinte problema e as respostas: Qual 0 conteudo em galees de vinho ou cerveja de urn barril cujas aduelas sao bastante encurvadas. primeiro em galoes de vinho e depois em galoes de cerveja. ate ser obrigado a voltar as pressas para a Ingiaterra. foi 0 primeiro a conseguir reduzir 0 problema a principios mecanicos.m (nil) (e- II). E p~o~avel que Stirling seja mais conhecido peia chamada formula de Stirling. Pelo resto da vida foi tratado pelos colegas como "0 veneziano". Stirling foi urn dos homens mais interessantes e versateis dos primordios do calculo. apenas urn caso particular do teorema de Taylor. Stirling aplicou seu calculo de diferencas finitas a series e a interpolacao. 47 824. chegou a chamada expansao de Maclaurin .7 5. os CApSULA 11 Diferencas finitas MELCHER FOBES Brook Taylor (1685-1731) criou 0 "calculo de diferencas finitas" e publicou os resultados em seu Methodus incrementorum directa et inversa (1715). vinte e cinco anos antes de Maclaurin. se 0 diametro junto ao batoque mede 35 polegadas. que da uma aproxirnacao de n! por Diferenca Multiplicador Produto Diametro do tampo Diametro medio ___ll&_ 1956 652 978 32.20 : 359 =:: =:: 162. que tambem inclui 0 teorema de Taylor sobre series.20 : 294 47 824. Ele havia descoberto alguns dos segredos comerciais dos 80pradores de vidro venezianos e temia ser assassinado. 55 .naturalmente.76 45 5 31380 42510 4 47824.2) e. As respostas sao dadas abaixo. inclusive Leonhard Euler. Para cerveja.66 133. C?luna paralela a direita da a ideia correspondente no calculo ordmano. Embora nao esteja entre os grandes maternaticos. estudou e ensinou durante dez anos. a. Taylor extraiu muitas analogias entre seu novo calculo finito e 0 calcu10 (infinitesimal) ordinario.1) (x . conhecido por todos os estudantes de calculo [17). Aos vinte e dois anos de idade foi expulso da Universidade de Oxford devido as suas eonviccoes politicas. Pike sugeriu tambem que se fizessem os devidos descontos em virtude da espessura da madeira do casco. Como exemplo do metodo de Pike. mudando-se en tao para Veneza. o calculo de diferencas finitas foi ainda desenvolvido por muitos outros maternaticos depois de Stirling. devida a Abraham De Moivre (1667 -1754). e. Nesse livro. e introduziu os nurneros de Stirling. Mas a mais antiga elaboracao real de diferencas finitas foi dada por James Stirling (1692-1770). A notacao X(3) significa xix . que inclusive. cujo texto Finite Differences (1860) fomeceu a motivaeao para a ilustracao a seguir.

1 + 3. 0 leitor conhece a abordagem grega do problema da area do circulo: As areas crescentes dos poligonos inscritos aumentam.3 + .2 + 4. Mas.. 56 . ele usava 0 "metodo de exaustao". por exemplo: Ax()) Ax[(x . por exaustao. 1:.F(x) 11-1 h DF(x) = lim F(x + h) . f x dx 2 =~ do teorema fundamental .I) = 2)J STRUlK (c): 328-33 -'. assim x~b o analogo X(2) 3 + C. Assim. 0 versatil Arquimedes (287-212 a.I~ (x .A derivada finita de F(x) e definida por AF(x) = lim F(x + h) . e ilustrada por 4-lx!2) = x(3) cAp S D.. para se ajustar aos padroes de rigor da epoca. 10 10 ~ x=2 xIx . aproximando-se da area do circulo.J x2 = U LA 12 3 + C . Suponhamos que a Figura [12]-1 represente uma porcao de parabola determinada pela corda C' e. Arquimedes expos seu "metodo da alavanca" para desrobrir f6rmulas de areas e volumes. aproximando-se da area do circulo. antiderivada finita. com 4 -I.F(x) 11-0 h E interessante notar que desde 0 inicio Brook Taylor extraiu muitas analogias entre 0 novo calculo finito e 0 calculo ordinario como tambem Boole.isto 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 . em seu texto de 1860. Arquimedes mostrou que essa por~o de parabola e 4/3 da area de Ae' A'e.+ 10 .iguala somat6rios. Observemos de forma algo diferente a demonstracao de Arquimedes. 9 = I' x(x . ao passo que as areas decrescentes dos poligonos circunscritos diminuem. que a equacao de nossa parabola seja y = kxt. Arquimedes e a "metoda de exaustao" MELCHER FOBES Para achar areas e volumes.Fix). quando publicava provas para essas f6rmulas. Numa carta a Eratostenes. quanto ao espirito. _ dF - dx . Leituras suplementares BOYER (b): 465-69 = F(x + I) . em notacao moderna.2) ]~1 = 11'10·9 3 -0 = 330. 0 que equivale a dizer que a area limi57 I' I2 b x dx = [D-IX2]:"+0 = =[ ~3 ]:+0 10 Aplicando este teorema fundamental para derivadas finitas ao SOIDat6rio 2 temos . de que a area de urn segmento parab6lico e 4/3 da area do triangulo inscrito [1]. e muito semelhante. que.I) = ~ =[ xIx . ao calculo atual. A operacao inversa.1).Cj usou sua pr6pria versao primitiva do calculo integral. de alguma maneira.1) (x = 3x(x . = 3x(2).

onde D e 0 ponto em que uma para lela a AB pelo ponto medio M de BC corta a parabola. entao mostrou que MD"D + ADD'C = 114 MDC = 1/(42) MBe. que ADD' C = 1/4 MJCE e !AD" D = 114 AADE. provar por metodos analogos. AF = k(FDF e AB = k(BC)2. WEC = 112 IlEMC.51-56 suplementares _(b): 100-103. Neste caso as somas de Riemann podem ser estimadas de maneira simples. Logo. sobre a hist6ria da matematica] e grande parte do que selecionou se constitui de (supersimplificacoes como) fatias. e mostrando que MDC = 1I4 MBe. C' M' C cAp S U LA 13 Converqencia A FIGURA [12]-1 MARLOW SHOLANDER A seguinte analogia tern algum merito. Da definicao de parabola. 58 . ~ M Talvez 0 aluno ache interessante. Tambem e interessante que Arquimedes tenha dado uma segunda prova desse resultado por meio de retangulos inscritos e circunscritos. migalhas e pasta de amendoim. MDE e AAEM tern mesma altura AH e bases DE = 1/4 AB e EM = 112 AB. Dai DE = AB . e assim MDC = 114 MBe.Porem. de forma que MD"D + ADD'C = 114 MDC = 1/(42) AABC. BC.HD . Leituras ARQUIMEDES: 233-52. respectivamente. de maneira que. Como FD = BM = 1/2 BC. aproxima-se cada vez maisde 4/3 MBe. de modo Que EM = 1/2 AB. Como ponte de partida podemos argumentar que 0 paradoxo de Zenao (c. A matematica e urn supennercado. quanto ao espirito. Ii medida que n cresce.tada por AB. MCM e AAMB rem bases iguais (MC e BM) e mesma altura (AB). EMIAB = MCfBC = 1/2.D. Para tanto ele "exauriu" a area parab6lica somando primeiro 0 triangulo ADC ao MBC. UDE = 112 MEM. deduz-se que AF = HD = 114 AB. com 0 uso dos segmentos construidos apresentados na figura. pontos medics de MC e BM._1 AB . 0 autor se dirigiu para urna prateleira mais acessivel (de alguns trabalhos-modelo. Por sernelhanca de triangulos.._1 AB = _I AB 4 2 4· Assirn. Numerosos autores organizaram as prateleiras de mercadorias. que tern 0 tamanho do carrinho de compras.Q. AADC = 112 UCM. Uma capsula sobre convergencia e uma selecao representativa. e a parabola e 413 da area de MBe. Analogamente. e urn pouquinho mais dificil. quase identica.C] sobre a impossibilidade de se percorrer uma pista de corrida tomou mais facil 0 entendimento da falsidade de I > 1/2 + 114 + 118 + . chega-se a conclusao de que a area parabolica e dada aproximadamente por (I) MBC + _1 MBC 4 + _1_ MBC + 42 B MN + _1_ MBC. 450 a. Que 0 autor seja perdoado! Ap6s escolher urn ou dois itens. por adieao. nso sendo necessario 0 uso do teorema fundamental. A seguir construiu paralelas a AB por M' e MR. 5-51 BOYER (a): 31-37.EM = AB . C.. com a notacao e os segmentos construidos da figura. 142-46 MESCHKOWSKL 13-23 TOEPLITZ: 11-14 a qual. suplemento. urn dos primeiros matematicos conhe59 A prova de que AADC = 1I4 MBC faz-se como se segue. ao presente metodo de forma~o de somas de Riemann superiores e inferiores. Alem disso. Convergencia e uma das grandes secoes da loia. as quais cortam a parabola em D' e DR. Continuando indefinidamente com este processo. completando assim a segunda etapa da prova.

o primeiro teste de convergencia. Com as investigacees de Poincare em 1886. Ate 0 pior dos exernplos. 56 apareceu em ~705. 220 a. Holder fora 0 primeiro dos muitos que inventaram definicoes.. = 1.. por volta de 1840. (4) e (5). 1750). Apesar de tudo.(1 . Devemos a Weierstrass (c.riores. = (I - 1) + (I - I) + =1-1+1-1+ . Newton teve a perspicacia de se preocupar com as razoes logicas subjacentes ao calculo..r 1 . + an + . Antes. escapou do ostracismo atraves da teoria da valorizacao iniciada por Ostrowski em 1918. suas derivadas erarn mais razoes que limites... 0 nao-conheclmento das 61 . deduziram-se tantas formulas bonitas. Cauchy regressou as series diver gentes e. Seu teste para as series alternadas. Leibniz foi induzido pelo contraste entre (2) e 1- 2+T-4+··· 4 1 1 1 (3) 1+2I 3+ I +". Usando-se nossa notacao. discutia-se a mensagem fornecida por (1) no caso particular (4) Uma era de rigor foi anunciada por Gauss (c. (5).. em 1882. '. para a soma de uma serie. Cauchy usou series como (3) para demonstrar que a comutatividade tambem deve ser sacrificada.(1 . Por volta de 1700. as series divergentes adquirirarn urn status elevado. . + an e Ol + 02 + .. com quem 0 formalismo chegou ao auge (c. observando os subtotais I. ate que Cauchy (1830) comecou a deslocar a analise de alicerces sobre a areia para fundamentos apropriados. tinha lancado os fundamentos de sua teoria.. (4) torna-se verdadeira.I) . 12. ~ E notavel que tenham se passado tantos aDOSe tenham sido necessarias tantas evidencias para que as pessoas se convencessem de que al + a2 + . (4). a definicao usual de soma e universalmente util. Regras para lidar com series provem dela.1 -1+1-1+ . com aplicacoes validas.2) . somas infinitas talvez nao fossem associativas. Mediante alguns metodos de somabilidade. 0.. mas adotou remedies infe- . Leibniz. que 0 intuicionismo passou a ceder lugar ao forrnalismo (no qual a natureza fala ao homem por meio de formulas). Euler quase foi levado a definir "somas" de series. Note-se que nossa definicao corresponde ao agrupamento (7) {[(a I + a2) + 03] + a4} + . o formalismo estava passando dos limites. Nesse meio tempo... 0 rigor entrou em moda a partir de entao..D'Alembert declarou que algo devia ser feito quanto a "limites".1) .. rnanteve-se calma ern face desse e de outros quebra-cabecas como (5) 60 -1 = I + 2 + 4 + 8 + . poderia transformar convergencia em divergencia. como em (6). Estritamente falando. alguns observararn que (6) 0=0 = + 0 + . resultado da aplicacao do teorema do bin6rnio formal a (I . I + a ideia de convergencia e divergencia. foram encontrados por ele os seguintes resultados lim 4-n = 0 e n~1 Por essa epoca.. . 0... (5) e outras comportam-se devidamente em outros contextos. Euler. Lagrange concordou. eram de especies diferentes. a = a + ar + ar2 + ...C]. Abel evitava tais series como obras do diabo. Por volta de 1737. 1860) agradecimentos carrancudos pela camisa-de-forca da versao plena dos "epsilon-delta"... I. Mas passou quase despercebida.I... Houve entao urn periodo em que esses progressos se consolidaram (urn periodo igual ao que vai de Nero a Castro). Em outras palavras.cidos a enfrentar limites e series foi Arquimedes (c.. voltando ao assunto. Mesmo Cauchy e Abel relutaram em concluir que se deve rejeitar a ideia de soma para series como (3). Demorou para se determinar que agrupar ou nao.. os Principia de Newton. sup6s que a probabilidade estivesse envolvida. Urn aeontecimento intermediario. L ~ 4-n =_1 3' e ainda a formula (1) 1. E improvavel que principiantes em calculo tirem proveito da informacao de que (3). 1800).. Qualquer soma desejada pode ser obtida pelo rearranjo de seus terrnos.. marca 0 apogeu do periodo intuitivo (em que os segredos da natureza guiavam as descobertas).

publicou algumas contribuicoes ongmais suas. Bern?ullisobre 0 calculo diferencial. reivindicou publicamen. porque foi publicado em 1742 em sua Opera. 6. etc. Mas s6 em 1955. Bernoulli. Porem. sobre a suposta dependencia de L'Hospital para com Johann Bernoulli. Euler rearranjava series. inconsciente dos perigos decorrentes. durante alguns ~eses anos 1691 e 1692 os services do jovem e brilhante matematico e fisico suiCO Johann Bernoulli. quando seu livro saiu. Ao lado estao duas urnas vazias B e C.L'Hospital (ou de I'H6pitaf) na ~ua Analyse des tnfiniment petits (Pans.0. datado de 1691192. Quando Bernoulli retornou a Basileia. Seja dada uma urna A contendo uma infinidade de etiquetas. foi publicada pela primeira vez pe10 matematico frances G_ F: A.regras do jogo impediram Fourier e Heaviside de chegar a descobertas importantes. Suponhamos que se repita esse procedimento urn numero infinite de vezes. num caso semelhante.~ 0 c~to pelo item n? 163. L'Hospital contratou.a ed.) 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. de. Leituras suplementares BELL (a): 282-95 BOYER (b): 477. a questao fot consideravelmente esclarecida. Ao mesmo tempo. 5 e 6. Quantas etiquetas se encontram entao em H? Pode-se defender (e dai atacar) qualquer resposta de zero ao infinito. STRUIK A chamada regra de L'Hospital. na historia da maternatica as intuicoes mais refinadas embaracamse nas brurnas de processos infinitos. urn de 1684 e 0 outro d~ 1686. As etiquetas introduzidas em B sao assim numeradas: I e 2.s 62 63 . Com a publicacao. 0 metodo fica bern ilustrado pelo procedimento que confirma. Em 1696. Uma multiplicidade de exemplos mostra a perversidade do infinito contrapondo-se a essas tendencias. 1. em 1922. (0 manuscrito correspondente sobre 0 calcu10 integral tornou-se conhecido ainda em vida de Bernoulli. Suponhamos que se retirem de B as etiquetas 2. mas apenas em termos genericos: "Utilizei livremente suas descobertas (je me suis servi sansfacon de leur decouvertes).0 marques de L Hospital era urn matematico amador. 598·617 CAJORI (b) 373-77 STRUIK (a]: 124-27 [4. como resposta. Em 1704. de fato. 9 e assim por diante. Inoportunos para os mortais comuns sao os sorrisos desdenhosos. reconhecimento a Leibniz e Bernoulli. 486-89. Ate recentemente nao se havia chegado a nenhuma conclusao aceitavel. a situaeao real veio a luz. do manuscrito de Johann. digamos. que se mteressou profundamente pelo novo calculo apresentado ao mundo intelectual por Leibniz em dois pequenos artigos. 0 seguinte merece ampla divulgacao. 566. A questao da dependencia real de L'Hospital P3!~ com Bernoulli flcou sem resposta. depois que L'Hospital Ihe enviou urn exemplar do livre. sua cidade natal.7. e com 0 passar do tempo adquiriu 0 cru:ater de urn certo misterio. 4. com a publicaeao da correspondencia de Bernoulli. pelo ~o. fora estabelecido urn trato entre 0 marques e seu antigo tutor. inventando a convergencia uniforme nesse processo. 3 e 5. Restarao as etiquetas I. apes a morte de L'Hospital. Instintos alertas e precaucoes convenientes impediam-nos de urn erro fatal. Transferem-se duas etiquetas de A para Be entao passa-se uma etiqueta de B para C. L'Hospital expressou seu. reclamava que grande parte ~o contendo de Analyse des infiniment petits realmente lhe pertencia. Revelou-se entao que em 1694. 0 marques manteve-se em contato com seu tut?r J?Orcorr~fK>I?dencia. . agradeceu com cortesia e parabenizou 0 autor. Mas subsequentemente. que afirma que lim x-a i(x) g(x) i' (a) g'(a) onde fia) = g(a) = 0 e s' (a) +. Matematicos mteressados pelo enigma da prioridade especularam desde entao. errou 0 caminho mas recuperou-se. 124-26] -(e): 383·91 cA> S U LA 14 A origem da regra de L'HospitaJ DIRK J. 3. de modo que lhes restituo abertamente tudo quanto desejem reivindicar como sendo de sua autoria". que contem a regra para 0/0. 8. pesando a conhecida grandeza de Bernoulli como matematico contra sua tambem conhecida reputacao de mesquinhez. primeiro em sua casa em Paris e depois em sua casa de campo. Gauss trocava limites repetidos sem se desculpar.696). para com os testes de convergencia de series. Cauchy. digamos. 3 e 4. em algumas cartas particulates escntas quando 0 marques ainda estava vivo. Nao tendo cert~~ de que conseguiria dominar 0 novo e fascinante ramo da matematica por si so.

nao passar a outras pessoas c6pias das anotacoes enviadas a L'Hospital. casado recentemente e ainda a procura de urn emprego (que conseguiu no ana seguinte. e assim seguira no futuro. na Universidade de Groningen na Holanda). Monsieur tout a vous Ie M. e farei isso tao logo meus negocios esteiam urn pouco menos confusos.. pois sei que e muito modesta. 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. Mande-me sua resposta a tudo isso e acredite em mim. e uma delas. A_ fo~uiacao e. sabernos que ele aceitou a proposta. trabalhar em todos os problemas rnatematicos que marques lhe enviasse.h No limite. Diversas cartas de Bernoulli a seu protetor foram publicadas recentemente. 3. mas solicitarei apenas que me d~ ocasionalmente algumas horas de seu tempo para trabalhar no que the peca .JOx x = a. Esse exemplo foi usado por ambos.. e cento e cinqiienta libras pela segunda metade. muito parecida com ~ que se encontr~ em An~se des infiniment petus e baseia-se em consideracoes geometricas'l'-'0m nossas pala vras. Para o jovem cientista desprovido de recursos. mas. Nao sabernos quanta tempo durou esse acordo. datada de 22 de julho de 1694. contem a 64 no caso e necessario dividir a diferencial (/a dif!erentielle) do numerador da fracao geral pela diferencial do denominador. pais nile me agradaria que Sf: tornassem publicas. Entao y =( I. Os exernplos de Bernoulli sao quase os mesmos que L'Hospital utiliza: (1) para x = a. por uma carta de 22 de julho de 1694.qual L'Hospital oferecia a ele urna pensao de 300 libras (posteriormente mais) desde que Bernoulli concordasse ~m tres condicoes: I. 65 . de modo que J(a) =_ _ = 0. eomecando ia a primeiro de janeiro do presente ano. OP = a.e tambem para cornunicar-me suas descobertas. com a solicitacao de nile menciona-las a outros.[iiX . na Basileia. Prometo aumentar logo esta pensao. Entao y = 3a. essa bolsa deve ter caido do ceu. (2) para Y= a. nodia 7 de marco de 1694: Dar-lhe-ei de born grado uma pensao de trezentas libras. )a. 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. igual ao quociente de hf' (a + h) por hg' (a + h) quando . a figura mostra imediatamente que f(a + g(a h) + h) ~e quase e pequeno. Varignon nem a outros. encontrarnos. de L'Hospital A resposta de Bernoulli jamais foi encontrada. Solicitolhe tambem nso mandar c6pias das anotaeoes que me remeta nem a M. e. se tomamos g(a) uma abscissa x = a + h. t resra para 0/0.xx a . comunicar ao marques tapas as descobertas de que tivesse conhecimento. 0 rnesrno nao acontecendo com a de L'HospitaL A relacao entre os dois pode ter chegado ao fim em 1695. e the enviarei duzentas libras pela primeira metade do ano devido as revistas que voce me mandou. mas a situaeao financeira de Bernoulli rnelhorou. 2. . agora nas palavras de Bernoulh: A fim de achar 0 valor da ordenada (appliquee) da eurva dada [Y =!(X)] g(x) Nao tenho a insensatez de lhe solicitar todo 0 seu tempo.

de modo que f(a) =. SolicitoIhe tambem nao mandar copias das anotacoes que me remeta nem a M.xx y = -'-----a . Varignon nem a outros. t Nao tenho a insensatez de Ihe solicitar todo 0 seu tempo. na Universidade de Groningen na Holanda). se tomamos uma abscissa x = a + h. de L'Hospital '!. Prometo aumentar logo esta pensao. 3. se f(x) Ihe enviasse. Entao y= (If )a. Segue-se uma tradueao do trecho da carta que contem a proposta inusitada que L'Hospital ' enviou de Paris a Johann Bernoulli. 2. e assim seguira no futuro. Diversas cartas de Bernoulli a seu protetor foram publicadas recentemente..e tambem para eomunicar-me suas descobertas. e Ihe enviarei duzentas libras pela prime ira metade do ano devido as revistas que voce me mandou. sabemos que ele aceitou a proposta. por uma carta de 22 de julho de 1694. contem a 64 para x = a. pois sei que e muito modesta. Mande-me sua resposta a tudo isso e acredite em mim./iiX1 varx A resposta de Bernoulli jamais foi encontrada. pois nao me agradaria que se tomassem publicas. no dia 7 de marco de 1694: Dar-lhe-ei de born grado uma pensao de trezentas libras. essa bolsa deve ter caido do ceu. igual ao quociente de hf'(a + h) por hg'(a + h) quando. 0 mesmo nao aoontecendo com a de L'Hospital. (2) aJiii .h No limite. com a solieitacao de nao meneiona-las a outros. casado recentemente e ainda a procura de urn emprego (que oonseguiu no ano seguinte. encontramos. Esse exemplo foi usado por ambos. Para o jovem cientista desprovido de recursos.. muito p~recida com ~ que se encontr_a em An~se des infiniment pettts e baseia-se em consideracoes geometricas. A_ forI!1ulaCao e. mas a situacao financeira de Bernoulli melhorou.. Entao y = 3a. _ Isso resolveu a questao da prioridade. mas. e urna delas. a figura mostra imediatamente que f(a + g(a h) + h) ~equase e pequeno. na Basileia.. = 0. datada de 22 de julho de 1694. Monsieur 1. e.qual L'Hospital oferecia a ele uma pensao de 300 libras (posteriormen· te mais) desde que Bernoulli conoordasse com tres condicoes: regra para 0/0. trabalhar em todos os problemas matematicos que 0 marques Y = g(x) e as duas curvas y == f(x) e y == g(x) passam pelo mesmo ponto P do eixo x. comunicar ao marques todas as descobertas de que tivesse conhecimento.. OP = a. A relaeao entre os dois pode ter chegado ao fim em 1695.[iiX para x = a. agora nas palavras de Bernoulli: 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. ~m nossas palavras. e cento e cinquenta libras pela segunda metade. mas solicitarei apenas que me de ocasionalmente algumas horas de seu tempo para trabalhar no que Ihe peca . Os exemplos de Bernoulli sao quase os mesmos que L'Hospital utiliza: (1) y = ~-----::---a- tout a vous . g(a). e farei isso tao logo meus negocios' estejam urn pouco menos confusos. nao passar a outras pessoas copias das anotacocs enviadas a L'Hospital. eomecando ja a primeiro de janeiro do presente ano. Nao sabemos quanto tempo durou esse aoordo.. 65 ./2a3x - X4 - a Ie M.

Deixemos que 0 born marques fique com sua regra primorosa. Primeiro. Afinal. 0 triangulo de Pascal era conhecido pelo matematico chines Yang Hui (secuio XIII) e provavelmente e muito rna is antigo. no calculo de vartacoes. Bernoulli sentiu-se desobrigade de continuar mantendo silencio. Quando x. urn maximo ou urn minimo. So podia dize-lo particularmente. As series de Fourier foram usadas por Euler e Daniel Bernoulli. Devemos ter algum respeito por ele. muitas vezes. amigo de L'Hospital. com a morte do marques. nomes de pessoas que.ou melhor. d Ix ) dx. portanto.JiiX para x = a. Podemos entao fazer comparacoes entre os val ores dessa integral ao se fazerem escolhas diferentes de y co67 .Esse exemplo de Bernoulli foi transformado y= por L'Hospital em aa-ax a . Bernoulli estava amarrado pela promessa de nao revelar quais as partes do livro que eram dele. entao a mdx tegral tern urn valor definido. ~r usado com~ uma boa introducao ao calculo. Fot traduzido para 0 ingles e para 0 latim e mereceu comentaI?os. cAp S U LA 15 Calculo de variacoes BERNARD J. Qualquer nova descoberta historica pode. voltar a alterar 0 delicado equilibrio da nomenclatura. Os nomes ligados a descobertas maternaticas sao. meio seculo. As equacoes de Cauchy-Riemann eram conhecidas por D'Alembert e Euler. porque ja ha varias regras e teoremas com 0 nome Bernoulli (devidas pelo menos a tres membros da familia .a regra para 0/0. por volta de 1500. alem de ter sido 0 primeiro a ser publicado sobre a materia . ele pagou por ela e tornou-a de dominio publico.contendo contribuicoes proprias do autor . quandofe uma funcao dy . Mesmo depois que textos melhores apareceram. Se comecarmos a mudar os nomes de regras e teoremas estritamente segundo as leis da prioridade.. Johann e Daniel). Analogamente. ele merece alguma fama. Hoje. e reivindicou para si a autoria do notavel resultado do livro . pois a ligaeao de Pell com as equaCOese extremarnente remota. dada de x. e seu contemporaneo Chhin Chiu-shao trabaihou com 0 rnetodo de Horner da teoria das equacoes algebricas como se fosse urn instrumento antigo.tinha qualidade suficiente para se 66 manter em poseao de destaque por mais de. 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) I= f XI X2 f (x. entao. Leituras suplementares COOLIDGE: 147·70 STRUIK (e): 312·16 Esta capsula foi adaptada de urn artigo publicado em abril de 1963 na Mathematics Teacher.Jakob. como o de Varignon. contmuou a. Entao y = 20. sa~mos de uma edWao d~ . 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. YOZWlAK Urn problema importante em calculo diferencial consiste .1790. levaram esses resultados a serem mais conhecidos ou mais bern compreendidos. ficou esclarecida. est! feita iustica. y e e quando y e dada como funcao de x. A situacao. Os indianos tambern lidaram com as equacoes de Pell muito antes de John Pell estuda-las . eX2 tern valores numericos definidos. Mas nao tinha como provar essa afirmacao. nao estuda-las. atraves de seu trabalho. Quando 0 livro de L'Hospital foi publicado. Da descoberta da origem da regra de L'Hospital nao se pode concluir que ela passara a levar 0 nome de Bernoulli. y.isto e. pelo menos ate que outro postulante aparecesse . 0 teorema de Taylor seria de Gregory.em se tentar achar os valores das variaveis independentes para os quais uma dada funcao assume urn valor maior ou urn valor menor.nao e irnpossivel que maternaticos indianos tenharn se aproximado dele. seu livro sobre 0 novo calculo. . Entao. Mas ha outro argumento de peso. E assim por diante.

Acabou-se por demonstrar que essas funeoes elementares eram insuficientes !BELL (a): 4011. 232.2. discipulo de Johann Bernoulli. inclusive urn problema isoperimetrico (em que 0 perimetro e mantido fixo). Esse tipo de problema tern interessado matematicos ao longo de toda a historia. proposto como replica ao problema de seu irmao. deu muitas contribuicoes ao estudo do calculo de variacoes. Gottfried Wilhelm von Leibniz e os irmaos Jakob e Johann Bernoulli. fara 0 percurso do ponto mais alto ao mais baixo em tempo minimo. Muitos outros problemas propostos foram resolvidos principalmente pela intuicao de certos individuos. entre os quais Isaac Newton. 0 desenvolvimento sistematico do calcu10 de variacoes cornecou quando Johann Bernoulli (1667-1748) reapresentou 0 problema cia braquist6crona.lx2. cuja solucao fornece a funcao que minimiza (1). como sen x. dx2 que nao passa de uma equacao diferencial "ordinaria".16. Pioneiros nesta selva.369-72 STRUIK (c): 391-413 onde y representa a altura da bola e x 0 tempo de percurso. foram publicadas em 1696. dentre todas as curvas possiveis que ligam dois pontos em urn plano vertical. desprezando-se a resistencia do ar. procura-se o caminho de descida mais rapida. o metodo de Jakob Bernoulli de resolucao do problema da braquist6crona era mais geral do que 0 de Johann.1(32) ou aproximadamente 125 pes. essas equacoes forneciam formulacocs de leis que governavam 0 universe fisico. 0 problema envolve a minimizacao da integral I T=-- cAp S U LA 16 Uma selva de equacoes diferenciais JAMES PORTER coes Lancadas no tim do seculo XVII. produzindo uma floresta de equamatematicas classificadas como "equacoes diferenciais". Esses pesquisadores primitivos esperavam "resolver" tais equacoes para relacoes entre ye x que utilizassem funcoes elementares conhecidas. aquela para a qual uma particula deslizando (sem atrito) para baixo ao longo da curva.10(3) . ap6s tres segundos a altura da bola sera 300 .mo funcao de x. uma trajetoria descrita pela equac. por exemplo. ja estudado antes por Galileu. Esta descrieao baseia-se na segunda lei cia mecanica de Newton. e possibilitava a resolucao de uma ampla gama de problemas. inclusive 0 desenvolvimento da equacao diferencial _!_f_ ay . Isto e. puseram-se a ponderar sobre arvor-s-equacao como log x J2y + x2y ddYX + y3 = sen x. as sementes do calculo floresceram e proliferaram rapiclamente. A solucao dessa equacao diferencial (levando-se em conta as condicoes descritas acima) e y = 300 . log x. 69 68 . uma bola lancada para baixo de uma altura de 300 pes com uma velocidade inicial de lOpes por segundo tern. Suas solueoes eram indispensaveis aos campos em desenvolvimento da mecanica e da astronomia. independentes uma cia outra. Leonhard Euler. e suas solucoes.ao diferencial dx2 J2i fXO o J1+ (y')2 dx y e fornece urn arco de cicloide como solucao.s: (_!_f_) dx ay = 0. J2y = -32. Leituras suplementares BELL (a): 377·81 BOYER (b): 534 CAJORI (b). sob a acao cia gravidade. Os irmaos Johann e Jakob Bernoulli resolveram 0 problema.lOx . Mais do que simplesmente madeira de corte de matematicos. Por exemplo. x2 e outras. 0 problema basico do calculo de variacoes e achar a funcao particular y = y(x) que torna (1) urn maximo ou urn minimo. Os gregos antigos sabiam que de todas as curvas com urn dado perimetro a que abarca maior area e 0 circulo. o problema cia braquist6crona (tempo men or) visa determinar. e muitos desses problemas foram resolvidos por metodos muito engenhosos. de modo que.251.desde que exista minimo.16.

4 sen 4x + . os metodos de aproximacao numerica e de reiteracao se tornaram nso s6 exequiveis. 0 livro esta pontilhado de .An-'y(x). Mas poucos terrenos de grande extensao podiam ser reivindicados. como ate vantajosos. BELL (a): 400419 BOYER (h): 493-96 70 CAJORI (b): 383-92 E claro que. WOLLAN Brook Taylor (1685-1731) foi urn eminente matematico ingles. 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/. Suponhamos que y(x) seia uma funcao de x. Certa ocasiao ICAJORI (b): 238/. Paralelamente a uma compreensao maior dos problemas inerentes a resolucao de equacoes diferenciais. se z(x) e outra funcao de x. Euler afirmou que sen x .. No inicio de nosso seculo os importantes mecanismos da algebra abstrata. Era urn jovem de talento incomum. N. bern c0mo com a teoria das equacoes. A deducao da serie conhecida por seu nome foi incluida em seu principal trabalho de rnatematica.2 sen 2x + 3 sen 3x . Leituras suplementares CApSULA 17 Maclaurin. a resoiucao de equacoes diferenciais por series infinitas era uma tecnica importante.An-'y(x)) + Ax) . publicado em Londres em 1715. Ax urn nurnero real arbitrario e que Ay(x) = y(x + Ax) . entao A(y(x) + z(x)) = Ay(x) + A. coincidiu aproximadamente com a ultima parte da vida de Newton. Por volta do (mal do seculo XIX. inc1uindo musica e arte. com uma gama ampla de interesses. em 1743 Leonhard Euler fora capaz de discutir exaustivamente a equacao diferencial ordinaria linear homogenea geral com coeficientes constantes. nao sendo mencionados outros matematicos que contributram para a materia. 0 Paul Bunyan da matematica e da fisica. umas ap6s outras. Sua revelacao de solucoes imperfeitas levou muitos matematicos a voltarem atras para reconsiderar afirmacoes anteriores.z(x). e tambem matematica e filosofia. Na epaca 0 mundo da matematica estava profundamente envolvido na polemica sobre a prioridade de Newton ou Leibniz.. Quando 0 segundo seculo de trabalho com equacoes diferenciais ja ia bern adiantado. 71 . Nao obstante. Com os atuais computadares. e grande parte das pesquisas sobre equacoes diferenciais esta sendo dirigida para 0 aprimoramento desses metodos computacionais. da topologia e da analise funcional foram acionados. bastante breve. era aproximadamente como se segue. foram particularmente importantes 0 metoda de aproximacOessucessivas de Emile Picard. apesar de sua utilidade potencial. Por exemplo. Taylor e suas series diferenciais G.Ay(x) A3y(X) = A(A2y(X)) = A2y(X + Ax) .A2y(x) = An-'y(x + Ax) .y(x) seja a variacao da funcao correspondente a uma variacao Ax do argumento x. Mas mesmo 0 raciocinio de Euler muitas vezes era dubio. Definamos tarnbem as derivadas de ordem superior da funcao: A2y(X) = A(Ay(x)) = Ay(x A"y(x) = A(. Taylor era urn dos mais ardentes defensores das reivindicacoes de Newton. A selva das ecuaeoes diferenciais foi grandemente desobstruida. e a selva comecou a dar lugar a lotes de cern acres. Methodus incrementorum directa et inversa. 0 livro e dedicado primordialmente a urn ramo da matematica hoje conhecido como calculo de diferencas finitas [11]. divulgada por Euler. tal como e dada em Methodus incrementorum. Augustin Louis Cauchy enfatizou a necessidade de maiar rigor. Em notaeao moderna. apesar do estilo obscuro do autor. Por volta de 1800 a floresta tinha transposto as cercas das teorias gerais. cuja vida. = O. durante esse periodo surgiram instrumentos e metodos melhores para lidar com equacoes antes inacessiveis.referencias tendenciosas a favor de Newton e de seu trabalho. algumas das equacoes mais vigorosas ainda estavam por produzir mudas. a teoria dos grupos continuos de Sophus Lie foi relacionada com as equacoes diferenciais. Diz-se que Pierre Laplace.Recern-chegados vieram trabalhar na floresta. e 0 livro teve muita repercussao. e. a deducao de Taylor de sua serie. Grande parte de seu conteudo era novo na epoca. provavelmente cada urn dos maternaticos desse periodo tentou pelo menos gravar seu nome em alguma equacao diferencial. de sua notacao complicada e de outros defeitos que tornavam diflcil sua leitura. Entre eles. as transformadas de Laplace e os operadores simb6licos de Oliver Heaviside.

. entao Ax aproxima-se de 0.. se considerarnos fazemos n tornar-se infinito. transformarn-se em eK! respectivamente. tornou-se professor da Universidade de Aberdeen. Leibniz e seus contemporaneos vulneraveis aos ataques de George Berkeley. e a serie de Taylor. que apareceu em seu livro Treatise of Fluxions. bispo de Cloyne. fazendo-se x = 0. em geral..2) 3! A y(a) + _ + Any(a). onde os coeficientes Ao.. e levou matematicos posteriores a desenvolver as provas que os estudantes aprendern hoje.Ax) (v ___________2 Ax) e. y(a v dy(a) dx +~ 2! +~ 3! d y(a) dx3 3 + . + dx = Al .Ax) 21 A3y(a) (Ax)3 --- A 2y(a) (Axj2 Any(a). era 0 seguinte: Suponhamos que: cao y(x) = Ao + Ajx h + 2.1) 2! A2y(a) que. y(a y(a temos entao + + Ax) = y(a) 2Ax) = y(a = y(a) = y(a) + Ay(a) + Ax) + Neste ponto Taylor argumentava que. mediante concurso. resulta y(a + v) = y(a) +~ Ax Ay(a) -+ ------:::-:---- ~ (~ . A2X2 3.!13y(a) = y(a) + 3 Ay(a) + 3 A2y(a) + A3y(a). Colin Maclaurin (1698-1746) foi urn maternatico escoces brilhante que..• + nAx) = y(a = y(a) + + (n - l)Ax) + Ay(a + 1) (n - l)Ax) nAy(a) + n(n 3 2! A2y(a) + n(n .AI + 2 A2x + 3 A}X + .. 73 . ~ dy(x) _ . v fixo e Ay(a + Ax) = (y(a) + Ay(a)) + A(y(a) + Ay(a)) + Ay(a) + Ay(a) + A2y(a) --- AKy(a) (Ax)K e -------------- v(v . Fazendo nsx = v.__(v . . + A}X3 + . aos dezenove anos de idade. Esse tipo de argumento impreciso com relacao a limites tornou nao apenas Taylor como tambem Newton. em notacao rnoderna. A se deve determinar.1) (n .. -- Ay(a) Ax + ---- v( v .2 Ax) .. . = y(a mimero de termos torna-se infinid1y(a) dx2 + v) = y(a) + e. Descobriu urna deducao diferente da serie.(K - 1) Ax) K! vK + 2 Ay(a) + A2y(a). e to.. . •.Se a e urn nurnero arbitrario. + 72 v{v . 0 argurnento de Maclaurin tinha intende se opor as obiecoes levantadas por Berkeley e. de modo que obternos y(a 0 y(a + 3 Ax) + 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) + . publicado em Edimburgo em 1742. dy(O) 3! + . obviamente. para cada K.. Entao = y(a) A A sao numeros fixos cujo valor 2 + v .A») (v .

1) . Pois a funcao dada por F(x) (1 + A sen 2 nx) e tambem igual a x! sempre que x e urn inteiro positivo. 2 An+1x (n x! = x(x - 1) (x . ao contrario de (1). se n . Sera que ha urna outra funcao F. S U LA 18 cf2y(x) dx2 de modo que De n! cf2y(O) = a funcao gama e e claro dx que --- 2 MERRILL SHANKS Consideremos a funcao fatorial dada por ttny(x) dxn = n! An + (n + l)n(n .atraiu muitos matematicos no inicio do seculo XVIII. Leituras suplementares BOYER (b): 422... Tambem e facil eonstruir uma funcao assim atraves do simples expediente de exigir que F(x) = xl quando x e urn inteiro positive. 2 A2. por volta de 1730. que e obtida pela colagem de infinitos pedacos de funcees..:S.. Seu trabalho sobre Esta capsula e uma adaptacao de urn artigo publicado em Mathematics Teacher em marco de 1968. tal que F(x) = xl. traduzido do latim.. Ilustra 0 genic de Euler 0 fa75 . Esse problema . 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... 3 An+2X2 + . sempre que x e urn inteiro positivo? E facil ver que. . A funcao procurada deveria ser dada por uma f6rmula (mica e berncornportada. definida no conjunto dos numeros reais positivos. entao M infinitas.. n e n + I: (1) F(x) = 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. 3 Ao!X2 + '''. n! (x .. num artigo cujo titulo. Contudo. 469 STRUIK (c): 28-41 E evidente n! + n . e isso e verdadeiro qualquer que seja a constante A. de urn certo modo. (2) (1). se hA urna Iuncao real com essa propriedade. ttny(O) __ = n!An• dxn Assim y(x) = y(O) + x dy(O) + x2 cf2y(0) + x3 d y(0) 3 + .Analogamente ___:__= cA> 2 A2 + 3 . 74 e suas f6rmulas relacionadas com a funcao gama foram de importancia fundamental para 0 desenvolvimento posterior da teoria. n. a solueao dada em (1) e ''fraudulenta". dx 2! dx2 3! dx3 Somente quando x e urn inteiro positivo essa funcao esta definida e a f6rmula faz sentido. pois ela ja aparecera num trabalho anteriormente publicado por Johann Bernoulli. x ~ n + I. 462. 2 A}X + 4 .n). Quem 0 resolveu foi Leonhard Euler. o primeiro matematico a considerar n! para valores nso inteiros talvez tenha sido John Wallis (1616-1703).. + da qual decorre + 2) (n + I) . do qual e bern possivel que ambos tivessem conhecimento.estender 0 dominio da Iuncao fatorial . e "Sabre progressoes transcendentais cujo termo geral nao pode ser expresso algebricamente".2) .. e impondo que a funcio seja afim entre dois inteiros consecutivos.

entao r(x + I) = x! A integral que define r tambern converge para os numeros complexos x tais que Re(x) > O.oo (x + n!(n + l)x I) (x + 2) •. 0 usa generalizado do "d curvo" sO foi adotado perto do final do seculo XIX.. que tanto na parte teorica como nas aplicacoes da matematica devia-se dar atencao especial ao conceito de derivada parcial. e e deixada ao leitor. tern todos os tipos de aplicacoos inesperadas. E facil provar.0 simbolo api 1 na combinacao moder- na ~ e a letra d foi introduzida com urn papel identieo em 1824 por Wil· liam Rowan Hamilton. eo a curvo foi introduzido para derivadas ordinarias.0 que hoje se costuma indicar por ~ derivadas parciais gerou. mantidas as demais variaveis independentes fixas . ou ambos. A necessidade de uma notacao especial para Hoje em dia define-se a funcao garna. Se x e urn inteiro positivo. X ax . ora indicando a derivada parcial de u ern relacao a x. por Adrien Marie Legendre. Note-se que a integral impropria em (3) converge se x > . Entao a integral torna-se simbolo ~~ era interpretado de acor- do com 0 contexte. (x Derivadas parciais JOHN~.I. visto que a diferenciacao de uma funcao de diversas variaveis faz-se com relacao a uma variavel de cada vez. OLMSTED Nos ultimos anos do seculo XVII ja estava se tornando evidente. por notacao que se deve a Adrien Marie Legendre. e isso resolve 0 problema. D. u se x e urn inteiro positivo. atraves de integracao por partes. que I'(x + 1) = x r(x) e como ro) = 1. perto do final do seculo XVIII. creditando-se incorretamen77 ax foi usado pela primeira vez em 1786. Uma mudanca de variavel pOe (3) numa forma mais conhecida. d. 0 + n) o segundo membro de (2) converge se x e urn numero real qualquer maior que zero. hoje bern conhecida. que persistiu durante a maior parte dos seculos XVIII e XIX. Seja -log u = t. Leituras suplementares DAVIS .que agora se escreve a v . como se revelava nos escritos de Isaac Newton e Gottfried Wilhelm von Leibniz. Por algum tempo. Das duzias de propostas feitas.no sentido de que sua funcao. Assim. Na maior parte das pesquisas iniciais em que aparecem derivadas parciais. 76 . como produto infinito (2) cAp S U LA 19 x! = lim n_.. muitas vezes em combinacao com outros sinais sobrescritos ou subscritos. porem. urn conflito de simbolos. ademais T'(x + I) = x. V. pareceu possivel que aqueles que trabalhavam com diferencas finitas pudessem se apropriar com exclusividade dos shnbolos de D. dentre as infinitas possibilidades. Em 1770 0 a curvo foi usado pelo marques de Condorcet para diferenciais parciais. algumas desapareceram rapidamente. ora indicando a derivada ordinaria ou total de u em relaeao a x. A demonstracao de (3) par inducao e simples. Porem. (4) r. nao se usava qualquer notacao especial. 1J e a. que x! = (3) J (-log I u)x du. Foram considerados os simbolos d.to de ele ter encontrado a formula "certa" . Voltando sua atencao para integrais Euler achou. se x e urn inteiro positivo. ap6s urn argumento dubio. Sua primeira solucao do problema foi a representacao. H. e em 1776 foi usado por Euler na forma ~ p Jo '"t e:' dt. e dessa maneira a integral define uma extensao da funcao fatorial.

gI ~:_______::~= da transformacao e por defi- af au af av As equaeoes diferenciais parciais continuam pesquisa nos dias de hoje. Esse estudo em tres volumes foi considerado urn trabalho-modelo de reierencia no inicio do seculo XIX ICAlOR! (a): 11.te sua invencao a Carl Gustav Jacob Jacobi. Outros cujos primeiros trabalhos com equacoes diferenciais parciais tiveram efeitos de longo alcance na hist6ria da matematica e de suas aplicacoes foram Euler. v). Joseph Louis Lagrange (1736-1813). Uma parte substancial das aplicacoes da matematica. v) Q ~~f. em solucoes de equaeoes diferenciais parciais. v). Pode-se interpretar que essas equacoes transformam a regiao R do plano xy numa regiao Q do plano uv. Lacroix apresenta 0 teorema sobre transformacao de coordenadas sem a vantagem da notacao modema dos determinantes e. v) ag au ag av Leituras suplementares CAlORI -- (a): II. que introduziu e estudou a equacao cPu 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. F. ' II 'P(X. Urn dos primeiros pioneiros nesta area foi Daniel Bernoulli (1700-1782). Geralmente inicia-se 0 tema considerando-se funcoes definidas numa regiao R do plano de fronteira nao muito complicada. Lacroix. interessante observar a forma como este teorema aparece no tratado de calculo de S. em particular.Em 1747. que utilizou suas famosas series no estudo da equaeao do calor o simbolo :(~ ~) e chamado "jacobiano" nieao e a determinante funcional a(f. sendo objeto de intensa a(u. Pierre Simon Laplace (1749-1827). baseia-se em derivadas parciais e. podemos usar a f6rmula + a2u + a2u ax2 ay2 az2 = o. Uma vez feito isso. y)dx dy = R II cp(f(u. 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 /' e expressando a solucao sob a forma u = fix + at} + . nascido em 1804. vI e Jean Joseph Fourier (1768-1830). Entao. sendo que as definicoes sao formuladas por meio de coordenadas retangulares. e claro. Se fizermos 79 78 . introduzem-se metodos para transformar coordenadas retangulares em outros sistemas de coordenadas. apenas 10 anos antes de Lacroix). v) e y = g(u.2261. g(u.at). gI du dv. que em 1841 fizera uma sintese de suas vantagens [20].(x . especialmente a fisica e a astronomia. 197-242 (b): 384-88 STRUIK (e): 35)·68 13. u. mediante equacoes da forma x = flu. sob restricoes adequadas quanto as funcoes f e g. sem alusao a Jacobi (Carl Gustav Jacob Jacobi.

0 fundador do calculo japones. em seu bela relata escrito sobre esse periodo / I. como seu trabaIho com "determinantes funcionais". foi provavelmente Seki Kowa (1642-1708). v) Calculo no .iO 1. Em 1812. Essa notacao para derivadas parciais tinha side usada pela primeira vez em 1728 par Euler. 0 primeiro a usar o nome "jacobiano" foi James Joseph Sylvester. 0 determinante hoie conhecido como jacobiano teria side escrito Com respeito ao usa de novas palavras. em trabalho escrito no ano de 1773. que incluiam muita coisa nova.. a palavra e usada. enfatiza a grande influencia dos textos de George Salmon.P' = ag au ' Q' = ag 8v ' entao podemos escrever. sendo creditada a Sylves. ter. em parte fiii/: e FIGURA [21]-1 81 80 . Leituras suplementares e 0 simbolismo com BELL (a): 425·27 CAJORI (a): II. 87. conforme Lacroix. em artigos magistrais. que 0 incluiu em seu "Glossary of Mathematical Terms". Salmon comecou entao a usar "jacobiano" que estamos familiarizados hoje. Felix Klein. Na epoca em que 0 tratado de Lacroix foi impressa. eram traduzidos para muitas outras linguas. Em 1854 W. em Philosophical Transactions. em estudo de 1769. Na primeira edicao de Modem Higher Algebra. grandes matematicos ocupavam-se com empenho do estudo dos determinantes. Augustin Louis Cauchy demonstrou a maioria dos teoremas basicos. Escritos em ingles. usadas para aehar 0 limite da soma das 2n cordas iguais inscritas subtendidas pelos areas bissecionados sucessivamente. F. sentindo que todo termo estraoho torna a ciencia mais repulsiva ao inieiante. Na notacao que Jacobi usou nesses artigos. chamado yenri. 0 prefacio de segunda edic. Isso toma necessario 0 emprego de algumas palavras 00vas a fim de evitar urna quantidade insuportavel de circunlocucoes. na segunda edieao (1866). Mas. 0 yenri (teoria do circulo) era urn metodo para determinar 0 comprimento de urn arco circular atraves de series infinitas. Nessa parte da algebra e preciso falar frequentemente de cornbinacoes de ideias que nao tinham uso importaote na algebra mais antiga. tenho preferido geralmente 0 uso de uma perifrase a introdUCiiode uma palavrllt nova que provavelmeote nan teria ocasiao de usar outra vez. a palavra "jacobiano" rulo usada com relaelo a "determinantes funcionais". mas foi prejudicado pela ausencia de uma notacao adequada.io registra. ag L . dx dy = (PQ' . tenho tentado me guiar pelo meio-termo.au au' uma notacao menos sugestiva do que a usada hoje. que nasceu no mesmo ano de Newton.Japao JACK BEDIENT Segundo urna tradicao urn tanto vaga. tinham grande influencia na adocao de voeabulario e simbolos no mundo maternatico. 164/. Lacroix tambem apresentou 0 teorema para tres variaveis e creditou-o a Joseph Louis Lagrange. 220-42 cAp S U LA 21 ~ + 81 .P' Q) du dv. au. Lacroix atribuiu 0 merito da f6rmula a Euler. Donkin introduziu a notacao g) a(u. para 0 mesmo determinante. A notacao moderna de determinante apareceu em 1855 num artigo de Arthur Cayley. Mas. 1853. Em 1841 a teoria dos determinantes foi unificada par Jacobi.

.1415926532 b::::: 3.b) (b . que alguns especialistas entendem que nao foi Takebe que criou a serie acima. Suas pesquisas no terreno das forrnas indeterminadas faziam uso de metodos analiticos que. 0 exemplo seguinte ilustra urn curioso aspecto de seu trabalho. o matematico hindu Brahmagupta. que estava em franca atividade no seculo VII. Acharam-se. e uma Leituras suplementares + onde 22 . Sabe-se que Jartoux mantinha correspondencia com Leibniz. discipulo de Seki. 1713) pelo escritor chines Mei. 42 .l Entao. . Antes. 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). a invencao do zero para ajudar a escrever numeros no sistema decimal representou urn desafio especial para os matematicos hindus. ou seja. a f6rmula (2) efetivamente da uma aproximaeao mais precisa. Nesse caso particular. SMITH (a): II. sendo 0 numero de cordas uma potencia de 2. lnflnitesimos na India JACK BEDIENT No inicio da era crista. os seguintes valores cAp S U LA 22 . b.] . que rnostra urn exemplo extraido de urn trabalho publicado (c_ 1722) por Takebe. sabia das armadilhas nas tentativas de "divisao por zero".b) . 1700) pelo rnissionario jesuita Pierre Jartoux. como perirnetros a. Considerando seu significado ou importancia Bhaskara (c. Takebe usava a seguinte f6rmula (que ele nem provava nem explicava): (2) 82 p= b + (b .1415926487 c ::::: 3. 1150) assinalou IMIDONICK : 1351: 83 a= 3. (Para n = 2 lui 2n = 22 = 4 cordas inscritas. poderiam ter contribuido para 0 progresso da matematica na Europa se existissern canais de comunicacao.14159 26536. considera-se que ele talvez a tenha obtido a partir da leitura de urn trabalho publicado (c. d blicacao original a serie aparece escrita. 701·2 ( -S )3 + . Takebe declarou ter estimado n corretamente com quarenta casas decimais por aplicacoes repetidas de (2). para obter uma aproxirnacao ainda melhor de n.Para ilustrar 0 rnetodo vamos nos reportar Ii Figura [21] -I. 62 3·4·5·6·7·8 CAJORI (b): 78-82 MIKAMI: Ver indice D. Na pu- numericos para determinar coeficientes em muitas das relacoes.a) . embora primitivos.1415926523 769856708 86591 3571 88992 7759 Entao. c. usando casos de 0 diametro e sea sagitta (altura) do arco dado AB. be c.. Takebe comeca inscrevendo cordas iguats nurn arco de circulo. Ele afirmava que "positive ou negativo dividido por cifra [zero] e uma fracao com esta como denominador". que incluiu nele algumas series trazidas da China (c. 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. obviamente. E. c dos poligonos de 215. 216.a) (c . 217 lados. para os valores acima a. p ::::: 3. em notacao mais antiga. Essa expressao era chamada kha-cheda (a quantidade com zero como denominador).(c . Tudo isso e feito de uma maneira tao obscura. b. 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.

Mas e mais interessante descobrir como 0 eITO ocorreu no exemplo (2). nao ha alteracao. Urna transcricao aproximada desta citacao seria __!!_ = __!!_ que tambem e urna "forma indeterminada do tipo 0/0". ale nao tern limite. e definido para significar que.) Bhaskara afirmou ainda que (a ' 0)/0 = a. registrou que 010 = blO. 0 exemplo (I) e facil de verificar. obviamente. 0 eITO esta. que escrevia 0 primeiro termo de (3) como • 0)/02. urna afirmacao incorreta se interpretada com 0 significado de deu para x 0 valor incorreto 9.0 atraves de valores positivos.'+. no periodo de destruieao ou criacao de mundos.. sendo que neste caso 0 limite eO. como solucao da X'O+ \ lim __!!_ = lim E E £-0 (__!!_ E + k) ---0-.onde E E > 0. urn resultado que seria aeeitavel. onde E > O. 17x + 72) . e reescrevemos (2) sob a forma equivalente (3) x-O lim [X2 E2 .0 que e correto interpretando-se (1) com sentido de Deve-se enfatizar que para £-0 > 00 simbolismo 00 E lim . como nenhuma mudanca ocorre com 0 Deus infinito e imutavel. £. ele deu x = 42. ele pensava em fracoes com denominadores infinitesimais. onde (x2 esse limite obviamente quisesse significar e I. de algoma maneira rudimentar. t + (2x2 - 17x) E + (x2 > 0. obtendo (x2 • 0)/0. Hoje a ideia acima poderia ser expressa sob a forma £-0 equacao (1) Baskhara tambem deu alguns exernplos de avaliaeoes corretas e incorretas da inc6gnita em equacoes envolvendo limites. se novamente considerassemos a interpretacao acima.E_ = [X. Isto e. urn comentador de Bhaskara. Brahmagupta observou que 0/0 = 0. Como e usual. 1550). substituimos 0 por E.-- 2 x·O = 63 0 = 00. Assim. embora numerosas ordens de seres sejam incorporadas ou produzidas. tomando-se urn E positivo suficientemente proximo de 0. ultrapassando qualquer cota (superior). Isto equivale a substituir 0 primeiro termo de (3) por X2 • ele. ai« pode-se tomar infinitamente grande. embora se possa inserir ou extrair muito. Krsna (c.] = 90. tanto ale como bl« podem se tornar arbitrariamente grandes tomando-se E suficien temente proximo de O. Iim -' ~O E o 0 + k= 00 • Embora Bhaskara falasse de quantidades com divisor zero. ou seja. substituia 0 02 do denominador por 0.¥ "' 1 = 63. parece que. conforme E . a E = a. Poderiamos optar por escrever isso na forma [-0 e como solucao suposta de lim __!!_ = lim E £-0 s. fE muito improvavel que Brahmagupta Neste ponto Bhaskara. em assumir que 84 85 . observada a definicao acima.Nessa quantidade consistindo naquilo que tem cifra [zero] como seu divisor.

. f.Entao Bhaskara concluiu incorretamente que mo era Xl. a soma de todos os t [8]. Ao escrever expressoes como (4) usamos notacao moderna. que. 135 cAp S U LA 23 ou simplesmente J y dx. conforme 0 espirito de Leibniz.xn-ll . que ao inicio do seculo XIX desenvolveu a integral como urn "limite". LOV AGUA 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). Cauchy formava a soma de produtos Sn = (Xl . (23]-2). Assim. < Xn-l < x. ~ A teoria da integracao "moderna" comecou com Augustin Louis Cauchy. Imaginava-se a regiao dividida numa "quantidade infinita de retangulos infinitesimais" de largura dx e altura y (Fig. 0 simbolo de integral foi introduzido em 1675 por Gottfried Wilhelm von Leibniz num manuscrito em que escreveu Ji para expressar omn. j(XI) + . Quem primeiro usou a palavra "integral" foi Jacob Bernoulli. = b (Fig. isto e. 241-46 MIDONICK. f(xn-Jl. l:. mas os hindus se contentavam muitas vezes em achar uma raiz apenas. b]. y y dx o 86 a FIGURA b [23]-1 x o a FIGURA b [23]-2 x o FIGURA x [23]·3 87 . em 1690. tern a raiz 9. a area em questao pod. !(xo) + (X2 - XI) . de fato. a < b (Fig. inspirado na inicial da palavra latina summa. continua no intervalo [a. o simbolo comum de somat6rio. R. Obtinhase entso a area da regiao "somando-se" as areas desses retangulos. que e urn S alongado.) Leituras suplementares DAITA e SINGH: Verindia BOYER (b). Essa notacao tern uso geral hoje em dia e e lida como "integral de a a b de y dx". Essa soma e denotada pelo sinal de integral f. Para uma funcao y = fIx)..xo) . Assim. [23]-1). mesmo quando ambas eram positivas.e ser escrita J b a fIx) dx. dever-se-ia escrever ~ydx = A integral definida A. chegou (4) X2 0 limite do primeiro tera equacao quadratica + (2x2 - 17x) + 0 = 90.. (A outra raiz e -(1013). Assim. 0 eixo X e as retas X = a e X = b. e a letra maiuscula grega sigma. onde a = Xo < Xl < X2 < . + (xn . y y y = fix) J y dx b = a area. [23]-3). de maneira errada. J b a y dx..

__ (b). LXVI (dezembro de 1959).). The History of Mathematics. 1963. 1968. Indica-se essa correspondencia por uma letra apenas. The History of the Calculus and Its Conceptual Development. 1962. n.53-58 ROSENTIIAL BOYER 88 89 . ed. EARL B. 1956. 1953. 1963..). Com 0 advento da teoria dos conjuntos na segunda metade do seculo XIX. AMy C. A History of Hindu Mathematics. Dover Publications. Nova York: Philosophical Library.. ERIC TEMPLE (a). A History of Mathematics (2~ ed. Nova York: Dover Publications. passou-se a considerar uma funcao como uma correspondencia entre dais conjuntos A e B. La Salle. 0 x em f(x) e inteiramente superfluo. LXII (marco de 1962). BoYER. The Thirteen Books of Euclid's Elements. Traduzido para 0 ingles por HENRIEITA O.. Traduzido para 0 ingles por THOMAS LIITLE HEATH. 2 vols. 197-205.. Nova York: Hafner Publishing Co.). EVES. 2. digamosf A funcaofassocia a cada x em A urn unico elernento. KING. WALOO. DAVIS. B. U-se f{x) como "0 valor de f em x".. "Leonhard Euler's Integral: A Historic Profile of the Gamma Function". Nova York. Nova York: Chelsea Publishing Co. em B. N. Nova York: Oxford University Press. Nova York: McGraw-Hill Book Co... 3 vols. Ill. BALL. Rinehart & Winston. __ (b). se nao enganoso. rev. Nova York: Dover Publications. A History of Mathematical Notations (2~ ed. e inteiramente correto. 1931. HAGA. THOMAS UTILE. 1959. HOFMANN.Se as diferencas Xi ~ Xi_I> onde t = I. Reimp. 229 (b): 441 CAJORI (a): II. Rinehart & Winston.849-69. 1937. Nova York: Macmillan Co. sendo que J(x) depende de x. __ (b). 1963. Nova York: Dover Publications. Nova York: John Wiley & Sons. 1919. e READ. The Mathematics of Great Amateurs. Nova York: Holt. (a). 0 ~alor de S" "acabara atingindo urn certo limite" ~. 1960. {(x). Nova York: Simon & Schuster. EUCLIDES. CECIL B. Bombairn: Asia Publishing House. JULIAN LoWELL. 2 vats. que dependent umcamente da funeao J(x) e dos valores a e b.). Embora 0 simbolo 'j(x)" seja ainda usado para denotar uma funcao. PHILIP J. MIOONICK. W ALTER WILLIAM ROUSE. e suficiente. Carl Friedrich Gauss: Titan of Science. 1949. American Mathematical Monthly. 1945. 1957. JOSEPH EHRENFRIED.. FLORIAN (a). G. . KLEIN. 1952. Esse limite chama-se "integral definida".. 1964.). Como a integral fica completamente determinada pela funcio f e os extremos a e b. ENOCH J. School Science and Mathematics. An Introduction to the History of Mathematics (ed. DATIA. THOMAS LmLE HEA1H. Pathways to Probability ("Holt Library of Science"). Nova York: Holt. A Short Account of the History of Mathematics (4~ ed. a Essa notacao tern sido amplamente utilizada Leituras -(a): 206. 1956_ tar a integral por Jf b nos ultimos vinte anos.242-52 suplementares NEWMAN: 1. A Manual of Greek Mathematics (condensacao de A History of Greek Mathematics). decrescem tendendo para 0. Vorlesungen iiber die Entwicklung der Mathematik im 19. 1955. A. "History of Digital Computing Devices". COOLIDGE. Dover Publications. Men of Mathematics. CAlORI. HOWARD. Nova York: Dove Publishing Co.. DUNNINGTON. e SINGH. e amp. The Development of Mathematics (2~ ed. HEATH. 1951. rev.1912. 1926. Jahrhundert. 1908. BELL. FELIX. dena- Bibliografia citada no texto ARQUIMEDES. A History of Mathematics. 1897. Works" [inctuindo 0 Metodo].: Open Court Publishing Co.

The Calculus:A Genetic Approach. 24. YOSHIO. 1930. Jean I. 68 Brahe. 80-81 nota¢es. 15. (18i5-1864). Daniel. 1913. -(b). (/6541705). 12. 4~-~ Triangulo caractertsnco ou. 91 Abel. 24.. SANFORD. Simon & Schuster. 55 Derivada.45 etimologia de. (2 vols. 1964. "The History of the Calculus". 1961. 1956. 20-21. 79. 61. 10. 1261).42-44. N. VERA. HENRIETTA O.45 Geometria indivisibilibus. 66. 87 Course d'analyse. 35 metoda dos indivisiveis. Mathematics Teacher.20-21 Cauchy. (17171783). Charles. 3. 50 Barrow.23. Nova York. 2. 23.57-59. H. The Development of Mathematics in China and Japan.59-62 Dem6crito. [13]. Arthur. [16J. 1959. TOEPLlTZ. 55 Braquist6crona.31 . Traduzido para 0 ingles por J.). 287-212 a.24. 1962. 75·86. 1963. Boston: Houghton Mifflin co. Orro. 1925. 71 de variacoes. (1114 . Traduzido para 0 Ingles por LUISE LANGE. Nova York: Philosophical Library.61. [11]. 1967. NEWMAN. 80 Diferencas finitas.33.c.63-66. 12. STRUIK.68.25. 87 Bernoulli. 5-8. 12 Area do circulo. 1923. (1821-1895).LEAVITT. ed. 66 Cavalieri. ed.) ~ Indice remissivo contribuicoes medievais. Bonaventura. B. LVI (abril de 1963). DAVID EUGENE (a). LV (maio de 1962). 66. 77-78 Notacao. 1201c. 11-12 principio de. 19. 15. U700-1782).. Sao Francisco: Holden-Day.: Harvard University Press. History of Mathematics. A Concise History of Mathematics (3~ ed.45 Lectiones Opticae et Geometricae. (Reimpresso tambem em !NEwMAN. 78 Algebra babil6nica. 27 Arquimedes. Pike's System of Arithmetic Abridged. (c. ("Phoenix Science Series''). 7 Euler. I. Nova York: Simon & Schuster. LVIII (fevereiro de 1951). 2 Algoritmo euclidiano. Concord. Nova York: Dover Publications.28 no Japao. rev. Mass. 75-168/.35-36. 12.C]. Nova York: Chelsea Publishing Co. [19]. (1598-1647). 26. 4 vols. 66 Equaeoes diferenciais. TURNBULL. (a). (c. 5-8. 16. " busca do rigor. (c. 67-68 diferencial.66 Convergencia. Camdridge.C. 78 Bernoulli. Reimp. 1929.HERBERT. George.20-21 Diferencial. MIDONICK. 11 Cayley. DYER·BENNET.60 antecipacao do calculo. 78 Eud6xio. 7. 61 Equacoes de Pell.69. (16671748). [4]. (1546-1601).22. Tycho. equacoes.29. SMITH. 6. (J789-1857). 69-70. 57-58 Babbage. ed. -(b). DIRK 1. 8-11 eontroversia da prioridade. "The Newton-Leibniz Controversy Concerning the Discovery of the Calculus". SCHRADER.e Rond d'. Abraham. (408-355 a. (1792-1871).C]. (1685-1753). 7 De Moivre.23. 257 -60. JAMES Roy. The Treasury of Mathematics. 3 Apol6nio de Perga. 4 Metodo. 28. 25. 385-96. 1958. 16. 70. New York University Press. (1802-1829). 84-85 Bolzano Bernhard U781-1848).40. 33 Brahmagupta (c 628) 83 84 Caleulo . 73 Analyst. Moore. Leonhard. HERBERT WESTREN. 12. 17. 22-23.). 410 a. (1707-1783). ARTHUR.10. 10 metodo de. Ways of Thought of Great Mathematicians. [21]. 43 Berkeley.40. 1-3 90 . 1 integral. Isaac.).68. [15].42 triangulo diferencial. 26. Chicago University of Chicago Press. 12 Determinantes.57.44 Derivadas parciais. DoROTHY V.). 83. Johann ou Jean. 1965. Augustin Louis. American Mathematical Monthly. 62.1. ''The Origin of L'H6pital's Rule". 26 Boole. GoTTFRIED KOTHE. Jakob ou Jacques. 26. II. 26 Cauchy Riemann. 27. II. 15. The 'Great Mathematicians. (1630-1677). 77-78 Descartes. 57 Finite Diferences. (1667-1754). 43. -(c). A Source Book in Mathematics. [12]. A Short History of Mathematics.c. 1185). II. ROSENTHAL. Mathematics Teacher.61 Aiembert. 1929. MIKAMI.74 Bhaskara.25 Bernoulli. 24. Nova York: Dover Publications. DUDLEY. 80 Chhin ou Chin Chiu-shao. (c. 2 vols. Rene. (1596-1650). 24-28 concepe3es na antiguidade. 55-57 Diferenciacao. 29 lema de. George. Nova York: Dover Publications. 25. The World of Mathematics. [1]. 17. 35 determinaeao de 'It. [7]. 1969. 80. 190 a. Niels Henrik.68 Aritmetizacao da analise.. 45 Epsilon-delta. 28-30. 28-30. 17. 1200-1800. A Source Book in Mathematics.45 La geometrie.: J.69. 1832. MESCHKOWSKI. 55.

57-59 Stereometria doliorum vinorum. Papiro Rhind. 50. [17]. Evangelista. (1661-1704). 1722). Oresme. 60 series de Fourier.C. (1540-1603). 16. 37. 73-74 61. Theorie des fonetions ana/ytiques.Maximos e minimos. (c. 18. [10]. (1749-1827). M. (c. 4.71 Methodus dlfferentialis. 29. multipla. Joseph Louis. 55 Paradoxes sobre. 1 Parabola. /790).55. 12 Regra de L'Hospital. Fluxos.15. 15. 51-54 de s6lidos de revolueao. Jean Joseph. 48. 79-81 ColeriJo Matematica. Pierre de.69. 12. G. 55-57. 10. Serie de [171. 29 metodo classico de calcular.51-52 29-31. Felix.70 Media harmonica. 51 Pascal. 9. 62-67 Funcoes transcendentes. aproximacoes. Carl Gustav Jacob. [12].43-44 Taylor. 6. 20. James. (1698-1746). 71 93 . 25.64. conceitos de. 3-4 17-21. Sylvestre Francois. 15 Varignon. (c. 7. (1620-1687).78. (1777-1855). 81 Kepler. 59 Zero. area do segmento de.62 Treatise on Fluxions. 27. 12.42. (1601-1665). Gilles Persone de. 26 Principia. 25. 82 aproximacao arquimediana. 11-12 De analysi. 8 Jartaux. Jacobi.17. 6.62.12.33-34. 30. 29. 83-86 De quadratura. 79-81 11. 20 Integral. 3 Metoda de exaustao. 55 Tangente. [5].70. 14-15. 13.G. (c. Oliver. (1550-1617). (1850-1925). 31-32. teste. 70 Pike.27 notacao de. 2 Regiamontanus [Johann Muller]. John. 77-78 para a integral. Francois. 87 Stevin.66.80 lagrange. 80 Takebe. 73-74 18 Hamilton. (c. notacso de. 2 Mercator. 10. 29 serie de Leibniz para. (1752-1833). (1436-1476). (1642-1708). 4 grafieo de uma. Isaac. operaeoes com a. 62-66 Roberval. 430-c. (1638-1675).61. Simon.24. George. 21-22 Gauss. 2 1865). (1571-1630). (1856-1941). Brook.5.53-54 PlatAo. A. 49-50 Fourier. 2 Volumes de barris. 1550). 17. 47. HOlder. 61 Horner. Incomensurabilidade. James. F.60. (1814-1897). 57-59 Napier. 3 Paradoxes de. 78 Legendre. 9 L'Hospital. (6]. 29.62.37 Volume da esfera. 53 Fluentes. 79 Papus. Karl. (16021675). (c. 65. 83-86 Methodus incrementotum directa et in versa . 5.41 Tracuuus de sectionibus conicis.Ostrowski. William Rowan. Nicolaus. (17651843).69. 2.). Blaise. 31. 45 Klein. 17-21. 60 Torricelli. 77 Heaviside. 12. Pierre Simon. 60-61 series altemadas. 45-46. 66 Simbolos para derivadas parciais. 82 Tangente a uma curva. 22 definida.70 Limite. 80 series. (1805. (1849-1925).62. 80 Modem Higher Algebra. 77 Indivisiveis.44-48. 66 Krsna. 18 Hipias de Elis. 88 [14]. 81 Pell.66 Zenao de Eleia. (1859-1937). 27-28 Lema de Arquimedes.80 Lacroix.Cj.. 23. [22]. (1736-1813). 66 11 (Pi). 15. [20]. 11. (1768-1830).48-50.68. 77 Leibniz. 320). (c. 22.60. 23. [3]. 16 Metodo de. (1692-1770). 19 Galileu Galilei. (18/9-1904). 1261).49-50 70. (1815-1897). (1608·1647). 55 Sylvester. Adrien Marie. 33-34 da piramide quadrada. (1564-1641). (1548-1620). 27. 16 Teorema binomial. (1642-1727).16. 16. (1652-1719). 12 Rolle. 40 Weierstrass. Hikojiro Kenko. 55. 50 definiC40 de. Funcao 77. 450 a. (1611-1685). Seki.14. (1670-1720). 87 ). (1654-1722). [9].27 Fermat. Colin. 17. Sophus. [231. 3 Principia da continuidade. 10. 21.60. 17. 48. 9. (1623-1662). 71-74 problema inverso. 61 Yang Hui. Maclaurin. 34 Wallis. 16. (c. 32 Stirling. (1786·1837) 28.68 Media aritmetica. 24. 73 Gregory. 3. 18.82. Carl Friedrich.39-41. 78.76. [20]. W. 13-14. (1804. 86-88.37-38.31 Lie. 425 a.87 conceito de. 1323-1381). 80 Triangulo de. (189361 1851). 77.52.75 Arithmetica injinitorum. 18. John. 15. (1842-189CJ). Antecipacao da integral definida. Emile. 66 Kowa. Nicholas. Johann.36-39. 78 Equacoes de. 18. 45-47. (164678 1716).13. [2]. (c. Alexander. 15. 25 Laplace. 11.8 Jacobiano.53 Metoda de maximos e minimos de. 10. Pierre. John. 21. [8].. 5. James Joseph. Otto. 22 Infinitesirnos na india. 349). Gottfried Wilhelm von. series de. 84 92 Introductio in analysis injinitorum. 18 Picard. (1685-1731). 24 Notacoes de. de. Michel. 66 Newton. Pierre. 25 Salman. Nicole. 33-34 Raiz quadrada.67 Viete. 4-5. 20.