SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

SOBRE LA INDUCCIN MATEMTICA

1. 2. 3. 4. 5. . DEDUCCIN E INDUCCIN. LOS CONJUNTOS INDUCTIVOS. EL MTODO DE INDUCCIN. EJEMPLOS DE APLICACIN DEL MTODO. LA INDUCCIN Y LA GEOMETRA. RE!ERENCIAS. """""##$##"""""

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 re uiere un proceso de razonamiento lgico ue en general se denomina deduccin si se trata del paso de una proposicin general a una o m!s proposiciones particulares, o induccin, cuando realizamos el paso de una o varias proposiciones particulares a una proposicin general. "i decimos ue todos los n#meros enteros pares son divisibles por $ estamos e%poniendo una proposicin general, de la ue es particularizacin, por ejemplo, la proposicin el n#mero $&' es divisible por $. El proceso por el cual, conocida la verificacin de la proposicin general, inferimos ue se verifica la proposicin particular correspondiente, es lo ue entendemos por deduccin o proceso deductivo. (or otra parte, cuando desde la verificacin de una o varias proposiciones particulares inferimos ue se verifica una proposicin general ue las engloba, entendemos ue estamos realizando un proceso de induccin o proceso inductivo. "i, por ejemplo, aceptamos como cierta la proposicin general de ue todos los suecos son rubios, la veracidad de la afirmacin correspondiente a la particularizacin) *ustav es sueco y por consiguiente rubio es un proceso de

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA% JUNIO 2$$3

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

deduccin. Evidentemente, la certeza depende de ue sea cierta la proposicin general de la ue se +a partido. En cambio, el proceso contrario, en el ue partir,amos de la veracidad de la afirmacin *ustav es sueco y rubio no nos permitir,a afirmar la veracidad de la proposicin general -odos los suecos son rubios. .i tampoco negarla. En general, pues, el proceso de induccin, por el ue pasamos de una o varias afirmaciones particulares a una afirmacin generalizadora, no es tan sencillo. /Cmo podr,amos realizarlo de una forma segura0.

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA% JUNIO 2$$3

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

2. LOS CONJUNTOS INDUCTIVOS& En la 1%iom!tica de la -eor,a de Conjuntos, en particular en el "istema 1%iom!tico de .eumann23ernays2*odel24uine 5.232*246 se establece el 1%ioma de 7nfinitud)

( x )( Cx Inducx )
E%iste al menos un conjunto de clases inductivas, esto es, de clases tales ue contener un elemento implica contener a su elemento siguiente. -al familia es admitida, pues, como no vac,a. 8os n#meros naturales pueden ser introducidos con un conjunto . de clase inductiva, como el m,nimo conjunto inductivo. "e introduce el concepto de n#mero ordinal y se prueba ue cual uier n#mero natural es un n#mero ordinal. (eano 5*iuseppe (eano, Cuneo2(iamonte, 9:;: < -ur,n, 9=>$6 introdujo los n#meros naturales mediante un sencillo teorema consistente en cinco afirmaciones denominadas (ostulado de (eano o 1%iomas de (eano para los n#meros naturales, ue permiten, pues, estructurar algbricamente el conjunto .. 1s,, puede definirse el conjunto N como un conjunto ue verifica las siguientes condiciones a%iom!ticas) 96 E%iste al menos un designaremos por ?. n#mero natural, ue llamaremos cero y

0 N
$6 E%iste una aplicacin s : N N llamada aplicacin siguiente ue aplica todo elemento n de . en otro elemento n@ de ., llamado sucesor o siguiente de n.

s : N N / n N , s (n) = n* N
>6 El cero no es sucesor de ning#n otro elemento de ..

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

n, n' N ,

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

;6 -odo subconjunto .A de ., para el cual se verifi ue ue contenga al cero, y ue el sucesor de cual uier elemento de .A est! en .A, coincide con .. 51%ioma de la 7nduccin Completa6.

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

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA% JUNIO 2$$3

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

3. EL METODO DE INDUCCIN& 8a #ltima afirmacin del -eorema (eano, tambin llamada Axioma de la Induccin Completa permite probar resultados con los n#meros naturales generalizando situaciones particulares. "i, en efecto, logramos evidenciar ue una propiedad ue se verifica para un n#mero natural n se verifica tambin para su sucesor, s(n), cual uiera ue sea n, entonces podemos afirmar ue tal propiedad se verifica desde e incluyendo n +asta el infinito. "i sabemos, adem!s, ue se verifica para el cero, el primero de los n#meros naturales, ue no es sucesor de ning#n otro, entonces +ay ue concluir ue la propiedad se verifica en todo N. Es decir, para probar ue algo, una propiedad, se cumple en todos los n#meros naturales, basta comprobar primero ue se cumple para el ?, y, a continuacin, suponer ue se cumple para un natural n, y, desde a u,, deducir ue se +a de cumplir para el natural siguiente, nB9. Cna tcnica muy sencilla consiste en definir un conjunto N, subconjunto de N, formado por los elementos ue verifican la propiedad a demostrar. "i logramos demostrar ue para cual uier elemento a.A se cumple ue su sucesor s(a)N, y que el cero, 0 N, es decir, se cumple (en el argot del sistema N- -!-") que N es inducti#o, entonces +abr! de concluirse ue se verifica la propiedad en todo N, esto es, ue N $ N El mtodo, en definitiva, consta de dos partes o teoremas parciales) -eorema 9, o base de la demostracin) es la demostracin deductiva de proposicin se verifica para alg#n n#mero natural dado a) (roposicin2222 f5a6 cierta -eorema $, o paso de induccin, ue es la demostracin, de car!cter tambin deductivo, de ue si la proposicin se supone cierta para un n#mero natural n, tambin +a de ser cierta para el n#mero sucesor de n, es decir, para el n#mero n B 9. (roposicin 2222 f5n6 cierta f5nB96 cierta De lo cual se infiere ue la proposicin es cierta para el n#mero natural a y para todos los n#meros naturales siguientes al n#mero a, es decir es cierta para el conjunto de los n#meros naturales Da, 6. Evidentemente, si a es el primero de los n#meros naturales, la proposicin ser! cierta para todo el conjunto .. 1mbos pasos parciales son, en #ltimo trmino, procesos deductivos, por lo ue cabr,a decir ue, realmente, el mtodo de induccin matem!tica es, en realidad, un proceso de deduccin. En realidad, el nombre ue le damos de induccin matem!tica se debe simplemente a ue lo asociamos en nuestra consciencia con los razonamientos inductivos basados en las e%periencias de verosimilitud de las ciencias naturales y sociales, a pesar de ue el paso inductivo de la demostracin es una proposicin general ue se demuestra como un riguroso proceso deductivo, sin necesidad de ninguna +iptesis particular. Es por esto por lo ue tambin se le denomina induccin perfecta o induccin completa. ue la

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA% JUNIO 2$$3

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

4. EJEMPLOS DE APLICACIN DEL MTODO& 4.1. D'(#)*+,-./0 1' 23' 4, )3(, 1' 4#) 0 5+.('+#) 06('+#) 0,*3+,4') 7.'0' 1,1, 5#+ 4, '85+')./0

(roceso) -eorema 9)

n(n +1) % # )',& 2 n( n + 1) 0 + 1 + 2 + ... + n = 2

0(0 +1) = 0 , se verifica 2 1.(1 +1) 2 = = 1 , se verifica (ara nE9) 0 +1 = 2 2

(ara nE?) 0 = -eorema $) "ea cierta la e%presin para n E F) 0 + 1 + 2 + ... + k =

G veamos ue, entonces, +a de ser cierta para n E FB9)

k (k + 1) 2

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.

D'(#)*+,-./0 1' 4, .1'0*.1,1 ).93.'0*'&

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

n

(roceso) -eorema 9) (ara n E ?) cos(20 x ) = cos x = "e verifica. -eorema $) "ea cierta para nEF) cos x. cos( 2 x ). cos( 4 x )... cos( 2 k x ) =

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

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

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA% JUNIO 2$$3

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

G veamos ue en este caso +a de ser cierta para n E FB9)

cos x. cos( 2 x ). cos(4 x )... cos(2 x ) cos(2

En efecto)

k +1

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

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

sen(2 k +1 x) . cos(2 k +1 x ) = k +1 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

4.3.

I01,9,-./0 1' -3:4') )#0 4#) 06('+#) 0,*3+,4') 5,+, 4#) 23' )' 7'+.;.-, 4, 1').93,41,1&

2 n > 2.n + 1
(roceso) -eorema 9)
0 (ara nE?) 2 > 2.0 +1 =1, no se verifica 1 (ara nE9) 2 > 2.1 +1 = 3, no se verifica 2 (ara nE$) 2 > 2.2 +1 = 5, no se verifica 3 (ara nE>) 2 > 2.3 +1 = 7, se verifica

-eorema $) "ea cierta para n E H) 2k > 2.k + 1

k +1 > 2.(k +1) +1 G veamos, entonces, ue tambin se verifica para n E FB9) 2

En efecto)

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

8o cual es cierto para F I$. 1s,, pues, podemos afirmar el conjunto D>, 6. ue la proposicin es cierta en

4.4.

D'(#)*+,-./0 1' 23' 4, '85+')./0 a 2 n 1 ') 1.7.).<4' 5#+ a +1 .

(roceso)

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA% JUNIO 2$$3

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

-eorema 9)
2.1 2 (ara n E 9) a 1 = a 1 = ( a 1).( a +1) es divisible por a +1 . "e verifica

-eorema $) "ea cierta la proposicin para n E F) a 2 k 1 es divisible por a +1 Jeamos entonces ue tambin ser! cierta para nEFB9)

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

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 aB9 por +iptesis, y el segundo lo es por ue contiene a 5aB96 como factor. (or consiguiente, a 2 n 1 es divisible por aB9, para todo nI?

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA% JUNIO 2$$3

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

5. LA INDUCCIN Y LA GEOMETRA& ;.9. 8a aplicabilidad del mtodo) El mtodo de induccin matem!tica tiene una particular aplicabilidad en la geometr,a plana y del espacio. 1un ue la aplicacin m!s com#n del mtodo en geometr,a es la dedicada a los procesos de resolucin de problemas de c!lculo, lo mismo, evidentemente, ue en la teor,a de n#meros o en el Klgebra, es, sin embargo, muy utilizada la induccin matem!tica en la construccin de figuras geomtricas de n elementos a partir de la figura an!loga elemental mediante la generalizacin correspondiente. Es tambin muy utilizada la induccin en la determinacin de lugares geomtricos o en la generalizacin del n#mero de dimensiones para obtener figuras an!logas en mayor n#mero de dimensiones 5paso de la circunferencia a la esfera, por ejemplo6. ;.$. Cn ejemplo de aplicacin de la induccin en problemas geomtricos) Jeamos un ejemplo de tratamiento de un problema de geometr,a mediante un proceso de induccin matem!tica) "upongamos ue ueremos determinar la longitud del lado de cada uno de los pol,gonos regulares de $m lados inscritos en una circunferencia de radio L. 1claremos ue estos pol,gonos son) (ara m E $) pol,gono de $$ E & lados 5cuadrado6. (ara m E >) pol,gono de $> E : lados 5oct!gono regular6 (ara m E &) pol,gono de $& E 9' lados 59'2!gono regular6 (ara m E ;) pol,gono de $; E >$ lados 5>$2!gono regular6 (ara m E n) pol,gono de $n lados 5n2!gono regular6 ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 8a longitud del lado respectivo ser! l$, l>, l&, l;, ..., ln, ... E%iste una frmula ue nos da la longitud del lado l n en funcin del radio L de la circunferencia circunscrita al pol,gono de n lados)
ln = R 2 2 + 2 +... + 2

D?M

5donde aparece el $ un total de n29 veces6 1s,, seg#n esta e%presin, para un cuadrado inscrito ser!) l2 = R 2 (ara un oct!gono regular inscrito) l 3 = R 2 2 (ara el 9'2!gono regular inscrito) l 4 = R 2 2 + 2

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA% JUNIO 2$$3

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

Esta frmula se podr,a demostrar por induccin matem!tica si conociramos alguna manera de calcular el lado lnB9 del 5nB962!gono regular inscrito en funcin del lado l n del n2!gono regular inscrito. Esta manera nos la da la siguiente proposicin) (roposicin) "e verifica ue el lado del 5nB962!gono regular inscrito y el lado del n2 !gono regular inscrito se relacionan por la e%presin

ln +1 = 2 R 2 2 R R 2

ln 4

Jeamos una demostracin de la proposicin basada en el teorema de (it!goras)

"i aplicamos el -eorema de (it!goras al c!lculo de % y ap, tenemos)

x 2 = ln +1

ln 4

ap = R 2

lm 4

D9M

1simismo es) % E L < ap, por lo ue se tiene otra e%presin para % $)

x 2 = R 2 + ap 2 2 R.ap
por lo ue, al sustituir D9M en D$M ser!)

D$M

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 2$$3

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

y, en definitiva)

l n +1

l = 2R 2R R n 4
2 2

Ga podemos, pues, intentar probar por induccin matem!tica la frmula dada D?M) (roceso) -eorema 9) (ara n E 9) l1+1 = l2 = R. 2 , se verifica 5es el lado del cuadrado de diagonal $L6 (ara n E $)

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

(R 2 )
4

= 2R2 2R

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

ue tambin verifica la frmula. -eorema $) "upong!mosla cierta para n E F) lk +1 = R 2 2 + 2 +... + 2 F29 veces6 Jeamos ue se +a de verificar tambin para n E FB9)
lk +2 = R 2 2 + 2 +... + 2

5en donde el $ est!

5en donde el $ est! F veces6 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

5donde el $ est! a+ora F veces6

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA% JUNIO 2$$3

10

SOBRE LA INDUCCIN MATEMTICA

CARLOS S. CHINEA

. RE!ERENCIAS&

L.<+#)& 9. G'4<,3(% B.R. ,01 O4()*'1% J.M.H., Counterexamples in Analysis, Nolden2Day, 9='& $. G'4<,3(% B.R. ,01 O4()*'1% J.M.H., %&eorems and Counterexamples in 'at&ematics, "pringer2Jerlag, 9==? >. G=1'4% >3+*, ()ras completas. 1lianza Editorial. 9=:9. &. G#4#7.0,% L.I. ,01 Y,94#(% I.M., Induction in !eometry, Oir (ublis+ers, Oosc#, 9=P=. ;. >4''0'% S*'5?'0. Introduccin a la metamatem*tica. Editorial -EC.Q". 9=P&. '. S#(.0)@.% I. S., '+todo de Induccin 'atem*tica, Editorial Oir, Ooscu, 9=:; P:9.0,) A'< '0 4, +'1& S#<+' '4 #+.9'0 1'4 5+.0-.5.# 1' .013--./0 (,*'(:*.-,& +ttp)RRSSS.panc+onet.netReducacionR9&?induccion.+tm EB'+-.-.#) 1' .013--./0 )#<+' ')*+3-*3+,) 03(C+.-,)& +ttp)RRSSS.eneayudas.clRindmat.+tm S#<+' '4 5+.0-.5.# 1' .013--./0 (,*'(:*.-,& +ttp)RRelsanti.netfirms.comRprincipio.+tml P+#<4'(,) )#<+' *'#+D, 1' 06('+#)& +ttp)RRSSS.geocities.comRjespinos;PR E)*31.# 1' 4, .013--./0 (,*'(:*.-, E.094C)F& +ttp)RRSSS.cut2t+e2Fnot.comRinduction.s+tml M,*?'(,*.-,4 I013-*.#0& +ttp)RRSSS.mat+.csusb.eduRnotesRproofsRpfnotRnode9?.+tml

DIVULGACIN DE LA MATEMTICA EN LA RED

MARCHENA% JUNIO 2$$3

11