Capitulo Inducci6én matematica 1. INTRODUCCION En los teoremas que hasta ahora hemos probado pueder diferentes métodos de prucba, el llamado “directo” y el “indirecto”. En el método directo de prueba, procedemos de la hipétesis a la conclusién a través de una serie de deducciones cada una de las cuales esta justificada por algin axioma o por agin teorema previamente probado. En las pruebas indirectas, comenzamos por suponer que Ia conclusion no es cietta y, a continuacién, a través de una serie de deductiones, obtenemos una proposicin que contradice la hipdtesis del teorema. Luego, bajo la hipétesis, Ja conelusién del teorema no puede ser falsa y debe, por tanto, ser cierta, Si un teorema es una propo: cién que ha de verificarse para todos los 31Senteros positives, entonces es a menudo posible construir una prueba asada sobre un principio Mamado de “induceién matematica” En este capitulo introducimos el principio de induecién matematica. En realidad, damos dos principios distintos de induccién matematica, El Primero dado, llamado Principio de induccién, es, para nuestros propésitos el mas importante, El otro principio, Mamado Segundo principio de induccién, es poco usado en esta obra y, por ello, lo analizamos muy brevemente, Aunque estos dos principios de induccién matematica estén estrecha- mente relacionados, probar uno partiendo del otro, es realmente complicado, En lugar de hacer esto, Jo que haremos ser probar ambos principios basiindonos en otra propiedad de los enteros positivos llamada el principio del buen orden, 2. EL PRINCIPIO DE INDUCCION MATEMATICA. Suponemos que los enteros positives poscen la siguiente propiedad, Iamada principio del buen orden. Todo conjunte no nulo de enteros positivos posee un elemento minimo. Por ejemplo, el entero minimo en el conjunto de todos los enteros posi= tivos pares es 2 y el entero minimo en el conjunto de todos los enteros positives impares es 1. Por no haber definido los enteros positivos con suficiente cuidado como subconjunto de los niimeros reales, no intentamos ‘una prueba del principio del buen orden, sino que lo consideramos como un axioma adieional. Usando el principio del buen orden, podemos probar: 2.1 Teorema, (Principio de inducei positivos que ) Cualguier conjunto 8 de enteros 1) contiene at y 2) contiene a m-+1 siempre que contiene am 5 el conjunto de todos tos enteras positivos. Paurma. Sea el conjunto de todos los enteros positives que no estan en 8. Queremos mostrar que Ges el conjunto nulo, Supongamos que & no es nulo, Entonces, por el principio del buen orden, & tiene un elemento minimo; Hamémosle b. Como 1e8,6 # 1. Luego 6— I es un entero positivo. Como 6— I es menor que b, b—1 no esti enB, luego b— Le, Pero entonces, por 2), b= (b=1)+1e8. Pero esto contradice que be%, y por ello la suposicién de que G no es nulo no puede verificarse. Por consiguiente & es el nulo; es decir, 8 es el conjunto de todos los enteros positives. Después de reflexionar un poco, el estudiante se dard cuenta de que el principio de induccién es uma propiedad de los enteros positives que ha 316 Cap. 7 La indueeién matemsteatusado implicitamente muchas veces. Parece perfectamente natural argitir ‘como sigue: Sea 8 un conjunto de enteros positives que satisfacen (1) y (2) del teorema 2.1. Por (1), 1e8. Entonces por 2), 1+1 = 2€8. De nuevo por (2), 241 = 3€8. Continuando en esta forma podemos mostrar que cualquier entero positivo m esti en 8. Este argumento carece de precision cenel punto en que decimos “continuando en esta forma”. Hemos mostrado gue la validez de este tipo de argumento es una consecuencia del principio del buen orden. lustramos ahora el principio de induccién con algunos ejemplos, 2.2. Ejemplo. Prusbese que si O cualquier entero positive n, (1-+p)" > L-+np. Prue#a, Sea $ el conjunto de los enteros positives m para los cuales (py > emp. 1) He ya que (+p)! = 1+1-p. 2) SimeS —es decir, si (1+p)" > I-+mp—entonces (Lepyrtt = +p) dep" > (+p) 4m) {axioma 04) Laptmp-tmp? > 4(n+ Dp. Ast pues, meS implica m+1¢8. Aplicando el principio de induccién, podemos concluir que 5 es el conjunto de todos Jos enteros positives y el teorema queda probado. 24 Ejemplo. Demuéstrese que sim es un entero positive cualquiera, fentonces 4(°-+2n) es un entero, El principio de inducei6n matemitica 317Soxucion. Sea 8 el conjunto de todos los enteros positives n tales que oP +2n) es un entero, 1) Le8, ya que 4(1+2) = 1. 2) Si me8 —es deci, si }(m+2m) es un entero— entonces HMlon 419+ 2m 1] = Ym 43m? 3-41 42-42) = $0 42m) 4m m+ 1 es un entero. Luego me$ implica m+ 1e8. Luego 8 es el conjunto de todos los enteros positivos segin el principio de induccién, Problemas 1. Prugbese que: six > 1 y mes un entero positivo cualquiera, entonces BOL 2. Prusbese que: si x < Oy m es un entero positive cualquiera, entonces ori 20, 3. Prutbese que: P30. 4. Si n es un entero positive, muéstrese que los siguientes nimeros son enteros: i x # Oy mes un entero positive cualquiera, entonces yy M3420 3 ntt2n in? ay 2 H2n ent a $8. Sean a 35...) dq,» Un Conjunto de nimeros. Sila) < Vy lay—e,-4 < 1, prudbese que jal 0 y cualquier entero n= Dp? Positivo n, 4p)" > temp + 9. Demuéstrese que: 4) cos (nz) = (—1)" para todos los enteros positives m 4) Si fes una funcién periédica con periodo 7, entonces /(t-+nT)=/(0) para todo re, y para todos los enteros pastivos n 318 Cap. 7 La induecién matemftica40, Demuéstrese que: @) (aby’ = a°¥" para todos los enteros positives by (ay = a™ para todos los enteros positives m yn. 11, Demuéstrese que 2) (=1)% = 1 para todos los enteros positivos b) (=I)? = =I para todos los enteros positivos n. 12, Pruébese que si 0 2 ena © E cos Qh-1yx Seems yy Fat a tenet 8 Le aiatemeny 9) F Ges 3. Después de calcular la suma para algunos valores pequefios den, Propéngase una férmula para la suma de los primeros n enteros positives impares. Pruébese a continuacién la formula por induccién matematica. 4. Prugbese que: 1? Sal aD 5. Caledlense los valores de las siguientes sumas. 6. La siguiente formula es vilida para todos los enteros positivos n? yy 8k = 2n+1)*—1+(n—1) (n—2)(n-3). 7. Eseribanse explicitamente las siguientes sumas. 4 ¥ b-G-m) » % 0e-e-9) 2 Feb) 4) (ana) 8B Prusbese que a < by (& 322 cap. 7 La induccién matemitica soos) implica Sa, <3 by 9. Pruébese que a <5 a.4. PROPIEDADES DE $a, En el capitulo I se sefialé que podiamos sumar tres nlimeros as, @3, ay en dos formas: (a, +4;)+a, y a, +(a,+a3). Sin embargo, como (@,+4;) +a; = a, +(a; +43), podiamos prescindir de los paréntesis y escribir simplemente a, +4; +4. Por induccién matematica puede probarse la proposicién correspondiente para la suma de cualquier nimero finito dle niimeros reales, Esto nos permite definir J: a, como lo hicimos en la definicion 3.1. La ley conmutativa de la adicién puede extenderse andlogamente a cualquier suma finita de nimeros reales. Es decir, la posicién de los ‘términos en una suma puede cambiarse sin que quede afectado el resultado, Asi pues, en particular, 44 Bo términos estan eseritos es el inverso. El estudiante debe comprobar lo afirmado para el caso n= 5 Pasamos ahora a probar la extensién de la ley distributiva para cualquier suma finita +1 tiene los mismos términos que J; ay pero el orden en que los 4.2 Teorema, Para cualquier entero postvo n PRUEDA. Sea 8 el conjunto de os enteros positives m para los que sands 1) 168, ya que zs ca, = ca, =¢ FG 2) Sime8 —es deci, F cay = 6 ¥ ay entonces 2, ea =D, eaatetnes 6S at eanes Propledades dela sumatorla para cualquier ndmmerofnito 323(axioma D) Asi pues me implica m-+1¢8, de donde, por el principio di Ses el conjunto de todos los enteros positivos. (tra propiedad de las sumas que tendremos ocasién de usar es: 4.3 Teorema, Para cualquier entero positive n Lat+De Pura. Sea $ el conjunto de todos los enteros positives para los que 5 ato Seatio= Sat dm 1} 18, yaque F (qth) = a+b, = + Fb 2) Simes —es decir, $ (ath) = Fa + F be entonces Y (thy) = (a+b) + ner th, ) ¥ Eat 5 tet aartbees (§ auttgns) + (& byt Py ) -Sar de [Asi pues, meS implica m+Le8, de donde S, por el principio de induccién, ¢s el conjunto de todos tos enteros positivos Las propiedades de las sumas finitas pueden usarse para evaluar Yk y & &? directamente sin necesidad de férmulas tentativas (eon pruebas subsiguientes por induccién matemética). Consideremos primero}. k 324 Cap, 7La induccion matemstica25, = Fk+ ¥ (nk) my ¥ wtp (43) Por tanto 44 CObsérvese que S$ (n+1) expresa la suma de n términos cada uno de los cuales es igual an+l. En general 45 Ecane Desvarenos ainsi tori pa. J so ts forma, Ene todo cst basado en la formula re Fanaa y tiene la ventaja de que puede también ser usado para derivar formulas 12, $1 ce, Lavalidea de (46) clara 5 eeibimos explicate pee Eimer) Casa) bo Het Mana HO a) La formula (4.6) puede también probarse de un modo mas formal: Si ay = A? entonces (46) toma fa forma S) (k—(k— 1) = 0? Propledades dela sumatoria para cualauie namero finito 325Ast r= Fea) = Fey we ben aa ee 2.45) Por tanto 5 = etn). La formula para 3 £# puede derivarse de un modo anélogo, Adviértase ave $6 —Ck=1)) =, Por otra parte 5-4-0 = 3,08 -3K+0) = 208-30 + z 1 [437 = ye + Lorn [43,431 =3 5 835 kta (42) Por tanto she-aktene 5, w(msa 5 bon) = Hann 1)=n) [a] = 42m? +3n? +n) 326 Cap. 7 La induceién matemstinLUsando la anterior técnica podemos derivar una férmula para 5: ky tuego para J. k* y asi sucesivamente Problemas 1. Escrbanse explicitamente las sumas: 3a y 3, 2. Bscribanse explicitamente las sumas: }/ (a+b) y Dae + 2 be 3. Derivese ta formula $k? = fut +2041?) 4. Caleiilense las siguientes sumas: age ode oS w42ke) a) 5 W@+k) ) y k-3y SX ork? 5. Derivese la formula para Ja suma geométrica: a L Latta roy ir (ry ie 6, Derivese la férmula para la suma aritmética: ‘Sugerencia; Considérese Sar FE (atkd) = antin(n+ td. 5. EL TEOREMA DEL BINOMIO Antes de enunciar el teorema del binomio, introducimos unas cuantas notaciones estindar para cantidades que se presentan en el enunciado del teorema. 5.1 Definicién, n!, (dase “factorial de n”, donde n es un entero no negativo, ‘se define como sigue? 23 nt n, paran > 1, y Elteorema det binomio 327Por analogia, con la notacién para sumas, podiamos usar una pi ‘mayfscula para representar productos. Luego m= Elk El coctet binomial (te dette por G Enunciamos ahora el teorema del binomio: 5.2 Teorema. (Teorema del binomio.) Six y y son mimeros reales distintos de cero y n es wn entero positivo, entonces @ey= 5 (Je PaurBA. Sea 8 el conjunto de los enteros positivos n para los que wore E (ey BG) 2) Sime8, es decir, si wore E (eon 1) eS ya que entonees Coby = Gety) cory) =o Ss, (the = (2) een Ee Ger] 328 cap. 7 La indueci6n matemitieaa (era - (eco + ()e (2+ (or 4a(—2)+6a*(—2)*+4a(—2)'+(—2)*‘ a() : w(S), eeatont 0 (a: k= 0,1,2,3,97, 98,99, 100 It, k 3. Desarrollense: a) (2x—1)* 1) ©) Qa+3)* d) Gx? +2)" ©) (e-2"* Dei’ 4, Determinese (98)° por desarrollo de (10#—2)*, +1) demtace cue) +(",) = ("dnt 5) Constrayase un arreglo uriangular de nimeros, conocido como tridngulo de Pascal, como sigue: 1s 10 0 5 1 16 15 0 1s 6 1 En este arreglo, los nimeros que ocupan los lugares primero y iltimo en cada fila son 1. Los ntimeros en cada uno de los otros lugares se obtienen tomando la suma de los dos nimeros sobre cada lado de él en Ia fila precedente. Demuéstrese que los numeros en Ia. fila (n+ 1)-ésima son los coeficientes de la expansin binomial de (x4) 6. Proporcidnese el término que contiene yen la expansion de (x+3)" 7. Proporciénese el término que contiene x* en Ia expansi (or -3y. 8 Demuéstrese qua J+ () =m 330 cap. 7 La induecion matemitica6. EL SEGUNDO PRINCIPIO DE INDUCCION MATEMATICA Mas adelante tendremos ocasién de usar otro tipo de induccién mate- mética. Estd dada en el siguiente teorema y probada con base en el principio del buen orden 6.1 Teorema, (Segundo principio de induccién.) Cualguier conjunto 8 de enteros positives que 1) contiene 1 y 2) contiene m+ siempre que contiene todos los enteros positivos k < m, 5 el conjunto de todos los enteros positivos. Pxurma. Sea 3 el conjunto de los enteros positives que no estin en 5° Supongamos que 3 no sea vacfo o nulo. Entonces, por el principio del bbuen orden, J tiene un elemento minimo; llamémosle 6. Entonces, para todo k < b~1, ke8, Por tanto, be8 por (2). Pero bed y por tanto BES. Esta contradiecién muestra que nuestra suposici6n de que 3 era no vacto no puede verificarse. 3 vacio significa que 8 es el conjunto de todos los enteros positivos. 7. RESUMEN El propésito de este capitulo es el de introducir dos conceptos que serin de considerable importancia en nuestro estudio del andlisis; la prueba por induccién matemética y la notacién con sigmas para la suma. El principio de induccién y el segundo principio de induccién propor- cionan un método de prueba de ciertas proposiciones que se verfican para todos los enteros positivos. La notacién con sigmas para las sumas se introdujo en este momento no solamente para dar ejemplos del uso de la induccién matemética sino también para que el estudiante pueda familia- rizarse con esta importante notacién. Problemas de repaso 1, Prudbese que 2" > n, donde n es un entero positivo. a1 2. Demuéstrese que —<— es un entero, si n es un entero positivo, 3. Demnéstrese que s un entero, si n es un entero positivo, 4, Demuestrese que x" > x six > 1, donde es un entero positive. 5. Pruébese que si 8 es un conjunto de enteros mayores que o iguales un entero go para el que se verifican las siguientes dos proposiciones: 1) @e8y Resumen 3312) me8 implica m+ 168, tentonces § ¢s el conjunto de todos los enteros mayores que o iguales a go 6. Prugbese que 2" < nl, simes.un entero yn > 4. 7. Prudbese que 5 5 yg 8 Pruébese que [] (1+) = + muta (1-2) 10. Pruebese que 5. sen (2k—1)x AL. Derivese la férmula Ft wh nb ansataitin’ YM = 6n' + 158+ 100? =n). 20 : 12. Caleiese a z Skene e) Sat d) E (K?-3k +5). 13, Desarrdllense, usando el teorema del binomio: ©) Gx-3 o (er+4h 14. Determinese (101)® por desarrollo de (10? + 1)*. 15, Encuéntrese el término que contiene x!?y* en la expansion de (y-4). 5 un factor de Ia", es decir, 1—x" = (1—x) P(x). Usando la férmula para ‘una suma geométrica (problema 5, pag. 318), determinese P(.). 332 cap. 7 La induecion matematica