1986 NUMEROS, 13 LAS PROGRESIONES Y SU ESTUDIO ARITMETICO-GEOMETRICO (y 2) Juan B. Romero Méaguez i IB, "Lsakel de Castitea” Avita 4, PROGRESIONES GEOMETRI CAS Derinicidn 2,- Una sucesién g : N*R es una progresién geoné- trica Jager, &e RL0) yg, sat? Wan Asf,uns progresién geonétrica se puede considerar como la - restriccién aN de las aplicaciones exponenciales.de le recta ¢(xJzat*, donde a,@¢R.y @>0, Sin embargo,cono on nuestro caso manejamos la va - riable discreta,aqui también es admisible &eR, Las funciones exponenciales se pueden introducir de forma axig ndtica,sefialando para ello sus propiedades més notables y haciendo cons truir @ los alunos los grafos-planos de las mismas,para los casos: &=2, ae + &:1/2, &=7/3 ,etc.,tanto para el caso disereto como para el con- tinuo. También,dibujar el grafo para el caso discreto &: 1, bed, be -1/2 sete. Debe hacerse observar que cada funcién exponencial de base OG 4,41 R> RY es biyectiva + nds atn,es un homomorfisao entre los gru - pos (Rit) y CRE» -)s Le inverse, gp: RP YR, de Zq,g,188 Llana- funcién logaritmo en base @ # 0,7.Se pueden admitir,por ejemplo,las pro picdades de 4,y denostrer las de g,y recfprocanente. Prorosicion 7.- $i (a,},con aeN,es una progresién aritaética, 49entonces, Vker*-(0,7), (9,2K%"} con neN,es una progresién geométrica. = aamek sgh 40". aah ,donde Ack y Bek? Proposicion 8,- Si (g,228"},n27,08 una p.g. positiva (9,>0 , neN),entonces {a,=€og,9,} » nz? » k>0,e8 una pra. Demostaaciéa: Sé basa on las propiedades de 1a funcidn logarftmica. Gono ¢, = 26" VneN yes a, = boo, 9, = loo, ak” = fog, a bog, A = fog, arn bog, & = A+nB, donde Az bog,a y B= bog, & Por todo lo anterior,el estudio de las progresiones geonétri - cas es similar,graciae a las propiedades de la funeién exponencial y lo garitmica,al de las aritméticas; con propiedades y conceptos andlogos.Ve renos esto con més dotalle. Ejencicios: 1) aSo puede considerar la sucesién nula como una progresién aritmética? 2Y geométrica? 2) gBs la sucesién constantenente igual a 1 una p.a.22Es una 3) gEs le sucesién constantemente k una p.a.? dEs una p.g.? 4) Bxisten eucesiones que sean a la vez progresiones aritng- ticas y progresiones geométricas? Proposicion 9.- Si {g,},n27 es una sucesién,entonces son equi valentes los siguientes enunciadoe: a) tg,)} +np7 es una progresién geométrica. ») Var2 59,79 o) Wnv2 405/997 * Ongt/Gq ney = & (razén o cociente de le progresién ). 50Demosteacién: Se efectia por cdloulo directo. La proponenos como ejercicic. Lo verdaderamente importante aquf es sefialar ol paralelismo - entre estas relaciones y las ostablecidas en 1a proposicién 5. Ejencicios: 1) Probar que : a) Sia? ‘y a7>0., le p.g. 28 creciente. b) Si 7 y @7<0,, 08 decreciente. c) Si 00, es decreciente. a) $i O&, Sobre una recta 2 - los puntos OyA, Se toma un ngulo cualquiera con 0,se leva el segnento - unided,obteniéndose el punto C, También a partir de 0 ,pero sobre 1a »~ recta’ 4, se lleva el segmento &, obteniéndose el punto 3. Unimos C con- By trazanos por A 1a paralela @ BC que corta en Da la recta 4, Los - tridngulos OCB y OAD son semejantes y se tiene Ta = b/e=dx = ab St fig 8De la relacién g, = 4 ¢,_, »Was2 ,podemos construir paso apa 50 el diagrana lineal de 1a progresién geonétrica {g,}q5, ,aplicando ref teradanente 1a construccién anterior como sigue: Se empieza conatruyen - a0 92 = £ 97 + después, gy = & 9, y asf sucosivamente. - Tambiex se puede hacer una construccién sinétrica alternativa que evita la construceién de & ,a partir del paso ne3. Para ello,se cong truyen 97 yg) como antes. Para n33,s0 utiliza la relacién 2 fn“ fant Fart , deducdda de 9, / ony * Onyy / Gq +Va22 Bota velacién prusba que,si conocenos 1a construceién dog, y Gf ersneen ere ee net consiste on interpreta: a ¢,>0 coro 1a media goonétrica de a, 7 ¥ daqz> y construir esta media por el método usual (fig.14). #14 Esto nos dice que para las progresiones geométricas positivas, 1a ragén € 05 1a razén de senejanza de los triéngulos recténgulos de ca tetos respectivos gy + 9) i 92 1 93 t veered Ong + Gq + YR Que sabenos que 92.1 97 = 431 02 # vrer® On / Ogg = sy wtilizando las pro piedades de las proporciones y llamando suma parcial n-sina a nn 97 + 92 t veer + 9, NEN , tenemos B= (agtagte stag) I (agate 40q 9) = CSqraz) I C4, dondo 4, © (hag ~ ay) CR - 1), ber Esto constituye una de las demostraciones geonétricas de la su ma de los términos de una progresién geométrica. 526. SUMA DE LOS TERMINOS DE UNA PROGRESION POR METODOS GEOME - TRICOS Prosresion agiTMETiCA Dada 1a p.a. (a,),,37 »que podemos suponer positiva'y erecten- te ain pérdide de generalidad,sea {5,},,, 14 sucesién o serie de sunas~ parciales asociada a dicha aucesién, De 1a definicién de (5,},9, ,tonenos que S, 28 a sa, 4, eee face eee una de las Gacas de bos rectdngulos de ba figura = ARG) beeen ACR) Llanenos R, y 7, ,respectivamente,a la unién de los recténgu- los y tridngulos de 1a figura,esto es “Ry = Rp URV.. UR oy 7, Ue. U7, Adends, A(T ;) = ALT j) , itd» ivdeTs2+..4m sya que son tridp- gulos senejantes que se obtienen por traslacién. Trapees de beses @.y Aeet y alham ne 2 Ta lTURIU--~ U THUR) Entonces, S, AMR y AIT, ) + suna de fas dneas de tos taddngs, nects. (quo son igue- les por un movimiento) = (age }/2 + Cay-ag}/2 * evvet Fan poe, )/2 = 53E (ayy, -a,N2 © (a, ., -a,)/2 bey (Chet oe net 97 Tenenos dos alternativas + 12) Anca deé trapecio de kases ay y a,,, y abtuaa n = nag tea 2 = EC 1 aI? . suna de las éneas de Cos tnapecios de tases (471 @2) riveeenildy + Gyyzy w abtuna resp, 7 De aqui, efectuando operaciones y teniendo on cuenta que a, = an &, np ,llegamos a nla, + a) cae e 2 2a) ACR,) # ACT,) = akea taap.de bases ays an,7 y agtuaa a = nag + On) 25S, = AR) = nly + Oy y) (2 - (ay, 440, )/22 na, + a,)/2 sya que a, = an &, apt PRocReS ION GEOMETRICA Soa (oq)ap sun progresin geonétrica, que podenos considerar, sin»péraida de generalidad, positiva y creciente. Para todo n,designanos por 7, . 2, 7, las figuras geonétri- cas siguiente: Ta tly ceeee 2 (unién de tridngulos) ®, (unién de rect&ngulés) Tre Ty sees Th (unién de trapecios) tal como se indica en la figura 16. Entonces,calculando ias éreas do 7, . R, + 7, + se tione a a MTD OE MT) © Baggy - agl2 # Cayyy ay)? ar) oe Y,cono 7, = R,U7, »8e tiene para lee dreas 34AUR) + A(T,) © ACT") yy de aque Sgt Chyg7 872 = Cay # ag)/2 + Cay + ag)2 toetlagtg )/2 Falls ads tect alt +a) (225, (14a) 12 de donde Tea Sq TTD Ogg y = Oy) 12 BSAA = 1) = Cag, nay )/2 yesi a#f , resulta finalnente fig tt Olseavacién Henos hecho un estudio comparativo de los conceptos,propieda - des y férmulas reletivos a las p.a. y las p.g. positivas. Las propiedat des, férmulas y problemas se corresponden(debido a la funcién logerftai - ca,para les p.g. positivas), En esta correspondencia casi completa, se lg gra una econonfa considerable de pensamiento en la presentacién de los - algoritmos. Dicha correspondencia -nés atin,este isomorfismo- se estable ce como sigue: suma-producto ; diferencia-cociente ; coefic.-exponente + @ivisor-{ndice de una raiz. Sin embargo,la férmula que da la suma de los.n primoros térni nos no se corresponde. 55Breviocgar la APOSTOL,T. - Calculus, y II - Ed, Reverte REY PASTOR,J. - Andlisis algebraico - Biblioteca Matenética USPENSKY y HEASLET - Elementary Number Theory - McGraw-Hill GOLDBERG,S. - Ecuaciones en diferencias finitas - Marcombo COURANT-ROBBINS ~2Qué es la Matendtica? - Bd. Aguilar. POLYA,G, - Matenéticas y raconaniento plausible - Ed,Tecnos YAGLOM,I.M. y GOLOVINA,L.I. - Induecién en la Geonetria -Ed. Tecnos SOMINSKI - Método de induccién matendtica LIDSKY - Problenas de matemticas elementales - Ed, Mir HALL y KNIGHT - Algebra Superior - Uteha 56 *SLvW 30 "S4O¥g VIavNYD "90S NOLMaN OvvS