55

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 inten-
tado 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 exam-
ples, so several examples are suggested as a challenge to the reader, I think there are not too boring or academic examples.
l mtodo de induccin matemtica es, sin lugar a dudas,
una de las herramientas ms poderosas de las que dispone-
mos 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 nues-
tros alumnos una buena comprensin y una correcta utiliza-
cin de este mtodo. En la enseanza secundaria puede intro-
ducirse 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.
Natalia Cass Ferreo
IES Ingenio
Ingenio. Las Palmas
Deduccin por induccin
E
55
Junio 2007, pp. 55-60
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
Henri Poincar. 1854-1912
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 pre-
tende que los ejemplos tengan una componente ldica, plan-
teando varios como un reto o desaf o al lector, huyendo en
todo caso de ejemplos aburridos o excesivamente acadmi-
cos. 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).
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 afir-
macin cierta para todos los casos. Por tanto, como remarca-
ba 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 extre-
madamente til.
En matemticas tambin existe un principio de induccin,
pero ste es absolutamente fiable y preciso porque su funda-
mentacin es lgica. Veamos en que consiste:
Principio de induccin matemtica: Sea S
n
una afirmacin
relativa al nmero natural n. Supongamos que:
1. S
1
es cierta;
2. Si S
n
es cierta, tambin lo es S
n+1
Entonces la afirmacin S
n
es cierta para todos los nmeros
naturales.
Es fcil convencerse de la veracidad de este principio. En efec-
to, por 1. la afirmacin S
1
es cierta. Entonces por 2. la afirma-
cin S
2
tambin debe ser verdadera, en cuyo caso aplicando de
nuevo 2. se sigue que S
3
tambin es verdadera, y as sucesiva-
mente Podemos pensar las afirmaciones S
n
como fichas de
domin: la condicin 2. nos dice que si la ficha S
n
cae, enton-
ces tira la ficha siguiente S
n+1
y la condicin 1. nos dice que la
primera ficha S
1
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:
Probar que para n 1 se satisface la siguiente frmula de recu-
rrencia
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 recu-
rrencia 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 (F
0
=3, F
1
=5).
F
0
= F
1
2
Ahora suponemos que la frmula es cierta para n > 1, es decir,
supongamos la frmula
y la probamos para n + 1
F F F F F
k k
k
n
n n n
k
n
n n
n

'
.

- ( ) -
( )
-
( )

-

I I
-
0
1
2 2
0
2
2 2 1 2 1
2
1
11 2
1
-
-
F
n
F F
k n
k
n
-

-
I
2
0
1
F F
k n
k
n
-

-
I
2
0
1
F n
n
n
- 2 1 0 1 2
2
, , , ,
SUMA 55
Junio 2007
56
Las matemticas poseen no slo
la verdad, sino cierta belleza
suprema. Una belleza fra y
austera, como la de una
escultura.
Bertrand Russell
Adivinanza, adivinanza Para un entero no negativo n se
define
Calcular el valor de g(n) para un entero no negativo arbitrario
n !
Nota: Como en muchas adivinanzas el valor de g(n) se escon-
de en el enunciado del problema.
Solucin. Empezamos calculando el valor de g(n) para el pri-
mer nmero de la lista n = 0,
y continuamos por el segundo nmero de la lista n = 1,
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
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 orde-
nacin 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 S
n
la
proposicin
S
n
= ningn nmero natural n pertenece a X.
Como X no tiene mnimo, S
1
es verdadera (porque si S
1
fuera
falsa entonces 1 sera el mnimo de X) y suponiendo que S
n
es
verdadera tambin lo es S
n+1
(porque si S
n+1
fuera falsa enton-
ces n + 1 sera el mnimo de X). Luego por el principio de
induccin todas las afirmaciones S
n
son verdaderas, lo que
implica que no existe ningn nmero natural en X, en contra-
diccin con el hecho de que X es no vaco.
Como ejercicio para el lector proponemos que pruebe el prin-
cipio de induccin matemtica a partir del principio de buena
ordenacin, demostrando as que en realidad son equivalen-
tes. 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
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 profun-
da del principio de induccin transfinita y de sus asombrosas
consecuencias est por supuesto fuera del alcance de este tra-
bajo. A aquellos lectores que deseen saber ms sobre este fas-
cinante tpico se les recomienda la introduccin a la teora de
conjuntos (CIESIELSKI, 1997).
A pesar de su apariencia inofensiva el principio de la buena
ordenacin de los nmeros naturales es una poderosa herra-
mienta para probar resultados. Por ejemplo, es el fundamen-
to del llamado mtodo de descenso infinito utilizado por el
prncipe de los matemticos aficionados, Pierre de Fermat,
g n x e dx
n x
( )
-

0
=
S y X y x
x <
= <
{
:
=
g n x e dx x e n x e dx
n x
n x n x n x
- ( ) -

- - ( )
- ( )
- - - -

-


1 1
1
1 1
0 0 0
nn x
e dx n g n n n n
-

- ( ) ( ) - ( ) - ( )

0
1 1 1 ! !
g xe dx xe e dx
x x x
1 1
0
0 0
( ) - [ ] -
- -

-


.
g e dx e
x x
0 1
0
0
( ) - [ ]
- -

,
57
SUMA 55
Junio 2007
A pesar de su apariencia
inofensiva el principio de la
buena ordenacin de los
nmeros naturales es una
poderosa herramienta para
probar resultados.
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 descen-
so infinito consiste en demostrar que si P(n
1
) es cierta enton-
ces tambin lo ser P(n
2
) para algn n
2
< n
1
. Repitiendo el
argumento encontraramos una sucesin infinita estricta-
mente decreciente de nmeros naturales, lo que contradice el
principio de buena ordenacin. (En el captulo 2 de (GUZ -
MN, 1995) y en el captulo 1 de (RO MATEOS, 2005) se
encuentra una discusin ms detallada del mtodo del des-
censo 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 autodi-
dacta Ramanujan, cuando el primero visitaba al segundo gra-
vemente 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 conversa-
cin, 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?).
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.
Teorema generalizado de Ramanujan: Todos los nmeros
naturales son interesantes.
Demostracin: Supongamos que existe algn nmero natural
que no es interesante. Entonces existe n
0
el menor de los
nmeros no interesantes, propiedad sta que convierte a n
0
en
un nmero ciertamente muy interesante. De esta forma llega-
mos a una contradiccin.
Paradojas inductivas
El principio de induccin tambin es la base de numerosas
paradojas. El siguiente teorema se debe al eminente matem-
tico 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.
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 suponga-
mos 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 con-
junto 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.
George Plya. 1887-1985
Srinivasa Aaiyangar Ramanujan. 1887-1920
58
SUMA 55
Junio 2007
Como todos conocemos a alguna nia rubia con los ojos azu-
les 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 err-
nea (puede el lector decir por qu?). Otra aplicacin intere-
sante de la induccin es la siguiente paradoja, que explica por-
qu 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:
S
n
= Una persona pobre sigue siendo pobre despus de
recibir n euros
Claramente S
1
es verdadera. Ahora si suponemos que S
n
es
cierta tambin lo ser S
n+1
, pues si alguien es pobre despus de
recibir n euros lo seguir siendo al recibir solo un euro ms.
Por tanto S
n
es verdadera para cualquier ..
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?
Induccin versus Visualizacin
Un hecho importante que seguramente no haya pasado des-
apercibido 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 fr-
mula:
Sin embargo, para entenderla, resulta mucho ms clarificado-
ra cualquiera de las dos imgenes siguientes:
El papel de la visualizacin en matemticas ha sido reivindi-
cado y popularizado en los ltimos aos (vanse los magnfi-
cos libros (GUZMN,1996) y (ALSINA y NELSEN, 2006). Sin
embargo el uso de diagramas, figuras e imgenes para repre-
sentar, 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
Pit go ras o de la desigualdad de Cauchy-Schwartz.
Finalizamos nuestra excursin por el mundo inductivo con
una demostracin visual, debida a Martin Gardner, de la fr-
mula para la suma de los n primeros cuadrados. Dicha frmu-
1 2 3
2 2
2
- - - - - n
n n
2 1 2 3 1 ( ) ( ) - - - - - n n n
1 2 3
1
2
- - - -
-
n
n n ( )
n=
59
SUMA 55
Junio 2007
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.
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).
Teorema:
Demostracin:
Sumando 3 veces 1 + 2
2
+ 3
2
+ ... + n
2
obtenemos un rectn-
gulo de base 2n + 1 y altura 1 + 2 + 3 + ... + n.
Utilizando ahora que
deducimos la frmula deseada.
1 2 3
1
2
- - - -
-
n
n n ( )
1 2 3
2 1 1
6
2 2 2
- - - -
- -
n
n n n ( ) ( )
60
SUMA 55
Junio 2007
AIGNER, M. y ZIEGLER, G. M. (2005): El libro de las demostracio-
nes, 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.
REFERENCIAS BIBLIOGRFICAS