SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

SOBRE LA INDUCCIN MATEMTICA

1. 2. 3. 4. 5. 6. DEDUCCIN E INDUCCIN. LOS CONJUNTOS INDUCTIVOS. EL MTODO DE INDUCCIN. EJEMPLOS DE APLICACIN DEL MTODO. LA INDUCCIN Y LA GEOMETRA. REFERENCIAS. -----oo0oo-----

1. DEDUCCIN E INDUCCIN Cuando emitimos una afirmacin o proposicin podemos intentar clasificarla en el conjunto de las proposiciones generales, en donde interviene una afirmacin del tipo de para todo elemento de ..., o bien en el conjunto de las proposiciones particulares en donde la afirmacin se refiere al elemento tal de .... De la certeza de una proposicin general se puede pasar a la certeza de las correspondientes proposiciones particulares, y, al revs, de la certeza de una o varias proposiciones particulares se puede pasar a la certeza de la correspondiente proposicin general o generalizacin. El paso de un tipo de proposicin a otra requiere un proceso de razonamiento lgico que en general se denomina deduccin si se trata del paso de una proposicin general a una o ms proposiciones particulares, o induccin, cuando realizamos el paso de una o varias proposiciones particulares a una proposicin general. Si decimos que todos los nmeros enteros pares son divisibles por 2 estamos exponiendo una proposicin general, de la que es particularizacin, por ejemplo, la proposicin el nmero 246 es divisible por 2. El proceso por el cual, conocida la verificacin de la proposicin general, inferimos que se verifica la proposicin particular correspondiente, es lo que entendemos por deduccin o proceso deductivo. Por otra parte, cuando desde la verificacin de una o varias proposiciones particulares inferimos que se verifica una proposicin general que las engloba, entendemos que estamos realizando un proceso de induccin o proceso inductivo. Si, por ejemplo, aceptamos como cierta la proposicin general de que todos los suecos son rubios, la veracidad de la afirmacin correspondiente a la particularizacin: Gustav es sueco y por consiguiente rubio es un proceso de

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA, JUNIO 2003

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

deduccin. Evidentemente, la certeza depende de que sea cierta la proposicin general de la que se ha partido. En cambio, el proceso contrario, en el que partiramos de la veracidad de la afirmacin Gustav es sueco y rubio no nos permitira afirmar la veracidad de la proposicin general Todos los suecos son rubios. Ni tampoco negarla. En general, pues, el proceso de induccin, por el que pasamos de una o varias afirmaciones particulares a una afirmacin generalizadora, no es tan sencillo. Cmo podramos realizarlo de una forma segura?.

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA, JUNIO 2003

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

2. LOS CONJUNTOS INDUCTIVOS: En la Axiomtica de la Teora de Conjuntos, en particular en el Sistema Axiomtico de Neumann-Bernays-Godel-Quine (N-B-G-Q) se establece el Axioma de Infinitud:

( x )( Cx

Inducx

Existe al menos un conjunto de clases inductivas, esto es, de clases tales que contener un elemento implica contener a su elemento siguiente. Tal familia es admitida, pues, como no vaca. Los nmeros naturales pueden ser introducidos con un conjunto N de clase inductiva, como el mnimo conjunto inductivo. Se introduce el concepto de nmero ordinal y se prueba que cualquier nmero natural es un nmero ordinal. Peano (Giuseppe Peano, Cuneo-Piamonte, 1858 Turn, 1932) introdujo los nmeros naturales mediante un sencillo teorema consistente en cinco afirmaciones denominadas Postulado de Peano o Axiomas de Peano para los nmeros naturales, que permiten, pues, estructurar algbricamente el conjunto N. As, puede definirse el conjunto N como un conjunto que verifica las siguientes condiciones axiomticas: 1) Existe al menos un designaremos por 0. nmero natural, que llamaremos cero y

0 N
2) Existe una aplicacin s : N N llamada aplicacin siguiente que aplica todo elemento n de N en otro elemento n* de N, llamado sucesor o siguiente de n.

s : N N / n N , s ( n) = n* N
3) El cero no es sucesor de ningn otro elemento de N.

N , s (n) = n* 0 n
4) Dos elementos de N distintos no tienen igual sucesor, o sea, la aplicacin siguiente es inyectiva.

n, n' N ,

s ( n ) = s ( n ' ) n = n'

5) Todo subconjunto N de N, para el cual se verifique que contenga al cero, y que el sucesor de cualquier elemento de N est en N, coincide con N. (Axioma de la Induccin Completa).

( N ' N )( 0 N ')( a N ' a* N ') N ' = N

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA, JUNIO 2003

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

3. EL METODO DE INDUCCIN: La ltima afirmacin del Teorema Peano, tambin llamada Axioma de la Induccin Completa permite probar resultados con los nmeros naturales generalizando situaciones particulares. Si, en efecto, logramos evidenciar que una propiedad que se verifica para un nmero natural n se verifica tambin para su sucesor, s(n), cualquiera que sea n, entonces podemos afirmar que tal propiedad se verifica desde e incluyendo n hasta el infinito. Si sabemos, adems, que se verifica para el cero, el primero de los nmeros naturales, que no es sucesor de ningn otro, entonces hay que concluir que la propiedad se verifica en todo N. Es decir, para probar que algo, una propiedad, se cumple en todos los nmeros naturales, basta comprobar primero que se cumple para el 0, y, a continuacin, suponer que se cumple para un natural n, y, desde aqu, deducir que se ha de cumplir para el natural siguiente, n+1. Una tcnica muy sencilla consiste en definir un conjunto N, subconjunto de N, formado por los elementos que verifican la propiedad a demostrar. Si logramos demostrar que para cualquier elemento aN se cumple que su sucesor s(a)N, y que el cero, 0N, es decir, se cumple (en el argot del sistema N-B-G-Q) que N es inductivo, entonces habr de concluirse que se verifica la propiedad en todo N, esto es, que N = N El mtodo, en definitiva, consta de dos partes o teoremas parciales: Teorema 1, o base de la demostracin: es la demostracin deductiva de que la proposicin se verifica para algn nmero natural dado a: Proposicin---- f(a) cierta Teorema 2, o paso de induccin, que es la demostracin, de carcter tambin deductivo, de que si la proposicin se supone cierta para un nmero natural n, tambin ha de ser cierta para el nmero sucesor de n, es decir, para el nmero n + 1. Proposicin ---- f(n) cierta f(n+1) cierta De lo cual se infiere que la proposicin es cierta para el nmero natural a y para todos los nmeros naturales siguientes al nmero a, es decir es cierta para el conjunto de los nmeros naturales [a, ). Evidentemente, si a es el primero de los nmeros naturales, la proposicin ser cierta para todo el conjunto N. Ambos pasos parciales son, en ltimo trmino, procesos deductivos, por lo que cabra decir que, realmente, el mtodo de induccin matemtica es, en realidad, un proceso de deduccin. En realidad, el nombre que le damos de induccin matemtica se debe simplemente a que lo asociamos en nuestra consciencia con los razonamientos inductivos basados en las experiencias de verosimilitud de las ciencias naturales y sociales, a pesar de que el paso inductivo de la demostracin es una proposicin general que se demuestra como un riguroso proceso deductivo, sin necesidad de ninguna hiptesis particular. Es por esto por lo que tambin se le denomina induccin perfecta o induccin completa.

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA, JUNIO 2003

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

4. EJEMPLOS DE APLICACIN DEL MTODO: 4.1. Demostracin de que la suma de los n primeros nmeros naturales viene dada por la expresin

Proceso: Teorema 1:

n(n +1) , o sea: 2 n( n +1) 0 +1 + 2 +... + n = 2

0(0 +1) = 0 , se verifica 2 1.(1 +1) 2 = = 1 , se verifica Para n=1: 0 +1 = 2 2

Para n=0: 0 = Teorema 2: Sea cierta la expresin para n = k: 0 +1 + 2 +... + k =

k ( k +1) 2

Y veamos que, entonces, ha de ser cierta para n = k+1:

0 +1 + 2 + ... + k + k +1 =
En efecto:

( k +1)( k + 2) 2

0 +1 + 2 + ... + k + ( k +1) =

k ( k +1) k ( k +1) + 2( k +1) ( k +1)( k + 2) + k +1 = = 2 2 2

4.2.

Demostracin de la identidad siguiente:

cos x. cos( 2 x ). cos( 4 x)... cos( 2 n x ) =

Proceso: Teorema 1: Para n = 0: cos( 20 x) = cos x = Se verifica. Teorema 2:

sen ( 2 n +1 x ) 2 n +1 senx

sen (20 +1 x) sen (2 x) 2 senx . cos x = = = cos x 20 +1 senx 2.senx 2.senx

Sea cierta para n=k: cos x. cos( 2 x ). cos( 4 x)... cos( 2 k x) =

sen ( 2k +1 x ) 2 k +1 senx

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA, JUNIO 2003

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

Y veamos que en este caso ha de ser cierta para n = k+1:

cos x. cos( 2 x). cos( 4 x)... cos( 2 k x) cos( 2 k +1 x ) =

En efecto:

sen ( 2 k +2 x ) 2 k +2 senx

sen (2 k +1 x) cos x. cos( 2 x). cos( 4 x )... cos( 2 x ) cos( 2 x) = k +1 . cos( 2 k +1 x) = 2 senx k +1 k +1 k +1 2.sen ( 2 x). cos( 2 x) sen 2.2 x sen (2 k +2 x) = = = k +2 2 k +2 senx 2 k +2 senx 2 senx
k k +1

4.3.

Indagacin de cules son los nmeros naturales para los que se verifica la desigualdad:

2 n > 2.n +1
Proceso: Teorema 1:
0 Para n=0: 2 > 2.0 +1 =1, no se verifica 1 Para n=1: 2 > 2.1 +1 = 3, no se verifica 2 Para n=2: 2 > 2.2 +1 = 5, no se verifica 3 Para n=3: 2 > 2.3 +1 = 7, se verifica

Teorema 2: Sea cierta para n = K: 2 k > 2.k +1

k+ 1 > 2.( k +1) +1 Y veamos, entonces, que tambin se verifica para n = k+1: 2

En efecto:

2 k +1 = 2 k .2 > ( 2k +1). 2 = 4k + 2 = 2( k +1) +1 + 2k 1 > 2( k +1) +1

Lo cual es cierto para k >2. As, pues, podemos afirmar que la proposicin es cierta en el conjunto [3, ).

4.4.

Demostracin de que la expresin a 2 n 1 es divisible por a +1 .

Proceso:

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA, JUNIO 2003

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

Teorema 1:
2.1 2 Para n = 1: a 1 = a 1 = ( a 1).( a +1) es divisible por a +1 . Se verifica

Teorema 2: Sea cierta la proposicin para n = k: a 2 k 1 es divisible por a +1 Veamos entonces que tambin ser cierta para n=k+1:

a 2 ( k +1) 1 es divisible por a+1.

En efecto:

a 2 ( k +1) 1 = (a 2 k 1)a 2 + a 2 1 = ( a 2 k 1)a 2 + (a +1).( a 1)

El primer sumando es divisible por a+1 por hiptesis, y el segundo lo es porque contiene a (a+1) como factor. Por consiguiente, a 2 n 1 es divisible por a+1, para todo n>0

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA, JUNIO 2003

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

5. LA INDUCCIN Y LA GEOMETRA: 5.1. La aplicabilidad del mtodo: El mtodo de induccin matemtica tiene una particular aplicabilidad en la geometra plana y del espacio. Aunque la aplicacin ms comn del mtodo en geometra es la dedicada a los procesos de resolucin de problemas de clculo, lo mismo, evidentemente, que en la teora de nmeros o en el lgebra, es, sin embargo, muy utilizada la induccin matemtica en la construccin de figuras geomtricas de n elementos a partir de la figura anloga elemental mediante la generalizacin correspondiente. Es tambin muy utilizada la induccin en la determinacin de lugares geomtricos o en la generalizacin del nmero de dimensiones para obtener figuras anlogas en mayor nmero de dimensiones (paso de la circunferencia a la esfera, por ejemplo). 5.2. Un ejemplo de aplicacin de la induccin en problemas geomtricos: Veamos un ejemplo de tratamiento de un problema de geometra mediante un proceso de induccin matemtica: Supongamos que queremos determinar la longitud del lado de cada uno de los polgonos regulares de 2m lados inscritos en una circunferencia de radio R. Aclaremos que estos polgonos son: Para m = 2: polgono de 22 = 4 lados (cuadrado). Para m = 3: polgono de 23 = 8 lados (octgono regular) Para m = 4: polgono de 24 = 16 lados (16-gono regular) Para m = 5: polgono de 25 = 32 lados (32-gono regular) Para m = n: polgono de 2n lados (n-gono regular) ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... La longitud del lado respectivo ser l2, l3, l4, l5, ..., ln, ... Existe una frmula que nos da la longitud del lado ln en funcin del radio R de la circunferencia circunscrita al polgono de n lados:
ln = R 2 2 + 2 +... + 2

[0]

(donde aparece el 2 un total de n-1 veces) As, segn esta expresin, para un cuadrado inscrito ser: l2 = R 2 Para un octgono regular inscrito: l 3 = R 2 2 Para el 16-gono regular inscrito: l 4 = R 2 2 + 2

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA, JUNIO 2003

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

Esta frmula se podra demostrar por induccin matemtica si conociramos alguna manera de calcular el lado ln+1 del (n+1)-gono regular inscrito en funcin del lado ln del n-gono regular inscrito. Esta manera nos la da la siguiente proposicin: Proposicin: Se verifica que el lado del (n+1)-gono regular inscrito y el lado del ngono regular inscrito se relacionan por la expresin

ln +1 = 2 R 2 2 R R 2

ln 4

Veamos una demostracin de la proposicin basada en el teorema de Pitgoras:

Si aplicamos el Teorema de Pitgoras al clculo de x y ap, tenemos:

x = ln +1
2

l n 4

ap = R 2

lm 4

[1]

Asimismo es: x = R ap, por lo que se tiene otra expresin para x2: x 2 = R 2 + ap 2 2 R.ap por lo que, al sustituir [1] en [2] ser: [2]

x = ln + 1
2

l l l l 2 n = R 2 + R 2 n 2.R. R 2 n ln +1 = 2.R 2 2.R. R 2 n 4 4 4 4

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA, JUNIO 2003

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

y, en definitiva:

l n +1

l = 2R 2R R n 4
2 2

Ya podemos, pues, intentar probar por induccin matemtica la frmula dada [0]: Proceso: Teorema 1: Para n = 1: l1+1 = l2 = R. 2 , se verifica (es el lado del cuadrado de diagonal 2R) Para n = 2:

l2 +1 = l3 = 2 R 2 R R
2

(R 2 )
4

= 2R 2 2R

R2 2R2 = 2R 2 = R 2 2 2 2

que tambin verifica la frmula. Teorema 2: Supongmosla cierta para n = k: lk +1 = R 2 2 + 2 +... + 2 est k-1 veces) Veamos que se ha de verificar tambin para n = k+1:
lk +2 = R 2 2 + 2 +... + 2

(en donde el 2

(en donde el 2 est k veces) En efecto:

l k +2 = 2 R 2 2 R R 2

l k +1 4

= 2R 2 2R R 2

R 2 (2 2 + 2 + .. + 2 = 4

=R

2 2+ 2+ + 2 ...

(donde el 2 est ahora k veces)

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA, JUNIO 2003

10

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

6. REFERENCIAS:

Libros: Gelbaum, B.R. and Olmsted, J.M.H., Counterexamples in Analysis, Holden-Day, 1964 2. Gelbaum, B.R. and Olmsted, J.M.H., Theorems and Counterexamples in Mathematics, Springer-Verlag, 1990 3. Gdel, Kurt, Obras completas. Alianza Editorial. 1981. 4. Golovina, L.I. and Yaglom, I.M., Induction in Geometry, Mir Publishers, Mosc, 1979. 5. Kleene, Stephen. Introduccin a la metamatemtica. Editorial TECNOS. 1974. 6. Sominski, I. S., Mtodo de Induccin Matemtica, Editorial Mir, Moscu, 1985
1.

Pginas web en la red: Sobre el origen del principio de induccin matemtica: http://www.panchonet.net/educacion/140induccion.htm Ejercicios de induccin sobre estructuras numricas: http://www.eneayudas.cl/indmat.htm Sobre el principio de induccin matemtica: http://elsanti.netfirms.com/principio.html Problemas sobre teora de nmeros: http://www.geocities.com/jespinos57/ Estudio de la induccin matemtica (ingls): http://www.cut-the-knot.com/induction.shtml Mathematical Induction: http://www.math.csusb.edu/notes/proofs/pfnot/node10.html

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA, JUNIO 2003

11