Sucesiones e Inducci on Matem atica

Olimp adas Matem aticas Diciembre de 2011

Sucesiones Llamaremos sucesio n a una secuencia de n umeros reales (no todos ellos iguales) de modo tal que el n- esimo t ermino pueda ser calculado o predicho conociendo los n 1 t erminos anteriores. Hay muchos tipos de sucesiones, algunas de ellas muy conocidas como por ejemplo la sucesi on de Fibonacci, cuyo n- esimo t ermino, Fn es la suma de los dos t erminos anteriores, es decir que: Fn = Fn1 + Fn2 , adem as se estipula que los dos primeros t erminos, F1 = F2 = 1, de modo tal que todos los dem as t erminos quedan denidos. Nos detendremos en particular en dos tipos de sucesiones: la progresi on aritm etica y la progresi on geom etrica. Progresi on aritm etica Denimos como progresi on aritm etica a una secuencia de n t erminos a1 , a2 , ..., an de modo tal que: a1 + k = a2 , a2 + k = a3 , y en general an + k = an+1 , donde k = 0 es un n umero real jo que se denomina dif erencia o raz o n de la progresi on. 1 Para ver esto un poco m as claro, la secuencia 1, 6, 11, 16, 21 es una progresi on aritm etica de 5 t erminos. El primer t ermino es 1 y la raz on es 5. De la igualdad an + k = an+1 , se desprende que an = a1 + (n 1)k . Es decir que todo t ermino de la progresi on est a en funci on del primer t ermino y de la raz on de la misma. En general si se tiene una progresi on aritm etica a1 , ..., an , entonces para cualesquiera 0 i, j n se cumple que: aj aj 1 = ai ai1 Adem as, vamos a decir que tres n umeros reales a, b y c est an en progresi on aritm etica si y s olo si: a+c b= 2 Suma de t erminos de una progresi on aritm etica Consideramos los primeros t t erminos de una progresi on aritm etica, es decir, a1 , a2 , ..., at . Si queremos calcular la suma de los primeros t t erminos, tenemos muchas formas de hacerlo. La m as directa es notar que at + a1 = at1 + a2 = at2 + a3 = ..., etc. Entonces, si denominamos:
t

S=
i=1

ai = a1 + a2 + ... + at1 + at

Est a claro que: 2S = (a1 + at ) + (a2 + at1 ) + ... + (at1 + a2 ) + (at + a1 )

1

k puede ser negativo, pero nunca 0.

Notamos que cada ai aparece sumando dos veces, pero los hemos agrupado convenientemente. Por lo que dijimos, a1 + at = a2 + at1 y etc etera, como hay exactamente t t erminos entre par entesis (todos con igual suma), se deduce que: 2S = t (a1 + at ) De esto se deduce como corolario que: S= t (a1 + at ) 2

Adem as, tenemos que at = a1 + (t 1)k donde k es la raz on de la progresi on, o sea que la suma de los primeros t t erminos est a en funci on de a1 , k y t. Progresi on geom etrica Denimos como progresi on geom etrica a una secuencia de n umeros c1 , c2 , ..., cn tales que c1 r = c2 , c2 r = c3 , ... , o en general, que cn r = cn+1 , donde r es un real tal que r = 0 y r = 1, y es denominado raz o n de la progresi on geom etrica.2 A manera de ilustraci on, podemos notar que la secuencia 2, 6, 18, 54 es una progresi on geom etrica, de primer t ermino 2 y raz on 3. De la denici on, surge que: cn = c1 rn1 . Esto es muy importante, ya que nos permite caracterizar a todos los t erminos de la progresi on en funci on del primero y de la raz on de la misma. Adem as, diremos que tres n umeros a, b y c est an en progresi on geom etrica si y s olo si: b = ac Suma de t erminos de una progresi on geom etrica Nuevamente, consideramos los primeros t t erminos de una progresi on geom etrica: c1 , ..., ct . Denamos:
t

S=
i=1

ci = c1 + c2 + ... + ct

Usamos la denici on cn = c1 rn1 . Tenemos que: S = c1 + r c1 + r2 c2 + ... + rt1 c1 O sea que: S = c1 (1 + r + r2 + ... + rt1 )

Si multiplicamos por r los miembros de la igualdad tenemos que: r S = c1 (r + r2 + r3 + ... + rt )

Si restamos S en todos los miembros de la igualdad, entonces: r S S = c1 (r + r2 + r3 + ... + rt ) c1 (1 + r + r2 + ... + rt1 )

2

Nuevamente, r puede ser negativo, siempre que respete las imposiciones que pusimos.

Agrupando t erminos semejantes: (r 1) S = c1 (rt 1)

Finalmente deducimos el resultado: S = c1

rt 1 r1

Nuevamente, tenemos denida la suma de los primeros t t erminos en funci on de la raz on r de la progresi on, el primer t ermino de la misma, y de t. Estos hechos son de extrema utilidad a la hora de simplicar c alculos en problemas que lo requieren. Inducci on matem atica El Principio de Inducci on matem atica est a fundamentado en razonamientos l ogicos que pueden resultar obvios pero que son sumamente u tiles a la hora de demostrar propiedades de los n umeros naturales. Los pasos a seguir para realizar inducci on son los siguientes: 1. Demostramos que una propiedad determinada se cumple para el n umero 1. 2. Demostramos a continuaci on que si se cumple para alg un n umero natural n, entonces se cumple para n + 1. Como corolario, obtenemos que la propiedad que hab amos visto que se cumpl a para el n umero 1 se cumple para todos los n umeros naturales!! A modo de ejemplo, demostraremos que todas las potencias de 6 terminan en 6. Nuestro argumento ser a demostrar que para todo entero positivo k , el n umero 6k termina en 6, usando inducci on en k. 1. Demostramos que esta propiedad se cumple para el n umero 1, es decir que 61 termina en 6. Esto es obvio. 2. Demostramos a continuaci on que si se cumple para alg un n umero natural n, entonces se cumple para n + 1. Es decir, sea n 1 alg un natural tal que 6k termina en 6 (tenemos la garant a de que n existe, ya que pusimos n 1, y al menos tomando n = 1 ya encontramos un valor apropiado). Entonces, tenemos por hip otesis inductiva que 6n = 10q + 6 para alg un q entero positivo, es decir, n tenemos que 6 termina en 6. Ahora, veamos que pasa si multiplicamos por 6 a ambos lados: 6n+1 = 60q + 36 = 60q + 30 + 6 = 10(6q + 3) + 6 = 10r + 6 Es decir que 6n+1 tambi en termina en 6. Entonces queda demostrada la aserci on para todos los n umeros naturales. Ya que si se cumple para el 1 hemos visto que se cumple para el siguiente n umero, o sea 2, y si se cumple para 2 se cumple para el siguiente, es decir 3, y as sucesivamente. Tambi en, a modo de ejemplo, vamos a demostrar mediante inducci on que la suma de los primeros t t 1 3 t erminos de una progresi on geom etrica de raz on r y primer t ermino c1 es exactamente c1 rr 1
Esto sirve para ver que podemos demostrar m as f acilmente v a inducci on algunas cosas que tambi en pueden ser demostradas sin el uso de la misma
3

1. Demostramos que si t = 1, entonces la propiedad es cierta. En efecto, reemplazando en la f ormula r 1 1 que queremos demostrar, se tiene que la suma de los primeros t t erminos es c1 r1 = c1 . Est a claro que esto es cierto, dado que la suma del primer t ermino es el propio primer t ermino, es decir la suma es c1 , por lo que nuestra f ormula vale para t = 1. 2. Ahora, mediante inducci on en t veremos que se cumple para todos los naturales. Sea n 1 un natural para el que nuestra f ormula se cumple4 (nuevamente, tenemos garant a de que hay alg un n, dado que tomando n = 1 ya tenemos un caso v alido). Entonces, se cumple que: rn 1 c1 + ... + cn = c1 r1 Si sumamos cn+1 a ambos lados: c1 + ... + cn + cn+1 = c1 rn 1 + cn+1 r1

Notemos que de la denici on de progresi on geom etrica tenemos que cn+1 = c1 rn , luego tenemos que: rn 1 + c1 r n c1 + ... + cn + cn+1 = c1 r1 Entonces: rn 1 c1 + ... + cn + cn+1 = c1 + rn r1 Pero acomodando el lado derecho, nos queda que: c1 + ... + cn + cn+1 = c1 rn+1 1 r1

Y entonces hemos demostrado que nuestra f ormula se cumple para n +1. Entonces, tambi en hemos demostrado que se cumple para todos los naturales. Dado que como probamos que si se cumple para alg un n umero se cumple para su consecutivo, y adem as vimos que se cumple para 1, entonces se cumple para 2, y entonces se cumple para 3, y as sucesivamente.

Esto se denomina ((hip otesis inductiva))