Você está na página 1de 3

Histria das Sequncias e Sries Zeno de Ela (490--425 a.C.) escreveu um livro com 40 paradoxos relativos ao contnuo e ao infinito.

Pelo menos quatro dos paradoxos influenciaram o desenvolvimento da matemtica para explicar os fenmenos relevantes. Infelizmente, o livro no sobreviveu at os tempos modernos, assim conhecemos estes paradoxos a partir de outras fontes. Os paradoxos de Zeno sobre o movimento desconcertaram matemticos por sculos. No final eles envolvem a soma de um nmero infinito de termos positivos a um nmero finito, o qual a essncia da convergncia de uma srie infinita de nmeros. Vrios matemticos contriburam para o entendimento das propriedades de sequncias e sries. Este ensaio destaca as contribuies de alguns daqueles matemticos que estudaram sequncias e sries. Zeno no foi o nico matemtico da antiguidade a trabalhar com sequncias. Vrios dos matemticos gregos da antiguidade usaram seu mtodo de exausto (um argumento sequencial) para mediar reas de figuras e regies. Usando sua tcnica refinada de raciocnio chamada de "mtodo", Arquimedes (287-- 212 a.C.) alcanou vrios resultados importantes envolvendo reas e volumes de vrias figuras e slidos. Na verdade, ele construiu vrios exemplos e tentou explicar como somas infinitas poderiam ter resultados finitos. Dentre seus vrios resultados estava que a rea sob um arco parablico sempre dois teros da base vezes a altura. Seu trabalho no foi to completo ou rigoroso, como daqueles matemticos que vieram depois e desenvolveram sequncias e sries como Newton e Leibniz, mas foi to impressionante quanto. Embora Arquimedes tenha sido obstrudo pela falta de preciso e notao eficiente, foi capaz de descobrir muitos dos elementos da anlise moderna de sequncias e sries. O prximo contribuinte importante para esta rea da matemtica foi Fibonacci (1170--1240). Ele descobriu uma sequncia de inteiros na qual cada nmero igual soma dos dois antecessores (1, 1, 2, 3, 5, 8,), introduzindo-a em termos de modelagem de uma populao reprodutiva de coelhos. Esta sequncia tem muitas propriedades curiosas e interessantes e continua sendo aplicada em vrias reas da matemtica moderna e cincia. Durante o mesmo perodo, astrnomos chineses desenvolveram tcnicas numricas para analisar resultados experimentais. Durante os sculos 13 e 14, matemticos chineses usaram a ideia de diferenas finitas para analisar tendncias em seus dados. Hoje, mtodos como os deles so usados para entender o comportamento a longo prazo e os limites de sequncias infinitas. Este trabalho inicial na sia levou a mais investigao e anlise de vrias progresses e sries mas teve pouca influncia sobre os matemticos europeus. Oresme (1325--1382) estudou taxas de variao, como velocidade e acelerao, usando uma aproximao sequencial. Seu principal trabalho, De configurationibus, foi o primeiro a apresentar grficos de velocidade. O argumento que usamos para mostrar a divergncia da srie harmnica foi inventado por Oresme em sua publicao. Duzentos anos depois, Stevin (1548--1620) avanou a matemtica providenciando uma simbologia mais fcil de se compreender. Ele entendeu os conceitos fsicos e matemticos da acelerao devido gravidade. Somou sries e analisou sequncias, mas parou um pouco antes de definir ou explicar limites e convergncia. O contemporneo de Stevin, Galileu (1564--1642), aplicou matemtica s cincias especialmente astronomia. Baseado no seu estudo de Arquimedes, Galileu melhorou a compreenso de hidrosttica, desenvolveu os resultados para o movimento em queda livre sob a ao da gravidade e os movimentos dos planetas. At sugeriu que poderia existir uma terceira propriedade entre o finito e o infinito. Galileu deixou seus sucessores com conselhos e desafios encontrados nas duas citaes a seguir: Onde os sentidos falham, a razo deve entrar. Infinitos e indivisveis transcendem nosso entendimento finito, o primeiro por conta de sua magnitude, o segundo pela sua pequenez; imagine o que eles so quando combinados. medida que o desenvolvimento do clculo foi tomando forma, o progresso no entendimento de sries infinitas teve um papel no desenvolvimento do clculo diferencial e integral. Pascal (1623--1662) era fascinado pelos resultados impressionantes que vinham das somas infinitas mas era confundido pelo seu conceito. Para ele, o infinito era alguma coisa para admirar, mas impossvel de entender. Pascal preferiu a abordagem geomtrica de St. Vincent (1584--1667) para sries e sua convergncia em vez da nova abordagem analtica de

Fermat (1601--1665) e Descartes (1596--1650) que no conseguia visualizar ou entender. Apesar da limitao de Pascal para entender sries, ele, junto com Descartes e Fermat, usou clculos com sries nas contribuies aos fundamentos do clculo diferencial e integral. At a metade do sculo 17, matemticos tinham desenvolvido e analisado sries de nmeros. O tempo tinha chegado para investigar sequncias e sries de funes. Ambos Newton (1642--1727) e Leibniz (1646--1716) desenvolveram representaes de sries para funes. Usando mtodos algbricos e geomtricos, Newton calculou as sries para as funes trigonomtricas sen(x) e cos(x) e para a funo exponencial. Estes resultados so encontrados nos trabalhos de Newton intitulados Method of Fluxions and Infinite Series e Analysis with Infinite Series. Newton utilizou sries para desenvolver muitos resultados de clculo, tais como rea, comprimento de arco e volumes. Leibniz somou sequncias de recprocas de nmeros poligonais e, seguindo o trabalho de St. Vincent, somou e analisou vrias sequncias geomtricas. Leibniz usou uma abordagem sequencial de valores infinitamente prximos para explicar o conceito de limite. Embora nunca tenha pensado na derivada como um limite, descobriu muitos dos resultados que agora estudamos em clculo usando limites. Brook Taylor (1685--1731) no foi o primeiro a inventar a estrutura e o processo que chamamos de srie de Taylor, e a srie de Maclaurin no foi desenvolvida por Colin Maclaurin (1698--1746). James Gregory (1638-1675) estava trabalhando com sries de Taylor quando Taylor tinha apenas alguns anos de idade. Gregory tambm publicou a srie de Maclaurin para muitas funes trigonomtricas antes que Maclaurin tivesse nascido. Taylor no conhecia o trabalho de Gregory quando publicou seu livro Methodus incrementorum directa et inversa, o qual continha o que chamamos agora de srie de Taylor. Ele tinha desenvolvido independentemente um mtodo baseado em clculo para gerar representaes de funes em sries. Posteriormente, Maclaurin citou um trabalho de Taylor em um livro de clculo que escreveu em 1742. O livro de Maclaurin popularizou representaes de funes em sries, e embora Maclaurin nunca tenha afirmado que as tinha descoberto, a srie de Taylor centrada em a = 0 tornou-se posteriormente conhecida como srie de Maclaurin. Johann Bernoulli (1667--1748) tambm fez uma descoberta independente do teorema de Taylor. Euler (1707--1783) usou freqentemente sries infinitas em seu trabalho para desenvolver novos mtodos ou para modelar problemas aplicados. Publicou Mechanica em 1736, onde aplicou sistematicamente o clculo mecnica e desenvolveu novos mtodos para resolver equaes diferenciais usando sries de potncias. Estabeleceu a notao de somatrio que usamos hoje, usando sigma para o smbolo da soma. D'Alembert (1717--1783) escreveu cinco artigos lidando com mtodos para integrar equaes diferenciais. Embora tenha recebido pouca educao cientfica formal, claro que ele conhecia os trabalhos de Newton, L'Hospital e dos Bernoullis. D'Alembert publicou muitos trabalhos sobre matemtica e fsica matemtica, culminado com seu trabalho principal, Trait de dynamique. Considerou a derivada como um limite da diferena de quocientes, o que o colocou frente dos seus pares no entendimento do clculo. Tambm desenvolveu o teste da razo para determinar a convergncia de muitas sries. Atravs do trabalho de D'Alembert, a natureza da pesquisa sobre sries estava mudando de clculos prticos para uma fundamentao mais terica. Lagrange (1736--1813) estendeu o trabalho de Euler nas equaes de movimento e o entendimento da energia potencial. Publicou Mcanique analytique (1787), que aplicava clculo ao movimento de objetos. O maior trabalho de Lagrange foi na teoria e aplicao do clculo. Ele sentiu que a srie de Taylor desempenhava um papel fundamental no entendimento do clculo, embora ainda evitasse o limite e as propriedades de convergncia de sequncias e sries. Bolzano (1781-1848) confrontou este assunto, apontando que a convergncia era importante para entender e usar sries. Tentou explicar convergncia associando-a com a ideia de subconjuntos limitados. Bolzano acreditava no mtodo de Lagrange para usar sries de Taylor como a base para o clculo. Fourier (1768--1830) fez contribuio ao estudo e clculo da difuso de calor e soluo de equaes diferenciais. Thorie analytique de la chaleur (A Teoria Analtica do Calor, 1822) contm uso extenso de sries consistindo de funes trigonomtricas que hoje chamamos de sries de Fourier. Apesar disso, contribuiu muito pouco para a teoria destas sries, as quais eram conhecidas, muito antes, por Euler, Daniel Bernoulli e Lagrange. Finalmente, a comunidade matemtica foi motivada a estabelecer fundamentos mais tericos para as idias de limite e convergncia de sequncias e sries. Cauchy (1789-1857) foi o primeiro a definir por completo as

idias de convergncia e convergncia absoluta de sries infinitas. Este trabalho foi feito em conjunto com o desenvolvimento de uma anlise rigorosa do clculo. Tambm foi o primeiro a desenvolver uma teoria sistemtica para nmeros complexos e a transformada de Fourier para equaes diferenciais. Contudo, ambos Cauchy e seu colega Niels Henrik Abel (1802--1829) ignoraram a utilidade das sries divergentes. Abel escreveu em 1828 "sries divergentes so a inveno do diabo, e uma vergonha basear nelas qualquer demonstrao". Runge (1856--1927) desenvolveu o mtodo de resoluo baseado em sequncias para solucionar numericamente equaes diferenciais junto com M. W. Kutta (1867--1944). Sequencias e sries tornaram-se ferramentas padro para aproximar funes e calcular resultados em computao numrica. O matemtico indiano autodidata Srinivasa Ramanujan (1887--1920) usou sequncias e sries de potncias para desenvolver resultados em teoria de nmeros. O trabalho de Ramanujan era terico e produziu numerosos resultados importantes usados por matemticos no sculo 20. Seus colaboradores britnicos Godfrey Harold (G.H.) Hardy (1877--1947) e John Littlewood (1885--1977) usaram seu conhecimento de sries para produzir avanos importantes em teoria de nmeros e estenderam a utilidade das sries para muitas reas da matemtica.