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