55

Junio 2007, pp. 55-60

Deduccin por induccin

El presente trabajo no pretende ser un estudio exhaustivo del mtodo inductivo, sino ms bien una exposicin divulgativa de dicho mtodo en el que se presentan una serie de ejemplos ilustrativos y curiosidades relacionadas con la induccin. He intentado que los ejemplos tengan una cierta componente ldica, planteando varios como un reto o desaf o al lector, huyendo en todo caso de ejemplos aburridos o en exceso acadmicos.

This work is not an exhaustive research of the inductive method, but only an informative exposition about this method. Here some illustrative examples and curiosities are shown. Those are related to induction. My intention has been to create entertaining examples, so several examples are suggested as a challenge to the reader, I think there are not too boring or academic examples.

No se puede negar que existe una analoga llamativa (de la induccin matemtica) con los procesos habituales de induccin. Pero subsiste una diferencia esencial. La induccin, aplicada a las ciencias f sicas, es siempre incierta, porque se basa en la creencia en un orden general del universo, orden que est fuera de nosotros. La induccin matemtica, esto es, la demostracin por recurrencia, se impone al contrario necesariamente, porque no es ms que la afirmacin de una propiedad del espritu mismo. H. Poincar, La ciencia y la hiptesis

l mtodo de induccin matemtica es, sin lugar a dudas, una de las herramientas ms poderosas de las que disponemos los matemticos para demostrar resultados y tambin es, en mi opinin, una de las ms bellas construcciones de la mente humana. Adems creo que es importante para nuestros alumnos una buena comprensin y una correcta utilizacin de este mtodo. En la enseanza secundaria puede introducirse a nivel de Bachillerato, a pesar de que no aparece explcitamente en el temario. Es una herramienta habitual en numerosas carreras de contenido cientfico y tcnico para los alumnos de primer curso universitario.

Henri Poincar. 1854-1912

Natalia Cass Ferreo

IES Ingenio Ingenio. Las Palmas

55

SUMA 55 Junio 2007

El presente trabajo no pretende ser un estudio exhaustivo del mtodo inductivo, sino ms bien una exposicin divulgativa de dicho mtodo en el que se presentan una serie de ejemplos ilustrativos y curiosidades relacionadas con el mismo. Se pretende que los ejemplos tengan una componente ldica, planteando varios como un reto o desaf o al lector, huyendo en todo caso de ejemplos aburridos o excesivamente acadmicos. A aquellos lectores interesados en conocer ms ejemplos y aplicaciones de la induccin matemtica se les recomienda el captulo 7 del magnfico libro (GUZMN, 1995).

Es fcil convencerse de la veracidad de este principio. En efecto, por 1. la afirmacin S1 es cierta. Entonces por 2. la afirmacin S2 tambin debe ser verdadera, en cuyo caso aplicando de nuevo 2. se sigue que S3 tambin es verdadera, y as sucesivamente Podemos pensar las afirmaciones Sn como fichas de domin: la condicin 2. nos dice que si la ficha Sn cae, entonces tira la ficha siguiente Sn+1 y la condicin 1. nos dice que la primera ficha S1 ha cado. Luego, el principio de induccin matemtica simplemente afirma que todas las fichas acaban cayendo una tras otra. Veamos dos ejemplos de demostracin por induccin: Infinitud de los nmeros primos: Se definen los nmeros de Fermat: Fn = 22 + 1 , n = 0 ,1 , 2 ,
n

Las matemticas poseen no slo la verdad, sino cierta belleza suprema. Una belleza fra y austera, como la de una escultura. Bertrand Russell

Probar que para n 1 se satisface la siguiente frmula de recurrencia

F
El principio de induccin matemtica
En las ciencias naturales el principio de induccin es utilizado para obtener resultados generales a partir de unos cuantos casos particulares: por ejemplo, un ornitlogo observa que varios cuervos son negros y llega a la conclusin de que todos los cuervos son negros. Sin embargo desde un punto de vista estrictamente lgico no se puede justificar el enorme salto que supone pasar de una afirmacin cierta para algunos casos particulares a una afirmacin cierta para todos los casos. Por tanto, como remarcaba Poincar, el mtodo inductivo de las ciencias naturales no es exacto y est sometido a incertidumbre. Los cientficos conf an en el mtodo inductivo porque creen en el orden del universo, pero podemos afirmar que esta confianza no est basada en la razn lgica, aunque ha demostrado ser extremadamente til. En matemticas tambin existe un principio de induccin, pero ste es absolutamente fiable y preciso porque su fundamentacin es lgica. Veamos en que consiste: Principio de induccin matemtica: Sea Sn una afirmacin relativa al nmero natural n. Supongamos que: 1. S1 es cierta; 2. Si Sn es cierta, tambin lo es Sn+1 Entonces la afirmacin Sn es cierta para todos los nmeros naturales.
k =0

n 1

= Fn 2

Nota: El lector puede estarse preguntando justificadamente qu tiene que ver el problema anterior con la existencia de infinitos nmeros primos. Pues bien, de la frmula de recurrencia se sigue inmediatamente que dos nmeros de Fermat cualesquiera son primos. Como cada nmero de Fermat tiene al menos un factor primo se deduce entonces la existencia de infinitos nmero primos. Esta prueba se debe a C. Goldbach en una carta a Euler (1730) y aparece recogida en El Libro de las Demostraciones (AIGNER y ZIEGLER, 2005). Demostracin. Comprobamos la frmula para n=1 (F0=3, F1=5). F0 = F1 2 Ahora suponemos que la frmula es cierta para n > 1, es decir, supongamos la frmula

F
k =0

n 1

= Fn 2

y la probamos para n + 1

F
k =0

n n n 1 = Fk Fn = ( Fn 2 ) Fn = 22 1 22 + 1 = k =0

)(

= 22

n +1

1 = Fn +1 2

56

SUMA 55 Junio 2007

Adivinanza, adivinanza Para un entero no negativo n se define g ( n ) = x ne x dx

0

Calcular el valor de g(n) para un entero no negativo arbitrario n! Nota: Como en muchas adivinanzas el valor de g(n) se esconde en el enunciado del problema. Solucin. Empezamos calculando el valor de g(n) para el primer nmero de la lista n = 0,

Como X no tiene mnimo, S1 es verdadera (porque si S1 fuera falsa entonces 1 sera el mnimo de X) y suponiendo que Sn es verdadera tambin lo es Sn+1 (porque si Sn+1 fuera falsa entonces n + 1 sera el mnimo de X). Luego por el principio de induccin todas las afirmaciones Sn son verdaderas, lo que implica que no existe ningn nmero natural en X, en contradiccin con el hecho de que X es no vaco. Como ejercicio para el lector proponemos que pruebe el principio de induccin matemtica a partir del principio de buena ordenacin, demostrando as que en realidad son equivalentes. De hecho esta equivalencia nos permite generalizar el principio de induccin a cualquier conjunto bien ordenado (i.e. un conjunto parcialmente ordenado en el que cualquier subconjunto no vaco tiene mnimo), obtenindose el llamado mtodo de induccin transfinita. Principio de induccin transfinita: Sea X un conjunto bien ordenado y sea B un subconjunto de X. Supongamos que B tiene las siguientes propiedades: i. El mnimo de X pertenece a B. ii. (Hiptesis de induccin transfinita) Si el segmento que precede a x X S< x = y X : y < x

g ( 0 ) = e x dx = [ e x ]0 = 1 ,
0

y continuamos por el segundo nmero de la lista n = 1,

g (1) = xe dx = [ xe
x 0

x 0

+ e dx = 1.
x 0

Si observamos que g(0) = 1 = 0! y g(1) = 1 = 1! parece que hemos encontrado una pauta. Ser g(n) = n! para cualquier entero no negativo n? Vamos a demostrarlo por induccin: suponemos que g(n) = n! y comprobamos que en efecto g(n+1) = (n+1)! realizando una integracin por partes
n +1 x n x g ( n + 1) = x n +1e x dx = x e 0 + ( n + 1) x e dx = 0 0

est contenido en B, entonces x B. Entonces necesariamente B = X. Cuando X = N el principio de induccin transfinita se reduce al familiar principio de induccin. Una discusin ms profunda del principio de induccin transfinita y de sus asombrosas consecuencias est por supuesto fuera del alcance de este trabajo. A aquellos lectores que deseen saber ms sobre este fascinante tpico se les recomienda la introduccin a la teora de conjuntos (CIESIELSKI, 1997).

= ( n + 1) x ne x dx = ( n + 1) g ( n ) = ( n + 1) n ! = ( n + 1) !
0

La induccin y el principio de buena ordenacin

Existe una formulacin equivalente al principio de induccin matemtica que se conoce como principio de la buena ordenacin para los nmeros naturales. Principio de la buena ordenacin de los nmeros naturales: Cualquier subconjunto no vaco del conjunto de los nmeros naturales N tiene mnimo. Demostracin. Supongamos que X N es un subconjunto de nmeros naturales no vaco que no tiene mnimo, y sea Sn la proposicin Sn = ningn nmero natural n pertenece a X.

A pesar de su apariencia inofensiva el principio de la buena ordenacin de los nmeros naturales es una poderosa herramienta para probar resultados.

A pesar de su apariencia inofensiva el principio de la buena ordenacin de los nmeros naturales es una poderosa herramienta para probar resultados. Por ejemplo, es el fundamento del llamado mtodo de descenso infinito utilizado por el prncipe de los matemticos aficionados, Pierre de Fermat,

57

SUMA 55 Junio 2007

para hacer numerosas demostraciones en teora de nmeros: supongamos que queremos demostrar que ningn nmero natural n satisface una propiedad P(n). El mtodo del descenso infinito consiste en demostrar que si P(n1) es cierta entonces tambin lo ser P(n2) para algn n2 < n1. Repitiendo el argumento encontraramos una sucesin infinita estrictamente decreciente de nmeros naturales, lo que contradice el principio de buena ordenacin. (En el captulo 2 de (GUZMN, 1995) y en el captulo 1 de (RO MATEOS, 2005) se encuentra una discusin ms detallada del mtodo del descenso de Fermat incluyendo varias aplicaciones del mismo). En el prlogo del libro Apologa de un matemtico (HARDY, 1999), el escritor ingls C.P. Snow narra la siguiente ancdota sucedida entre el propio Hardy y el genio matemtico autodidacta Ramanujan, cuando el primero visitaba al segundo gravemente enfermo en el hospital:
Hardy haba ido a Putney en taxi, que era su mtodo de transporte favorito, entr en la habitacin en la que estaba Ramanujan, y siempre torpe para comenzar una conversacin, dijo, probablemente, sin saludar antes y, ciertamente sin ms prembulos: creo que el nmero de mi taxi era el 1729. Me parece un nmero bastante aburrido. A lo que Ramanujan respondi: No, Hardy!, No, Hardy! Es un nmero muy interesante, ya que es el ms pequeo que se puede expresar como la suma de dos cubos de dos formas diferentes. (Puede encontrar el lector sin desesperarse cules son las dos formas distintas de expresar 1729 como suma de dos cubos?).

Teorema generalizado de Ramanujan: Todos los nmeros naturales son interesantes. Demostracin: Supongamos que existe algn nmero natural que no es interesante. Entonces existe n0 el menor de los nmeros no interesantes, propiedad sta que convierte a n0 en un nmero ciertamente muy interesante. De esta forma llegamos a una contradiccin.

Paradojas inductivas
El principio de induccin tambin es la base de numerosas paradojas. El siguiente teorema se debe al eminente matemtico G. Polya. Teorema de Polya: Si en un conjunto de nias rubias al menos una de ellas tiene los ojos azules entonces todas las nias del conjunto tienen los ojos azules.

Para aquellos que no poseemos el genio de Ramanujan el principio de la buena ordenacin nos permite refutar de manera sencilla la afirmacin de Hardy acerca de que el nmero 1729 carece de inters.

George Plya. 1887-1985

Srinivasa Aaiyangar Ramanujan. 1887-1920

Demostracin. La prueba se realiza por induccin sobre el nmero de nias rubias del conjunto. Claramente el resultado es cierto para n = 1 (porque solamente hay una nia rubia que necesariamente ha de tener los ojos azules). Ahora supongamos que el resultado es cierto para cualquier conjunto de n nias. Si tenemos un conjunto de n + 1 nias de tal forma que al menos una tiene los ojos azules basta formar conjuntos de nias juntando la nia de ojos azules con cualquier otro conjunto formado por n 1 de las nias restantes. Aplicando ahora la hiptesis de induccin se sigue que todas las nias de ese conjunto tienen los ojos azules.

58

SUMA 55 Junio 2007

Como todos conocemos a alguna nia rubia con los ojos azules la sorprendente afirmacin siguiente es consecuencia del Teorema de Polya. Corolario: Todas las nias rubias tienen los ojos azules. Evidentemente la demostracin del Teorema de Polya es errnea (puede el lector decir por qu?). Otra aplicacin interesante de la induccin es la siguiente paradoja, que explica porqu la pobreza es tan dif cil de erradicar. Paradoja de la pobreza: Si una persona pobre recibe n euros seguir siendo pobre, independientemente de la cantidad recibida n! (Aqu el signo ! es de admiracin y no de factorial). Demostracin. Consideremos la afirmacin: Sn = Una persona pobre sigue siendo pobre despus de recibir n euros Claramente S1 es verdadera. Ahora si suponemos que Sn es cierta tambin lo ser Sn+1, pues si alguien es pobre despus de recibir n euros lo seguir siendo al recibir solo un euro ms. Por tanto Sn es verdadera para cualquier n .. Comenzbamos este trabajo afirmando que las demostraciones por induccin matemtica eran fiables al cien por cien porque se basaban en la lgica. Cmo podemos entonces solucionar de forma lgica la paradoja anteriormente planteada?

2(1 + 2 + 3 + + n) = n(n + 1)

En muchas ocasiones el mtodo inductivo nos proporciona la demostracin de un resultado, pero no nos ayuda a entender la razn por la que es cierto.

1 + 2 + 3 + + n =

n2 n + 2 2

Induccin versus Visualizacin

Un hecho importante que seguramente no haya pasado desapercibido al lector es que en muchas ocasiones el mtodo inductivo nos proporciona la demostracin de un resultado, pero no nos ayuda a entender la razn por la que es cierto. Por ejemplo, es sencillo demostrar por induccin la conocida frmula: n(n + 1) 2

1 + 2 + 3 + + n =

El papel de la visualizacin en matemticas ha sido reivindicado y popularizado en los ltimos aos (vanse los magnficos libros (GUZMN,1996) y (ALSINA y NELSEN, 2006). Sin embargo el uso de diagramas, figuras e imgenes para representar, explicar o demostrar resultados matemticos se remonta a los antiguos matemticos griegos. De hecho, la palabra teorema significa lo que se contempla y no lo que se demuestra como solemos interpretarla hoy en da. Adems la palabra ver tiene tambin el significado de entender. Es por ello importante, sobretodo en los niveles ms bsicos de la enseanza, que los alumnos perciban la importancia de un buen dibujo que sugiera o explique un teorema. En esta lnea se enmarcan las llamadas demostraciones sin palabras que nos proporcionan de un vistazo una prueba del teorema de Pitgoras o de la desigualdad de Cauchy-Schwartz. Finalizamos nuestra excursin por el mundo inductivo con una demostracin visual, debida a Martin Gardner, de la frmula para la suma de los n primeros cuadrados. Dicha frmu-

Sin embargo, para entenderla, resulta mucho ms clarificadora cualquiera de las dos imgenes siguientes:

59

SUMA 55 Junio 2007

la puede probarse por induccin pero el lector apreciar que resulta ms fcil de entender usando un dibujo adecuado (vanse NELSEN, 2001 y ALSINA y NELSEN, 2006).
2 2 2 Teorema: 1 + 2 + 3 + + n =

(2n + 1)n(n + 1) 6

Demostracin:

Sumando 3 veces 1 + 22 + 32 + ... + n2 obtenemos un rectngulo de base 2n + 1 y altura 1 + 2 + 3 + ... + n. Utilizando ahora que n(n + 1) 2

1 + 2 + 3 + + n =

deducimos la frmula deseada.

REFERENCIAS BIBLIOGRFICAS
AIGNER, M. y ZIEGLER, G. M. (2005): El libro de las demostraciones, Nivola, Madrid. ALSINA, C. y NELSEN, R. B. (2006): Math made visual, MAA, Washington. CIESIELSKI, K. (1997): Set theory for the working mathematician, Cambridge University Press, Londres. DE GUZMN, M. (1995): Aventuras matemticas, Pirmide, Madrid. DE GUZMN, M. (1996): El rincn de la pizarra, Pirmide, Madrid. HARDY, G. H. (1999): Apologa de un matemtico, Nivola, Madrid. NELSEN, R. B. (2001): Demostraciones sin palabras, Proyecto Sur, Granada.

60