Está en la página 1de 4

Sucesiones e Induccin Matemtica o a

Olimp adas Matemticas a Diciembre de 2011


Sucesiones Llamaremos sucesin a una secuencia de nmeros reales (no todos ellos iguales) de modo tal que el o u n-simo trmino pueda ser calculado o predicho conociendo los n 1 trminos anteriores. Hay muchos e e e tipos de sucesiones, algunas de ellas muy conocidas como por ejemplo la sucesin de Fibonacci, cuyo o n-simo trmino, Fn es la suma de los dos trminos anteriores, es decir que: Fn = Fn1 + Fn2 , adems e e e a se estipula que los dos primeros trminos, F1 = F2 = 1, de modo tal que todos los dems trminos e a e quedan denidos. Nos detendremos en particular en dos tipos de sucesiones: la progresin aritmtica y la progresin o e o geomtrica. e Progresin aritmtica o e Denimos como progresin aritmtica a una secuencia de n trminos a1 , a2 , ..., an de modo tal que: o e e a1 + k = a2 , a2 + k = a3 , y en general an + k = an+1 , donde k = 0 es un nmero real jo que se denomina u dif erencia o razn de la progresin. 1 o o Para ver sto un poco ms claro, la secuencia 1, 6, 11, 16, 21 es una progresin aritmtica de 5 e a o e trminos. El primer trmino es 1 y la razn es 5. e e o De la igualdad an + k = an+1 , se desprende que an = a1 + (n 1)k. Es decir que todo trmino e de la progresin est en funcin del primer trmino y de la razn de la misma. o a o e o En general si se tiene una progresin aritmtica a1 , ..., an , entonces para cualesquiera 0 i, j n se o e cumple que: aj aj1 = ai ai1 Adems, vamos a decir que tres nmeros reales a, b y c estn en progresin aritmtica si y slo si: a u a o e o a+c b= 2 Suma de trminos de una progresin aritmtica e o e Consideramos los primeros t trminos de una progresin aritmtica, es decir, a1 , a2 , ..., at . Si queremos e o e calcular la suma de los primeros t trminos, tenemos muchas formas de hacerlo. La ms directa es notar e a que at + a1 = at1 + a2 = at2 + a3 = ..., etc. Entonces, si denominamos:
t

S=
i=1

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

Est claro que: a 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 etctera, como hay exactamente t trminos entre parntesis (todos e e e con igual suma), se deduce que: 2S = t (a1 + at ) De sto se deduce como corolario que: e S= t (a1 + at ) 2

Adems, tenemos que at = a1 + (t 1)k donde k es la razn de la progresin, o sea que la suma de a o o los primeros t trminos est en funcin de a1 , k y t. e a o Progresin geomtrica o e Denimos como progresin geomtrica a una secuencia de nmeros c1 , c2 , ..., cn tales que c1 r = c2 , o e u 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 razn de la progresin geomtrica.2 o o e A manera de ilustracin, podemos notar que la secuencia 2, 6, 18, 54 es una progresin geomtrio o e ca, de primer trmino 2 y razn 3. e o De la denicin, surge que: cn = c1 rn1 . Esto es muy importante, ya que nos permite caraco terizar a todos los trminos de la progresin en funcin del primero y de la razn de la misma. e o o o Adems, diremos que tres nmeros a, b y c estn en progresin geomtrica si y slo si: a u a o e o b = ac Suma de trminos de una progresin geomtrica e o e Nuevamente, consideramos los primeros t trminos de una progresin geomtrica: c1 , ..., ct . Denamos: e o e
t

S=
i=1

ci = c1 + c2 + ... + ct

Usamos la denicin cn = c1 rn1 . Tenemos que: o 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 trminos semejantes: e (r 1) S = c1 (rt 1)

Finalmente deducimos el resultado: S = c1

rt 1 r1

Nuevamente, tenemos denida la suma de los primeros t trminos en funcin de la razn r de e o o la progresin, el primer trmino de la misma, y de t. Estos hechos son de extrema utilidad a la hora de o e simplicar clculos en problemas que lo requieren. a Induccin matemtica o a El Principio de Induccin matemtica est fundamentado en razonamientos lgicos que pueden o a a o resultar obvios pero que son sumamente utiles a la hora de demostrar propiedades de los nmeros u naturales. Los pasos a seguir para realizar induccin son los siguientes: o 1. Demostramos que una propiedad determinada se cumple para el nmero 1. u 2. Demostramos a continuacin que si se cumple para algn nmero natural n, entonces se cumple o u u para n + 1. Como corolario, obtenemos que la propiedad que hab amos visto que se cumpl para el nmero 1 a u se cumple para todos los nmeros naturales!! u A modo de ejemplo, demostraremos que todas las potencias de 6 terminan en 6. Nuestro argumento ser demostrar que para todo entero positivo k, el nmero 6k termina en 6, usando induccin en a u o k. 1. Demostramos que esta propiedad se cumple para el nmero 1, es decir que 61 termina en 6. Esto u es obvio. 2. Demostramos a continuacin que si se cumple para algn nmero natural n, entonces se cumple o u u para n + 1. Es decir, sea n 1 algn natural tal que 6k termina en 6 (tenemos la garant de que u a n existe, ya que pusimos n 1, y al menos tomando n = 1 ya encontramos un valor apropiado). Entonces, tenemos por hiptesis inductiva que 6n = 10q + 6 para algn q entero positivo, es decir, o u tenemos que 6n 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 tambin termina en 6. Entonces queda demostrada la asercin para todos los e o nmeros naturales. Ya que si se cumple para el 1 hemos visto que se cumple para el siguiente u nmero, o sea 2, y si se cumple para 2 se cumple para el siguiente, es decir 3, y as sucesivamente. u Tambin, a modo de ejemplo, vamos a demostrar mediante induccin que la suma de los primeros t e o t 1 trminos de una progresin geomtrica de razn r y primer trmino c1 es exactamente c1 rr1 3 e o e o e
Esto sirve para ver que podemos demostrar ms fcilmente v induccin algunas cosas que tambin pueden ser a a a o e demostradas sin el uso de la misma
3

1. Demostramos que si t = 1, entonces la propiedad es cierta. En efecto, reemplazando en la frmula o r1 1 que queremos demostrar, se tiene que la suma de los primeros t trminos es c1 r1 = c1 . Est claro e a que esto es cierto, dado que la suma del primer trmino es el propio primer trmino, es decir la e e suma es c1 , por lo que nuestra frmula vale para t = 1. o 2. Ahora, mediante induccin en t veremos que se cumple para todos los naturales. Sea n 1 un o natural para el que nuestra frmula se cumple4 (nuevamente, tenemos garant de que hay algn o a u n, dado que tomando n = 1 ya tenemos un caso vlido). Entonces, se cumple que: a 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 denicin de progresin geomtrica tenemos que cn+1 = c1 rn , luego tenemos o o e 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 frmula se cumple para n+1. Entonces, tambin hemos o e demostrado que se cumple para todos los naturales. Dado que como probamos que si se cumple para algn nmero se cumple para su consecutivo, y adems vimos que se cumple para 1, entonces u u a se cumple para 2, y entonces se cumple para 3, y as sucesivamente.

Esto se denomina ((hiptesis inductiva)) o