Demostracin por induccin Por: Hernando Manuel Quintana vila Algunos estudiantes con los que he tenido la oportunidad

de conversar sobre el artculo por qu menos por menos es ms?, me han manifestado su inters de conocer algunos mtodos de demostracin utilizados en las matemticas. Este inters es el motivo que he tenido para consultar y escribir algo al respecto. Deduccin e induccin Las ciencias experimentales siguen un modelo Inductivo (basndose en la observacin de la naturaleza y utilizando un razonamiento de tipo inductivo para formular teoras generales), las matemticas siguen un modelo deductivo. Una teora matemtica parte de un conjunto dotado de relaciones u operaciones, para la cual se suponen ciertas algunas proposiciones. A las proposiciones que se suponen ciertas se les denominan axiomas y a partir de ellas se deducen otras denominadas teoremas. Los teoremas son entonces sentencias relativas a objetos matemticos formados por hiptesis (condiciones que se suponen satisfechas) y tesis (lo que se afirma que se cumple en dichas condiciones) Para lograr una prueba correcta de un teorema es esencial conocer bien las reglas de deduccin (razonamientos vlidos) y el lenguaje matemtico as como tener un poco de intuicin que desarrollaremos generalmente con la prctica. El ejercicio de la demostracin de proposiciones matemticas como el de la solucin de problemas implica tal riqueza de actividades que es imposible unas normas generales que las abarquen. Sin embargo es conveniente el estudio de algunos tipos de demostracin utilizados a menudo en las matemticas. Los mtodos de demostracin utilizados con ms frecuencia en las matemticas son: Demostraciones directas, tambin denominadas marcha adelante Demostraciones indirectas Demostraciones por contraposicin o contra recproco Demostraciones por contraejemplos Demostracin por reduccin al absurdo Demostracin por casos
1

 Demostracin por induccin. Dedicaremos nuestra atencin al ltimo mtodo, demostracin por induccin. Se podra establecer cierto paralelismo entre la demostracin de un teorema y el juego de ajedrez.

MATEMTICA:de AJEDREZ: intermedias Sentencias Posiciones Posicin inicial Jaque mate Hiptesis Tesis las fichas de las fichas

Demostracin por induccin Comencemos recordando el siguiente hecho histrico: estaba Johann Carl Friedrich Gauss1 all por el ao 1787 en la escuela. Tena unos 10 aos de

edad. Un da cuando llego el profesor al aula, encontr a los nios tirndose papeles, tizas, etc. Con esa edad paso lo que tena que pasar. El profesor orden a todos los nios que, como castigo, le sumaran todos los nmeros del 1 al 100. El profesor pudo haber pensado: durante un buen rato me dejarn todos estos mocosos en paz. A los pocos minutos, el pequeo genio de Gauss se levant del pupitre, y entreg la respuesta correcta: 5050. El profesor, asombrado, debi pensar que haba puesto un nmero al azar, y se dispuso l mismo a hacer la interminable suma. Al cabo de un buen rato, comprob que, efectivamente, la suma pedida era 5050. No es que Gauss fuera un calculador extraordinario, capaz de hacer sumas a la velocidad de un ordenador moderno como los que conocemos hoy en da. Gauss llegara a ser uno de los mejores matemticos de la historia, y los matemticos no solo calculan: piensan Lo que hizo Gauss fue lo siguiente: 1Johann Carl Friedrich Gauss matemtico, astrnomo y fsico alemn considerado el prncipe de las matemticas y uno de los matemticos ms grandes e influyentes de toda la historia por sus amplias contribuciones en muchos campos de esta ciencia, naci en Brunswick, Baja Sajonia el 30 de abril de 1777.(va wikipedia)
2

Tena que sumar los siguientes nmeros: 1+2+3+4+5+6+7+8+9++100 Pero nadie le obligaba a sumarlos por orden. Gauss se percat de un hecho singular: si agrupaba los nmeros por parejas, tomando el primero y el ltimo, el segundo y el penltimo, etc., tena lo siguiente: 1+100=101 ; 2+99=101 ;3+98=101 ;4+97=101 ; etc. Es decir, todos los pares de nmeros sumaban 101. Como entre el uno y el 100 poda hacer 50 pares con esa propiedad, 50101=5050 Ms tarde, aplicara este mismo principio para hallar la suma de la serie geomtrica y muchas otras series. Con los dos ejemplos siguientes ilustraremos la demostracin por induccin. Ejemplo 1. El clculo de la suma de los 100 primeros nmeros naturales, realizada en forma ingeniosa por Gauss, se puede extender a cmo encontrar la suma de los n primeros nmeros naturales (nN). De la observacin de casos 1=1=11+12 1+2=3=22+12 1+2+3=6=33+12 1+2+3+4=10=44+12 1+2+3+4+5=15=55+12 = Parece posible conjeturar que para cualquier nZ+ se cumple 1+2+3++n=n(n+1)2 Que escrita utilizando el smbolo de sumatoria sera: 1+2+3++n=k=0nk=n(n+1)2 (1) La mera observacin de un nmero finito de casos no establece la verdad para todos los casos (infinitos). En matemtica se requiere una prueba deductiva. Demostraremos la formula (1) utilizando una demostracin por induccin, la cual se basa en el principio de induccin matemtica, que se expresa as: Si SZ+ tal que
i. 1S ii. Para todo xS se cumple x+1S, esto es, xSx+1S

Entonces S=Z+
3

Para aplicar el principio de induccin y demostrar que la formula (1) es verdadera para todos los nZ+, se va a construir el conjunto
S=kZ+la formula 1es verdadera

Luego se tiene que probar que S satisface las dos condiciones del principio de induccin matemtica. Al satisfacer S ambas condiciones se concluye que S=Z+, con lo cual se estara probando que la formula (1) es cierta para todo nZ+ En la prctica una demostracin por induccin consiste en probar slo dos casos
1. La validez del enunciado para un nmero entero inicial, en nuestro ejemplo para n=1. En efecto, esto es trivialmente verdad ya que 1=1(1+1)2 2. Suponiendo que la afirmacin es verdadera para un n cualquiera, con n1 (caso inicial), debemos demostrar la afirmacin para el caso siguiente: n+1

Para nuestro ejemplo, la afirmacin a demostrar es la siguiente:

k=1nk=n(n+1)2Hipotesis inductivak=1n+1k=n+1(n+2)2Tesis

Supongamos verdadera nuestra hiptesis inductiva y demostremos que la tesis es verdadera. En efecto.
k=1n+1k=k=1nk+n+1 , Propiedad de sumatoria =n(n+1)2+n+1 , Utilizando la hiptesis inductiva =n+1(n+2)2 , realizando la suma y factorizando

Que es lo que queramos demostrar. Demostrando 1. (Punto de partida) y 2. (Paso inductivo) queda establecida la verdad de la afirmacin.

1+2+3+ +n=k=1nk=n(n+1)2 para todo nZ+

Ejemplo 2. Sea aR , a1. De la observacin de los siguientes casos:

1-a2=1-a1+a 4

1-a3=1-a(1+a1+a2) 1-a4=1-a(1+a1+a2+a3) 1-a5=1-a1+a1+a2+a3+a4 =

Parece posible conjeturar que para cualquier nZ, n0, se cumple

1-an+1=1-a(1+a1+a2+ +an)

O en forma equivalente
1+a+a1+a2+a3+ +an=1-an+11-a

Que escrita en trminos de sumatoria sera:

k=1nak=1-an+11-a (2)

Utilizaremos demostracin por induccin para probar la formula (2)

I.

La validez del enunciado para un nmero entero inicial, en nuestro ejemplo para n=0. En efecto.

k=0n=0ak=a0=1=1-a11-a II. Suponemos que la afirmacin (2) es verdadera para un n cualquiera, con n0 (caso inicial), debemos demostrar para el caso siguiente, n+1.

Para nuestro ejemplo, la afirmacin a demonstrar es la siguiente:

k=0nak=1-an+11-aHipotesis inductivak=0n+1ak=1-an+21-atesis

En efecto
k=0n+1ak=k=0nak+an+1 , por propiedades de sumatoria =1-an+11-a+an+1 , utilizando la hiptesis inductiva =1-an+1+an+11-a1-a , realizando la suma =1-an+1+an+1-an+21-a , realizando el producto =1-an+21-a , simplificando

Que es lo que queramos demostrar Demostrando I. (punto de partida) y II. (Paso inductivo) queda establecida la verdad de la afirmacin.
5

k=0nak=1-an+11-a para todo entero n0

Para entretenerse un rato, te invito que utilices demostracin por induccin, para probar que las siguientes formulas son verdaderas para todos los nmeros naturales
1. 2. 3. 4. 12+22+32+ +n2=nn+1(2n+1)6 13+23+33+ +n3=n2(n+1)24 1+3+ +2i-1+ +2n-1=n2 112+123+134+ +1n(n+1)=nn+1

Se puede tambin utilizar demostracin por induccin, para probar las siguientes desigualdades:
5. 6. 7. 8. n-2<n2-412para todo natural n>0 2n<n! para todo natural n>3 n2<2n para todo natural n>4 (Binomio de Newton)Sean a, bR. Para todo nZ, n0. Se cumple (a+b)n=k=0nnkan-kbk

Donde nk=n!k!(n-k)!, demostrar por induccin.