Este livro integra a série Topicos de HISTORIA DA MATEMATICA para uso em sala de aula VOLUMES PUBLICADOS: Numeros e numerais, ‘Computagéo Geometria Algebra Trigonometria Caleulo CARL B. BOYER “Tépicos de e HISTORIA DA MATEMATICA para uso em sala de aula CALCULO Tradugéo de Hygino H. Domingues @ BBsual WAST erat. LOWEN Apresentagao ‘Nos ios anos, vem ¢notando nos mos mateniospreocupe os como casino um ete eesporho ee valoriar 2 histra da maven ge foe de: Ae antes ese ei to Gh, ‘timinendo com sinluso de ina sepia espeice sobre 0 asso ‘os carouos de iro eis de leencatra em matemaca, TEs enna os parece sebreaner anspicios, send de lame “tat apenas no ter osoro bem ates A materia dade a seus pee tron enrelnasefaoifimsmente com a Rss da east, Sendo ‘mesmo una das slvanes ponapts do proprio humane, Que oa ht ‘Be € nto alamente motivadern em tro de enn com Lambe Im ca em aspects carats ‘Sendo, indubitanctmente, iit bibsiogrfea um dos ftores a ‘bstzem uinaprovetamento nei da hstria cu matematiea no exsno, Sereltamos ge spuleag do preset texto, plas Stas Vitus € ee ‘Sficidaes, vom em boa hora “Tats do eaptle sabre o ileal, do iro Historical Topics for ‘he Mathematics Clasroom, do espvel National Coun of Teachers ‘of Mathematics (NCTC) dos Estados Unidos, ert para "alien ‘no de matemals partir de uma perspectiva sce" Ou ea, ast fla da maton nessa obra so se const apenas ea nformapio ou ‘rio, mat ame em matador usa, dita ou nie ‘meni, nt sala de aula, Outs proposes que artearan o NCTM quan- {a esa obra foram: a)a adowngtcia de pre-equiion especics por Pate do er: 8) 2 powiblldade de servi de mativacdo para profesor ‘rahuns com visas etude crtlaror )servir de referee pa cue fpr ty rion 2 ea da atm; tender ‘Genco conta de dus partes A praira € un vis ger cujo ob {tivo € dar 20 etor um quaro tao ale guano posivel do desenvov- ‘mento historico do clclo,a segunda formada de cipal que poem fm relevo debe ¢episdie importantes da histra do elelo. Emo "posta ae das ndependentemets, es capi serve de comple: ‘metagdo& vido perl que as precede, ‘Dameama obta da NCTM, «Atal Eator épublicou cnc fas Jos abrangendo or dco aphuly ds matemdiea demerta © presen volume ¢ de uri srta forms, ura coreapto do empreenimentoarte- ‘or, pio eal, embora ete 0s no fgue abtuliente no citilo de materia do segundo gran, (em pare talvez por iso mesmo) 2 ‘trande Ene da pine se dos curion niente da ea de See as exatas fo sem falar que a quests Ge que sua fe teseem nos io astra da nated © apes glenn 8 Biverekmenares dee todo rea volumes, por expo). Volundo 8s considrasbes init, acrediames que o preset exo, a steve asad Je sa ido geal eos dae: env rene de suas ‘ipelasyaltandoleveza de inguager argo, poderdconsrbul sign tivamente com os volumes antrormentepabicados, par consldat © papel dddeocltral da histor da matemaica bo chin. O tadator = Sumario ote una vo ra Gimalr 1 "A anurans a iio (Glia 2 Sino Sera nnn (Goin phan Kepee oT ‘Clos — Soenenar Cae ‘Chm Bere se ere Gon ein Wat (Ga 9 fae Brow oo ‘Go be = Nes & Nei a aHistdria do calculo Introdugéo: uma visto geral ‘CARL B. BOYER Osi ata rng” tate tn wa ear ees Saas Senate Cat ace ee sacra imate ere regi i Gluuiet astugeae ne ecu sectpte cen nate re ci reaenie bereer ts tea Ae ieee ett cen yea re ayes EERE Sr nn ow atl om geben ne a Sombie ene eoman aan fa somite eascen create aaa Sead cert eee ac ee mula Concepgoes na antigdidade No sentido mais formal cielo foi moldado n0 séeulo XVI de ows era; mas as quesies das quas surg j tinham sido colocadas tals de devesete séculos antes do comern de nossa ea. Papios efi ‘ose tabulascuneiformes bebilinica inclvem problems de mens ‘0 relies curvinea que pertencem ao dominio do cAulo, mas 0 tratamento préhelnico desses problemas fallow amadurecimento ‘ateritico em dois aspectos serio: (1) ndo havi distin definida fe resultados exatos e aquees apenas aproximsdos, e ) a rela (es com a gia dedutva no estavam expctamente reveladss. O [api Rhind, copiato pelo escriba Ames (ou Abs) por volta de 1630 a.C, mostra que'os epipeios acharam coretamente 0 volumee ume pirtmide quadrada como 13 do volume do prsma retangule <& mesma base e tesma altura. Nao era dada nenhuma demonstra ‘lo do acertp desta relagdo, e no nosso século mostrouse que € fm psivel provi igorosamente sem considerapbes nfiniteaimais ~ {0 é, emo ediul. Sea comparaeto de configucacdes rellineas sim les requer tal sofiticaco, nto se deveria esperar demas da mensura ‘to de figuras curilineas no periodo peer. Ahimes, por exe lo, corskerou area de um crculo Como sendo igual 8 de um qua {rao eaj iad € 89 do didmero do culo. Essa aproxisagso nao md, pos equivale a asturir 9 valor 3,16 para x, Nao obslante, em bora contar 0 nmero de algarsmos corretos numa aproximasto deck. smal den seja um bor esport, no representa uma medida conivel do nivel matemation de uma civlzagao. Um feito muito mar tena so os eepcios conseuirem mostrar que sua formula para dea do ‘Greulo nao eraexaa, a0 pass que a 69 volume da amide ea exata, ( nivel da matematica do Vale Mesopetimico era superior 20 ‘da matemdtica 20 longo do Nilo; além disso, os baiiice extavam, fe ols abertos para as duas critics obsevadas acima com relapio ‘4s egipeio. 14 no slo XVII a.C- os babies spicaram sa Sign ta admiravelpene flxivel a uma ampla gama de problemas rit 0, ncuindo mensurapto defiguras. Canherendooteorema de Pago. fas, acharam corretamente a dlagoval de um quadsado, ato equiva lenie a mes dua de cass decimals. Tomavatn 3 rea do culo se falmente como 0 triplo da area do quadrado sobre o rao, mas em pe lo:mence uma ccasto usar pare ume aprormag melhor, 318. [Nem mesma or babilGai, contudo, inham entree pars determinar se stavam anda com resultados etats ou apenas com aprorimayies, “Tavera abordagem dos babies mais préxima do cleo este ja aum algoitme iterative que descobriram para achar a raiz qua ‘rada de qualquer ndmero racionab,.Sejaa o mimerocujarair qua faa se desea, e eja a uma primera. aproximacto por faa dessa ‘iz, Entdo ala, (= 2) se uma aproximagdo por exceso. Alem do ‘als, ¢ eb; S80 as medias aremeteac harmonica, respesivemence, dea € by, enti a, by sero aproximagies por excesoe por fala melhores Gue b ¢ ay, Cominsanco esse proceso, em que; bso ssmédas artmetieharmenica, especivamente dea, €6,, tems lum proceso infinite que levard a aproximagbes ido préximas quanto Se hace da raiz quadrads pretendidaTivessem os bablloni qual {quer meio de confecer ou mostrar que o proceso no terminava, de ‘erm agora ser aclamados como os nventores do capetulo da ea ‘iss inf, uma das partes basiews do cileulo moderna. Todavia, a ‘habilidade dos babildnios em Algebra ndo tinha paralelo em preocu- pasbes léieas. Dal por que o crédito pelos prenincios do célew {o cake a0 povo antian para o qual a aboréagem ligca conse se owen verdaderapaixso Os primeiros matematicos -Admiteseuniversamente que os eros foram os pimeitos ma tematioos ~ primeiros no sentido de que Toram cles que encearam ‘© desenvolvimento da matematic 3 pais de prncipis basco, Hi pias 425 8}, ou algum ouiro por volta de sua época, mostou que, {terms de nmerosinteias, nao era pssivel nena compara ‘so numriea exata da. diagonal com o lado para um quadrado, um Pentdgono regula, um cubo ou um hexagond regular na vrdade, ara muitas gars geometicas conbecidas. Fot um choque para a ‘Comunidade matemdtica gega tomar conbecimento de que hi coisas ‘como segmentos de ria inoomensurives¢ que a ocorénca dessa 8 {tagdo ¢ espantostmente comm — isto &, que concetosalirs 40 e: clo aparGeem nas mai elementares sitagbes. Os ddlogos de Pato ‘mostram que o matemAtcos ds ¢poca fcaram profundamente pertur {rudos com essa descoberta, ’A descoberts da insemensurabidade epnfrontow os matemét eas dietamente com um proceso infinito.Sempre que o algorimo ‘oelidano para achar 0 maximo divisor comum de ds inteies€ ap feado em aitmétes,o proceso acaba nur nimero fino de pasos, Bos 0 conjunto dos intros pesitives tem um minima, 0 numero 1 Se, por outro lado, o exquema andlogo € aplcado com roupagem goo ‘tica para achar a maior medida comm a doi segmocnior de ela lncomersurdves, 0 proceso proseguirdindefinidamente, Nio hd ak {20 como 0 menor sigmento de rea — pelo menos mo segundo a ‘lo pega ortodoxa, nem segundo os conceits modernos convencio hai A perspectva de um proceso infnto perturbou os matematcas 4ntlgas, pois se vam cante de ura cr. Erem Ineapazes de replica? {08 autisparadonos de Zendo de Elda propostos por volta da mesma poca ent gur se deu a devasiadora descoberta dos incomensurives. ‘Arstbeles e outros Sitsofs eegos procuraram responder 8 ec radotos, mas 0 fueram d= maneiva to pouco convincene, que 0s matematicas da época conciiram que era melbor evitartolaimente 6s proceso: infin. Essa visto poderia pareoer um impedimento a qualquer equiva lente greg do efleulo. Eudéxio, nfo dbxtate, sugeix uma abords 3em que aos matemaics pareceu irefutdvel ¢ que servia exsenciat. ‘ents aoe mesmoe propa de um proceso infin. Ele comeyat (om um atioma, muitasvezes conto com “lema de Arquine ‘es, que aparece como Defic no Livro V das Elemento de Eucla, Dine que grandeas tlm uns vax, una para & our, 6, por multipisgio uma for capes de etcede! 8 out. udoxio com certea utlizu essa “defingao", que realmente & ‘uma supose de anes muito semehante&erpregada por cles 0 Livro X. 1 le ainda posterormente por Arguimedes) para provar ' procedimento bises no "método de exacstio",o equivalent gre po do edule: ‘Consderadas dos grandes desig td maior subtaoe uma gandezt air doe sv metade, ¢ Gx que feta ur pandera ‘oar que a read, eee proces & epeto cotnamete, ‘Grdumaproveaa queer menor qua eno as aes seas, Ess sfirmagio pose ser generalizada substiuindo-se “maior que ‘sua metade” por“mator que igual & sua meade (ou seu tego Ou ‘mlgueroutra fragto propia) “Agu, numa forma geométrica desajciada, est um dos mais an ‘igo toremas sobre limites, pos 0 fuleo da questo € que se A & 2 ‘maior as dos grandezas dads (psitvas) ae Aes, = A/D, eno dea Devese notar que, enquanto a notaego moderna recorreu a sit bolo de infin, aKnguagem antiga cuidadosamente evitava qualquer ‘eferéciaabeta aur process init. As duas formulas, no et {anlo, fo estdo distant quanto a eu significado. Para mostrar que deve-se demonstrar que, dado um nimero positivo «, mesmo que peaueno (oequvalente da grandeva menor ana proposic de Busl- es, poise achar um intero 1 (o equivalent da fase de Fuclides “se ete proceso € repetio continuamente) tal que para n > N’ va lea reat uy < e 4 0 caleulo de Eucides erivado,presumivelmente, de Eudexo) pode tet sido menos feivo que a de Newion © Labi do miles ° mals tarde; mas, em termos de sas bisicas,ndoestava muito lone 4 conceit de limite usado rademente por Nevion ¢ aprimorado po séeulo XIX. O aluno principiante que desembaracadamente rapagueia (que integral de 2 £ x04 + C pone (er mals fetidade nas teas do eilculo do que Buclides jamal aleangou, mas ¢ bem possivel gue ‘si formulagso do conceit de limite que aqutm dos padross de {or Jogco observados pele autor de Elements O propésito de Eve ‘es no “lema de enautao” (Livro X, 1) era prepara @tereno pars a mai antiga comparacso verdade\ramente rgnrosa de figuras covit reas eretfineas que chegou até nos —a prova no Livro Xl, 2, de ‘Que as reas dos ieals tem a mesma relacao propocionl qi iém ‘Areas dos quadrados sobre seus dgmetros “Aud aqui destacaros a semelhanga entre o antigo métod de ‘graustto ea formulegao moderna rigorosa do ciel, ras hi ciferen ‘esencia, a ‘0 antigo e o moderna edo em niki contraste com respito fs causar’O métolo de exausao forteceu uma demonsieqiolmnpecs vel de um teorema a euja verdade se ehegara no maximo informal ‘mente. A essncia de Hlementos, Livro Xi, 2, por exemple, tina s: so adotada pels civlizagbes préhelnicas nos vals dos ros Nil © ‘Tigre Eufrates, ber mais de um milénio antes da época de Eucides, (O valor do cicalo moderne, contudo, est nao tanto em seu poet e desenvolver demonstragesrigorosas como ma su mrailios ef ‘ica para realizar novas descoberas quantiaivas. O método de Arquimedes (0 eregos artigos in otra abordagem para a intgragso ue sevia como um eetvo imsirumento para a inenedo, Esse instrumen'o fot serio por Arquimedes, nama cara a Fratstenes,simpksmen te como “um certo metodo pelo qual the ser@possve! Jaros passes nici que Ie permit investiga aiguns dos problemas de matem tie por meio de mecnica”O “certo metodo", que Arguinedes visu zou coretamente e que hablitara seus contcripordneos ¢sycosores 1 farer novas descobertas, consiia num esquema para equa ex tee si os “elementos” de figuras geomtrieas. [Um Segmento de ret, or exzmplo, deve ser considera como formas de Pontos, ud rea de superficie plana € imapinada como sendo coastituida e uma ‘quankidade indefiidamente grande de segments de rela paralels;¢seri emia ome te cy Suman ee te eo fearon Sea mcaeeeen ec orem ott Seemann m Secor bien nt Greate nena aden etre Seach cre cas Eee cane fees ete Sas Wa a om nn rection eure a ru i ah ee Saas Boned Sas iaree meee sation secre meee See ceecmmners ae 2 cers maiecaae ne tae igsercticmnatsaant rete ey | 9 9 A CConsideremos FIC como o brago de uma balanga a qual 0 pon {omédo A ¢ 0 fulro, Sela ABCD um cteulo mai da esfer ese- Jam AEF e LEFG seogtes de um cove ciedlar retoe de um clindro rela reto,repectivament, ambos endo AC como cio € EF oo ‘mo didmeto da bese Eno, oosiderandose um plano por um pon 1 qualquer X, sobre AC, este plano intercepara\0 cone, a esfra € Oeics etna ee cles ade cpm qe ots ° 6 slindro segundo ereulos C, C; ¢, Cx, respectivamente.Sejam Y= XP, Y= XOe Y; = XR os aio dese rs eeu. Argue modes dscabria que, imaginando- os cculs com pesos proporcio. tas ds suas dreas, colocandose em M7 ceulos C; & Cy estes equ brardo exataments C, na posgdo que ocupa no dagamna — isto & ‘om gent em X- (to pode se veiicado faciimenteatraves da zoo. ‘meta anal) Dal que, s& a exlera e 0 cone fosem pendurades fem H,equibrriam 0 ciinro se ete fose pendurada em M, porto Inédio de-AC: Portanto exfera eo cone junoe slo igus «1/2 do lindo; ou, visto que 0 endo € 3 vezes'0 cone, a etera & igual a 112 do cone AEF ou 4 vezes0 cone ABD — isto, em nossa Ings em, 0 volupe da esfera & 4013. A esta altura, tenderseia 2 con {hi que o teorema jt estivese provado;contudo, Arquimedes const {erou ese resultado tiosomente como uma concusto plausvel a er verleada ao fina plo rigoroso método de exaust. ‘© Método de Arquimedes teria um significado maior no dese. ‘olvimento do calculo sea imprensa fesse uma inveno dos tenpos| Aantigos e rao do Renascimen'o. Evidentements, nunca foram mutts ‘8 cbpiaséo Método, durante quase dois milénos o trabalho perms neseu esencialmente dsconhecsto E bem provavel que nenhum 3e- Senvolvimento da histea da matemitica em nosso sécul se iguale fem romance a redescoberta do Metado de Arquimedes (12) ' importante nota que hi dos aspectos nas aga Grigens do cleulo integral. Um dele, derivado de Eudéaio,&represeziaco pelo ‘igor metodo de exaust (ustado na prova do teorema 2, Livro XiT, dos Elemento 0 outro, proveniente da vs atomistica associa 4a 8 Democrito, est relacionado com 0 método de Arquimedes. O Primero, nfo muito dstante dos conceit do stculo XIX, era um ‘oétodo ipectvel para estabeece a vabdade de umn terema.O dl ‘Mo, sea fazendo uso de indivsiveis ou dos elementos de dimensions lidade menor de Arquimedes asemelhandose mais ap ext do cal aloo séeulo XVI), fo um insirumento que levou i descoberts de ‘concludes plausives. Arquimedes explorou os dois epecios com 8 feo. Seu “metodo” mceanic lvou steoremas sobre areas, VOUS ‘ cenirs de pravidade que tina excapado ates os ses prodcos Sores; mas nd parou poral, Avancou mais, demonstrando ests eae ‘as da maneiratrediionalmenterigorosa pelo método de exsust20. ‘Ninguém no mando antigo igualouse a Arquimedes, quanto & jnvengdo'e& demonstraio, ao lidar com problemas relacionados a0 lula. No entano, o teorema geral mais antigo em calculo no se Seve a Arquimedes, masa matemten greg qe vveram, provavel ‘mente, me dizi de seulos mais tare 7Na Colepao Matematica, de Papus (e320 &.C), encontrames ‘uma proposigto express de modo desaeitado, mas quecquivale& afi ‘magi de que 0 volume gerado pela roapdo de uma figura plana em tomo de um eixo quedo a inercpta€ igual ao produto de dea da ‘Figura pana pela distancla que seu centro de gravidade desereve de ‘ante 0 movimento. Papus sabia peramente da importing dese teorema gral e de seu andlogo, referee a supericies Je revolute. (0 resultado inca como Papas notou, "os teoremas de todo 0 ips sobre curvas, superficie esis, todos els provados por uma tn ‘2 demonsirasfo". Infelzmente,Papus nfo nos informou como 3 Prova o tema, c assim indo saberos se fo apenas descobert0 OU fambém provado por ce proprio. Contribuigoes medievais Papus foi 0 timo matemstio importante da antighidade; de pois dole, o nivel da matemscca no mondo osiental dca stemat ‘imente por quase um nleno, A civllzeo romana fem eral is pita para com a matemutsca. Nos stulos Xie XII a Europ latina fomouse receniva & cultura cise, transmitida através do ero, frabe, bebve, sino e ours linguss, mas 0 nivel ds matemitica no Furopa medieval permancecu muito abaito daguele do mundo greeD amigo. “Todavia, una cera oriinaidede engenosa reiutou num avan 9. aoseculo XIV. numa cezdo que havia sido evitada na antgtid {e: A matemitcaarquimediana, bem come a fiskea arquimedana, fo ‘a esencalmente esate, o estado das madancas dindmas era con Sdevado mais aequado A dscussto flosofiea qualitative do que @ uma formulagso cetica quantitativa. Masa argument escolie ‘ica nas universdades de Oxford e de Pia, no século XIV. prove ‘ou tm dei na visto arstotlica de mudana e variaedo. Come ram a ser lvanadas pela ineectualidace quests como: Se um obj to se move com velosdade varivel,aé que ponto se moverd mum ‘dado Lempo? Sea temperatura de um corpo vara Ge uma parte para ‘onira, quanto calc haem todo o corps? Reconhoemse aqui precisa mente as quesides com que o clewo Tits; mss os nielectuas do pe- Todo mecleval nto tisha herdado dx andguidade nenbura andlioe ‘Se vandvess materftica Dal resuilou que os sacerdotes das univers: Um dos lideres dase movimento foi Niole Oresme 1323-1382), bispo de Lisieux. Esudando, por exerpl, a dstncia pereorrida por ‘um objeto em movimento com velacade vandvel, Oesme sssoc ‘i o fstantes de tempo dentro do itervalo 208 panos de um ses mento de rela Horizontal chamiado “aha de longitudes), ¢ par ce ‘Ga um deses pontosergua (num plato) um sepmento de rela ver: ‘al altade”, cu comprimento reresentava a velocidade do oe 1 no tempo correspondente. Ao coneeiar as extemidades desis ‘perpendiculares ou lauds, otinha Uma representagto da vised Fiona da selockade com regio a0 tempo — num sos mas ant. {8 exempls na hstbra da matematica do que hoje sera ehamad “prfico de uma funeao". Para Oresme, era claro ena0 ave a 2703 sob este galico repeseniara a datanela peoorida, pois ¢ 4 soma Se todos Os intementos de dstncias eorespondentes is vloidades ‘ntantineas. Nese ponto,obviaments,vabse de enconto todas as ificaldaes lopca ¢flsétieas que levaram aos paradoxes de Zen fe Taeram com que os cautelosas matemioos reps evtsiem 0 ext 4 de variates como tal ‘Ores clasiiava seus tpos de varagdo conform fos uni oenes (sto ¢,constantes) ou dfermes (no constants), e divide 0 ‘ikimo tipo em variages uniformementediformes e diformemsente di formes, So era capa de lvar a feito integracio decorrente dos ca ‘os de tana de vaio uniforme e unformenmente cforme: para ele fra uma quesi2o faclachar s area de um retangule, um triangalo ‘aim tapézio. Por exemplo, afirmava que se ui corpo se move ‘com veloeace iunformemente diforme (sto 6 com taxa de variacao 4e velecdade uniforme), a partir do repouso em Ana Figura 2, endo ‘0 grafico se uma Ena seta formando um tnnguo reténguio com ‘base AB (a linha de longitudes) e @ordenada (ou lace) final BC. E, como a drea do eiingulo ¢a tase mulipicata por 1/2 de altura, ‘Ores conclu coretanente que 2 distancia pereorsida peo objeto nese cso a thesna que pereorreria um OULD corpo que se moves se pelo mesmo espago de tempo com velocidade uniforme igual a DE, ‘elocidade do primero objelono ponto medio dointervalode tempo, FrguRA)Seu argumento era que a representao de um objeto em movi mento durante 0 tempo 4B com veloekale DE ser8 0 retinguo ‘FGBA,¢ a distincia percoriéa nese caso sel dada pela rea dese Fetangul, que € igtal area do triangulo ABC. O que Oresme este va querendo dizer equiva, obviamente, a afimar cue ere ge RE s+ hoa Kf tum resultado expres ineguivocamente (mas com base no meso t po de raciocni) por Gali Calle, dois sul e meso mais ade “Tanto Oresine como Galleu estavam fazendo uso da antiga 10- 0 de elementos geométrcas, sto 6, imaginavar a eas do trang {edo retnguloformados de segmentos de eiaverteaisem quantize indefinidanent grande. Tratase de uma visto semethane aquatica da por Arquimedes em seu Método; e, embora esse tratado nao fase tisponive} aque época, @ iis de que uma rea pot ser formada or uma quantuase infsits de innas geomtrcas ere cormpartihada Delos inilectuais medievais com escritores amigos e moderns. ‘Quanto 20 ouro aspecto do calcu intepal antigo, 0 rgoroso sméteda de exaust tve pouta acetagio no period medieval Mee ‘to durante o Renascimesto, eram poucos os gus emnulavam a prec: ‘So Iien da antiguitade em matematin, © qe os getmetas do ink ‘a da era moderna buscavam era menos um argumento do coe tm ‘petodo — nfo um argumento pura estabelece, acinta de qualquer vida, conclusdes que purcesem plausives, mas um método que ude levar a novos resuitads, importante tar, em relagdo aos estudos medievas de latte ese formas, que do havianenfum conceto equivalent ao de die ‘enciago.O pincpinte em célculo, hoe em dia observando a repre Sentacio de Oresme, de inicio provaveimente imaginaré a deca ‘de da curva da velcidade tempo como uma media da aelerap80, a taxa de variagdo da velocidade em relagdo 30 tempo. SO cms tarde, Drovavelment, it pensar a area sob 0 grifico como une media Se dstineia Hoje om dia, nos cursos de edleulo, geralmente 0 conc to de deivada € apresentado primeio,vindo depos a noydo de ine ‘ral. Os textos que inveriem os apes e pem a integral anes da de Fivadatém, mam cert sentido, a nistria teu lado, porguanto a inte taco precede a diferenciagto em cerca de dois miknios, Mas ver dade que alguns dos trabalho de Arguimedes relacionados com tan ented eapiral aproximam-e do cAlelo diferencia, © que pias ma 10 ruscrits das representages grificas de Oresme contém fortes ind (os 60 tringuia diferenial. Deve te silo vio na latitude de for fas que a repreentaedo de uma quantiade que crestiarapiamen {e engi que as latitudes crescesem rapidamente oom rela ds lon Suter porém nenfunt metodo sstemstico ou termnoogia para Gar com tas concits foi desenvolvido na anighidade Ou no perlo- ‘do medieval © novo papel dos indivisiveis (© renscneato em rate consity numa iaterast nin cada das tages mdievats com iis tas vase al ante Ein pertear's wiomadd deur nese tpl pus Cras de A ‘tumetesevou, to selo XVI, tua de aahos ue pee an fiearoclcuo itegal A ea ara o sedor conto de ni {hen foot ation, au ua coat com ee once ara das cont buigernedicvas& nrc, © Johann Kepler (1371-1690, cm 0 fombeodo ttado sobre media Ce bars de vith (1), airy & tltodo ma eflenaes de Arqumesds, Prem, a inraeesSe Cal Eve Rep foram ectpadas pr um tatado eto ty 1635 por Bo TaveiuraCavalleri, epulo Jo peio, ula Geomerta nd ‘ib continuo nova guadem rattone promote. Nese 008 Insvses on ffnteinas fae, erm apa cor ao E302 Droblemas de metsrarlo de ess volumes, qb postldo fun ental queprencnte eco ore deena de Career, pet ares acim ext ck i dae de be Se dl = Tes tu regis plana) tm auras ua © se sgt paras @s bese dina uc dels exo spre mum dada Mo, e130 voles (ow drt) es soos fou regis) tambem eto nese ‘mea reco Este pcp perma 4 Cavaie! paar de ua est @ covespondeeca te ives muna daa rvao A consto So hs tor ea indivi (toa guras de dinero me tan ts etavam ene sac mesma aco. A tea que ean por rs iso nto ea reanente nova er 1635, ps extava eens re Tacinada a0 método mecinica de Arges ¢B nteragos eal as de Orc e Gale. Kepler na ado a tin a0achar a fea dace, aye =erab. Como as ordenadas dessa lips estéo, para as ordenadas cor- respondents do creulo x! + y® = a, na razio ba, eno a area da tlie deve estar para trea do circlo} na rarto bla ‘Cavalier apicou engenhosamente a ia dos iivisives a uma varedade ampla de novos problemas. As "pardbols de ordem suze ‘ior de Pere de Permat, "y= xy foram irduzidas em ated fica cxatamente por volta da fpoca em que Cavalieri estava desenvol: vendo sua seometria do indvisves Em seus tabalhoe posterior, Cavalieri esendeu a imegragdo de Oresme de & de modo a nei & Jntegral d= kr, enonciango 0 equivalent da conheida formula -Embora ese dliimo resultado jé fosse conhecio independente ‘mente por outros matemstios como Gilles Persone de Roberval e Evan ‘eista Toreall aem ce Ferma), parece que Cavalier fo 0 pee oa publictlo. Em outaspalavras, 0 metodo ds indies a0 era ‘ropriedade de Cavalen, Estava tendo ampiamente usado por ho- ‘ens que etavam a par dos pensamentos materaicos da pce. ‘Como seus contemporinecs, Cavalieri considerava seu metodo ‘como uma parte da geomecia, mas, enquanto ee estava escrevendo, 2 Europe era vara por uma evolu anata. Descartes, Wallis e Fermat As ementes da revolurdotinham sido langadas no Renasimen- ‘o quando Regiomontanus fohann Malle), Frangois Witte (arsbéan connecido por Franes ou Francscus Viet) ¢ outros viram que a age bra cada ver mais simbolica de seis das ~ dervada, curosamente, debe retrica dos frabes — prsiavaefcientes servgce & goo. tetra. A eonseqiencia Wisiea dest dees fol a geometria anaiticn de Fermat e René Descartes La geomérie, de Deseares, pbicada fm 1637, somente dois anos aps a pubicaco da Geometriaindist ‘is de Cavalier undo inevitavelenteo crs da ana infinkesinal, ‘0 trabalho de Descartes eo de Fermat) ol importante ndo tan to pelo vio de coordenadas, cordenadas jf tinham sido usadas com eficcia ns anise, especisimente na gromsia de ApolGni, © fepois, de uma maneira mals pimiiva, na Iattude de formas de Ores sme. Descartes vn como objetivo ce sou trabalho a cooperasdo entre 2 Atpebea © goometria, vsando fazer com que a matemtica ves a er fn melhores apoctos de cada um cess ramos. Acomece, ores, {que a geomet acabou perdendo populsridade com 2 parera. A geo fmetria pura foi tio celpsad, que pouco progress fez no século ¢ ‘melo segune, durante o qual a andlse infinitesimal entrou numa pro sno de aitmetzagao que quse esltou numa revlusao. Pocesse notr pronia © claramente essa mmudanga de wsto na Aruhmetca infezorum de John Wal, pubiada em 16S5, crea Ge vince anos depos do csi de Cavalier. Ness tatado muito i do, e autor inci sua propria abordagem caractrisica da integral de fee uma prova sugerida pela geometria dos indivisveis de Cavalier ‘mas levada a efeio por Uma artmetizaedo nda do cdlculo. Para ‘mostrar, por exempl, gue Sead, Walls forzava razdo ence as somas dos quadrats de ordenadas igualmerde eayadss sob a curva y= x ¢ a soma dos quudradoe as ordenadasconespondentes sob y = 1. Consderando se 6 as oF enadasem x= Ger = I,araaoe adaeeenn easel Pep 2376 Subdividindo se o inervalo entre x ~ 0.€ x = 1 em duss pares ‘iguaise imaginando e cada parte como um itervalo unitino, ara io nize as Somas Jos quadrades torn se Osrer BeBe 4 ns Dividindose o intervalo de x = 0.4 x = 1 ent tts subimtervalos ‘gua © conserando-se cada um dees como um segment unitario, 2Trazao enews sumas dos quadrados € Oevepey Play Pee+Pe se ese Para Walls tornouse evidente através de indugto, que $USPeRe em Ld rs ae« que, conforme m cresceindefinidamente, esta raz0 aproxima seca Saver mais de 1/8, e modo que para n ~ ce a rarso srt 173. Fermat afimou, acertadamente, que 0 método de indugdo de ‘Walls era logicamenteinadequado; nao obstante, as tendéncias ai retzanis de Walis foram past na ciresso cera. O propio Fer rat caminhava na mesma dro, tanto cm sua invengdo da geome: (a apaltca quanto em sus conriouigdes a0 call, ‘Sou metodo de intgrar 2" era o mais refrac entre os exten tes na oea,eestd mas proximo da integral de Riemann do que qual er onto anes oslo XIX. Pan achar fe ERE PIGURAB] por exemplo, Fermat eruia ordenadas & curva y = x nos pontos {Figura 3 olan sbscsaseram,respoctivarsene, 7, ET, E°T, E°T, fc, onde F<. Com csas coorsenadas como altura, fomava ‘ua seqéncia de retdngulosaproximando area sob a curva, como Serve. A soma das eas dessesretdngules& dada pela progresso geo neta infita PH 0+ BEB n ru-a(—)-—P_. 0-8 (ra) Teer ‘Ao fazer Ese aproximar cada ve mais de I, a largras dos retingulos ‘endema 0, a sora das areas dos retinglostende ea sob a curva "78. Por um raciocno semelnante Fermat mostrou que, pra 0 dos os valores racionas de m, excto para n= 1, fou Fy (© trabaino de Ferma, infetzmentenio publicado na epoca, fe vyou 20 apoges os métodes de inteprardo iniciades por Eudéio, ‘ols minis ants. Mas Fermat,omalor dos amadores da matemstica foto respons ‘velpor uma contribu ainda mas signfcaiva para odsenvolvinento o cul. Literalmente, foi ee 0 inventor do proceso hoje chama ‘0 "diferencagao" Justamente duraie os anos em que eee Descartes ‘Stavaminventandoa geometrasnalite, Ferm desenbrin um metodo ureendentemente simples de achar msimos © minimos ecurvas ‘olinomiais. Em vemos da notagdo cartesian fa qual, todavia, Fermat ‘ejitou em favor da notacto de Vie, mais enti, 0 méiodo& 0 se uints, Sea a ordenada da curva dada por 20) ~ Sk? + 4x ~ 7, por ‘xempi Endo, num pontovianho, deabscissax + E,aordenada set Stet BY ~ Six'+ EP + Ale + B)— 7. Agora areumentava Fermat, ‘num ponto de maximo ou de minimo a varsagto da ordenada¢ viel ‘ene desprezvel, desde que a vanacdo & na abscwsa sea pequena; al impure que cs dos valores das ordenadas vnbasfossem gua entre SO resuliado, ape atransposdo dos trmos, € (62 10x + 918 + 6 — 9B 4 2B = 0, ‘Apts dividr por Ee fazer E igual a 0 nos termos restantes (visto que ‘valor de E deve Se indefnidamente pequeno para que a repra se ‘nligoe)cbtémse a equagio 6x ~ 10x + 4 = 0.-A resolu des ‘Shequagdo leva os valores |e 2/3 como absisa das pontosericas a curva, Ese procedimento de Fermat & em esstnci, o que sus hoje no eilculo quando seacha a dervada e impese gue se igual 110; Certamenteo uso de ax ou onde Fermat escevia 6 ielevan te; e embora se admits que Fermat nio explicava preciamente por ‘Qe fara F igtal a, tampouco seus sucesares 0 fzeram por dois ‘scales. Ha plena ras para se teconhocer, portanto, como Pierre Sr ‘moa Laplace, gue Fert fio inventor do calcul diferencia, asim ‘ono Eudbxio costuma ser reconfecido como o inventor 60 clleulo integral "Teria Fermat, que conbecia bem as reps de diferencia ¢ in tegragdo, percebido a relagao entre elas? Apurentemente sabia muito bem que no primeiro caso multpiava eo cocfcente peo expoen: tee diminuiase este timo de uma unidade, 20 paso que no segur do cas aumentavaseo expoente de waa unidade e divide se o coe {lente pelo novo expoente. Estanhamente, parece que Fermst no viunada designfiatvo nesta novel elagdo recproce, mas ampou- {90 viram seus contemporancos, como Evangelista Tovricell, James Gregory ou Tsaae Bartow.Barrow, ue fo profesor de Isaac Newton, publicou uma feara 4 tangents muito parecda com o método de rdximos ¢ minimos se Ferma, na qual a intertelagdo entre coefcentes e expoentss, mais uma ve, era clara. Daca uma curva como, sety — Sep) Te + 6 Tasrow pitino subtia 06 manos dia equcto os memivos corestoniets da equa ob fbstuido cata X por 8 te = sbstuindo cada por + a. Na ew routane de emo ‘csprzava ts overs de gro genoa lem ace De cas. Soren ob forma 4 re a 69+ 47 ©) Stig +6 ue be saa es inctno da angen carvan pont Nes ih siura ezonecse fective rogram hoe sxe por ide = “Yaf) Em son lactones Open e Geometrewe (60, Farrow pl no pens arpa de tangents tea Qe spac temente havi dicate com Nowe mas amber ers ptr dao invert de problemas co tangs fier) Sind wa ra) ‘mud de Ferma ara maximas ¢misnose reared ten sents do row no fran de ance enhume os Ons fence frmolaimverafos cm reeence tess topes, Rent SE Sa c Joana Hadden oto, persia o afl de cc Gintcexpcnca ma detrmins tenes eet etd tm pode que Tore e Gregory tena eo conhecment ‘tain recipoa do problemas fe tanger quart Ene ‘atlases ercontava spicoies na etc dune fonpo no Ferncpo de Fema do tempo rnimo a ears da har © na Sn hea de Chestaan Haye ‘conta de sakraco,cmbora fase do cobecmento de Ores me, no sclb XVII veo & tru panel neti cr inde Sa Enguan os matenicos pet cases tna so exec mesic een em so ngage © concen mates “iad dos Géniov"pocirarm oremtrse ra no seni dem sled anatidae Os lgaimos de ohn Nope 13501817 ‘Tm sefin matt dis penton de ra ware tn des cecaemeiment em leo 20 em, 20 950 de Soule deco prometicamens, A alvrors ce Niclas Cope. ‘i, beea no tovimento cevar ufone pena apenay 16 trigonometi para seu estudo; mas 2 nova astronomia de Kepler, na ‘quilo movimento dos plantas em drbitas eipticas nao ¢ uniforme, ‘xiga ua matematica superior. Peto do final do segundo te90 Uo ‘culo XVII jd se contava com todas as repras necesdrias paral arom problemas de rease tas de varagdo de maxims tangents. ‘A epoca agora estava radu para se consi partir da nd ‘se afatesimal, o que hoje confecemes como clio. Nenu i ‘vengfo nova expo era newsara, a tenis estayem & mao. O ‘be fava era bm senso de univeraidade das regres. . Newton e Leibniz ‘Quem primeiroperoeen so foi Newton, em 1665-66, depois, independentemente, Gaited Wibeim von Laibniz, em 1873-76 "Acs predecesores dees dos giganes intelectual as vis re sas pareceram expedienes agutos de uilidade Lmitada, A maionia {as repras, por exemplo,s0 se apicava a problemas que emvolvam poksémios ou aguees gue, por algoma tansformacdo Gbvia, pm Ser transpostos fara « forms polinomial. Em 1637 Descartes desc ‘a linilar @geometria ao esto das cuvaselgerias. Mas, no final 4o stealo XVII, interesse explosvo pe cicbie, pea caleniria © ‘or outras curva expresas por fungtes igonométis ¢ lgact ‘as contra respetailitage'@ uma gama de problems rmuio mais “ample. As regia. de Cavalier, Format, Walls © Basrow envolven ‘aumer:o ou diminsiedo de expoente nto pareciam aplcdves a fu ‘bes tanscendentes. Os matematicas do deeeio 1666-1676 necesita ‘Ya imensamente de um algeitmo peal alcivelindstintamente « todas as fungoes, racionais ou iacionas,algricas ou trancoenden {eA respsta, fameeida por Newion, foi uma nova geral anise infirteimal “cave da nova andi etava na desoberi, realizada poe New: ton ¢ Leni, da grande utlidade das expansbes em sis infinite. [Newton considerava to importante ese aspecto de seu trabalho, qoe ins em que fou uma parte esenial Gt nova andi; por esa ra 220 0 teoroma do bind ¢ 20 Trequentemente etribuido a ele. 'O teorema era coahecdo havia multo tempo para ptencias in {eiras, includ aif raza de sucesdo para os tertos da expansi. ‘Mas Newton fi o primeira aplict a para 0 eso de expocates fra Gondris,em que a expancdo é interminavel. Atraves de uma expan so binomial fafinita, Newion teve condies de chegar a quadraturas ‘ue seus predeeewors nd tnham conseguido encontrar — po exelo, a integrarto de je ~ 2), que Walisprocurara em vio. O to ‘do também poli ser apicado pra achar integra (Newton as cht ‘va de “fuentes” de funges transoendentes. Sabie havia muito tem. PO que a area soba hipesbole, y(t +0) tha a coabeca pro Piedade os logaritmos de qué, conforme as abscisas eescem geome frcamente a ea sob a curva dovresceartmelicamente, Newton per ‘xbeu que era pose esrever in(l-+ x a forma de ma sere i rita. Expandese simplesmente 1+ x) como l-x4¥- +, sande o algoriano da divisto ou a expansto de (+ 2)~. Eno, ‘cada temo da stieapica sea conhecda gra das quaraturas: a rmentar 0 expoente de-uma unidads e dividir pelo novo expoente. © ecient sralmenteconhecida como stie de Mercator, or et sido publica pea primera vez em 1668, por Nicolau Mercator, embora Newion Ha conbecese antes “Também Leibniz ogo percebeu a importneia ds sis infnitas, formulada por James Gregory. o primeira publict a em 1668. Ao {que to inciea Newton, por volta dessa mesa epoca ja desenvavia anges tigonométicas em sis, ‘© primero lvro de Newon a descrever seu céleulo, De analy ‘er aequationes numero terminorum infintas, £8 escrito em 1663, mass vei a ser publicado em 1711, devido &aversto do autora con ‘rovdsias Nol Newton desereve aextenso do Uso da plata": si ou for gue ane corm reli pore de equ ‘es com tn mimeo fino de temos. te ovo ted poe sa we rear mesmo por interes de equates infintas de uno {emotive ennuma Avda cm dar been 8 ee 0 nome de Anh. 8 1, Poi raion ale no so manos certs ue noua, sem ‘S causes pen exata- Pars conch, paemos com sea ors ‘eso como parted Anafe vt com a ajuda da nea © ‘umoimeren, do curva poe sr dein: ett & gems Em resumo, Newton agui est argumentando que os algoritmos ‘matematces que lidam com procesosininitos S10 to respeiives: ‘quanto aquees que se apcam & dgebra ordiniia; se fose preciso, ‘esse Sentide, apontar um nico ou primeir inventor do cileulo, 2 ‘ool reeiria em Newton, Sua contrbuigo ndo¢ tanto uml pa ‘re diferenciagdo ou para a integracdo, ou mesmo a revelago desas| neoprene foo eonkepent te to ‘io conta parte de uma nova andise — a apleagdo de procesas infntos ao estudogeral de fungtes de qualquer tipo “Também com Leibniz, o elemento esencial em sua invensdo 4o cdleulo, posterior mas independente, foi 0 reconhecimento, em 1676, de que exava consruindo uma snalse nova e universal. Nos primcios antiga que publicos na Acta erudiorum de 1684 a 1686, Leibniz expos que sev novo metodo ngo apresenisva. impedimentas para flingdesiracionas ou tanscendentes. oranto, vito que os algebras anteromenteadotvar letras ‘ou nimeres entre ar nee quads pcre a ‘Beas anseendntn ate’ equates genésas ow inetd feo 2 expanse sre iti) paras has ngs) procurds, dea mane 0 ale aac se etnde Aqui itss ue ae {gu nam sido eclidas Wosomente porgue se acrediaa que fos Sem nadeinins «ce Da mesma form como Descartes peresbera que sua peometria ‘asinalva uma nova etapa no desenvoivimento da rotéia, Newton Leibniz estavam clntes de que suas descbertas tinham forjado uma nova andlse, que ia muito além da dlgebra ocindra. Ao longo {e todo 0 século XVII, a distinedo que Newton e Leibniz enatiza ‘vam fkou'se em frases como “andlve superior” “andlse subline para distingnit 0 process init das regras da Algebra odin Estandartesdistnivosrepesentam win aux efetivo dos cru ‘ados. Leibniz, em particular, deu muita atengto & questo das 10 {aobes apropradas. A medida de se suceso nesta materia € a sobre vivéncia até notes dis Jesu inguagem e de seus simbolos, Quan to ass, Newton fi mais hesitante em suas pubbeardes (mbora ft ese ails experincias em seus manuseitos, € POU resou da 19forrnulacdo newtoniana. Um manuserito d¢ Newton de outubro de 1666 dura deseriao completa de seu metodo “para resolver probe ‘nas por movimento", io é,achar cosas como ares, tangeates © ce tros de gravidade de “linhas eutvas", consideranio a manera co ‘ao as eoordenadas variam com o temipo /NEWTON: 15-64, Aqui [Newton isou p e q como sinbols das taxas de variacao ('eieida ds" doy respetivamente, mis mais tarde subetuis peg plas “eras postadas” & je a palavra “veloidade™ pot “fuxo". Por ‘50 azo sua anilietornowse conPecida como “metodo do Mik Em sua versfo de 166 para 0 ealealo, Newton encanto a inclina ‘fo da curva Babe +a) oy =0 dda segue manera: Substnuia x por x + po e y pot y + qo. Da ‘equugdo assim obtda subir a equago original dividiu por 0, dos- reso todos os trmos ie ainda continhar o (sto que estes era “finiamente pequenos4. 0 resultado & Spx = abp = Deay = 0, do qual facimenteseobtém que a arog (que agora chamamos "inc acto" eiguala 2ov3ex — ab) Em sua De quadraturaescritaem 1675 Imas 69 pubicada em 1708), Newton eviava a frase “infinitamente ‘pequeno!™ Prneirodeterminavaa rao gp dos uos (ou ji} eento Faia com que 0 desaparecese, ou fose “evanescems”, pra determi nar assim o que chamava “prueia eukima razdes” fo que chamaria mos "imite da razd") dos fluxos. Essa abordagem estava préxima do ponto de visa moderne masa forma do cleulo que Newton pi ‘bkcou nos Principia em 1687, revertia A primeiras rudes iis de tn remenios “infintamente peguenos” ou momentos". Nesst forma Seu clculo era Wo semelnante ao de Leibniz, que pode perdcar Seus eotemporéncos por confunirem os dos pons de vista. [Newton cscreveu varias desciges substaneats de sus métodos 4o eilulo e publicouas bem mais tare. Lebniz, ao contra, esce- ‘yeu pouco mas publcou ceda. Limitouse a alguns pequenos artigos, publcados na Acta enaditonum logo apts a fundagdo dese jor. Se Primero artigo foi publicado em 1684, rs anos anes da breve indica ‘So (date papinas! de Newton nos Prinipa. No primei artigo de Teibniz justficamse as repras simples de dferencupto, de manera ‘ode e numa inguagem que lembra 38 qoantisacesinfinitaraene pe ‘guna de Newton, Para achar a dierenea dey, Leibniz substi x por x + de y por y + dy (onde di e dy so as diferencias, 04 Gilerencasinfinitamentepequenas, de xy) A dferenca 20 Wet da 9+ dw representa ent a diferenca infntamente pequena no produto, oe Fespontente as diercgas mfitamente pequenas ent xe 3, Como 0 fermo di = dy era considerado iniaitamente pequeno es propor) fos outros trmos da diferenca, Leibniz desprezou- e eseeveu Ai = ady + vi ‘Dest formals da diferencia! do produto Leibniz deduzi failmente a difeencal de poténeas interas de umes varvel como x araves de ‘uma indo comegando com 3 =x, eforaulas anllogas para aver Ss ¢ qupsenes decoreram imediatamente. Se na formula do produ {ode Laomiz os dow membros Tosem divide por , 0 resultado Seria a flemula moderns para derivads, en relagio 4 x, 40 pros {0 7, onde ¢funelo de mas Leibniz nfo racccinava em termos Ge vardves dependentese inependentss ou da derivada de uma er rela 4 outa. Conseqlentemente, hi uma falta de preciso nesse Facicinio, que seus contempordneos cricaram, embora wdmiessem fo pader dO novo metodo, Linguagem, logica, simbolismo Newton e Leibniz no foram os prmeros usar métodos equiva lentes dierencagdo ou inegragdo ou a petecber a celagdo inver sa entre elas, nem foram os primeirs a usar sres infin. A. contr: bulgfo de aitos, como Je disemos antes, consisiu erreur dspest tives de apleablidae limita ¢ desenvoiver, a partir dels, méiodos 6 leancs univers ‘A compreenszo do significado dessa stuagdolevou cada um de Jes a desenvolver uma linguagem, uma ligica e um simboismo pata ‘nove materia. Nenhum dos dis estava em condiebes de apresentat ‘uma fundameniario logica convinoente, embora Newton certamente tena chegado mais peo disso, A melhor tentativa de Newon fig rou em Principia, onde ele desreve sua iia de “primeira tim ‘azbes”. Usando, de modo um tanto anacténic, noagtes moder, pcemospararasear a formulsgo de Newton descevendo ¥ como a ‘ao das quantdadss “evanescent” Ay € ds. Com respito a 0, ‘Newion advere: "Por reo ultima éas quantidades evanesentes de ‘Yost entender rao des quantdeses, ndo antes de desaparecsrem, ‘em depois, mas com a= gust elas desaparecem”, Ele chegou, 244 ‘extraodinariamente perio Jo conceit de limite, mis Newton no al. a