Escolar Documentos
Profissional Documentos
Cultura Documentos
Guaratinguet
2015
Guaratinguet
2015
RESUMO
Sumrio
CAPTULO 1 INTRODUO SOBRE GOTTFRIED WILHELM LEIBNIZ........................5
1.1 SOBRE A VIDA, PESSOA E OBRAS DE LEIBNIZ...............................................7
1.2 LEIBNIZ E O CLCULO.................................................................................10
CAPTULO 2 SOBRE O PROFESSOR DOUTOR ERNESTO VIEIRA NETO....................16
2.1 SOBRE O TRABALHO FORMAO DINMICA DOS SATLITES IRREGULARES
DOS PLANETAS GIGANTES DO PROFESSOR ERNESTO.....................................17
CAPTULO 3 SOBRE A AUTORA DESTE TRABALHO................................................20
3.1 SOBRE MINHA INICIAO CIENTFICA.........................................................21
REFERNCIAS BIBLIOGRFICAS............................................................................28
Alm da diferena de muitos anos entre uma descoberta e outra, o clculo de Newton
baseia-se no movimento dos corpos e seu simbolismo matemtico demasiado confuso,
enquanto o clculo de Leibniz vem da noo de quantidades infinitamente pequenas e sua
rigorosidade quanto notao matemtica , sem dvida, perfeita. Esta notao criada por
Leibniz flui to bem nos clculos que at hoje comumente usada, alm de ser muito mais
elegante matematicamente. Como diria EVES (2004)
Leibniz tinha uma sensibilidade muito grande para a forma matemtica e discernia
com clareza as potencialidades de um simbolismo bem engendrado. Sua notao
para o clculo mostrou-se muito feliz e, inquestionavelmente, mais conveniente e
flexvel do que a de Newton. (EVES, 2004, p. 443).
que faria quase qualquer coisa para conseguir prestgio entre a realeza. Deste modo, ele
procurava usar de sua inteligncia e maestria social para conquistar os cargos que almejava.
Aps se formar em Direito, em pouco tempo conseguiu o reconhecimento que
necessitava, e com isso fez vrias viagens como diplomata. Por fim tornou-se bibliotecriochefe em Hanver, onde passou seus anos finais.
Leibniz convenceu o cientista Huygens a lhe dar aulas de matemtica (EVES, 2004). Chegou
tambm a participar de reunies da Sociedade Real, onde acabou por tornar-se scio.
Entre 1673 e 1676 ocorreram dois grandes acontecimentos na vida de Leibniz. Foi
quando ele desenvolveu seu clculo diferencial e integral e tambm tornou-se bibliotecriochefe em Hanver, onde passaria seus ltimos anos. Usou pela primeira vez o smbolo de
integral, um S alongado, derivado da primeira letra da palavra latina summa (soma) em 29 de
outubro de 1675. O objetivo era indicar uma soma de indivisveis. (EVES, 2004, p. 443).
Fundou a Academia das Cincias de Berlim e publicou vrios de seus trabalhos em jornais
eruditos da Frana e da Alemanha (DE CARVALHO, 2007). Empenhou-se em criar, tambm,
essas mesmas Academias em Dresden, Viena e So Petersburgo (EVES, 2004).
Aos poucos Leibniz foi perdendo todo seu prestgio, tendo feito mais algumas viagens
diplomticas anos antes e apresentado uma mquina de calcular de sua autoria. Veio a falecer
em 14 de Novembro de 1716, ento com seus 70 anos.
Se Leibniz era admiravelmente inteligente e hbil no saber, tendo sido um dos ltimos
estudiosos a ser integralmente sbio em vrias reas do conhecimento (BOYER, 1996), no se
podia dizer o mesmo de sua personalidade. Ele, acima de tudo, queria alcanar grande
prestgio dentro da corte, por isso procurava publicar os trabalhos que certamente lhe
proporcionariam reconhecimento social e garantissem cargos importantes, mesmo que isso
significasse no publicar seu melhor trabalho. No obstante, se este pode ser considerado um
fator negativo em seu carter, por outro lado Leibniz era um cristo enraizado. De acordo com
EVES (2004)
Leibniz era um otimista inveterado. No s acreditava poder reunir as seitas
religiosas conflitantes de seu tempo numa nica Igreja universal, como tambm,
acreditava que podia encontrar um meio de cristianizar a China atravs do que ele
considerava ser a imagem da criao na aritmtica binria. Como Deus pode ser
representando pela unidade e o nada pelo zero, ele imaginava que Deus tivesse
criado o tudo do nada, assim como na aritmtica binria todos os nmeros se
expressam por meio da unidade e do zero. Essa ideia agradava tanto a Leibniz que a
comunicou ao jesuta Grimaldi, presidente do Conselho de Matemtica na China, na
esperana de que ele pudesse converter o imperador chins (que era muito ligado a
cincia) e, indiretamente, toda a China ao cristianismo. Um outro exemplo das
tendncias teolgicas de Leibniz se encontram na observao que fez a respeito dos
nmeros imaginrios que seriam como os espritos sagrados das Escrituras: espcies
de anfbios, entre coisas que so e coisas que no so. (EVES, 2004, p. 444).
Discurso de metafsica;
O que ideia;
Caracterstica universal;
Ensaio de teodicia;
Sobre a sabedoria;
Sobre a liberdade.
10
11
Agora, para explicar melhor como Leibniz fez tal descoberta, necessrio conhecer
certas premissas, das quais ele partiu para chegar ao clculo que conhecemos hoje. Elas so
quatro: characteristica generalis (caractersticas gerais), sequncia de diferenas, tringulos
caractersticos e a transmutao.
A primeira delas caractersticas gerais trata de um conjunto de smbolos
matemticos que regeram seus estudos. Segundo Leibniz, uma vez traduzido um problema
em linguagem matemtica simblica, a aplicao das regras conduzir quase mecanicamente
a sua soluo (DE CARVALHO, 2007, p. 27).
A segunda parte tem incio em um problema onde o matemtico holands Huygens
props a Leibniz. Huygens sugeriu a Leibniz que resolvesse o problema de somar a srie
infinita onde os termos desta srie seriam os inversos dos nmeros triangulares (DE
CARVALHO, 2007).
1+
r (r +1)
. Ou seja, o que Huygens queria que Leibniz calculasse
2
1 1 1
1
2
+ +
+
+ ... +
3 6 10 15
r (r +1)
r (r +1)
r=1
12
bn = b 1 , b 2 , b 3 , b 4 , ... ,b n
2
em uma diferena de fraes. Um mtodo atual para a
r (r +1)
A
B
r
r +1
Ar Br + A = 2
A (r +1) Br
r (r +1)
Ar Br + A
r (r +1)
( A B)r + A = 0 r + 2
A B = 0 e A = 2. Logo B = 2
Portanto
2
2
2
=
r (r +1) r r +1
13
r (r +1)
r=1
( r r +1 )
r=1
2 2
1 n
2
r (r +1)
= 2
r=1
De acordo com BARON1 (1985 apud DANTAS, p. 4), Leibniz percebeu que
[...] uma analogia entre o clculo de diferenas finitas e somas, por um lado, e a
determinao de reas e de tangentes pelo outro: a adio das sequncias
correspondia quadratura de curvas; tomar as diferenas correspondia
determinao das tangentes. A relao inversa entre tomar somas e diferenas
sugeriu a Leibniz que as determinaes de reas e de tangentes tambm so
operaes inversas. (1985, p. 46)
14
H ainda em outras literaturas relatos de que nesta fase do trabalho de Leibniz ele
buscou, na verdade, levar o raciocnio empregado no tringulo de Pascal aos crculos e curvas
diversas (DE CARVALHO, 2007).
15
16
17
Outro efeito curioso das mars planetrias a sincronia entre o movimento de rotao da Lua
em torno de seu prprio eixo e o movimento que ela faz em torno da Terra. Estes dois
movimentos esto to sincronizados ou seja, com a mesma velocidade que exatamente
por isso que enxergamos somente a mesma superfcie da Lua (NETO, 2010).
Existem vrias teorias quanto formao da Lua, desde as que defendem que esta foi
formada juntamente com a Terra at as que dizem que a Lua na verdade foi capturada.
Atualmente, a hiptese mais aceita que um planeta do tamanho de Marte colidiu com a
Terra no perodo inicial de sua formao. Os detritos dessa coliso se agregaram e formaram a
Lua. (NETO, 2010, p. 53).
18
Quanto a Marte, seus dois nicos satlites so Fobos e Deimos, ambos de propores
bem pequenas. Sabe-se que Fobos est se aproximando da Lua, tambm por efeito das mars
planetrias. At hoje no se sabe ao certo a origem destes dois satlites (NETO, 2010).
J os satlites dos planetas gigantes, h muito o que se descrever. Limitando-se
somente a Jpiter, este possui quatro grandes satlites, que so chamados de satlites
galileanos, em homenagem a Galileu, que os descobriu. Os satlites so Io, Europa, Ganmede
e Calisto (NETO, 2010). Apesar destes quatro satlites serem os maiores e mais notveis em
relao s suas caractersticas, sabe-se que atualmente existam 63 satlites orbitando Jpiter.
Algo interessante so as rbitas de todos estes satlites. Os galileanos possuem rbitas
circulares, todavia os demais possuem rbitas muito excntricas. Outra caracterstica que se
sobressai a classificao dos satlites quanto ao sentido de seu movimento, ou seja, se so
prgradas ou retrgradas. Quando um satlite gira em torno do planeta na mesma direo de
rotao do planeta, dizemos que sua rbita prgrada. Se o satlite gira em direo oposta
rotao do planeta, dizemos que sua rbita retrgrada (NETO, 2010, p. 57). O ltimo fator
importante para se saber sobre os satlites o plano de rotao. Se este estiver no mesmo
plano equatorial do planeta em questo, ento a inclinao do plano de zero graus (NETO,
2010).
De acordo com todos os critrios anteriormente descritos, possvel dividir os satlites
em dois grandes grupos. O primeiro deles engloba os satlites que possuem rbitas circulares,
esto prximos dos respectivos planetas e seus planos de rotao coincidem com o plano
equatorial; a estes satlites d-se o nome de Satlites Regulares. Evidentemente, os satlites
com rbitas excntricas, distantes dos planetas e com planos de rotao diferente de zero
graus, recebem o nome de Satlites Irregulares (NETO, 2010).
Muito provavelmente, a resposta para a origem dos satlites regulares esteja na prpria
formao do planeta, que acabou originando o satlite no processo. Ou seja, foram formados
in situ. J a formao dos satlites irregulares no compatvel com esta teoria, pois uma
formao de satlite prximo regio do planeta no originaria um satlite retrgrado e de
excentricidade alta. A resposta para a formao dos satlites irregulares talvez esteja em sua
captura gravitacional aps a formao do planeta (NETO, 2010). Mas como essa captura
gravitacional ocorre? H vrios fatores que desencadeiam uma captura permanente, gerando
assim satlites irregulares. Uma delas a ruptura de binrios.
Os asteroides binrios so compostos por dois asteroides que orbitam um mesmo
centro de massa, ou seja, formam um s conjunto. Quando este par de asteroides passa
19
prximo de um planeta, muito possvel que com a troca de energia entre os corpos, haja o
desligamento entre os asteroides, fazendo com que pelo menos um deles possa ser capturado
permanentemente pelo planeta, enquanto o outro expulso. Os problemas de trs e quatro
corpos explicam este fenmeno.
Existem algumas evidncias em nosso sistema solar que comprovam que os satlites
irregulares possam ter sido formados pelo desligamento de asteroides binrios. Por exemplo,
as crateras da Lua e de outros planetas, que de acordo com alguns estudos, foram produzidas
em uma mesma poca, onde provavelmente um bombardeamento de asteroides invadiu o
nosso sistema ainda em seu incio (NETO, 2010).
Ainda h vrias outras hipteses que podem explicar a origem dos satlites irregulares.
Provavelmente os satlites irregulares so frutos no de um tipo de formao, mas talvez de
uma combinao de hipteses. (NETO, 2010, p. 66).
Assim a cincia, a construo de modelos cada vez mais precisos de forma a
podermos olhar a natureza com os olhos da verdade. (NETO, 2010, p. 66).
20
Por influncia e o forte exemplo de meu pai, sempre tive algum interesse em seguir
carreira acadmica. Ele, que sempre esteve envolto em livros, estudos e clculos de algum
gnero. Tudo isso despertou minha curiosidade pela pesquisa. A princpio, assim como ele, eu
tinha o sonho de fazer qumica na USP. Mas acabei trilhando outros caminhos!
Sou tcnica em mecnica pela ETEC (Alfredo), tendo trabalhado um ano na rea em
uma metalrgica. Foi uma tima experincia. Por ter gostado tanto da profisso, decidi fazer
um curso preparatrio para o vestibular em 2010, pois havia decidido fazer engenharia
mecnica na FEG. Estudei durante todo o ano, e acredito que um ms antes da inscrio
mudei completamente de ideia e me inscrevi para fazer Licenciatura em Matemtica. E no
me arrependo de minha escolha. Minha mudana repentina se deu por trs motivos: primeiro,
minha me aconselhou-me a ser professora, pois para ela professores devem estudar o tempo
todo e exatamente assim que ela me v; uma pessoa que gosta de estudar. Segundo, certo dia
um casal de amigos meus me pediu ajuda com certo contedo de matemtica e eles me
elogiaram muito, pois eu havia conseguido faz-los entender a matria. E por ltimo, lembro
bem do dia que aprendi o teorema de Bhaskara. Fiquei fascinada e me perguntando de onde
aquilo vinha. Como algum, com tamanha inteligncia, havia descoberto uma frmula
universal que sempre encontraria as razes de uma funo quadrtica?! claro que na poca
no era pertinente a professora ensinar a demonstrao da frmula, mas desde ento sempre
tive vontade de aprender de onde vinham os teoremas e/ou frmulas matemticas.
J no segundo ano de faculdade consegui minha primeira bolsa pelo Ncleo de Ensino.
Foi a que tive meu primeiro contato com a sala de aula. Tnhamos que preparar aulas
diferenciadas e mostrar de uma outra forma e com o uso de certas TICs alguns contedos
matemticos, ou seja, trabalhvamos com calculadora cientfica e softwares, como o winplot,
que gera grficos de funes.
Sa do Ncleo e fui para o PIBID. Novas discusses, aprendizados, preparo de
projetos. Nesta fase sei o quanto foi importante as observaes feitas, pois com elas pude ver
o dia-a-dia de um professor de matemtica da rede pblica e o comportamento dos alunos
perante o professor e a matria.
Ao final de 2013 decidi procurar o professor Ernesto, pois tinha interesse em fazer
meu TCC com ele sobre algo relacionado com EDO. O professor havia ministrado esta
disciplina em 2012 para minha turma e eu havia gostado muito da matria. Ele ento disse que
21
d 2 r 1
dt 2
d r 2
dt
d 2 r 3
dt 2
Gm 2
Gm 3
.
r
r
+
. ( r 1 r 3 )
(
)
1
2
|r 1r 2|3
|r 1 r 3|3
Gm 1
Gm3
.
r
+
. r r 3 )
(
)
2
1
3
3 ( 2
|r 2 r 1|
|r 2 r 3|
Gm 1
Gm 2
.
r
+
. ( r 3 r 2 )
(
)
3
1
|r 3 r 1|3
|r 3
r 2|3
22
F = ma
F=
GMm
2
r
Figura 6 Direes relativas aos corpos e ao centro de massa do conjunto (vetores invertidos)
23
Esta foi a parte mais fcil indiscutivelmente mais fcil em comparao s outras
etapas do projeto.
Depois disso foi preciso entender o algoritmo responsvel pela integrao numrica
das equaes de movimento. Foi necessrio de minha parte uma reviso sistemtica dos
contedos vistos em programao de computadores e clculo numrico, e diga-se de
passagem duas disciplinas que no tive a menor afinidade e habilidade, a princpio. No
obstante, com toda a reviso feita, pude entender vrios tpicos aos quais no dei muita
ateno, e assim comecei a me interessar fortemente por programao e vislumbrar o quanto
esta importante nos dias de hoje (e tambm divertida).
Alm desta grande dificuldade me deparei com uma maior ainda, bem no incio da
pesquisa. Aps encontrar as equaes, o professor esperava que eu conseguisse compilar o
algoritmo que j havia sido escrito em C++ pelo prprio professor Ernesto mas a
compilao no estava dando certo pelo Windows. Como um bom orientador, o professor me
disse que s poderia me ajudar melhor caso eu usasse o sistema operacional Linux, pois com
este ele tinha muito mais familiaridade. At ento eu s tinha ouvido falar do tal Linux, mas
nunca me imaginei usando-o. Fiz vrias tentativas de compilar o programa no Windows, mas
nenhuma delas deu algum resultado. O tempo estava passando e havia todo um cronograma a
ser seguido, ento tive que sair completamente de minha zona de conforto e partir para o
estudo de um sistema operacional totalmente novo para mim. Com muita pesquisa na internet
e ajuda do google, aprendi a formatar um computador, criar um pen-drive bootavel com
Ubuntu (uma das muitas distros do Linux) e fazer dual-boot ou seja, ter dois sistemas
operacionais instalados na mesma mquina. Tendo o Ubuntu instalado, o professor Ernesto
pde me ajudar com a compilao do programa, mas meu aprendizado de um novo SO no
parou por a. Para facilitar todo o trabalho que ainda estava por vir, tive que me familiarizar e
aprender vrios comandos teis do terminal do Ubuntu (linha de comando). esta ferramenta
que agiliza e simplifica todo o trabalho de compilao e execuo dos programas escritos em
C++. Alm disso, tive que reaprender a usar programas que, no Windows, eram velhos
conhecidos para mim, como Word e Excel. Ao fim desta segunda etapa, estava apaixonada por
programao e pelo mundo do software livre!
Aps alguns resultados obtidos, era chegada a hora da modelagem do tirante. Este que,
quando rompido, o responsvel por gerar a energia esperada, fazendo com que pelo menos
um dos dois satlites, antes acoplados, possa sofrer uma captura gravitacional permanente.
24
Figura 7 Esquematizao das foras atuantes nos dois satlites (modelagem do tirante)
d 2 r4
Gm2
Gm3
ks r3r4
=
(
r 2r4 )
( r3r4 ) +
2
3
3
m4 |r3r4|
dt
|r2r4|
|r3 r4|
Tendo chegado a este ponto foi possvel a plotagem de vrios grficos interessantes,
onde foi possvel constatar a captura ou no de um dos satlites envolvidos.
25
Figura 8 Trajetria da lua (linha vermelha), trajetria do satlite capturado (linha verde) e
trajetria do outro satlite (linha azul)
26
Estes resultados foram obtidos com a modelagem em C++ das equaes antes
descobertas e com as vrias mudanas feitas nas muitas variveis envolvidas. Uma leve
alterao em apenas uma delas uma mudana de dcimos j o suficiente para reverter
uma captura gravitacional. Como no exemplo abaixo.
Ao fim destas primeiras simulaes, foi possvel chegar a uma regio vivel, onde
sempre haver captura gravitacional.
27
Para encontrar esta regio, apenas duas das variveis foram alteradas (tempo de
ruptura da haste e o comprimento desta). Agora estou alterando a anomalia verdadeira para
obter uma nova regio.
Por conta de todo este aprendizado, minhas futuras aspiraes mudaram muito. Agora
tenho muito vontade de fazer uma nova graduao. Anlise e desenvolvimento de sistemas,
onde eu poderia aprender um pouco mais de C++ e outras linguagens de programao to
importantes quanto, como Java e HTML. Ou ento, se surgir uma oportunidade, fazer um
mestrado na rea de programao ou algo similar.
28
REFERNCIAS BIBLIOGRFICAS
GOTTFRIED Wilhelm Leibniz: vida e obra. So Paulo: Nova Cultura, 2004.
DE CARVALHO, Romeu Manuel. A inveno do Clculo por Newton e Leibniz e sua
evoluo para o Clculo Contemporneo. 2007. 52 f. Monografia (Curso de Especializao
em Matemtica para professores com nfase em clculo) Instituto de Cincias Exatas,
Universidade Federal de Minas Gerais, Belo Horizonte, 2007.
BOYER, Carl Benjamin. Clculo: tpicos de histria da matemtica para uso em sala de aula.
So Paulo: Atual, 1992. v. 6.
DE CARVALHO, Tadeu Fernandes; D'OTTAVIANO, Itala M. Loffredo. Sobre Leibniz,
Newton e infinitsimos, das origens do clculo infinitesimal aos fundamentos do clculo
diferencial paraconsistente.
BOYER, Carl B. Histria da Matemtica. 2. ed. So Paulo: Edgard Blcher, 1996. 496 p.
ROQUE, Tatiana. Histria da Matemtica: uma viso crtica, desfazendo mitos e lendas. Rio
de Janeiro: Zahar, 2012. 511 p.
EVES, Howard. Introduo histria da matemtica. Campinas: Editora da UNICAMP,
2004. 843 p.
NETO, Ernesto Vieira. Formao dinmica dos satlites irregulares dos planetas gigantes.
Caderno de fsica da UEFS, 2010. Caderno 08.
Gottfried Wilhelm von Leibniz (1646-1716). Disponvel em:
<http://ecalculo.if.usp.br/historia/leibniz.htm>. Acesso em: 08 maio 2015.
Gottfried Wilhelm von Leibniz. Disponvel em:
<http://www.ime.unicamp.br/~calculo/history/leibniz/leibniz.html>. Acesso em: 08 maio
2015.
29