DERIVADAS COMO NO TEMPO DE NEWTON E LEIBNIZ

Luana Lopes dos Santos Alves

Universidade Catlica de Braslia
Curso de Matemtica
Orientador: Prof. Sinval Braga de Freitas

RESUMO

O presente artigo trata de como se deu o desenvolvimento da histria do clculo diferencial, dando maior nfase
aos trabalhos de Newton e Leibniz que, como se afirma hoje, so os inventores do clculo. O principal
objetivo do trabalho demonstrar como eram feitos os clculos de derivadas de funes sem utilizar a noo de
limites, com exemplos que podem ser comparados com as tcnicas modernas empregadas hoje.

Palavras-chave: indivisveis, mximo, mnimo, tangente, derivada.

1. INTRODUO

curioso que o desenvolvimento histrico do clculo seguiu a ordem contrria daquela dos
textos e cursos bsicos atuais sobre o assunto: primeiro surgiu o clculo integral e s muito
tempo depois o clculo diferencial. A idia de integrao teve origem em processos
somatrios ligados ao clculo de certas reas, volumes e comprimentos. A diferenciao,
criada bem mais tarde, resultou de problemas sobre tangentes curvas e de questes sobre
mximos e mnimos. Mais tarde ainda verificou-se que, salvo algumas restries, a integrao
e a diferenciao esto relacionadas entre si, sendo que cada uma delas uma espcie de
operao inversa da outra.

O clculo da derivada e o clculo da integral so ambos baseados na noo de limite. A

questo : se o limite foi criado por ltimo, como ento eram feitos esses clculos sem essa
noo de limite de funes?. O interesse maior do trabalho mostrar como se procedia para
executar o clculo de derivadas sem a noo de limite, ocupando-se em mais detalhes, com os
trabalhos de Isaac Newton (1642-1727) e Gottfried Wilhelm Leibniz (1646-1716). Newton
estendeu e unificou os vrios processos de clculo e Leibniz ligou-os atravs de uma notao
eficaz e de um novo clculo operacional.

2. HISTRICO

O sculo XVII foi extremamente produtivo para o desenvolvimento da matemtica, graas,

em grande parte, s novas e vastas reas de pesquisa que nela se abriram. Sem dvida, porm
a realizao matemtica mais notvel do perodo foi a inveno do clculo, perto do final
do sculo, por Newton e Leibniz. Com essa inveno a matemtica criativa passou a um plano
superior e a histria da matemtica elementar essencialmente terminou. Antes de aprofundar
nos escritos de Newton e Leibniz sobre o clculo, necessrio fazer um breve relato sobre
suas origens e desenvolvimento. Esses conceitos tm tanto alcance e tantas implicaes no
mundo moderno que talvez seja correto dizer que sem algum conhecimento deles dificilmente
hoje uma pessoa poderia considerar-se culta.

Embora a maior parte do trabalho se situe no sculo XVII importante retornar Grcia do
sculo III a.C..

1
2.1 O CLCULO NA GRCIA ANTIGA: NO COMEO FOI O CLCULO
INTEGRAL

2.1.1 Arquimedes de Siracusa (287-212 a.C.)

Os primeiros rascunhos com base slida para o clculo iniciaram-se com Arquimedes. Dos
tratados de Arquimedes que se ocupavam principalmente com o mtodo de exausto de
Eudoxo de Cinido (408-355 a.C.) (isto , clculo integral) o mais popular era a Quadratura da
parbola.

Quadrar uma figura, no sentido grego , medir sua rea comparando com figuras cujas reas
so conhecidas. Por exemplo, podia-se indagar quantos quadrados cabiam dentro de certa rea
que se queria conhecer. Mas quadrar tambm poderia ser comparar determinadas reas
desconhecidas com reas de outras figuras como o tringulo, como fez Arquimedes na
quadratura da parbola.

Arquimedes, utilizando o mtodo de exausto, provou rigorosamente que a rea K de um

segmento parablico APBQC (Figura 1) quatro teros da rea de um tringulo T tendo a
mesma base e mesma altura.

Figura 1

Arquimedes deu uma segunda prova diferente do mesmo teorema. Primeiro demonstrou que a
rea do maior tringulo inscrito, ABC , sobre a base AC quatro vezes a soma dos tringulos
correspondentes inscritos sobre cada um dos lados AB e BC como base. Continuando o
processo sugerido fica claro que a rea K do segmento parablico APBQC dada pela soma
T T T 4
da srie infinita T + + 2 + ... + n + ... , que vale T (usamos T para representar, claro, a
4 4 4 3
rea do tringulo). O valor exato foi calculado por Arquimedes mesmo sem a noo de
infinito que temos hoje. Em sua abordagem de reas e volumes, Arquimedes chegou a
resultados equivalentes a muitas integrais definidas que hoje figuram nos textos elementares
de clculo.

Arquimedes tem muitos outros trabalhos em que aplica mtodos rudimentares de integrao
como, por exemplo, no clculo do volume da esfera feita no trabalho O Mtodo e no clculo
da rea de um crculo feita no trabalho Sobre as medidas do crculo.

2
2.1.2 Apolnio de Perga (262 a 190 a.C.)

Em As cnicas, livro V, Apolnio trata de assuntos sobre retas mximas e mnimas a uma
cnica. Os matemticos gregos no tinham uma definio satisfatria de tangente a uma
curva C num ponto P , pensando nela como uma reta L tal que nenhuma outra podia ser
traada por P entre C e L . Talvez fosse insatisfao com essa definio, que levou
Apolnio a evitar definir uma normal a uma curva C por um ponto Q como uma reta por Q
que corta a curva C num ponto P e perpendicular tangente a C por P . Em vez disso,
usou o fato de ser a normal de Q a C uma reta tal que a distncia de Q a C um mximo ou
mnimo relativo.

Os teoremas de Apolnio sobre mximos e mnimos so na verdade teoremas sobre tangentes

e normais a sees cnicas. Para maiores detalhes consultar, por exemplo, (Boyer, 1996).

Claro que Apolnio no lanou bases para o clculo diferencial, mas se ocupou de problemas
tpicos desse assunto: mximos e mnimos, ou na verdade, tangentes e normais.

2.2 O CLCULO NA EUROPA MODERNA: AINDA O CLCULO INTEGRAL

2.2.1 Johann Kepler (1571-1630)

Kepler, astrnomo alemo, em sua Astronomia nova de 1609 anunciou suas duas primeiras
leis da astronomia (a terceira lei s foi publicada em 1619 em sua Harmonia do mundo):

1) os planetas descrevem rbitas elpticas em torno do Sol, com o Sol ocupando um dos focos;
2) o raio vetor que une um planeta ao Sol varre reas iguais em tempos iguais.
3) o quadrado do tempo para que um planeta complete sua revoluo orbital diretamente
proporcional ao cubo do semi-eixo maior da rbita.

Ao tratar problemas de reas como esse da segunda lei, Kepler pensava na rea formada por
uma infinidade de pequenos tringulos com vrtices no Sol (Figura 2) e os outros dois
vrtices em pontos infinitamente prximos um do outro ao longo da rbita. Dessa forma ele
pde usar uma forma grosseira de calcular integral.

Figura 2

3
A rea do crculo, por exemplo, encontrada desse modo, observando que as alturas dos
tringulos infinitamente finos (Figura 3(a)) so iguais ao raio. Se chamarmos
b1 , b2 , K , bn , K as bases infinitamente pequenas repousando ao longo da circunferncia,
ento a rea A do crculo (a soma das reas dos tringulos) ser

A=
1
2
1 1 1
( 1
b1 r + b2 r + K + bn r + K = r b1 + b2 + K + bn + K = r C ,
2 2 2 2
)
'
onde C o comprimento da circunferncia que nada mais que a soma dos bi s . Esse bem
conhecido teorema antigo fora provado por Arquimedes mais cuidadosamente.

Por raciocnio semelhante Kepler conhecia a rea da elipse (um resultado de Arquimedes no
existente at ento). A elipse pode ser obtida de um crculo de raio a por uma transformao
sob a qual a ordenada do crculo em cada ponto diminuda segundo uma dada razo b : a .
Ento, podemos pensar na rea da elipse e na rea do crculo como formadas de todas as
ordenadas de pontos sobre as curvas (Figura 3(b)); mas como as razes das componentes das
reas so b : a as reas elas prprias devem estar na mesma razo. Mas a rea do crculo
sabe-se ser a 2 ; portanto a rea da elipse x 2 / a 2 + y 2 / b 2 = 1 deve ser ab . Esse resultado
est correto; mas para o comprimento da elipse o melhor que Kepler pde fazer foi dar a
frmula aproximada (a + b) . Os comprimentos das curvas em geral e da elipse em particular
estariam fora do alcance dos matemticos ainda durante meio sculo.

(a) (b)
Figura 3

Kepler ainda aplicou mtodos grosseiros de integrao para encontrar volumes de barris de
vinhos e outros slidos de revoluo.

Embora passveis de objees, sob o ponto de vista do rigor matemtico, esses mtodos
produzem resultados corretos de maneira bem mais simples. Mesmo no sculo XX e ainda
neste sculo esses mtodos atmicos ainda so usados bastante regularmente por fsicos e
engenheiros para armar um problema, ficando o tratamento rigoroso por limites para os
matemticos profissionais.

2.2.2 Bonaventura Cavalieri (1598-1647)

Bonaventura Cavalieri, italiano com vasta obra em matemtica, ptica e astronomia,

desenvolveu o mtodo dos indivisveis, presente no tratado Geometria indivisibilibus

4
publicada em sua verso final em 1635. Os indivisveis de Cavalieri tm razes em Demcrito
(c. 410 a.C.) e Arquimedes, mas talvez a motivao maior tenha sido encontrada nos mtodos
de Kepler de calcular certas reas (segunda lei) e volumes.

Cavalieri no definia em suas obras o que seriam os indivisveis. Segundo ele, porm, uma
figura plana seria formada por uma infinidade de cordas paralelas entre si e uma figura slida
por uma infinidade de seces planas paralelas entre si. A essas cordas e a essas seces ele
chamava de indivisveis. Num de seus livros explicava que um slido formado de
indivisveis, assim como um livro composto de pginas. Do ponto de vista lgico essas
idias envolviam uma dificuldade insupervel. Como uma figura de extenso finita poderia
ser formada de uma infinidade de indivisveis e, ainda que estes no possuem espessura?

O princpio de Cavalieri pode ser assim enunciado (verso em duas e trs dimenses):

1. Se duas pores planas so tais que toda reta secante a elas e

paralela a uma reta dada determina nas pores segmento de reta
cuja razo constante, ento a razo entre as reas dessas pores
a mesma constante.
2. Se dois slidos so tais que todo plano secante a eles e paralelo
a um plano dado determina nos slidos seces cuja razo
constante, ento a razo entre os volumes desses slidos a mesma
constante. (Eves, 2004).

Podemos ilustrar o uso do princpio de Cavalieri, no caso plano, determinando a rea

compreendida por uma elipse de semi-eixos a e b .

Considere a elipse e a circunferncia (Figura 4)

x2 y2
+ = 1, a > b e x2 + y2 = a2 ,
a 2 b2

posicionadas no mesmo sistema de coordenadas retangulares. Escrevendo y em funo de x

em cada uma dessas equaes obtm-se, respectivamente, as partes positivas

b 2
y= ( a x 2 )1 / 2 , y = (a 2 x 2 )1 / 2 .
a

Figura 4

5
Observa-se ento que, a razo entre duas ordenadas correspondentes quaisquer da elipse e da
circunferncia b / a . Portanto a razo entre duas cordas verticais correspondentes da elipse e
da circunferncia b / a . Pelo princpio de Cavalieri concluiu-se que

b
rea da elipse = (rea do crculo)
a

ou
b
rea da elipse = ( a 2 ) = ab.
a

O princpio de Cavalieri pode ser aplicado ainda, para determinar o volume de uma esfera de
raio r , cuja demonstrao pode ser vista em Eves (2004, p.427).

Os princpios de Cavalieri representam ferramentas poderosas para o clculo de reas e

volumes, alm disso, sua base intuitiva pode facilmente torna-se rigorosa com o clculo
integral moderno. Ainda bastante usado no ensino da geometria mtrica no espao, facilita
bastante a aceitao da idia de indivisvel.

2.3 O CLCULO DIFERENCIAL

2.3.1 Ren Descartes (1596-1650)

Ren Descartes, filsofo e matemtico francs, deu uma contribuio muito importante para a
idia de derivadas com a geometria analtica. Um dos muitos escritos de Descartes que
merece destaque para o que se pretende desenvolver o La gomtrie (A geometria), famoso
apndice terceiro do Discours de la Mthode pour Bien Conduire sa Raison et Chercher la
Vrit dans les Sciences (Discurso do Mtodo para Bem Conduzir a Razo e Procurar a
Verdade nas Cincias) ou, mais resumidamente, Discurso do Mtodo, publicado em 1637.

A segunda parte desse trabalho traz, entre outras coisas, uma classificao de curvas e um
mtodo interessante de construir tangentes s curvas que em linhas gerais o seguinte (Figura
5):

Figura 5

6
Seja f ( x, y ) = 0 (essa funo pode ser construda a partir de y = f ( x) e da
f ( x, y ) = f ( x) y = 0 ) a equao da curva dada e ( x1 , y1 ) as coordenadas do ponto P da
curva pelo qual se deseja traar a tangente. Seja Q um ponto do eixo x de coordenadas
( x 2 ,0) . Ento a equao da circunferncia de centro Q pelo ponto P

( x x 2 ) 2 + y 2 = ( x1 x 2 ) 2 + y1 .
2

O mtodo de Descartes consiste em encontrar essa circunferncia de modo que ela seja
tangente curva no ponto P . O raio da circunferncia seria normal reta tangente em P e,
assim, seria possvel traar essa tangente.

Para entender melhor o mtodo de Descartes, apresentado como exemplo a construo da

tangente parbola y 2 = 4 x no ponto (1,2) . Aqui, f ( x, y ) = y 2 4 x e tem-se

( x x 2 ) 2 + y 2 = (1 x 2 ) 2 + 4 .

Substituindo-se y na equao, temos:

( x x 2 ) 2 + 4 x = (1 x 2 ) 2 + 4 .

Desenvolvendo os quadrados e escrevendo a equao na forma reduzida, temos:

x 2 + 2 x(2 x 2 ) + (2 x 2 5) = 0 .

O objetivo que essa circunferncia tenha apenas um ponto em comum com a parbola, caso
contrrio (dois pontos em comum), no poder ser construda a circunferncia tangente
curva. Essa condio impe que essa equao quadrtica tenha duas razes iguais, ou seja, que
seu discriminante seja nulo. Assim, deve-se ter

= 2 2 (2 x 2 ) 2 4.1.(2 x 2 5) = 0

Dividindo ambos os membros da igualdade por 4, temos

(2 x 2 ) 2 (2 x 2 5) = 0

Logo, x 2 = 3 .

Pode-se traar ento a circunferncia de centro Q (3,0) passando pelo ponto P (1,2) da curva o
que propicia a construo da tangente desejada.

Obtm-se assim um processo geral que mostra exatamente o que fazer para resolver o
problema, mas nos casos mais complicados a lgebra necessria pode ser assustadora. s
pensar que a condio de interseo da circunferncia com a curva ser um nico ponto nem

7
sempre fcil de ser aplicado para funes y mais complexas. Obviamente h mtodos
muito melhores do que o de Descartes para encontrar tangente curvas.

2.3.2 Gilles Persone de Roberval (1602-1675)

Gilles Persone de Roberval tornou-se bastante conhecido por seu mtodo de traar tangentes e
por suas descobertas no campo das curvas planas superiores. Ele considerava uma curva como
sendo gerada por um ponto cujo movimento se compe de dois movimentos conhecidos.
Ento a resultante dos vetores velocidade dos dois movimentos conhecidos fornece a reta
tangente curva.

Por exemplo, no caso de uma parbola, pode-se considerar os dois movimentos em sentido
oposto ao foco e em sentido oposto diretriz. Como as distncias do ponto em movimento ao
foco e diretriz so sempre iguais, os vetores velocidades dos dois movimentos devem
tambm ter mdulos iguais. Segue-se que a tangente a um ponto da parbola bissecciona o
ngulo entre o raio focal, pelo ponto, e a perpendicular por este diretriz (Figura 6).

Figura 6

2.3.3 Evangelista Torricelli (1608-1647)

Evangelista Torricelli trabalhava com a mesma idia de Roberval sobre tangente. Publicou a
construo da tangente ciclide1 num ponto genrico da curva. Para determinar a tangente,
tanto Roberval quanto Torricelli usavam o mtodo da composio de movimentos, j
descritos, quando do traado de uma tangente parbola. No caso da ciclide, pode-se
imaginar um ponto P da curva como sujeito a dois movimentos iguais, um de translao e
outro de rotao. Conforme o crculo gerador rola ao longo da reta AB numa base horizontal
(Figura 7), o ponto P conduzido horizontalmente enquanto que, ao mesmo tempo, gira em
torno de O , o centro do crculo. Traa-se, portanto, a partir de P , um vetor horizontal PR
como componentes de translao e um vetor PS , tangente ao crculo gerador, como
componente de rotao. Ademais, como os dois vetores tm mdulos iguais, a tangente
pretendida situa-se ao longo da bissetriz PT do ngulo RPS formado pelos dois vetores.

1
Curva descrita por um ponto da circunferncia de um crculo, conforme este rola ao longo de uma reta sem
escorregar. (Eves, 2004, p.366).

8
 Figura 7

2.3.4 Pierre de Fermat (1601-1665)

possvel que Pierre de Fermat desde 1629 estivesse de posse de sua geometria analtica,
pois por essa poca ele fez duas descobertas significativas. A mais importante dessas foi
descrita alguns anos depois em um tratado, tambm no publicado durante sua vida, chamado
Mtodo para achar mximos e mnimos. Ao descrever o seu mtodo, Fermat associou-o a um
mtodo que ele havia introduzido para determinar valores extremos (mximo ou mnimo) de
quantidades conhecidas.

Ele comparou o valor de y = f (x) num ponto com o valor f ( x + E ) num ponto vizinho. Em
geral esses valores sero bem diferentes, mas num mximo ou mnimo de uma curva suave a
variao ser quase imperceptvel, como j havia sugerido Kepler. Portanto para achar os
pontos de mximos e mnimos, Fermat igualava f (x) e f ( x + E ) , percebendo que os
valores, embora no exatamente iguais, so quase iguais. Quanto menor o intervalo E entre
os dois pontos mais perto chega a pseudo-equao de ser uma verdadeira equao; por isso
Fermat, depois de dividir tudo por E fazia E = 0 . Os resultados lhe davam as abscissas dos
pontos de mximo e mnimo de f (x) .

Aqui, em essncia tem-se o processo hoje chamado de diferenciao, pois o mtodo de

Fermat equivale a achar
f ( x + E ) f ( x)
lim
E 0 E

e igualar a zero, pois sendo f ( x + E ) = f ( x) temos f ( x + E ) f ( x) = 0 . Agora dividindo

f ( x + E ) f ( x)
por E chegamos a = 0 e, finalmente, fazendo E = 0 equivale a tomar o
E
limite com E tendendo a zero. Evidentemente Fermat no tinha o conceito de limite, mas por
outro lado seu mtodo para achar mximos e mnimos se assemelha ao usado hoje no clculo,
s que em geral usa-se o smbolo h ou x em lugar do E de Fermat, e no se faz E tender a
zero, mas sim igual a zero.

Como exemplo disto, Fermat prope dividir uma quantidade em duas partes tais que seu
produto seja mximo. Fermat usava consoantes maisculas que representavam constantes e as
vogais maisculas que representavam variveis. Seguindo essa notao, seja B a quantidade
dada e denotemos as partes procuradas por A e B A . Formando:

9
 ( A E )[B ( A E )]

e igualando esse produto a A( B A) , obtem-se

A( B A) = ( A E )( B A + E )

ou
2 AE BE E 2 = 0.

Dividindo por E chega-se a

2 A B E = 0.

Fazendo ento, E = 0 , conclui-se que 2 A = B , estabelecendo-se assim a diviso desejada, ou

seja, para resolver o problema a quantidade deve ser dividida ao meio.

Fermat considerou lugares dados (em notao moderna) por equaes na forma y = x n . Por
isso elas so hoje freqentemente chamadas parbolas de Fermat se n positivo ou
hiprboles de Fermat se n negativo. Aqui temos uma geometria analtica de curvas planas
de grau superior; mas Fermat foi alm com o seu mtodo acima descrito.

Fermat tambm descobriu um procedimento geral para determinar a tangente por um ponto de
uma curva cuja equao cartesiana dada. Sua idia consistia em achar a subtangente relativa
a esse ponto, isto , o segmento de reta cujas extremidades so a projeo do ponto de
tangncia sobre o eixo x e a interseco da tangente com esse eixo. A idia de tangente usada
pelo mtodo a de posio limite de uma secante quando os dois pontos de interseco com a
curva tendem a coincidir.

Veja, em notao moderna, em que consiste o mtodo. Seja f ( x, y ) = 0 a equao da curva

(Figura 8), encontre sua subtangente t relativa a ( x, y ) . Por semelhana dos tringulos ABP
e ACR , tem-se

y Y
= ,
t t+e

resultando Y = y (1 + e / t ) , onde Y ordenada do ponto R . Agora, supondo e muito pequeno,

teremos R , ponto da reta tangente, to prximo da curva que podemos supor que ele est na
curva f ( x, y ) = 0 . Assim, facilmente se estabelece que as coordenadas de um ponto da
tangente, prximo do ponto de tangncia, so ( x + e, y (1 + e / t ) ) . Tratando esse ponto como se
fosse da curva, obtm-se

e
f x + e, y 1 + = 0
t

10
 Figura 8

E, para que essa igualdade possa ser considerada correta, faz-se com que e assuma o valor
zero. Determina-se, ento, a partir da equao resultante, a subtangente t em funo das
coordenadas x e y do ponto de tangncia. Isso, obviamente, equivale fazer

f
y
t = y ,
f
x

uma frmula que apareceu posteriormente num trabalho de Sluze.

Para melhor compreenso apresentado um exemplo bem simples da construo da tangente

a uma curva. Seja a tangente curva f ( x) = x 2 , ou x 2 y = 0 , no ponto P(2,4) .
e
Fazendo f x + e, y1 + = 0 , obtm-se a subtangente t relativa a P(2,4) como segue:
t
e
( x + e) 2 y 1 + = 0
t
ye
x 2 + 2 xe + e 2 y =0
t

Utilizando o fato de x 2 y = 0 , dividindo toda a equao por e e fazendo e = 0 , chega-se a

y y
2x = , ou t = .
t 2x

Substituindo o ponto P (2,4) , tem-se t = 1 . Assim possvel encontrar o ponto A(1,0) onde a
tangente corta o eixo x , pode-se ento construir a tangente curva que passa pelos pontos
P (2,4) e A(1,0) de equao y = 4 x 4 (Figura 9).

11
 Figura 9

sua maneira, Fermat determinou tangentes s seguintes curvas: elipse, ciclide, cisside,
conchide, quadratriz e folium de Descartes.

2.3.5 John Wallis (1616-1703)

John Wallis foi um dos primeiros a discutir as cnicas como curvas de segundo grau, em vez
de consider-las como seces de um cone. Em 1655 apareceu sua Arithmetica infinitorum,
um livro que, apesar de algumas imperfeies lgicas, manteve-se como um tratado modelo
por muitos anos. Nesse livro, so sistematizados e estendidos os mtodos de Descartes e
Cavalieri e induzidos muitos resultados notveis a partir de casos particulares. Assim, h a
afirmao de que a frmula que hoje escreveramos como:

1 1
x dx =
m
,
0 m +1

onde m inteiro, tambm vale quando m fracionrio ou negativo mas diferente de 1 , seja
inveno dele. Wallis foi o primeiro a explicar de maneira razoavelmente satisfatria o
significado dos expoentes zero, negativos e fracionrios. Deve-se a ele tambm a introduo
do atual smbolo de infinito ( ), que a curva Lemniscata.

Enquanto as principais contribuies de Wallis ao clculo se situam na teoria da integrao, as

mais importantes de Isaac Barrow talvez sejam aquelas ligadas teoria da diferenciao.

2.3.6 Isaac Barrow (1630-1677)

Isaac Barrow explica um mtodo de tangentes que virtualmente idntico ao usado no clculo
diferencial. muito semelhante ao de Fermat, mas usa duas quantidades, em vez da letra E
nica de Fermat. Essas quantidades equivalem aos modernos x e y .

Barrow explica sua regra para tangentes essencialmente do seguinte modo (Figura 10): se M
um ponto sobre uma curva dada (notao moderna) por uma polinomial f ( x, y ) = 0 e se T

12
 um ponto de interseco da tangente desejada MT com eixo x , ento Barrow marcava um
arco infinitamente pequeno MN da curva. Ento traava as ordenadas por M e N e por
M uma reta MR paralela ao eixo x . Ento, designando por m a ordenada conhecida em
M , por t a subtangente desejada PT e por a e e os lados vertical e horizontal do tringulo
MRN (aqui ele supe que o ponto N e S so to prximos que se confundem, podendo
assumir a igualdade), o chamado tringulo diferencial, Barrow observava que a razo de a
para e igual razo de m para t .

Figura 10

Como poderia ser dito agora, a razo de a para e , para pontos infinitamente vizinhos, a
inclinao da curva. Para achar essa razo, Barrow procedia de modo muito semelhante ao de
Fermat. Substitua x e y em f ( x, y ) = 0 por x + e e y + a , respectivamente, depois na
equao resultante ele desprezava os termos no contendo a ou e (pois esses juntos do
zero) e todos os termos de grau maior que um em a e e , e finalmente substitua a por m e
por t . Da a subtangente obtida em termos de x e m , e se x e m so conhecidos, a
quantidade t est determinada.

O clculo pode ser feito tambm assim:

RS PM
= .
MR TP

Como OT = OP TP , segue da relao acima que

e e
OT = x PM = x y .
a a

Conhecida a medida OT , marca-se o ponto T e possvel traar a tangente por T e M , j

que os valores x e y do ponto M so conhecidos. O trabalho ento est em calcular o
quociente e / a .

Como ilustrao, Barrow utilizou seu mtodo para construir tangente curva de Lam
x 3 + y 3 = r 3 . Neste caso

13
 ( x + e) 3 + ( y + a ) 3 = r 3 ,
ou
x 3 + 3 x 2 e + 3 xe 2 + e 3 + y 3 +3 y 2 a + 3 ya 2 + a 3 = r 3 .

Desprezando os quadrados e as potncias superiores de e e a e usando o fato de que

x 3 + y 3 = r 3 , obtm-se

3 x 2 e + 3 y 2 a = 0,
do que resulta
a x2
= 2.
e y

De todos os matemticos que anteciparam partes do clculo diferencial e integral, nenhum

chegou mais perto da nova anlise que Barrow. Ele parece ter reconhecido claramente a
relao inversa entre os problemas de tangentes e de quadraturas.

3. O CLCULO DIFERENCIAL DE NEWTON E LEIBNIZ

3.1 Isaac Newton (1642-1727)

Isaac Newton, sucessor de Barrow, nasceu na aldeia de Woolsthorpe em 1642. Pelo fim de
1664 Newton parece ter atingido as fronteiras do conhecimento matemtico e estava pronto
para fazer contribuies prprias. Suas primeiras descobertas, datando dos primeiros meses de
1665, resultaram de saber exprimir funes em termos de sries infinitas. Newton tambm
comeou a pensar, em 1665, na taxa de variao ou fluxo de quantidades variveis
continuamente ou fluentes, tais como comprimentos, reas, volumes, distncias, temperaturas.
Newton ligou esses dois problemas, das sries infinitas e das taxas de variao como meu
mtodo.

Newton fez uma descoberta muito importante, o mtodo dos fluxos ou das fluxes, cuja
essncia ele comunicou a Barrow em 1669. Seu Method of Fluxions, embora escrito em 1671
s foi publicado em 1736, anos depois de sua morte. Para Newton, nesse trabalho, uma curva
era gerada pelo movimento contnuo de um ponto no tempo. Feita essa suposio, a abscissa e
a ordenada de um ponto gerador passam a ser, em geral quantidades variveis. A uma
quantidade varivel ele dava o nome de fluente (uma quantidade que flui com o passar do
tempo) e sua taxa de variao dava o nome de fluxo (ou fluxo) do fluente. Se um fluente,
como a ordenada do ponto gerador, era indicada por y , ento o fluxo desse fluente era
denotado por y& . Em notao moderna esse fluxo equivale a dy / dt , onde t representa o
tempo.

A despeito dessa intromisso do tempo em geometria analtica, pode-se excluir a idia de

tempo, admitindo-se que alguma quantidade, digamos, a abscissa do ponto mvel, cresa de
maneira constante. Essa taxa de crescimento constante de algum fluente o que ele chamava
fluxo principal, podendo o fluxo de qualquer outro fluente ser comparado com esse fluxo
principal. Newton indicava o fluxo de y& por &y& e assim por diante. Por outro lado, denotava o
fluente de y pelo prprio y no interior de um pequeno quadrado. Newton introduziu tambm

14
um outro conceito, chamado por ele de momento de um fluente: trata-se do incremento
infinitamente pequeno sofrido por um fluente como x , por exemplo, num intervalo de tempo
infinitamente pequeno . Assim, o momento de um fluente x dado por x& . Newton
salientou que podemos, em qualquer problema, desprezar os termos que aparecem
multiplicados por potncias de maiores ou iguais a 2 e obter assim uma equao
envolvendo as coordenadas x e y do ponto gerador da curva e seus fluxos x& e y& .

Como exemplo, considere que dada a relao entre fluentes, encontrar a relao entre os
fluxos dos fluentes (ou seja, em linguagem moderna, achar o declive da reta tangente no ponto
P ). O exemplo ilustrativo a curva cbica x 3 ax 2 + axy y 3 = 0. Substituindo x por
x + x& e y por y + y& , obtm-se:

x 3 + 3 x 2 ( x& ) + 3 x( x& ) 2 + ( x& ) 3 ax 2 2ax( x& ) a ( x& ) 2

+ axy + ay ( x& ) + a ( x& )( y& ) + ax( y& )
y 3 3 y 2 ( y& ) 3 y ( y& ) 2 ( y& ) 3 = 0

Usando agora o fato de que x 3 ax 2 + axy y 3 = 0 , dividindo por e desprezando todos os

ainda contendo (isto o equivalente a desprezar todos os termos em que figura com
expoente igual ou superior a dois), chega-se a

3 x 2 x& 2axx& + ayx& + axy& 3 y 2 y& = 0 .

A relao 3 x 2 x& 2axx& + ayx& + axy& 3 y 2 y& = 0 pode ser escrita na forma
3 x 2 2ax + ay dy
y& / x& = = = f x / f y , onde f x e f y so as derivadas parciais de f ( x, y )
3 y 2 ax dx
com respeito a x e y respectivamente. ( f x a derivada de f ( x, y ) com y constante. Logo
para f ( x, y ) = x 3 ax 2 + axy y 3 temos f x = 3 x 2 2ax + ay e fy = ax 3y 2 ento
f x / f y a expresso dada.). Isto, de fato fcil ver, pois sendo a diferencial de f ( x, y ) = 0
igual a df = f x dx + f y dy = 0 , segue o desejado.

Newton considerou dois tipos de problemas. No primeiro, dada uma relao ligando alguns
fluentes, pretende-se estabelecer uma relao envolvendo esses fluentes e seus fluxos, como
no exemplo anterior. Isso equivalente, diferenciao. No segundo, dada uma relao entre
alguns fluentes e seus fluxos, pretende-se achar uma relao envolvendo apenas os fluentes.
Trata-se do problema inverso, que equivale a resolver uma equao diferencial.

A idia de desprezar termos em que aparece com expoente igual ou superior a dois foi
justificada mais tarde por Newton atravs de idias primitivas sobre limites. Newton fez
numerosas e notveis aplicaes de seu mtodo dos fluxos. Determinou mximos e mnimos,
tangentes a curvas, curvaturas de curvas, pontos de inflexo e convexidade e concavidade de
curvas; aplicou-o a muitas quadraturas e retificaes de curvas. Tambm demonstrou
habilidade extraordinria na integrao de equaes diferenciais. Seu trabalho inclui tambm

15
um mtodo (do qual uma variao conhecida agora pelo nome de Newton) para
aproximao dos valores das razes de uma equao numrica, algbrica ou transcendente2.

Ainda com Newton a idia de que a diferenciao e a integrao eram operaes inversas foi
firmemente estabelecida.

3.2 Gottfried Wilhelm Leibniz (1646-1716)

Leibniz, por volta de 1676, tinha chegado mesma concluso a que Newton chegara vrios
anos antes: que ele possua um mtodo que era altamente importante por causa da sua
generalidade. Quer uma funo fosse racional ou irracional, algbrica ou transcendente
(palavra que Leibniz inventou), suas operaes de achar somas e diferenas podiam sempre
ser aplicadas. Cabia, pois a ele desenvolver uma linguagem e notao adequada para o novo
assunto.

Para Leibniz, a diferencial de uma varivel y a diferena infinitamente pequena entre dois
valores consecutivos de y . Para uma curva traada em relao a um eixo x e eixo y (Figura
11) Leibniz considera a seqncia das ordenadas y e a seqncia correspondente das
abscissas x . As ordenadas esto situadas infinitamente prximas; dy a diferena
infinitamente pequena entre duas ordenadas y e dx a diferena infinitamente pequena entre
duas abscissas x ; portanto, dx a distncia entre duas ordenadas y consecutivas.

Figura 11

As diferenciais so infinitamente pequenas. Isso significa que podem ser comparadas entre
si (a razo dy : dx finita). Mas com respeito s quantidades finitas ordinrias as diferenciais
podem ser desprezadas:
x + dx = x.

Produtos de diferenciais podem ser desprezados com respeito s prprias diferenciais:

2
Um nmero a algbrico se ele raiz de um polinmio com coeficientes inteiro. Se isso no ocorre, a
chamado de transcendente.

16
 adx + dydx = adx
J que a + dy = a .

Para cada ponto ( x, y ) na curva podemos formar o tringulo caracterstico dx, dy, ds ( ds
a diferencial do comprimento do arco s ). Se o segmento de reta ds , infinitamente pequeno,
for prolongado, formar a tangente curva em ( x, y ) e se obtm

dx : dy : ds = t : y : .

Portanto, para determinar as tangentes suficiente determinar a razo dy : dx. A relao entre
y e x usualmente dada em forma de uma equao (a equao da curva); a fim de calcular a
razo entre dy e dx preciso diferenciar essa equao, ou seja, preciso formar a equao
diferencial da curva. Para fazer isso se devem aplicar as regras de clculo:

Se, por exemplo, as menores diferenas em x e y so dx e dy respectivamente, ento dxy

a menor diferena em xy e ( x + dy )( y + dy ) xy . Como dx e dy so infinitamente
pequenos o termo dxdy infinitamente pequeno e pode ser desprezado, dando o resultado
dxy = xdy + ydx .

da = 0 , se a constante ; d (u + v) = du + dv
u vdu udv
d (uv) = udv + vdu ; d =
v v2
d (u n ) = nu n 1 du (tambm se n for uma frao ou negativo, porm no para
n = 1 ).

Essas regras seguem o fato de que as diferenciais podem ser desprezadas.

Assim, as regras acima so obtidas como segue:

1. da = a a = 0 , se a constante;
2. d (u + v) = ((u + du ) + (v + dv) ) (u + v) = du + dv ;
3. d (uv) = (u + du )(v + dv) uv = udv + vdu + dudv = udv + vdu , desprezando-se o
produto das diferenciais dudv.
u u + du u vdu udv vdu udv
4. d = = 2 = , j que v 2 muito maior em relao ao
v v + dv v v + vdv 2
v
vdv .
( )
5. d u n = (u + du ) u n = u n + n u n 1 du + du 2 (soma de fatores ) u n = n u n 1du , j que
n

potncias maiores ou iguais a dois de du podem ser desprezadas.

Como exemplo, considere a hiprbole de equao xy a 2 = 0. Tomando a diferencial,

teremos d ( xy a 2 ) = d 0 = 0. Aplicando as regras descritas acima, segue que

17
0 = d ( xy a 2 ) = d ( xy ) d (a 2 ) = xdy + ydx 0 = xdy + ydx = 0 . Calculando a razo:
y
y : t = dy : dx = . Da t = x, o que fornece a construo da tangente.
x

Leibniz sempre teve uma percepo aguda da importncia de boas notaes como ajuda ao
pensamento, e sua escolha no caso do clculo foi particularmente feliz. Depois de algumas
tentativas ele se fixou em dx e dy para as diferenas menores possveis (diferenciais) em x e
y , embora inicialmente usasse x / d e y / d para indicar o abaixamento de grau. A princpio
ele escrevia simplesmente omn. y (ou todos os y ) para a soma das ordenadas sob uma
curva, mas mais tarde ele usou o smbolo y e ainda mais tarde y dx , o sinal de integral
sendo uma letra s (para soma summa, em latim) aumentada. Achar tangentes exigia o uso
do calculus differentialis e achar quadraturas o calculus summatorius ou calculus integralis,
frases de onde resultaram as expresses que usamos.

A primeira exposio do clculo diferencial foi publicada por Leibniz em 1684 sob o longo,
mas significativo ttulo de Nova methodus pro maximis et minimis, itemque tangentibus, qua
nec irrationales quantitates moratur (Um novo mtodo para mximos e mnimos e tambm
para tangentes, que no obstrudo por quantidades irracionais). Aqui Leibniz deu as
frmulas dxy = xdy + ydx , d ( x / y ) = ( ydx xdy ) / y 2 e dx n = nx n 1dx para produtos,
quocientes e potncias (ou razes) juntamente com aplicaes geomtricas. Essas formas,
como j dissemos, eram obtidas desprezando infinitsimos de ordem superior.

3.3 Algo sobre Newton e Leibniz

Dois anos mais tarde, novamente em Acta Eruditorum, Leibniz publicou uma explicao do
clculo integral em que mostra que as quadraturas so casos especiais do mtodo inverso do
das tangentes. Aqui Leibniz deu nfase relao inversa entre a diferenciao e integrao no
teorema fundamental do clculo; observou que na integrao das funes familiares est
includa a maior parte de toda a geometria transcendente. Ao passo que a geometria de
Descartes tinha excludo todas as curvas no-algbricas, o clculo de Newton e Leibniz
mostrava quanto essencial o papel delas na nova anlise. Se as funes anteriores fossem
excludas da nova anlise no haveria integrais para funes algbricas como 1 / x ou
1 /(1 + x 2 ) . Alm disso, Leibniz parece ter visto, como Newton, que as operaes da nova
anlise podem ser aplicadas tanto a sries infinitas quanto a expresses algbricas finitas.
Nisso Leibniz era menos cauteloso que Newton, pois dizia que a srie infinita
1 1 + 1 1 + 1 K igual a 1 2 . luz do que se faz sobre sries divergentes no se pode
dizer que necessariamente errado atribuir a soma 1 2 a essa srie (uma srie divergente
pode ter seus termos rearranjados para convergir para qualquer valor dado). Mas claro que
Leibniz se deixou arrastar demais pelo sucesso de seu algoritmo e no hesitou perante a
incerteza dos conceitos. O raciocnio de Newton estava mais perto dos modernos fundamentos
do clculo que o de Leibniz, mas a plausibilidade da atividade de Leibniz e a eficcia de sua
notao diferencial produziram uma maior aceitao das diferenciais que dos fluxos.

Newton e Leibniz desenvolveram sua nova anlise rapidamente, de modo a incluir

diferenciais e fluxes de ordem superior, como no caso da frmula para curvatura de uma

18
curva num ponto. Provavelmente foi por no ter idias claras sobre ordens superiores de
infinitsimos que Leibniz foi levado concluso errnea de que um crculo osculador tem
quatro pontos consecutivos ou coincidentes de contato com uma curva, em vez dos trs que
determinam o crculo de curvatura.

A frmula para derivada n -sima (para a linguagem moderna) de um produto,

(uv) ( n ) = u ( n ) v ( 0 ) + mu ( n 1) v (1) + K + nu (1) v ( n 1) + u ( 0) v ( n ) , semelhantes expanso binomial de
(u + v) n tem o nome de Leibniz (no teorema de Leibniz os expoentes entre parnteses
indicam ordens de diferenciao em vez de potncias). Tambm tem o nome de Leibniz a
regra, dada num artigo de 1692, para achar a envoltria de uma famlia a um parmetro de
curvas planas f ( x, y, c) = 0 pela eliminao de c entre as equaes simultneas f = 0 e
f c = 0 onde f c o resultado da diferenciao parcial de f com relao a c .

Newton conservou sua extraordinria capacidade matemtica at o fim. Quando Leibniz em

1716 (o ltimo ano de vida) desafiou Newton a encontrar as trajetrias ortogonais de uma
famlia a um parmetro de curvas planas, Newton em poucas horas resolveu o problema e deu
o mtodo para achar trajetrias em geral (antes, em 1696, Newton fora desafiado a encontrar a
braquistcrona3, e um dia depois de receber o problema deu a soluo, mostrando que a curva
uma ciclide). O nome de Leibniz tambm usualmente associado srie infinita
/ 4 = 1 / 1 1 / 3 + 1 / 5 1 / 7 + K uma de suas primeiras descobertas matemticas. Essa srie
surge de sua quadratura do crculo um caso especial da expanso do arco tangente ( arctg ).
O fato de Leibniz ser virtualmente um autodidata em matemtica explica em parte os casos
freqentes de redescoberta que aparecem em sua obra.

Para a finalizao do trabalho, proposto um exemplo bem trivial do clculo da derivada de

uma funo, para se comparar com os mtodos de Newton, de Leibniz e o mtodo moderno:
calcular a derivada de f se f ( x) = 2 x 3 + 3 x 1 .

Mtodo de Newton: faa f ( x, y ) = f ( x) y = 2 x 3 + 3 x 1 y = 0 . Trocando x por x + x& e

y por y + y& , teremos ento 2( x + x& ) 3 + 3( x + x& ) 1 ( y + y& ) = 0 . Consequentemente,

2 x 3 + 6 x 2 x& + 6 x( x& ) 2 + 2( x& ) 3 + 3 x + 3 x& 1 y y& = 0 .

De 2 x 3 + 3 x 1 y = 0 , desprezando os termos em que figura com expoente igual ou

superior a dois (ou ento dividindo por e desprezando os termos que ainda tm ), chega-
se a

6 x 2 x& + 3 x& y& = 0 .

Da,
y&
= 6x2 + 3 .
x&

3
Curva de mais rpida descida.

19
Mtodo de Leibniz: desenvolvendo sem utilizar as regras (que o mtodo de hoje, embora
seja de Leibniz). Assim,

( )
d (2 x 3 + 3 x 1) = 2( x + dx ) + 3( x + dx ) 1 2 x 3 + 3 x 1
3

( 3 2 2 3
)
= 2 x + 3 x dx + 3 x(dx ) + (dx ) + 3 x + 3dx 1 2 x 3 3 x + 1
= 6 x 2 dx + 3 x(dx ) + (dx ) + 3dx
2 3

(
= 6 x 2 dx + 3dx = 6 x 2 + 3 dx ,)
ou,
df
= 6x 2 + 3 .
dx

Mtodo moderno: Pelo mtodo moderno possvel calcular a derivada dessa funo em
apenas uma linha utilizando os teoremas sobre derivao, e obtemos:

f ( x) = 6 x 2 + 3 .

Claro que neste caso o mtodo dito moderno o de Leibniz quando se usa as regras de
derivao apontadas por ele.

4. O SCULO XVIII E A EXPLORAO DO CLCULO

A ampla e admirvel aplicabilidade do clculo, apoiado da geometria analtica foi o que atraiu
o gosto dos pesquisadores do sculo XVII, fazendo com que resultasse numa grande
quantidade de artigos pouco preocupados com os fundamentos do assunto. Os mtodos
utilizados eram simplesmente justificados com o argumento de que eles funcionavam.

Perto do fim do sculo XVIII, sentiu-se a necessidade de fundamentar as bases do clculo,

dando-lhe mais lgica e rigor, o que causou o uso descontrolado da intuio e do formalismo.
Assim, at o conceito de funo teve de ser revisto e noes como as de limite, continuidade,
diferenciabilidade, e integrabilidade tiveram de ser cuidadosa e claramente definidas.

O sculo XVIII foi gasto em grande parte na explorao dos novos

e poderosos mtodos do clculo, j o sculo XIX foi dedicado
grandemente tarefa de construir uma fundamentao lgica slida
para a enorme, porm dbil, superestrutura construda no sculo
precedente. Uma das maiores nfases do sculo XX e, porque no
dizer, do comeo do sculo XXI, tem sido a de generalizar, tanto
quanto possvel os progressos j alcanados, e que muitos
matemticos da atualidade esto envolvidos com problemas de
fundamentos mais profundos ainda. Esse quadro geral complica-se
quando se consideram os vrios fatores sociolgicos que afetam o
desenvolvimento de qualquer cincia. Questes como a expanso dos
seguros de vida e construo de grandes navios no sculo XVIII, os
problemas econmicos e tecnolgicos ocasionados no sculo XIX
pela industrializao da Europa Ocidental e dos Estados Unidos, o
clima de guerra mundial do sculo XX, o desenvolvimento da

20
 computao eletrnica e a luta pela conquista do espao exterior
levaram a muitos progressos no campo da matemtica. (Eves, 2004,
p.462).

5. CONCLUSO

O clculo de Newton e de Leibniz utilizava variveis, as quantidades variveis ligadas a

curvas, tais como as ordenadas, as abscissas, subtangentes e reas. O clculo moderno utiliza
funes, aplicaes de um conjunto (de nmeros reais) em outro. O conceito de funo surgiu
somente no sculo XVIII.

No clculo moderno a operao de diferenciao associa uma funo sua derivada. Para
Newton, tomar fluxos de fluentes significava associar uma velocidade finita a uma varivel.
Para Leibniz, a diferenciao associava uma diferencial (diferena) infinitamente pequena a
uma varivel. Portanto, a concepo da operao fundamental nos clculos de Newton e de
Leibniz era totalmente diferente do conceito da diferenciao que est em uso no clculo
moderno. A herana das regras de Leibniz talvez seja o que h de comum.

Tanto no clculo de Newton quanto no clculo de Leibniz existiam problemas graves sobre a
consistncia lgica dos conceitos fundamentais. No clculo moderno essas dificuldades
quanto aos fundamentos so esclarecidas pelo uso do conceito bem definido de limite. Por
isso no encontramos no clculo moderno (nas operaes prticas) as quantidades
infinitamente pequenas.

Como qualquer progresso matemtico de importncia, a obra de Newton e Leibniz incentivou

intensos desenvolvimentos posteriores. O clculo foi amplamente aplicado e depois de longas
discusses os seus fundamentos finalmente concretizados.

admirvel que no sculo XVII mentes to visionrias tenham enxergado processos que s se
fundamentaram mais de cem anos depois. Eram processos que funcionavam, mas naquela
poca no se sabia bem o porqu.

REFERNCIAS BIBLIOGRFICAS

BARON, Margaret E.; BOS, H. J. M. (Org.) Curso de histria da matemtica: origens e desenvolvimento do
clculo. Traduo de Jos Raimundo Braga Coelho, Rudolf Maier e Maria Jos M. M. Mendes. Braslia:
Universidade de Braslia, 1985, c1974. v. 1,2,3.4.
BOYER, C. B. Histria da matemtica. 2. ed. So Paulo: Edgard Blucher, 1996.
DOLCE, Osvaldo. Fundamentos de matemtica elementar. 5. ed. So Paulo: Atual, 1993. v. 10.
EVES, Howard. Introduo histria da matemtica. Campinas, SP: Unicamp, 2004.
LEITHOLD, L. O Clculo com geometria analtica. 3. ed. So Paulo: Harba, 1994. v. 1.

Luana Lopes dos Santos Alves (luanamatematica@hotmail.com)

Curso de Matemtica, Universidade Catlica de Braslia
EPCT QS 07 Lote 01 guas Claras Taguatinga CEP.: 72966-700

21