Bellin dell ro (1959) eda y adapta a inet per ater, Sl Bearer Se Nate, Uveniad Cae Soe TEMAS MATEMATICOS EL METODO DE LA INDUCCION MATEMATICA 1S SOMINSKH Irate Pedatges de Novgorod EDITORIAL LIMUSA MEXICO © ESPANA © VENEZUELA * ARGENTINA COLOMBIA * PUERTO RICOVeriéa apt JOSE, HERNAN PEREZ CASTELLANOS Hits 2 tonite Rats [ALEJANDRO ODGERS LOPEZ Main om Matin, Utena National Autom de Masi Laprantctiny Spouse on ELgro00 oe ta movocion mATENATICA overage pina pare ceo (posse mpc o anita resart gn tne ‘Sinewa crone smectic WELUVENDD Et, FOTOCOPMDO, ‘a Pumucno aaqurstone te mipoassy aacoamane ‘Mtomacin an omar por sno er © 10 EDTOMALLMUSA SA oc ‘Beas Pa oO is OF oral teatane Regus non 2 Pon oars 107% ‘Sepa ere 16 Teareompeon to hae epeti’ 88 (Siamese 106 Stes empresa ‘Sime rsnrein: 10 epi SBN 960-18.0702-2 Prefacio EL METODO de a induccién matemética se wa ampliamente ‘en Ia demosracién matemitics. Sin dominar este ito, e inpoie ble estudiar a fondo la matematicas, Adem, a idea bien en que se spoya el méodo de In induccién matemética, es de gran inerét no aélo para lot estudiantes de matemities y de las ciencae aplica- das, sino también para eetudiantes de otras diciplines. En el capitulo 1 y en la seecién 2 del capitulo 2 se presentan Jas ideas fundamentales del método de la induccién matemsticn algunas de su aplicaciones mis sencilla, Para comprender eta parte. Gel testo, s6lo s necesita tener fe conocinientor adquirdee en lot Pritneroe curso del debra de secundaria. Sin embargo, para el resto el libro, er til haber cursado doe afce de dlgsbra y un ao de ‘wigonometea "Esta monografia es pariclarmente apropiada pars el estudio independiente. Preenta gran nimero de problemas, algunos de los cuales ae renehen como parte del texto. No obstante, mis de Ia ritad de los problemas 3 dan como ejerciios para el letor, quien ‘encontrar lat solcione al final de este ertudio.Contenido Introdueelén 9 CAPITULO 1. EL método de In induecién matemities 11 ‘Bjemplos de induceién errénen en Ins matemftias, 11 Cures ejemplos de inducciéa erténca, I 1B principio de Ia indccién matemtica, 14 Demestracén por induccin matemética, 15 [La indvceiin matemdtien winds para deicubcis conje- tras defectuoes, 17 CAPITULO 2. Ejemplos y ejereicion a 6. Ejemplos elementales y ejercicios del Algebra y Ia geo- retro, 21 1, jemplo y ejercicion avanzados, 52 CAPITULO 3, Demostraciones de slgunos teoremas del fgebra a 8 Potinomics y progreones, 47 9. Permutaciones, combinaciones y el teorema del bino- mio, 48 Soluclones a los eereicios del eapitulo 2 53Introduccién (Gualquierproposicién puede clasfcare como general o faticulr. [Bjemplos de proposciones generaler son ‘Fodes lot ciudadanos de la U.RSS, tlnen derecho a una ‘educacin, ‘Las diagonales de un parallogiao bisecani mutuamente, ‘Todos lor némeroe que terminan en cero ton diviiles ene 5. jemploe de proporicones particulaes son: Petrov ene derecho a una educacién, Las diagonales del paralelogramo ABCD se biecan mutua- 140 ex divisible entre 5. El proceso de obtener una proposiién particular de una general se lama deduccidn. Considérense estas propeiciones: 1) Todos los ciudadanos de ba URSS, senen derecho 4 una ceducacién, 2) Pewov es un ciudadano ée la URSS. '3) Petrov tiene derecho a una educacién. ‘De Is propasicién general (1), junto con Is propaicién partcw- lar (2), w obtiene una propoicén particular (3). Bl proceso de obtener proposciones generale de proposiciones paniculsres se lama induccién, El razonamiento inductive. puede ‘onducir 8 conclusiones falta as! como a verdaderas. Se pondrS en claro exe punto mediante dos ejemplos.10 axrmopeccain Pune epenrco, 1) 140 es visible ene 5 2) Todor lor némeros que terminan en cero son divsibes entre 5 La proposcién general (2), obtenida dela proposcién particular (1) es verdadera, Seounvo yearso, 1) 10 es divisible enue 5 2) Tedos los némeros con tes cifras significtivas tom divsbes| centre 5. En este cas, la proposciin general (2), deducida de la propeicién particular (1), es fal {Cémo puede aplicarse la induccién en las matemiveas, de ma ‘era que slo se obtengan proposiciones generalr verdaders a partir. de Tas propesiciones particulares? A continuacén se da In respuesta 2 cst pregunta, EI método de la induccién matematica 1. EJEMPLOS DE INDUCCION ERRONEA EN LAS MATEMATICAS Primero consdérense dot ejemplos del tipo de inducién que e& Snadmisible en las matennstias, Byenrzo 1. Sea 1 tet nay ‘Lat siguientes iguldades son files de veins Con base en esot cuatro resultado, podria concuire que para fodor os miners naturales, se cumple que12a aérono be La INDUCCION seaTEMATICA Byraereo 2. A continuacién consdérese el trinomio xt ++ 41, analzado por primera vez por el famoso matemstico L, Euler! Si ‘en ete trinomia ae remplaza x por el nimero 0, e obdiene eb nimero Primo 41, Si se reniplaaa x por el niimero 1, nuevamente se obtiene ‘un mistero primo, a saber 43, Si se continda en esta forma ys remplaaa x por lor mimeret 2, 3, 4,5, 6, 7, 8, 9, 10, aceivamente, te obtiene en cada uno de lor cates, un mimero primo: 47, 53, 61, 71,63, 97, 113, 13, 191, respecvainente. Basindose en estos resul- tades, podia concluire que para todo entero no negativo +, el valor del trinomio es un nero primo, {Por qué el mazonamiento wado en estot ejemplos ex inadaible Tas materstieas? 2En qué forma se invalida el razonamiento? En ambos ejemplos, el razonamiento emplesdo nos condujo & cstablecer una proporicion general referente a todo (0 todo #) ba- Siavdoze en las propeticones que se han encontrado verdaderat para Certs valores partculares de m (@ de x). Asi, sucede que la propo- sica general obtenida en el ejemplo I es verdader, tl y como #@ verd en l ejemplo 5 que se da posterirmente; sin embargo, la pro= paticién general ebtenids en el ejemplo 2 ex fale. De hecho, ments Se puede demestrar que el tinomio a* ++ 41 produce nimeroe primes para = 0, 38, también ve ve que para x= 4, ff valor del trinomio es 41%, que es un nimezo compuesto. La induecin tiene amplias aplicaciones en las matemsicas, pe debe usarse con cudado © puede conducir a conclusiones eréness 2. MAS EJEMPLOS DE INDUCCION ERRONEA En el ejemplo 2 se ha encontrado una proposiciéa que results verdadera en euatenta cass, pero que no es verdadera en general, Se arn otres dot ejemplor de propesciones que son verdaderas en algunos eatos particulars, sin ser verdaderat en general Eyervo 3. El binomio x*~ 1 (donde m es un niémero natural) fF muy interesante para Jos matemiticor ya que esté inimamente ‘elacionado con el problema geomésio de divdir una cieunferencia en m partes jguales. Por ello, no debe rorprender que este binemio haya estudiado dstendamente y om atencion particular al problema Ge resolverlo en factoes com coeficintesenterox Maemsicoy fle win (170.1789), Mis RJEMPLOS DE INDUCCIEN ERRGNEA 13 Al estudiar esas factorzacones para muches valores particulars e n, Jos matemtices ntaron que, en eada uno de los casos estudiar ‘dor, os valores absolutes de los eoeficentes de la factres nunca fexcedieron al nimero 1. AS, eoies-1, Foie Daen Pole (e-Doreetn), Mole Dee + D, Primo DGtete tty, Pale NGF Dt et 1G xt, Se consiruyron tublas de los coficientesy,en cada no de Ios casos, los coeficientes tenian 1a propiedad antes mencionséa. Sin embargo, fallarn todos los intenes para prebar que la proposicign era vere ddadera para todos los valores de Finalmente el problema fue recto en’ 1941 por V, Teanov oon siguiente renltado: si m < 108, el binomio a" — 1 tiene la pro- pledad anterior. No obstante, uno de Jos Factores de x — Tes el polinomio WA at tt at tt = Oat deena oe eee Fe age ee tet, qe ya no tene eta propiedad. Eyeurvo 4. zEn cudntas parts se divide el espacio mediante n planos que pasan por el mismo punto, peo sin que tes de ellos se Intersaquen en la tikma recta? ‘Consideremcs ls casos mis vencille de este problema: un plano Aivide el espacio en 2 parte, Dor planos que pasan por un panto ‘comin dividen el espacio en 4 partes. Tres planos que pasan por un ‘punto comin, pero sn tener ninguna recta comin, divden el epaco fen 8 partes, [A primera vita puede pensase que conforme el nimero de plant se incrementa en 1, se dobla el nimero de partes en que tot dividen dl eapecios de manera que 4 lance dividian al eopecto en 16 part tes, 5 planos en 82 partes, y asi sucesivamente; o, en general, que 1 planon dividiian al espacio en 2 partesht. mérono DE LA 1NpUCCIGN mATEMATICA En realidad, &te no es el caso: + planos dividen al espacio en 14 paris, 5 planos lo dividen en 22 partes En general, » planos Aividen al espacio en n(n = 1) + 2 partes* ‘Exce ejemplos lutran el hecho, sencilla pero importante: une ‘bropoicién puede ser verdadera en muchos caior eecales 9, 1 fmbergo, no cumplize en general. 3. ELPRINCIPIO DE LA INDUCCION MATEMATICA En seyuida surge Ta siguiente pregunta: supingase que 2 tene| ‘una proposcin relative a los meres naturals y we ha encontrado que &ta se cumple en algunos casos partculares ¢Cémo puede deter- ‘minarse ila propesicign se cumple en geneal?;o bin, para ser més species, goimo puede determinare sila proposidn es verdadera para todos on nimeros naturales n = 1,23, ? En ocasione, se conteta a eta progunta, wsando un méeodo expe ial de rasonamiento.Uamido método de la induccién matemdtica (Gnduccién completa) y basado en el principio siguiente: Una proposcién se cumple para todo nimero natural n si Jatisfacen las condiciones siguiente Gondicién 1. La proporciin se cumple para n= 1 Condiciin 2. La veracidad de le proposiién para cualquier ni- mero natural x= implica ow veracidad para el mimero naturel Heuiewe n= E+ 1 Demortracién. Se desea demostrar que si se cumple lat condi- cones 1 y 2, entonces Ia preposcién debe ser verdadera para todo nimero natural 1. Se da una demosiracién indiecta: xno fuera verdadera para todo nimero natual, habla un nimero natura, mémeste m, el menor de todos para las cuales la propose et fas, Por la condiciéa 1, m1. De donde m > 1, de manera que m ~ 1 tun mimero natural. Recordando que m es el menor nimero natural, para el cual la proposcin es fala, ce ve que la proposcén es ver- dadera para m1 pero falsa, para el nimero natural siguiente (m~ 1) +1 = m. Fero eto contradice Is condcién 2, Por Io tanto, 1a proposicign debe ser verdadera para todo nimmero natural Observacién. En nuestra demostracién del principio de la nduc- ‘ibn matematica, ae apieé Ia propiedad de los meres naturales de ‘que todo conjunto de ndmerot naturales contene un nimnero menor Se demuestra fécilmente que ert propiedad puede dedueine a su 1 Deora poseiomente ene problema 30, pina 92 DEMOSTAACIGN FOR INDUCCION MATEMATICA 15, vv, del principio de la induccin matemitica, De aqui que las dos Droposiciones son equivalentes; cuslquera puede tomarse como un fioma que define Ia ucesign de los nimeres naturale y, entonces, 1a owa proposiién et un torema, ‘4. DEMOSTRACION POR INDUCCION MATEMATICA ‘Wna demostracién por induecién matemiica necesaramente cons ta de dos panes, ex devs, demuestra que la propesicén saisface lat dos condiciones independientes dadas en la secién 3. Bynserco 5. Hallar la uma (ver ejemplo 1) En ena ceasién, no we repeirh el rasonamiento erdneo, usado en et cjemplo I, y no sltaremos ala conclsién de que para todot los n= merce naturales» wet En lugar de ell, sremes cautor y s6lo diremon que les resultadot para Sy, Su, Sy, ¥ Sy conducen a la hipatess de que se cumple para todor Jos nimeror naturales. Para probar esta hips tess se aplieard el método de la induccién matemitice Condicign 1. La hipétesie ex verdadera para n= 1, tal y como “Condicin 2. Supsngase que la hipSeris es verdadera para » = kj exo 6, gue yt yy tk % Teen reeNG Bt méropo pe tA rNpUCCIEN MATRMATICA donde f es cualquier nimero natural Probemot que, a consecuencia, 1h hipstess también debe compline para m= K+ 1, es deciz, que whet Ee? t Sa SEED Sia Pero, 4 subsituyendo el valor supuesto para Sy, s tiene ‘ 1 Bems1 bet Se" TeT* WED ETD ESHER FP De donde se satifacen amas condcine De aqul qu, base det principio de ls indicia materia, hors, publ aGrmat ‘gue, parm todo nimero naturel m, Primera obzervacin. Cabe notar que uns demosraciin por ine ducciin matemitin debe necesariamente comprobar tanto Ia con icin 1 como la condicién 2. Ya se han visto (ejemplo 2) los resultados erdneos que se pueden obtener cuando se pasa por alto Js condicién 2, El ejemplo siguiente demuestra que tampoco puede parse por alto la condicin 1 Byesereo 6, ““Teorems”: Todo nimero natural et igual al nimero tue te sigue “Demorracién”: Suponiendo que keke, my probemos que kyrekee, ® En efecto, sumando I ambos miembros dela jgualdad (1) se cbsiene Ja igualdad (2). Por lo tanto, i la proposcién del “teorema” et verdadera para n= tambien et verdadera para n= 4+ 15 en once, se ha “probade” el “teorema”. “"Coroario”: Todor los nimeros naturales son mutuamente igus. ain dénde se ha cometide el error? El error consitte en consi derar slo la condicign 2 y no la condicién 1. En la aplicaciin del puceISN ATRMATICA PARA DEScUBMI cONSETURAS 17 principio de la indaccin matenstics, es indipensable probar que se ‘eumple la condicin 1 y, en este ext, In condiciin 1 no ae stsace ‘Cada wna de ls condiciones 1 y 2 tiene 0 propio significado ‘xpeial. La condidin 1, por deirlo a8, proporiona la base para la Jnduecén; Ia condiciin 2 proporciona la justicacion para geners- liar a partir de eta bas, o sea, Ia jutifieacién para pasar de un caso expecal hain el siguiente, de hacia n + 1, Si no se satface Ja cord 1, enoncer no existe base para aplcar el métedo de la induccién matemitca —aan si se ststace la condicién 2 (ver el tjemplo 6). Por otra parte, cuando silo se satisfac la primera con icin no la segunda (ver Ine sokacioner de Jor ejemplos I y 2) lunge se proporsone una base para la induccén, no existe juste ‘acign pars hacer la generlizacion. ‘Segunda obseraciin, Los ejemplos anteriores represntan casos muy simples de I aplicacidn del metodo de la induccién matemsia En ciao nds complicador, sgn sea la propesiig, hay que modifiae fl enuncado de Is dos condleiones: 1) En ecasones, para probar que la proporcién verdadera para n= k++, we requiere saber que Is propsicién es verdadera para n= yn mk Aj en decir, lor dor mimeros que preceden b+ 1, En tales caso, en haar de la condicign 1 se necestaria Probar ia auseracién para dos valores consecutives den (ver ‘capitulo 2, prema 18) 1b) Alveces se deca probar una proposiién para todos los valores ‘de m mayores que © iguales a agin entero m. Ei tales casos se ‘erificaen la primera parte dela demostracin que Ia propsicién ts verdadera para n =m y, #e# necoari, para detennizados alors mayores que m (ver capiula 2, problema 24), Por ejem= pl, con freeveneia se encuentran proposciones que deben pro- bare para todos lot valores no nepativos de (esto es para n> 0}. En tales cay, en la primera parte de Ta demeswacién, te demuestra que In proposcién et verdadera para n= 0; en Ip Segunda parte procede en Informa uel 5. LAINDUCCION MATEMATICA USADA PARA DESCUBI ‘CONJETURAS DEFECTUOSAS Al concur ee capitulo, se examinari de nuevo el ejemplo 1 para aclarar un punto exencal referete al método de la induccign Inatemdtice18 mx méropo ne La DUCCION MaTRMKTICA ‘Cuando se considers Ja sum Esto condujo a la hipéusis de que para cualquier valér de m ST En el ejemplo 5 s api el método de Ia induce materia pars probar esta hipétess, Tuvimes suerte, pues encontraron que Is hipé- tess era correcta. Si en lar deel, se hubs dado con una hipSte- Ss incoreca, su faledad se hubiera revelado en la segunda parte de Is demostacin, como se muestra en el ejemplo siguiente Eyzaeio 7. Se mbe que noe 1 aot 1 ratag* tw ey eet ) Sin embargo, supingase que al estudiar Sy, se hubiera establecido Ia hipéesis tt sagt @ [La formula (2) ea vélida para m= 1, puesta que Sy = 4. Suponer ‘que la férmula (2) se cumple para a sgnifearta que ket SST ‘Tratemes de peobar que, sla {mula (2) e# verdadera para n = & también seria verdaders para n= k + 1, e4 dein, que +2 oe ee INDUCCION MATEMATICA PARA DESCURRIR CONTETURAS 19 Pero See EER weet 1 eee okes. Seot* Wa ase” Ee Ner Dery que no eel resultado esperade. Por lo tanto, Ia valider de Ia SSrmula para n= k no implica tu valder para n = k-+ 1. Se ha dexubierto que la fSmula (2) es fale, ‘Asi, 0 ve que el método de Ia induccién matemética permite pro- bar la generalizacions corectasy descubie Int faa.Ejemplos y ejercicios Para aprender a war el método de Ia inducién materatica, es precio resolver muchos problemas. Este capitulo contene 52 pro: blemas. En 22 de els, las sluciones detalladas se dan en el texto, Las soluciones de los 30 resantes, que debe resolver el leetor, 36 dan al Gal de cate estudio, (6. EJEMPLOS ELEMENTALES Y EJERCICIOS DEL ALGEBRA Y LA GEOMETRIA Prosuema 1. Escribamos la suceién de los niémeron imparce en conden de magntud: 1, 8, 5, 7,... Designemes el primero por us, el mundo por uy l tercero per, ee; as, se establece we we wed wer, ‘Ahora vamos a plantar el problema de hallar una {6rmula que cexprese el nimero impar uy en términos de su indice n. Sovvesén. El primer niémero impar u, puede esribime en la forma nde Oy 4l segundo nimero ipa uy puede exrbine en te fora wane @ tereer nimeroimpar uy puede eseibirse en la forma edad ° a‘Un examen cuidadoso de las igualdades (1), (2) y (9) conduce a a hipétesis de que cualquier nimero impar puede cbtenene muli= plcando wu indice por 2 y retando 1; e+ decir que pare cualquier ‘émero impart, a1 ” Probemos que ta f6rmula (4) es ida generalmente Gondicién 1. La igualdad (1) muestra que la {Srmula (4) se cumple para n= 1. Condiciin 2. Supéngase que la férmula (4) se cumple para =k; es deci, que el bio nimero impar esth dado por ween Demeatremct gue, con esta supoicién, la formula (4) también se ‘cumple para el (+ 1)-simo nimero ipa, es decis, qu el (& + 1)= imo nlimero impar debe ear dado por ua = 2(E +1) ~ 16, en forma equivalents tay = 26+ ara obtener el (K-+ 1)-Qimo nimero impar, slo sene que sue mane 2 al ksimo nimmero impar; asi, wus = + 2. Por bipétess, ty = 2k= 1. Bn consecuencia, tua (Qk 1) #2 = 2 HL Resultado, uy = 20 — Prostema 2. Caleular Ia suma de los primeros » nimeresimpare SouveiSs. Denotemos la suma requerida por Sy. Ad, 1434540 + Oe) ‘Los problemas de ste tipo se pueden resolver usando wna em- | probids, Pero not interes reoker ol problema sin recunir a tal frmula y aplieindo el método de la induecisn matemstica, Para hacerlo, es necesrio esablecer primero una hipéteis, es decir, tratar simplemente de adivinar a solcién ‘Asignemes a n los valores suceives 1,2, 3, ... hasta contar con informacién sufciente para formular une hipéveis plausible. A Auerena ¥ cromernis 23 continuacién, debe probarse esta hipsieis con el método de la ine Auccién matemitica, Se encventia que Sy SH SMG, 5 = 16, 5p 925, Se 36. ‘Ahora todo depende del poder de cbservackn del estudiante —de su hubildad para conjeurar una relaién general a partir de lor resultados particulars. En los casos anteriores, se nota inmediat- mente que Sar, S, N=, Se Entonces es justo suponer que, en general, Probermos esta hipétes ‘Condicién 1. Porm n= 1 Ia cums conse de un solo ténmino, ‘saber, el nimero 1. Para n= Iy el valor do In expresign nt también es 1. De aqul que la hipéwis se cumple para a = 1. Condicién 2. Supéngase que Ia hipétes ve cumple para n = & fo sea que $=, Probemos que, con esta supascidn, la hipsteis también debe eumpline para m= K+ 1, es decir, que Sia = (+I En efecto, sien el problema 1, ays = 2 +1, Sia Set (EHD) Pero = , y de aqul que Sia + EET) = ED Resalade. Sy = 2 Prontsxca $. Hallar el tino general de 2 sucesién de nimeroe te si uy= 1 y, a para todo nimero natural F > I, se cumple ia relacién ue = wh + 3. ‘Sugerencia. uy = 312s ay = 362 = 2, Prontexea 4, Halla Ia sums, Spe P PDB ee Om4 srserios ¥ Eyencicios Sugerencia. 1) Spm 2—1; Se= 21; 6 2) consideese 2, Se Promtzita 5. Probar que Ia suma Sy de los primeros némeros naturales e2 nln +) z Sotvetén. Exe problema difiere de los preedentes en que no er neceario buscar una hipéeais; Ia hipétals se da. Simplemente debe probarse que es corecta, Sete DHS HAH te, Condiién 1. La hipbuesis e cumple para n= 1 Conéicién 2. Suponiendo que Sersat ec ehe ABD, a Sunn EES, a ee, sane teeyy MEAD gay EEE ED Esto completa la demostracién. Prootcua 6. Probar que la suna de Jos cuadrados de les m pie ‘meres ndmeros naturales es ** Prontzita 7. Probar que Spe OPO ok (=I) ay 2D) Sovvetéx. Condicén 1. Es obvio que Ja hipSteds ve cumple para n= 1, puesto que (“1)°= 1 ‘Condicién 2. Suporiendo. que * so apes +(e = (oy! Avewans ¥ ckomernla 25 probeman que Sig SLAB eek (=I (MEH DD? En efecto, Su = Sat (IME DY oct cae wr mura -cr[aen ) = (yp AEBS Jaen Prone 8. Probar que oe s@a= paren + (n=) Pron Polar gu an de de ie or raw [FOSDT Promtasta 10. Probar que ltatteeet (ee). Proms 11. Probar que a(n +1) (0 +2) L2eIS HSE tainty = Promeaa 12, Probar que 12942944 S45 + tale + 1) (+2) nin #1) (n+ 2)(0+ 8) sa Prostzua 18, Probar que t Ts26 euros ¥ RyERCICIOS Averama ¥ cromernia a Promana 14, Probar que 5 wv aeen GDR” 2r I) 1s para todo nimero natural k > 2, s€ cumple In siguiente relacén: we (a+ lias = ans 1 : +RrD Gey tT Promuema 20. El producto 1-2+3+...+m se designa mediante el Seton! (ie “iota Nine que lt 121 Proms 16. Probar que SIS, t= 4 31 = 100 Hale una eres pars a ne ryt yy : wis 22te sate teat att mae Ty Sovvebn, §,= 1-11 = Peon 17, ober gut . Sait eeat=s, 0 ie Seatal $2. e gt = 23, a(e+1) (@+1)(e +2) (a+n—T)(a+a) Sym Vtt + 2-214 9-31 + deat aww Bxaminando estas sumas, we observa que Proms 16, Probar que para todos les enteros no negativon (ex SmMad Gasi- aad, decir, para n 2 0) named, Esto conduce a a hips dado que (i) ve = 2, 113 y (i) para todo ndmero natural f, se Senet te feumple la relacén im, ~ Sie ~ 2rn Sovveién. De lo que se da, remlta evidente que la propoicién —-Veriiquemen eta hips, se cumple para n= 0 y para m= (Con respecto a elo, ver Ia (Gondicin 1. La hipétesi se cumple para n = 1, ya que segunda cbtervacién de Ia seein 4 en el eapitule 1.) Sopsngase que Sea me HL HL Condicién 2. Soponiendo que Bntonces te concuye que ee Som Ll 4221 oe be = (RAIA, rao = 912+ 1) = 20H #1) = ea) Promtzea 19. Probar que Cana one pe Sig = TNE DEE et SF EHD! eee ne28 sears ¥ EyERcicios En efecto, +key Tet DI Y4 G+ y-AH DE = GFN e eH DI-1 = (E12) T= DE, Prostewa 21. Probar que para todos lot entree no negativos n, se ‘cumple la siguiente identidad: ms (thawed, {ea sein co ot elms ver wend eer det seceién $n el capitulo Proms 22. Dados loa nimerot a y f, con ackA y at Pyt t, atpmm of Probar que (at = pr) ~ (a =) 7 (BY =) Souverén. Condicién 1. Primero, demestremes que la férmula (1) se cumple para n= 2. Por hipdtes, Aucenaa ¥ ctomen De acuerdo con la frmula (1), = (TB) = le = BY @= P= =A) Se observa que @— es un factor tanto del mumerador como del Jenominador de la fraccién anterior; entonces se puede reducir ba fraccién para obtener A ATE Condicién 2, Soponiendo que la férmula (1) se cumple para =f, probemos que también debe ter verdadera para n= k + a =p) — oe (et) te AF ° (ete prt) ~ (a = pry ‘Aplcando Ta jgualdad (2), 9 obtiene allot = BY = (et = phy nto completa In demotracién. Pronuewa 28, Simpliicar el poinomio ero De = EL lector debe Respuesta (—1)" Inacer Ia demortracién.30 servos ¥ Eyencicios Pronuewa 24. Probar que cualquier nimero entero de rublos mayor ‘que 7 puede pagarse con billets de 3 rubls y 5 rubles sin requerie uel Sevveix. La propesicién se cumple para 8 rublos. Supéngate (que I proposcign se cumple para algin nimero natural F > 8 de rubles Hay dos posblidader: 1) Los k rublos se pueden pagar silo con billets de $ rublo 6 2) Entre ls billets, hay por lo menos uno de 5 rubles En ef primer caso, el némero de biletes de 8 rublos no puede sr senor que tes, para k > 8. De agut que, para pagar E+ I rubles, tes Billets de 3 rublos pueden reemplazare por dot billet de 5 rublos En el segundo cato, un billete de 5 rubles puede remplazase por dos billets de 3 rublot para pagar K+ 1 rubles Promena 25, Probar que Ia suma de lot euboe de tes nimerot naturales consecutiv cuslesquiera es divisible entre 9. Souvotin, La suma I*+ 2+ $ ex dive por 9. De aqui «que, In proposicién se cumple si el primero de los tes nimeros na tries conaecutivs es 1. Supéngase que Ta suma HP + (K+ 1)* 4 (k-+ 2)° es divisible entre 9, siendo K algin admero natural Eatonces, la suma (HIE +2 + EE LEH (EF 1+ (b+ 2) + OCH + Sk +B) ts ls suma de dos expresiones, cada una de las cuales es divisible por 9; de aqui que su soma tambien e divisible por 9. Promrwa 26. Probar que pars todo nimero entero no negative m, be suma Ayn tm 12508 = divisible por 133. Pronema 27. De entre los 2n nimeros 1, 2, ...».20 sekccidmense al azar n+ 1 nimeret. Probar que entre los ndmerae sleeionados fxten por To menos dos nimeros tales que uno de ells es divisible por el ote Souueds.* Supéngase que de entre ls 2n mimes 1,2, 42m donde n > 2, se han encontrado n+ 1 niémerot tales que ninguna * fan ware fue popuct por neous em tT Pela ico Hatem de Lenard Avceama ¥ cromernts aL de closes divisible por cualquier otro Denotemes este conjunto de 21 nimeros por May. Probemos que, en ete caso, seria posible seleeionar de entte lor 2 — 2 nmeror 1,2..-y2n— 2, wh eon junto conteniendo m imeros tales que ninguno de fos n nGmeros 4a divisible por cualquier ofr. Hay cuatro pasbilidades 1. Manno contene al némero 20 — 1 nial niméro 2n 2 Mor contene a 2x ~ 1 pero no a 2x, 3. Mun contene 8 2n pero.no # 2n ~ I 4 Macs contiene tanto a 2n~ 1 camo & 28, Caso 1. Quiteres un nimero arbitrario del conjumto Mar. Ea tonces quedan nimerosringuno de log cuales et mayor que 2n ~ 2 Ninguno de és es divisible por culquier otro. (Caso 2. Quitemes el némero 2n ~ 1 del conjunto Mas. Noeva- ‘mente entre ls m mimeros restantes, ninguno es mayor que 2x 2 y ninguno ée ellos es divisible por otro cualquiera. ‘Caro 3. Quitemos el riimero 2n dl conjunto Mun; el resultado sel mismo que el de lee casos I y 2 Caso 4, Antes que todo, se obterva que el meron no puede pertenecer al conjunto Mui en ease contrac, el conjunto: Mans Contendvia& los dos némeros my 2n: y 2x es divisible entre = ‘Ahora quitemat los das nimerot 2n ~ 1 y 2n del conjusto Mua ‘Denotemen por My al conjunto de lor n — 1 nGmmero que quedan, A continuacién se agrega ol nimero n al conjumto My, obteniendo de teste modo un conjunto den némeres, ninguna de les cuales e mayor (que 2 2 Falta demosrar que de tos = ndmeros, ninguno seria Alivisible por cualquier oto. ‘Como el conjunto Mw, no contuve dot nimerus de toe cules ‘ano fuera divisible por el 0, el conjunto Myx tampoco contene tales mimera, Por lo tanto, slo se debe dematrar que no puede haber dor rimerer tales, aun cuande se agrega el nimero m al cone junto fa, ara hacerlo, basta demostar 1) que singin nimero en Mac 68 Aivsble por ny 2) que n no cs divible por timero alguno en Me ‘La primera propeicdn se deduce del hecho de que dels nimeres fen My, ninguno es mayor que 2r — 2. La segunda se deduce det hecho de que 2n no es divisible por mero alguse en Afes. Ad #0 hha demosttada que si la proposciin er falsa para log 2m nGmeros 12, .n 20, también debe ser fsbo warn lo 2(n~ 1} nmeroe 1,32 aeMrLos x Exencicios 2 ..oy2m— 2.-De aqui que, si la proposcién es verdadera para. los 2m 1) mimeres 12,-..,22—2, también debe ser verdadera para los 2 mimeros 1,2, cmp 2 La proposiiin es verdaders para lot dos niémeres 1 y 2; de aqut ‘que es verdadera para todos los conjuntes de Om nmneros 1,2... 2m, donde ex un nero natural, ‘Obseroacén. El problema tiene In siguiente solucién sencilla en a que no se aplica el método de la inducciéa matemstica. Seleess- nense m+ 1 miimeros cualquiera del conjanto de 2n nimeros 1, 2yevus2h, ¥ desgnese este canjunto por May. Dividase cada uno de Tos nimeror pares en Many por una potenca de 2, de modo que fl cociente srk tun ndamero inpar, De eos cockentes'y lot nmeros pares en My, formemes el conjunto Ma Ma, contiene m+ 1 rnimeres impares,eada uno menor que 2x. Como séloexisten nn merce iinpares positives menores que 2n,enfoncss, al menon doe de Jos cocenes en el conjunto Max deben ser el mismo nimero; deno- femes este nimero por &. Por ‘anto, en el conjunto Myx debe haber por lo menos dos nimeror de Ia forma 24 y 2, Ex obvio que sno Ge extot doe nimeroe seré divisible po el oto. Prowurma 28, Probar que m recas diferentes que se encuentran en tu plane y pasan por un punto comén, dividen el plano en 2m partes, Prowczwa 29. Probar que n recat que se encuentran en un plano 2, y= DAyscan ~ desi Probar que Asm const, Souveidx. 1) La emule se cumple para n= 1 y n= 2 2) Supéngae ve Ave = cos (Ek ~ 2)8, Ava = con (= 196, Bntoness Ay = Bos con (1) 8 — cos (k= 2) = cos 6 Promena 33. Probar que watt! wena tun det + + eens = ——2 Sower6x. 1) La formula se cumple para n= 1 2) Supéngase que bet wane teen 2e 4 oo wen —— 2 — sen, sen = : z Entonees sent sen2eh oo sen be + sen (E+ 1) 2 Aca se api ts Headed 2 cm a con = con le + A) + con Cape ere ene en eleat) sEMrLos ¥ EJERCICIOS AVANEADOS 35 kat Pronena 35. Probar que ten + 2aen 2e + Seen Se + (+1) sens — mien (n+) + sen ne fest Paoateua 96. Probar que count Deore + 2) coum — neon (at x= eat Promina 37. Probar que foe eee a = deo X corr (eA me) aa Prontza 38. Probar que arceot3 + arecat 5 + ++ + arecot (28 + 1) nat = narctan |. 3 = arctan? + arctan’ + + arctan36 EJEMPLOS ¥ ETERCICION Pronurwta 89, Probar que Souveibx. 1) La igualdad se cumple para n = 1, puesto que tinal (og + inn3) 2) Supingase ave sm, 1TH aE +) _ (ota a Boke S (co + ten?) 229 (at SD lB) Promtssta 40. Probar que (S~ a9 8 (lt Promi2us 41. Probar el teorema siguiente: Si ls aplicacién de un rlamero fnito de operaciones racionales (es deci, adic, subtract i, mulkiplicacién y dvsgn) a le mimeroe complejos Sym =e conduce al ndmero'x, entonces Ie aplicacién de lat aismat ope: raciones en el mismo orden de sucsién a Tos complejos conjugedoe HyRs,--- 84 Conduce al nimero ¥, que et el conjugado de’, Sout. Primero demostemot que el torema se cumple para ‘cada una de ae cuatro operaciones aplicadas simplemente a los dos rimeros complejon. Sean nrath, moetdi Entonces ay tae (ate) + (b+ dim us BAH a (eB) Fem) = (ete) — (b+ di=T BB ttorema puede verifiarse exactamente en la misma forma para 1a substaccié, mulipiacién y avis, EJEMPLOS ¥ EJERCICIOS AVANZADOS 37 ‘Anora, tea dada una expres racional que contiene a los n= smeros compet sy,#y---,3 Camo es bien sido, para simpli ficar una expresién de ene tipo bass. aplcar succivamente las cuatro operaciones raconales sobre dee cmmpejon, y efectuar dichas ‘operaciones en determinado orden Por ejemplo, sea santa Para caleular w, se pueden evar a cabo las operaciones cn el orden indicado: 1) xine 2) mean dana, 5) atu Datars 6% Supéngase que el torema 1 cumple para todas las expresiones racicnales cuya simplificcisn requiewe no mis de b aplicaciones de las “operaciones”, Demostremos que, en ete cao, el teorema tame ign debe cumple para expresoner que requieen la aplicacign de no mis de F-+ 1 aplicaciones de las “operacones". Si los nimeros 23y ov ote 40 remplaran por 401 compiejee conjugedoy, lo nimme- ros uy ay se Templazan por sus complejos conjugadott iy y Ty 1a (E+ £) dima “operacién® apicada a ¥ y Hy da el rime 1 et complejo conjugado dew. Prostewa 42. Probar que pare todo nimero nateral m, (conc + ison x)" = conn + faen ne romana 49, Probar que par todo lot nimeres naturales 2 > 1 1.4 1s sit aeet Ee Souucin. Designemos por Ss a la expresién del primer mimo e Ja desigualdad, $4, de modo que Ia desigualded se cumple para38 EsEurtos ¥ EyERcICIO8 : B fn is 2) Supingae que 5, > £¢ para algin nimero k Probemos que te eas. tenere 2 se tiene cn ete caso también debe tenere Sus > $4.8 tt Sori tig fd eee est Su Restando $y de Sy, 16 obiene 1 eet Su = es dee, Se SS ESOS Pra cualquier nimero natura f, la expresiin del segundo miebro els tina jgualdad es postva. De aqui que, Sia > Se Pero 13 a 61> Bana tn > Prooursea 4 Hallar el error en la siguiente “demesteacién” Prorosicrin, Para todo nimera natural mse cumple hy sglente dlesgualda: B> meh Demosraciin: Supiogase que la desigual Algin némero natural : se cumple para 1; eto es, supsingnee que Boat a Probemos que to también se cumple para n = K+ 1; ex dein Bap abt tL ° Para todo nimero nara f, 2 no ct menor que 2. Agreguemes 2 al primer suerbro de la desigualdad (1), y agreguemos 2 al segundo raiembro. Esto proporciona la desigualdad RJEMPLOS ¥ EJERCICIOS AVANZADOS 39 PaO mea142, 0 bien > 2k 1) +E sto prucha In desigualdad Promuzma 45. ;Para cules niémerot naturales se cumple Ia det. Suldad 2° > 2n 4 1? Pronzeata 46, ¢Para cules nimerosnatralet ae cumple la dsiqual- dad > 9? Sorvewtn, La desigualdad se cumple para n= 1, ya que 21> [a desigualdad no se cumple para m2, ya que 2" La desgualdad no se cumple para n= 3, ya que Ta desgualdad no se cumple para n= 4, ya que 2 = 4 La dosigualdad se cumple para 1 5, ya que 2° > 5% 1a desigualdad se cumple para n= 6, ya que 2* > 6% 2. <5 “Aparentinene In desiguldad se cumple para m1 y para todo >A, Probemes eo 1) La desigualdad se cumple para n= 5 2) Supéngise que para agin mimero natural & > 4, ae 0 Probes que : mS (ke Tt (2) Se sabe que > 2k-+ 1 para k> 4 (problema 45). De aqui que, sumando 2 al primer micmbro y2k-+ 1 al segundo mniembro de la Gesigualdad (1) se btiene Ia desiqualdad (2) TResltedo, > n° para n= Ly para todo m > Promrma 47. Probar que (bay > Lt ne, donde a > —1 060, y ner wn nGmero natural mayor que 1.0 yemrcos ¥ EzeRCCIOS Souvexén. 1) La desigualdad ve cumple para n= 2, puesto que 250 2) Supéngase que Ia desgualdad cumple para algin nmsero natural n= Ej et deci, (ta) > 1+ ke, “ Probemot que aqui también se cumple la deigualdad para = b+ Ty es deds, (eM > 1+ Oe De @ De acuerdo con Ja hipsesis orginal, 1+ « > 0; por tanto la smut ‘licacién de ambos miembros de la esigualdad (1) por 1 + « pro- porciona Ia desigualdad vida (1+ a> (14 ba) (+0), ° que puede esribire en Ia forma (Lee > 14 (E+ Nat hat Eliminando el temino paitivo ka del segundo immo de la ditima esigualdad, se obsene la desgualdad (2). Pronuewa 48. Probar que para todo ndmero natural n > I, ea vr Pronewa 49, Probar que para tedo mimero natural > 1, mt aso Promurwa 50. Probar que Bev(ar + Be) > (e+), ® donde a + b> 0, 296.6 y mes un mimeo natural mayor que 1 Souuetés. 1) Para n= 2, la desgualdad (1) toma I forma 2a +6) > (et 5) @ RJEMPLOS ¥ EJERCICIOS AYANZADOS a Come a:4b, se tiene la desgualdad (a= mt >0, ® Sumando (2 + b)* a cada miembro dela desiguakiad (8) se obsene Jn deigualdad (2). Esto procha que Ia desgualdad (1) se cumple para n= 2, 2) Supéngawe que Ia deigualdad (1) ve cumple para algin i- sero natural n = k; eat BEA) > (a+ HN “ Probemos entonces que la desigualdad (1) debe cumpline para n= E41; ex decir, ) ‘Molipliquemer ambor membros de Ia desgualdad (4) por a+ 8. Puss que por la hipétess orginal, a + 8 > 0, se obtiene Ja dex Sgualdad siguiente BHC + Ba +b) > (a+) © Bars +b) > (at). ‘Para probor la desigualdad (5) es sufiiente demostar que lat + Bh) > BHA 4 HH (a +B), 0 Jo cua es equivaente 8 PPI Abt abt ® [La detigualdad (8) puede excibire en Ia. forma (@- (e~o) >0. 0 Suptngate que « > b. Entonces, dela hipduis de que @ > 0, © coneluye que @ > [6 por lo tanto, at >I, De donde el primer rmiembro de Ia desigualdad (9) es el producto de dos niimeros poi- tivor Si a-< b, entonces, por un razonamiento tmejante, ¢ ve que 2 0 y pars todo nmero natural, a6 comple In desgualdad siguiente: wteteetec se ted, fave Sorveaix. Ja) Para w= 1, la desigualdad (1) toma la forma selon @ a ia (2) da igi hi wonree 1) nn 2, ea (1 on ome woreda o ‘Como ls desgualdad (2) ve cumple para todo x20, también se cumple ise rempiza x por +, et deci, 1 veda Sumando 1a ambor miembros de Ia itima desiguldad, se obdene Ja desigaldad (3). 2) Supine gue cumple I ign (1) pam agin eet erate tater “ ‘Demottrmos que, entonces también debe cumplire In desigualdad 40) para n= Bet 2; en deci, waste dte thy dy E pete tet mets 6) ale [RJEMPLOS ¥ RIRACICIDS AVANZADOS 43 Remplazando x por 2 en Ia desigualdad (2), v ebtene “8 arcbee © Sumando téino témino lx desigualdads (3) y (6), se obtiene In deigaldsd (3). "Hagamos un renmen de fn readin, Fa a) y 18) se probs ‘que la desigualdad (1) se cumple para n= Ly m= 2. En 2) 3 prom 1s qu avalide dela dosguldad (1) para m= B+ 2 se deduce de sa valdee para w= En otras palabras, 2) nos permite paar Ge nm khan n= + 2 Lon reader de Ia) y 2) periten see ‘era qe ln desgundad (I) se cample para toes le valores impares Ue. De modo seman, a rents de Ib) y2) permitenstegwrat ‘que Ia deriguldad se cumple para todos los valores pares de m. De ‘donde puede afar que la Gegualdad (1) ae comple para todes Jon nimeros naturales Promax 52. Probar el teorema siguiente: La media gsometvica {eum nimero fini de nimeros postves no es mayor que su media artic; e deci, para cvaleequira mGmeroe positives <= ay Vem sett te, o Souvcaén, 1) Para n= 2, Is desigualdad (1) wma la forma, +6, @ Para nimerosarbitrarios 6, y on s¢ cumple la desigualdad siguiente: (Var~ Vay 20. De ests dsigualdad @ facil obtener la desigualdad (2). La dorigudad (2) tiene una interpreacién eons sencil Sobre una recta dada, wlccionemos un punta A y determiners lot segmcnioe AC y CD que tengan lat longitudes a, y a, respective mente, Ahora constrayames un clrulo que tenga el seginento rect- Tineo AB como didmeto. Asi la longitu de un radio del cfreulo“ ronertos ¥ eyenccis wt 54. en ot pmo G,loamen wos perpen al eg ‘anion AB yu Del poe el i ea perpen Dencc ena canteen Enon engi el gern De vam, 2} Sapingen qv 6 digesting (1) w caple para n= ky pratique ons line cmple prs 23 aa = Warm va Vania am Vomra + Versi ta A 2 Stet te at ont eet cumple para n= E+ 1, comple param = h donde # 2 on nero etal ata Sin embargo, eo no proc qué la desiuldad se cumple pura to slo ‘un valor dem, ¥ cho iene pars todor lor alors den, donde me an ‘Mivro natural En pocarpalbrs leer conse tn flo probar acon ‘icin 2, yo cosderar le eon}, tn que no te ba proporionado 1s tate pars na demote induct Promana 45. Fleimente se oben que $e el menor némero mtu! amet cal se comple In designiad 2° Sn +1 Tuna tec ech de gr wie eo dealin implica su valde para n= E| (problema 44), se cneoye {or le deipaind ve compl prs tte mer eal = 2 SOLUGON A Los EsERCICIOS DEL cAPIrULO 2 63 Promaua 48, 1) La férmola te cumple pera n= 2, 8 qoe 2) Suponiendo que q 0 @ eo Salta smulpliando amber miembrot por VEZT~ VE Sumando ttonino 2 ‘ino Tos desigualdades (1) y (3), se obtiene Ia deigaléad (2). 6 Pronuiaa 42, 1) La desigualded se cumple para n= 2, yx que <6. 2) Supsngne ve * con mica onde # > 2, Ex Hil proba que pars #> 0 M+ DS (kN) 2D ree See De agut AO eee abr wks DED Tat eee See os dei, asa wise