Histria da Derivada

A derivada tem dois aspectos bsicos, o geomtrico e o computacional. Alm disso, as aplicaes das derivadas so muitas: a derivada tem muitos papis importantes na matemtica propriamente dita, tem aplicaes em fsica, qumica, engenharia, tecnologia, cincias, economia e muito mais, e novas aplicaes aparecem todos os dias. A origem da derivada est nos problemas geomtricos clssicos de tangncia, por exemplo, para determinar uma reta que intersecta uma dada curva em apenas um ponto dado. Euclides (cerca de 300 a.C.) provou o familiar teorema que diz que a reta tangente a um crculo em qualquer ponto P perpendicular ao raio em P. Arquimedes (287--212 a.C.) tinha um procedimento para encontrar a tangente sua espiral e Apolnio (cerca de 262--190 a.C.) descreveu mtodos, todos um tanto diferentes, para determinar tangentes a parbolas, elipses e hiprboles. Mas estes eram apenas problemas geomtricos que foram estudados apenas por seus interesses particulares limitados; os gregos no perceberam nenhuma linha em comum ou qualquer valor nestes teoremas. Problemas de movimento e velocidade, tambm bsicos para nosso entendimento de derivadas hoje em dia, tambm surgiram com os gregos antigos, embora estas questes tenham sido originalmente tratadas mais filosoficamente que matematicamente. Os quatro paradoxos de Zenon (cerca de 450 a.C.) se apiam sobre dificuldades para entender velocidade instantnea sem ter uma noo de derivada. Na Fsica de Aristteles (384--322 B.C.), os problemas de movimento esto associados intimamente com noes de continuidade e do infinito (isto , quantidades infinitamente pequenas e infinitamente grandes). Na poca medieval, Thomas Bradwardine (1295--1349) e seus colegas em Merton College, Oxford, fizeram os primeiros esforos para transformar algumas das idias de Aristteles sobre movimento em afirmaes quantitativas. Em particular, a noo de velocidade instantnea tornou-se mensurvel, pelo menos em teoria; hoje, a derivada (ou a taxa de variao) da distncia em relao ao tempo. Foi Galileu Galilei (1564--1642) quem estabeleceu o princpio que matemtica era a ferramenta indispensvel para estudar o movimento e, em geral, cincia: Filosofia [cincia e natureza] est escrita naquele grande livro o qual est diante de nossos olhos quero dizer o universo mas no podemos entend-lo se no aprendermos primeiro a linguagem... O livro est escrito em linguagem matemtica ... Galileu estudou o movimento geometricamente; usou as propores clssicas de Euclides e propriedades das cnicas de Apolnio para estabelecer relaes entre distncia, velocidade e acelerao. Hoje, estas quantidades variveis so aplicaes bsicas das derivadas. O interesse em tangentes a curvas reapareceu no sculo 17 como uma parte do desenvolvimento da geometria analtica. Uma vez que equaes eram ento usadas para descrever curvas, o nmero e variedade de curvas aumentou tremendamente naqueles estudos em pocas clssicas. Por exemplo, Pierre Fermat (1601--1665) foi o primeiro a considerar a idia de uma famlia inteira de curvas de uma s vez. Ele as chamou de parbolas superiores, curvas da forma y = kxn, onde k constante e n = 2, 3, 4, A introduo de smbolos algbricos para estudar a geometria de curvas contribuiu significativamente para o desenvolvimento da derivada, da integral e do clculo. Por outro lado, como concluses e resultados geomtricos poderiam ser obtidos mais facilmente usando raciocnio algbrico que geomtrico, os padres de rigor lgico que tinham sido iniciados pelos gregos antigos foram relaxados em muitos problemas de clculo, e isto (entre outros fatores) levou a controvrsias espirituosas e at amarguradas. Fermat desenvolveu um procedimento algbrico para determinar os pontos mais altos (mximos) e mais

baixos (mnimos) sobre uma curva; geometricamente, ele estava encontrando os pontos onde a tangente curva tem inclinao zero. Ren Descartes (1596--1650) teve o discernimento de prever a importncia da tangente quando, em sua Geometria, escreveu E eu ouso dizer isto [encontrar a normal, ou perpendicular a uma curva, a partir da qual podemos facilmente identificar a tangente] no apenas o problema mais til e geral da geometria que conheo, mas at aquele que sempre desejei conhecer. Descartes inventou um procedimento de dupla raiz para encontrar a normal e ento a tangente a uma curva. Como resultado da traduo da Geometria de Descartes para o latim por Frans van Schooten (1615--1661) e as explicaes abrangentes por Schooten, Florimonde de Beaune (1601--1652) e Johan Hudde (1628-1704), os princpios e benefcios da geometria analtica tornaram-se mais amplamente conhecidos. Em particular, Hudde simplificou a tcnica da dupla raiz de Descartes para determinar pontos mximos e mnimos sobre uma curva; o procedimento da dupla raiz foi redescoberto por Christiaan Huygens (1629-1695). Ento, modificando o processo da tangente de Fermat, Huygens inventou uma seqncia de etapas algbricas que produziu os pontos de inflexo de uma curva; veremos que isto requer a derivada segunda. Ren Franois de Sluse (1622--1685) desenvolveu uma tcnica algbrica que levou inclinao da tangente a uma curva. No final da dcada de 1650, havia grande correspondncia entre Huygens, Hudde, van Schooten, Sluse e outros sobre tangentes de vrias curvas algbricas; Hudde e Sluse especialmente procuraram mtodos algbricos mais simples e padronizados que poderiam ser aplicados a uma variedade maior de curvas. Para Gilles Personne de Roberval (1602--1675), uma curva era o caminho de um ponto se movendo, e ele desenvolveu um mtodo mecnico para encontrar a tangente para muitas curvas, incluindo a ciclide. Mas o mtodo de Roberval no podia ser generalizado para incluir mais curvas. Isaac Newton (1642--1727) comeou a desenvolver o seu clculo de flxions entre os seus primeiro esforos cientficos em 1663. Para Newton, movimento era a base fundamental para curvas, tangentes e fenmenos relacionados de clculo e ele desenvolveu seus flxions a partir da verso de Hudde do procedimento da dupla raiz. Newton estendeu esta tcnica como um mtodo para encontrar a curvatura de uma curva, uma caracterstica que agora sabemos ser uma aplicao da derivada segunda. Em 1666, 1669 e 1671, Newton resumiu e revisou seu trabalho de clculo e estes manuscritos circularam entre um grande nmero de seus colegas e amigos. Ainda assim, embora tenha continuado a retornar a problemas de clculo em pocas diferentes de sua vida cientfica, os trabalhos de Newton sobre clculo no foram publicados at 1736 e 1745. Com algum tutoramento e conselho de Huygens e outros, Gottfried Wilhelm Leibniz (1646--1716) desenvolveu seu clculo diferencial e integral durante o perodo entre 1673 e 1676 enquanto vivia como um diplomata em Paris. Em uma pequena viagem a Londres, onde participou de um encontro da Sociedade Real em 1673, Leibniz aprendeu o mtodo de Sluse para encontrar tangentes a curvas algbricas. Leibniz tinha pouca inclinao para desenvolver estas tcnicas e interesse ainda menor em fundamentaes matemticas (isto , limites) necessrias, mas ele aperfeioou as frmulas modernas e a notao para derivada no seu famoso artigo "New methods for maximums and minimums, as well as tangents, which is neither impeded by fractional nor irrational quantities, and a remarkable calculus for them" (Novos mtodos para mximos e mnimos, assim como tangentes, os quais no so impedidos por quantidades fracionrias e irracionais, e um clculo notvel para eles) de 1684. Aqui est o primeiro trabalho publicado em clculo e de fato a primeira vez que a palavra clculo foi usada em termos modernos. Agora, qualquer um poderia resolver problemas de tangentes sem ser especialista em geometria, algum

poderia simplesmente usar as frmulas de clculo de Leibniz. Algumas vezes se diz que Newton e Leibniz inventaram o clculo. Como podemos ver, isto simplificao exagerada. Em vez disso, como Richard Courant (1888-1972) observou, clculo tem sido uma luta intelectual dramtica que durou 2500 anos. Depois de 1700, circunstncias levaram a um dos episdios mais tristes e deselegantes em toda a histria da cincia: a disputa entre Leibniz e Newton, e mais ainda entre seus seguidores, sobre quem deveria receber os crditos do clculo. Cada um fez contribuies importantes para derivada, integral, sries infinitas e, acima de tudo, para o Teorema Fundamental do Clculo. As acusaes de plgio e outros ataques eram irrelevantes frente matemtica feita por eles, mas as acusaes e contra-ataques escalaram para cises entre matemticos e cientistas na Inglaterra (leais a Newton) e no continente europeu (seguidores de Leibniz) os quais levaram xenofobia nacionalista por mais de um sculo. O primeiro livro sobre clculo diferencial foi Analysis of Infinitely Small Quantities for the Understanding of Curved Lines (Anlise de quantidades infinitamente pequenas para o entendimento de curvas,1696) pelo Marqus de lHospital (1661--1704). Muito de seu trabalho foi realmente devido Johann Bernoulli (1667--1748) e seguiu o tratamento de Leibniz para derivadas, mximos, mnimos e outras anlises de curvas. Mas o mtodo de lHospital para determinar o raio de curvatura era muito parecido com aquele de Newton. Jakob Bernoulli (16541705) e seu irmo mais novo Johann lideraram o caminho para espalhar o conhecimento do poder das frmulas de clculo de Leibniz propondo e resolvendo problemas desafiadores (o problema da catenria e da braquistcrona so dois exemplos) para os quais o clculo era necessrio. Leibniz, Newton e Huygens tambm resolveram estes problemas. Este problemas e outros levaram ao desenvolvimento das equaes diferenciais e do clculo das variaes, novos campos da matemtica dependentes de clculo. Na Inglaterra, o novo Treatise of Fluxions (Tratado de Flxions,1737) de Thomas Simpson (1710--1761) forneceu a primeira derivada da funo seno. Em 1734, o Bispo George Berkeley (1685--1753) publicou The Analyst (O Analista), um ataque falta de fundamentos rigorosos para seus flxions. Berkeley reconheceu a preciso das frmulas de Newton e a exatido das suas aplicaes abrangentes em fsica e astronomia, mas criticou as "quantidades infinitamente pequenas" e os "incrementos imperceptveis" dos fundamentos das derivadas. Colin Maclaurin (1698--1746) tentou defender Newton no seu Treatise of Fluxions (Tratado de Flxions) (1742) e desenvolveu derivadas para funes logartmicas e exponenciais e expandiu as frmulas de Simpson para incluir as derivadas das funes tangente e secante. No continente, Maria Agnesi (1718--1799) seguiu Leibniz e L'Hospital no seu livro de clculo Analytical Institutions (Instituies Analticas,1748). Leonhard Euler (1707--1783) deu um passo importante na direo de estabelecer uma fundamentao slida para o clculo no seu Introduction to the Analysis of the Infinite (Introduo Anlise do Infinito, 1748) quando introduziu funes (no lugar de curvas) como os objetos para os quais as derivadas e outras tcnicas de clculo seriam aplicadas. Por funo, Euler queria dizer algum tipo de "expresso analtica"; sua concepo no era to abrangente como a nossa definio moderna. Na sua publicao, tambm introduziu o termo anlise como um nome moderno para clculo e a matemtica avanada relacionada. No seu Methods of Differential Calculus (Mtodos de Clculo Diferencial,1755), Euler definiu a derivada como "o mtodo para determinar as razes entre os incrementos imperceptveis, as quais as funes recebem, e os incrementos imperceptveis das quantidades variveis, das quais elas so funes", que soa no muito cientfico hoje em dia. Mesmo assim, Euler trabalhou com vrios casos especiais da regra da cadeia, introduziu equaes diferenciais e tratou mximos e mnimos sem usar quaisquer diagramas ou

grficos. Em 1754, na famosa Encyclopdie francesa, Jean le Rond d'Alembert (1717--1783) afirmou que a "definio mais precisa e elegante possvel do clculo diferencial" que a derivada o limite de certas razes quando os numeradores e denominadores se aproximam mais e mais de zero, e que este limite produz certas expresses algbricas que chamamos de derivada. No final do sculo 18, Joseph Louis Lagrange (1736--1813) tentou reformar o clculo e torn-lo mais rigoroso no seu Theory of Analytic Functions (Teoria das Funes Analticas,1797). Lagrange pretendia dar uma forma puramente algbrica para a derivada, sem recorrer intuio geomtrica, a grficos ou a diagramas e sem qualquer ajuda dos limites de d'Alembert. Lagrange desenvolveu a principal notao que usamos agora para derivadas e o desenvolvimento lgico de seu clculo era admirvel em outros aspectos, mas seu esforo em prover uma base slida para o clculo falhou porque sua concepo da derivada era baseada em certas propriedades de sries infinitas as quais, sabemos agora, no so verdadeiras. Finalmente, no incio do sculo 19, a definio moderna de derivada foi dada por Augustin Louis Cauchy (1789--1857) em suas aulas para seus alunos de engenharia. Em seu Rsum of Lessons given at l'Ecole Polytechnique in the Infinitesimal Calculus (Resumo das Lies Dadas na Escola Politcnica Sobre o Clculo Infinitesimal,1823), Cauchy afirmou que a derivada : O limite de [f(x + i) - f(x)] / i quando i se aproxima de 0. A forma da funo que serve como o limite da razo [f(x + i) - f(x)] / i depender da forma da funo proposta y = f(x). Para indicar sua dependncia, d-se nova funo o nome de funo derivada. Cauchy prosseguiu para encontrar derivadas de todas as funes elementares e dar a regra da cadeia. De igual importncia, Cauchy mostrou que o Teorema do Valor Mdio para derivadas, que tinha aparecido no trabalho de Lagrange, era realmente a pedra fundamental para provar vrios teoremas bsicos do clculo que foram assumidos como verdadeiros, isto , descries de funes crescentes e decrescentes. Derivadas e o clculo diferencial esto agora estabelecidos como uma parte rigorosa e moderna do clculo. Webmaster: Geraldo L. Diniz - atualizado em: 23/08/2006

O Nascimento do Clculo Para realizar um estudo completo sobre as origens, desenvolvimento e conseqncias do Clculo, necessitaramos de uma pesquisa muito extensa cujo resultado final seria, sem dvida, um texto longo que estaria alm do propsito deste trabalho como um todo. O nosso intuito o de dar uma apresentao geral que contenha alguns fatos importantes que permeiam os acontecimentos histricos relacionados com a construo desta poderosa ferramenta da Matemtica: o Clculo. Alm disso, gostaramos que ficasse claro que essa construo o resultado de diversas contribuies de muitos personagens, como ocorre, de modo geral, com o conhecimento humano. Convidamos tambm o usurio a apreciar alguns fatos interessantes que esto presentes no site, assim como encoraj-lo na visita s pginas dos

matemticos que aqui aparecem para conhecer um pouco a histria de cada um. As contribuies dos matemticos para o nascimento do Clculo so inmeras. Muitos deles, mesmo que de forma imprecisa ou no rigorosa, j utilizavam conceitos do Clculo para resolver vrios problemas - por exemplo, Cavalieri, Barrow, Fermat e Kepler. Nesse tempo ainda no havia uma sistematizao, no sentido de uma construo logicamente estruturada. A unio das partes conhecidas e utilizadas at ento, aliada ao desenvolvimento e aperfeioamento das tcnicas, aconteceu comNewton e Leibniz que deram origem aos fundamentos mais importantes do Clculo: as Derivadas e as Integrais. O Clculo pode ser dividido em duas partes: uma relacionada s derivadas, ou Clculo Diferencial, e outra parte relacionada s integrais, ou Clculo Integral. O Clculo Integral: alguns fatos histricos Os primeiros problemas que apareceram na Histria relacionados com as integrais so os problemas de quadratura. Um dos problemas mais antigos enfrentados pelos gregos foi o da medio de superfcies a fim de encontrar suas reas. Quando os antigos gemetras comearam a estudar as reas de figuras planas, eles as relacionavam com a rea do quadrado, por ser essa a figura plana mais simples. Assim, buscavam encontrar um quadrado que tivesse rea igual da figura em questo. A palavra quadratura um termo antigo que se tornou sinnimo do processo de determinar reas. Quadraturas que fascinavam os gemetras eram as de figuras curvilneas, como o crculo, ou figuras limitadas por arcos de outras curvas. As lnulas regies que se assemelham com a lua no seu quarto-crescente - foram estudadas por Hipcrates de Chios, 440 a.C., que realizou as primeiras quadraturas da Histria. Antifon, por volta de 430 a.C., procurou encontrar a quadratura do crculo atravs de uma seqncia infinita de polgonos regulares inscritos: primeiro um quadrado, depois um octgono, em seguida um hexadecgono, e assim por diante. Havia, entretanto, um problema: essa seqncia nunca poderia ser concluda. Apesar disso, essa foi uma idia genial que deu origem ao mtodo da exausto. Nesse contexto, uma das questes mais importantes, e que se constituiu numa das maiores contribuies gregas para o Clculo, surgiu por volta do ano 225 a.C. Trata-se de um teorema de Arquimedes para a quadratura da parbola. Arquimedes descobriu que a rea da regio limitada por uma parbola cortada por uma corda qualquer, igual a 4/3 da rea do tringulo que tem a mesma altura e que tem a corda como base. Esse clculo pode ser encontrado no livro do Simmons, volume 2.

Arquimedes gerou tambm uma soma com infinitos termos, mas ele conseguiu provar rigorosamente o seu resultado, evitando, com o mtodo da exausto, a dificuldade com a quantidade infinita de parcelas. Este o primeiro exemplo conhecido de soma infinita que foi resolvido. Outra contribuio de Arquimedes foi a utilizao do mtodo da exausto para encontrar a rea do crculo, obtendo uma das primeiras aproximaes para o nmero . Outras "integraes" foram realizadas por Arquimedes a fim de encontrar o volume da esfera e a rea da superfcie esfrica, o volume do cone e a rea da superfcie cnica, a rea da regio limitada por uma elipse, o volume de um parabolide de revoluo e o volume de um hiperbolide de revoluo. Em seus clculos, Arquimedes encontrava somas com um nmero infinito de parcelas. O argumento utilizado era a dupla reductio ad absurdum para "escapar" da situao incmoda. Basicamente, se no podia ser nem maior, nem menor, tinha que ser igual. A contribuio seguinte para o Clculo Integral apareceu somente ao final do sculo XVI quando a Mecnica levou vrios matemticos a examinar problemas relacionados com o centro de gravidade. Em 1606, em Roma, Luca Valerio publicou De quadratura parabolae onde utilizou o mesmo mtodo grego para resolver problemas de clculo de reas desse tipo. Kepler, em seu trabalho sobre o movimento dos planetas, teve que encontrar as reas de vrios setores de uma regio elptica. O mtodo de Kepler consistia em pensar na superfcie como a soma de linhas - mtodo este que, na prtica, apresentava muita impreciso. Analogamente, para calcular volumes de slidos, pensava na soma de fatias planas. Desse modo, calculou os volumes de muitos slidos formados pela revoluo de uma regio bidimensional ao redor de um eixo. Para o clculo de cada um desses volumes, Kepler subdividia o slido em vrias fatias, chamadas infinitsimos, e a soma desses infinitsimos se aproximava do volume desejado. Os prximos matemticos que tiveram grande contribuio para o nascimento do Clculo Integral foram Fermat e Cavalieri. Em sua obra mais conhecida, Geometria indivisibilibus continuorum nova, Cavalieri desenvolveu a idia de Kepler sobre quantidades infinitamente pequenas. Aparentemente, Cavalieri pensou na rea como uma soma infinita de componentes ou segmentos "indivisveis". Ele mostrou, usando os seus mtodos, o que hoje em dia escrevemos: .

Todo o processo geomtrico desenvolvido por Cavalieri foi ento aritmetizado por Wallis. Em 1655, em seu trabalho Arithmetica infinitorum, Wallis desenvolveu princpios de induo e interpolao que o levaram a encontrar

diversos resultados importantes, entre eles, a antecipao de parte do trabalho de Euler dobre a funo gamma. Fermat desenvolveu uma tcnica para achar a rea sob cada uma das, ento chamadas, "parbolas maiores": curvas do tipo , onde constante e n2,3,4, etc. Empregou ento uma srie geomtrica para fazer o mesmo para cada uma das curvas do tipo , onde e n2,3,4,etc. Por volta de 1640, a frmula geral da integral das parbolas maiores era conhecida por Fermat,Blaise Pascal, Descartes, Torricelli e outros. O problema do movimento estava sendo estudado desde a poca de Galileo. Tanto Torricelli como Barrow consideraram o problema do movimento com velocidades variadas. A derivada da distncia era a velocidade e a operao inversa, partindo da velocidade, levava distncia. A partir desse problema envolvendo movimento, a idia de operao inversa da derivada desenvolveuse naturalmente e a idia de que a integral e a derivada eram processos inversos era familiar a Barrow. Embora Barrow nunca tenha enunciado formalmente o Teorema Fundamental do Clculo, estava trabalhando em direo a esse resultado; foi Newton, entretanto, quem, continuando na mesma direo, formulou o teorema. Newton continuou os trabalhos de Barrow e Galileo sobre o estudo do movimento dos corpos e desenvolveu o Clculo aproximadamente dez anos antes de Leibniz. Ele desenvolveu os mtodos das fluxions - derivao e fluents - integrao - e utilizou-os na construo da mecnica clssica. Para Newton, a integrao consistia em achar fluents para um dado fluxion considerando, desta maneira, a integrao como inversa da derivao. Com efeito, Newton sabia que a derivada da velocidade, por exemplo, era a acelerao e a integral da acelerao era a velocidade. Newton representava as integrais por um acento grave acima da letra em questo, por exemplo, a integral de y era representada por`y. Leibniz, diferentemente de Newton, usava a integrao como uma soma, de uma maneira bastante parecida de Cavalieri. Da vem o smbolo - um 's' longo - para representar summa . Segundo ele, "represento a rea de uma figura pela soma das reas de todos os retngulos infinitesimais definidos pelas ordenadas e pelas diferenas entre as abscissas... e portanto eu represento em meu clculo a rea da figura por ".

Ambos desenvolveram o Clculo Integral separadamente, entretanto Newton via o Clculo como geomtrico, enquanto Leibniz o via mais como analtico. Leibiniz acreditava que a notao era de fundamental importncia e, de fato, a sua notao foi mais eficaz do que a de Newton e acabou por se consolidar, sendo utilizada at os dias de hoje, mantendo exatamente a mesma forma.

Newton escrevia para si prprio e no foi feliz em encontrar uma notao consistente. Os trabalhos de Leibniz sobre o Clculo Integral foram publicados em 1684 e em 1686 sob o nome Calculus Summatorius . O nome Clculo Integral foi criado por Johann Bernoulli e publicado pela primeira vez por seu irmo mais velho Jacques Bernoulli em 1690. Principalmente como conseqncia do Teorema Fundamental do Clculo de Newton, as integrais foram simplesmente vistas como derivadas "reversas". Na mesma poca da publicao das tabelas de integrais de Newton, Johann Bernoulli descobriu processos sistemticos para integrar todas as funes racionais, que chamado mtodo das fraes parciais. Essas idias foram resumidas por Leonard Euler, na sua obra sobre integrais. Aps o estabelecimento do Clculo, Euler daria continuidade ao estudo de funes - ainda prematuro na poca - juntamente comCauchy, Gauss e Riemann. Foi Euler, entretanto, quem reuniu todo o conhecimento at ento desenvolvido e criou os fundamentos da Anlise. Hoje em dia o Clculo Integral largamente utilizado em vrias reas do conhecimento humano e aplicado para a soluo de problemas no s de Matemtica, mas de Fsica, Astronomia, Economia, Engenharia, Medicina, Qumica, por exemplo.

Histria da Integral
O clculo integral se originou com problemas de quadratura e cubatura. Resolver um problema de quadratura significa encontrar o valor exato da rea de uma regio bidimensional cuja fronteira consiste de uma ou mais curvas, ou de uma superfcie tridimensional, cuja fronteira tambm consiste de pelo menos uma curva. Para um problema de cubatura, queremos determinar o volume exato de um slido tridimensional limitado, pelo menos em parte, por superfcies curvas. Hoje, o uso do termo quadratura no mudou muito: matemticos, cientistas e engenheiros comumente dizem que "reduziram um problema a uma quadratura", o que significa que tinham um problema complicado, o simplificaram de vrias maneiras e agora o problema pode ser resolvido avaliando uma integral. Historicamente, Hipcrates de Chios (cerca de 440 A.C.) executou as primeiras quadraturas quando encontrou a rea de certas lnulas, regies que se parecem com a lua prxima do seu quarto crescente. Antiphon (cerca de 430 A.C.) alegou que poderia "quadrar o crculo" (isto , encontrar a rea de um crculo) com uma seqncia infinita de polgonos regulares inscritos: primeiro um quadrado; segundo um octgono, a seguir um hexadecaedro, etc. Seu problema era o "etc.". Como a quadratura do crculo de Antiphon requeria um nmero infinito de polgonos, nunca poderia ser terminada. Ele teria que ter usado o conceito moderno de limite para finalizar seu processo com rigor matemtico. Mas Antiphon tinha o incio de uma grande idia agora chamado de mtodo de exausto. Mais de 2000 anos depois, creditamos a Eudoxo (cerca de 370 A.C.) o desenvolvimento do mtodo de exausto: uma tcnica de aproximao da rea de uma regio com um nmero crescente de polgonos, com aproximaes melhorando a cada etapa e a rea exata sendo obtida depois de um nmero infinito destas etapas; esta tcnica foi modificada para atacar cubaturas tambm.

Arquimedes (287--212 A.C.), o maior matemtico da antiguidade, usou o mtodo de exausto para encontrar a quadratura da parbola. Arquimedes aproximou a rea com um nmero grande de tringulos construdos engenhosamente e ento usou o argumento da reduo ao absurdo dupla para provar o resultado rigorosamente e evitar qualquer metafsica do infinito. Para o crculo, Arquimedes primeiro mostrou que a rea depende da circunferncia; isto muito fcil de se verificar hoje em dia, uma vez que ambas as frmulas dependem de p. Ento Arquimedes aproximou a rea do crculo de raio unitrio usando polgonos regulares de 96 lados inscritos e circunscritos! Seu famoso resultado foi 3 10/71 < p < 3 1/7; mas como estas eram apenas aproximaes, no sentido estrito, no eram quadraturas. Esta tcnica refinou o mtodo de exausto, assim quando existe um nmero infinito de aproximaes poligonais, chamamos de mtodo da compresso. O processo de Arquimedes para encontrar a rea de um segmento de uma espiral era comprimir esta regio entre setores de crculos inscritos e circunscritos: seu mtodo de determinar o volume de um conide (um slido formado pela rotao de uma parbola ao redor de seu eixo) era comprimir este slido entre cilindros inscritos e circunscritos. Em cada caso, a etapa final que estabelecia rigorosamente o resultado era o argumento da reduo ao absurdo dupla. No seu possivelmente mais famoso trabalho de todos, um tratado combinado de matemtica e fsica, Arquimedes empregou indivisveis para estimar o centro de gravidade de certas regies bidimensionais e de certos slidos tridimensionais. (Arquimedes reconheceu que, por um lado, seu trabalho sugeria a verdade de seus resultados, e por outro faltava um rigor lgico completo). Se considerarmos uma destas regies sendo composta de um nmero infinito de retas, de comprimentos variados, ento estas retas so chamadas de indivisveis. Similarmente, quando a composio de um slido tridimensional pensada como um nmero infinito de discos circulares, de raios variados, mas com espessura zero, ento estes discos so conhecidos como indivisveis. Matemticos muulmanos dos sculos 9 a 13 foram grandes estudiosos de Arquimedes, mas nunca souberam da determinao de Arquimedes do volume de um conide. Assim, um dos mais notveis de todos matemticos rabes, Thabit ibn Qurrah (826--901) desenvolveu sua prpria cubatura, um tanto complicada, deste slido; e ento o cientista persa Abu Sahl al-Kuhi (sculo 10) simplificou consideravelmente o processo de Thabit. Ibn al-Haytham (965--1039), conhecido no ocidente como Alhazen e famoso por seu trabalho em tica, usou o mtodo de compresso para encontrar o volume do slido formado pela rotao da parbola ao redor de uma reta perpendicular ao eixo da curva. Durante o perodo medieval no ocidente, progresso foi obtido aplicando as idias de clculo a problemas de movimento. William Heytesbury (1335), um membro do notvel grupo de estudiosos do Merton College, em Oxford, foi o primeiro a vislumbrar mtodos para a determinao da velocidade e a distncia percorrida por um corpo supostamente sob "acelerao uniforme". Hoje, podemos obter estes resultados encontrando duas integrais indefinidas ou antiderivadas, sucessivamente. Notcias deste trabalho de Heytesbury e seus colegas de Merton alcanaram Paris posteriormente no sculo 14, onde Nicole Oresme (1320--1382) representou ambas a velocidade e o tempo como segmentos de reta de comprimentos variveis. Oresme colocou as retas de velocidade de um corpo juntas verticalmente, como os indivisveis de Arquimedes, sobre uma reta base horizontal, e a configurao total, como ele a chamou, representava a distncia total coberta pelo corpo. Em particular, a rea desta configurao era chamada de "quantidade total de movimento" do corpo. Aqui temos precursores dos grficos modernos e o nascimento da cinemtica.

 medida que os europeus comearam a explorar o globo, tornou-se necessrio ter um mapa do mundo no qual certas retas representassem rumos sobre a superfcie da Terra. Houve diversas solues para este problema, mas a soluo mais famosa foi a projeo de Mercator, embora Gerard Mercator (1512-1594) no tenha explicado seus princpios geomtricos. Aquela tarefa foi assumida por Edward Wright (1561--1615) que, alm disso, providenciou uma tabela que mostrava que as distncias ao longo das retas de rumo seriam bem aproximadas somando os produtos (sec f D f ), onde f a latitude; isto , aproximando a integral de sec f. Em seu New Stereometry of Wine Barrels (Nova Estereometria de Barris de Vinho) (1615), o famoso astrnomo Johannes Kepler (1571--1630) aproximou os volumes de vrios slidos tridimensionais, cada qual era formado girando uma regio bidimensional ao redor de um eixo. Para cada um destes volumes de revoluo, subdividiu o slido em vrias fatias muito finas ou discos chamados de infinitsimos (note a diferena entre infinitsimos e os indivisveis de Arquimedes). Ento, em cada caso, a soma destes infinitsimos aproximavam o volume desejado. A segunda lei de Kepler do movimento planetrio requeria quadraturas de segmentos de uma elipse, e para aproximar estas reas, somou tringulos infinitesimais. Bonaventura Cavalieri (1598--1647), um estudante de Galileu, desenvolveu uma teoria de indivisveis. Para uma regio bidimensional, Cavalieri considerou a coleo de "todas as retas" como sendo um nico nmero, a rea da regio. Christiaan Huygens (1629--1695) criticou, "Sobre os mtodos de Cavalieri: algum se engana se aceitar seu uso como uma demonstrao mas so teis como um meio de descoberta anterior demonstrao... isto o que vem primeiro...". Evangelista Torricelli (1608--1648), outro discpulo de Galileu e amigo de Cavalieri, tentou resolver algumas das dificuldades com indivisveis ao afirmar que as retas poderiam ter algum tipo de espessura. Foi cuidadoso para usar argumentos de reduo ao absurdo para provar quadraturas que obteve por indivisveis. O "Chifre de Gabriel" uma cubatura "incrvel" descoberta por Torricelli. Pierre Fermat (1601--1665) desenvolveu uma tcnica para encontrar as reas sob cada uma das "parbolas de ordem superior" (y = kxn, onde k > 0 constante e n = 2, 3, 4, ) usando retngulos estreitos inscritos e circunscritos para levar ao mtodo de compresso. Ento empregou uma srie geomtrica para fazer o mesmo para cada uma das curvas y = kxn, para n = -2, -3, -4, . Mas, para sua decepo, nunca foi capaz de estender estes processos para "hiprboles de ordem superior", ym = kxn. Por volta da dcada de 1640, a frmula geral para a integral de parbolas de ordem superior era conhecida de Fermat, Blaise Pascal (1623-1662), Gilles Personne de Roberval (1602--1675), Ren Descartes (1596--1650), Torricelli, Marin Mersenne (1588--1648) e provavelmente outros. John Wallis (1616--1703) estava fortemente comprometido com a relativamente nova notao algbrica cujo desenvolvimento era uma caracterstica dos matemticos do sculo 17. Por exemplo, ele tratou a parbola, a elipse e a hiprbole como curvas planas definidas por equaes em duas variveis em vez de sees de um cone. Tambm inventou o smbolo para infinito e, ao usar isto, obscureceu lugares onde agora sabemos que deveria ter usado o limite. Estendeu a frmula de quadratura para y = kxn para casos quando n era um nmero racional positivo usando indivisveis, razes inteligentes e apelos ao raciocnio por analogia. A dependncia de Wallis em frmulas o levou a vrias quadraturas interessantes. Roberval explorou o Princpio de Cavalieri para encontrar a rea sob um arco da ciclide. Roberval e Pascal foram os primeiros a plotar as funes seno e coseno e a encontrar as quadraturas destas curvas (para o primeiro quadrante).

Pascal aproximou integrais duplas e triplas usando somas triangulares e piramidais. Estas no eram cubaturas, mas eram etapas em seu esforo para calcular os momentos de certos slidos, para cada um dos quais ele ento determinou o centro de gravidade. Finalmente, Gregory St. Vincent (1584--1667) determinou a rea sob a hiprbole xy = 1, usando retngulos estreitos inscritos e circunscritos de larguras diferentes especialmente desenhados e o mtodo de compresso. St. Vincent estendeu esta e outras quadraturas para encontrar vrias cubaturas. Logo depois disto, seu aluno, Alfonso Antonio de Sarasa (1618--1667) reconheceu que a quadratura da hiprbole est intimamente ligada propriedade do produto do logaritmo! Seguindo uma sugesto de Wallis, em 1657, William Neile (1637--1670) determinou o comprimento de uma seo arbitrria da parbola semicbica, y2 = x3, e em 1658, Christopher Wren (1632--1723), o famoso arquiteto, encontrou o comprimento de um arco da ciclide. Em 1659, Hendrick van Heuraet (1634-cerca de 1660) generalizou seu trabalho somando tangentes infinitesimais a uma curva, portanto desenvolveu a essncia do nosso mtodo moderno de retificao - usando uma integral para encontrar o comprimento de um arco. Na forma geomtrica, muito do clculo nos primeiros dois teros do sculo 17 culminaram no The Geometrical Lectures (1670) de Isaac Barrow (1630--1677). Barrow deixou sua cadeira de Professor Lucasiano em Cambridge em favor de se ex-aluno Isaac Newton (1642--1727). Newton seguiu James Gregory (1638--1675) ao pensar na rea da regio entre uma curva e o eixo horizontal como uma varivel; o extremo esquerdo era fixo, mas o extremo direito podia variar. Este truque lhe permitiu estender algumas frmulas de quadratura de Wallis e o levou ao Teorema Fundamental do Clculo. O ltimo trabalho de Newton sobre clculo, e tambm o primeiro a ser publicado, foi seu ensaio, "On the Quadrature of Curves" (Sobre Quadratura de Curvas), escrito entre 1691 e 1693 e publicado como um apndice na edio de 1704 do seu Opticks. Neste, ele montou uma tabela extensa de integrais de funes algbricas um tanto complicadas, e para curvas as quais no podia desenvolver frmulas de integrao, inventou tcnicas geomtricas de quadratura. Usando o Teorema Fundamental do Clculo, Newton desenvolveu as tcnicas bsicas para avaliar integrais usadas hoje em dia, incluindo os mtodos de substituio e integrao por partes. Para Gottfried Wilhelm Leibniz (1646--1716), uma curva era um polgono com um nmero infinito de lados. Leibniz (1686) fez y representar uma ordenada da curva e dx a distncia infinitesimal de uma abscissa para a prxima, isto , a diferena entre abscissas "sucessivas". Ento disse, "represento a rea de uma figura pela soma de todos os retngulos [infinitesimais] limitados pelas ordenadas e diferenas das abscissas ... e assim represento em meu clculo a rea da figura por y dx". Leibniz tomou o "S" alongado para a integral do latim summa e d do latim differentia, e estas tm permanecido nossas notaes de clculo mais bsicas desde ento. Ele considerava as contas de clculo como o meio de abreviar de algum modo o clssico mtodo grego de exausto. Leibniz era ambivalente sobre infinitesimais, mas acreditava que contas formais de clculo poderiam ser confiveis porque levavam a resultados corretos. O termo integral, como usamos em clculo, foi cunhado por Johann Bernoulli (1667--1748) e publicado primeiramente por seu irmo mais velho Jakob Bernoulli (1654--1705). Principalmente como uma conseqncia do poder do Teorema Fundamental do Clculo de Newton e Leibniz, integrais eram consideradas simplesmente como derivadas "inversas". A rea era uma noo intuitiva, quadraturas que no podiam ser encontradas usando o Teorema Fundamental do Clculo eram aproximadas. Embora Newton tenha desferido um golpe muito imperfeito sobre a idia de limite, ningum nos sculos 18 e 19 teve a viso de

combinar limites e reas para definir a integral matematicamente. Em vez disso, com grande engenhosidade, muitas frmulas de integrao inteligentes foram desenvolvidas. Aproximadamente ao mesmo tempo em que a tabela de integrais de Newton tinha sido publicada, Johann Bernoulli desenvolveu procedimentos matemticos para a integrao de todas as funes racionais, o qual chamamos agora de mtodo das fraes parciais. Estas regras foram resumidas elegantemente por Leonhard Euler (1707--1783) em seu trabalho enciclopdico de trs volumes sobre clculo (1768-1770). Incidentalmente, estes esforos estimularam o aumento do interesse durante o sculo 18 na fatorao e resoluo de equaes polinomiais de graus elevados. Enquanto descrevia as trajetrias dos cometas no Principia Mathematica (1687), Newton props um problema com implicaes importantes para o clculo: "Para encontrar uma curva do tipo parablico [isto , um polinmio] a qual deve passar por qualquer nmero de pontos dados", Newton redescobriu a frmula de interpolao de James Gregory (1638--1675); hoje, chamada de frmula de Gregory-Newton, e em 1711, ele ressaltou sua importncia: "Assim as reas de todas as curvas podem ser aproximadas ... a rea da parbola [polinmio] ser quase igual rea da figura curvilnea ... a parbola [polinmio] pode sempre ser quadrada geometricamente por mtodos conhecidos em geral [isto , usando o Teorema Fundamental do Clculo]". O trabalho de interpolao de Newton foi estendido em pocas distintas por Roger Cotes (1682--1716), James Stirling (1692--1770), Colin Maclaurin (1698--1746), Leonhard Euler e outros. Em 1743, o matemtico autodidata Thomas Simpson (1710-1761) encontrou o que se tornou um caso especial, popular e til das formulas de Newton-Cotes para aproximar uma integral, a Regra de Simpson. Embora Euler tenha feito clculos mais analticos que geomtricos, com nfase em funes (1748; 1755; 1768), houve vrios mal-entendidos sobre o conceito de funo, propriamente dito, no sculo 18. Certos problemas de fsica, como o problema da corda vibrante, contriburam para esta confuso. Euler identificou tanto funes com expresso analtica, que pensou em uma funo contnua como sendo definida apenas por uma nica frmula em todo seu domnio. A idia moderna de uma funo contnua, independente de qualquer frmula, foi iniciada em 1791 por Louis-Franois Arbogast (1759--1803): "A lei de continuidade consiste em que uma quantidade no pode passar de um estado [valor] para outro [valor] sem passar por todos os estados intermedirios [valores] ...". Esta idia tornou-se rigorosa em um panfleto de 1817 por Bernhard Bolzano (1781--1848) e conhecida agora como o Teorema do Valor Intermedirio. Funes descontnuas (no sentido moderno) foram foradas na comunidade matemtica e cientfica por Joseph Fourier (1768--1830) no seu famoso Analytical Theory of Heat (Teoria Analtica do Calor,1822). Quando Augustin Louis Cauchy (1789--1857) assumiu a reforma total do clculo para seus alunos de engenharia na cole polytechnique na dcada de 1820, a integral era uma de suas pedras fundamentais: No clculo integral, me pareceu necessrio demonstrar com generalidade a existncia das integrais ou funes primitivas antes de tornar conhecidas suas diversas propriedades. Para alcanar este objetivo, foi necessrio estabelecer no comeo a noo de integrais tomadas entre limites dados ou integrais definidas. Cauchy definiu a integral de qualquer funo contnua no intervalo [a,b] sendo o limite da soma das reas de retngulos finos. Sua primeira obrigao era provar que este limite existia para todas as funes contnuas sobre o intervalo dado. Infelizmente, embora Cauchy tenha usado o Teorema do Valor Intermedirio, no conseguiu seu objetivo porque no observou dois fatos tericos sutis mas

cruciais. Ele no tinha noo das falhas lgicas no seu argumento e prosseguiu para justificar o Teorema do Valor Mdio para Integrais e para provar o Teorema Fundamental do Clculo para funes contnuas. Niels Henrik Abel (1802--1829) tambm apontou certos erros delicados ao usar a integral de Cauchy para integrar todo termo de uma srie infinita de funes. A primeira prova rigorosa da convergncia da Srie de Fourier geral foi feita por Peter Gustav Lejeune Dirichlet (1805--1859) em 1829. Dirichlet tambm responsvel pela definio moderna de funo (1837). Em 1855, Dirichlet sucedeu Carl Friedrich Gauss (1777-1855) como professor na Universidade de Gttingen. Por sua vez, Georg F. B. Riemann (1826--1866) sucedeu Dirichlet (1859) em Gttingen. No processo de extenso do trabalho de Dirichlet sobre sries de Fourier, Riemann generalizou a definio de Cauchy da integral para funes arbitrrias no intervalo [a,b], e o limite das somas de Riemann a formulao no texto. Imediatamente, Riemann perguntou, "em que casos uma funo integrvel?" A maior parte do desenvolvimento da teoria de integrao foi subseqentemente verificada por Riemann e outros, mas ainda havia dificuldades com integrais de sries infinitas que no foram trabalhadas at o incio do sculo 20. Webmaster: Geraldo L. Diniz - atualizado em: 23/08/2006