Escolar Documentos
Profissional Documentos
Cultura Documentos
A primeira vez que limites foram necessrios foi para a resoluo dos quatro paradoxos de
Zeno (cerca de 450 A.C.). No primeiro paradoxo, a Dicotomia, Zeno colocou um objeto se
movendo uma distncia finita entre dois pontos fixos em uma srie infinita de intervalos de
tempo (o tempo necessrio para se mover metade da distncia, em seguida o tempo
necessrio para se mover metade da distncia restante, etc.) durante o qual o movimento
deve ocorrer. A concluso surpreendente de Zeno foi que o movimento era impossvel!
Aristteles (384--322 A.C.) tentou refutar os paradoxos de Zeno com argumentos
filosficos. Em matemtica, uma aplicao cuidadosa do conceito de limite resolver as
questes levantadas pelos paradoxos de Zeno.
Para suas demonstraes rigorosas das frmulas para certas reas e volumes, Arquimedes
(287--212 A.C.) encontrou vrias sries infinitas - somas que contm um nmero infinito de
termos. No possuindo o conceito de limite propriamente dito, Arquimedes inventou
argumentos muito engenhosos chamados de reduo ao absurdo duplo, que, na verdade,
incorporam alguns detalhes tcnicos do que agora chamamos de limites.
Clculo tambm algumas vezes descrito como o estudo de curvas, superfcies e slidos. O
desenvolvimento da geometria destes objetos floresceu seguindo a inveno da geometria
analtica por Pierre Fermat (1601--1665) e Ren Descartes (1596--1650). A geometria
analtica , essencialmente, o casamento da geometria com a lgebra, e cada uma melhora
a outra.
Fermat desenvolveu um mtodo algbrico para encontrar os pontos mais altos e mais
baixos sobre certas curvas. Descrevendo a curva em questo por uma equao, Fermat
chamou um nmero pequeno de E, e ento fez alguns clculos algbricos legtimos, e
finalmente assumiu E = 0 de tal maneira que todos os termos restantes nos quais E estava
presente desapareceriam! Essencialmente, Fermat colocou de lado o limite com o
argumento que E "infinitamente pequeno". Geometricamente, Fermat estava tentando
mostrar que, exatamente nos pontos mais altos e mais baixos ao longo da curva, as retas
tangentes curva so horizontais, isto , tm inclinao zero.
Encontrar retas tangentes a curvas um dos dois problemas mais fundamentais do clculo.
Problemas envolvendo tangentes so uma parte do que chamamos agora de estudo das
derivadas. Durante o sculo 17, vrios gemetras desenvolveram esquemas algbricos
complicados para encontrar retas tangentes a certas curvas. Descartes tinha um processo
que usava razes duplas de uma equao auxiliar, e essa tcnica foi melhorada pelo
matemtico Johan Hudde (1628--1704), que era tambm o prefeito de Amsterdam. Ren de
Sluse (1622--1685) inventou um mtodo ainda mais complicado para obter tangentes a
curves. Em cada um desses clculos, o limite deveria ter sido usado em alguma etapa
crtica, mas no foi. Nenhum destes gemetras percebeu a necessidade da idia de limite, e
assim cada um encontrou uma maneira inteligente para alcanar seus resultados, os quais
estavam corretos, mas com meios que, agora reconhecemos, faltam fundamentos rigorosos.
Determinar valores exatos para reas de regies limitadas, pelo menos em parte, por curvas
o segundo problema fundamental do clculo. Este so chamados freqentemente de
problemas de quadratura, e, intimamente relacionados a eles, esto os problemas de
cubatura - encontrar volumes de slidos limitados, pelo menos em parte, por superfcies
curvas. Eles nos levam a integrais. Johannes Kepler (1571--1630), o famoso astrnomo, foi
um dos primeiros estudiosos dos problemas de cubatura. Bonaventura Cavalieri (1598--
1647) desenvolveu uma teoria elaborada de quadraturas. Outros, tais como Evangelista
Torricelli (1608--1647), Fermat, John Wallis (1616--1703), Gilles Personne de Roberval
(1602--1675), e Gregory St. Vincent (1584--1667) inventaram tcnicas de quadratura e/ou
cubatura que se aplicam a curvas e slidos especficos ou famlias de curvas. Mas nenhum
deles usou limites! Seus resultados eram quase todos corretos, mas cada um dependia de
um malabarismo algbrico ou apelavam para intuio geomtrica ou filosfica questionvel
em algum ponto crtico. A necessidade de limites no era reconhecida.
Em quase todos os seus trabalhos que agora so considerados como clculo, Isaac Newton
(1642--1727), tambm no reconheceu o papel fundamental do limite. Para sries infinitas,
Newton raciocinou meramente por analogia: se fosse possvel executar operaes
algbricas em polinmios, ento seria possvel fazer o mesmo com o nmero infinito de
termos de uma srie infinita. Newton calculou o que ele chamou de flxions a curvas, no
exatamente derivadas, mas muito prximo. O processo que ele usou para esses clculos
era muito prximo do mtodo de Fermat. Neste e na maioria dos outros trabalhos
comparveis, Newton negligenciou o limite.
Por outro lado, em seu Principia Mathematica (1687), talvez o maior trabalho em matemtica
e cincia, Newton foi o primeiro a reconhecer que o limite deve ser o ponto de partida para
problemas de tangncia, quadratura e afins. No incio do Livro I do Principia, Newton tentou
dar uma formulao precisa do conceito de limite:
Existiram crticas sobre esta afirmao e sobre a discusso que a seguiu, notadamente por
George Berkeley (1685--1753). Mas a genialidade de Newton tinha descoberto o papel
fundamental que o limite tinha que desempenhar no desenvolvimento lgico do clculo. E,
apesar de sua linguagem rebuscada, a semente da definio moderna de limite estava
presente em suas afirmaes.
O clculo se desenvolveu rapidamente pelos seus vrios sucessos no sculo 18, e pouca
ateno foi dada aos seus fundamentos, muito menos ao limite e seus detalhes. Colin
Maclaurin (1698--1746) defendeu o tratamento dos fluxions de Newton do ataque de George
Berkeley. Mas Maclaurin reverteu a argumentos do sculo 17 similares aos de Fermat e
apenas ocasionalmente usou a reduo ao absurdo dupla de Arquimedes. Apesar de suas
boas intenes, Maclaurin passou por oportunidades de seguir a sugesto de Newton sobre
limites. Jean Le Rond d'Alembert (1717--1783) foi o nico cientista daquele tempo que
reconheceu explicitamente a importncia central do limite no clculo. Na famosa
Encyclopdie (1751--1776), d'Alembert afirmou que a definio apropriada da derivada
necessitava um entendimento do limite primeiro e ento, deu a definio explcita:
Uma quantidade o limite de uma outra quantidade quando a segunda puder se aproximar
da primeira dentro de qualquer preciso dada, no importa quo pequena, apesar da
segunda quantidade nunca exceder a quantidade que ela aproxima.
Em termos gerais, d'Alembert percebeu que, "a teoria de limites era a verdadeira metafsica
do clculo".
No comeo do sculo 18, as idias sobre limites eram com certeza confusas. Enquanto
Augustin Louis Cauchy (1789-1857) estava procurando por uma exposio clara e
rigorosamente correta do clculo para apresentar aos seus estudantes de engenharia na
cole polytechnique em Paris, ele encontrou erros no programa estabelecido por Lagrange.
Ento, Cauchy comeou o seu curso de clculo do nada; ele comeou com uma definio
moderna de limite. Comeando em 1821, ele escreveu as suas prprias notas de aula,
essencialmente seus prprios livros, o primeiro chamado de Cours d'analyse (Curso de
Anlise). Nas suas classes e nestes livros-texto clssicos, Cauchy usou o princpio de limite
como a base para introdues precisas continuidade e convergncia, a derivada, a
integral, e o resto do clculo.
Contudo, Cauchy perdeu alguns dos detalhes tcnicos, especialmente na aplicao da sua
definio de limite a funes contnuas e convergncia de certas sries infinitas. Niels
Henrik Abel (1802--1829) e Peter Gustav Lejeune Dirichlet (1805--1859) estavam entre
aqueles que desencavaram estes problemas delicados e no intuitivos. Nas dcadas de
1840 e 1850, enquanto era um professor do ensino mdio, Karl Weierstrass (1815--1897)
determinou que a primeira etapa necessria para corrigir estes erros era restabelecer a
definio original de Cauchy do limite em termos estritamente aritmticos, usando apenas
valores absolutos e desigualdades. A exposio de Weierstrass exatamente aquela que
encontramos no livro de Clculo de Thomas. Weierstrass prosseguiu em uma carreira
brilhante como professor de matemtica na Universidade de Berlim. L ele desenvolveu um
programa para trazer rigor aritmtico para todo o clculo e anlise matemtica.
Histria da Derivada
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.
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 (1654-1705) 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.
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.
Histria da Integral
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.
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.
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.
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 co-seno 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.
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.
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:
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.
Zeno de Ela (490--425 A.C.) escreveu um livro com 40 paradoxos relativos ao contnuo e
ao infinito. Pelo menos quatro dos paradoxos influenciaram o desenvolvimento da
matemtica para explicar os fenmenos relevantes. Infelizmente, o livro no sobreviveu at
os tempos modernos, assim conhecemos estes paradoxos a partir de outras fontes. Os
paradoxos de Zeno sobre o movimento desconcertaram matemticos por sculos. No final
eles envolvem a soma de um nmero infinito de termos positivos a um nmero finito, o qual
a essncia da convergncia de uma srie infinita de nmeros. Vrios matemticos
contriburam para o entendimento das propriedades de seqncias e sries. Este ensaio
destaca as contribuies de alguns daqueles matemticos que estudaram seqncias e
sries.
Zeno no foi o nico matemtico da antiguidade a trabalhar com seqncias. Vrios dos
matemticos gregos da antiguidade usaram seu mtodo de exausto (um argumento
seqencial) para mediar reas de figuras e regies. Usando sua tcnica refinada de
raciocnio chamada de "mtodo", Arquimedes (287-- 212 A.C.) alcanou vrios resultados
importantes envolvendo reas e volumes de vrias figuras e slidos. Na verdade, ele
construiu vrios exemplos e tentou explicar como somas infinitas poderiam ter resultados
finitos. Dentre seus vrios resultados estava que a rea sob um arco parablico sempre
dois teros da base vezes a altura. Seu trabalho no foi to completo ou rigoroso, como
daqueles matemticos que vieram depois e desenvolveram seqncias e sries como
Newton e Leibniz, mas foi to impressionante quanto. Embora Arquimedes tenha sido
obstrudo pela falta de preciso e notao eficiente, foi capaz de descobrir muitos dos
elementos da anlise moderna de seqncias e sries.
O prximo contribuinte importante para esta rea da matemtica foi Fibonacci (1170--
1240). Ele descobriu uma seqncia de inteiros na qual cada nmero igual soma dos
dois antecessores (1,1,2,3,5,8,), introduzindo-a em termos de modelagem de uma
populao reprodutiva de coelhos. Esta seqncia tem muitas propriedades curiosas e
interessantes e continua sendo aplicada em vrias reas da matemtica moderna e cincia.
Durante o mesmo perodo, astrnomos chineses desenvolveram tcnicas numricas para
analisar resultados experimentais. Durante os sculos 13 e 14, matemticos chineses
usaram a idia de diferenas finitas para analisar tendncias em seus dados. Hoje, mtodos
como os deles so usados para entender o comportamento a longo prazo e os limites de
seqncias infinitas. Este trabalho inicial na sia levou a mais investigao e anlise de
vrias progresses e sries mas teve pouca influncia sobre os matemticos europeus.
Euler (1707--1783) usou freqentemente sries infinitas em seu trabalho para desenvolver
novos mtodos ou para modelar problemas aplicados. Publicou Mechanica em 1736, onde
aplicou sistematicamente o clculo mecnica e desenvolveu novos mtodos para resolver
equaes diferenciais usando sries de potncias. Estabeleceu a notao de somatrio que
usamos hoje, usando sigma para o smbolo da soma. D'Alembert (1717--1783) escreveu
cinco artigos lidando com mtodos para integrar equaes diferenciais. Embora tenha
recebido pouca educao cientfica formal, claro que ele conhecia os trabalhos de Newton,
L'Hospital e dos Bernoullis. D'Alembert publicou muitos trabalhos sobre matemtica e fsica
matemtica, culminado com seu trabalho principal, Trait de dynamique. Considerou a
derivada como um limite da diferena de quocientes, o que o colocou frente dos seus
pares no entendimento do clculo. Tambm desenvolveu o teste da razo para determinar a
convergncia de muitas sries. Atravs do trabalho de D'Alembert, a natureza da pesquisa
sobre sries estava mudando de clculos prticos para uma fundamentao mais terica.
Quando pensamos nas origens geomtricas das derivadas e integrais, retas tangentes a
curvas e reas, respectivamente, no existe pista alguma que sugira o Teorema
Fundamental do Clculo. Para Eudoxo (cerca de 370 a.C.), Euclides (cerca de 300 a.C.),
Arquimedes (287--212 a.C.), Apolnio (cerca de 262--190 a.C.) e todos os outros
matemticos da antiguidade clssica, retas tangentes, quadraturas e cubaturas no tinham
lugar de destaque dentre outros problemas geomtricos. Para estes matemticos, o
Teorema Fundamental do Clculo teria sido uma grande surpresa.
Quando lgebra foi usada pela primeira vez para descrever curvas na geometria analtica de
Ren Descartes (1596--1650) e Pierre Fermat (1601--1665), podemos ver os primeiros
lampejos de uma conexo entre tangentes e quadraturas. Em seu estudo das "parbolas de
ordem superior", y = kxn, onde k constante e n = 2, 3, 4, , Fermat desenvolveu a frmula
y/k para a subtangente em qualquer ponto sobre a curva. A partir da, e do nosso ponto de
vista hoje, teria sido fcil encontrar a frmula para a derivada; mas para Fermat, nxn-1 no
era o objetivo. Em alguma poca na dcada de 1640, Fermat mostrou que a rea entre
qualquer uma das parbolas de ordem superior e o eixo horizontal, para 0 x a, era igual
rea do retngulo de largura a e altura an/(k+ 1). Hoje, podemos ver que Fermat estava
torturantemente prximo do Teorema Fundamental do Clculo, como teria sido expresso em
termos de suas parbolas de ordem superior. Mas aquilo no parecia ser de seu interesse.
Graas aos fundamentos providos por Barrow, Isaac Newton (1642--1727), se aperfeioou
nos resultados da tangente e quadratura dos primeiros dois teros do sculo 17. Em uma
carta a Gottfried Wilhelm Leibniz (1646--1716), Newton afirmou claramente, em termos
fsicos, o que os dois problemas mais bsicos de clculo eram (e ainda so): "1. Dado o
comprimento do espao continuamente [isto , em todo instante de tempo], encontrar a
velocidade do movimento [isto , a derivada] em qualquer tempo dado. 2. Dada a velocidade
de movimento continuamente, encontrar o comprimento do espao [isto , a integral ou a
antiderivada] descrita em qualquer tempo proposto". Mas no lugar de derivadas, Newton
empregou flxions de variveis, denotados, por exemplo, por x, e em vez de antiderivadas,
ele usou o que ele chamou de fluentes.
A partir de Gregory, Newton adotou a idia que a rea entre uma curva, y, e o eixo
horizontal, era dependente do extremo direito, t = x. De fato, Newton pensou na rea como
sendo realmente gerada pelo movimento da reta vertical t = x. Assim o flxion da rea era
simplesmente yx. Ento, a tcnica de Newton para encontrar tais quadraturas era encontrar
o fluente de y, equivalente a encontrar nossas antiderivadas; este o cerne da Parte 2 do
Teorema Fundamental do Clculo como encontrado no livro Clculo de Thomas. Newton
usou o Teorema Fundamental do Clculo para encontrar os valores exatos para vrias
reas, da mesma maneira que fazemos hoje. Em geral, Newton comeou a pensar nos
problemas geomtricos de clculo em termos algbricos.
Newton resumiu quase todos os trabalhos anteriores sobre clculo. Juntamente com
Barrow, foi especialmente influenciado por La gomtrie de Ren Descartes (1596--1650)
numa traduo em Latim e com comentrios por Frans van Schooten (1615-1660) e por
John Wallis (1616--1703) em seu The Arithmetic of Infinites. Ele coroou seus estudos com
sua prpria genialidade, escrevendo trs manuscritos sobre clculo: o primeiro foi escrito em
outubro de 1666; o segundo em 1669; e o terceiro, atualizando seus dois trabalhos
anteriores, em 1671. Em seu trabalho mais famoso, o Principia Mathematica (1687), Newton
usou as idias e algumas das tcnicas de clculo, mas como o Principia foi escrito em sua
maior parte na forma geomtrica, as frmulas e partes algbricas do clculo estavam
ausentes. As trs monografias de clculo de Newton, contudo, foram amplamente
conhecidas atravs de cpias feitas para seus colegas da Sociedade Real. Mas elas no
foram publicadas at muito depois de sua morte.
Quando Leibniz foi a Paris em 1672 em misso diplomtica, foi introduzido a idias
emergentes de clculo por Christiaan Huygens (1629--1695), um membro da nova
Academia Francesa. Leibniz estudou muitos dos trabalhos de autores de matemtica
avanada, e relatou que aqueles de Blaise Pascal (1623--1662) eram especialmente teis. A
maior parte dos escritos de Leibniz sobre clculo recaram em trs grupos: seus manuscritos
- quase todos dirios - comearam enquanto ele estava em Paris (1672--1676); os artigos
que publicou no Acta Eruditorum nas dcadas de 1680 e 1690; e um manuscrito, History
and Origin of the Differential Calculus (Histria e Origem do Clculo Diferencial,1714), sobre
o qual falaremos a seguir.
Em 1827, August Ferdinand Mbius publicou um pequeno livro, The Barycentric Calculus,
no qual introduziu diretamente segmentos de reta que eram denotados por letras do
alfabeto, vetores na essncia, mas no no nome. No seu estudo de centros de gravidade e
geometria projetiva, Mbius desenvolveu uma aritmtica destes segmentos de reta;
adicionou-os e mostrou como multiplic-los por um nmero real. Seus interesses estavam
em outro lugar, contudo, e ningum se importou em notar a importncia destes clculos.
Depois de muita frustrao, Hamilton estava finalmente inspirado a desistir da procura por
um sistema "numrico" tridimensional e em vez disso, inventou um sistema de quatro
dimenses que chamou de quatrnios. Nas suas prprias palavras: 16 de outubro de 1843,
Infelizmente, o Ausdehnungslehre tinha dois pontos contra si. Primeiro, era muito abstrato,
faltando exemplos explicativos e foi escrito em um estilo obscuro com uma notao
extremamente complicada. Mesmo depois de t-lo estudado, Mbius no tinha sido capaz
de entend-lo completamente. Segundo, Grassmann era um professor de ensino mdio sem
uma reputao cientfica importante (comparado a Hamilton). Embora seu trabalho tenha
sido amplamente ignorado, Grassmann promoveu sua mensagem nas dcadas de 1840 e
1850 com aplicaes em eletrodinmica e geometria de curvas e superfcies, mas sem
muito sucesso geral. Em 1862, publicou uma segunda edio revisada do seu
Ausdehnungslehre, mas tambm era escrito de maneira obscura e era muito abstrato para
os matemticos de sua poca e praticamente teve a mesma sina da primeira edio. No
final de sua vida, Grassmann distanciou-se da matemtica e iniciou uma segunda carreira
de pesquisa muito bem sucedida, em fontica e lingstica comparada. Finalmente, nas
dcadas de 1860 e 1870, o Ausdehnungslehre comeou lentamente a ser entendido e
apreciado e Grassmann comeou a receber algum reconhecimento favorvel por sua
matemtica visionria. Uma terceira edio do Ausdehnungslehre foi publicada em 1878,
ano seguinte de sua morte.
Durante a metade do sculo 19, Benjamin Peirce (1809--1880) era, de longe, o mais
proeminente matemtico nos Estados Unidos, e se referiu a Hamilton como, "o monumental
autor dos quatrnios". Peirce foi um professor de matemtica e astronomia em Harvard de
1833 a 1880 e escreveu um enorme livro chamado System of Analytical Mechanics (1855;
segunda edio 1872), no qual, surpreendentemente no incluiu quatrnios. Em vez disso,
Peirce expandiu o que chamou de "esta maravilhosa lgebra do espao" ao escrever seu
livro Linear Associative Algebra (1870), um trabalho totalmente de lgebra abstrata. Dizia-se
que quatrnios era o assunto favorito de Peirce e ele teve muitos alunos que se tornaram
matemticos e que escreveram um bom nmero de livros e artigos sobre o assunto.
James Clerk Maxwell (1831--1879) foi um proponente dos quatrnios perspicaz e crtico.
Maxwell e Tait eram escoceses, tinham estudado juntos em Edimburgo e na Universidade
de Cambridge e dividiam os mesmos interesses em fsica matemtica. No que chamou de
"classificao matemtica de quantidades fsicas", Maxwell dividiu as variveis de fsica em
duas categorias, escalares e vetoriais. Ento, em termos desta estratificao, apontou que
usar quatrnios tornava transparente as analogias matemticas em fsica que tinham sido
descobertas por Lord Kelvin (Sir William Thomson, 1824--1907) entre o escoamento de calor
e a distribuio de foras eletrostticas. Contudo, nos seus artigos, especialmente em seu
muito influente Treatise on Electricity and Magnetism (1873), Maxwell enfatizou a
importncia do que descreveu como "idias de quatrnios ... ou a doutrina de vetores" como
um "mtodo matemtico ... um mtodo de pensar". Ao mesmo tempo, apontou a natureza
no homognea do produto de quatrnios, e avisou cientistas para no usar "os mtodos de
quatrnios" com seus detalhes envolvendo os trs componentes vetoriais. Essencialmente,
Maxwell estava sugerindo uma anlise puramente vetorial.
Na dcada de 1890 e na primeira dcada do sculo 20, Tait e alguns outros ridicularizaram
vetores e defenderam quatrnios enquanto outros cientistas e matemticos desenharam seu
prprio mtodo vetorial. Oliver Heaviside (1850--1925), um fsico autodidata que foi
grandemente influenciado por Maxwell, publicou artigos e seu livro Electromagnetic Theory
(trs volumes, 1893, 1899, 1912) nos quais atacou quatrnios e desenvolveu sua prpria
anlise vetorial. Heaviside tinha recebido cpias das notas de Gibbs e falou muito bem
delas. Ao introduzir as teorias de Maxwell sobre eletricidade e magnetismo na Alemanha
(1894), os mtodos vetoriais foram defendidos e vrios livros sobre anlise vetorial em
alemo se seguiram. Os mtodos vetoriais foram introduzidos na Itlia (1887, 1888, 1897),
na Rssia (1907) e na Holanda (1903). Vetores agora so a linguagem moderna de grande
parte da fsica e da matemtica aplicada e continuam tendo seu prprio interesse
matemtico intrnseco.
Durante o sculo 16, matemticos estavam desenvolvendo uma nova matemtica para
resolver problemas em cincias fsicas. Como o mundo fsico multidimensional (isto , trs
dimenses espaciais e o tempo), muitas das quantidades usadas nestes modelos aplicados
eram de vrias variveis. Astronomia era uma rea da cincia que era rica neste tipo de
matemtica de vrias variveis. Por isso, o cenrio estava sendo montado por astrnomos e
matemticos para o desenvolvimento de funes de vrias variveis e, finalmente, para o
clculo de vrias variveis. Galileu (1564--1642) tentou aplicar a matemtica ao seu trabalho
em astronomia, cinemtica e resistncia dos materiais. Pelo seu trabalho nestas reas,
freqentemente chamado de fundador da mecnica e fsica moderna. O astrnomo,
matemtico e fsico alemo Johannes Kepler (1571--1630) contribuiu grandemente atravs
do desenvolvimento das suas trs leis do movimento planetrio. Estes resultados mudaram
a astronomia e desempenharam um papel crucial no desenvolvimento da fsica newtoniana
e do clculo. Seu trabalho ajudou a desacreditar o modelo geocntrico de Ptolomeu e
ajudou a estabelecer a teoria heliocntrica de Coprnico. Tambm montou o cenrio para o
surgimento da matemtica aplicada em vrias variveis.
Depois do desenvolvimento do clculo de uma varivel no sculo 17, sua aplicao para
resolver problemas em um mundo multidimensional resultou na necessidade de
generalizao para incluir funes de mais de uma varivel e clculo de vrias variveis. O
que seriam os anlogos da derivada e da integral para funes de mais de uma varivel?
Jean d'Alembert (1717--1783) desenvolveu e usou o clculo de vrias variveis para lidar
com mtodos para resolver equaes diferenciais e movimento de corpos considerando a
resistncia do meio. De vrias maneira, usou os trabalhos de Newton, L'Hospital e dos
Bernoullis para estender os conceitos de clculo para vrias variveis. D'Alembert pesquisou
nesta rea e publicou muitos trabalhos em matemtica e fsica matemtica. Seu trabalho
principal foi o Trait de dynamique (1743), o qual ajudou a fazer com que a diferenciao
parcial fizesse parte do clculo.
Prximo na linha de refinamento e uso do clculo de vrias variveis foi Joseph Louis
Lagrange (1736--1813). Este aplicou seu conhecimento de clculo mecnica. Foi muito
produtivo nesta rea aplicada da matemtica. Seus principais trabalhos foram sobre as
equaes de movimento e no entendimento da energia potencial. Lagrange tambm foi o
primeiro a desenvolver os mtodo de hoje para encontrar mximos e mnimos usando
clculo. Seu trabalho em otimizao em vrias variveis resultou na tcnica que agora
chamamos de multiplicadores de Lagrange. Ele tinha apenas 19 anos quando inventou
estes mtodos e at muito mais tarde em sua vida ainda os considerava como seu melhor
trabalho em matemtica. Publicou Mcanique analytique (1787), no qual aplicou clculo de
vrias variveis ao movimento e s propriedades de objetos no espao. Colega de
Lagrange, o astrnomo e matemtico Pierre-Simon Laplace (1749--1827), se sobressaiu ao
resolver, ainda jovem, um problema de gravitao mtua que tinha frustrado Euler e
Lagrange. Seu trabalho contribuiu para a anlise do sistema solar. Laplace generalizou as
leis da mecnica para sua aplicao ao movimento e s propriedades de corpos celestes,
por isso precisou e desenvolveu resultados em clculo de vrias variveis. Seu famoso
tratado sobre este assunto foi intitulado Mcanique celeste. Em 1782, Adrien Legendre
(1752--1833) venceu um prmio de pesquisa da Academia de Berlim com seu trabalho
sobre balstica exterior. Analisou a curva descrita pelas bolas de canho, levando em
considerao a resistncia do ar e desenvolveu relaes para alcance dadas as velocidades
iniciais. Legendre pde desenvolver estas equaes a partir de seu trabalho avanado em
equaes diferenciais e clculo de vrias variveis.
frente daqueles que contriburam para o clculo de vrias variveis estava Carl Friedrich
Gauss (1777--1855). As conquistas de Gauss em cincias e matemtica foram
assombrosas. Seu desenvolvimento de uma teoria de rbitas planetrias foi publicado em
1809. Gauss desenvolveu e provou o Teorema da Divergncia enquanto trabalhava na
teoria de gravitao, mas suas anotaes no foram publicadas at muitos anos depois, por
isso, foi dado crdito a outros pelo desenvolvimento e prova deste importante resultado de
vrias variveis. O teorema , algumas vezes, chamado de Teorema de Gauss. Gauss
desenvolveu resultados que estabeleceram a teoria do potencial como um ramo coerente da
matemtica. Mikhail Ostrogradsky (1801--1862) foi o primeiro a publicar uma prova do
teorema da divergncia. Ostrogradsky deixou a Rssia para Paris em 1822 onde encontrou
Laplace, Legendre, Fourier, Poisson e Cauchy. Enquanto trabalhava na teoria do calor na
metade da dcada de 1820, formulou o teorema da divergncia como uma ferramenta para
tornar integrais de volume em integrais de superfcie.