Você está na página 1de 90

UNIVERSIDADE ESTADUAL DE CAMPINAS

INSTITUTO DE MATEMTICA, ESTATSTICA E COMPUTAO CIENTFICA


MESTRADO PROFISSIONAL EM MATEMTICA

EVERALDO FERNANDES BARBOSA

A REGRA DE LHPITAL
ANLISE HISTRICA DA REGRA DE LHPITAL
A importncia da Histria da Matemtica
na disciplina de Clculo

UNICAMP
2008
1

A REGRA DE LHPITAL
ANLISE HISTRICA DA REGRA DE LHPITAL
A importncia da Histria da Matemtica
na disciplina de Clculo

Este exemplar corresponde redao


final

da

dissertao

devidamente

corrigida e defendida por Everaldo


Fernandes Barbosa e aprovada pela
comisso julgadora.

Banca Examinadora:
1. Profa. Dra. Circe Mary Silva da Silva Dynnikov (UFES)
2. Prof. Dr. Eduardo Sebastiani Ferreira (IMECC Unicamp)
3. Prof. Dr. Luiz Mariano Paes de Carvalho Filho (UERJ)
4. Profa. Dra. Maria Zoraide M. C. Soares (UNEMAT)
5. Prof. Dr. Sergio Roberto Nobre (UNESP)

Dissertao apresentada ao Instituto de


Matemtica, Estatstica e Computao
Cientfica, UNICAMP, como pr-requisito
parcial para obteno do ttulo de
MESTRE em Matemtica.

iiii

FICHA CATALOGRFICA ELABORADA PELA


BIBLIOTECA DO IMECC DA UNICAMP
Bibliotecria: Maria Jlia Milani Rodrigues CRB8a 2116

Barbosa, Everaldo Fernandes


B232r

A regra de LHpital: anlise histrica da regra de LHpital - a


importncia da histrica da matemtica na disciplina de clculo /
Everaldo Fernandes Barbosa -- Campinas, [S.P. :s.n.], 2008.
Orientador: Eduardo Sebastiani Ferreira
Dissertao (mestrado) Universidade Estadual de Campinas,
Instituto de Mtemtica, Estatstica e Computao Cientifica.
1. Histria da matemtica. 2. Clculo diferencial. 3. Ensino de
Matemtica. I. Ferreira, Eduardo Sebastiani. II. Universidade Estadual
de Campinas. Instituto de Matemtica, Estatstica e computao
Cientifica. III. Ttulo.

Ttulo em ingls: The hule of lHpital: Historical analysis of the hule of LHpital
impotance of the history of mathematics in the discipline of calculation.
Palavras-chaves em ingles (Keywords): 1. History of mathematics. 2. Differential calculus.
3. Mathematical teaching.
rea de concentrao: Metodologia de Ensino Superior
Titulao: Mestre em Matemtica
Banca Examinadora: Prof. Dr. Eduardo Sebastiani Ferreira (IMECC UNICAMP)
Profa. Dra. Circe Mary S. S. Dynnikov (UFES)
Profa. Dra. Maria Zoraide M. C. Soares (UNEMAT)
Data da defesa: 26/09/2008
Programa de ps-graduao: Mestrado Profissional em Matemtica

iii

Dissertao de Mestrado defendida em 26 de setembro de 2008 e aprovada


pela Banca Examinadora composta pelos profs. Drs.

iv

DEDICATRIA
A toda minha famlia pelo incentivo prestado.
Incentivo esse que me deu fora para conseguir
ultrapassar todas as etapas do curso.

AGRADECIMENTOS

Deus
Devo tudo quele que me deu sabedoria, fora para superar todos os obstculos,
vontade de vencer, e conseguir alcanar mais um objetivo dentre vrios outros que ainda
pretendo.

esposa
Companheira de todos os momentos. Divide, comigo, o mrito desta conquista.

Aos meus filhos


Razes de lutas que me enchem de entusiasmo e felicidade todas as vezes que me
chamam de pai.

Aos pais
A arte de ser pai e de ser me reservada aqueles que conhecem o amor e a abnegao
que habitam na essncia daqueles que nos criaram e nos permitiram ser o que somos.

Ao prof. Dr. Eduardo Sebastiani Ferreira


que no mediu esforos na orientao, prestando todo o apoio necessrio com grande
competncia e agilidade nos servios prestados na elaborao deste trabalho.

A prof. Dra Sueli


Coordenadora do projeto que no mediu esforos para que o curso fosse realizado.

A prof. Dra Zoraide


que, assim como a professora Sueli, foi uma pessoa que lutou e acreditou no projeto, e,
graas a seu empenho e competncia, podemos estar concretizando hoje nosso sonho.
vi

Aos professores
Ao corpo docente do programa Mestrado Profissional em Matemtica que se
dispuseram a viajar durante horas para que pudssemos adquirir mais conhecimentos.

Aos colegas
A todos os colegas e amigos do curso de Mestrado, especialmente os do Campus
Universitrio de Barra do Bugres.

A SEMEC
A Secretria Municipal de Educao de Tangar da Serra pela licena concedida, que
possibilitou a realizao desse trabalho, sobre a administrao do prof. Jos Paulo.

vii

RESUMO
O trabalho apresenta uma biografia do marqus de LHpital e de Johann
Bernoulli e as discusses sobre o clculo do limite de uma funo racional cujo numerador e
denominador tendem a zero (conhecida como Regra de LHpital), publicado no livro Anlise
dos Infinitamente Pequenos por Linhas Curvas pelo Marqus de LHpital.
Apresentamos a demonstrao de ambos, LHpital e Bernoulli e a demonstrao
rigorosa de Cauchy. Discutimos as controvrsias com relao autoria da regra e as
reivindicaes de Johann Bernoulli pela sua autoria, pois Bernoulli foi pago para produzir e
desvendar os mistrios, que para LHpital, existiam na matemtica de Leibniz.
Inclumos tambm a interpretao geomtrica que sugere a veracidade da regra e
outras variantes que dependem dela. Alm disso, so apresentadas discusses com relao ao
uso da Histria da Matemtica como material pedaggico para ensino de Clculo Diferencial
e Integral I e a altercao feita nos livros brasileiros e estrangeiros de clculo sobre a
aplicao da regra.

Palavras chaves: LHpital, Johann Bernoulli, Regra de LHpital, Cauchy, Ensino de


Clculo.

viii

ABSTRACT
The work presents Marquis de L'Hpital and Johann Bernoullis biographies and
discussions on the calculation of the limit of a rational function whose numerator and
denominator tend to zero (known as L'Hpitals Rule), published in the book Analyse des
infiniment petits pour l'intelligence des lignes courbes by Marquis de L'Hpital.
We present the demonstration made by both, L'Hpital and Bernoulli and rigorous
demonstration of Cauchy. We discussed the controversy with respect to the authors of that
rule and Johann Bernoullis claims by its authorship, because Bernoulli was paid to produce
and unravel the mysteries, which for L'Hpital, there were in mathematics from Leibniz.
We also included the geometric interpretation that suggests the veracity of the rule
and other variants that depend on it. Moreover, discussions are presented in connection with
the use of the History of Mathematics as teaching material for education of Differential and
Integral Calculus and modification made in Brazilian and foreign calculus books about the
rules application.

Key words: L'Hpital, Johann Bernoulli, L'Hpitals Rule, Cauchy, Teaching of Calculus.

ix

10

SUMRIO
RESUMO
ABSTRACT

1.

INTRODUO ........................................................................................................... 12

2.

AS ORIGENS DA REGRA DE LHPITAL............................................................ 14


2.1 LHPITAL ............................................................................................................. 14
2.2 BERNOULLIS .......................................................................................................... 20
2.2.1 Genealogias dos Bernoulli ............................................................................. 20
2.2.2 Johann I Bernoulli ......................................................................................... 24

3.

A REGRA DE LHPITAL ....................................................................................... 29


3.1 A REGRA SEGUNDO LHPITAL ............................................................................... 29
3.2 DEMONSTRAO DE LHPITAL .............................................................................. 32
3.3 CONTROVRSIA SOBRE A DESCOBERTA DA REGRA DE
INDETERMINAO 0/0 E A REIVINDICAO DE BERNOULLI ....................................... 39
3.4 A REGRA SEGUNDO CAUCHY .................................................................................. 48

4.

PUBLICAES DA REGRA DE LHPITAL ....................................................... 59


4.1 PUBLICAO COM O NOME DE LHPITAL ............................................................... 59
4.2 APRESENTAO DA REGRA POR LIVROS ESTRANGEIROS E BRASILEIROS .................... 61

5.

DEMONSTRAO DA REGRA DE LHPITAL.................................................. 67


5.1 UTILIZANDO O TEOREMA DO VALOR MDIO DE CAUCHY ......................................... 67
5.2 SEM UTILIZAR O TEOREMA DO VALOR MDIO............................................................ 70
5.3 USANDO ANALISE NO STANDARD .......................................................................... 73

6.

IMPORTNCIA DA HISTRIA DA MATEMTICA


NOS CURSOS DE CLCULO. ................................................................................. 78

7.

CONSIDERAES FINAIS ...................................................................................... 85

8.

BIBLIOGRAFIA......................................................................................................... 88

11

Lista de Figuras
Figura 2.1.1 Marqus de L'Hpital (1661 - 1704) ................................................................. 14
Figura 2.1.2 Capa do livro de L'Hpital................................................................................ 17
Figura 2.2.1 Jacob (1654 - 1705) .......................................................................................... 20
Figura 2.2.2 Johann I (1667 - 1748) ..................................................................................... 21
Figura 2.2.3 Nicolaus II (1695 - 1726) ................................................................................. 22
Figura 2.2.4 Daniel I (1700 1792) ..................................................................................... 22
Figura 2.2.5 Johann II (1710 - 1790) .................................................................................... 22
Figura 2.2.6 Johann III (1695 - 1726) ................................................................................... 23
Figura 2.2.7 Jocob II (1759 - 1789) ...................................................................................... 23
Figura 3.1.1 Grfico ilustrativo da definio de diferencial feito por L'Hpital ..................... 30
Figura 3.2.1 Grfico feito por L'Hpital ilustrando a regra indeterminao 0/0 ..................... 34
Figura 3.2.2 Grfico do primeiro exemplo de L'Hpital ....................................................... 38
Figura 3.2.3 Grfico do segundo exemplo de L'Hpital ........................................................ 39
Figura 3.3.1 Grfico feito por Johann Bernoulli ilustrando a regra de indeterminao 0/0 .... 43
Figura 3.4.1 Cauchy (1789 - 1857) ....................................................................................... 49
Figura 3.4.2 Capa do livro Lies de Cauchy ....................................................................... 50
Figura 5.1.1 Interpretao geomtrica do Teorema do Valor Mdio ..................................... 67
Figura 5.1.2 Demonstrao do Teorema do Valor Mdio ..................................................... 68
Figura 5.1.3 Grfico - Teorema de Rolle .............................................................................. 69
Figura 5.3.1 Grfico - Anlise no Standard ......................................................................... 74
Figura 5.3.2 Anlise no Standard ........................................................................................ 75

1. Introduo
O assunto tratado nesse trabalho dissertativo sobre a criao de uma forma fcil
e rpida para calcular os limites de formas indeterminadas do tipo 0/0 conhecida como Regra
de LHpital.
Neste contexto, faremos uma anlise histrica dos principais fatos para o
descobrimento da regra; mostraremos na integra o desenvolvimento feito por LHpital e
Bernoulli; as controvrsias sobre a origem e autoria bem como as publicaes posteriores em
livros estrangeiros e nacionais. Analisaremos o processo histrico para constatar se as
reivindicaes de autoria da regra criada por Bernoulli eram aceitveis. As demonstraes em
diferentes pocas sero enfatizadas no trabalho. Uma discusso pertinente nessa dissertao
sobre a importncia da histria da matemtica nos cursos de clculo.
A escolha do assunto se deu pela curiosidade e o interesse de estudar os
acontecimentos histricos relacionados com a matemtica. Isso se deve ao fato que sempre
possvel justificar conceitos matemticos fazendo uso da histria e, em particular, justificar a
regra de LHpital, fica mais fcil quando voltamos no tempo e tentamos desenvolver os
acontecimentos da poca do seu descobrimento.
Devemos levar em considerao que nos cursos de clculo a Regra de LHpital
apenas apresentada como ferramenta para calcular limites indeterminados, sem a preocupao
de uma justificativa, o que para o aprendizado matemtico, de certa forma um problema. O
que pensa o aluno sobre a Regra de LHpital quando lhe apresentada da seguinte forma:
Sejam f e g funes derivveis em um intervalo I, exceto possivelmente em um ponto a de I.
Se f e g ambas se aproximam de 0 quando x a;e se lim

xa

lim

x a

f ' ( x)
existir para g(x) 0 , ento
g ' ( x)

f ( x)
f ( x)
f ' ( x)
= lim
existir e lim
. Esta apresentao aparece na maioria dos livros
x

a
x

a
g ( x)
g ( x)
g ' ( x)

de clculo.
Neste trabalho possvel resgatar e difundir a histria da matemtica,
projetando-a como uma das tendncias em educao matemtica e destacar os principais
personagens responsveis pela criao dos conceitos envolvidos.
O presente trabalho est distribudo em cinco partes. A primeira parte trata-se da
biografia de LHpital, onde retratamos o interesse dele pela matemtica, citamos alguns
12

13

problemas por ele resolvidos e traamos algumas linhas sobre a elaborao e impresso do
primeiro livro texto de Clculo Diferencial. Nesta primeira parte apresentamos a rvore
genealgica da famlia Bernoulli e em especial, a biografia de Johann Bernoulli e suas
contribuies para a elaborao do livro citado.
Na segunda parte encontramos o desenvolvimento da regra feita por LHpital,
dos conceitos preliminares, definies, postulados at a sua apresentao e demonstrao.
Apresentamos as controvrsias e reivindicaes de Bernoulli sobre a autoria da regra e a
demonstrao sistemtica e rigorosa de Cauchy.
Dedicamos a terceira parte em discutir as publicaes da Regra de LHpital.
Como os livros didticos nomeiam tal regra e como so feitas as apresentaes em livros
brasileiros e estrangeiros. Atentamos para o fato de alguns livros, inclusive livros franceses,
no nomearem a regra com o nome de LHpital. A parte seguinte enfoca trs maneiras de
justificar a regra:
i.
ii.
iii.

Utilizando o Teorema do Valor Mdio de Cauchy;


Sem utilizar o Teorema do Valor Mdio;
Usando anlise no standard.

A quinta e ltima parte dedicada a discusses sobre a importncia da utilizao


da histria da matemtica nos cursos de clculo. Essa parte de suma importncia, porque
estudamos a histria no simplesmente para saber da histria, mais sim por sabermos que
poderemos utiliz-la como recurso de ensino aprendizagem de matemtica.
Todo o trabalho foi feito baseado em pesquisas bibliogrficas disponveis nas
bibliotecas, internet, experincias de profissionais da rea de matemtica, histria da
matemtica e em educao matemtica. Buscamos todas as informaes possveis para o
momento em diferentes pocas, utilizando obras originais dos autores.

2. As Origens da Regra de LHpital


De que me irei ocupar no cu, durante toda a
Eternidade, se no me derem uma infinidade
de problemas de Matemtica para resolver?
Augustin Louis Cauchy.
Iniciaremos nosso trabalho com uma breve biografia de LHpital, mostrando seu
interesse para com a matemtica. Abordamos seus primeiros trabalhos e as obras por ele
produzidas, entre elas a principal obra que a publicao do primeiro livro texto de clculo
diferencial. Neste livro encontramos a regra de clculos de limites de formas indeterminadas
que ficou conhecida como Regra de LHpital.
Faremos tambm nessa seo, uma biografia de Johann Bernoulli contando sobre
sua origem e a rvore geneolgica da sua famlia.

2.1

LHpital
Guillaume Franois Antoine de LHospital, marqus de Saint Mesme, mais

conhecido como Marqus de LHospital, nasceu em Paris em 1661. Sua


famlia era aristocrtica e muito conhecida na poca. Durante alguns
anos, ele serviu como oficial de cavalaria no exrcito francs, mas
renunciou por conta de sua miopia (Barufi, 2002). Depois disso,
LHospital dedicou-se inteiramente Matemtica, que, segundo Struik
(1963, p.257), ficou impressionado pelo novo clculo apresentado por
Leibniz (1646 1716) em dois artigos, um de 1684 e outro de 1686,
publicados pela primeira vez na revista cientfica alem Acta Eruditorum

Figura 2.1.1
Marqus de L'Hpital
(1661 1704)

do qual Leibniz foi um dos fundadores.


A forma original do nome do marqus era LHospital. A partir de uma das vrias
reformas ortogrficas ocorridas na Frana entre os sculos XVII e XIX, a grafia correta
passou a ser LHpital. Isso explica o fato dos livros de clculo atuais apresentarem variaes
na grafia da Regra de LHpital, que aparece ora como Regra de LHospital, ora como Regra
14

15

de LHpital e, com menor freqncia, Regra de lHospital e Regra de lHpital. Como


veremos a seguir, a Regra de LHpital tm como objetivo calcular o limite de fraes em que
h indeterminaes do tipo 0/0. A partir de agora adotaremos o nome Regra de LHpital
quando fizermos referncia a essa indeterminao.
Leibniz descobriu o novo clculo; as notaes por ele criadas permitiram que as
suas idias se destacassem relativamente s de Newton (1642 1727). Sabe-se hoje que
Newton descobriu o clculo primeiro que Leibniz, no entanto foi Leibniz quem primeiro
publicou1 trabalhos sobre o assunto.
As bases do mtodo de fluxos de Newton foram primeiramente publicadas
obscuramente na forma de lemas no Prncipia2 de 1687, no mais do que alguns anos aps
sua descoberta do clculo. Entre 1669 e 1676, Newton escreveu alguns tratados sobre os
elementos de fluxos, mais isso s apareceu publicado em 1704.
O artigo de 1684 de Leibniz, de seis pginas, contm a definio3 de diferencial e
d breves regras para determinar a diferencial da soma, produto, quociente e potncias,
juntamente com aplicaes geomtricas. Inclui tambm algumas aplicaes no problema da
tangente e dos pontos crticos. Segundo Boyer (1996, p.278), este artigo continha muitas
explicaes insuficientes e tambm muitos erros tipogrficos, tornando-se amplamente
enigmtico at para os grandes matemticos da poca.
Os artigos publicados na Acta possibilitaram a difuso do clculo leibniziano,
tornando-o amplamente conhecido. De acordo com Bos (1985, p. 5), foi dessa forma que os
matemticos contemporneos puderam ver a aplicao do clculo, mas era preciso ser um
matemtico de muito talento para realmente aprender clculo a partir desses artigos.
Grattan-Guinness (1984, p.111) diz que, em uma matria da revista Acta
Eruditorum de junho de 1696, Johann Bernoulli (1667 1748) props aos matemticos da
poca resolverem o problema da brachystochrone4 (braquistcrona) do grego
1

Os trabalhos de Newton sobre o clculo datam de 1664 1666, enquanto que os de Leibniz so de
1672 1676. No entanto, Leibniz foi quem primeiro publicou em 1684 e 1686 (artigos no Acta Eruditorum).
Newton s veio publicar seu clculo no Principia de 1687 e no seu livro Opticks de 1704 (Edwards, 1979,
p.266).
2
Principal obra de Newton: Philosophie Naturalis Principia Mathematica, conhecida como Principia e
impressa em 1687 considerada por Garding (1981, p.150) o primeiro grande xito para a combinao da fsica e
da matemtica.
3
Ver Bos, 1985, p.58 68. Unidade III e Boyer, 1996, p.278.
4
O problema de Brachystochrone em sua forma clssica pedia para que se encontrasse o menor trajeto
possvel que um corpo faria em uma trajetria descendente, entre dois pontos dados, onde seu movimento se
daria unicamente pela fora de gravidade constante atuante sobre este prprio corpo, sem a existncia de atrito.
Nesse sentido, dados dois pontos num plano vertical, a alturas diferentes, que trajetria do plano deve seguir uma
partcula material para ir do ponto mais alto ao mais baixo no menor espao de tempo possvel? (Eves, 2002,
p.465).

16

brquis que significa menor e cronos que significa tempo. O mesmo jornal
de maio de 1697 trazia artigos, sobre esse problema, de seis dos mais renomados matemticos
da poca: Johann Bernoulli, Jacob Bernoulli, Isaac Newton, Marqus de LHpital, Gottfried
Leibniz e Ehrenfried Tschirnhaus.
LHpital passa a fazer parte da elite matemtica da poca e destacou-se como um
expoente matemtico da Frana, no somente pelos trabalhos cientficos, mas tambm pelos
contatos que manteve com Leibniz e Bernoulli. Foi membro da lAcadmie des Science de
Paris, de 1690 at sua morte.
LHpital tomou parte em quase todos desafios emitidos por Leibniz, pelos
Bernoullis e por outros matemticos continentais da poca. Estudou a iscrona, slidos de
resistncia mnima, a catenria, a tratriz, trajetrias, curvas custicas, problemas
isoperimtricos, que para Boyer (1996, p.290), eram problemas avanados da anlise escritos
por Johann Bernoulli.
Vrios autores destacam as qualidades pedaggicas do Marqus. Dentre eles,
Boyer fala das habilidades de escrita de LHpital, e diz que ele era um autor excepcional:
LHpital escreveu um tratado analtico sobre cones intitulado Trait analytique ds
sections coniques, que foi publicado postumamente em 1707. Esse tratado fez pela
geometria analtica do sculo dezoito o que a Analyse fizera pelo clculo. O Trait
no era especialmente original, mais tinha qualidades pedaggicas que o tornaram
um trabalho padro sobre o assunto durante a maior parte do sculo (BOYER, 1996,
p.288).

LHpital, no totalmente convencido de que poderia compreender sozinho o novo


clculo apresentado por Leibniz, contratou os servios de Johann Bernoulli do fim de 1691 a
julho de 1692, tempo em que Bernoulli ficou hospedado em sua casa em Paris, com o
propsito de ensinar-lhe o novo clculo, fato que veremos com mais detalhes no captulo 2.
Nesta poca, alm de Newton, Leibniz e os Bernoullis, LHpital era quem tinha
condies de resolver os problemas mais difceis que eram propostos como desafios.
A fama de LHpital baseada em seu livro Analysis des Infiniment Petits Pour
lintelligence des lignes courbes (Anlise dos Infinitamente Pequenos para o Estudo de
Linhas Curvas) considerado o primeiro livro texto escrito sobre clculo diferencial, publicado
em 1696. De acordo com Ricieri (1992, p.27) nesse livro, LHpital demonstra ser um
escritor exmio, expondo de maneira ordenada, atravs de seus dotes pedaggicos, toda a
evoluo das principais idias bsicas da nova matemtica que estava surgindo.

17

Segundo Lacroix, LHpital, na sua poca foi um dos gemetras que mais
contribuiu para o Clculo Deferencial:
No ano de 1699, LHpital foi um dos poucos gemetras que fez algum progresso
no Clculo Diferencial e ele prprio trouxe uma contribuio os infinitamente
pequenos. Este livro foi por um longo tempo o melhor livro sobre esta matria, mas
ele no escreveu (deixou de escrever) um tratado sobre o Clculo Integral, porque
ele sabia que Leibniz tinha em mos uma grande obra com o ttulo De Scientia
Infiniti e que queria tornar conhecida, e que ele ainda no tinha completa
(LACROIX, 1799, p.xxviii)

Figura 1.1.2
Capa do livro de L'Hpital

O Analysis des Infiniment Petits consta de dez sees: A primeira seo onde so
dadas as definies, axiomas e regras bsicas de diferenciao do que ele chamou de clculo
das diferenas. Na seo dois aplicam-se estas regras para calcular a tangente a uma curva em

18

um ponto. A seo trs trata de mximos e mnimos. A seo quatro aborda conceitos de
pontos de reflexo, as cspides ou pontos de retrocessos. A maior seo a cinco, em que ele
analisa as evolutas que so definidas como raio de curvatura de uma evoluta. As sees seis
e sete tratam das custicas5 por reflexo e refrao. A seo oito estuda o tema dos
envolventes e uma famlia de raios. aqui que ele introduz o mtodo de Leibniz de
diferenciao. A seo nove esta dedicada a resoluo de diversos problemas, onde so
usados os mtodos precedentes. De fato, trata o que atualmente se conhece como
indeterminaes, e contm a Regra de LHpital. Finalmente, a ltima seo, a dcima,
compara a elegncia do novo clculo com os mtodos da tangente de Descartes e Hudde.
Segundo Ricieri (1992), este livro teve um sucesso to grande que durante dois
sculos foi publicado com tiragens de milhares de exemplares. Boyer (1996, p.290) tambm
menciona a importncia que o livro trouxe para a poca: ... esse livro cuja influncia
dominou quase todo o sculo dezoito.
Na introduo LHpital admitia dever muito a Leibniz e aos irmos Bernoulli,
porm, considerava como suas as idias desenvolvidas na obra. De fato, de acordo com Bos
(1985, p.5), a maior parte do material do livro j havia sido discutida nas aulas de Bernoulli,
mas a verso de LHpital foi muito instrutiva, pois continha vrias concluses suas.
LHpital nunca desejou para si os resultados de Bernoulli. Vejamos o que ele escreve na
introduo do seu livro:
"Ao resto eu reconheo dever muito aos esclarecimentos dos Srs. Bernoullis, sobre
tudo ao jovem atualmente professor em Groningue. Eu me servi sem dvida de suas
descobertas e das do Sr. Leibniz. porque, eu consinto que eles reivindiquem tudo o
que quiserem, me contentando do que quiserem me deixar." (LHPITAL, 1696,
prefcio. traduo: Sebastiani Ferreira)

Segundo Bos (1985, p.5), LHpital no inclui clculo integral em seu livro
porque Leibniz havia manifestado a inteno de escrever um tratado completo sobre o
clculo. Contudo jamais realizou seu intento.
Abelln (2004, p.42) diz que LHpital no discutiu a natureza do clculo, mas
tornou-o popular, tanto escrevendo artigos no Journal des Savans, quanto reproduzindo
diversas cpias do seu livro. Abelln6 (2004, p.43) elogia o livro de LHpital, destacando
que o autor havia contribudo para acabar com os segredos que envolvia o novo clculo. O

5
6

Curva formada pela interseco dos raios luminosos que uma superfcie curva reflete ou refrata.
Abelln apud Montucla (1758, p. 397) e Bossut (1802, p. 162-163)

19

livro foi traduzido para o ingls em 1730 por Stone. Em 1725, Pierre Varignon (1654 1722)
publicou claircissemens sur lAnalyse des infiniment petits. Antes de Varignon, Jean Pierre
Crousaz (1663 1750) publicou em 1721 Commentarie sur lAnalyse des infiniment petits.
A publicao do Analysis des Infiniment Petits deu origem ao debate entre Michael
Rolle (1652 1719) e Pierre Varginon na Academia de Cincias em Paris. Rolle em 17 de
julho de 1700 comea o debate sobre o clculo diferencial questionando a validade dos novos
mtodos infinitesimais tais como eram apresentados por LHpital. Varignon decidiu
defender o novo clculo contra os ataques de Rolle. As crticas de Michael Rolle esto
embasadas em dois pontos: a falta de rigor nos conceitos fundamentais e erros produzidos
pelo novo clculo, fato que no discutiremos nesse trabalho por no estar no mbito da nossa
pesquisa.
Neste livro, Analysis des Infiniment Petits, encontrada a regra, conhecida agora
como Regra de LHpital, usada para calcular o limite de uma funo racional cujo
numerador e denominador tendem a zero em um ponto, ou seja, o valor da varivel toma a
forma de indeterminao 0/0. Este trabalho teve uma grande circulao e acabou por dar
forma notao de diferencial a ser usada na Frana, ajudando a faz-lo conhecido por toda a
Europa.
A Regra de LHpital freqentemente apresenta resultados rpidos e diretos e,
algumas vezes, funciona onde outros mtodos, como fatorao e aplicao do conjugado,
possivelmente, possam falhar quando estamos lidando com radicais no numerador,
denominador ou em ambos,.
Parte do material no Analysis des Infiniment Petits certamente era trabalho
independente de LHpital, pois ele era um matemtico competente. Como exemplo disso,
pode-se citar a retificao da curva.
De acordo com Sebastiani Ferreira (2008) a curva logartmica foi sugerida
Descartes (1596 1650) por Debeaune (1601 1652) em 1638 numa carta. Descartes resolve
em parte o problema e envia numa carta tambm Debeaune, em 20 de fevereiro de 1638,
tudo isso sem perceber que era a curva logartmica, um problema inverso da tangente, isso ,
um problema de integrao. Em 1692 no Journal des Savans LHpital mostra a ligao
entre a curva logartmica e a quadratura da hiprbole, e lana o desafio aos gemetras da
poca a encontrar a retificao da curva de De Debaune, que foi aceito e publicado no mesmo
jornal onze anos depois por Varignon.
LHpital morreu em Paris, em 1704, aos 43 anos como vice-presidente da
Acadmie des Sciences.

20

2.2

Bernoullis
Desde a antiguidade at os dias atuais, a humanidade sempre teve grandes

intelectuais que muito contriburam para o desenvolvimento da Cincia. Atravs de suas


teorias, descobertas ou invenes, estes gnios trouxeram benefcios enormes, provocando
grandes avanos. Entretanto, quase no se tem notcia de um famoso sbio que seja parente
de outro famoso sbio. Neste panorama, apresentamos a famlia Bernoulli. Esta famlia
produziu famosos e numerosos intelectuais, muitos deles, grandes matemticos. Dentre todos
eles, dois irmos merecem destaque especial: Jacob e Johann. Eles protagonizaram a to
conhecida "Querela dos Bernoullis".

2.2.1 Genealogias dos Bernoulli7

Em 1483 nasceu, na Holanda, Jacob Bernoulli, que, mais tarde, foi obrigado a
deixar esse pas para escapar a perseguio do duque de Albe, por questes religiosas. Foi
para Frankfurt.
Seu neto, tambm chamado de Jacob, nasceu em 1598 e se estabeleceu em
Basilia Sua em 1622. Morreu nesta cidade em 1634.
Nicolaus Bernoulli, filho mais velho do precedente Jacob, nasceu em 1623 e
morreu em 1708. Foi negociante e membro do Grande Conselho da Basilia. Casou-se com
Margaretha Bernoulli e tiveram onze filhos.
De seus filhos os trs mais conhecidos foram: Jacob, Johann I e Nicolaus I. Jacob,
o quinto filho, nasceu na Basilia no dia 27 de dezembro de 1654 e morreu no dia 16 de
agosto de 1705. Licenciado em Teologia, mudou-se em 1676 para Genebra a fim de trabalhar
como tutor.

Figura 2.2.1
Jacob (1654 - 1705)

Fonte: Professor Eduardo Sebastiani Ferreira

21

Em 1681 Jacob trabalhou na Frana e em 1683 voltou para Sua para dar aulas de
mecnica na Universidade da Basilia. Casou-se com Judith Stupanus e tiveram um casal de
filhos, o menino, tambm de nome Nicolaus, foi o nico membro da famlia a no se tornar
nem matemtico, nem fsico.
Jacob foi nomeado professor de Matemtica da Universidade de Basilia em 1687,
e se manteve no cargo at sua morte em 1705. Foi substitudo pelo seu irmo Johann.
Entre as contribuies de Jacob Bernoulli matemtica figuram o uso das
coordenadas polares, o estudo da catenria, o estudo de muitas outras curvas planas
superiores, a criao da curva chamada de iscrona. Props e discutiu o problema das figuras
isoperimtricas. Vrios resultados em matemtica tm hoje o nome de Jacob Bernoulli. Entre
eles esto a distribuio de Bernoulli e o teorema de Bernoulli da estatstica e da teoria das
probabilidades; a equao diferencial de Bernoulli, os nmeros de Bernoulli, os polinmios
de Bernoulli de interesse da teoria dos nmeros; e a lamniscata de Bernoulli.
Johann I, o dcimo filho de Nicolaus, nasceu tambm em Basilia no dia 27 de
julho de 1667 e morreu dia 1 de janeiro de 1748. Doutorou-se em medicina, em 1691 foi
Genebra dar aulas de clculo, de l para Paris, onde freqentou o crculo de Nicolas
Malebranche8 (1638 1715). Foi nessa poca que conhece LHpital e Varignon (1692).
Volta Basilia por pouco tempo e em 1695 recebe a ctedra de Matemtica da Universidade
Groningen. Casou-se com Dorotheia Flakner, com quem teve trs filhos: Nicolaus III,
Daniel I e Johann II. Retorna Basilia para assumir a ctedra de Matemtica deixada pela
morte de seu irmo Jacob. Pertenceu as Academias de Cincias de Paris, Berlim, Londres e
Saint Petersburgo.

Figura 2.2.2
Johann I (1667 - 1748)

8
Filsofo e telogo francs, nascido em Paris. Estudou um ano de filosofia no Colgio de la Marche e trs
de teologia na Universidade de Sorbonne. Limitou-se praticamente aos estudos pelo resto de sua vida. Tendo em
1664 lido o Trait de l'homme ou de la formation du foetus de Descartes, interessou-se pela sua filosofia e
tornou-se um entusiasmado racionalista cartesiano. Dentre vrios trabalhos pesquisou sobre a natureza da luz e
da cor, e estudos de clculo infinitesimal e a viso. Os seguidores e leitores de suas obras formavam o chamado
crculo de Melebranche.

22

Outro filho de Nicolaus I, chamado de Nicolaus II, nasceu no dia 21 de outubro de


1687, e morreu no dia 25 de novembro de 1759. Era doutor em Direito e professor de
matemtica, na Universidade da Pdua (1716/19). Mais tarde professor de Direito e Lgica na
Universidade da Basilia. Foi eleito membro da Academia de Berlim em 1713, tendo
pertencido, tambm, s academias Real de Londres (1714) e de Bolonha (1724).
Quanto aos filhos de Johann I, Nicolaus III nasceu em 6 de fevereiro de 1695 na
Basilia e morreu em 31 de julho de 1726 em Saint Petersbourg. Doutorou-se em Direito e foi
professor dessa disciplina na Universidade da Basilia de 1723 a 1725, depois professor de
Matemtica em Saint Petersburgo.

Figura 2.2.3
Nicolaus II (1695 - 1726)

Daniel I, outro filho de Johann, nasceu em 8 de fevereiro de 1700 em Groningue e


morreu em 17 de maro de 1782 na Basilia. Doutorou-se em Medicina e foi professor de
Matemtica em Saint Petersburgo de 1725 a 1733. Estudou em Heidelburg e Strassburg.
Ganhou o Grande Premio da Academia de Paris por 10 vezes. Pertenceu s academias de
Bolonha, Saint Petersboug, Berlim, Paris, Londres, Berna, Turin, Zurique e Manheim.

Figura 2.2.4
Daniel I (1700 - 1792)

O filho mais novo de Johann I nasceu em 28 de maio de 1710 e morreu em 17 de


julho de 1790, na Basilia, recebeu o nome de Johann II. Doutor em Direito e professor de
Oratria na Basilia e em 1750 torna-se professor de Matemtica nessa Universidade. Teve
tambm trs filhos: Johann III, Daniel II e Jacob II.

Figura 2.2.5
Johann II (1710 - 1790)

23

Johann III nasceu em 4 de novembro de 1744, na Basilia e morreu em 13 de julho


de 1807 em Berlim. Doutor em Filosofia, licenciado em Direito e astrnomo da Academia de
Berlim (1767).

Figura 2.2.6
Johann III (1695 - 1726)

Jacob II nasceu em 17 de outubro de 1759 na Basilia e morreu em Saint


Petersburgo no dia 15 de agosto de 1789, afogado quando nadava no rio Neva. Foi professor
de Matemtica na Universidade de Saint Petersburgo, e casado com uma neta de Euler.

Figura 2.2.7
Jocob II (1759 - 1789)

Daniel II nasceu e morreu na Basilia nos dias 31 de janeiro de 1751 e 21 de


outubro de 1834, respectivamente. Doutor em Medicina e professor de oratria na
Universidade da Basilia.
Christophe era filho de Daniel II, nasceu tambm na Basilia em 15 de maio de
1782. Foi professor no Pedagogium de Halle em 1802, chefe do Instituto da Basilia
(1806/17) e professor de Histria Natural na Universidade desta cidade, depois de 1811.
Jean-Gustave, filho de Christophe, nasceu em 1811 na Basilia e autor do VadeMecum do Mecnico.
Podemos fazer concluses a respeito da famlia Bernoulli dizendo que a histria
dos descendentes muito semelhante a dos pais, no revelando queda para os negcios da
famlia, inscreveram-se na Universidade onde cursaram Magistratura ou Medicina. Anos mais
tarde acabariam por se dedicar Matemtica onde viriam a dar contribuies importantes,
nomeadamente na rea do clculo.

24

Foram professores e colegas dos eminentes matemticos Leibniz, L'Hpital e


Euler, entre outros, e deram importantes contributos para a discusso cientfica da sua poca.

Jacob
(1483 - ?)

.
.
.

Jacob
(1598 - 1634)

Nicolaus
(1623 - 1708)

Jacob

Nicolaus I

Johann I

(1654 - 1705)

(1662 - 1716)

(1667 - 1748)

Nicolaus II

Nicolaus III

Daniel I

Johann II

(1687 - 1759)

(1695 - 1726)

(1700 - 1782)

(1710 - 1790)

Johann III

Daniel II

Jacob II

(1744 - 1807)

(1751 - 1834)

(1759 - 1789)

Christophe
(1782 - 1863)

Jean - Gustave
(1811 - 1863)

2.2.2 Johann I Bernoulli


Johann Bernoulli foi o que teve contato direto com LHpital.
LHpital. Seus pais, Nicolaus
e Margaretha Bernoulli queriam que ele fosse comerciante ou mdico,
mdico mas Johann que pode

25

ter sido influenciado quando criana pelo seu irmo Jacob Bernoulli j na carreira
matemtica, tinha grandes facilidades para lidar com a matemtica.
Muitos dos grandes matemticos que se destacaram em seus trabalhos comearam
a produzir logo cedo. No resumo da biografia feita por Barufi (2002) sobre Johann, podemos
observar este fato:
Em 1682, com quinze anos de idade, Johann trabalhou no comrcio durante um ano,
porm no gostou da atividade. Em 1683, ingressou na Universidade da Basilia
para estudar Medicina, apesar de ter sempre gostado de Matemtica. Quatro anos
depois, seu irmo Jacob foi nomeado professor de Matemtica na Universidade e, de
1687 a 1690, Johann e Jacob Bernoulli estudaram juntos as teorias de Leibniz sobre
o Clculo. Na poca, essas teorias no tinham sido compreendidas por nenhum outro
matemtico e os irmos Bernoulli foram os primeiros a estud-las. Os dois irmos e
Leibniz iniciaram uma srie de artigos publicados na Acta Eruditorum, dando
origem difuso do Clculo Leibniziano, tornando-o amplamente conhecido
(BARUFI, 2002).

De acordo com Bos (1985, p.5) os assuntos publicados na Acta eram, entre outros,
a catenria, as espirais e as formas de vrias equaes diferenciais.
O bom desempenho de Bernoulli nos clculos fascinaram o marqus LHpital,
que segundo Bos (1985, p.5), durante uma discusso sobre o conceito de curvatura, Bernoulli
impressionou-o ao calcular em poucos minutos o raio de curvatura para vrias curvas.
O acordo9 que Bernoulli fizera com LHpital permitia ao marqus usar todo o
contedo ensinado como o desejasse. A conseqncia desse acordo foi a importante
contribuio de Johann Bernoulli conhecida Regra de LHpital, publicada pelo marqus em
seu livro Analyse.
Johann nunca chegou a publicar seu livro sobre o clculo, porm de acordo com
Boyer (1996, p.290) e Baron (1985, p. 5), escreveu sobre a catenria, as espirais, a forma de
corpos elsticos sob tenso, a curvatura, trajetrias, problemas isoperimtricos10, vrias
equaes diferenciais entre outros, conseguindo reconhecimento pelo seu trabalho, o que
proporcionou-lhe encontrar trabalho. Aps a morte de seu irmo em 1705, foi chamado para
ocupar a cadeira dele na Universidade de Basilia.

Veremos com detalhes o acordo feito entre ambos no prximo captulo.


Jacobi Bernoulli props como continuao da soluo do problema da braquistcrona, outros vrios
problemas do mesmo tipo chamados de problemas isoperimtricos. No caso da braquistcrona, so curvas que se
deslocam no menor intervalo de tempo entre todas aquelas que passam por dois pontos A e B (como definimos
na nota de rodap nmero 4). Nos problemas isoperimtricos so todas as curvas que passam por A e B e
possuem o mesmo comprimento. Por exemplo, consideremos um curva que passa por A e B de comprimento 1 e
determina com o seguimento AB uma rea mxima. Jacobi Bernoulli obteve grandes sucessos na investigao
dessa curva possibilitando mtodos para resolver esse tipo de problemas (Grattan-Guinness, 1984, p. 112-113).
10

26

Apesar de nunca ter publicado um livro, para Grattan-Guinness:


Em 1742 Johann Bernoulli publicou sua obra completa, mais de cinqenta anos aps
haver escrito, as lies que havia dado a LHpital sobre o ttulo O mtodo das
integrais (Bernoulli, 1691a), afirmando em uma nota de rodap que omitia suas
lies sobre clculo diferencial, dado que seu contedo estava no livro Analyse de
LHpital. Estas lies podem ser consideradas com um bom resumo das idias
vigentes por volta de 1700 sobre integrais e o uso nas solues de problemas
(GRATTAN-GUINNESS, 1984, p.99)

Muito do desenvolvimento matemtico devemos s numerosas contribuies de


Johann Bernoulli e da famlia Bernoulli em geral. Segundo Pastor & Babini (1986, p. 99),
encontramos vrios problemas de aplicaes dos mtodos infinitesimais geometria e a
mecnica propostos por Johann e seu irmo Jacob. Dentre os problemas propostos, citamos o
problema da curva de tempo mnimo (braquistcrona). Ricieri (1992, p.28) diz que Johann
tinha interesse pelo clculo de variaes:
Em 1695, Bernoulli foi convidado para ser professor da Universidade de Groningen
e, em 1696, comeou a interessar-se pelo que seria o Clculo Varacional. Nessa
poca, props, na revista Acta Eruditorium, o clebre problema do tempo mnimo de
descida de um corpo sob a ao do campo gravitacional, problema este resolvido por
Newton, Euler e vrios matemticos, inclusive pelo prprio Johann (RICIERI, 1992,
p.28).

Como j vimos, Johann props o problema da braquistcrona, mas ele no foi o


primeiro a considerar esse problema. Galileu havia escrito sobre o problema em 1638 no seu
famoso trabalho Discurse and mathematical demonstrations Concerning Two New Sciences.
Neste trabalho, Galileu props como soluo da braquistcrona um arco de circunferncia. De
acordo com Boyer (1996, p.287) Johann achara uma prova incorreta de que a curva uma
ciclide, e desafiou o irmo Jacob a descobrir a curva requerida. Depois que Jacob provou
corretamente que a curva uma ciclide, Johann tentou substituir sua prova pela do irmo.
O problema da braquistcrona marca um momento significativo na histria da
matemtica por ser um exemplo pertencente ao chamado clculo varacional. um problema
de mximos e mnimos, que tem em especial a quantidade Ty cujo valor mnimo se busca, no
depende de uma s varivel independente nem de um nmero finito delas, mas sim de uma
forma geral da curva.
Segundo Boyer (1996, p.288), Jacob Bernoulli tinha fascinao por curvas e pelo
clculo, e uma curva tem seu nome a lemniscata de Bernoulli dada pela equao polar
r2 = a cos2. A curva foi descrita na Acta Eruditorum como semelhante a um oito ou uma fita

27

com lao. De acordo com Grattan-Guinness (1984, p.108), outro problema que Jacob resolveu
foi a determinao da equao catenria.
A determinao da equao da catenria11 foi o primeiro problema importante
resolvido por Johann Bernoulli, em 1691. O interesse por essa curva tem origem em
Galileu que pensava que a soluo era simplesmente uma parbola. Em 1646,
Huygens provou que a soluo de Galileo era falsa, mas tambm no conseguiu
resolver o problema que era determinar sua equao. Utilizando o Clculo
Leibniziano, Johann Bernoulli resolveu o problema um ano aps seu irmo Jacob ter
lanado o problema. Esse foi o primeiro sucesso pblico do novo clculo
(GRATTAN-GUINNESS, 1984, p.108).

Pastor & Babini (1986, p. 100) descrevem outras contribuies de Johann. Essas
contribuies se referem especialmente teoria das sries, a aplicaes do clculo integral e
as equaes diferenciais. Em 1694, estudou as curvas exponenciais y = a x e y = x x , os
mtodos do fator integrante e de separao das variveis e a integrao de equaes
diferenciais. O original mtodo da quadratura por sries, exposto em 1694, de onde se
originou a chamada srie de Taylor, vinte e sete anos depois era devido a Johann. Pastor &
Babini (1986, p. 100) fazem meno a essa regra com o nome de srie de Bernoulli. Para
Bernoulli a integrao era a operao inversa da diferenciao. Tal concepo permaneceu at
a poca de Cauchy.
Johann Bernoulli era sempre homenageado por reis e rainhas devidos aos seus
trabalhos. Ricieri conta em seu livro que Maclaurin (1698 1746) havia escrito:
... Os Bernoulli so gnios. Especificamente Johann. Apesar de seu comportamento
estranho, uma vez que parece sempre estar atormentado, tem feito uma matemtica
espetacular. Seus estudos, particularmente os de Clculo Diferencial, tem
contribudo para o avano das exatas. No resta dvida que Johann Bernoulli um
dos maiores matemticos que esse mundo conheceu ... (RICIERI, 1992, p.29).

Johann teve trs filhos com Marie Euler12, Nicolaus (1695 - 1726), Daniel
(1700 - 1782) e Johann (1710 - 1790). Todos eles foram matemticos e Daniel produziu um
trabalho sobre Hidrodinmica conhecido como Princpio de Bernoulli.
Em 1712, Johann demonstrou ntidos sinais de desequilbrio mental ao expulsar de
casa seu filho Daniel depois de quase t-lo matado com uma facada nas costas, por este haver
conquistado um prmio da Academia de Cincias de Paris, ao qual Johann tambm estava
11

A catenria a forma assumida por uma corda ou corrente suspensa livremente por dois pontos. Um
breve resumo da soluo dada por Johann Bernoulli pode ser encontrada na sua obra O mtodo das integrais
de 1691a, p.12-36.
12
Sobrinha de Euler que se casou com Bernoulli com apenas 10 anos.

28

concorrendo. O fato de o filho haver tido melhor desempenho que ele, provocou-lhe uma
inveja e ira que perdurou at o final de sua vida. Recusava-se a conversar com as pessoas
sua volta e, se estas conhecessem matemtica, afirmava que eram ladras de suas idias. Todos
estes sintomas de parania tornar-se-iam agudos com o passar dos anos. No ano de 1747,
ficou sozinho abandonado pela prpria famlia. No livro de Ricieri encontramos um pargrafo
onde Johann Bernoulli demonstra-se muito revoltado com tudo e com todos. Vejamos o que
ele fala:
... Dizem que estou louco. Louco? Eu estou louco! So eles os loucos. Algum
saberia definir um louco? Tenho certeza que no. Loucos, no sentido de doido e
maluco, somos todos ns que esperamos pela morte. Sabemos que mais cedo ou
tarde estaremos, loucos ou no, mortos. Que se dane a loucura. Eu no sou louco.
Estou, simplesmente, apodrecendo...
...estejam certos que do mesmo modo que nasci, modificar-me-ei e
ressurgirei novamente. Sou teimoso, idealista, ... (RICIERI, 1992, p.30)

Johann Bernoulli morreu no dia primeiro de janeiro de 1748, completamente


louco, suicidando-se, cortando os pulsos, com 81 anos de idade, na Basilia.

3. A Regra de LHpital
Se estiver com dificuldade com um problema de
Clculo e no sabes como resolver, trata-se de
integrar por partes ou fazer uma troca de
variveis, agregado a esse conselho podemos
dizer outro: se no sabes como calcular um limite
use a Regra de LHpital.
Jerry Kazdan

Neste captulo tentaremos explicar a regra de LHpital para o levantamento de


indeterminaes do tipo 0/0 que aparece nas pginas 145 e 146 do Analyse.
Esta explicao carece, por um lado, das definies e demandas ou postulados
(suposies) apresentadas por LHpital no incio do seu livro e, por outro lado, das
definies de varivel, funo, derivada e diferencial apresentadas por Cauchy nos seus
resumos das lies dadas na cole Royale Polytechnique que veremos na seo 3.4.
Comearemos introduzindo as definies de LHpital e explicaremos depois a sua regra e os
dois exemplos por ele apresentados.

3.1

A regra segundo LHpital


LHpital comea com as definies de quantidades variveis e suas diferenciais:
Definio I: Chama-se quantidades variveis as que aumentam ou diminuem
continuamente; e pelo contrrio, quantidades constantes so aquelas que continuam
13
14
iguais enquanto outras se alteram. Assim numa parbola os aplicados e cortados
so quantidades variveis, e o parmetro uma quantidade constante. (LHPITAL,
1696, p. 01, traduo nossa)

Chamaremos a ateno para a palavra continuamente usada nesta definio.


LHpital no faz nenhuma considerao sobre o que significa aumentar ou diminuir
continuamente, pelo que ficamos com algumas dvidas relativamente ao que, de fato, ele
queria dizer.

13
14

Ordenada
Abscissa

29

30

Vejamos a segunda definio apresentada por Bos (1985, p. 7). A figura 3.1.1
abaixo nos ajudar a entender e explicar os conceitos definidos por LHpital.

Figura 3.1.1
Grfico ilustrativo da definio de diferencial feito por LHpital

Definio II: A parte infinitamente pequena pela qual uma quantidade varivel
aumenta ou diminui continuamente chama-se diferencial [diferena] daquela
quantidade.
Seja por exemplo uma linha curva qualquer AMB, como mostra a figura 3.1.1, cujo
eixo ou dimetro a linha AC; seja a linha reta PM uma ordenada, e a linha reta pm
outra ordenada infinitamente prxima primeira. Se traarmos agora a linha MR,
paralela a AC e s linhas AM e Am, e descrevermos o pequeno arco circular MS
partindo do centro A com distncia AM, Pp ser a diferencial de AP; Rm ser a
diferencial de AM; e Mm ser a diferencial do arco AM. Da mesma forma, o pequeno
tringulo MAm, cuja base o arco Mm, ser a diferencial do segmento AM; e o
pequeno espao MPpm ser a diferencial do espao contido sob as linhas retas AP,
PM e sob o arco AM. (BOS, 1985, p.7)

Depois das definies dadas, LHpital apresenta como corolrio que a diferena
de uma quantidade constante nula ou zero chegando mesmo a reforar esta idia
escrevendo ou (o que a mesma coisa) que as quantidades constantes no tm diferena.
LHpital usa a letra d para denotar a diferena entre duas quantidades variveis e
que no ter outro significado seno denotar essas diferenas. Em forma de observao ele
escreve:
Servirnos-emos daqui para a frente da notao ou caracterstica d para designar a
diferena de uma quantidade varivel que seja expressa por uma s letra; e para
evitar confuso daqui para a frente, esta notao d no ter outro uso neste clculo.

31

Se nomearmos, por exemplo, as variveis AP por x; PM por y; AM por z; o arco AM


por u; o espao mistilneo APM por s; e o segmento AM por t: dx exprimir o valor
de Pp, dy o de Rm, dz o de Sm, du o do pequeno arco Mm, ds o do pequeno espao
MPpm, e dt o do pequeno tringulo mistilneo MAm (LHPITAL, 1696, p.02,
traduo nossa).

O postulado I do livro de LHpital estabelece regras sobre o uso de quantidades


infinitamente pequenas. importante frisar que LHpital, no discute se tais quantidades

existem ou no. No entanto, os prximos postulados mostram como estas quantidades se


comportam.
Postulado I: Admitimos que se possa tomar indiferentemente uma pela outra duas
quantidades que no diferem entre elas que de uma quantidade infinitamente
pequena; ou (que a mesma coisa) que uma quantidade que no aumentada ou
diminuda por outra quantidade infinitamente menor que ela, pode ser considerada
como permanecendo a mesma. Pede-se por exemplo que, podemos tomar Ap por
AP, pm por PM, o espao Apm pelo espao APM, o pequeno espao MPpm pelo
pequeno retngulo MPpR, o pequeno setor AMm pelo tringulo AMS, o ngulo pAm
pelo ngulo PAM, etc. (LHPITAL, 1696, p.03, traduo: Sebastiani Ferreira).

Neste postulado, as diferenciais so desprezadas quando comparadas com


quantidades finitas, ou seja,
x + dx = x

y + dy = y

z + dz = z

etc., onde ele faz uma observao que as ultimas letras do alfabeto, x, y, z, etc, denotam as
quantidades variveis e as primeiras letras a, b, c, etc., denotam as quantidades constantes.
O dx o pequeno acrscimo da abscissa e o dy o acrscimo da ordenada. Enfim, os d so as
partes infinitamente pequenas adicionadas ou subtradas de uma varivel quando esta aumenta
ou diminui continuamente.
LHpital continua usando o primeiro postulado para expressar as regras do
clculo para apresentar a regra do produto para derivadas.
d(x.y) = (x + dx)(y+dy) xy

= xy + xdy +ydx + dxdy xy =


= xdy + ydx + dxdy

= xdy + ydx.
Como dxdy uma quantidade infinitamente pequena com relao aos outros
termos xdy e ydx, estes so eliminados.

32

Achamos pertinente ver como que deduzida a diferena de uma frao


qualquer. A diferena de

ydx xdy
x
x

. Porque, supondo = z teremos x = yz e como


y
yy
y

estas duas quantidades variveis x e yz so sempre iguais, os seus aumentos ou os seus


decrescimentos sero tambm iguais, isto far com que as suas diferenas sejam iguais. E,
portanto, teremos dx = ydz + zdy [pela regra da diferena do produto, designada por LHpital
como Regra II] e dz =

dx zdy ydx xdy


x
=
quando fazemos z igual a . E encontramos o
y
yy
y

que era preciso.


Postulado II: Pede-se que uma linha curva possa ser considerada como uma
reunio de uma infinidade de segmentos de reta, cada um infinitamente pequeno; ou
(o que a mesma coisa) como um polgono com uma infinidade de lados, cada um
deles infinitamente pequeno que determinam, pelos ngulos que formam uns com os
outros, a curvatura da curva. Pede-se, por exemplo, que a poro da curva Mm e o
arco de crculo MS possam ser considerados segmentos de reta por causa dos seus
infinitamente pequenos, de tal modo que o tringulo pequeno msM possa ser
considerado retngulo (LHPITAL, 1696, p. 3. Traduo nossa). (Figura 3.1.1).

De acordo com Boyer (1996, p.288), devemos salientar neste momento que os
postulados I e II no so de modo nenhum aceitveis; no entanto, referindo-se a eles,
LHpital considerava-os to evidentes que no deixavam lugar ao menor escrpulo quanto
sua validade e certeza na mente de um leitor atento.

3.2

Demonstrao de LHpital
O Trecho a seguir, retirado da obra original de LHpital, o livro Analisis des

Infiniment Petits Pour lintelligence des lignes courbes. Vejamos como ele explica a regra de

indeterminao 0/0.

33

34

Proposio I15
Seja uma linha curva AMD (AP = x, PM = y, AB = a) tal que o valor da aplicada
y seja expressa por uma frao, cujo o numerador e denominador tornam-se zero, quando
x = a, isto , quando o ponto P cai sobre o ponto B dado. Pergunta-se qual o valor da
aplicada BD ?
LHpital demonstra ento geometricamente que substituindo o numerador e o
denominador pelas respectivas derivadas, calculadas para x = a, teremos o valor procurado.
Logo aps d dois exemplo:

y=

2a 3 x x 4 a 3 a 2 x

a 2 ax
e y=
.
a ax

a 4 ax 3

Sua demonstrao a seguinte:

D d
M

f
C

Figura 3.2.1
Grfico feito por LHpital ilustrando a regra de indeterminao 0/0

Seja estendido duas linhas curvas ANB, COB que tm por eixo comum a linha AB, e
que sejam tais que a aplicada PN exprime o numerador e a aplicada PO o
denominador da frao geral, que convm a todos os PM: de sorte que
ABxPN
. claro que estas duas curvas se encontram no ponto B, pois que
PM =
PO
15
Proposio da Seo IX do livro de LHpital Solues de problemas gerais que depende dos
mtodos de diferenciao p. 145.

35

por suposio PN e PO so cada um zero quando o ponto P se torna B. Isto posto, se


imaginarmos uma aplicada bd infinitamente prxima da BD, e que encontra as
ABxbf
linhas curvas ANB e COB nos pontos f e g, teremos bd =
a qual no difere
bg
de BD . No questo de encontrar a relao de bg com bf. verificvel que o par
AP torna-se AB, os aplicados PN, PO tornam-se nulos, e AP torna-se AB, e que
tornam-se bf , bg. Donde necessrio que estes aplicados, eles mesmos bf, bg sejam
as diferenas dos aplicados em B e b em relao as curvas ANB, COB; e portanto
que se tomarmos a diferena do numerador e quando a dividimos pela diferena do
denominador, depois de ter feito x = a = Ab ou AB. Teremos o valor procurado da
aplicada bd ou BD. o que procurvamos (LHPITAL, 1696, p.145, traduo:
Sebastiani Ferreira).

Comeamos por apresentar a traduo da Regra de LHpital a qual carece de


explicao luz do clculo usado na obra em que ela aparece pela primeira vez. Conforme
vimos, a obra escrita por LHpital comea por apresentar as definies, postulados e at
mesmo as regras de diferenciao que vai usar. , pois, com base nessa introduo que
iremos analisar esta regra.
LHpital comea por referenciar uma curva, que designa por AMD, a um eixo
AB, sendo A e B dois pontos dados, (Figura 3.2.1). Este eixo vai ser considerado o eixo das

abscissas. Toma de seguida um ponto M, sobre essa curva e desse ponto considera um
segmento de reta PM, com P pertencente ao eixo AB (PM no necessariamente
perpendicular ao eixo AB). Designa a medida do comprimento de PM por aplicada [ordenada]
e denota-a por y. Denota a medida do comprimento do segmento de reta AP por x e a medida
do comprimento do segmento de reta AB por a.
A curva considerada tal que o valor da aplicada y expresso por uma frao em
x, na qual o numerador e o denominador se anulam sempre que x toma o valor de a, isto ,

sempre que o ponto P coincide com o ponto B.


Uma vez que obtemos uma indeterminao do tipo 0/0, pergunta-se ento qual
deve ser o valor da aplicada BD?
Para resolver este problema LHpital considera duas curvas auxiliares ANB e
COB referenciadas ao eixo AB, e que sejam tais que a aplicada PN seja o numerador e a

aplicada PO seja o denominador da aplicada PM que expressa por uma frao; saliente-se
que tanto PN quanto PO so curvas expressas em funo de x. Assim considera
PM =

ABxPN
, multiplicando o numerador pela constante AB para preservar o princpio da
PO

homogeneidade. Note-se que esta constante podia ser qualquer uma.

36

Queremos conhecer BD. Vamos tomar a aplicada bd infinitamente prxima de BD


e assim bd =

Abxbf
ABxbf
, a qual no difere de BD, pelo Postulado I, ou seja, BD =
bg
bg

(tambm pelo Postulado I podemos considerar Ab = AB). Se conseguirmos relacionar, de


algum modo, bf com bg temos o problema resolvido.
Quando AP tende para AB podemos observar (Figura 3.2.1) que PN tende para
zero, passando-se o mesmo com PO. Com efeito, LHpital coloca como hiptese estas
condies. Pelo modo como foram construdas as curvas ANB e COB podemos afirmar que,
quando AP tende para Ab verifica-se que PN tende para bf e que PO tende para bg. Assim bf e
bg so as aplicadas em b relativamente s curvas ANB e COB, respectivamente.

De acordo com LHpital, devemos considerar a aplicada bd infinitamente


prxima da aplicada BD, pois quando b tende para B podemos considerar bf como a diferena
das aplicadas em B e b relativamente curva ANB. Do mesmo modo podemos dizer que a
aplicada bg a diferena entre as aplicadas em B e b relativamente curva COB.
Dado que ao considerarmos as diferenas bf e bg em vez de PN e PO,
respectivamente, j podemos efetuar a diviso

Abxbf
destas diferenas; pois elas no se
bg

anulam quando fizermos x = a, ou se quisermos x = Ab o que o mesmo que x = AB, luz do


postulado I. Encontramos deste modo, o valor da aplicada bd que o mesmo que o valor da
aplicada BD que desejvamos encontrar.
Podemos observar contra-senso em que entramos ao considerarmos, por um lado
bf PN, bg PO e por outro lado bd = BD. Ou seja, uma diferena tanto zero como

diferente de zero, conforme nos d ou no jeito. Cauchy, como iremos ver no item 3.4, no
admite que isto acontea.
Antes de apresentarmos os dois exemplos dados por LHpital de aplicao da
sua regra, convm chamar a ateno para as quatro proposies e conseqentes quatro
regras dadas na primeira seo, onde explicado como tomar as diferenas.
A regra I explica-nos como tomar a diferena de vrias quantidades adicionadas
ou subtradas umas s outras; a regra II ensina-nos a tomar a diferena para quantidades
multiplicadas; quanto regra III esta d-nos a diferena de quantidades divididas ou de
fraes; por fim, a regra IV refere-se diferena para as potncias de expoente perfeitos ou
imperfeitos, isto , inteiros ou fracionrios.

37

Exemplo I
2a 3 x x 4 a3 aax

claro que para x = a o numerador e denominador


a 4 ax 3
da frao tornam-se cada um igual a zero. porque tomamos a diferena
Seja y =

a 3 dx 2 x 3 dx

aadx

do numerador, que dividimos pela diferena do


33 ax 2
4
3adx
, depois de ter feito x = a, isto , que dividimos
denominador
adx por
4 3
3
4 a x
3
16
a o valor procurado de BD (LHPITAL, 1696, p.146,
dx , o que torna-se
4
9
traduo: Sebastiani Ferreira).
3

2a x x

Na verdade LHpital deriva o numerador e o denominador como fazemos hoje.


Vejamos:
2a 3 4 x 3
y' =

2(2a 3 x x 4 )

(2a 3 4 x 3 ) 3(a 2 x)

a3
3(a 2 x)

4(ax 3 )

2( 2 a 3 x x 4 )

3ax 2

2a 3 ( 2 a 3 x x 4 )
1

3ax 2
4(ax 3 )

Fazendo x = a, temos:
6a 3 ( a 3 )
1
6( a 4 ) 2

+ 2a 5

2
3(a 3 ) 3

3a 3
4( a 4 )

8a 5
=

3(a 2 x)

6a 4 = 16 a
3
9
4

38
y

O grfico16 da figura 3.2.2 mostra o

numerador (linha azul) e o denominador

(linha vermelha) e o momento em que


ambos se anulam no ponto de abscissa 3. A

linha roxa o grfico da funo y.

1
Figura 2.2.2
Grfico do primeiro exemplo de L'Hpital

Exemplo II
Seja y =

a 2 ax

. Usando a regra de LHpital, encontramos y = 2a quando x = a.


a ax
Podemos resolver este exemplo sem necessitar do clculo das diferenas, da
seguinte maneira maneira: Tendo cuidado com os incomensurveis, temos aaxx +
2aaxy axyy 2a3x + a4 + aayy 2a3y = 0, que sendo dividido por x a, se reduz a
aax a3 + 2aay ayy = 0; e substituindo a por x, vem como antes y = 2a
(LHPITAL, 1696, p.146, traduo: Sebastiani Ferreira).

Quando x = a, nos deparamos novamente com a indeterminao

0
, que LHpital
0

diz no precisar usar derivadas para resolver o problema. Para isso, basta multiplicarmos o
numerador e o denominador pelo conjugado do denominador que obtemos:
y=
16

(a 2 ax)( a + ax )
(a ax )( a + ax )

Neste exemplo foi considerado a = 3.

39

a 3 + a 2 ax a 2 x ax ax
a 2 ax

( a x)(a 2 + ax )
=
a (a x)

Fazendo x = a, temos:
y=

=
=

a 2 + a ax
a

y
4

a2 + a2
= 2a
a

3
2

O grfico na figura 3.2.3 mostra o


numerador

da

frao

em

azul

denominador em vermelho, fazendo-se a = 2.

x
1

1
Figura 3.2.3
Grfico do segundo exemplo de L'Hpital

3.3

Controvrsia sobre a descoberta da regra de indeterminao 0/0 e a


reivindicao de Bernoulli
Durante muito tempo acreditava-se que toda a obra no livro Analyse era realmente

obras de LHpital. Como j foi visto, LHpital no estava totalmente seguro de que pudesse
entender o novo clculo apresentado por Leibniz, e por isso pediu ao jovem Johann Bernoulli
que o ajudasse.
Em uma carta de 17 de maro de 1694 LHpital oferece a Johann um salrio
regular de 300 libras mensais, quantidade que tinha inteno de aumentar, para que Bernoulli
o ajudasse no desenvolvimento dos novos conceitos do clculo. Entretanto, Bernoulli deveria
comunicar-lhe suas descobertas, e em particular, pediu que Bernoulli no comunicasse
Varignon e a nenhuma outra pessoa. Vejamos as exigncias imposta por LHpital a
Bernoulli na carta:
Darei a voc com prazer uma penso de trezentas libras, que comear a primeiro de
janeiro do presente ano, e lhe enviarei duzentas libras pela primeira metade do ano
devido s revistas que voc me enviou e cento e cinqenta libras pela segunda
metade do ano, e assim seguir no futuro. Eu prometo aumentar esta penso sem
demora, pois sei que muito modesta, e farei isto to logo meus negcios estiverem
um pouco menos confusos. () No tenho a insensatez de lhe pedir todo o seu
tempo, mas solicitarei a voc que me d ocasionalmente algumas horas do seu

40

tempo para trabalhar no que eu pedir e tambm me comunicar de suas descobertas,


com o pedido de no mencion-las a outros. Eu tambm pediria para no enviar nem
a M. Varignon nem a outros cpias das notas que voc me permita ter, pois no me
contentaria se elas as tornassem pblicas. Envie-me sua resposta a tudo isso e
acredite em mim, Monsieur tout vous
Le M. de LHspital.
(STRUIK, 1963, p. 258, traduo nossa)

De acordo com a carta, LHpital propunha um acordo onde Bernoulli ficaria incumbido
de:
1 Trabalhar todos os problemas matemticos enviados ele por LHpital;
2 Mostrar a ele toda descoberta matemtica, e;
3 No enviar a outros copias das notas enviadas LHpital.
A resposta de Bernoulli nunca foi encontrada, mas, por uma carta de 22 de julho
de 1694, sabemos que ele aceitou a proposta. Para Bernoulli que ainda jovem recm casado e
desprovido de recursos, esse acordo teria vindo em bom momento. No se sabe at quando
durou o acordo, mas segundo Struik (1963, p. 258), a situao financeira de Bernoulli
melhorou, o mesmo no acontecendo com a de LHpital.
Apesar de LHpital pedir a Bernoulli que no fornecesse cpias das lies a
ningum, houve situaes em que as notas de aulas foram inevitavelmente conhecidas por
outros. De acordo com Abllan (2004, p.43), durante as aulas em Paris, as lies de Johann
eram copiadas pelo seu amigo Stahelin quando esteve em Oucques. Johann pede para seu
amigo no fazer cpia das lies correspondente a aquela estada. Stahelin ignora e faz cpia
das lies de Johann e repassa para Reyneau, que por sua vez para Montmort. Ele passa
tambm para Bizance.
Varignon desejava conseguir uma cpia. Aquela era a razo pela qual na carta a
Johann, LHpital solicitou, no comunicar as descobertas a Varignon, que era amigos de
ambos.
Diversas cartas entre Bernoulli e LHpital foram recentemente publicadas, e de
acordo com Sebastiani Ferreira (apud Struik, 1963), na carta de 22 de julho de 1694,
Bernoulli mostra a regra do 0/0. A formulao muito parecida com a que aparece no livro de
LHpital.

41

Em uma carta de LHpital Bernoulli de setembro de 1693 ele escreve:


Je vous avoue que j me suis fort appliqu rsoudre lquation
2a 3 x x 4 a 3 aax

lorque x = a, car ne voyant point de jour y russir puisque


a 4 ax 3
toutes ls solutions qui se prsentent dabourd ne sont ps exactes.
y=

A soluo desse problema aparece na citada carta de 22 de julho de 1694,


numerada de carta nmero 28, onde Bernoulli demonstra a regra de indeterminao 0/0. Sua
demonstrao tambm geomtrica e ele d dois exemplos: o primeiro citado por LHpital
e o segundo y =

a ax x 2
a ax

. No comeo da carta Bernoulli diz:

voc vai encontrar neste papel a soluo desse enigma dado pelo Sr Viviani, mais
ele exatamente o mesmo problema que voc teria me proposto em Paris.
Finalmente tenho uma maneira de solucionar o problema das curvas descritas por
estes pontos que significa resolver esse tipo de equaes
y=

2a 3 x x 4 a 3 aax
a 4 ax 3

quando x = a

Fiquei contente, depois de ter tomado o cuidado de ler tudo para lhes explicar
claramente (BERNOULLI, 1955, p. 232. Traduo nossa).

Nesta mesma carta, Bernoulli afirma que est fornecendo os resultados apenas a
ele, LHpital, e demonstra que est um tanto angustiado por no poder mostrar nada a
Leibniz que foi quem de incio muito o ajudou sobre os assuntos do clculo, mas que
continuaria a manter a promessa com relao as descobertas. Tudo isso dito no trecho da
carta17 a seguir originalmente escrita por Bernoulli.
17

Traduo da carta da pgina seguinte: estou assumindo uma coisa que me deixa muito envergonhado;
prometi para senhor que no iria compartilhar minhas descobertas com ningum, mas aconselho a falar sobre o
nosso trato para o Sr Leibniz, se ele procurar. Na verdade seria muito desonesto mentir para um homem a quem
eu sou fortemente grato. No entanto, penso que para manter a promessa que lhe fiz, o melhor seria falar a
Leibniz que se trata do clculo diferencial e integral geral, e aquilo que meu irmo, e talvez outros j saibam;
bem como ele, mas no que diz respeito s coisas que tm sido discutidas entre voc e ele, em particular, as
descobertas feitas por ele eu vou respeitar, no futuro, com sua permisso, eu vos prometo, excelentssimo senhor,
manter sempre em segredo. J tenho dado provas anteriores, que sempre recusei prestar algum tipo de auxlio ao
senhor Varignon sobre clculo usando pretextos falsos, ele que tantas vezes me procurou, embora, na realidade,
eu teria obrigaes de ajud-lo, pois ele tem prestado muitos servios. No tenha qualquer dvida, que aps me
pedir segredo, eu mantive o seu pedido para sempre. Para obter outros trabalhos basta me escrever. Meu
humildes cumprimentos e de minha esposa.
Senhor
Seu humilde servo
Bernoulli
Traduo nossa.

42

Car de quel biais que je prenne la chose je me trouve fort embarass; Il est
bien vray que je vous ay promis de ne faire part de mes decouvertes qu vous, mais
me conseilleriez vous de refuser Mr. Leibnits a demande et de rompre entierement
le commerce avec luy? En verit cela seroit agir peu honntement avec un homme
qui je suis beaucoup redevable. Cependant je crois que pour tenir La promesse que
je vous ay faite, le meilleur expedient ser que je ne communique Mr Leibnits que
ce qui concerne en general le calcul differentiel et integral et ce qui est deja connu
mon frere et peut-tre dautres aussi bien qu moy; mais pour ce qui regarde les
choses qui ont t agites entre vous et moy en particulier et les decouvertes que jay
faites vtre egard et que je feray lavenir loccasion que vous me donnerez; je
vous promets saintemente, Monsieur, de les tenir toujours secrettes et de nen
eventer rien du tout; Je vous en ey dja donn des preuves par avance, ayant toujours
refus sous des pretestes forgs Monsieur Varignon les prncipes du calcul integral
quil a si souvent et si instamment sollicits, quoique dailleurs je luy aye beaucoup
dobligations de mavoir fait de grands services. Je ne doute ps quil ne les

43

demandera encor, mandez moy par quel moyen je Le pusse faire desister de sa
demande pour toujours. Je partiray demanin pour la campagne 6 lieues dicy pour
y boire les eaux de Fevres, si vous voulez prendre La peine de mecrire vous navez
qu faire ladresse ordinaire. Ayant fait Madame mes tres humbles respects et
ceux de ma femme je suis
Monsieur
Votre tres humble et tres
abeissant serviteur
Bernoulli

Passemos a mostrar a maneira como Bernoulli apresenta a regra de


indeterminao 0/0.
Problema: Seja dada uma curva cuja natureza se exprime por uma frao igual a y, que em

certo caso o numerador e o denominador iguais a zero, pergunta-se o valor, isto a grandeza
da aplicada y.

Figura 3.3.1
Grfico feito por Bernoulli ilustrando a regra de indeterminao 0/0

A soluo que Bernoulli apresenta a seguinte:


Soluo de Bernoulli: Seja AEC uma curva dada, AD = x, DE = y, AB = a uma
constante, tal que BC uma frao com numerador e denominador nulos. Temos
que achar o valor BC. Johann constri sobre o eixo abd, duas curvas aeb e b, tal
que, as abscissas AD e ad sejam iguais. As ordenadas de est em razo do
numerador da frao geral que expressa DE. E as ordenadas d est para a razo do
denominador da frao geral. Johann diz que claro que dividindo por d temos o
valor DE. Temos que encontrar o valor de d quando ab = AB. Neste caso de e d se
anulam porque os dois termos da frao se anulam, e assim as duas curvas aeb e b
se cortam no ponto b. No se tem ento que tomar as ltimas diferenciais c, , que
divididas pela outra marcar o valor procurado de BC. Isto fornece a regra geral:
Para encontrar o valor da aplicada de uma dita curva neste caso, necessrio dividir
a diferencial do numerador da frao geral pela diferencial do denominador, o
quociente, depois de fazer x igual a suposta de AB, ser a grandeza de BC
(BERNOULLI, 1955, p.235. Traduo: Sebastiani Ferreira).

44

Traduzindo para a linguagem atual transcrevemos a regra para 0/0 feita por
Bernoulli18.
() Se
f ( x)
g ( x)
e ambas as curvas y = f(x) e y = g(x) passam pelo mesmo ponto P no eixo x, OP = a,
ento f(a) = g(a) = 0, e se tomarmos as coordenadas x = a + h, ento a figura mostra
imediatamente que
f ( a + h)
g ( a + h)
y=

quase igual ao quociente de h f ' ( a + h) por h g ' ( a + h) , onde h pequeno.


No limite encontramos nas palavras de Bernoulli:
Para encontrar o valor da ordinria (applique) da curva dada:

f ( x)
y =

g ( x)

Neste caso necessrio dividir a diferencial (la diffrentielle) do numerador da


frao geral pela diferencial do numerador (STRUIK, 1963, p.259. Traduo:
Sebastiani Ferreira).

Como j foi dito, os exemplos de Bernoulli so quase os mesmo que LHpital usou:

2a 3 x x 4 a 3 a 2 x
16
para x = a. Ento y = a . Este exemplo foi usado por
1) y =
4
3
9

a ax
ambos Bernoulli e LHpital.

2) y =

a ax xx
a ax

para x = a. Ento y = 3a. Este exemplo de Bernoulli foi mudado por

LHpital para:
y=

aa ax
a ax

Para x = a. Ento y = 2a.


A demonstrao de Bernoulli tambm geomtrica e muito semelhante a que est
no Analyse, inclusive um dos exemplos que LHpital coloca em seu livro o mesmo que
Bernoulli usa em sua carta. Um outro, que utilizado por ambos, apresenta tambm grande
semelhana. Existem algumas diferenas pequenas entre os dois autores: em primeiro lugar o
desenho que Bernoulli faz em sua carta; o acrscimo feito no desenho se d pelo lado

18

Veja Struik, 1963, p. 257 260.

45

esquerdo, isto , negativamente, e o acrscimo dado por LHpital se encontra direita.


Segundo Sebastiani, a diferena mais significativa, que LHpital usa na sua demonstrao
o conceito de frao como proporo, ento ele necessita colocar a constante AB no
numerador de sua frao, o que no ocorre com Bernoulli. Isto tambm se reflete nos
exemplos. No segundo exemplo, Bernoulli tem no numerador a ax xx , enquanto que
LHpital escreve aa ax. Ele tinha a necessidade da constante a na proporcionalidade.
Mas em essncia as duas demonstraes e os exemplos so iguais, o que confirma
o fato de que a Regra de LHpital devida a Johann Bernoulli, uma vez que o livro de
LHpital de 1696 e a carta de Johann Bernoulli de 1694. Devido a esse fato, preferimos de
agora em diante denominar a regra de indeterminao 0/0 com o nome de Regra de
LHpital-Bernoulli.
Abellan encontra nas publicaes de Paul Schafheitlin19 das cartas entre Bernoulli
e LHpital indcios de que os trabalhos eram mesmo de Bernoulli.
Em 1922 Paul Schafheitlin edita as Lectiones de calculo differentialium de Johann
Bernoulli, e diz que so as lies de clculo diferencial e integral que ofereceu a
LHpital entre 1691 a 1692. Comparando ambos os textos observa-se as
coincidncias como: A questo da origem das fontes20 os exemplos e a forma de
resoluo. Em 1955, Otto Spiess publica a correspondncia entre Johann Bernoulli e
LHpital, que como j vimos, quando Bernoulli abandona Paris e retorna a Basilia
no final de 1692, suas lies continuam. Estas cartas reforam o fato de que as
supostas contribuies originais de LHpital eram problemas que haviam sido
trabalhados juntos, Johann Bernoulli e LHpital (ABLLAN, 2004, p. 43).

Na introduo de Lectiones de Johann Bernoulli aparecem trs postulados, os


quais constam tambm no livro Analyse de LHpital:
1) Uma quantidade que diminuda ou aumentada de uma quantidade
infinitamente pequena, no nem diminuda nem aumentada;
2) Cada linha curva est composta por uma infinidade de linhas retas,
infinitamente pequenas;
3) Uma curva que est contida entre duas ordenadas, a diferena entre as abscissas
a parte infinitamente pequena de uma curva qualquer, considerada como um
paralelogramo (BERNOULLI, 1955, p.3).

Com relao ao item 1 acima, LHpital havia escrito no postulado I do seu livro
que: uma quantidade que no aumentada ou diminuda por outra quantidade infinitamente
19

Doutor em matemtica em Halle em 1885autor de vrias publicaes entre elas a equao diferencial de

Bessel.
20

Ambos os autores (LHpital e Bernoulli) tinham acesso aos artigos de Leibniz.

46

menor que ela, pode ser considerava como permanecendo a mesma, isto , uma constante.
Comparando o item dois e trs acima com o postulado II de LHpital, podemos afirmar que
tanto um quanto o outro considerava uma linha curva como sendo constituda por uma
infinidade de segmentos, ou ento, a curva pode ser comparada com um polgono que possui
uma infinidade de lados.
Quando o livro Analyse foi publicado, Bernoulli logo reconheceu suas notas de
aulas. Struik (1963, p.259) diz que: A situao, portanto, ficou esclarecida. Quando o livro
de LHpital foi publicado, Bernoulli estava amarrado pela promessa de no revelar quais as
partes do livro que eram dele. S podia diz-lo particularmente.
Quando Johann Bernoulli recebeu uma cpia do livro enviada por LHpital no
qual, no seu prefcio, constava uma pequena meno ao seu nome, ele agradeceu LHpital
e prometeu retornar os comprimentos to logo tivesse composto algo. Escreveu que o trabalho
era admiravelmente bem apresentado, e prazeroso nos arranjos das proposies e pela
inteligibilidade da exposio e ainda sugeriu a LHpital que escreva um clculo integral
como seqncia do Analyse. Bernoulli, entretanto, observou com um aparente cime o grande
sucesso do livro do seu protegido, e depois da morte de LHpital a insatisfao de Johann I
Bernoulli veio a desencadear.
Aps a morte de LHpital, em 1704, Bernoulli o acusa de haver plagiado vrios
de seus trabalhos e reivindica a autoria desses trabalhos que, por sua vez, segundo Bos (1985,
p.5), havia perdido a credibilidade em tais assuntos devido a desavenas pblicas,
principalmente com seu irmo Jacob. Esse reconhecimento s aconteceu em 1921, quando a
famlia de Bernoulli permitiu publicar suas cartas que eram as correspondncias entre
Bernoulli e LHpital. Os matemticos perceberam que as grandes idias do segundo foram
dadas pelo primeiro. De acordo com Grattan-Guinness (1984, p.74), as reivindicaes de
Johann Bernoulli sobre a maior parte dos contedos do Analysis des Infiniment Petits estavam
plenamente justificadas quando se descobriu os manuscritos originais.
... inmeros resultados encontrados no famoso livro do marqus de St. Mesme
(LHpital) so meus. Ele no sabia muita coisa de clculo e prontifiquei-me a
ensinar-lhe. Recebi dinheiro por tal empreendimento, porm perdi a fama da autoria
de vrias tcnicas ... (RICIERI, 1992, p.28).

A Academia de Cincias ficou dividida com relao a produo do livro Analysis


des Infiniment Petits e chegou at a formar uma comisso para julgar de quem era a autoria
em questo.

47

Abllan (2004, p.42) conta que, em 1698 Johann I Bernoulli escreveu para Leibniz
queixando-se que o marqus havia plagiado suas lies de clculo. Em 1704, depois da morte
de LHpital, Johann I escreveu tambm a Taylor, lamentando aqueles fatos. Em sua carta
Johann diz; Senhores exponho em pblico que a regra que aparece no artigo 163, seo IX,
do Analyse (conhecida a partir de ento como regra de LHpital) na realidade
descoberta minha.
De fato, LHpital em nenhum momento afirma que a regra fosse de sua autoria.
Em 1742 Johann publica suas lies sobre Clculo Integral. Em uma nota afirma que o
contedo de suas lies de clculo diferencial que aparece no livro Analyse publicado por
LHpital era dele, o qual havia-lhe presenteado.
O estudo da Histria da Matemtica possibilita tentarmos entender qual o papel
que cada matemtico desempenhou na teoria do Clculo Diferencial e em quais situaes os
conceitos foram desenvolvidos. Somos capazes de observar a importncia de cada um dentro
da comunidade matemtica. Podemos dizer que ambos os autores envolvidos nas
controvrsias tiveram papis importantes para o desenvolvimento e publicao dos conceitos
fundamentais do clculo. Devemos tudo isso a esses gnios da matemtica, um por decifrar
mais facilmente a matemtica, outro pelo poder de saber fazer colocaes claras de escrita.
Os fundamentos do clculo envolviam conceitos e postulados que necessitavam
ser esclarecidos. Uma quantidade que, como o primeiro postulado de LHpital, aumenta ou
diminui e mesmo assim permanece a mesma envolve uma contradio lgica que sugere que
ela no pode existir. Segundo Bos (1985, p.15), como explicar o que diferencial? Para
LHpital uma quantidade infinitamente pequena a diferena entre dois valores de uma
varivel que esto infinitamente prximos um do outro. O que significa infinitamente
pequeno? Significa que quantidades pequenas podem ser desprezadas com relao a
quantidades finitas. Estas eram questes que ainda precisariam ser respondidas e durante
muito tempo ficaram sem respostas.
Estas inconsistncias renderam crticas de vrios matemticos como George
Berkeley (1685 1753) e Leonhard Euler (1707 1783) que no conseguiram explicar as
inconsistncias existentes no clculo diferencial. Depois de Berkeley alguns resultados
positivos para entender o clculo comearam a surgir. Jean Le Rond dAlembert (1717
1783) matemtico, cientista e filsofo francs, defendeu em 1754, o uso de limites para
eliminar a inexatido inerente s infinitesimais. A razo pelo qual o conceito de limite de
dAlembert no ter sido aceito de imediato porque ele o considerava o limite de uma

48

varivel ao invs do valor de uma funo quando a varivel independente tende a um valor
dado.
Joseph Louis Lagrange (1736 1813) especificou a relao entre x e y
considerando y como uma funo f de x, e ento a derivada f como uma funo de x
relacionada funo f pela propriedade de ser o coeficiente de h no desenvolvimento em srie
de f(x + h). Segundo ele, para cada funo f, e para cada x, f(x + h) poderia ser desenvolvida
como uma srie de potncias em h:
f(x + h) = f(x) + Ah + Bh2 + Ch3 +
O problema que parecia estar totalmente resolvido tinha a questo da convergncia
das sries, que pode ser discutido somente em termos de limites, e devemos ainda levar em
considerao ainda que, no verdade que podemos desenvolver toda as funes f(x + h)
como uma srie de potncias em h.
O problema sobre os fundamentos do clculo ainda permanecia, mas com as
discusses feitas por vrios matemticos e filsofos durante os cem anos depois de LHpital,
contriburam para que Cauchy conseguisse justificar as inconsistncia que envolviam as
quantidades infinitamente pequenas.

3.4

A Regra Segundo Cauchy


O clculo rigoroso de Cauchy no de todo intuitivo como quando trabalhamos

com velocidades, distncias, tangentes e reas. Quando Newton e Leibniz inventaram o


clculo no sculo XVIII, eles no usaram psilons e deltas para prov-lo. Isto demorou uns
150 anos para aparecer, o que deixa evidente que no foi to simples desenvolver a
sistematizao dos conceitos fundamentais do clculo com o rigor que aparece hoje. Segundo
Grabiner (2005, p.185) no de se admirar que um estudante moderno encontre as bases do
clculo rigoroso difcil.
Os matemticos do sculo XVI, principalmente os precursores do Clculo de
Newton e Leibniz, tinham conhecimentos dos fundamentos do clculo, mas no sabiam como
justificar as inconsistncias existentes, como por exemplo, justificar que quantidades
infinitamente pequenas, chamadas de diferenciais, que primeiramente existiam e seriam
diferentes de zero, logo depois devemos consider-las iguais a zero. Esta falta de clareza em
relao s diferenciais no foram esclarecidas nem mesmo por Newton e Leibniz que se

49

tornou alvo de muitas crticas, principalmente pelo filsofo George Berkeley (1685 1753).
As crticas no sero aqui analisadas por considerarmos fora do mbito deste trabalho.
Aps muitas controvrsias e muitas tentativas de soluo no sculo XVIII, os
fundamentos do clculo foram firmemente fixados no sculo XIX pelo francs engenheiro
Augustin Louis Cauchy (1789 1867) sustentado basicamente em:

Considerar as variveis como funes de uma varivel independente;


Introduzir a funo derivada como um conceito fundamental do clculo;
Usar o conceito de limite bem explcito na definio da funo derivada.

Figura 3.4.1
Cauchy (1789 - 1857)

Cauchy, matemtico francs, nasceu em Paris em 21 de Agosto de 1789 e faleceu


em Seine em 23 de Maio de 1857. Sobrevivendo de forma precria, Cauchy cresceu
desnutrido e debilitado. Recebeu a sua primeira educao em casa por intermdio de seu pai,
ingressando na escola aos treze anos passando a ganhar vrios prmios acadmicos. Com
dezesseis anos entrou na Escola Politcnica21, de Paris, onde se graduou em engenharia civil.
Seu primeiro trabalho foi como engenheiro militar na base naval de Cherbourg e, em 1813,
voltou para Paris para dedicar-se a seus interesses cientficos. Segundo Eves (2004) ganhou a
admirao de Lagrange e Laplace. Aos 26 anos passou a lecionar na Escola Politcnica
abandonando a carreira de engenheiro civil e, com 27 anos era considerado um dos
matemticos de maior prestgio da Frana.
Veremos que Cauchy expressa o conceito final de limite em termos de funo ao
invs de variveis, e tambm, vamos poder acompanhar o conceito de derivada como um

21

Famosa escola para engenheiros militares fundada em 1794, que segundo Bos (1985), durante muito

tempo atraiu como professores os mais prestigiados matemticos e cientistas franceses.

50

limite. Segundo Bos (1985), Cauchy foi alm da combinao dos conceitos de funo e limite
nos fundamentos do clculo.
Cauchy publicou 789 trabalhos, dentre eles encontramos o conceito de limite, os
critrios de convergncia das sries infinitas, teoremas de integrao e as equaes
diferenciais de Cauchy-Riemann. Sua extensa obra introduziu e consolidou o conceito
fundamental do rigor matemtico. Vamos analisar aqui os resumos das lies22 de Cauchy de
suas aulas, ministradas na Escola Politcnica sobre clculo diferencial (Rsum des leons
donnes a Lcole Royale Polytechnique sur le calcul infinitsimal).

Figura 3.4.2
Capa do livro - Lies de Cauchy

Primeira Lio (Variveis, Limites e Quantidades Infinitamente Pequenas)

Nos resumos da sua primeira lio, Cauchy comea por definir quantidade
varivel como aquela que podemos considerar como podendo receber sucessivamente vrios
valores diferentes uns dos outros. Prossegue definindo constante e limite.
Chamamos constante a toda a quantidade que toma um valor fixo e determinado.
Quando os valores sucessivos atribudos a uma varivel se aproximam
indefinidamente de um valor fixo, de tal forma que no final diferem dele to pouco
quanto queira, a este ltimo valor chamamos limite de todos os outros (CAUCHY,
1849, p.13).

22

As tradues das lies de Cauchy so tradues nossa.

51

Afim de esclarecer a propriedade acima, e de transformar a matemtica menos


abstrata e mais compreensiva, Cauchy usa um exemplo de muitos sculos atrs, exemplo este
usado principalmente por Arquimedes (287 212 a.C) em seu mtodo de exausto para
provar rea do crculo.
A rea do crculo o limite para o qual convergem as reas de todos os polgonos
regulares inscritos, se o nmero de seus lados aumentarem cada vez mais e o ngulo
entre o eixo x e o raio vetor, traado do centro de uma hiprbole a um ponto na
curva que se mover cada vez mais para longe de seu centro, forma com o eixo x um
ngulo que tem como limite o ngulo entre esse mesmo eixo e a assntota;
Indicaremos o limite para o qual converge determinada varivel pela abreviao lim
escrita antes da varivel. (CAUCHY, 1849, p.13)

Aps Cauchy trabalhar alguns exemplos de aplicao, podemos ver em suas lies
definio do infinitamente pequeno.
Quando os valores numricos sucessivos de uma mesma varivel decrescem
indefinidamente de modo a ficarem abaixo de todo o nmero dado, a esta varivel
ser dado o nome de infinitamente pequeno, ou quantidade infinitamente pequena.
Uma varivel desta espcie ter zero como limite (CAUCHY, 1849, p.16).

Cauchy termina o resumo desta lio definindo infinito positivo e infinito


negativo.
Segunda Lio (Funes Continuas e Descontinuas. Representaes Geomtricas das

funes Contnuas)
Nesta lio, Cauchy comea a introduzir o conceito de funo:
Quando quantidades variveis esto de tal modo ligadas entre elas, que sendo dado
o valor de uma delas, podemos calcular o valor de todas as outras, ou conseguimos
exprimir as diversas quantidades variveis custa de uma delas, esta tomar o nome
de varivel independente; e as outras quantidades exprimidas por meio da varivel
independente, diremos que esto em funo desta varivel (CAUCHY, 1849, p.17).

Segundo Bos (1985, p.35), a palavra funo foi usada pela primeira vez na
matemtica por Leibniz. Durante o decorrer da histria, as funes tiveram significados
(sentidos) diferentes. Leibniz chamava de funes as quantidades geomtricas variveis
relacionadas a uma curva. Johann Bernoulli chamou de funes as expresses analticas que
envolviam somente uma quantidade varivel, assim como Euler apresentou em seu livro
Introduction to Analysis of Infinits (Introduo Anlise de Infinitos) de 1748. No volume I

52

desse mesmo livro, Euler passou a chamar de funo qualquer varivel que dependa de outra
de tal modo que, quando a segunda varia a primeira tambm varia.
Cauchy apenas diz que uma funo uma quantidade expressa por meio de uma
outra quantidade independente. Podemos observar nesta definio, que no est explicito que
ambas variam, assim poderemos considerar como funo o exemplo dado por Dirichlet23:

1, se x racional
f ( x) =
0, se x irracional
Cauchy define o que so funes explicitas e implcitas e mostra alguns exemplos
dessas funes.
Aps a definio de varivel independente e de funo vejamos como Cauchy
define acrscimo.
De seguida, no clculo, tomamos a notao para indicar os acrscimos
simultneos de duas variveis que dependam uma da outra. Suponhamos que a
varivel y est expressa em funo da varivel x pela equao

y = f (x)

(3.1)

y, ou o acrscimo de y corresponde ao acrscimo x da varivel x, e ser


determinado pela frmula

y + y = f ( x + x)

(3.2)

F ( x, y ) = 0

(3.3)

F ( x + x, y + y ) = 0

(3.4)

Mais geralmente, se supusermos

teremos

facilmente observamos que das equaes (3.1) e (3.2) juntas, conclumos

y = f ( x + x) f ( x)

(3.5)

Consideremos agora h e i duas quantidades distintas, a primeira finita, a segunda


i
infinitamente pequena, e =
a razo infinitamente pequena destas duas
h
quantidades. Se atribuirmos a x o valor finito h, o valor y dado pela equao
(3.5), ser chamado a diferena finita da funo f(x), e ser ordinariamente uma
quantidade finita. Se pelo contrrio atribuirmos a x um valor infinitamente
pequeno, se fizermos, por exemplo, x = i = h o valor de y ser, f(x + i) f(x) ou
f(x + h) f(x) e ser ordinariamente uma quantidade infinitamente pequena
(CAUCHY, 1849, p.18).

23

Johann Peter Gustav Lejeune Dirichlet (1805 1859) foi um matemtico alemo a quem se atribui a
moderna definio formal de funo.

53

De acordo com Bos (1985, p.47), para Cauchy, uma quantidade infinitamente
pequena no zero, e nem uma quantidade constante menor do que qualquer quantidade
finita, mais uma varivel que se aproxima de zero. Utilizando-se dessa noo de
quantidade infinitamente pequena, Cauchy define a continuidade das funes.
Quando a funo f(x) admite um valor nico e finito para todos os valores de x
compreendidos entre dois limites dados, a diferena f(x + i) f(x) est sempre entre
dois limites a menos de uma quantidade infinitamente pequena, dizemos que f(x)
uma funo contnua da varivel x, dentro dos limites onde ela varia (CAUCHY,
1849, p.19).

Observamos que o termo infinitamente pequeno ainda usado, coisa que no mais
fazemos para definir continuidade de uma funo. A expresso x est sempre entre dois
limites significa que est no interior de um intervalo aberto. Como escrevemos hoje, x
pertence ao intervalo aberto (a , b).
A prxima definio sobre a vizinhana e sobre continuidade de uma funo.
Vejamos as colocaes feitas por Cauchy sobre continuidade.
Conceba-se a construo da curva que tenha por equao, em coordenadas
retangulares, y = f(x). Se a funo f(x) contnua entre os limites x = x0 e x = X, a
cada abscissa x compreendida entre esses limites corresponder uma s ordenada; e
mais, se x crescer de uma quantidade infinitamente pequena x, y crescer uma
quantidade infinitamente pequena y. Por conseguinte, a duas abscissas muito
prximas x e x + x correspondero dois pontos muito prximos um do outro, pois a
sua distncia x 2 + y 2 ser ela prpria uma quantidade infinitamente pequena.
Estas condies no podem ser satisfeitas quando os diferentes pontos no formam
uma linha contnua entre os limites x = x0 e x = X (CAUCHY, 1849, p.20).

Observamos nesse pargrafo a diferena na definio de quantidades infinitamente


pequena dada por LHpital e a apresentada agora por Cauchy. Segundo LHpital, as
quantidades que diferissem apenas por uma quantidade infinitamente pequena poderiam ser
consideradas como sendo iguais; enquanto Cauchy diz que sero pontos muito prximos um
do outro, e que a distncia entre eles ser ainda assim uma quantidade infinitamente pequena.
Segundo Grabiner (2005, p.190) Cauchy deu essencialmente a definio de funo
continua, dizendo que a funo f(x) continua num dado intervalo se para cada x no intervalo
o valor absoluto da diferena f(x + ) f(x) decresce infinitamente com .

54

Terceira Lio (Derivadas das funes de uma s varivel)

Vejamos como Cauchy definiu derivada usando o conceito de limite combinado


com o conceito de funo.
Quando a funo y = f(x) for contnua entre dois limites dados da varivel x, e
sempre que esta varivel tome um valor compreendido entre os dois limites
considerados, um acrscimo infinitamente pequeno atribudo varivel produz um
acrscimo infinitamente pequeno da funo. Conseqentemente, se tomarmos agora
x = i os dois termos da razo das diferenas
y f ( x + i ) f ( x )
=
x
i

(3.6)

sero duas quantidades infinitamente pequenas. Mas, estes dois termos da igualdade
aproximam-se indefinidamente e simultaneamente do limite zero, ela prpria pode
convergir para outro limite, positivo ou negativo. Este limite quando existir tem um
valor determinado para cada valor particular de x; mas variando com x. Este limite
uma nova funo da varivel x. A forma desta nova funo que ser o limite da
f ( x + i ) f ( x)
razo
depender da forma da funo proposta y = f(x). Para indicar
i
esta dependncia, daremos nova funo o nome de funo derivada e designamola com a ajuda de um apstrofe, pela notao ou y ou f (x) (CAUCHY, 1849,
p.20).

Cauchy diz que para cada valor particular de x, a razo

f ( x + i ) f ( x)
, que uma
i

quantidade infinitamente pequena depender de i, ou seja, esta razo considerada agora


como sendo uma funo e no mais uma varivel como eram tratadas pelos matemticos
anteriores. Quando a funo se aproximar de um valor fixo bem definido i tende a se
aproximar de zero.
Cauchy apresenta vrios exemplos de funes e calcula suas derivadas aplicando
os conceitos precedentes. Dentre as funes temos: y = a + x; y = a x; y = ax, ...
Tomemos como exemplo a funo y = ax. Ento

y a( x + i ) ax
ax + ai ax
ai
=
=
= =a
x
i
i
i
Como a razo constante, o limite quando i tende a 0 a.
O autor termina a terceira lio expondo alguns exemplos de aplicao e
apresentando a derivada de funes compostas.

55

Quarta Lio (Diferenciais das funes de uma s varivel)

Cauchy utiliza uma notao que utilizada at hoje. Usava a notao y = f(x) para
indicar que a varivel independente x enquanto que y a varivel dependente. O smbolo

dy
, introduzido por Leibniz, simplesmente outra maneira de expressar f (x) e no era
dx
encarado como um quociente.
Consideremos sempre y = f(x) uma funo de varivel independente x, i uma
quantidade infinitamente pequena e h uma quantidade finita. Se considerarmos
i = h, ser agora uma quantidade infinitamente pequena e obtemos a identidade
f ( x + i ) f ( x ) f ( x + h) f ( x )
=
i
h

de onde concluiremos que


f ( x + h) f ( x )

f ( x + i ) f ( x)
h
i

(3.7)

O limite para o qual converge o primeiro membro da equao (3.7) sempre que a
varivel se aproxima indefinidamente de zero, a quantidade h ficando constante,
ser chamada diferencial da funo y = f(x). Denotaremos o diferencial pela letra
d donde ficar:
dy ou df (x).

fcil de obter o seu valor sempre que se conhea o valor da funo derivada y ou
f (x). Com efeito, tomando os limites dos dois membros da equao (3.7) obtemos,
em geral,
df(x) = hf (x)

(3.8)

No caso particular em que f(x) = x, a equao (3.8) reduzir-se- a


dx = h

(3.9)

Assim o diferencial da varivel independente x no outra coisa seno a constante


finita h. Se a substituirmos na equao (3.8) vir
df (x) = f (x) dx

(3.10)

dy = y dx

(3.11)

ou, o que o mesmo,

Resulta desta ltima igualdade que a derivada y = f (x) de uma funo qualquer
dy
, isto o mesmo que dizer que a razo entre o
y = f(x) precisamente igual a
dx
diferencial da funo e o da varivel ou, se quisermos, o coeficiente por que
necessrio multiplicar o segundo diferencial para obter o primeiro. por esta razo
que damos algumas vezes funo derivada o nome de coeficiente diferencial
(CAUCHY, 1849, p.27).

56

Segundo Cauchy Diferenciar uma funo encontrar a sua diferencial. A


operao pela qual diferenciamos chamada de diferenciao.
Facilmente vemos que aplicando a frmula (3.9) podemos obter os diferenciais
das funes para as quais conhecemos as derivadas. Tomando o nico exemplo por ns
apresentado temos que d(a + x) = dx.
Aps a apresentao de mais exemplos Cauchy chegava, no final desta lio,
naturalmente, concluso de que a razo entre as diferenas infinitamente pequenas de
duas funes da varivel x ter por limite a razo dos seus diferenciais ou das suas
derivadas.

Com efeito, suponhamos y = f(x) , e x = i = h, o segundo membro da equao


(3.7) ter por limite dy, que poder ser apresentado na forma

y
= dy +

designando uma quantidade infinitamente pequena, conclumos que


y = (dy + )

Seja z uma segunda funo da varivel x. Teremos na mesma


z = (dz + )

designando ainda uma quantidade infinitamente pequena. Teremos de seguida

z dz +
=
y dz +
e quando passamos aos limites teremos,
lim

z dz z ' dx z '
=
=
= ,
y dy y ' dx y '

Assim a razo entre as diferenas infinitamente pequenas de duas funes da varivel x ter

por limite a razo dos seus diferenciais ou das suas derivadas.


A quinta lio trata da soma de funes. Diferenciais da soma de vrias funes e

a soma de suas diferenciais. Conseqncias destes princpios. Diferenciais de funes


imaginrias24.
Estamos agora em condies de ver como Cauchy resolve, no fim da sua sexta
lio o problema proposto pela proposio I na nona seco do livro Analyse des infiniment

petits, pour l'intelligence des ligne courbes de LHospital.

24

Diferenciais com nmeros complexos. Cauchy na pgina 39 do Rsum des Leons (quinta lio),

mostra como calcular o limite de expresses do tipo

s = u + p 1

57

IV25

25

Este problema pode ser encontrado em Cauchy, 1849, p. 40.

58

Sexta Lio (Uso dos diferenciais e das funes derivadas na soluo de problemas.

Mximos e mnimos de funes de uma s varivel. Valores das fraes que se apresentam na
forma

0
).
0

Problema IV Queremos o verdadeiro valor de uma frao em que os seus dois


termos sejam funes da varivel x, no caso de se atribuir a esta varivel um valor particular,
para o qual a frao se apresenta na forma indeterminada

Soluo Seja s =

0
.
0

z
a frao proposta, y e z designam duas funes da varivel
y

x, e suponhamos que o valor particular x = x0, reduz esta frao forma

0
, isto o mesmo
0

que dizer que ele faz esvaecer y e z. Se representarmos por x, y e z os acrscimos


infinitamente pequenos e simultneos das trs variveis x, y e z, teremos para um valor
qualquer de x

s=

z
z + z
= lim
y
y + y

e, para o valor particular x = x0,

s = lim

z dz z '
=
=
y dy y '

Assim o valor procurado da frao s ou


razo

z
coincidir geralmente com o valor da
y

dz
z'
ou
dy
y'

Fazendo uma leitura atenta de todas as definies que Cauchy foi dando ao longo
das seis primeiras lies de Clculo Diferencial ministradas na cole Polytechnique podemos
encontrar o Teorema do Valor Mdio26 que hoje usado para demonstrar, de forma rigorosa,
a Regra de LHpital. Estas lies que foram aqui traduzidas, podero ser encontrada na obra
intitulada Rsum des Leon A Lcole Polytechnique sur Le Calcul Infinitsimal datada
de 1849. Encontramos demonstrada a regra de LHpital por Cauchy.

26

O Teorema do Valor Mdio, est de forma implcita no final da quarta lio: a razo entre as diferenas
infinitamente pequena de duas funes da varivel x ter por limite a razo dos seus diferenciais ou das suas
derivadas.

4. Publicaes da Regra de LHpital


A Matemtica faz com que possamos
adquirir o hbito de raciocinar, e esse hbito
pode ser empregado, ento, na pesquisa da
verdade e ajudar-nos na vida.
Jacob Bernoulli
A partir do momento que LHpital publica seu livro de clculo Analysis des

Infiniment Petits Pour lintelligence des lignes courbes a regra de indeterminao 0/0 ficou
conhecida como Regra de LHpital. Um fato interessante que alguns livros publicados
por matemticos franceses no a denominam com esse nome, mais sim como um estudo de
indeterminaes da forma 0/0 como veremos adiante.

4.1

Publicao com o nome de LHpital


A maioria dos livros de clculo se referm a regra do clculo de limites, quando

ocorre a indeterminao 0/0, como sendo a Regra de LHpital. Hoje sabemos que o
verdadeiro criador de tal regra foi Johann Bernoulli, porm, o responsvel pela divulgao de
tal regra foi sem dvida LHpital, que atravs do seu livro Analyse, a tornou de domnio
pblico.
Struik (1963, p.259) afirma que no podemos esperar que a regra leve o nome

de Bernoulli. Isso se deve a vrios motivos. Primeiro, porque j h vrias regras e teoremas
com o nome Bernoulli. Outro argumento que Struik expe, e o que ele considera como um
argumento de peso que: () se comearmos a mudar os nomes de regras e teoremas

estritamente segundo as leis da prioridade, logo chegaremos concluso desanimadora de


que nossa cincia perder muitas de suas expresses familiares.
Muitos outros teoremas e regras que hoje nos so familiares atravs da
nomenclatura que receberam, tambm no tiveram sua origem naqueles sbios, cujos nomes
foram associados a tais regras e teoremas. o caso do Teorema de Pitgoras, que era
conhecido mil anos antes pelos babilnios. As equaes de Cauchy-Riemann eram conhecidas
59

60

por DAlembert e Euler. O teorema de Taylor seria de Gregory. Struik d ainda mais
exemplos de nomes que no foram autores diretos de trabalhos como: As equaes de John
Pell que j eram conhecidas muito antes pelos indianos; As sries de Fourier foram usadas por
Euler e Daniel Bernoulli. O tringulo de Pascal era conhecido pelo matemtico chins Yang
Hui e provavelmente muito mais antigo; e seu contemporneo Chin Chiu-shao trabalhou
como o mtodo de Horner da teoria das equaes algbricas como se fosse um instrumento
antigo, etc.
Muitos pases europeus assinaram na cidade de Bolonha um acordo denominado

Tratado de Bolonha, firmado em 1999 entre 29 pases europeus, em que se comprometem a


seguir uma formao de ensino superior semelhante em todos os pases. Dentre as propostas
especificas de cada disciplina ficou acordado que os contedos correspondentes a nosso
Clculo Diferencial e Integral I, que os europeus denomina-o de Anlise I, existe no programa
mnimo os seguintes tpicos:
1. Sucesses e funes
Nmeros Naturais, Racionais, Reais e desigualdades numricas. Sucesses, funes,
grficos e operaes algbricas.
2. A noo de limite
Propriedades algbricas, de monotonia e de enquadramento. Exemplos de limites de
funes e de sucesses. A srie geomtrica.
3. Funes contnuas e suas propriedades
Funes compostas, montonas e inversas. Teoremas de Bolzano e de Weierstrass (sem a
demonstrao rigorosa).
4. Derivao
Definio, propriedades e significaes geomtrica e fsica. Regras de derivao das
funes composta e inversa.
5. Teoremas bsicos do clculo diferencial
Teorema de Rolle, do valor mdio (Lagrange), regras de LHpital e de Cauchy.
Aplicaes (grifo nosso).

6. Derivaes de ordem superior e desenvolvimentos de Taylor


Mximos e mnimos, concavidade e inflexes, grficos e assntotas.
7. Primitivao e integrais indefinidos de funes elementares e compostas
Regras e propriedades. Integrao por partes e por substituio.
8. Integral definida
Propriedades elementares. O teorema fundamental do clculo.

61

9. Aplicaes do clculo integral


Clculo de reas, de volumes e de centros de massa; equaes diferenciais imediatas e
definies das funes elementares: logaritmo e exponencial, funes trigonomtricas.
Chamamos a ateno para alguns fatos importantes referentes ao item 5 dos
tpicos. Primeiro quanto ao nome do Teorema do Valor Mdio que creditado a Lagrange e
no a Cauchy como apresentado na maioria dos livros. Segundo, que a mais importante, a
adoo da regra com o nome de LHpital. Isso enfatiza o fato do que vem primeiro, e
aceito, torna-se difcil uma mudana, pois, sabemos que o 0/0 foi disseminando para o mundo
como criao do Marqus de LHpital, apesar de ter sido provado que tal regra no era dele.
De acordo com Struik (1963, p. 259), o melhor mesmo que deixemos o marqus com sua
regra primorosa, pois ele pagou por ela e tornou-a de domnio pblico.
O livro mais antigo que trata do assunto encontrado na biblioteca da UNICAMP
o de douard Goursat publicao Dover de 1904 em Nova York. Na pgina 10 encontra-se a
Regra de LHpital denominando-a dessa forma, juntamente com a generalizao do Teorema
do Valor Mdio que o autor expe usando os conceitos de matrizes. Em nossa pesquisa no
foram encontrados a denominao com o nome de ambos os autores Regra de LHpital

Bernoulli e tambm no foram encontrados registros somente com o nome de Bernoulli.


Diante da anlise feita com relao ao nome da regra, achamos melhor concordar
com Struik quando ele fala para deixarmos com o nome de LHpital. Afinal, diz Struik, ele

pagou por ela e tornou-a de domnio pblico, logo merece alguma fama. Seu livro teve
muitas contribuies prprias e foi o primeiro a ser publicado e teve qualidade suficiente para
manter em posio de destaque por mais de meio sculo.

4.2

Apresentao da Regra por livros estrangeiros e brasileiros


O objetivo desse tpico discutir como a regra de LHpital apresentada em

livros estrangeiros e brasileiros, quais so os enfoques que esses livros do sobre o assunto.
Vamos analisar tambm porque alguns livros de clculo no mencionam tal regra.
Um fato importante e interessante que alguns livros franceses, como por
exemplo, os resumos das aulas de Cauchy, no denominam a regra de LHpital por esse
nome e apenas como regra de indeterminao 0/0.

62

Vamos tentar entender o porqu que o livro de Matemtica Aplicada do grupo de


Berkeley27 no faz referncias da Regra de LHpital. Este livro defende que todo assunto
deve ser apresentado geometricamente, numericamente e algebricamente que os autores
chamam de Regra de Trs. Segundo os autores, o conceito de derivada est exposto de acordo
com a citada Regra de Trs e tem por objetivo apresentar uma definio prtica da derivada
por limite e de sua interpretao como uma taxa de variao instantnea.
Sempre que necessrio, o livro fornece justificativas informais introduzindo
argumentaes numricas e grficas sempre que apropriado, e, o uso da tecnologia grfica
para observar propriedades bsicas e o clculo para confirm-las.
O conceito de limite introduzido como aproximaes sucessivas de um mvel
em cada instante de tempo. Ento, essas aproximaes so tomadas como a velocidade mdia
ao longo de intervalos de tempo cada vez menores. Basicamente, constri-se uma tabela com
valores de h se aproximando de zero, ou seja, para intervalos de tempo cada vez menores da
funo tempo; assim o limite calculado fazendo estimativas numricas.
O livro de Hughes (um dos autores do livro de matemtica aplicada do grupo de
Berkeley) faz a explanao do conceito de limite como sendo uma taxa de variao para
qualquer funo, isto segundo os prprios autores do livro, apenas escondem as dificuldades
com a noo de limite. Analisando mais de perto este conceito, os autores escrevem:
A expresso
f ( a + h) f ( a )
h
chamada de razo incremental da f. Ela mede a taxa de variao mdia da f ao
longo do intervalo a x a + h. medida que o intervalo encolhe, isto , que h fica
menor, estas taxas de variao mdia podem aproximar de um determinado nmero.
Se existir um nmero L, digamos, tal que possamos fazer com que a taxa de variao
mdia fique to prxima de L quanto desejarmos bastando para isso escolher um
intervalo pequeno o suficiente, ento dizemos que L o limite das razes
incrementais quando h se aproxima de zero. Em smbolos,
f ( a + h) f ( a )
L = lim
h0
h
O que estamos afirmando aqui que, medida que h fica menor, as razes
incrementais se aproximam do nmero L (HUGHES, 1997, p. 134).

O livro evita qualquer meno quando h zero, pois segundo os autores , quando

h zero, a razo incremental igual a 0/0, e que no tem nenhum sentido e que, o limite foi
introduzindo justamente para evitar tal problema. Poderamos perguntar como fazemos para

27

Este livro consta nas referncias como: HUGHES, D. et al. Clculo Volume 1.

63

calcular, por exemplo, lim


0

sen

? A resposta dada no livro que poderamos tomar valores de

prximos de zero, por exemplo, = 0,01; = 0,001; = 0,0001, e assim por diante que
chegaramos ao resultado do limite, que 1. Os autores enfatizam que essa a nica maneira
de investigar essa situao, pois se tomarmos = 0 a expresso fica indeterminada.
O Tratamento feito pelos autores do livro elimina qualquer meno sobre a regra
do clculo da indeterminao 0/0, elaborado por Bernoulli e publicada por LHpital. Isso se
d devido ao tratamento aplicado dos conceitos envolvidos no livro.
O livro de Sonnet de 1909, a exemplo do livro de Hughes, comea com a
definio de derivada, mas ao contrrio do livro anterior ele traz a discusso sobre a
indeterminao 0/0, mais que como muitos livros franceses ele no denomina como sendo a
regra de LHpital. Assim como fez Cauchy na sua segunda lio (item 3), Sonnet define a
derivada como sendo uma taxa de variao em x e y:

Quando duas variveis x e y esto relacionadas, tal que


y = f(x)

e se dado a x um acrscimo x, que resulte para y um acrscimo correspondente,


positivo ou negativo, y; obtemos
y + y = f(x + x)

donde por subtrao


y = f(x + x) f(x).

Dividindo os dois membros da equao acima por x, vem:


y
f ( x + x ) f ( x )
=
x
x

Se fizermos x tender para zero, e y tender tambm para zero, a razo

y
se
x

tornar uma forma indeterminada (SONNET, 1909, p. 4 e 5).

As indeterminaes so tratadas na pgina 74 do livro Sonnet com o ttulo de


verdadeiro valor de expresses que tomam a forma

0
. O autor utiliza o Binmio de
0

Newton par fazer a demonstrao da regra de LHpital-Bernoulli.

64

O livro28 de Omar Catunda29 bem enftico na aplicao da Regra de LHpitalBernoulli. Ele enuncia o teorema na pgina 219 do seu livro e afirma que o teorema constitui
a chamada regra de lHospital, pela qual, para achar o limite do quociente de dois

infinitsimos, procura-se o limite do quociente de suas derivadas. Um fato que devemos


considerar o tratamento dado ao conceito de limite como sendo infinitsimos. Catunda toma
como exemplo para aplicar a regra de LHpital-Bernoulli a seguinte funo

y=

sen(1 cos x)

[log(1 + 3x)]2

e trata como quociente de dois infinitsimos, para x 0. A demonstrao da regra feita


utilizando o Teorema de Cauchy e finaliza com outro item nomeado como outros limites que
se calculam pela regra de lhospital30.
O livro de Louis Leithold que referncia em quase todas as ementas dos cursos
de clculo oferecidos para os cursos da rea de exatas no Brasil. No s pelas mais de 1180
pginas de seus Volumes 1 e 2, mas por se tratar, de fato, de um dos livros mais ricos em
exemplos e demonstraes de resultados. Aparentemente, o livro no faz questo de
referenciar o nome LHpital quando trata do assunto de indeterminao, mencionando no seu
ndice apenas como indeterminao da forma 0/0. De forma discreta, o nome de LHpital
aparece no meio do texto (Leithold, p. 652) citando a regra como um mtodo para calcular
formas indeterminadas do tipo 0/0. O autor nomeia o mtodo como: regra de LHpital.
O livro do professor Hamilton Guidorizzi citado como referncia em muitos
programas das disciplinas de clculo oferecidas para os cursos da rea de cincias exatas no
Brasil, especialmente ao clculo ministrado aos alunos de matemtica e engenharia. A coleo
composta por cinco volumes, distribudos em mais de 2000 pginas. Cada volume
acompanhado de manuais que contm as solues de grande parte dos exerccios,
especialmente dos mais complexos. No Captulo 9 do volume 1 trabalhado o estudo da
variao das funes no qual podemos destacar o tpico que ele denomina Regra de
LHospital.
28

Este livro baseado nas aulas de Omar Catunda na Faculdade de Filosofia, Cincias e Letras da
Universidade de So Paulo.
29

Omar Catunda (1906-1986), merece destaque pela sua contribuio para a formao de diversas geraes de
matemticos e fsicos; como tambm sua atuao pedaggica relativa ao ensino bsico, tornado-se um dos precursores da
educao matemtica brasileira.
30
Esta a maneira que aparece escrito o nome de LHpital no livro de Omar Catunda que como j
mencionamos, a forma de escrita varia de autor para autor.

65

Este livro foi escrito na forma de curso pelo professor da McMaster University
(EUA) James Stewart. O livro foi traduzido da quarta edio americana e dirigido a
professores e estudantes universitrios da rea de exatas fazendo parte da bibliografia de
grande parte dos cursos de exatas do pas, principalmente dos cursos de Licenciatura em
Matemtica. O captulo quatro trata das Aplicaes da Diferencial, e o item 4.4 aborda as
formas indeterminadas e a regra de LHpital, distribudos em oito pginas. Neste livro, o
autor diz no prefcio que pretende transmitir aos estudantes um sentido de utilidade do
clculo e desenvolver competncias tcnicas. A compreenso dos conceitos enfatizada em
trs vertentes: Visualizao, Experimentao Numrica e Experimentao Grfica. No
exemplo introdutrio que Stewart mostra, fica evidente que a regra de LHpital uma
ferramenta imprescindvel para calcular limites que muito usado na anlise do
comportamento de funes.
O livro de James Stewart prioriza a visualizao grfica dos teoremas e os fatos
histricos que so apresentados. Ao lado da definio da regra de LHpital-Bernoulli
citado os fatos histricos justificando o porqu da regra ter esse nome, e tambm menciona as
controvrsias sobre quem realmente descobriu tal regra. O exerccio 75 do livro traz o
primeiro exemplo usado por LHpital e Bernoulli, o que mostra que o autor est
comprometido em mostrar os fatos histricos. Para dar maior sustentabilidade e veracidade
regra, o aspecto visual grfico enfatizado, alm disso, tecido comentrios algbricos
justificando o grfico produzido assim como faremos no prximo item quando fala-se da
demonstrao no Standard.
A Regra de LHpital na maioria dos livros encontra-se inserida no item sobre o
estudo de comportamento das funes. O professor Geraldo vila no foge a esse preceito e
insere a apresentao sobre o assunto nesse item. Comea enfatizando que precisar do TVM
(Teorema do Valor Mdio) como noes preliminares para o estudo da Regra, que ele chama
de Regra de LHpital.
Na pgina 218, ele expe o TVM de maneira bastante clara e objetiva, fazendo uso
no s da mostrao algbrica mas tambm utilizando a representao geomtrica.
Segundo vila,
Uma boa didtica recomenda que a intuio geomtrica seja utilizada
sempre, no somente para motivar os resultados, mas tambm para justific-los.
Muitas vezes vale mais, no aprendizado, uma boa justificao geomtrica de que
uma demonstrao formal (VILA, 1994, prefcio).

66

ngelo (1997, p. 122) diz que, as aplicaes e discusses das demonstraes da


Regra de LHpital ter uma justificativa de sua validade mais plausvel e com mais sentido
se no forem baseadas somente na utilizao de s e s. Segundo ngelo, o problema que
muitos professores, pela prpria inexperincia, insegurana ou desconhecimento de outras
forma de abordar determinado contedo, preferem se firmar sobre o conhecimento j
consolidado que veiculado pelos livros textos.
Fazendo-se uma pequena comparao entre os livros analisados, podemos
perceber suas diferenas. Os livros textos variam de autor para autor. O professor pode optar
por aquele que julga que melhor o far cumprir os objetivos de seu curso.

5. Demonstrao da Regra de LHpital


matemtico.
Ass demonstraes constituem parte indispensvel do conhecimento m
So
o muito valiosas por proporcionarem novas compreenses, conduzirem a novas descobertas
ou ajudarem sistematizao..

Utilizando o Teorema do Valor M


Mdio de Cauchy31

5.1

Para chegar ao Teorema do Valor Mdio precisamos primeiro do Teorema de


Rolle que satisfaz as seguintes hipteses:
i)
ii)
iii)

f continua no intervalo fechado [a , b];


f diferencivel no intervalo aberto (a , b);
f (a ) = f (b )
Ento existe um nmero c em (a , b) tal que f (c) = 0.

O Teorema do Valor Mdio satisfaz as seguintes hipteses:


i)
ii)

f continua no intervalo fechado [a , b];


f diferencivel no intervalo aberto (a , b);
Ento existe um nmero c em (a , b) tal que

f ' (c ) =

f (b) f (a )
ba

(5.1.1)

A interpretao geomtrica do Teorema do Valor Mdio dada na figura abaixo.


y

Figura 5.1. 1
Interpretao Geomtrica do Teorema do Valor Mdio
31

Essa demonstrao feita fazendo


fazendo-se
se uma juno da forma como os autores Geraldo vila e Louis

Leithold o fizeram.

67

68

A figura 5.1.1 mostra os pontos A(a , f(a)) e B(b , f(b)) sobre o grfico da funo
diferencivel. A inclinao da reta secante AB
m AB =

f (b) f (a)
ba

que a mesma expresso mostrada no lado direito da equao 5.1.1. Uma vez que f (c) a
inclinao da reta tangente no ponto (c , f(c)), o Teorema do Valor Mdio na forma dada pela
equao 5.1.1 diz que h no mnimo um ponto P(c , f(c)) sobre o grfico onde a inclinao da
reta tangente igual inclinao da reta secante AB.
Aplicamos o Teorema de Rolle a uma nova funo F definida como a diferena
entre f e a funo cujo grfico a reta secante AB.
Fazendo uso da interpretao geomtrica, Geraldo vila esclarece o aparecimento

f (b) f (a)
da equao F ( x) = f ( x) f (a)
( x a) utilizada na demonstrao do TVM.
ba

Alguns livros apenas fazem uso dessa equao sem justific-la. Portanto, um ponto positivo
no livro a justificativa atravs de figuras geomtricas, que desse modo, d uma consistncia
considervel ao assunto. Veja a interpretao geomtrica da equao na figura 5.1.2.
F(x) est entre as ordenadas f(x) da curva e Y da reta secante AB, para um mesmo
valor x da abscissa. A secante AB da figura 5.1.1 a reta que passa pelo ponto A(a, f(a)) com
declive

f (b) f (a)
; logo sua equao dada por
ba

F(x)

f(b)

f
f(x)
Y
f(a)

Figura 5.1.2
Demonstrao do TVM

Y f (a) =

f (b) f (a )
( x a)
ba

69

ou seja,
Y = f (a) +

f (b) f (a )
( x a)
ba

Portanto, a funo F(x) = f(x) Y ser dada por


F ( x) = f ( x) f (a )

f (b) f (a )
( x a)
ba

Se fizermos uma rotao de eixos (figura 5.1.3) de forma que F(a) = F(b) = 0 e,
sendo F derivvel nos pontos internos ao intervalo [a , b], podemos aplicar o Teorema de
Rolle nessa funo: existe um ponto c, entre a e b tal que F(c) = 0. Mas
F ' ( x) = f ' ( x )
f ' (c ) =

f (b) f (a )
ba

f (b) f (a )
ba

ou ainda,
f (b) f (a ) = f ' (c)(b a )

Figura 5.1.3
Grfico - Teorema de Rolle

Agora estamos prontos para demonstrarmos a regra. A demonstrao feita para o


caso x a + , onde x a + o limite a direita de a, por valores maiores que a.
Como na hiptese no foi suposto que f e g definidas em a, consideremos duas
novas funes F e G para as quais
F(x) = f(x) se x a e F(a) = 0
G(x) = g(x) se x a e G(a) = 0

(5.1.2)

70

Seja b o extremo direito do intervalo aberto I dado na hiptese. Como f e g so


ambas diferenciveis em I, exceto possivelmente em a, conclumos que F e G so ambas
diferenciveis no intervalo (a , x], onde a < x < b. Logo, F e G so contnuas em (a , x]. As
funes F e G so tambm contnuas direita de a, pois lim F ( x ) = lim f ( x ) e
xa+

xa+

lim f ( x ) = 0 , que F(a); analogamente, lim+ G ( x ) = G ( a ) . Logo, F e G so contnuas no

xa+

xa

intervalo fechado [a , x]. Assim, F e G satisfazem as trs condies da hiptese do teorema do


valor mdio generalizado no intervalo [a , x]. Assim,
F ( x) F ( a) F ' ( z )
=
G ( x) G (a ) G ' ( z )

onde z algum nmero tal que a < z < x . De (5.1.2) e da igualdade acima, temos,
f ( x) f ' ( z )
=
g ( x) g ' ( z )

Como a < z < x, segue que quando x a + , ento, tambm z a + , pois z est entre a e x;
assim sendo,

lim+

x a

f ( x)
f ' ( z)
f ' ( z)
= lim+
= lim+
g ( x) x a g ' ( z ) z a g ' ( z )

Mas, por hiptese, esse limite L. Logo, lim+


xa

5.2

f ( x)
=L
g ( x)

Sem utilizar o teorema do valor mdio


A regra que possui o nome do Marques de LHpital, usualmente provada

usando o Teorema do Valor Mdio generalizado. Vamos mostrar que, podemos fazer essa
demonstrao por um mtodo muito simples e sem utilizar o teorema do valor mdio. Esta
prova parece ter algumas vantagens pedaggicas, bem como sugere alguns resultados que no
so cobertos pela formulao usual.

71

Ns provaremos que:

se f e g so funes reais com derivadas contnuas;

se f(x) e g(x) ambas se aproximam de 0 ou ambas se aproximam de com x a;

se g(x) 0, e se

f ' ( x)
L com x a;
g ' ( x)

ento
f ( x)
L.
g ( x)
Todos os limites so tomados de um lado de a, isto , tomamos o limite de
x a+ ou tomamos o limite de x a- . Vamos tomar a = e L finito, mas algumas
modificaes formais so requeridas para os outros casos.
Vamos precisar apenas:
i) Da definio de limites;
ii) Que as funes contnuas f e g nunca sejam 0 tendo um sinal fixo (positivo ou negativo);
iii) Que a funo com derivada positiva crescente.32
Dado > 0, temos

<

f ' (t )
L<
g ' (t )

para t suficientemente grande. Desde que g seja contnua e positiva, isto , suponhamos
por definio que g(t) > 0. Ento
g ' (t ) < f ' (t ) Lg ' (t ) < g ' (t )

(5.2.1)

Consideremos o lado direito da inequao; dizemos que


f ' (t ) ( + L) g ' (t ) < 0

para t suficientemente grande.

(5.2.2)

Uma vez que uma funo negativa tem uma integral negativa, temos para x e y
suficientemente grande, com x > y,
f ( x) f ( y ) ( + L)[ g ( x) g ( y )] < 0
32

Para provar que uma funo com derivada positiva crescente ver LEITHOLD.

(5.2.3)

72

Suponhamos primeiramente que f(x) 0 e g(x) 0; fixando y e fazendo x ,


obtemos
f ( y ) + ( + L) g ( y ) 0
f ( y)
g ( y)
+ ( + L)
0
g ( y)
g ( y)

(5.2.4)

Sendo g(y) > 0 e g(y) 0, temos g(y) < 0 para y grande. Assim (5.2.4) diz que

f ( y)
+ L
g ( y)

Para y suficientemente grande. Analogamente, o lado esquerdo da inequao


(5.1.1) fica

f ( y)
+ L
g ( y)

e os dois lados juntos da inequao dizem que

f ( y)
L com y . Se f(x) e
g ( y)

g(x) , temos f(x) > 0 para x grande, assim assumimos g(x) > 0. Reescrevemos (5.1.3)
como

f ( x)
f ( y ) ( + L) g ( y )
( + L) <
g ( x)
g ( x)

y fixo; para x suficientemente grande o lado direito menor do que , e assim


f ( x)
L < 2
g ( x)
Analogamente,
2 <

f ( x)
L
g ( x)

Portanto
2 <

f ( x)
L < 2
g ( x)

73

Ento conclumos que:

f ( x)
L
g ( x)
A hiptese de que g contnua redundante, embora sempre satisfaa na prtica
e torna a demonstrao mais compreensvel.
Tudo que usamos em (ii) que uma derivada que diferente de zero num
intervalo tem um sinal fixo (positivo ou negativo).
Assim nossa prova no utiliza o Teorema do Valor Mdio, ela abre a possibilidade
de estender a regra para casos onde o Teorema do Valor Mdio no pode ser usado, como por
exemplo, casos em que a funo descontnua.

5.3

Usando Analise no Standard


A Anlise no Standard, criada por Abraham Robinson na dcada de 1960, possui

uma terminologia intuitiva evitando quase sempre a argumentao contravariante, que uma
caracterstica das demonstraes clssicas. Esse tipo de demonstrao constitui, de certo
modo, a justificao esperada durante cerca de trs sculos para tornar rigoroso o modo
profundamente criativo usado por Leibniz e Newton para a descoberta e desenvolvimento do
Clculo, ento chamado de Clculo Infinitesimal.
A Anlise No-Standard constitui uma ferramenta de trabalho que, em muitos
aspectos, est mais prxima da gnese do Clculo do que a Anlise Matemtica usual. Mas
como o clculo infinitesimal mostrou-se plenamente operacional e, por meio dele, podem-se
fazer previses que empiricamente se confirmam com uma preciso fantstica. Talvez isso
indique que a natureza, para existir, no precisa ser inteiramente conforme a lgica formal.
Isto , que, provavelmente, as leis do pensamento correto no reproduzem fidedignamente a
estrutura do mundo objetivo, at porque no seria necessrio: um conhecimento constitudo de
aproximaes grosseiras o suficiente para que dele se obtenha os efeitos prticos esperados.
E algumas vezes quando a prtica exige uma sintonia mais fina entre a idia e os fatos, ento
s complementar o naturalmente dado com algum artifcio cultural, valendo-se at mesmo
improvisar conceitos, como a muitos parece ser o infinitsimo de segunda ordem.
Em meados do sculo XIX o matemtico K. Weierstrass elaborou uma verso do
clculo que prescinde dos infinitesimais. Seu tratamento rigoroso da noo de limite requer
apenas nmeros finitos, o que proporcionou a este ramo da matemtica a fundamentao

74

lgica que antes carecia. No entanto, na anlise no Standard, os infinitesimais so restitudos


custa do abandono do axioma33 de Arquimedes.
A regra de LHpital diz que o limite de uma funo quociente igual ao limite
dos quocientes de sua derivadas, desde que as condies dadas estejam satisfeitas.
especialmente importante verificar as condies com respeito aos limites f e g antes de usar a
Regra de LHpital.

y
A figura 5.3.1 sugere visualmente por que a

regra de LHpital pode ser verdadeira. O


primeiro grfico mostra duas funes

diferenciveis f e g, que tendem a zero


quando x tende a a. Se dermos um zoom

em direo ao ponto (a , 0), os grficos

comearo a parecer quase lineares. Mas se


as funes forem realmente lineares como
no segundo grfico, ento sua razo ser

m1 ( x a ) m1
=
m2 ( x a ) m2

f
g

que a razo de suas derivadas. Isso sugere


que
f ( x)
f ' ( x)
= lim
xa g ( x)
xa g ' ( x)

lim

x
(STEWART, 2001, p.307).

Figura 5.3.1
Grfico Anlise no Standard

ndard

33

Segundo Arquimedes, foi Eudoxo (408 355 a. C.) que forneceu o axioma que hoje tem o nome de
Arquimedes, s vezes, chamado axioma de Arquimedes e que serviu de base para o mtodo de exausto, o
equivalente grego de clculo integral. O axioma diz que: dadas duas grandezas que tm uma razo (isto ,
nenhuma delas sendo zero), pode-se achar um mltiplo de qualquer delas que seja maior que a outra. Esse
enunciado eliminava um nebuloso argumento sobre segmentos de retas indivisveis, ou infinitsimos fixos, que
s vezes aparecia. (Boyer, 1996). Algebricamente, se x > 0 e y so dois reais quaisquer, ento existe pelo menos
um nmero natural n tal que nx > y.

75

Para o caso especial no qual f(a) = g(a) = 0, f e g so contnuas e g(a) 0,


fcil ver por que a Regra de LHpital verdadeira. De fato, usando a definio de derivada
temos:

Demonstrao para o caso lim


xa

f ' ( x) f ' ( a )
=
g ' ( x) g ' ( a )

Faamos x ser quase zero. Ento f(a) = 0, g(a) = 0, e


f (a + x ) f (a )
f ( a + x )
f ' (a)
x
=

g (a + x ) g (a + x ) g (a ) g ' (a )
x

tomando o limite chegamos


lim

xa

f ( x) f ' ( a )
f ' ( x)
=
= lim
x

a
g ( x) g ' (a )
g ' ( x)

intuitivamente, para x a o grfico de f(x) e g(x) so quase retas que tocam f (a) e g(a)
passando por zero, assim o grfico de

f ( x)
f ' ( a)
est quase na linha horizontal por
g ( x)
g ' (a )

(Figura 5.3.2).

f(a+x)=f(x)

a
x

f'(a) x

x
f

(x)
f '(a).x
f(x) = f(a+x)
a

x=a+x

Figura 5.3.2
Anlise no Standard

g(a) x
g (a +x)

76

A equao
lim
xa

f ' ( x) f ' ( a )
=
g ' ( x) g ' ( a )

nem sempre verdade. Por exemplo, g(a) talvez zero ou indefinido.

lim
x a

as vezes outro limite do tipo

f ' ( x)
g ' ( x)

0
, isto ,
0
lim f ' ( x ) = 0
x a

lim g ' ( x ) = 0
x a

quando isso acontece, a Regra de LHpital dever ser reaplicada para lim
x a

f ' ( x)
.
g ' ( x)

Sendo a regra de LHpital a idia central desse trabalho, procuramos apresent-la


objetivando a compreenso dos conceitos. Para tanto, fez-se necessria a apresentao das
demonstraes de formas diversificadas. Vimos no item dois como LHpital exps sua regra
usando artifcios geomtricos. Apresentamos a regra usando o Teorema do Valor Mdio
abordando a parte algbrica e a visualizao geomtrica. Provamos sem utilizar o Teorema do
valor mdio, usando um ponto de vista puramente algbrico; e por fim, utilizamos a anlise
no Standard dando mais nfase ao aspecto geomtrico do que o algbrico.
Estabelecemos uma importante relao entre o formalismo necessrio e a anlise
de um problema e os aspectos visuais que permeiam sua soluo. A anlise grfica de
conceitos pode evidenciar algumas propriedades, gerando uma discusso sobre a relevncia
de solues analticas para problemas em detrimento de solues simblicas que, de fato, so
corretas e intuitivamente convincentes. Muitos matemticos valorizam o rigor de notaes,
deixando de lado a visualizao que so teis compreenso de conceitos.
Historicamente, as representaes desempenharam um importante papel na anlise
e soluo de problemas e, conseqentemente, no desenvolvimento do conhecimento. Nesse
sentido, aspectos evidenciados em uma representao atingem seu objetivo atravs de um

77

processo de visualizao. Em outras palavras, preciso ver um desenho ou um modelo a


fim de serem assimiladas as propriedades por eles apresentadas.

6. Importncia da histria da matemtica nos cursos de Clculo.

Ha professores que explicam essas gravuras,


habituando as crianas com menos de 10 anos a
aprender sem fatiga, como uma espcie de
divertimento, todas as cincias, mas tudo pelo
mtodo histrico
Campanella
Essa citao foi feita por Tammaso Campanella34 em 1602, que segundo o
professor Eduardo Sebastiani Ferreira, foi a citao mais antiga que ele encontrou em livros
observando o entusiasmo de utilizar a histria como forma de obter conhecimento.
Aparentemente existe um consenso entre autores que um dos meios mais
interessantes de obter conhecimento atravs da histria. Que possvel compreender a
origem das idias que deram forma nossa cultura e observar tambm os aspectos humanos
do seu desenvolvimento: enxergar os homens que criaram essas idias e estudar as
circunstncias em que elas se desenvolveram.
Zuiga destaca a importncia da histria da matemtica escrevendo:
A participao da histria dos contedos matemticos como recursos didticos
imprescindvel. O desenvolvimento histrico no s serve como elemento de
motivao, mas tambm como fator de melhor esclarecimento do sentido dos
conceitos e das teorias estudadas. No se trata de fazer uma referncia histrica de
duas linhas ao iniciar um capitulo, mas de realmente usar a ordem histrica da
construo matemtica para facilitar uma melhor assimilao durante a reconstruo
terica. Isto central. Os conceitos e noes da matemtica tiveram uma ordem de
construo histrica. Esse decurso concreto pe em evidncia os obstculos que
surgiram em sua edificao e compreenso. Ao recriar teoricamente esse processo
(obviamente adaptado ao estado atual de conhecimento) possvel revelar seu
sentido e seus limites. A histria deveria servir, ento, como o instrumento mais
adequado para a estruturao do delineamento mesmo da exposio dos conceitos.
provvel tambm que uma aproximao dessa natureza seja possvel satisfazer as
exigncias de um sentido vetorial do concreto ao abstrato. Com isso no se quer
dizer que se deve reproduzir mecanicamente a ordem da apario histrica dos
conceitos matemticos; sem dvida, todas as cincias possuem certa lgica interna
que se d a partir de snteses tericas importantes e que se deve assimilar no sentido
ensino-aprendizagem. S se coloca a necessidade buscar um equilbrio, enfatizando
a importncia do segundo. (ZUIGA, 1988, p.31, apud SEBASTIANI
FERREIRA, 1997, p.153)
34

Filsofo italiano que nasceu em Stilo em 1568; autor de uma das mais populares obras: A cidade do
Sol, uma utopia essencialmente idealista.

78

79

Assim, esta histria um valioso instrumento para o ensino/aprendizado da


prpria matemtica. Infelizmente alguns autores acreditam que a histria serve apenas como
instrumento de motivao, outros ensinam usando a histria sem se preocupar com o contexto
histrico que levou ao desenvolvimento de uma determinada descoberta matemtica.
Para Sebastiani Ferreira (1997, p.154), A histria em sala de aula tem um alcance
muito maior que apenas uma simples motivao. Alm de motivar o aluno, o faz passar por
revolues no mtodo da matemtica, que foram sem dvida, marcos decisivos nesta cincia.
Alm disso, continua o autor, mostra como a matemtica foi construda pelo homem atravs
dos tempos e como suas dificuldades foram sendo superadas.
Desse modo, podemos entender porque cada conceito foi introduzido nesta cincia
e porque, no fundo, ele sempre era algo natural no seu momento. Conhecendo a histria da
matemtica percebemos que as teorias que hoje aparecem acabadas e elegantes resultaram
sempre de desafios que os matemticos enfrentaram que foram desenvolvidas com grande
esforo e, quase sempre, numa ordem bem diferente daquela em que so apresentadas aps
todo o processo de criao.
O que pretendemos fazer aqui contribuir para o estudo de uma utilizao muito
mais profunda do recurso Histria da Matemtica. O recurso Histria da Matemtica tem,
portanto, um papel decisivo na organizao do contedo que se quer ensinar, iluminando-o,
por assim dizer, com o modo de raciocinar prprio de um conhecimento que se quer construir.
Conhecer a histria da matemtica permite tentativas de por em p situaes
didticas mais pertinentes para conseguir aprendizagens, graas ao conhecimento que se pode
ter sobre a origem da noo a ensinar, sobre o tipo de problema que ela visa resolver, as
dificuldades que surgiram e o modo como foram superadas.
O desafio que ainda no foi superado encontrar uma metodologia que contemple
o desenvolvimento histrico da matemtica como mecanismo de ensino; qual deve ser o
melhor caminho para inseri-la como ferramenta no processo de ensino-aprendizagem.
Existem alguns caminhos que foram tomados durante a busca para encontrar a melhor
maneira de explorar a histria. Essa insistncia em encontrar o melhor caminho para fazermos
uso da histria porque acreditamos fielmente que poderemos facilitar o aprendizado
matemtico.

80

Alguns autores traaram esse caminho seguindo exatamente os passos da


inveno do conhecimento, como Sebastiani Ferreira, como Clairaut35 fez em 1765. Em seu
prefcio, Sebastiani Ferreira (1996, p.250) cita Clairaut:
Afim de seguir nesta obra um caminho semelhante aos dos inventores fao com
que os principiantes descubram antes de tudo as verdade que pode depender a
simples medida dos terrenos e das distncias acessveis, etc. Passo da a outras
investigaes, de tal modo anlogas s primeira que a curiosidade natural de todos
os homens os leva a nelas se deterem. Justificando depois esta curiosidade por
algumas aplicaes teis, chego a ensinar tudo o que de mais interessante a
geometria elementar tem ... Por esse mtodo, os principiantes, a cada passo que lhes
fazemos dar, percebem a razo que move o inventor; e podem assim mais facilmente
adquirir o esprito da inveno (CLAIRAUT, 1892, apud SEBASTIANI
FERREIRA, 1996, p.250).

Outro caminho que foi tomando para inserir a histria da matemtica como opo
de ensino-aprendizagem o chamado Princpio Gentico. Este princpio pode ser
estabelecido da seguinte forma: a aprendizagem efetiva requer que cada aluno refaa os

principais passos da evoluo histrica.


Aqui lembramos a lei biogentica da Psicologia, que afirma que o indivduo,
desde seu nascimento at sua maturidade, repete as principais etapas do desenvolvimento
humano. Segundo Toeplitz36, o historiador recorda todos os fatos ocorridos, sejam bons ou
ruins; por outro lado, o mtodo gentico seleciona a gnese e os pontos cardeais de
problemas, fatos e provas. Segundo Edwards37, a Histria da Matemtica no se detm na
descrio da teoria, a no ser o mnimo necessrio para o entendimento dos fatos, e o mtodo
gentico no busca um estudo detalhado dos eventos que no contribuem para o entendimento
do assunto.
O princpio gentico foi defendido por matemticos influentes tais como Felix
Klein e Henri Poincar.
Klein escreveu em 1908 que:
[...gostaria de apresentar a lei biogentica fundamental, segundo a qual o indivduo,
em seu desenvolvimento, atravessa, de forma abreviada, todas as fases do
desenvolvimento da espcie. Essas idias tornam-se hoje em dia parte e parcela da
cultura de todos. Levando em conta a capacidade natural da juventude, o ensino
deveria gui-la para idias mais elevadas e, finalmente, para formulaes mais
abstratas, e, ao faz-lo, deveria seguir o mesmo caminho ao longo do qual a raa
humana tem buscado desenvolver o conhecimento, desde seu estado original e simples
at s formas mais elevadas. necessrio formular esse princpio freqentemente,
35

Clairaut publicou na Frana o livro Elments de Gomtrie em 1765, que de acordo com Sebastiani, foi
uma crtica ao formalismo euclidiano que aparece nos Elementos.
36
Confira Prefcio.
37
Confira Prefcio.

81

pois sempre existem pessoas que, maneira dos eruditos medievais, comeam sua
instruo com as idias mais gerais, defendendo este mtodo como o nico mtodo
cientifico...] (KLEIN, apud SEBASTIANI FERREIRA, 1996, p.251 ).

Podemos notar no trecho abaixo que Poincar defendia o principio gentico


quando em 1927 escreve:
Os zologos afirmam que o desenvolvimento embrionrio de um animal resume
em um tempo bastante curto toda a histria de seus ancestrais de tempos geolgicos.
Parece que o mesmo, pode ser dito a respeito do desenvolvimento da mente. O
educador deve fazer com que a criana passe novamente por onde passaram os seus
ascendentes; mais rapidamente, mas sem omitir etapas. Por essa razo, a histria da
cincia deve ser o nosso primeiro guia (POINCAR, apud SEBASTIANI
FERREIRA, 1996, p.251).

Vrios autores defenderam o princpio gentico. Em 1964 George Polya diz que
devemos deixar as crianas perfazerem as etapas da evoluo intelectual da raa humana.
Morris Kline e Ren Thom, anos 60 e 70, tambm defendem tal principio como ordem natural
de ensino.
Victor Byers, em 1982, abranda a responsabilidade do princpio gentico dizendo
que ele um guia para estabelecer ensino, mas no devemos encar-lo como sendo um
substituto universal para as demais didticas. Segundo Sebastiani Ferreira (1996, p.253),
Antonio Miguel em sua tese de doutorado, diz que problemtico o uso do principio
gentico para relacionar histria e ensino-aprendizagem, porque na concepo de produo
do conhecimento no plano psicogentico, a matemtica passa a ser vista como um corpo
cumulativo de conhecimentos seqenciais e ordenados hierarquicamente, e a adoo do
recurso histria baseada na ordem cronolgica da constituio dos contedos a serem
ensinados.
Outro princpio que consiste em explorar a histria da matemtica o princpio
que chamaremos aqui de Mtodo Experimental38. Esse mtodo fundamentado no conceito
de experincia cientifica. Para realizao de tal experincia devemos adquirir recursos tanto
materiais quanto tericos. Para isso devemos nos preocupar em:
i) Espao para realizao da pesquisa, que no precisa ser necessariamente a sala de
aulas, mais sim um laboratrio de computao, biblioteca, etc.;
ii) Encher o espao com ferramentas semelhantes as quais dispunham os matemticos e
determinada poca; segundo Ferreira, os materiais no precisam ser necessariamente
38

Proposta de ensino utilizando fatos histricos de matemtica feita pelo professor Sebastiani. No entanto,

Sebastiani no usou essa denominao. Fazemos uso apenas para identificar o mtodo proposto.

82

objetos concretos mas conceitos, tcnicas e estratgias matemticas que o autor


dispunha.
iii) Perturbao do sistema. Essa etapa consiste em mudar os equipamentos (conceitos,
tcnicas e estratgias matemticas) de acordo com a evoluo do processo histrico.
Nesse momento, utilizamos bibliografias para mostrar os principais momentos
histricos at que chegamos ao computador por ser a ferramenta e/ou equipamento
utilizado pelos matemticos contemporneos;
iv) Instigar os alunos para que eles expressem todo o processo experimental, podendo ser
em forma oral, escritas, ou ambas.
Ento a idia pegar um fato e caminhar com ele atravs da histria da
matemtica. Essa a idia defendida pelo professor Eduardo Sebastiani.
Faremos uma proposta de como Aplicar o mtodo experimental no tratamento das
formas indeterminadas da forma

0
, tratada na seo 2.2. Devemos comear identificando os
0

personagens que atacaram o problema naquela poca, que como j vimos foram Johann
Bernoulli e LHpital, mas que como agora sabemos, Bernoulli foi o responsvel pela
resoluo de tal problema. O prximo passo ser procurar materiais a fim de obtermos
ferramentas necessrias para a evoluo do experimento; para isso se faz necessrio uma
pesquisa bibliogrfica. O material coletado dever conter as ferramentas utilizadas por
Bernoulli, que so muitas, pois j existiam trabalhos de vrios personagens como Newton e
Leibniz, sendo que o segundo teve maior influncia nos desenvolvimentos matemticos de
Bernoulli.
LHpital e Bernoulli aproveitaram os trabalhos de Leibniz. Mas antes de
abordamos como esses dois matemticos apresentaram a regra de indeterminao, devemos
estudar como Leibniz vem apresentando o clculo. Leibniz explica o que vem a ser uma
diferencial, o que um tringulo caracterstico, o que so quantidades infinitamente pequenas
e apresentou conceitos de reta tangente. Baseados nos conceitos de Leibniz podemos mostrar
e entender as explicaes dadas por LHpital e Bernoulli a respeito da regra de
indeterminao da forma

0
. Por fim faremos uso do computador para visualizar
0

geometricamente o que acontece quando damos ZOOM no ponto de indeterminao. Desse


modo, partimos de um fato histrico, trabalhamos com ele observando os principais

83

acontecimentos durante o passar dos tempos at chegarmos aos dias atuais com a utilizao
do computador.
Alguns livros de matemtica propem o ensino de clculo usando a histria. A
exemplo disso, temos a coleo de cinco volumes publicados pela UNB com o ttulo de
Curso de Histria da Matemtica de M. E. Baron e H. J. M. Bos, o livro do Toeplitz e, o
mais importante deles, o livro de C. H. Edwards, Jr.
A coleo de livros da UNB dividia em cinco volumes e expe todos os
conceitos de um primeiro curso de clculo contando os principais fatos histricos e instigando
o leitor a fazer avaliao dos acontecimentos propondo questes avaliativas relacionado ao
assunto tratado. Em alguns casos, pede-se que faamos comentrios crticos e, em outros,
prope que se faam resumos de partes dos textos. Nestes textos encontramos traduzidos os
relatos, publicaes, cartas, etc. como so encontrados nos trabalhos originais dos autores.
Logo aps cada exposio desses trabalhos, so feitos apontamentos sobre o assunto.
Toeplitz em seu livro The Calculus, a Genetic Approach, segue a inspirao
histrica para apresentar os conceitos do Clculo ao estudante. Inicia com uma discusso
sobre as especulaes dos antigos matemticos gregos sobre os processos infinitos, a teoria
das propores, o mtodo da exausto, a medida da circunferncia de Arquimedes, o conceito
de nmero, limites de seqncias e sries numricas. O estudo da integral definida se inicia
com a quadratura da parbola por Arquimedes, e a retomada deste problema 18 sculos aps
com Cavalieri. A derivao apresentada com o estudo do problema de se encontrar a
tangente a uma curva em um ponto, com problemas de mximos e mnimos e o conceito de
velocidade de Galileu. O estudo dos logaritmos lana uma luz sobre a relao entre derivada e
integral. O livro termina com aplicaes a problemas de movimento, como o pndulo,
oscilaes, leis de Kepler e de Newton. Toeplitz deixou o livro inacabado, tendo falecido em
1940 em Jerusalm, aps deixar a Alemanha em 1939.
Edwards diz no prefcio do seu livro que:
() o interesse em escrever este livro foi tornar o desenvolvimento histrico
acessvel, no s para o estudante da histria da matemtica, mas para toda a
comunidade matemtica cuja exposio torna-se especificamente destinada queles
que querem estudar, ensinar e usar o clculo (EDWARDS, 1979, prefcio).

Segundo Edwards, a histria do desenvolvimento do clculo tem um especial


interesse para quem aprecia o valor histrico na perspectiva de ensino e aprendizagem,
desfrutando dela e de suas aplicaes. Seu livro comea discutindo os problemas da

84

antiguidade at chegar anlise do sculo vinte. Aps tratar dos principais assuntos da
matemtica grega, o autor conta fatos histricos e as contribuies dos principais personagens
percussores do clculo, que de uma forma ou de outra, colaboraram no seu desenvolvimento
at chegarmos Newton e Leibniz que auferiram o direito de ter, cada um deles, um captulo
inteiro no livro por serem eles inevitavelmente considerados a pea central da histria do
clculo.
A principal caracterstica deste livro a incluso entremeada de exerccios ao
longo do texto como uma parte integrante da exposio. A histria da matemtica, como
matemtica prpria, no se aprende com uma leitura passiva, mas com uma caneta na mo.
No entanto, a soluo de problemas tpicos e particulares de um determinado perodo
histrico, utilizando as ferramentas daquele tempo permite ao leitor compartilhar o
entusiasmo da primeira descoberta. O autor indaga que o melhor caminho de penetrar no
pensamento de Arquimedes e Newton, por exemplo, resolver alguns problemas utilizando
seus prprios mtodos.

7. Consideraes Finais
Procuramos neste trabalho fazer um levantamento histrico mostrando os
acontecimentos importantes no que diz respeito a regra de indeterminao 0/0, conhecida
como Regra de LHpital.
Um fato importante do trabalho deixar claro a importncia do conhecimento
histrico que devemos ter quando resolvemos estudar matemtica. Conhecer como os
conhecimentos foram desdobrados e as dificuldades enfrentadas na poca para a soluo de
problemas pode acarretar melhor compreenso dos conceitos atuais. Para evitar pontos
obscuros, procuramos deixar claras as circunstncias nas quais, os matemticos realizam suas
contribuies matemtica fazendo uma biografia dos principais colaboradores.
Podemos destacar as qualidades dos matemticos. Uns por terem mais facilidades
de desenvolver os conceitos matemticos, outros por saberem escrever esses conceitos de
forma clara e compreensvel.
LHpital se encaixa no segundo item, mas no podemos dizer que ele no sabia
matemtica, pois para escrever sobre algo com clareza deve ser entendido do assunto. O fato
que Bernoulli tinha mais facilidades em decifrar os artigos que eram publicados por Leibniz
no Acta Eruditorum. O Marqus de LHpital ficou impressionado com facilidade matemtica
que Bernoulli possua que lhe pediu aulas particulares a troco de um salrio. Bernoulli aceitou a
proposta e comeou a dar aulas particulares a LHpital. Ao fim de um ano Bernoulli abandonou
Paris; no entanto continuou ajudando LHpital por cartas, tendo mesmo feito um acordo, a troco
de uma elevada quantia mensal, que respondia a todas as perguntas colocadas por LHpital sobre
Matemtica e que lhe enviaria todas as suas descobertas matemticas e no comunicaria a mais
ningum os seus achados.

Podemos ento dizer que houve uma cumplicidade entre os dois matemticos.
Depois da publicao do livro Analysis des Infiniment petits, contendo todos os conceitos
bsicos de clculo diferencial, muitos outros poderiam ter acesso aos problemas matemticos.
Em 1921 foi descoberto em Paris o manuscrito original das aulas dadas por Bernoulli a LHpital,
e fazendo-se a comparao do manuscrito com o livro de LHpital foi possvel dar razo a
Bernoulli sobre a originalidade das idias expressas no livro. Pois Bernoulli reivindicava-as como
suas.

Com esse estudo tivemos a oportunidade de conhecermos a personalidade no


mbito matemtico dos personagens envolvidos na criao da regra de indeterminao 0/0.
85

86

Entendemos em quais situaes os fundamentos foram se desenvolvendo, quais as


contribuies dos personagens envolvidos, suas ambies, seus anseios desejos e
necessidades.
A histria mostra como as demonstraes dos conceitos eram feitas. LHpital e
Bernoulli apresentaram a regra de indeterminao 0/0 usando tcnicas geomtricas com
pequenas diferenas entre as demonstraes. LHpital descreveu a aplicada de uma curva por
uma frao em x, onde o numerador e o denominador da frao gerava duas novas curvas
auxiliares, ambas expressas em x. Nas cartas de Bernoulli a LHpital a demonstrao feita
de maneira anloga, mas podemos observar que, enquanto Bernoulli fazia o acrscimo pela
esquerda, LHpital acrescentava uma quantidade infinitamente pequena pela direita. O fato
mais importante que diferencia uma demonstrao da outra, o uso que LHpital fazia da
constante de proporcionalidade, conceito que Bernoulli no usava em sua demonstrao.
Apesar de existir uma lgica sensata nas discusses dos dois autores sobre as
indeterminaes 0/0, existiam pontos obscuros, que na poca no eram possveis de serem
explicados. Esses pontos obscuros dizem respeito s quantidades infinitamente pequena, que
em alguns momentos elas existiam e que logo deixavam de existir. Essas imperfeies na
matemtica s foi possvel ser reparada com a criao do conceito de limite, que foi muito
bem ilustrado por Cauchy. LHpital afirmava que, depois de fazer as operaes necessrias
para sair da indeterminao, poderamos considerar o valor da aplicada aquele no qual dava a
indeterminao, enquanto Cauchy, considerava o limite pela qual o valor de um funo em x
se aproximava do ponto de indeterminao.
O objetivo de todo o discurso histrico, sem dvida, foi fundamentar a
necessidade e utilidade da histria da matemtica como aliado para o processo de ensino
aprendizagem. Para que esse processo se efetive, necessrio o conhecimento histrico dos
fatos que envolvem o respectivo assunto a ser estudado. A histria facilita o entendimento dos
porqus da matemtica. Vimos que foi atravs de vrias produes independentes e tambm
utilizando conhecimentos de outros matemticos que foi possvel chegar a uma sustentao
rigorosa dos conceitos matemticos.
As dificuldades encontradas pelos professores de ensino superior, quer seja na
rea de clculo, quer seja em geometria e lgebra, o desconhecimento sobre os fatos
histricos relacionados. Esse problema s poder ser superado a partir do momento que se
cria o hbito de ensinar matemtica utilizando a histria. Todas as formas didticas
diferenciadas, isto , formas diferentes da tradicional, que utilizar apenas livro-texto, com

87

exposio de conceitos, exemplos e listas de exerccios para fixao de conceitos, carecem de


mais planejamento e horas de estudo para que a ao se torne efetiva.
Assim, esta histria um valioso instrumento para o ensino/aprendizado da prpria
matemtica. Podemos entender porque cada conceito foi introduzido nesta cincia e porque,
no fundo, ele sempre era algo natural no seu momento. Permite tambm estabelecer conexes
com a histria, a filosofia, a geografia e vrias outras manifestaes da cultura.
A histria da matemtica permite compreender a origem das idias que deram
forma nossa cultura e observar tambm os aspectos humanos do seu desenvolvimento:
enxergar os homens que criaram essas idias e estudar as circunstncias em que elas se
desenvolveram.
Esperamos que o material produzido sirva de referncia para interessados em
utilizar a histria da matemtica como ferramenta metodolgica de ensino, ou simplesmente
para os curiosos que desejam saber como surgiram os conceitos matemticos, em particular os
conceitos envolvendo indeterminaes.

8. Bibliografia

ABELLN, M. B. Hermenetica del clcul diferencial a l'europa del segle XVIII: de


l'analyse des infiniment petitis de l'hpital (1696) al trait lmentaire de calcul diffrentiel et
de calcul intgral de Lacroix (1802). Tese (Doutorado em Matemtica) Faculdade de
Barcelona. Universidade Autnoma de Barcelona, Barcelona, 2004.
ANGELO, C. L. A regra de LHpital no habitat livro texto: uma anlise do discurso de
alguns autores. Dissertao de Mestrado (Curso de ps-graduao em Educao Matemtica).
Universidade Estadual Paulista UNESP. Rio Claro, 1997.
VILA, G. Clculo I: funes de uma varivel. 6. ed. Rio de Janeiro: LTC, 1994.
BARON, M. E.; BOS, H. J. M. Curso de Histria da Matemtica: origens e
desenvolvimento do clculo. Traduo de J. R. B. Coelho, R. Maier e M. J. M. M. Mendes.
Brasilia: Universidade de Brasilia, 1985. Un. 3.
BARUFI, M. C. B. Johann Bernoulli. IME.USP.SP. Universidade de So Paulo. So Paulo,
2002. Mapa da Histria: apresenta a Biografia de personagens da Histria da Matemtica.
Disponvel em <http://ecalculo.if.usp.br/historia/bernoulli1.htm>. Acesso em: 8 out. 2007.
____________________ Marquis de LHospital. IME.USP.SP. Universidade de So Paulo.
So Paulo, 2002. Disponvel em <http://ecalculo.if.usp.br/>. Acesso em: 8 out. 2007.
BERNOULLI, J. Herausgegeben von der naturforschenden gesellschaft. Birkhauser
Verlag Basel, 1955.
BOS, H. J. M. Curso de Histria da Matemtica: origens e desenvolvimento do clculo. O
clculo no sculo XVIII. Traduo de M. J. M. M. Mendes. Braslia: Universidade de
Braslia, 1985. Un. 4.
BOYER, C. Histria da Matemtica. Traduo de E. Gomide. 2. ed. So Paulo: Edgar
Blcher Ltda, 1996.

BYERS, V. Why study the history of mathematics? In: Inter. J. Math. Educ. Sci.
Technol., 1982 p. 59-66.
CATUNDA, O. Curso de Anlise Matemtica. So Paulo: Trabalho Datilogrfado, 1962.
Vol. I.
CAUCHY, A. L. Rsum des donnes a Lecole Polytechnique Sur le Calcul
Infinitsimal. Paris: Acadmie des Sciences, 1821. Srie 2, Tome 4. Disponvel em:
<http://gallica.bnf.fr/>. Acesso em: 5 dez. 2007.

88

89

EDWARDS, C. H. Jr. The historical development of the calculus. New York: SpringerVerlag, 1979. 150 ilustraes.
GOURSAT, E. Cours danalyse mathmatique. New York: Dover Publications, 1904.
GRATTAN-GUINNESS. Del clculo a La teora de conjuntos, 1630 1910: Uma
introduccin histrica. Verso espanhola de Mariano Martinez Prez. Madrid: Alianza
Editorial, 1984.
GUIDORIZZI, H. L. Um curso de clculo. 5. ed. Rio de Janeiro: LTC, 2003.
HUGHES, D. et al. Clculo Volume 1. Traduo de C. R. Galdo. Rio de Janeiro: LTC,
1997.
LACROIX, S. F. Lebrbegriff des Differential unb Integral calculs. Berlim, 1799.
LHPITAL, G. F. A. l'Analyse des infiniments petits por l'Itelligence des lignes courbes.
Paris: ACL ditions, 1696.
LEITHOLD, L. O clculo com geometria analtica. 3. ed. Traduo de C. C. Patarra. So
Paulo: Harbra, 1994. Vol. I.
PASTOR, J. R.; BABINI, J. Historia de La Matemtica: Del renacimiento a La actualidad.
2. ed. Barcelona: gedisa, 1986.
RICIERI, A. P. Matemticos: vida e obra. So Paulo: Prandiano Edies, 1992. Vol. II.
SEBASTIANI FERREIRA, E. A funo logartmica e a quadratura da hiprbole. In: VI
Colquio de Histria e Tecnologia no Ensino da Matemtica. Rio de Janeiro, 2008. CDROM.
____________________ Como usar a histria da Matemtica na construo de uma
educao matemtica com significado. III Seminrio Nacional de Histria da Matemtica.
Vitria: Circe Mary Silva da Silva, 1999.
____________________ O uso da Histria da Matemtica nas aulas de clculo. Encontro
Luso-Brasileiro de Histria da Matemtica e Seminrio Nacional de Histria da Matemtica.
Anais. guas de So Pedro - SP: Sergio Nobre, 1997.
____________________ Mais uma vez: porqu a Histria da Matemtica. Dez anos de
ProfMat. Associao de Professores de Matemtica, 1996.
SONNET, H. Premiers lmentes du Calcul Infinitsimal. Paris: Librairie Hachette, 1909.
STEWART, J. Clculo. Traduo de A. A. PATARRA. So Paulo: Pioneira Thomson
Learning, 2001. Vol. I.
STRUIK, D. J. The origin of L'Hpital's rule: The Mathematics Teacher. April, 1963.
p. 257 260.

90

TOEPLITZ, O. The Calculus, a Genetic Approach. Chicago: The University Press,1966.

Bibliografia Consultada

BOURBAKI, N. Elments dhistoire des mathmatiques. Paris: Hermam, 1969.


p. 228 274.
EDWARDS, H. M. Fermat's Last Theorem: A Genetic Introducion to Algebraic Number.
New York: Springer Verlag, 1977.
EVES, H. Introduo Histria da Matemtica. Traduo de H. H. Domingues. 3 ed.
Campinas: Editora da Unicamp, 2002.
EVES, H. Tpicos de Histria da Matemtica. Traduo de H. H. Dominguez. So Paulo:
Atual, 1992.
GARDING, L. Encontro com a matemtica. Traduo de W. M. Alvarenga e M. M.
Alvarenga. Braslia: Universidade de Braslia, 1981.
HUGHES, D. et al. Clculo e Aplicaes. Traduo de E. Gomide. So Paulo: Edgard
Blcher Ltda, 1999.
SANTOS, A. R.; BIANCHINI, W. Aprendendo Clculo com Maple: clculo de uma
varivel. Rio de Janeiro: LTC, 2002.
UNIVERSIDADE SANTA RSULA. Perdi a matria: nomes que fizeram a histria. Site
criado por professores da Universidade Santa rsula com o objetivo de apresentar um resumo
da histria de personagem que contriburam para o desenvolvimento da cincia. Disponvel
em: <http://www.perdiamateria.eng.br/Nomes/Lhopital.htm>. Acesso em: 25 set. 2007.