Anda di halaman 1dari 50
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 «cangou plenamete esse conceit, pos continuo isistndo em deste ‘yer como um raid entre veloiaads o que vemos agora que € tm simples nimero rel, Precis o cancelto de nero real fi, ecntuso, ‘uma realizagao co final do sculo XIX. ( calealo de Leioiz era, do ponto de vista Yogico,nitidamente inferior ao de Newion, pois nunca transoendeu a visio de de 0. so um quociente de varagies ou siereneas ifntamente poquenss fem ye x. Nem Leibniz nem seus icipulosjamats deixaram claro 0 ‘que queria dizer, extamente,varaeo infntamentepequena amibem fo conseguirain justfesr 0 descarte de quanidadesInfitamente ‘Pequenas em rela a ouras. Do pont de vista gio, 0 cleulo de Tetbiz foi um racsso, mas heurisarene fi um suseso retumbants, ‘Parte desi sues resuou de uma visto da integral do impre ‘esa quanto a dos quocientes ce difereneiais.Os fuentes de Newion, “andlogas da moderna “ineyralindefnide’,eram o que hoe chamara: ‘mos de antderivadss em relao a0 tempo. Incaimente. Newion ‘sou um pequeno quadrado como seu simbolo de integracdo (res rmivelmente porque peeebia que a integral determinava uma eal ‘ais tarde uSou um pequeno (rao vertiral sobre uma letra para ind ‘aro fuente da quaatide, esctevendo } onde wsariamor fod. Leib- ‘iz enfatizoa 0 aspectosomatéro da “nteral¢ também colaborot para fazer com que a propria palavra ivesse acca, Prt, enquan {o ne pensamos em termos de ur limite de uma soma caracterisica (&granderas fins, Lenz conserava uma Soma de fato de quant ddadesinfintamente pequenas ou infnlésinas. 1s0 expla 0 flo de Leibniz sar como simbolo de inizgrago (agora também usado por nos) uma forma alongada en ipo antigo a ea S, ini de summa soma" "Alguns anos antes de Lenz chega suas prOpriasformulages, [Newion i ira visas descrigoes de seus métodos, NBo obtante, @ malcia de sous contempordnsos aprendeu o edleulo através de dite Fenciais € nao de fluxon. Em 1672, quando Newton jd tinha con ‘hes de publicar De analys,contovérias sobre suas descoberias em ‘psi leveramno a provear ea incava, Assim mesmo a indcaglo em Principia, em 1687, 1684 e 1686. O primero cele, em mela dizia de plginas,dava a 60 becer o ciieulo dierenea, com ress fem prov) e apicagtes, © fegundo deserevia 0 eflevlo integral. Embora exes artigos tenhar sk {do preiudicads por eros de imjresito eexposgdo insatsfatoria, sua stabde importncia fot evidente para os matemdticos suigos Jakob ‘Bemoul e seu mio Joba, (0s irmios Bernoulitamsim conhecidos como Jacques ¢ Jean) tomaramse discipulosforvorosas de Leibn, eo ais ovo excveu toxins deedeulotiferecial integral. Entre os seguidores de Johann testa co marguls de L'Hosiale presumes que tna sido por outa de um acordo Snancei entre @ marques sc over tutor ‘he se tena deixado de lao a publica dos textos de Johann Ber ‘ull para abireuninho a do'primeizo texto autémico de elicul, fm 1686 — Analyse des nfiniment petits e L'lespal (14). al em diane a dsseminaeio dos etadis lxbizianos oi realmente rida, ‘0 suceso do efculo dierencial no coatinente dove ser ai em grande parte & capacidade de Leibniz pa inpirardicipules ‘vidos, ao paso que a indiferenga de Newton obstava a formacio ‘de uma escola de sequidores, Alm disso, o trabalho de Leibniz ajusta ‘vase mais aritmeizato da ads, ao paso que o de Newion mui tas veze se expressava na inguagem da geometia sitéica.Ademais, ‘as conceeéeslebnizianas de flelo,embors mais dstantes de una ie ime doa de Nevo, seam melo o anos en {que os algorismos Go cdleulo podiam ser aplicados a problemas geome tricos fsa. A historia da matemstion parece mostrar aqui, como anleriomente, que wins insisiéncia premature na preciso liga, & ‘ust do racocinio imaginatvo e plausivel, pode se eontraproducen te para o desenvolvimento da maténa, Ist ser mestrado numa di cso posterior sobre a polémica do Analyst Se Newton tives levado adiante su intengfo de publear De ‘nai por volta de 1672, nao teria havido problemas quanto prio. "dade, ois aquca époce Leibiz ainda ndo descobrira& nova anal, Imaso feet dis ertcas levou Newion a protelar a publiaya0.O re Sulkado for uma polémica sobre a priridad,tlver mas amar do ‘que qualquer outre que o campo da matemsica js conheceu. A ar ‘monia da dispua for eatsada nfo tanto por animoeidade pessoal co ‘mo por orgulho nacional, pos er toxno de 1700 os partirios das Sagbes tina ercebido que estava em jogo o eréito por un samo ‘ovo universal da matematica, e ndo simpesmente um metodo de tangents novo ou um algoritmo novo, Newton ¢ Leibniz vnham pet ‘thd que sres camo yee osama cea aes . Td saree ic 2 peda ser wads para fanes transcendent exatamene tanto quan fopara fungdesalgebrcas ~ paratgare n+ 9) unin como pana 4 feng racionllgerica 2x42 + £ natural, ponasto ake dear ceito de fone ves a ser atribuldogeramente «um da vcmiees ocd, esa dsigdo eoute a Labnu. Newion esa a pat da iia sera de foo clculo de Newion destaava ns cae Imente que ode Leipz a titingto ene vanvelSopenente cae Bend; mas Veni ft a ingpiagio do abculo XVII dvi aus: ead pedagogic de eu tabalno, to tit de un aualidds ge, Eni, avidament e sem epto rte, tate Ga Ei. 2 Continental puseramse a explrar as posindes intents "ies de potéeis ints. Eine movimcniocemfouse no mated suo Leonbard Eu, descendents intectual ds Lain ates os ersnamentas de Johann Bernoull. Apopadamente ale Yoo 8 er chamado “a encamacdo da andl devido acuta lige, oo tudo de proceso infnton, Nes papiny de abrir ot Jhuroducto in analysis iyitorum (174), Euler dil una ga «uma varsvel como “quaker expres anaes forma espe ‘a mancica por ea quanta Yar enimeros ou quaniate Constants" Eueenio dena caro de inkiow que tem tinea oe reso aman’ mas peteriomente com lagi varivels aoa us “noha vida de gue toa go dese ariel pe Uses formada numa exes nfnta da forme Ars Be! Gov Be, te”, Nese onto Euler ndochego exatamente 4 sso made de {ge ima ie crm defi afte, msc ao fea tao o papelchave que a sre Innes dexcmpeae no es ds fos. cancer A busca do rigor Enguanto Euler eos matemétios do coninenteeurpeu vie ‘mente abumulavadeseoberas no campo da ove ans ct po ‘5% preopacdo quanto an fandanente logins, soins tin ‘ enpentavarse (oe pouco suse) em defender 9 metodo dv Shxon Gas critica ovata do fsoeelogn George Brkcey pabicades em 1734 no Anab-Delensore doe Hux mos vers femora au os cris 8 ean asa ee scenes” efi com repeat que Berk exeveu ss ie ‘bres linhas (STRUIK (c): 338/: - ae so ses fs? As welcaes ierement canes cove gr so cae esa inte hese Ne em ganas i som quae inflame pases, em {cho pteumos coed tes de quae a 2 fest (Os argumentas no Anal foram bem esos, mas o dese renho das nutemstion tnior fl infelz A inbiidade dos po. ‘ems de Berle para dar esponas afta cvidentemeste ame {ear o ardor britnco pela nova andi, eo nivel dos resultados de ‘rsquiea fornouse infor ao So continent. "Em pare nivel mats baito da anal bitnica pode ser ae tio ami a ume persist da fase a sins ema feos 2d cesvanlage, mtas vezessiperesimade, envolida a adoeZ0 ‘as nota Tuionrias er lua os simbolos portunoe do ele io ferendal cig. De qualquer mais, enquano os bins {afm na bce do significado da palara “evanescent, Euler, fm partir, fai da nove ands o assunto que conhecemes hoe — eto ds efit. “ant cent mop ram aad ein tar com relate 8 vaade dow reioos 40 ference ne ‘gal Beara Niowensit faa objec 4s diferencias deordem su Feror, « Miche Role sespeiiao, no ini, que o cel dav cam Faralogies, Mas, conforme ay eriieas brtnkastrmavae seals eemorte, a do content fa a poucossiencando. Os rocede ‘entr algramiccsproduiam fates sulados novos aa mos Je Isham Bui Emir er, abe mcm earn em questing ios. im 172, porém, Joseph Luis Lagrange, um ds mates mais argutcs Jo seul, expecmentou oma cxlanagio aerate, Aue de tm cero modo ‘eiornava a enfse de New“one Lenz em Strisinfintas. A rtoria dos materia ena e 4 voniade exparr indo (or dito cou de algo outro made) express como po ee TMT 3) numa se ffinta ~ no cas 4 Snie Loxtew tat Lagrange suers que o coefciete do + 1} termo nessa ex fans, quando dvi por m eve se amado como a deivaa nena da funglo em x= 0. (ara valores cents ex = 0,4 ‘agando perl e Taylor cerve para o mesmo propio} Vint cin > anos mais tarde (1797) Lagrange fr desta © fundamen de ‘eu'taiad disco Thre des fonction analtiqus do gua rové fen grande pat, eola moderna das ungdes de vane eal sboragem de Lgrange eve ovca rpc © mals tarde fol vt {acme inadegds, mas de su uso da fase fonction drive res 26 tou a palavra moderna “deriva”, © esseciamente & sua notacdo ‘due sats ao eserever/”(n on fie ‘A Escola Pobtcnica, onde Lagrange ersinou, revel os maio- res matemtcos fanceses Jo séeulo XIX Dense eles nea fo Influente ov profien quanto Augustin Louis Cauchy, 2 quem sede ‘We pinciimente a epresentagso moderna dos concites do elcalo ‘em nivel univeritiio. No seu Cours analyse de [Ecole Polytech ‘que, de 1821 inrodziu uma defingdoapereipoada deimite: “Quan oe Valores suewsvos ribuos a uma vaidvel aproxinam se nde finidament de um valor fico, ehegaado a dilerir dele to poueD quan ‘ose dee, ese timo ¢ chamado limite d todos os outros". Ag da matemstiea contemporinea, essa defnao est longs de ser acetal, pot no devxaclaros os paps diferentes das vari ‘eis dependentee independent; mas era adequada pars os contempo- ‘ineos de Cauchy. © autor prosegun definindo @dervada de uma ango fix eomo o limite da rardo ay. foe + as) ~ fa) we me ‘conforme Ax tende a zero. Enquanto a diferenil era a nogdo bsica bo tabalbo de Leib, agora devvada pasou a ser fundamental sendo a dierencal dy simplesmente o produto J" (eA. Ademals, ‘engcanio no trabalho de Letaize,ajordrt, node Newton a integral de {sera considerada em grande parte como uma antierivada — ito outta Fungo da qual te €« dvivada —, Cauchy enfatizava que ‘integral de fla) € defn, independentemente da deriva, como © limite de uma soma earactsristea, Foi do ponto de vista de Cauchy {que se desenvoineram as amps generalizagcs moderas da integral Nao seria ena dear a impress de que Cauchy era 0 Gieo 1 desenvoWer a fursameatagto do eeu no ilo do sfeulo XIX. [Na epoca vvia na Bogmia Bernhard Bolzano, um sacerdote, Meso ‘ematemitico gue procuravaartmetizat a ands; e sua defnicgo de ‘ervada era a mesma de Cauchy. Alm disso, Bolzano ¢ Cauchy che firam, independentemente, 4 defnieo de fancao continua. Segundo ‘ky, ua Tango /O) ¢ continua um intevalo se para todo valor ex nese interval a diference ix + Ax) ~ fs) lorna see permanece ‘ener qv qualquer quanttade dada, para Axsfientementepeguen0. 'AS nogées do calla eonforme foram apresentadas por Cauchy ¢ Bolzano aproximam-se bastante da forma como so estrada ho- ‘enum primelro curso, mas, em sua exposido, certs expressSescare- ‘am de presto. O que so exatamente "valores suessives"” O aue ‘ipifica“aprosimarse indeindamene” ou “tamarse.e permanecer”? 28 Bo que ¢ ums quantidade “sufcentemente pequena”? Com a crescen te amtmeizacao da materia, a medica que o szulo XIX avanga ‘a, esas frases deram gar, nas peleGes de Karl Weierstrass, ‘incia€& preciso da dfinica de limite va “psion-deia,¢2ieia ‘aga de “aproximaca0" fot substitusa por um bnguagem puramen te numérica, Dizse que. ¢ um limite da funeio fle) para o valor 2 = a se, dado qualquer nimero posiivo existe im nfmero post vo sta que Vor Lice para qualquer x que vtiique 0 < |x = al < 4 ‘lar ue € a fungdo que tem um limit, e nfo algo ve “ranvel Aida ger de uma quantdade que depen. ede ou varia com) ouira quantsade pode ter encontada no tab. tho de Oresme, no séeulo XIV: ¢ Lefnic usara a palavra “Tuncao", {6e certo roo, no sentido moserno, Por tis do trabalho de Newton ‘tava, de maneira bem definda, a no;io de quantidade varidvel com ‘tempo e, dal de Gependénciamtua, A inflenteZnirodto de Bu: ler enfatizara ima “expresso analtia” na defined de fungdo,embo- ‘a em outa associagotivessesugeido que qualquer curv desea ‘daa mao lve deteminava uma reacdo funcional (Com a tendéncis &artmetizaedo durante o séulo XIX, 9 nocto e corespondénca torouse cominante em andi; assim, PG. Le. Jeune Dirichlet dzia que y uma funedo dex separa cada valor de 2 coresponde um ou mss valores Ge y. (Hoe, convencionaimente, Cmitem-se a5 palavras “ou mate na defingdo) A arimetiagio de ned estabelecen se iremente como que, bs Vere, echama Teoria cstitica weiersrasdana da vardvel”: Em outras palavras, uma va Fidve independente ¥ no “varia” no sentido usual do ter: sin plsmente tm conjunto de ntimeros — muitas vers, em ands, 0 ‘onjunto dos nimeros reais —, hoe chamado dominio”. Uma fung80 ‘es da vardve independente x € simplesmente, ent, ouro conju to de numeros, agora conhecido come “Tinage, de moda que 8 t do valor de x coresponde exatamente un, unico valor de fe ‘Os ulmos anos do séelo XIX assstiram 40 descavelvimento a tora dos conjuntos por Georg Cantor, ¢ sua abordagem dos fu damentos da andlie tomouse dexie entdo caracterstica do século XX. Conseqtentemente, hoje a ili de fungdo € gealmente define aa linguagem rigorsamente ndo ambigua de conjuntos: “Dads ‘dois conjunios de elementos, respectivamente denoiadcs por A e B, zoos ae B& tune do A'— ou que A & axa em B.A =~ quando para todo eernento de A ha um elemento coresponden 27 te em Bee quando no hi dos elementos dstintos em B que corres: ‘ondamn ao mesmo elemento de Pra tomar o eonceto ainda mais preciso, freqlentemente def nese a relagao funcional ene Ae como "o conjunto dos pares OF ‘enados (2), onde a é um elemento de-4 e 6 € um elemento dB, ‘e sorte que Vp) = U0) eatS0 p = 4. ‘Com os aprmoramentos da nogzo de func, o clea estava f dado a sore aeraces. A nocdo de integral, por exer, modiicon- ‘tanto que 36 nko se fala em “a integral. HA muitos tipo de inte i, formlados para cobs s tips eada vez mais amplos de fun ‘8es que foram sendo consderados Se Eudbxioressurise no sculo XX, certamente teria dificult de em reconhacer ees desoondentes do métoo de exaust; mas ele Se sentria completamente & vonlade com respeito pelo menos Un sspcto da matemitica de hoje. O empento pela preciso de pens ‘mento do qual surgi o antigo calewo integral encontra hoje um cor Tespondente na inslécia compardvel quanto 20 rigor em anal. Endéxio compartiaria 9 seatimento de orgulo sugeido pelo ws0 constante da expresso “o edlelo”, que distingue essa matéria dos llculoscomuns, muta veeserroncamente consderados pelos eign feamo sendo a prencupacto dos matemsticos, CAPSULA 1 A antecipagao de Arquimedes ao calculo RODNEY T. HOOD Arauimedss do Siracusa (287212. & consderado consensual ‘mente o maior metemtico Ja antgtidade. Saperou todos os outres ‘els quantiade edifculade dos problemas de que tratou, pel oii ‘aldade de seus miods e polo rigor de suas demponstracdes. Iteres Savase tanto pela matemdtia pure quanto pela apicada erou dos ey amos da fica festticaehidrodinamical. Ternouse famaso por suas favengbes mecinicas,algumas delasutlzadas na dfeca Ge Siacuse ‘contra 0 ataque da tropes romanas comandadas por Marcel. Segtn {0 leada, Arquimeses foi mori por um soldado tomano durante 2 ‘omada 6 cidade enguanto estadava um diagrama peorérico na ari, "Em su trabalho sobre areas e volumes, desenvelveu tambmn snétodo de exaustfo, pelo gual aproximase a quantidads desea pe las somas paciais de uma série ou pelos trmos de ums sequen, ‘Ohieve aproximagées da area de um eirculo comparanco-a com i ‘reas de pigs reglaresinseritose ercunscrtos. Uso paligo- ‘os de noyentae sis lados, mosrou gue a drea de um circu man- tim para como quadrado de seu raio uma razio que se situa entre 3 1077 e 3.10/70, numa estimativa de « notaveimente boa. Aehou {ue a area de uma superficie xfrica € 0 quidrupo da trea de seu {Greulo maior — resultado que Ihe possiiitcu compara esterase ct Findeos, Fst resultado fol comemorado emt seu timo com a orn ‘nentacdo gravada de uma esfera invita nom cin, Achou tan ‘been volumes de exferas de seumenos determinados pela interseoeto x Basin po: dan, Sido gos part a clsoa Gus vole ea Ux fr Di © Faso ial de apua stead fons 0 iq) vinta aa Sin w Genie da iguy mulipicada peo vlune oa Bete den etet Lowlerentnd Lon 7 wn mo ate 2 Depois Stevinroptin ese raciocnio, mas grando cada fata em tor- no de seu lado inferior. Iso forneceu 12+ 12m ‘Como primeira rolapto movera aca da original ea segunda rotacto pa real sobre 0 quadredo sera intermedira entre os dos resultados, 1 roecanismo estava asim em condigtes de consterar 0 que aconte cia ao se fazer © mero de fanas aumentar, exatameste como se Tua noe livros de eleulo hoje em dt De nossa tal pepctve, eonteesny nes slo po priedadesesencias de uma integral denis. E interessante observar ‘que a data que se associa a solugto de Stevin (1586) situs exats: Mente cem anos antes da data em que Newion apreseniou seus Pri pia & "Royal Society”. Leturessuplementeres BOYER (a 98108 SANFORD 1415 2 CAPSULA 3 Feats (cate Johann Ke; ae RALPHC. HOFFER ‘A fama de Johann Kepler (1571-1630) basen se nas tsi que descrevlm o movimento dos planes em torno do So. Usando os da ds sabre observagtes de planes coletados por Tyeho Brahe ao lon 20 de toda a sun via, Kepler descobrin esas leis empsicamente spo: anos de cllculostediasos © aps diversas conjeturas engenhoss ras Embora 0 cielo ainda no estvesie hem descnvolvdo antes 1 época de Newion, Kepler ina su propia vendo, tosea mas eft ‘az, na Qual 0s pontos de rigor refinados ecm itencionalmeate ig norados a fim de cheeat ax aplicagbes, que eram se interess princi pal. O cdleul incutivo de Kepler baseavase no “principio da cot ruidade” pelo qual os casos mite ear cobertos pela dtiigds fas. Por excmplo, ek imaginava x area de um exculo como a area dx fx, pois endo as qusntdass fina deaperece. Do meso 080 io nero ere ede rans fut. Daw presaros dle Ge dg + ah) ay = dy + ye + dey Mas ness aur du deve ser etd por ser incompacavelmenie menor que ed jue Asin ex quer csp parila © eo € menor que qualquer quiet Para ofuxo 4 de Newton, Leibitizeserevia ** jou ainda dx :dte dead dt ar ara o que chamarios agora integral dey, Newton escrevia jot [ou [v1 Lelie escrevia& mesma integral como fy 6, um pou ‘mais tarde, como fy. O sina J, uma forma antiga da era 8, repre sentava somas que tanto Newion como Leiaiz sabiam suscetives de serem efetuadas por antiiferenciagao fo método das "angomts in vers, como era entdo chamado "Enbora Leibniz pereebese aimportincia da base térica doc culo, ndo deu a ela 0 mesmo cuidado que se encontca no trabalho ‘de Newton, Uma das priciais preocupagtes de Leibniz ea uma boa ota, ¢ foi feliz em desenvolver 3 notagzo do elleulo que usamos ‘je ignorade pelos inleses durante meio sul, devido & sua lela 4 & Newton © & sua antipaia por Leibniz. A guinada ooorrev em [B10 com 2 eriaeto da Analytical Society, seguindose a0 ngresso de ‘Charles Babbage na Universidade de Cambridge. A Socidade reco. necia a6 vantagens da notueao de de Leoni sobre a notaedo & de ‘Newione, como dise Babbage, defendia "os principio do puro dis mmo ent opoxgdo& notagdo portal da univeridade" Letras suplementares pover co: e725 somapes Aton aril iabz05 BEV SMITE (as, a. CAPSULA 10 Volumes de barris SAMUEL J, BRANNAN Johann Kepler (1571-1630), além de traalhar em asronomia € ‘em véros carapos da matemdticg. fez um estado extenso de volumes fe diverse slides de revolueto, Por ocasto de seu seundo casamen {o, ee feve mosvos pata se tneresar por métodos de medio Ge Vo limes de bars de vinho e, consegleatemente, veio ast interessar ‘or outros volumes de evolu. Seu trabalho a respeito da maténa, Stereomeira dotorum vinorum (Geometria soda dos bars de vi inho),pubicado ext 1615, inca 0 estudo de volumes de sles obti {ar Bandose segments de secebes cnicas em (rno de um exo de Seu plano, Kepler considerava 0 volume dese slidos como a soma ‘de rumerosascarmadas Fins, cada uma com a forms de um disco ct nario. “otto Toeplits 182-83 referee & compra do vinho do casarmento por Kepler. © mercacor medio volome de um bari er Fig (1-1) Introduzindo uma régua no escoadouro S até alcangar 0 tampo em 1D. O mereador wava 0 comprinento SD = d para calcula: o prey. Kepler percebeu que um bari alto esteto pods ter 8 mesma medi ‘dvd de am tari larg, e dal o preg Seria 0 mest, erbora seu YO lume foe bem menor. IGURA {10} a Assuming ae o bari fone apoximadament us ino, to smandoa media do a rda bate 8 ara h Repl apociace ‘Sree Vo sete oa Devo ao teoremapitapérico ayer pat _ We ee . Otay i vee - 2 (f-% 8 Vaan ns par lr fi de, Kepler doa er gv eh 0 ae volune Ve mtr qe & condo pa ey aso ten hp = a fae je maninariamor V dierenciano © inpondo qe o re sun fos gala, obendo asin 2" sn wv bat a 4a — as 6 0 valor de que maxiniza ¥. Kepler, naturalmente, nfo dispunha do conceito de dervada (que, pelo menos na forma acina, fo laventado postrtormcate, mat Dobservou que 0 método de usar d para caleular @ prego do vinho era ido para bars austacos, pos forma dees era bastante confor 82 tne com (7). Mesr qu forma do bari se desviase um pouen des { proporedo,o métoo de usar d ainda assim povderia sr empeceac, ‘pos, como ele mostou, proximo de seu maximo uma fun so vara FEniamente (Hoje enarfamos mais propensos a diver, “proximo™ de tim maximo ordinario a taxa de varigdo etd "muito pero" de 2010) se uso intutvo e no formal do conceto de dervada teve sma formulagdo mas explicia alguns anos mais tarde (169), com Fermat, cujo método. aproximavase bastante dos. procediment suas para achar maximes e minimos ordindrios, a tal ponto que fs dos textos atuas 0 denominam “método de Fermat”. ‘Com 0 tempo, ores extudaram problema de achar vokuoes de barrs de vinho © métodos de precisdo razaivel se desenvalveram om es Fnalidade. Medios volumes de todas as formas diferentes fe cassostornouse como que uma ace. ‘Nicolas Pike (@. 1790) forneceu um mltodo muito completo & detatado LEAVITT : 21415 era. ~ Tome em plegatas a dienstes 6 tars xo &, do ime junio 2 batogue do amc do tampo cea ature: sta ‘det do tampo co eimeto jum a0 bate Beenie @ batogue © 0 tmpo as acs do aso forem muito beurades ou ojuds,mulipaue a deen eee o mero do trou do tpo pir 07 eno orem 0 encrvass, por O68, Se orem roenos ecards nna, po 0,5 orem quae u comple ‘amen rea, por 0.5; some 0 produto a0 diet 6 trp 8 ‘usr um metro mai, pelo qual arise redu um ideo, eve ao quadraloo dinero med asim conta emul quce pea altura, pra viaho divi 0 produto por 294, par crvela or 398, «0 quant srk ocomeo em lb. Pike notou que, como 231 polegadas cibieas correspondem tum galt de vino, a regra cima Torneo volume de vinho em g2 lees porque, para um cin, Vn a( ZY Crogatascics ‘onde d& 0 ditmetro médio ¢ Fé a altura do barr. Para cers, mimeros 231 ¢ 294 acina devem ser substtudos por 282 © 359, es pectvamemt. Pike sugeriu tami que se ese o dvidosdescon- {os em virtude da espessura da madeira do ese. ‘Como exempilo Jo método de Pike, damos o seguinte problema, as respostas: ‘Qual o conto em gales de vino ou oerveja de urn bari cu jas aducas sto bastante encurvadas, se 0 dametto junto ao bataque ‘ede 35 poegadss, o diimetro do tampo mede 27 polegadas 2 atu ramede 45 polegaday? Digmetro junto 9 batoque Diet ogo Dierenca Mukipeador Produ Dilmeto do meo Ditmeso meio Quatro tere $3130 45104 47 8240 ‘As resposas so dadas absixo, primero em gates de vinho © epois em gales de carve 47 824,20 : 294 = 16266 4782420 : 359 = 13321 Leura suplementares Leavirsausas ‘orruira e289 STRUM (19297 CAPSULA 11 Diferencas finitas WELCHER FOBES Brook Taylor (1685.1731) crow o “cleulo de ifereneas fits” « publons of rsiltadcs em seu Metnodus inerementorum directa et lnvera (1715), que tambem inch o teorema de Taylor sobre ses, ‘ontecio por todos os estudantes de caleulo [17]. Nese livro, Tay for extrau muitas analogs entre su novo cdleulo into e o céleu Jo ifintesimal}crdindro,e,apicando seu novo céleulo ao probie- sma da vibragto transversal de cords, foi o primero a conseputredu- “Ar o probleme a principio mecdnecs. ‘Mas mais ania abaracao real de difereneasfrita fi dada por James Sting (16921770), que inclsive, vine e cinco anos anes de ‘Maciaurin,chegou 4 chamada expansto de Maclaurin —~ nsturalmen- fe, apenas um easo particular do teorema de Taylor. € provavel que Stirling soja mais conhecdo pela chamada formula de String, devi dna Abraham De Moive 1667 1754, cue da uma aproximaco de! por Bia nr) (eh Em seu Methodus diferentials (1730), Sting apicou seu céeulo e iferencasfnta 4 series ¢ 4 Inerpolagoo,¢intauziu os nme ros de Sting, aids importantes na toca. Emboca ndoesteja entre os grandes materiticos, Sing foi um dos homens mais ineresan- {ese verses dar primards 40 ciel. Ads vnte edo anos de is. ‘e fotexpulso da Universidade de Oxford devido As suas conviegdes polities, mudandose eno para Venza. Nessa cidade estudou © en Sinou darante dez anos, até ser obrigado a volar ts press para ala ‘latera. Ele havie descoberto alguns dos segredos comerciis dos s0- Pradores de vio venezianos e temia ser assassiqado, Pol resto 03 ‘ia foi tratado pels cles como “o veneziano”. O cileulo de dferencas finitas foi ainda desenvolvdo por muitos ‘outros matemitins depos de Sting, incisive Leonhard Ele. cu 4notagio A substitu a notacto ponteada de Taylor, ¢ George Boo- te, cujo texto Fine Differences (1860) forneceu a motivagao para a itestragto a seguir. A notapto x signi xix ~ 1) — 2) & col a paalela& diets dda is correspondents no calcul ordinaro. ss A deriva fa de Ps) & tals Pct =F ‘ wy FEF yay ym FEY PN = Pes mw - ee Asin por xen: 9 = bale — Hee — 2) Tie) De = 38 ra. A eto inven, nerada tots ae rae iat Bee De © ant do wre dane tiles 3 cen ze - “Weep [sf Alcano reenter rive ts soma oe tems pa 56 B interessante notat que desde 0 inicio Brook Taylor exteaiu smuitasanalogas entre 0 novo cloulo faite e eileulo odin — ‘amo também Boole, em seu texto de 1860. Leturas suplementares BOYER Or H849 STRUIK (9 32833, CAPSULA 12 Arquimedes e 0 “método de exaustéo” "MELCHER FOBES ara acha eas ¢ volumes, o vertil Arquimedes (287 212.8.C) wou sua propria verano primitive do ofleuo integral, que, de a ‘gums manera, € muilo semeante, quanto a0 epirito, 20 ealeul falual. Numa carta a Erastenes, Afguimedes expos seu “mnétodo da ‘alayanca” para descobri formule de reas ¢ volumes. Mas, quando pablcava proves para esas formulas, ele wavs 0 “metodo de exaus 4", para ajustar sos padres de rigor da epoca. O Kéitor conece 2 abordagem greza do problema da aea do Grea: As dreas ees: {esos poligan inscntos aumentam, aproximandose da area do cit ule, a0 paso que ab areas decrescentes dos poiganas eicunscrites ‘iminuem, aproximandose da tea do circu. ‘Observemeos de forma algo diferente a demonstracto de Arqui ‘medes, por exaust, de que a ivea de um segmento parabolic ¢ 4/3 a re dps inet [t Supontamos ae Pas 2 ‘reente uma poreao de parboia deerminada pela corda Fedak 39 feu'eno A, Assumins como deingto de parila ‘Ue ve tata Go conjunto dos pontos Pais que AP” sea proporcio- Tala (P* PP — isto & em nowardo moderna, que a equagdo de nossa pardbola seja y = ket. Arquimedes mostrou ue esa porao de par bola & 4/3 da rea de 8C“AC, o que equiva der que a dre li 8 {da por AB, BC ea parabola ¢ 413 da rea de ABC, Para tanto oe ‘exauiu” a area perabies somando princi 0 triangulo ADC 29 ‘AARC, onde D0 ponto em que uma paraela 2 AB pelo ponto me. {io M de BC core parole mostrando que KADC ~ 1 AABC: ‘A seguir constriu parallas @ AB por M” © M", pontos médias de (MC e BM, as quaiscoriam a parabola em D’ e Ds entao mostrou gue AAD'D + 'ADD'C = I AADC = IAS?) ABC. Continuando Indefindamente com este prosesso, chegase a conclusio de que & ‘rea parabola € dada aproximadamente por wy gape + + apc + 1 gape +. + 1 nape, 4 # * qual, medida que eesee, aproximase cada ver mas de 4/3 ABC: [A prova de que AADC = 16 ABC farse como se segue, corn «a notapo ¢ os segments construkos da figura, Da defini de par bola, AP = RFD? € AB = KC). Como FD = BM = M2 BC, eduse que AP = HD = 4 AB, Por semethanca de wriingulee, EMIAB =’ MCIBC = 192, de modo que EM = 112.AB. Dal be = a8 Mo~ EM = ap- 4 ap-4a8= Lan FIGURA i314 Assi, AADE © AAEM tém mesma altura Affe bases DE = V4, AB EM’ i2-AB, respectivamente. Logo, AADE = 12 AAEM. Apa logamene, ADEC'= Tf AMC de manets que, pr adic, AADC = 1 AACN Alem disso, AACM e AAMB tem aves iguais (MC © BM) mesa altura (4B) ¢ asim AADC » 8 BABC" CQD. 38 aver oan ake eat 1241/8 + e+. Poréin, um dos primeiresmatemitioa cone: *0 ids a enfrentar mites e séris foi Arquimedes ( 220 aC). Usan dose nos nota, foram encontrads po ele os sepuites resultados lim 4-* + «ainda a formule 0 ators ars T Hiouve entéo um periodo em que esses progress se consol ram (um periogo igual ao que vei de Nero a Casto Por volta de 1737, Leiba fo indaido poke contrast ene 2 @ Aida de convergéaciae diveraéncia Seu teste para s sti alterna as, primeir tse de convergencia, 56 aparece em 4705. Um aos tecimento intermedro, 0s Principia de Newton, marca apogc 4 perodo incuitivo (em que os segzedos da naturezaguiavam as des- coberia). Newton teve a perspiciea de se prevcupar com as eazbes logias subjacentes a0 ecu. Exrtamente flando, slat devas cram mais raxbes que limites ‘Nese meio tempo, volando 20 assuno,deduzram se tanas fr ‘ulas bonis, que oinulionismo passou a cede gar ao formal fo (po qual a natureza fala a0 homem per meio de formulas. Por ‘olla de 1700, discuss amensagean fornia por (0) no caso particular det-tei-te Leinir, observando os subtotais |, 1.0, ., supe que a probabil dade esse envolvda. Euler, com quem 0 formalsmo cheyou 20 luge fe. 1750, manteve se eam em fase Gee ede Utes quetrae teas como 6 Hla dae 2eaeee resutado da spicapo do teorema do binémio formal a (1 ~ 2) 60 Por ea Epoca, alguns observaram que @ O=0F0+.54-ne at mi-tet-14 Sted 9-0 w= ‘0 Sormalismo estava passando 6os limites. Euler quase foi levado a (efnit “soma” de sétesD’Almbertdearou que algo devi ser fet fo quanto “mites”. Lagrange concordou, mas adotu remeos inte ‘Uma ea de rigor fol anunciada por Gauss. 1800. Mas pasou quae deaperecbid,alé que Cauchy (1830) comegou a deslocar and Tse de alcerees sore a area para fundamentos apropriads. O rigor fentrou em oda a ptr de ent. Deveros a Weierstrass (1860) Sgradecimentoscarrancudos pla camikadeforga da verso pena dos *tpilon ela E notivel que tenbam se pssadotantos anos them sido ne czstrias tants evincis para que as pessoas se convencessem de QUE ay ds oh dye, yt an cy + cram de especies ‘ieremes. Mesmio Cauchy ¢ Abel celuiaram’em Coneuis que sede ve reel a idea de sama pare sive como (3), (4 ¢ (9, Demorou pra se determinar que arupar ou mio, como em (6), poderia trans formar convergéacia em diveraincia. Em outraspalaves, somas inf rita talverndo fosem astoctativas, Note e que nossa defini cot ‘esponde ao agrupareato o Ma, + 2) + a +a) + Cauchy usou séries como (3) para demonstra que a comuatviéade também deve ser sacrficada. Qualguer soma desejada pode ser obida elo rearrano de ses termos, E impovavel que prnctiants em caiulo trem proveito dain formagao de qu (3), (4, (5) €outras comportamse devidamente era ‘outros contexte. Abel evtava tas sries com obras do diabo. Cauchy ‘eressou as seis divegentes por Vola de 1840, tinba langado o& findamentos de sun tcora. Com as investigagdes de Poincaré em 1886, a8 sre diverentesadguiirara um stalus elevado. Antes, emt 1882, Halder forao primeira ds muitos que nventaram delinigds, com aplicabes vidas, para soma de uma sire. Median alguns ‘métodos de somabidade, (4) foenaseverdadeira. ALE por dos exe los, (9) escapou do ostracsmo araves da tora da valorizae ini: ti por Ostrowski em 1918, “Apesat de tudo, a definiglo usual de soma ¢ uiversalmente Regras para lidar com sires provémn dela. © nloconhecimento das ‘gras do jogo impedicum Fourier © Heaviside de chegar a descober {as imporiantes, Euler rearanjava sé, inconsiene dos peigos de correntes. Gaus trocava limits repetios sem se desculpar. Cauchy, ‘hum caso semelnane,ertou 0 eaminbo mas resuperouse,inventat sd a converginci uniforme ness proceso. Instintosaletas ¢ prea: (2s convenentes impediam:nos de um ero fatal Porém, na hisria ds matemica a ntigdes mais refnadas em baragamse nas brumas de procssosinfiivos. Inoprtunos para ct ‘mortais comuns sto os sorts desdenhoss, digamos, para com of testes de convergincia de series. Ua multifedade de exemplos nos lta a perversidade do infinito comtrapondose a esas tendencias.O se ‘guinte merece ampla divaleaeto Seja dada uma urna A. contendo tuna infindade de equetas. Ao lado eslao uss uras varias Be C. ‘Transeremse dus etiquctas de A para B e endo passe ums etl ‘queta de B para C: Suponhamos que se repta ese prooedimento am humero init de vezes Quantas euqueas se encontram ent em 2? Pode se defender fe dai stacar} qualquer tespta de zo a0 infin to. O mode fice bem estado pelo procedimento que confirma, d. ‘ames, 3, como rexposia. As etiquetasintodueidas em 2 $80 assim fnumeradss '¢ 2, 34,5 ¢ 6 te. Suponhamos que se reiem de 2 asetqueas.4,6,7,8, eassinpordamte Restaaosseiquetss 1, 3€5. Laura suplementaes exsons @ s.77 (oe 7 48689, 565, SURUIK 2427 of. 12426) u eon eo CAPSULA 14 A origem da regra de LHospital DIRK J. STRUIK ‘tan eg de Vogal ae atime ge in A Le os a gh eo y= gl) = 0. 4 #0, fo} publican pea orm vex p= Fre eb tants GFA, dL Hepa fu de Fp a a odes ment pei Pari, 1698). 0 arguts de LHospial [tte mation amedoe, que ncresbu profungamente pelo alco apresentado 40 mun intletal por Leibniz em is ‘Pasuene artigo, um de 1684 eo outo de 1686. Nto tendo cetera esis conga dominaro nov ¢fesinante rao da tater ee Sane LVoapal contrat, drat alguns meses ds anos Tet 1652 cs servis do fover brant maemo e fs Su Go Jobin Heron primeso em sa cara ern Pai e depo em sa ‘Sarde campo. Quando Bervoullrtorou 8 Basia, soa cage na Stacia, Av mesmo tempo, pulicou algumas contribures originals suas, Em 1696, quando seu veo sai, L Hospital expresou seu reco ‘hecimento a Leia e Berouli, mas apenas em termos genrios: Uilinet vemente sua descobertas Je me sus ser sans fon de leur découverte, e modo que hes rest abertamente tudo quan- {to dese reivindiar como sendo de sua autora” "A questo da dependéncia real de Lospital para com Bernoul Ji fiou sem respi © com 0 pasar do tempo edquii o carter de tum certo miste. Bernoulli, depos que L'Hospital the enviow um fexemiplr Jo lito, agradece com coresa © parabenizo0 © auto. ‘Mas sutsequenterente, em algumas carts partelares escritas quan {800 marquts ainda estava vivo, relamava que grande parte do con- fetdo de Analyse des iflnment pets realmente Ibe pertencia. Em 704, apée a morte de LHospia, revindiou pablicamente 0 eri to pelo em n° 163, que contem a rera para O40. Matemiicos ine cet lo ia re pcm dn te ¢ fuposta dependéncia de Hospital para com Johann Bernoul, pean ‘doa conheeida grandeza de Bernoulli como matemitico contra sua também conneciée repulardo de mesquinhez. Aié reeentemente no ‘ havia chegado a neshumna conclsto acciive. ‘Com a publagto, em 1922, do manuscrto de Johann, Bernou- lianbreoedleulo diferencia, datado de 169192, a questo fo: consige: ravelmente iclarecida, (0 inanuscto corespondente sobre 0 cle Jo megraltomou se conheidoandaem vid de Beraull, argue fo pe ‘bicago em 1742 em sua Opera) As anotaotes de Bernoulli coineiam em grade pute com o texto do livo de Hospital e tudo incicava ‘que paernidade de muitos dos resultados do aobre intelectual cabiea ‘Bemoull Mas sé ex 1985, com a pblicacto da correspondéocia de Ber ‘oul a stuagdo real veo’, Revloue entzo que em 1634, deal, fora estabeleedo tum tata enze @ marquise seu antigo tutor, elo 63 ‘qual L'Hosptalofereciaa ele uma pens de 300 bras (pesteriormen: {e mais) desde que Bernoull concordasse com 8 conde | bare tao problemas maemo qe o mara 2. comunicar ao marqués tojas as descobertas de que tivesse co- ninccmento, 3. no pasar a outras pessoas cbpas das anotagces enyiadas Usp Isso resalveu 2 questi da prioidad. Sepuese ume tradueso do echo da carta que contém a propos inusitada gue LHospal ‘envioude Paria Johann Bernoulina Basil, no da 7 de argo de 1654 Dar Ie de bm redo ua pensio de erent as, comesan ots primero de ate do presente abo, ee eave! daznts ‘ras pela primela meade do ano devo at esas que voc me man ou, ¢ ceo cnguenta bes ol segunda meade, € aim Sea ‘futuro, Proto aumenar logo esta pens, os sei que € mato ‘esis leno gs ew eprom pen ea, ‘Ni eno sinenatz de Ihe soltar todo ose tempo, mas so tart apenas Que me de oconslnent leumas hors de fm fata abana bo que Ie pe eae pare combricrme Sus Gescoheras, com a slags de nfo mencon is « cur. Sle The amber nao mandar pas das antapes ie me Tenet Ne MM. Verignn nem oul, pis no me agar ques ores publeas Mande esas espaaa dose eecrecteem mim, Monsieur out vou eM. de Lt ‘A resposta de Bernoulli amais fi encontrada, mas, por uma car ta de 22 ce julho de 1694, sabemos que ele acetou 8 proposta. Para Jovem cinta Ssprovido de fecuris, casa recetemente a 6418 procura de um erpreo (qu consegu no ano segunte, na Unk ‘ersidage de Groningen na Holanda, esa bosa deve tread do oft. ‘Nio sabemos quanto tempo durou ese acordo, mus astuago finan cera de Bervoull melhorou, © mesmo nio acontecndo com a de ‘Pospia A relado entre 0 dois pote ter chegado ao fim em 1695. ‘iversas carts de Bernoulli a seu proteoe foram pubicadas re cexntemente, e uma dela, datada de 22‘ julbo de 1694, contém a o 1 00. Afrmulgo € mito preci com gue enona ‘a sie de nine pit hse see consterages geome Se ae £0) ee eas uns cvs y = fo) y =f) ps plo mea soto P $o2805, OP t,o ma gue fay» go) = 0s amos Se ae OSAP igs ona ieitamenie go fat eh use igual a0 qucene W/(e + por ga + gun $ Sogeno: No te, ecotramon, agora has plas de Bern ‘Aim de achat 0 valor dx crenata lap cuva daa p-4 « mo cao ¢ neces divi a renal J diene} do numer ‘doc Fagin geal pia iflerecial do denominaor (0s exempios de Beenoul so quase os mesmos que L-Hosrital ata Vie ~ aR 0 para x = a, Entto 6 Esse exemplo de Bemouli foi sansformado por L'Hospital em pare x = a, Entio ‘A Situaeo, portant, ficou esclarecia, Quando 0 lv de LH pital foi publeedo, ‘amarrado pela promesa de 18 revelar qais as parts do lio que eram dee. So pod diz o partic larmente. Eto, com a morte do marqués, Bernoulli senivae deso- brigado de continvar mantendo slo, e revindcou paras auto rie do notével resultado do fivzo — a rogra para ON, Mas nfo tina ‘como provar esa afrmaedo. Hoje, est fia jis ‘Da descoberta da rig ds epa de L'Hospial nose ode con ciuir que ea pasar a lear o none de Bernoulli, Prime, porate 4 a viag regres e Teoremas com 0. nome Bertolt (vidas polo menos a trés membros da familia — Jakob, Johan Daniell Mas hk outro argumento de peso. Se comeyarmos a midar of nomes de "esse teoremasexrtamente segundo as les da prinidde, logo che fatemos conclusto dsarimadora de que noma ciene peerd tas de suas expresses familiares. Os tabidnios conkeciam o worema de Pigoras mais de um milzaio antes da epoea do sibio de Croton, AAs equacdes de Cauchy-Riemann eam contecidas por D'Alembert © Euler. O teorema de Taylor seria de Gregory, pelo menos até que au {eo posulane eparecesse — nao ¢ imposivl que matematicosinie- ‘os tenham se aprorimado dele, por volta de 1500. Os indianos ta bem idarans com as equagdes de Pell muito anes de Jn Pell est: ‘dblas ~ ou methor no eto las, ois a gagao de ell com as equa {es 6 extremamenie remota. As seis de Fourier foram vada por Euler © Daniel RerpoultO trdngulo de Paseal era conbecko pelo ‘matemtico chinés Yang Hui éculo XII) e provavelment & muito ‘mais antigo; e seu contemporineo Chhin Chie shan trabalhou oom © metodo de Horner da teria das ecuactes algchieas come se Tose tm instrumente antigo. E assim por dant. (Os nomesligados a descoberas materétcas sto, mutes veoes, mes de pessoas que, através de seu trabalho, evaram esics resulta {doa sre mais coniecidos ou mais bem comprenddos, Quakuet no ‘a descobera histrea pode, eno, volar a alterar 0 dfiado equl brio da nomencletars, Deixémos que 0 bom marques gue com sua Tegra primocas; ele pagou por ela Tocnowa de dominio pablo. Afinal, ele merece aguma faa; seu vo sabre © nove ella, an eter sido © primeira ser publicado sobre a matéria — contendo ‘contribuides proprias do autor — nha qualidade sufiente para se 6 rmanter em posigdo de dexaaue por mas de meio seul. Meso de us textos melhores ayureceram,covinuou 8 Je? wsaGo como {in on intoduplo ao cleo sabemos de Um ego de 1790. For {tad paca o ngs e ara o lim € meres comentriok, com ‘de Vargnonenigs de Hospital Devemes te alum respeto pore. Leturas suplementares ‘cooLDGe: 14.70 STRUIK er 31216 "ca cpa fo apa Se am arian pub em ab (Ui ns Mathemaes Tor CAPSULA 15 Calculo de variages BERNARD J. YORWAR ‘Um problema importante em cieulo diferencial consiste em se tentaracharos valores das wardvels independents para‘ quas uma ‘dada fongio assume um valor maioe Ov um Yalor menor i &, us maximo ou um mini. Analogamente, no clculo de vatiagtes, um Droblema bésico € ode achar uma ou mats fungbesinodanias de mo- ‘So que uma dada integral defnida em que extajam envovidas e555 fungdes torne-se um maxino ov um minimo. © problems pose ser ‘enunciade do seguinte mode: Consierese a integral defini: o SH otha ‘Quando x¢ 18m valores mums defini, quando féumafuneo deat gunn dat a fg deena ‘earl tem um Yalordefinido, Podemos eno fazer comparasdes en "96 of valores des integral ao se fazer escola diferentes dey 00 or smo fungdo de x. O problema hsico do cileulo de variates € achar 2 Tungao particular y= y¢e que trna (2) um maxim ou um mini. Es tipo de proba ter ineressado matematins so longo de {oda a histria,€ muitos deses problemas fram resolvids por mo dos muito engechosos. Os prego: antign sabiam que de todas a curvas ‘om um dado perimetro a que abarea maior area & occu, Milos ‘uttos problemas propostos foram resolves principalmente pela ir ‘ego de oertesindividuos, © desenvolvimento ssteraton do dle Joe varagbescomegou quando Johaan Bernoul (1667-1748) rare sentou peablema da braguistécrona, jt extudado antes por Gale, (© problem da braqustérona tempo menod vis dterminar, dente todas as curvaspossiveis que ligam dots pontos em um plano verte cal aque para qual ura parila deslizando (em aio) para bak xo 20 fongo da curva, sob 3 acdo da graviade, fad 0 pereuso do ‘onto mais allo wo mais baixo om tempo minimo. Ist & procurese ‘camino de descda mais rapid Os ros Johanne Jakob Bernout Iiresolveram o problema, e suas solos, independentes uma da ov tea, fram publizadas em 1696, 0 problema envalve a minimizara0 tga * ror ae fe « fonece um arco de ice como slug. ‘© método de Jakob Bernoull de resoiucto do problema da bra ‘qistcrona era mais gral do que o de Fohann ¢ possibtava a eso: Tudo de uma arpla gama de problemas, inclusive um problema isope- rimfteo (em que 0 pemetro € mantida fio), groposto como rep (a 20 problema de seu irmdo, Leonhard Euler, depulo de Johann [Berroa deu muias eonribuies ao estudo do cleulo de variagtes, incusive o desenvolvimento da equagzo diferencia a ay de Vay ‘vjasolueo forneceafungo que minimiza (I), desde queexita minim. Leituras suplementores SEL ox 3781 Caron (232 251,309.72 BovER watt STRUIK GF 3914 CAPSULA 16 Uma selva de equagées diferenciais JAMES PORTER Lancadas no fim do século XVI, as sementes do cialo flores: ceram e prolferaram rapidamente,produzindo uma forest de equa ‘bes matotticseasieadas coma “equagbes diferencias. Prone hasta selva, entrecsquas isaac Newtoa, Gotfned Wilheln von Lenz {c irmos Jakob ¢ Johann Bernouli, puseram-se 2 ponderar sobre “arvoreauasao como. a ee vn Eg ty Bs yom ‘que ndo pasa de uma equaco diferencia “ordindra”. ses pesquiss ‘dors primtivs esperavam “esolver" ais equages para relacdes {ee ye x que ulizasem fungéeselemeatares conbectas, com Sea, tog xe outtas, Acabouse por demonstrar que esas fungtes ele smentares eram insficientes (BELL (a 401. Mas do que smpksmen {te malra de corte de matematicos, esas equates forme formu: lngbes de his que gorernavam o universo fico. Suas solutes eam incspensveis aos campos em desenvolvimento da mecdnica eda as ‘onomia, Por exemplo, ume bola lancada para bai de uma altura de 300 pés com uma velbeiade nical de 10 pés por segundo tem, \esprezandose a ressténca do ar, uma tajetéia deseia pela eqs (80 diferncial #Y =m, a ‘onde y representa a akura da bola € x0 tempo de pereuso, Esta des- ‘rgdo taseivse na segunda lei da mecinica de Newton. solucio ‘dessa equapdo ciferencallevandose em conta as condigis deseitas cima) y= 300 - 10r~ 16,10, 6 modo que, por exemplo, ads és segundos a altura da bola serd 300" 10{3) 16,188 ou aproximadamente 125 pes. 6 Recém chegados vieram trabathar na foresta; provavebmenteca- ‘da um dog matematicos desc peiodo tentou pelo menos gravar seo ‘nome em algura equacdo diferencal, Mas pouns tertenos de ran {de extensdo posi ser revindicades, Poe volta de 1800 a Raresta t- ‘ha Wansposto as cxreas da teosas peri, umas apis utr, e, ae- Sar de sua utiidade potencil, lgumas das equagdes mais vigoross ainda esavar por predzi miaas. Nao obstante,em 1743 Leonhard Euler fora capaz de dscutir exaustvamente a equacto difeencial or Aindria near bomogénea geal com eaeicentss constants. ‘Quando o segundo steul de wahalho com equagbes diferencias {dia bem adiantado, Augustin Louis Cauchy enfaiou a necessidade 4 maior rigor. Sua revelagio de slugdes impefets levou mute ‘matemticos a votarem atras para reconsiderarafmagbes anterior, Por exemple, aresolugdo de equactesdiferenciis por sis infinitas ra uma tenia imporiante,divulgas por Euler. Mas mesmo 0 racio ‘iio de Euler muttas veres era dibio. Cera ocasiio ICAJORI(O): 238%, Boker afirmou que senx ~ 2sen 2x + 3oen3x ~ 4sen dr +. = 0. Dizse que Piere Laplace, 0 Paul Bunyan da materiticac de fii, ‘uv desconcrtado uma exposifo Ue Cauchy sobre convergéacia esr infnias ecoreu para casa com 0 objedvo de vecficar af ‘magoes qu fizra em sua Mécanique Celeste ICAJORI ll 374. Para Ielamente a uma comprensio maor dos problemas ineente reso ‘Ho de equactes diferencias, durante ese periodosurgiram insicumen: {os e mbiodos melhores para lidar com equaces antes inact. nize ees, foram paticulrmente importantes o méfodo de aproxima ‘hes tucesvas de nile Peat, as tamsformadas de Laplicee 0 ope adores simbolices de Olver Heavisie Por sofia do final do século XIX, a teoria dos grap continuos ‘ena ede eleragdo se tornaram no 6 exequvels, como at vant Jones, ¢ grande parte das pequiss sobre equactes diferencias esta Sendo difgda para oaprimoramento desesroétodos computacionas, A ceva das eqhaotes diferencias fol grandemente desobstrus Laturas suplementares BELL @& 019 ‘CAIORT : 38352 n CAPSULA 17 Maclaurin, Taylor e suas séries diferenciais © WOLLAN Brook Taylor (1685-1731) foi um eminente matemdtico ings, ‘xia vida, bastante breve, coinidu aproximadamente coo a Glia pure da Ya de Newton. Era um jovem de talento incomum, com tina gama ampla de interesses, inciindo musica arte, e também matemilica¢ flosofa. A deducdo da sie conhecida por seu nome for incuida em seu principal trabalho de matemitica, Methods incre -mentori deca et inversa, publicado em Londres em 1715. Na Epo (G10 mundo da matenstica esava profundamente envolvigo na poe ica sobre price de Newion ou Leibniz. Taylor era ur 60s mai ardentes efemsores das reivindicapbes de Newion, Olivo etd pontihado de referencias tendenciosas a favor de Newton e de seu {takai ndo sendo mencionados outros matematces que contribu ‘am para a matéria. O lvro € dediado primordiaimente un ram ‘dz matematea hoje conhocid com calcul de dfeeneas fas (11, ‘Grande pars de seu contcio cra novo a epoca, ¢olvr feve mu {a repereusdo,apesa® do estilo obscuro do autor, de sua notarto com: plcada ede autos defies cue tomavam dif sua letra. Em nota {lo moderna, a dedurdo de Taylor de sua src, al como & dada em ‘Methods ncrementorum, era aptoximadamente como se se0¢ ‘Supontarios que (Sia uma fangdo de x, Ax urn mime ral sitio que a) = yh aad = v8) sejna variago da fungtocorrespondente # uma varagdo Ax do arg mento x, Definamos amb a dervadas ce order superior uo: °ybd = Alvi) = Avtr + A — ast yb) = AUyho) = Aye + Ax) — A) Aeyh0) = Alar) = Arye + AD = BM TAA, claro que, se six} € outra fungSo de x, entdo ‘Alybe) + ei) = Bah + ate ‘Se a6 um ndipero arbitsirio, emos enzo a + bx) = ya) + Ayla) wa 4 2ax) = 2 + Ae + Ae + an ila) + AM + alah + Ayia) a + Ayla + avd) + A240) va) + 2 aval + 820, Ma + 3.x) = fa + 2ae) + ave + 2.40) (fa) +2 le) + Ayla) + lye) + 2 Ayia) + aa) = ah +2 60) + B79) + Ava) + 2B) + Ba) = Ma) + Baye) + 3 a8) + AKO, e-em geal, Ya + nix) = Ma + (n — NAY) + Ave +09 ~ Daw = sta) + mayia) + AOD gaya) vat ya + a + Ay) = + y 4 MO Bt 7 a a (aa? 5 = Bah 2d BIL grey x oP n [Neste ponto Taylor argumentavs que, se consderamosv fxo © fazcmon n ornate nfinto, entao 4x aproximase de 0, atsta) Me — Aa (2AM (KW) ro x sransformamse ex eo) “ae OR respectivamente, para cada K, ¢ 0 nimero de tesmos toma infin to, de modo que obtemos snr yh gw wy we Po baa ta de det a de se, cbviamente, & a ssc de Taylor, Esse tipo de argumento ipreciso com relacdo a limites tormou ‘no apenas Taylor como também Newion, Leibniz e seus contempors ‘eos Vulnrives aos ataques de George Berkeley, bispo de Clayne,€ Jevou matemitico psterioes a desenvoler as provas que os estudan- tes aprendem hoje. ‘Colin Maclin (1698-174) foi wen matemtico escoots bith te que, ae dezenave anos de Wade, mediante concurs, Lornouse px fessor da Universidade de Aberdeen, Descobria uma deducto diferen te da she, que aparece em seu liveo Treae of Fusions, publics dd em Ediinburgo em 1742. O azgumento de Mactaurin tnha inten ‘lo 6 se opor 85 objoteslovatadas pr Berkeley e, em nt3e30 mo (emma cro seguine ‘Supontamos gue Wa) = Ay + Aw + Ag? + AG + oo onde 0s ceficintes Ao, Ay, Ar Ay, S80 nimerosfixos uo valor ‘0 ove determinar, Endo Oe ay e+ BO = Ay + 2A + AE on «6 farendose x = n Analogamente 200 2 naa ed Da ta dag a yee BAe cane fA a, Ow 2A esctrogie PE AE Dede DD ot OED EDD Age on 4a gu decom ey Asin yay = yo) + 2 Oy at PAO. MO) a ae a cvidemte que nessa argument foram ignoradas as epuintes ques Aes: Que fangs tem uma represetagto em série? Para que valores de x a sfie representa uma funelo? A deriva termo # term da ‘tie fornece a denvada de functo dada? [Nema Taylor nem a Maciurin cabe o eriito de desoberta 4a sie qual seus nomes esto ligados, poss ela ja aparecera mum ‘wabalbo antriormentepubliado por Johann Bernoull, do qual beam postive que amber tvesem contecinento. Pore Taylor © Macias Fin fieeram contigs sinifcatvas 4 matematicae provavelmes: te merecem a imortalidade que Ths fi vonferda pela associaedo de seus romes a see. Leturas suptementares OVEN 422,452. 460 i es a teat dew ae ia * CAPSULA 18 De n! a fungao gama TERRILL SHARKS CConsideremos Fungo fatrial dada por Me aie Doe. 0), ‘Somente quando x é um intsito positivo essa funeto est definida © ‘a formula faz sentido. Sera que ha uma outa fanea0 F,eefinia no ‘onjunto dos mimeras zens pastes, tl que Fis) x, sempre que 1 € um into postiv? E fil ver que, se hi uma fungdo real com ‘Gs propricdade endo hi infinias, Pois a finglo dade por Ft) (044 Sen 2 wx) tamblm igual a-xsempre que x ¢ um itero po siiv, ¢ iso verdadero qualguer que seja a eonstante 4. Taber 4 fl consirir uma func assim atraves do simples expediente de ‘exigr que Fle) = x! quando x € um intero postive, ¢ impondo ‘que a fungo sea afi ene dos inteirs consecutives,n e+ 1 (Fala m enemy nsenexenth CContudo, de um certo modo, a solu dada em (I) ¢ “fraudulent” ‘A fungao procurada devera ser dada por uma formula dnica¢ bem ‘omportada, a0 conririo de (1), que € oblida pela colagem de infin: {os pedags de fungBes ‘0 primeizo mateméteo a consiterar para valores no inteios ‘aver tena sido John Walls (1616-1703. Seu trabalho sobre Ly. ve | € suas females relaconads com funeo gama fram de porta ‘fundamental para casenvovimento posteie da tet "ve poblra ~estnder o ome a une fatal — atraly ties memos no cn o slo XVIM Quem 9 eave fo {ontrd Euler, or via de 1730, mum ardgo ajo sul, tad G5 do latin, € "Sobre progresds unsere eo er eral De pee exes ignricamente™, rao gio de Euler of 7s to de ele ter encontrado a férmula “erta” — ao sentido de que sua funglo, dene as inftas possbiliades, tem todos us tips de aplica ‘088 Inesperada. Sua primeira soluggo do problema fo a repesenta "0, hoje bem conhecia, come produto infinite in +1 a atin i _ = RTE TH.a ea © segundo membro de @) converge se € um mimero real qualquer maior que ze, e 80 resolve o problea ‘Volando Sua atenedo para integreis Euler echou, aps um arg mento bio, aie Sf (toon ay, a se x um iter poshvo. A demonstracdo de Q) por induedo¢ sme ks e € deitada a0 itor. Notese que a integral impeopeia em (3) Eonverge se x'>—Iye dessa manera a integral define uma extensio ds funglo fatal. Uma modanga de varivel pe () numa forma mais conbecda, Sea —log u = 1. Enlgo a integral torna-se Sie Hoje em dia define sea funedo gama, T por a v= fivene notardo que se deve a Adtien Marie Legendre. Sex umn intro pos tivoendioT x + 1) = 41 integral que define Também converge pa 12.05 ndmeroscomplexos x tai que Ret) > 0, ffl provar,atravss de integrapto por partes, que Pe + I) = xP) e camo Ti) = 1, ademais Pix + 1) = x, Se € um inti postive, Leturas suplementares Davis 7 CAPSULA 19 Derivadas parciais JOHN HOLMSTED [Nos ttimos ans do steulo XVIt j estava se tornandoeviden: fe, conto se revelava nos ects de Isiaé Newion ¢ Gotti Wie ‘on Leibniz, que tanto na parte teria como nas upicagtes da mate smatiza devas dar ateneao especial ao concito de derivada pate) ‘isto que a difereneiagio de uma fungao de diversas variveis fase ‘om flagdo a uma vardvel de coda vex. Na maior parte ds pesqu: Sas iniiis em que aparesem cervadas paris, do so Usava qual ‘quer notagdo especial. Assim, osimbolo 44. era interpretado de acor. a {60 com 0 comtexto, ora indcando a derivadaordindria ou totat dew fom elo a, or indieanco a dervaca parcial de w emt relaio a, ‘antidas as demas vardves independentes fas —o que hoje Se cesta indica por-24. 4 necesidade de ma notes speci para ervadas prcais grou, porém, um coafito de sinbols, que persis tin durante a maior parte dos stculos XVIII e XIX_ Das dias de proposals, algunas desapareceram rapidamente, Foram conse ‘acs 0s simbolos dD, 3, 9€ 8, muitas veaes em combinagao com ‘utr sinassobrescitos ou subsitos, ou mbes. Por aigum tempo, perto do final do séeulo XVI, parece posivel que aquels que (a ‘alhavam com diferengas fintas pudesem se apropriar com exchsivi- dade das simbols de’, € 03 curvo fl inroduzido para derivadas ‘ndings. Em 1770 08 curva fl usado pelo marques de Condoret pr diferencias parcas,e em 1776 foi wsado por Euler na forma 2 - Viqueagoraseescreve 2° simibolo na combinagio moder > 2p v-2¥- fh ua peta pina verem 785, pr Adin Mase Le, 6.8 ketra 6 foi itruzida corm um pape iténtco em 1824 por Wit liam Rowan Haniion. Porém, © uso generalzado do "d curvo” {fot adotado perce do final do stculo XIX, ereditandose incorretamen ” te sua invengio a Cal Guay Jacob Jacobi, que em 1881 era uma ‘ote de suas vasiagens (20) ‘Uma parte substancal das aplicapdes da maremita, especial rents 4 fis € &astconomia, baseiase em dervadas parca e, em particular, em slugdes de equagdes diferencias parcais. Um de pes {eos ploneboe axa deaf Daniel Berni [70D172), Em 1747, Jean Le Rond Alembert reslvew o problema fundamental as crdat vibrates formulandoo.em termos da equagdo diferencia au 2 gy Ou oe oe expresso a solgdo sob a forma Se + al) + He a, ‘Outros cujs prmeirs tabalhos com equagies diferencias pat isis tveram efeitos de longo akaace na historia da matematica€ de ‘ua apicasoes foram Euler: Joseph Lous Lagrange (1736-1813); Pier re Simon Laplace (1749-1827), que introduzn e estou a equaro au, au 4 am ax aye ae! ¢ Jean Joseph Fourie (1768-1830), que uizow suas famous sis ‘io esd da equacHo do calor au op Bu a ae [As equates diferencias paciaiscontinuam sendo objeto de intensa psquisnos dss de hoe Letras suplementares ARE yA STRUK (9: 35168 ae 7" CAPSULA 20 Integrais miltiplas e jacobianos PHILP E. BEDIENT ‘A extenso da defini de integral defini de funges de uma ‘ica vardvel reals duas ou mais varivelsccupa um liga importan {eta matora dos textos de calulo. Gevalmente iniciese o tema con: sierandose Tangles definidas numa regito R do plano de frontcira ‘lo muito complica, sendo que as defnigdes sto formuladas por ‘meio de coordenadasretangulars. Uma ver feito io, itroduzem se rmétodos para tansformar eoordenadas re‘angulaes em Outos site ‘mas de coordenadas, mediante equagoes da forma x = flu, ¥) © = gl, Y. Pode snkerpretat que esas equacdestransformain a c880 "Ro plano xy numa regito Q Uo plano uw. Entdo, sb resrgdes ade- ‘quadas quanto &s fungdes/ g,podemos usar a formule Sf, a ite = Sept EB sen 28 tama" tatansomaloc rset so ee sen ane |i % au ~| ap oe 1 interesante observa a forma como ese totema aparece no tratado de eliulo de SF. Lacrob. Esse esto em tts volumes fo! onsiderado um trabalhomodelo de referénea no inkso do seco XIX ICAJORI (@): I, 2367 Lacroix apresenta 0 teocerna sobre tras: ormacdo de coordenadas Sem a vantagem da. notagdo modema dos ‘eterminants claro, sem ausioa Jacob (Carl Gistav Jacob Jaco. bi, maseido em 1804, apenas 10 anos ants de Lacroix), Se fizermos entdo podemos esrever,conforme Lacroix, de dy = PO" ~ PQ dud. sa nolagdo para dervadas paris tinha sido usada pea primeira vezem 1728 por Euler. Lacroxatribuis o mérto da formulae Euler, em studo de 1769, Lacrox tambem apresentou o teorema para ts ‘arives e cediiou a Joseph Louis Lagrange, em trabalho escrito ‘oan de 1773. 'Na épcca em que o tata de Lacroix flies, grandes ma {emacs ceupavamse com empenbo do estudo dos determinants, Em 1812, Augustin Louis Cauehy denonsiou a mairia dos tere ‘as hscos, mas foi prejudiced pela austnci de uma notagto ade ‘quads, Em 184] teria dos determinants fot unifieada por Jacobi, fm argos magirals que incllam muita cosa nova, como su taba tho com “deerminasies funcional" TNa notagto que Jacobi usow neses artigos, o determinante ho- Jeconbecido como acobiano eiasdocseito af. oe Zt ou ow ‘uma notaeio menos sugestiva do gue a usada hoje. Em 1854 W. F, Donkin introduzi a notapo para_o mesmo determinente. A notagdo moderna de deterninante ‘pareceu em 1855 pum artigo de. Arthur Cayley. O primero a sar ‘nome “jaobiano” fo James Joseph Sylvester, gue o inclu em seu “Chessy of Mathematical Terns ex PhilsophicalTransacons, 1853. Felix Klein, em seu belo zlato eserito sobre esse periodo / 1, 164, enfatiza a grande iflodocia dos textos de George Salmon. Ess ‘oem inglés, ram adusides para muita ours lingtas inham gra 4 influtcia na adogdo de Vocabuliro¢ simbolos no mundo mater tico. Na primera edo de Modem Higher Algebra, a palvra “jac biano” no é usada com relagfo a “determinants funciona”. Mas, ‘a segunda odio (1866) 2 palavra ¢wsada, endo creditada a Syves ter O pretico de segunda edigto registra, em parte: Cam respi 0 uso de nova pals, ten tent me guar palo mnie to, Nes parte da agra & prec far equntonen {Ee combiaaces de Kes que pinta ws unpertante na gata ‘a es oe lore nc © ce” de aa ale ‘ara tm de evi ua quntsade muporavel de excunloeuts. ‘Ma, setindo que odo terme estan tras a coca mas repubia oumcante, tno preferdogrlmente ows de uma eras no. Socio de ina paar nove qe pwovaveimeste no feria oxo Je Satnon comopou entdo a usar “jacobiano” ¢ 0 simbolismo com ‘que estamos famibaraados hoje. Letarassuplementaces ELL ae 82 ‘exs0R a 87101 2042 CAPSULA 21 Clculo no Japéo ‘JACK BEDIENT Sequndo uma tradego um tanto vaga, 0 fundador do eileal a ‘pons, chamado yen ot provavelmente Seki Kowa (1642-1708, qe ‘nase no mesmo ano de Newion, O yenri (tora do clea) er am ‘mitodo para determinar 0 comprimeto de umn arco circular através de sts infra, usaaas para achar 0 mite da‘soma das 2° cardas iguais isentas subtendidas pelos arcs biseconados sucessivamente riGuRATa a ara ister © metodo vamos nos eporar 4 Figura f2Y}1 que mostra um exemplo extrado ce tm trabalho publcado tc. 1722) por “Takebe, dscpulo de Sei, Takebe comegainscrevendo cordasigals ‘um arc de cireulo, sendo 0 ndmero de cordas um potenla e 2. (aran=2 hae ‘conde inseitas} Endo, por melo de luna relao recursiva Jando o comprimento de una Corda do con junto de 2 cords em funeio do comprimento de uma eorda do con junto precedente de 2" cords) acha o finite do. quadrado da $0 ma dat semicordase cepa & Torta apes gt rete(a) tatstetre (a) +} 0 (4 onde dé o diimetro es & a sagita (altura) do aren dado AB, Na pu Dcacto original sre aparece est, obviamente, em notaglo tas lana, Tudo fo ¢ feo de ima manera Wo obscura, usanco casos riumicos pare dterminar coficentes em multas das rlagdes, que leur expecialitas entendem que nao fol Takebe que criou 8 sire Sema, Antes, considerase gle le (lvez a tens obido 2 part da Tsitura de um trabalho publiado (¢ 1713) pelo eseitor chinés Mei, ‘ie inca nel lgumas series ralgas ds China (1700 pelo misio ‘rio esuita lene Jartoun Sabese que Jartoux mantinha correspon ‘encia com Leibniz, “Takebe também estava iteressado em aproximsr 0 valor de x po cileulo dos perinetres dos polgomos regulars de 2° lados ins {os num ecu de didmetro unitirio.O exemplo seguinte stra ura ‘hrion aspects de su tahalho. Acharasnse, como perimeies 2 ‘dor poigones de 2, 2,2" lads, ex seguntes valores a= SM159 25987 76985 6708 b= 3.14159 26523 86591 3571 ¢ = 314159 26532 88992 7759 Entdo, para obler uma aproximacdo ainda melhor dex, Takebe use va soguint formula (gue ele nem provava nem explca¥a ba -0) o pabt a sigando que fornecia uma aproximagio de x melhor que os vale ‘es anteriores a, Be e, Nese cao particular, para os valores acima ‘rea formula (2 feivameate dura aroximao ma rei ous, = 3.14159 26536, ‘akebe declaou ter estimado x corretamente com quarenta © uma ‘sas desis po apieagiesreelnan de ‘Lettres suptementares uma @ me DE SMITH aL 12 CAPSULA 22 Infinitésimos na india TACK BEDIENT Noincio da ea eit invest do ato para aur acc ver nimeros no sistema decimal representou um desao especial px 08 matcmaticos hindus. Sua pesquisas no terreno das formas inde ‘exminadss faiam uso de métodos analticns que, embors pisos, oderiam tr contribuido para o progreso da raiemétcs a Europe ‘Sesgtsem cna de cminsatzo : matematico hindu Brahmagupta, que estvaem franca aida ‘de no sculo VI, sabia das armacias na tentativs de “aio Por ‘ero. Ee afirnava que "postivo ou negativo dvidido por ea [oe 0] € uma fagdo com esta como denominado:". Essa expresso era ‘hamada kz cheda (a quamtdade com zero como denominador. Con Siderando sea signifeado ou inportancia Bhaskara 1150) asinaiou IMIDONICK #135: 2 essa quad eonstindo cago que sem cia [zr] oro seu dvuor nua Maeapao,embera a psa seit ou era ma {mo enbua dane acre como Des ito kane, 20 Fevodo de detuggo ou erigao de mands, enbora numers ‘ins oe ees sj inscrprads oy produas (Uma transcriet aproximada desta cto sera Gm othe, “Embora Bhashara flase de quantidades com divisor 2ero, parece que, de alguma maneirerudimentar, ele persava em frabes com denor rdoreinfntesimas Hoje is cia podcast expres sob fora £44) = @onsee> 0 Devese afar que par «> 0. sinboismo lig 2 =o ‘dtd pra sina que, tomando sum eu sufeniemen te prone de 0, ale pee toma infitarente pane. Assn, co {ome e” Otte valores posto, of mit, altaya $a qualquer cos tupron Kisoa (e150, um comentador de Bhasara, rexstou que 20 = 00. Foden ota px eer 0 na fora fin £ = tim 4, ondee > 0, tnervad a defnigio aims Io & amo ae como be podem ett ‘urafbtraanente grandes opandose Sutentementeruno de ‘Drahmagupa oberon gue 00 = 0, uma afmayao increta se interpreta eo 0 signa Se ae ee limite obviamente& 1. (E muito inprovivel que Brabmagsnta cubes sina ve também ¢ uma “forma indeterminada do tipo 00", sendo que ‘este caso o limit € 0) haskara efit ainda que (2 - YO = ria aeiivel, se novamente consierdssemes, ousia, im resultado que se interpretsg0 acing; lim Baskhara também deu alguns exemplos de avaliates comets e incor relas da inebgnita er equacdes envolvendo mies; como solugdo da equaedo x04 AO 0 7 -a ce deu x = 42, 0 que € corto interpretando s (1) com o sentido de ti como solugdo suposta de a [le +-9) of +(Ftx-9)] 0-90 eu para x 0 valor incorreto 9. O exempo (I) fil de verifier Mas € mas interessante descobri como'o ero cearreu no exerpio (2). Como ¢ usual, substituimes 0 pore, reescevemos (2) sb a for sma eauivalente o im [= e+ Oe — Wah + bt 1x + 72) 4q 90, onde « > 0. Neste ponto Bhaskara, que eserevia © primero termo de (2) coma (2° 0/0", subsitula 0 0" do cenominader por 0, oben (x? OVD. Isto equiva substiuiro primeiro temo de (8) por 3? ~ le. O erro ‘sts, obviamente, em asumir que a8 Eno Btaskareconcluiaincoretamente que 0 limite do rieio tr mo era 3 Assim, de maneiraerrada,chepou & equacso quasratica o X84 Get — 17s) + 0 = 9, ve, de fat, em a riz 9. (A outra riz € ~ (103) mas os hindus se onientavam mits veos em achar uma raz apenas, mest quan fo amas eram positvas. AO excrever expresses como () Uses No taplo moderna, Letras suplementares DATTA e SINGH: Yor inter MaDoNIc: 1s BOYER (or 2146 CAPSULA 23 A integral definida AR. LOVAGUIA Histoicamente, a integral defnida desenolvew apart da tee tacva e define calcular a rea da regio pana delimitada pelo ar fico da fungdo y = fia, ocho xe astelasr = aex= a

Anda mungkin juga menyukai