Anda di halaman 1dari 16

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.

job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

UMA BREVE INTRODUO HISTRIA DO CLCULO


DIFERENCIAL E INTEGRAL

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

1 Ten QCO Roberto Junior Batista 1


Resumo: Embora seja uma das mais importantes ferramentas matemticas, o clculo
diferencial e integral dificilmente abordado sob uma perspectiva histrica nos cursos
de graduao. Entretanto, esta viso histrica fundamental para estabelecer uma ponte
entre a teoria matemtica e suas aplicaes em cincias e engenharia. Neste artigo, uma
breve introduo histria do clculo diferencial e integral apresentada, com o propsito
de motivar estudantes de cincias e engenharia. So destacados os aspectos histricos
mais importantes e os principais personagens responsveis pelo seu desenvolvimento.
Palavras-chave: Clculo Diferencial e Integral, teoria matemtica, cincias e engenharia.
Abstract: Although it is one of the most important mathematical tools, the integral and
differential calculus is hardly studied from a historical perspective in the graduation
degree. However, this historical vision is fundamental for establishing a bridge between
mathematical theory and its application in science and engineering. In this article we
present a brief introduction to the history of the integral and differential calculus, with
the purpose of motivating students of science and engineering. The most important historical aspects and the main characters responsible for its development are put in evidence.
Keywords: Integral and Differential calculus, mathematical theory, science and engineering.

Professor de Fsica do Colgio Militar de Curitiba


Bacharel e licenciado em Fsica pela UFPR
Mestrando em Mtodos Numricos em Engenharia pela UFPR
Especialista em Instrumentao para o ensino de Matemtica pela UFF
e-mail: roberto_physics@yahoo.com.br
1

41

41

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

Os gemetras gregos

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

Historicamente, difcil situar com preciso as origens do Clculo


Diferencial e Integral. Antigas questes suscitaram idias que, sem dvida,
desempenharam um papel importante no seu desenvolvimento, tais como os
problemas de quadratura de figuras planas, a delimitao de terrenos destinados
ao plantio nas margens dos rios, o clculo do volume de um silo ou ainda questes
financeiras, envolvendo valores pagos sobre um emprstimo. Em um tablete de
argila encontrado na Mesopotmia, datado de 1700 a.C, h um problema
envolvendo juros, o que sugere que a prtica de cobrar uma taxa sobre o dinheiro
emprestado recua ao incio da histria escrita (In e A Histria de um nmero,
de Eli Maor, ed. Record).
A idia bsica do Clculo, que consiste em usar o processo de limite para
derivar resultados finitos, remonta aos antigos gregos. Arquimedes de Siracusa
(287 212 a.C), teria sido um dos primeiros a usar o conceito de limite para
calcular a rea e o volume de vrias formas planas e slidas. Embora ele jamais
tenha usado o termo limite, podemos perceber hoje que era isso o que ele tinha
em mente. A Geometria elementar nos permite calcular a rea de qualquer tringulo
e, a partir da, de qualquer polgono. Mas quando nos deparamos com formas
curvas ou irregulares, a Geometria elementar se torna insuficiente. A idia de
Arquimedes era obter um crculo e nele inscrever uma srie de polgonos regulares,
com um nmero cada vez maior de lados. Este mtodo, cuja descoberta, na verdade
atribuda a Eudoxo, ficou conhecido como Mtodo da Exausto. Esse mtodo
chegou perto do moderno conceito clculo integral. Na verdade, essa a idia
bsica do conceito de limite: uma sucesso de valores numricos, que pode se
aproximar de um determinado valor, tanto quanto quisermos, porm sem nunca
atingir este valor. Os gemetras gregos ficaram intrigados com a idia do infinito.
Existir um ltimo nmero, alm do qual nenhum outro possa ser encontrado?
Acredita-se que os fatores, que impediram que os antigos gregos descobrissem o
Clculo, esto baseados na dificuldade destes de lidar com o conceito de infinito.
Zenon, de Elia (Sculo IV a.C) props quatro paradoxos, mostrando a
dificuldade dos gemetras gregos em assimilar a idia de infinito. Um desses
paradoxos tenta mostrar a impossibilidade de um corredor partir de um ponto A e
42

42

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

chegar a um ponto B. Para que um corredor possa mover-se do ponto A para o


ponto B, ele precisa primeiro chegar ao ponto mdio da distncia AB; a partir da,
o ponto mdio da distncia que falta percorrer e assim por diante. Como esse
processo exige um nmero infinito de passos, uma vez que o corredor sempre
dever percorrer a metade da metade anterior, Zenon argumentava que o corredor
jamais chegaria ao ponto B. Hoje seria simples explicar este paradoxo. Admitindose que o a distncia AB corresponda a uma unidade de comprimento (AB = 1), a
distncia total percorrida ser fornecida pela soma de 1/2 + 1/4 +1/8 + 1/16 +...
Parece estranho, pois a intuio mostra que nunca a soma chegar a 1. No entanto,
podemos nos aproximar desse valor, tanto quanto quisermos, indefinidamente.
Mas afinal, quantos termos devemos acrescentar para ter uma resposta satisfatria?
Algum sempre poder acrescentar mais um termo soma, tornando-a mais
prxima de 1. A resposta que no precisamos acrescentar mais nenhum termo.
Em termos matemticos atuais, dizemos que esta soma tem a propriedade de
convergir para o valor 1, ou seja, tem o limite igual a 1, medida que o nmero de
termos tende ao infinito. Assim, o corredor percorrer uma distncia total igual a
uma unidade, que distncia AB original. Mas os gregos encontraram uma
grande dificuldade em admitir que uma soma infinita de nmeros pudesse
convergir para um valor finito. Talvez por isso, Arquimedes, ao aplicar o mtodo
da exausto, tenha evitado mencionar a palavra infinito. Desta forma, apesar de
ter uma compreenso intuitiva de limite, Arquimedes no pde dar o passo crucial que levaria ao Clculo Diferencial e Integral.
A geometria dos indivisveis- Prenncio do Clculo
Na Obra Duas Novas Cincias (1638), de Galileu Galilei, o personagem
Salviati afirma que Infinidades e indivisibilidades transcendem nossa
compreenso finita; as primeiras em virtude da sua magnitude, as ltimas em
virtude da sua pequenez; imagine como so quando elas se combinam. A idia
implcita de limite acompanhou o desenvolvimento do Clculo, mas a sua plena
compreenso, mediante uma definio formal custou a aparecer. Por muito tempo,
a noo de limite permaneceria obscura, com uma definio geomtrica subjetiva
e indefinida. Isaac Newton, considerado um dos descobridores do Clculo, em
sua monumental obra, Principia, parece ter sido o primeiro a reconhecer que o
limite deve ser o ponto de partida para problemas de tangncia e quadraturas,
43

43

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

tendo ele prprio enunciado uma formulao do conceito de limite, utilizando


quantidades infinitamente pequenas e uma regra de eliminao. No lugar dos
conceitos rigorosos de limite, convergncia e unicidade, Newton se baseia no
movimento contnuo, ou seja, ele adota uma viso cinemtica das grandezas
geomtricas. Assim, a moderna definio de limite, base fundamental para o
Clculo Diferencial e Integral, teria que aguardar at o final do sculo XVIII e
incio do sculo XIX.
Para a Geometria Analtica de Descartes, uma figura geomtrica pode ser
descrita por um conjunto de pontos cujas coordenadas x e y verificam uma equao.
Descartes acreditava que sua abordagem analtica da geometria apresentava novas vantagens sobre o mtodo puramente geomtrico adotado desde os antigos
gregos. No entanto, ele se limitava s expresses algbricas em nmero finito. A
equao de uma seo cnica, como a elipse, por exemplo, s apresenta trs
termos. Mas, sabia-se que certas grandezas, como reas de figuras curvas no
podem ser exprimidas com um nmero finito de termos. Para resolver o problema,
recorreu-se a diversas tcnicas matemticas. A mais importante delas foi a das
sries infinitas. Um exemplo a soma y = x x2/2 + x3/3 x4/4 + x5/5... J vimos
que uma soma de infinitos termos pode convergir para um valor finito. Assim, do
mesmo modo, se a srie converge, a soma finita, ainda que a srie tenha infinitos
termos. Na poca de Newton, as idias que os matemticos tinham sobre as sries
infinitas no eram bem fundamentadas. A prpria srie binomial, desenvolvida
por Newton pela generalizao das sries infinitas, no foi apresentada mediante
uma demonstrao rigorosa. Newton aplicou seu mtodo aos casos cuja resposta
conhecia por outros mtodos e verificou que os resultados coincidiam. Com o
auxlio da srie binomial, Newton pde calcular a rea definida por diversas curvas.
Assim, o conceito de infinito foi adotado de uma forma casual e
improvisada, sem muito rigor matemtico, mas que funcionava. Esse era o mtodo
dos indivisveis. Pensando em uma forma plana como sendo composta por um
nmero de faixas infinitamente estreitas, os chamados indivisveis, pode-se
encontrar a rea da forma ou tirar algumas outras concluses sobre ela. Por
exemplo, pode-se demonstrar a relao entre a rea de um crculo e a sua
circunferncia, considerando o crculo como uma soma de um nmero infinito de
tringulos estreitos, cada um com seu vrtice no centro e sua base ao longo da
44

44

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

circunferncia. Como a rea de um tringulo a metade do produto da base pela


altura, a rea total ser a metade do produto entre a altura comum, no caso o raio
da circunferncia e a soma das bases, que o comprimento da circunferncia. O
mtodo, contudo, era defeituoso em vrios aspectos. Para comear, ningum
entendia exatamente o que eram esses indivisveis, e muito menos como
trabalhar com eles e o mtodo exigia muita engenhosidade, uma vez que para
cada situao era necessrio formular um tipo de indivisvel que melhor se
ajustasse ao problema.
Johannes Kepler talvez tenha sido o primeiro a fazer uso dos indivisveis.
Estranhamente, no no ramo da Astronomia, como se poderia esperar, mas para
resolver um problema mais prtico: calcular o volume de barris de vinho (ao que
parece, Kepler estava insatisfeito com o modo como os mercadores vendiam o
contedo de seus barris). Ele procedeu estendendo o mtodo para trs dimenses
e considerando um slido como uma coleo de muitas fatias infinitamente finas,
ou lminas e depois somando seus volumes individuais. Sem perceber, Kepler
chegou a um passo do Clculo Integral.
A questo da quadratura
O problema de encontrar a rea de uma forma plana fechada conhecido
como quadratura. A palavra refere-se prpria natureza do problema: expressar
a rea em termos de unidade de rea, que so quadrados. Para os gregos, isso
significava que a forma dada tinha de ser transformada em um quadrado
equivalente cuja rea pudesse ser encontrada a partir de princpios bsicos. Para
dar um exemplo simples, suponha que queremos encontrar a quadratura do
retngulo de lados a e b. Se esse retngulo deve ter a mesma rea de um quadrado
de lado x, teremos x2 = ab. Usando um esquadro e um compasso, podemos
facilmente construir um segmento de reta de comprimento ab.
Assim, poderemos encontrar a quadratura de qualquer retngulo e da a
de qualquer paralelogramo ou qualquer tringulo, porque essas formas podem
ser obtidas a partir de um retngulo atravs de construes simples. Dessa forma,
pode-se quadrar qualquer polgono, porque um polgono pode sempre ser
dissecado em tringulos. Esse aspecto puramente geomtrico do problema da
quadratura abriu caminho para uma abordagem mais computacional. A construo
real de uma forma equivalente no era mais considerada necessria, desde que
45

45

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

pudssemos demonstrar que tal construo poderia ser feita. Neste sentido, o mtodo
da exausto no era uma verdadeira quadratura, j que exigia um nmero infinito
de passos e assim no poderia ser realizado por meios puramente geomtricos. Mas
com a introduo dos processos infinitos na matemtica, por volta de 1600, at
mesmo esse problema foi resolvido.
Entre as formas que resistiam teimosamente a todas as tentativas de
quadratura estava a hiprbole. Arquimedes tentou obter a quadratura da hiprbole,
mas no teve xito. Quando o mtodo dos indivisveis foi descoberto, os matemticos
do sculo XVII voltaram a abordar esse problema. Mas, havia agora um outro
problema: a hiprbole, ao contrrio da elipse ou do crculo, uma curva que vai ao
infinito, assim era necessria uma nova compreenso do conceito de quadratura.
Entre os principais matemticos envolvidos com essa questo, destacaram-se Pierre
de Fermat (16011665) e Ren Descartes (15961650). Fermat estava interessado
na quadratura de curvas cuja equao geral y = xn, onde n um inteiro positivo.
Essas curvas tambm so chamadas de parbolas generalizadas (parbola,
propriamente dita o caso em que n = 2). Fermat fez a aproximao da rea sob
cada curva atravs de uma srie de retngulos cujas bases formam uma progresso
geomtrica decrescente (figura 1). Com esse mtodo, semelhante ao mtodo da
exausto de Arquimedes, Fermat chegou a uma expresso equivalente a xn dx = xn
+1
/(n+1) em torno de 1640, ou seja, quase trinta anos antes de Newton e Gottfried
W. Leibniz apresentarem as bases do Clculo Integral.
O trabalho de Fermat representou um grande avano, pois conseguia a
quadratura no somente de uma curva, mas de toda uma famlia de curvas.

Figura 1. O mtodo de Fermat de aproximao da rea por meio de retngulos, onde as bases
formam uma progresso geomtrica.

Alem disso, ao modificar ligeiramente seu procedimento, Fermat


46

46

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

mostrou que a equao y = xn permanece vlida mesmo quando n um nmero


negativo, desde que agora seja calculada a rea x = a (onde a > 0) at o
infinito. Apesar de sua aparente semelhana, as duas formas representam dois
tipos bem diferentes de curvas: as primeiras so contnuas em toda a parte,
enquanto as ltimas se tornam infinitas em x = 0 e, em conseqncia, possuem
uma quebra (uma assntota vertical) neste ponto. Alm disso, a equao de
Fermat falha para uma curva da qual toda a famlia deriva o seu nome: a
hiprbole y = 1/x = x-1. Isso ocorre porque para n = -1, o denominador n + 1
na equao xn + 1/(n + 1) se torna nulo. Coube a um dos contemporneos de
Fermat resolver esse caso excepcional. Grgoire (ou Gregorius) de Saint
Vincent (15841667), um jesuta belga que passou a maior parte de sua vida
trabalhando em vrios problemas de quadratura. Seu principal trabalho, Opus
geometricum quadraturae circuli et sectionum coni (1647), mostra que ele
observou que quando n = 1, os retngulos usados na aproximao da rea
sob a hiprbole possuem todos reas iguais. Isto significa que, medida que
a distncia de zero cresce geometricamente, as reas correspondentes crescem
em incrementos iguais. Por sua vez, isso implica que a relao entre a rea e
a distncia logartmica.
Se denotarmos por A(t) a rea sob a hiprbole, a partir de um ponto de
referncia fixo x > 0 at um ponto varivel x = t, teremos A(t) = log t (figura
2). Assim, a quadratura da hiprbole foi finalmente conseguida cerca de dois
mil anos depois dos gregos, que foram os primeiros a enfrentar o problema.

Figura 2. A rea sob a hiprbole tem tem valor unitrio no intervalo (1,e)
47

47

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

Nova matemtica
Em meados do sculo XVII, as principais idias por trs do clculo j
eram razoavelmente bem conhecidas pela comunidade matemtica. O mtodo
dos indivisveis (infinitsimos), apesar de ainda ter uma base incerta, tinha sido
aplicado com sucesso a um conjunto de curvas e slidos; e o mtodo da exausto
de Arquimedes, em sua forma moderna, tinha ajudado a resolver o problema de
quadratura da famlia de curvas y = xn. Mas embora esses mtodos fossem bemsucedidos, eles ainda no estavam fundidos em um sistema nico; cada problema
exigia uma abordagem diferente e o sucesso dependia da engenhosidade,
habilidade com a lgebra e um pouco de sorte. O que faltava ainda era um
procedimento geral e sistemtico um conjunto de algoritmos que
possibilitariam resolver esses problemas com facilidade e eficincia. Esse
procedimento foi fornecido por Newton e Leibniz.
Newton estudou por conta prpria os clssicos da matemtica de seu tempo.
Os elementos, de Euclides, La Geomtrie, de Descartes, a Arithmetica infinitorum,
de Wallis e os trabalhos de Vite e Kepler. Nenhum desses livros de leitura
fcil, mesmo hoje, quando os temas que eles abordam so bem conhecidos.
Certamente, tambm no eram na poca de Newton, quando o conhecimento
matemtico era privilgio de poucos.
Os problemas abordados naquela poca so, basicamente, de dois tipos: o
primeiro consiste, em uma dada curva, determinar a tangente em um de seus
pontos. O segundo problema o clculo da rea delimitada por uma curva. Depois
que descobriu a srie binomial, Newton observa que na verdade, esses dois
problemas so inversos um do outro. Na notao atual, diramos que o clculo da
tangente corresponde a uma operao denominada derivada e o clculo da rea
corresponde a uma operao de integrao. Esta descoberta foi uma das mais
importantes na histria da Matemtica e hoje conhecida como o Teorema Fundamental do Clculo. Ela no se refere resoluo um certo problema
particularmente difcil, mas resoluo de toda uma famlia de problemas. o
Clculo Diferencial e Integral, ou Clculo Infinitesimal, que o alemo Leibniz
inventa quase ao mesmo tempo em que Newton e forma em nossos dias, um
conjunto de operaes indispensveis a todos os ramos da cincia.
48

Newton adota uma viso cinemtica das grandezas geomtricas, ou seja,

48

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

ele as concebe como se fossem produzidas por um movimento contnuo. Assim


uma curva considerada como a trajetria de um ponto em movimento. As
grandezas geradas so chamadas fluentes. Suas velocidades instantneas ou taxas
de crescimento, so chamadas de fluxes. As fluentes so designadas pelas letras
x, y, z e as fluxes por , , e as correspondentes fluentes por x, y, z. A
importncia do teorema fundamental est no fato de que relativamente simples
encontrar a tangente de uma curva, mas bem mais difcil calcular a rea sob
uma curva. O ponto de partida de Newton foi considerar duas variveis que se
relacionam atravs de uma equao como y = x2. Hoje chamaramos esse
relacionamento de funo e para indicar que y uma funo de x escrevemos y
= f(x). Essa relao representada no plano xy por uma parbola. Newton imaginou
o grfico de uma funo como uma curva gerada por um ponto mvel P(x,y).
medida que P traa a curva, ambas as coordenadas, x e y, variam continuamente
com o tempo; imaginava-se o prprio tempo fluindo a uma taxa uniforme da
a palavra fluente. Newton ento partiu para encontrar as taxas de mudana de x e
y em relao ao tempo, isto , suas fluxes. Ele conseguiu isso considerando a
diferena, isto , a mudana, nos valores de x e y entre duas ocasies adjacentes,
ento, dividindo essa diferena pelo intervalo de tempo transcorrido. O passo
final, e crucial, foi fazer o intervalo de tempo transcorrido igual a zero ou, mais
precisamente, pensar nele como to pequeno a ponto de ser desprezvel. Como
exemplo do mtodo, vamos analisar a funo y = x2 (Um corpo em queda livre
nas imediaes da superfcie terrestre, por exemplo, ocupa posies sucessivas
que dependem do tempo de forma anloga a esta equao). Vamos considerar o
intervalo de tempo e (Newton usou a letra O, mas para evitar a possvel confuso
com zero, usaremos e). Durante esse intervalo de tempo a coordenada x muda na
quantidade e, onde a taxa de mudana ou fluxo de x (esta notao ficou
conhecida como a notao do ponto) de modo semelhante, a mudana de y
e . Substituindo x por x + e, e y por y + e na equao y = x2, teremos y + e
= (x + e)2 = x2 + 2x e + ( e)2. Como y = x2, podemos cancelar o y no lado
esquerdo com o x2 no lado direito. Dividindo ambos os lados por e termos =
2x + 2 e. O passo final fazer e igual a zero, o que nos deixa com = 2x .
Esta a relao entre as fluxes dos dois fluentes, x e y, ou, em linguagem moderna,
entre as taxas de mudana das variveis x e y, cada uma considerada como uma
funo do tempo.
49

49

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

Newton deu vrios exemplos de como funciona este mtodo das fluxes.
O mtodo totalmente generalizado: pode ser aplicado a quaisquer dois fluentes
que se relacionem um com o outro atravs de uma equao. Em virtude da
associao com a tangente, o processo de encontrar a fluxo de um determinado
fluente ficou conhecido como problema da tangente na poca de Newton. Hoje
chamamos esse processo de diferenciao e a fluxo de uma funo chamamos

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

de derivada.
Como foi comentado anteriormente, o mtodo das fluxes de Newton
no era uma idia inteiramente nova. A importncia da descoberta de Newton
que ela forneceu um procedimento geral um algoritmo para se encontrar a
taxa de mudana de praticamente qualquer funo. A maioria das regras, que
hoje aprendemos nas aulas de clculo, foram descobertas por ele. Por exemplo,
se y = xn, ento

= nxn-1 . Seus predecessores abriram o caminho, mas foi

Newton quem transformou essas idias em uma ferramenta poderosa, universal,


que logo seria aplicada com enorme sucesso a todos os ramos da cincia. Newton, em seguida considerou o inverso do problema da tangente: dada uma fluxo,
encontrar o fluente. Este um problema mais difcil, assim como mais difcil
dividir do que multiplicar, ou extrair uma raiz do que quadrar um nmero. Tendo
demonstrado que a fluxo de y = xn

= nxn-1 , Newton inverteu a frmula, de

modo que agora ela dizia: se a fluxo for

= nxn-1 , ento o fluente ser y = xn

/(n + 1), descontando a constante a ser somada, pois y = x2 - 5 ou y = x2 + 8

+1

tambm seriam respostas, pois os grficos de todas essas funes so obtidos a


partir do grfico de y = x2, meramente deslocando-o para cima ou para baixo,
pois todas possuem a mesma inclinao em qualquer valor de x. Assim, uma
certa fluxo tem uma quantidade infinita de fluentes, diferindo entre si apenas
por uma constante arbitrria. Hoje o processo de encontrar o fluente de determinada
fluxo chamado de integrao indefinida. Como no caso do Teorema Binomial, Newton no fez uma demonstrao formal do Teorema Fundamental do
Clculo, mas compreendeu plenamente sua essncia.
Newton e Leibniz
Isaac Newton e Gottfried W. Leibniz so sempre mencionados como codescobridores do clculo. Entre as contribuies de Leibniz para a Matemtica,
50

50

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

alm do clculo, esto os seus trabalhos para a anlise combinatria, seu


reconhecimento do sistema binrio de numerao e sua inveno de uma mquina
calculadora capaz de somar e multiplicar. Ele tambm tentou desenvolver um
sistema formal de lgica no qual todas as dedues poderiam ser feitas como em
algoritmos computacionais.
Na Matemtica, uma boa escolha dos smbolos quase to importante
Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

quanto o assunto que eles representam, e no Clculo no diferente. Nesse aspecto,


a notao de Leibniz apresentou vrias vantagens sobre o mtodo das fluxes de
Newton. Leibniz concebeu seu clculo diferencial e integral por volta de 1675 e,
em 1677, j tinha um sistema plenamente desenvolvido e funcional. Desde o
comeo, sua abordagem era diferente da de Newton, que se baseava na Fsica. J
Leibniz estava mais prximo da filosofia do que da Fsica e sua concepo de
Clculo era mais abstrata. Ele pensava em termos de diferenciais, pequenos
acrscimos nos valores das variveis x e y. Esses aumentos foram chamados por
ele de dx e dy, respectivamente. Ele ento argumentou que se dx e dy fossem
suficientemente pequenos, a linha tangente ao grfico em P seria idntica ao
prprio grfico na vizinhana do ponto P (figura 3).

Figura 3. A inclinao (ou coeficiente angular) da reta T corresponde ao


valor Dy/Dx.
Para encontrarmos a inclinao da linha tangente em P, s precisamos
achar a proporo altura-largura do tringulo caracterstico, isto , a taxa dy/
dx. Leibniz ento raciocinou que, como dy e dx so quantidades pequenas
51

51

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

(infinitsimos), sua relao representa no apenas a inclinao da linha tangente


a P, mas tambm a inclinao do grfico em P. A proporo dy/dx ento
equivalente fluxo de Newton. Mas h uma falha nesse argumento. A linha
tangente, embora quase idntica curva, perto de P, no coincide com ela. As
duas s coincidem se os pontos P e T na figura 2 coincidissem, isto , quando o
tringulo caracterstico encolhesse at se tornar um ponto. Mas ento, ambos

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

os lados, dx e dy se tornariam zero e sua proporo seria a expresso


indeterminada 0/0. Hoje ns contornamos esta dificuldade definindo a inclinao
como um limite. O que Leibniz chamou de dy/dx e pensou como uma proporo
entre dois pequenos acrscimos, escreve-se hoje em dia como Dy/Dx.
Geometricamente, a proporo Dy/Dx chamada de quociente diferencial
a inclinao da linha secante entre P e Q (figura 4). medida que Dx se aproxima
de 0, o ponto Q se move para trs em direo ao ponto P, ao longo do grfico,
fazendo com que a linha secante gire, at que, no limite, ela coincidir com a
linha tangente. E a inclinao desta ltima que ns representamos por dy/dx e
chamamos de derivada de y em relao a x.
A notao da letra pontuada adotada por Newton, sobreviveu na
Inglaterra por mais de um sculo e ainda pode ser encontrada em livros de
Fsica para denotar a diferenciao em relao ao tempo. A Europa continental,
entretanto, adotou a notao diferencial de Leibniz, dy/dx. Essa notao para a
derivada apresenta muitas vantagens. altamente sugestiva e de muitos modos
se comporta como frao ordinria. Por exemplo, se y = f(x) e x = g(t), ento y
uma funo indireta de t, y = h(t). Para calcular a derivada desta funo
composta ns usamos a regra da cadeia: dy/dt = (dy/dx) . (dx/dt). Nota-se que,
embora cada derivada tenha seu prprio limite, ela se comporta como se fosse
uma proporo real entre duas quantidades finitas. A regra da cadeia mostra a
grande utilidade da notao de Leibniz: podemos manipular o smbolo dy/dx
como se ele fosse realmente uma proporo de duas quantidades. A notao da
letra pontuada de Newton no apresenta o mesmo poder sugestivo.

52

52

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

Figura 4. Na medida em que o ponto Q se aproxima do ponto P, Dy/Dx se aproxima de dy/dx


e a reta secante se aproxima da reta tangente.

Limite: a antiga discusso sobre o infinitsimo


O conceito de limite indispensvel para definir a inclinao, ou taxa de
variao de uma funo. Mas na poca de Leibniz e Newton, o conceito de limite
ainda no era conhecido; a distino entre uma proporo entre duas quantidades
finitas, ainda que pequenas, e o limite dessa proporo quando as duas quantidades
tendem a zero, causou muita confuso e levantou srias dvidas sobre as bases
do clculo diferencial. Essas questes s foram completamente resolvidas no
sculo XIX, quando o conceito de limite foi estabelecido em bases slidas.
A princpio, o conhecimento do Clculo ficou restrito a um pequeno grupo
de matemticos. O crculo de Newton na Inglaterra e Leibniz e os irmos Bernoulli no continente. Os Bernoulli propagaram-no por toda a Europa, ensinandoo, a vrios matemticos. Curiosamente, na Inglaterra, onde tinha se originado, o
Clculo no se saiu to bem. A figura grandiosa de Newton desencorajava os
matemticos britnicos a estudar o assunto com vigor. E o que era pior, ao se
colocarem inteiramente do lado de Newton na disputa de prioridade, eles se
desligaram dos desenvolvimentos feitos no continente. Teimosamente, mantinham
a notao de pontos de Newton, negando-se a ver as vantagens da notao
diferencial de Leibniz.
O nome derivada foi criado por Joseph Louis Lagrange, que tambm
introduziu o smbolo f(x) para a derivada de f(x). Entre outros matemticos daquele
perodo, estava o francs Guillaume Franois Antoine LHopital (1661-1704),
que escreveu o primeiro livro-texto sobre o assunto, Analyse des infiniment petits.
53

53

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

Outros matemticos do continente o seguiram e logo o Clculo era o tpico


dominante na matemtica do sculo XVIII. Ele foi rapidamente expandido para
cobrir todo um conjunto de temas relacionados, notadamente equaes diferenciais
e o clculo de variaes. Esses temas ficaram sob a ampla categoria da anlise,
ramo da Matemtica que lida com a variao, a continuidade e os processos

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

infinitos.

54

54

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

REFERNCIAS BIBLIOGRFICAS
ARRUDA, A. I. Consideraes sobre os sistemas formais NFn. 1964. Tese
(Doutorado em Matemtica) Universidade Federal do Paran, Curitiba, PR,
1964.
BERKELEY, G. The analyst. London: printed for J. Tonson, 1734.

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

BERNOULLI, J. Opera. Genevae: Cramer & Philibert (ed.), 1744.


BOYER, C. B. Histria da matemtica. Traduo de E. Gomide. So Paulo: Ed.
Edgard Blcher Ltda, EDUSP, 1974.
CARNIELLI, W. A. Lgicas no-clssicas, teoria da informao e inteligncia
artificial. In.
VORA, F. (ed.). SculoXX: o nascimento da cincia contempornea. Campinas:
Unicamp/CLE, 1992. p.101-110. (Coleo CLE, v.11)
DA COSTA, N. C. A. Sistemas formais inconsistentes. 1963a. 68 p. Tese (Ctedra
de Matemtica) - Universidade Federal do Paran, Curitiba, 1963a.
DE lHOSPITAL, G. F. A. Analyse des infiniment petits pour lintelligence des
lignes courbes. Paris: Imprimerie Royale, 1696.
DESCARTES, R. Discours de la mthode pour bien conduire sa raison et chercher
la vrit dans les sciences. Leyde: Jean Maire (ed.), 1637.
DOTTAVIANO, I. M. L. On the development of paraconsistent logic and da
Costas work. The Journal of Non-Classical Logic, v. 7, p. 89-152, 1990.
GALILEI, G. Discorsi e dimostrazioni matematiche intorno a due nuove scienze.
Leida: Louis Elsevier (ed.), 1638. Traduo para o italiano da primeira edio,
em latim, de 1635.
KEISLER, H. J. Elementary calculus: an infinitesimal approach. 1. ed. Boston:
Prindle, Weber & Schmidt, 1976.
KEPLER, J. Nova stereometria doliorum vinariorum. Lincii: J. Pancvs, 1615.
LEIBNIZ, G. W. Nova methodus pro maximis et minimis, itemque tangentibus,
quae nec fractas, nec irrationales quantitates moratur, et singulare pro illis calculi
genus. Acta Eruditorum. Leipzig, 1684.
NEWTON, I. Philosophiae naturalis principia mathematica. London: Royal
Society, 1687.

55

55

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

RUSSELL, B. Mathematical logic as based on the theory of types. American


Journal of Mathematics, v. 30, p. 222-262. Baltimore: The Johns Hopkins University Press, 1908.
WALLIS, J. Johannis Wallis opera mathematica. (3 v.). Oxoniae: E Theatro
Sheldoniano, 1693.

Colegio Militar de Curitiba-Livreto 160 pgs - 3aV - Print.job => 04/06/2010 => 11:30:07 => (Medida 1:1 = 17 x 24)

WEIERSTRASS, K. T. Z. Zur theorie der abelschen functionen. Crelles Journal. Berlin, 1854.

56

56

Anda mungkin juga menyukai