Vous êtes sur la page 1sur 12

COMO ESCRIBIR DEMOSTRACIONES

Primera Parte: Las estructuras lgicas bsicas de demostraciones 1) Introduccin a las Demostraciones 2) Demostracin Directa 3) Demostracin or Contradiccin !) Demostracin or Contra osicin ") S# $ Solamente Si %) Demostracin or Induccin Segunda Parte: Estrategias para demostraciones 1) Desenredando De&iniciones 'Como Em e(ar) 2) Demostraciones Constructi)as *ersus Demostraciones E+istencial 3) E,em los Contrarios !) Demostracin Caso or Caso ") -.ue .uiere Decir /Bien De&inido01 %) El 2rece to del A3u,ero de 2alomas Introduccin a las Demostraciones Las demostraciones son el corazn de las matemticas. Si uno esta estudiando matemticas, uno debe venir a trminos con las demostraciones: uno debe poder leer, entender y escribir demostraciones. Cual es el secreto? Dnde esta el misterio? u ma!ia necesita saber? La respuesta corta es: no "ay secreto, nin!#n misterio, nin!una ma!ia. $odo lo %ue es necesario es un poco de pensamiento racional y una comprensin bsica de al!unas tcnicas con&iables y &ciles de entender. 4a Estructura de una Demostracin La estructura bsica de una demostracin es &cil: es solamente una serie de declaraciones, y cada declaracin puede ser: 'na suposicin o 'na conclusin %ue viene de una suposicin o de un resultado previamente demostrado. ( eso es todo. De vez en cuando "abr una observacin %ue clari&ica, pero es )usto para el lector y no tiene nin!#n e&ecto l!ico en la estructura de la demostracin. 'na demostracin bien escrita debe de leerse suavemente. *s decir, el lector debe sentirse como si est tomado un paseo %ue lo lleva directa e inevitable a la conclusin, sin distracciones sobre los detalles inaplicables. Cada paso debe ser claro o por lo menos )usti&icado claramente. 'na demostracin buena es &cil de se!uir. Cuando uno "a acabado con la demostracin, uno debe aplicar los criterios antedic"os a cada oracin: es claramente +a, una suposicin o +b, una conclusin )usti&icada? Si la oracin no satis&ace los criterios, %uiz no pertenece en la demostracin. 5n E,em lo6 4a Ra#( Cuadrada de 2 es Irracional -ara escribir demostraciones, uno debe poder leer demostraciones. .ea si puede se!uir la prueba aba)o. /o se preocupe de cmo "abr0a podido concebir +o no concebir, la idea para la demostracin.

Lea la demostracin con un o)o "acia los criterios enumerados arriba: *s cada oracin claramente una suposicin o una conclusin? Se "a escrito la demostracin para %ue se lea suavemente? Se "a demostrado el teorema? 1ntes de %ue comencemos la demostracin, debemos recordar al!unas de&iniciones. 'n n#mero real se llama racional si puede ser e2presado como el cociente de dos n#meros enteros: p3%. Los !rie!os anti!uos pensaron %ue todos los n#meros eran racionales. 'n n#mero %ue no es racional ser0a llamado irracional. 'no probablemente cree %ue p es irracional. +Le puede sorprender %ue esto no sea &cil de demostrar,. Cuando los !rie!os demostraron %ue la ra0z cuadrada de 4 no es un n#mero racional, las bases de la aritmtica estuvieron en duda. 5ste es una de las razones por las %ue prosper la !eometr0a !rie!a: todos los n#meros se podr0an tratar con !eomtrica sin re&erencia a la racionalidad. 6tro "ec"o %ue necesitaremos es *l $eorema 7undamental de la 1ritmtica. *ste teorema %ue suena tan e2citante no es nada ms %ue el "ec"o de %ue cada n#mero entero positivo tiene una representacin #nica como producto de n#meros primos. La tcnica de la demostracin %ue utilizaremos es la demostracin por contradiccin. /o se necesita nin!#n conocimiento especializado para entender lo %ue esto si!ni&ica. *s muy simple. 1sumiremos %ue la ra0z cuadrada de 4 es un n#mero racional y despus lle!aremos a una contradiccin. 1se!#rese de entender cada l0nea de la demostracin. Teorema7 Demostracin7 4a ra#( cuadrada de 2 es un n8mero irracional7 8epresentemos la ra0z cuadrada de 4 por s. *ntonces, por la de&inicin, s satis&ace la ecuacin s4 9 4. Si s era un n#mero racional, podr0amos escribir s 9 p3% donde p y % son un par de n#meros enteros. -odemos dividir el m#ltiplo com#n si es necesario e incluso asumir %ue p y % no tienen nin!#n m#ltiplo com#n +con e2cepcin de :,. 1"ora sustituimos esto en la primera ecuacin. 6btenemos, despus de un poco de l!ebra, la ecuacin: p4 9 4 %4. 1"ora, por *l $eorema 7undamental de la 1ritmtica, 4 debe aparecer en la &actorizacin como primo del n#mero p4 +por %ue aparece en el mismo n#mero 4 %4,. -uesto %ue 4 por s0 mismo es un n#mero primo, entonces 4 debe aparecer en la &actorizacin como primo del n#mero p. -ero entonces, 4 aparecer0a en la &actorizacin como primo de p 4, y por lo tanto en 4 %4. Si dividimos por 4, aparece %ue 4 est en la &actorizacin primo de % 4. Como antes +con p4, nosotros podemos concluir %ue 4 es un &actor primo de %. -ero a"ora tenemos p y % compartiendo un &actor primo, el numero 4. *sto viola nuestra suposicin mencionada arriba +vea si puede encontrarla, de %ue p y % no tienen nin!#n m#ltiplo com#n con e2cepcin de :.

Demostracin Directa Comencemos con un e)emplo. *)emplo: La Divisibilidad es $ransitiva

Si a y b son dos n#meros naturales, decimos %ue a divide a b si "ay otro n#mero natural ; tales %ue b 9 a ;. -or e)emplo, 4<:= divide a >44:?@ por%ue "ay un n#mero natural ; +es decir ; 9 :=<, tal %ue >44 :?@ 9 4<:= ;. >44 :?@ 9 4<:= A :=< Teorema7 Demostracin7 Si a di)ide 9 $ 9 di)ide c entonces a di)ide c7 -or nuestras asunciones, y la de&inicin de la divisibilidad, "ay n#meros naturales ;: y ;4 tales %ue b 9 a ;: y c 9 b ;4. -or lo tanto, c 9 b ;4 9 a ;: ;4. De)e ; 9 ;: ;4. 1"ora ; es un n#mero natural y c 9 a ;, y por la de&inicin de la divisibilidad, a divide c.

S# 2: Entonces . La mayor0a de los teoremas +de tarea o de e2amines, %ue uno desea probar est e2pl0citamente o impl0citamente en la &orma Bsi -, entonces B. *n el e)emplo anterior, B-B era Bsi a divide b y b divide cB y B B era Ba divide cB. 5sta es la &orma estndar de un teorema +aun%ue puede ser dis&razada,. 'no debe de pensar en una demostracin directa como una serie de implicaciones %ue comienzan con B-B y %ue terminan con B B. -C La mayor0a de las demostraciones son +y deben de ser, demostraciones directas. 'no debe siempre intentar una demostracin directa primero, a menos %ue uno ten!a una buena razn para no intentarlo. 2arece Demasiado ;<cil Si uno encuentra una demostracin simple, y se esta convencido %ue esta en lo correcto, no sea t0mido. Duc"as demostraciones son simples y cortas. *n el teorema de aba)o, un cuadrado per&ecto si!ni&ica un n#mero entero de la &orma a 4 donde a es un n#mero entero, y un n#mero entero impar es cual%uier n#mero entero en la &orma 4aE:. Teorema7 2rue9a7 Cada n8mero entero im ar es la di&erencia de dos cuadrados er&ectos7 Supon!a %ue 4aE: es un n#mero entero impar, entonces 4aE: 9 +aE:,4 F a4.

Dnde est la prueba? *st all0. *s muy corta. Otro E,em lo Sim le 8ecuerde %ue un n#mero natural es llamado compuesto si es el producto de otros n#meros naturales todos ms !randes %ue :. -or e)emplo, el n#mero @< ?G: ?H: es compuesto por %ue es el producto de :> ?G< y 4>?<. Teorema7 Demostracin7 El n8mero 1==777 =1 'con 3n>1 ceros: donde n es un n8mero entero m<s 3rande ?ue =) es com uesto7 -odemos reescribir nuestro n#mero como :II... I: 9 :I@n E : donde n es un n#mero entero ms !rande %ue I. 1"ora utilice la identidad a@ E b@ 9 +aEb, +a4 F a b E b4, con a 9 :In y b 9 :, para conse!uir: +:In,@ E : 9 +:In E :, +:I4n F :In E :,.

1cabaremos una vez %ue "ayamos demostrado %ue ambos &actores +:In E :, y +:I4n F :In E :, son ms !randes %ue :. *n el primer caso, esto est claro por%ue :In J I cuando n J I. *n el se!undo caso, :I4n F :In 9 :In +:In F :, J I, cuando n J I. *sto termina la prueba. Debe ase!urase de entender por%u era necesario discutir los dos casos al &in de la demostracin. ;unciones In$ecti)as 'na &uncin &+K, C( se dice inyectiva si para cual%uier par +a, b, en K, tales %ue &+a, 9 & +b, implica %ue a 9 b. $ambin, si &+K, C( y ! +(, CL son dos &unciones, entonces la composicin ! &+K, CL es la &uncin de&inida por el ! &+a, 9 el ! +&+a,, para cada a en K. 6bserve %ue la composicin ! & est de&inido solamente si el dominio de & se contiene el ran!o de !. Teorema7 Demostracin7 Si dos &unciones in$ecti)as ueden ser com uestas su com osicin tam9i@n es in$ecti)a7 De)e a y b estar en K y asumir %ue ! &+a, 9 el ! & +b,. $enemos, ! +&+a,, 9 ! +& +b,,, podemos concluir %ue &+a, 9 & +b, por%ue ! es inyectiva. 7inalmente, podemos concluir %ue, a 9 b por%ue & es inyectiva.

Ra#ces de olinomios 'n n#mero r se dice una ra0z del polinomio p+2, si p+r, 9 I. Teorema7 Si r1 $ r2 son ra#ces distintas del olinomio '+) A +2 B 9 + B c: entonces r1 B r2 A > 9 $ r1 r2 A c7 Si!ue de nuestras asunciones %ue p+2, puede ser &actorizado: p+2, 9 +2 F r:, +2 F r4, Si ampliamos el lado derec"o conse!uimos p+2, 9 24 F +r: E r4, 2 E r: r4. Compare los coe&icientes arriba con los de p+2, 9 24 E b 2 E c para conse!uir: r: E r4 9 F b y r: r4 9 c.

Demostracin7

E,ercicios *scriba una demostracin para cada uno del si!uiente. :. Si a divide b y a divide c entonces a divide b E c. +1%u0 a, b, y c son n#meros naturales positivos y la de&inicin de la divisibilidad est dada arriba., 4. Si a es un n#mero entero, divisible por ?, entonces a es la di&erencia de dos cuadrados per&ectos. @. Si a y b son n#meros reales, entonces a4 E b4 M 4 a b. ?. La suma de dos n#meros racionales es un n#mero racional. >. Si dos &unciones sobreyectivas pueden ser compuestas su composicin tambin es sobreyectiva. +La &uncin &: KFJ( se dice sobreyectiva si para cada b en ( "ay un elemento a en K tales %ue &+a, 9 b., H. Si r:, r4, r@ son tres +no dos i!uales, ra0ces distintas del polinomio p+2, 9 2@ E b 24 E c 2E d, resulta %ue, r: r4 E r: r@ E r4 r@ 9 c.

Demostraciones 2or Contradiccin 'reduccin al a9surdo) *n una demostracin por contradiccin +es ms &cil usar la &rase demostracin por contradiccin en vez de reduccin al absurdo, asumimos, )unto con las "iptesis, la ne!acin l!ica del resultado %ue deseamos demostrar, y despus alcanzamos una cierta clase de contradiccin. *s decir, si deseamos probar Bsi -, entonces B, nosotros asumimos - y no . La contradiccin %ue alcanzaremos podr0a ser una cierta conclusin %ue contradi!a una de nuestras presuposiciones, o al!o obviamente &also como : 9 I. Lea la prueba de la irracionalidad de la ra0z cuadrada de 4 en la introduccin. 1%u0 "ay al!unos e)emplos. In&initamente MucCos N8meros 2rimos 'na de las primeras demostraciones por contradiccin es la !ema si!uiente, atribuida a *uclides. Teorema7 Demostracin7 Da$ in&initamente mucCos n8meros rimos7 1suma por el contrario %ue "ay solamente &inito muc"os n#meros primos, y todos se enumeran de esta manera: p:, p4 ..., pn Considere el n#mero % 9 p:p4... pn E :. *ste n#mero no es divisible por cual%uiera de los n#meros primos mencionados por%ue si dividiramos pi en %, all0 resultar0a un resto de : para cada i 9 :, 4..., n. *ntonces, debemos concluir %ue % es un n#mero primo, no entre los n#meros primos enumerados, contradiciendo nuestra presuposicin %ue todos los n#meros primos estn en la lista p:, p4 ..., pn.

La prueba por contradiccin se utiliza cuando uno desea demostrar la imposibilidad de al!o. 'no debe asumir %ue es posible, y despus alcanzar una contradiccin. *n los si!uientes e)emplos utilizaremos esta idea para probar la imposibilidad de ciertas clases de soluciones a al!unas ecuaciones. E,em lo6 5na Ecuacin De Dio Cantine 'na ecuacin de Diop"antine es una ecuacin para la cual uno busca soluciones entre los n#meros enteros. -or e)emplo: Los triples -ita!ricos +2, y, z, son soluciones de n#meros enteros positivos a la ecuacin 24 E y4 9 z4 Teorema7 Demostraciones7 No Ca$ soluciones ositi)as entre los n8meros enteros a la ecuacin Dio Cantine +2 > (2 A 17 +Demostracin por Contradiccin., 1suma por el contrario %ue "ay una solucin +2, z,, donde 2 y z son n#meros enteros positivos. Si ste es el caso, nosotros podemos &actorizar el lado iz%uierdo: 24 F z4 9 +2F z,+2E z, 9 :. Si!ue %ue: 2Fz9: 2 F z 9 F: y 2Ez9: y 2 E z 9 F: por%ue 2 y z son n#meros enteros. *n el primer caso podemos sumar las dos ecuaciones para conse!uir: 2 9 : y z 9 I,

contradiciendo nuestras suposiciones de %ue 2 y z son positivos. *l se!undo caso es similar, consi!uiendo: 2 9 F: y z 9 I, otra vez contradiciendo nuestra suposicin. E,em lo6 Ra#ces Racionales Nay una &rmula para solucionar la ecuacin c#bica !eneral a 2@ E b 24 Ec 2 E d 9 I, %ue es ms complicado %ue la ecuacin cuadrtica. -ero en este e)emplo, deseamos probar %ue no "ay ra0ces racionales a una ecuacin c#bica particular sin usar la &rmula c#bica !eneral. Teorema7 Demostracin7 No Ca$ soluciones de n8meros racionales a la ecuacin +3 B + B 1 A =7 +Demostracin por Contradiccin., 1sumimos por el contrario %ue "ay un n#mero racional p3%, en &orma reducida, con p no i!ual a cero, %ue satis&ace la ecuacin. *ntonces, tenemos p@3%@ E p3%E : 9 I. Despus de multiplicar cada lado de la ecuacin por %@, conse!uimos la ecuacin: p@ E p %4 E %@ 9 I Nay tres casos %ue considerar: :, si p y % son impares, el lado iz%uierda de la ecuacin antedic"a es impar. -ero cero no es impar, esto nos de)a con una contradiccin. 4, si p es uni&orme y % es impar, entonces el lado iz%uierda es impar, otra vez una contradiccin. @, si p es impar y % es uni&orme, conse!uimos la misma contradiccin. *l cuarto caso FF p uni&orme y % uni&orme FF no es posible por%ue asumimos %ue p3% est en &orma reducida. *sto termina la demostracin.

El In)erso de 5n Teorema *l Onverso de BSi -, entonces B es la asercin BSi , entonces -B. -or e)emplo, el inverso de BSi es mi coc"e, es ro)oB es BSi el coc"e es ro)o, entonces es mi coc"e.B Debe estar claro %ue no "ay !arant0a %ue el inverso de una declaracin verdadera es verdad. La demostracin por contradiccin es la manera ms natural de probar el inverso de un teorema ya demostrado. El In)erso del Teorema 2ita3rico *l teorema pita!rico nos dice %ue en un trin!ulo rectn!ulo, "ay una relacin simple entre las dos lon!itudes +a y b, y la lon!itud de la "ipotenusa, c, de un trin!ulo rectn!ulo: a4 E b4 9 c4. uizs usted no sabe %ue el inverso tambin es verdad. Teorema El in)erso del teorema ita3rico7 Si las tres lon3itudes laterales 'distintas a cero) de un tri<n3ulo a: 9 $ c satis&acen la relacin6 a2 B 92 A c2: el tri<n3ulo ?ue &orman es un tri<n3ulo rect<n3ulo7 'asuma ?ue el teorema ita3rico se Ca demostrado anterior7) +Demostracin por Contradiccin.,

Demostracin7

Supon!a %ue el trin!ulo no es un trin!ulo derec"o. *ti%uete las cimas 1, P y C se!#n las &i!uras aba)o +"ay dos posibilidades para la medida del n!ulo C: menos de <I !rados +la &i!ura a la iz%uierda, o mayor de <I !rados +la &i!ura a la derec"a,.,

*ri)a una l0nea perpendicular CD se!#n las &i!uras aba)o.

-or el teorema pita!rico, PD4 9 a4 E b4 PD4 9 c4, *sto implica %ue: PD 9 c. $enemos trin!ulos issceles 1CD y 1PD. Si!ue %ue tenemos n!ulos con!ruentes CD1 9 C1D y PD1 9 D1P. -ero esto contradice las desi!ualdades evidentes +vea la &i!ura arriba,: PD1 Q CD1 9 C1D Q D1P +cuadro iz%uierdo, o D1P Q C1D 9 CD1 Q PD1 +cuadro derec"o,. *)ercicios 'tilice el mtodo de Demostracin -or Contradiccin para probar cada uno del si!uiente. :. 4. @. ?. La ra0z c#bica de 4 es irracional. /o "ay soluciones de n#meros enteros positivos a la ecuacin Diop"antine 24 F y4 9 :I. /o "ay solucin de n#meros racionales a la ecuacin 2> E 2? E 2@E24E : 9 I Si a es un n#mero racional y b es un n#mero irracional, aEb es un n#mero irracional.

Demostraciones 2or Contra osicin 'na demostracin por contraposicin se aprovec"a de la e%uivalencia l!ica entre: B- implica B y Bno implica no -B. -or e)emplo, la asercin Bsi es mi coc"e, entonces es ro)oB es e%uivalente a Bsi ese coc"e no es ro)o, entonces no es m0oB. -ara demostrar Bsi -, entonces B por el mtodo de contraposicin uno debe probar Bsi no , entonces no -B. E,em lo6 2aridad 1%u0 est un e)emplo simple %ue ilustra el mtodo. La demostracin utilizar las de&iniciones si!uientes. De&iniciones. :. 'n n#mero entero 2 se dice ar +respectivamente im ar, si "ay otro n#mero entero ; para el cual 2 9 4; +respectivamente 4;E:,. 4. Dos n#meros enteros se dicen tener la misma aridad si son ambos impares o ambos pares. -ara el propsito de este e)emplo asumiremos %ue "emos demostrado %ue cada n#mero entero es par o impar. Teorema Demostracin7 Si + $ son dos n8meros enteros donde + B es ar: entonces + $ tienen la misma aridad7 La versin de este teorema usando contraposicin es: Bsi 2 y p son dos n#meros enteros con paridad opuesta, entonces su suma debe ser impar.B 1sumimos %ue 2 y p tienen paridad opuesta. *sto implica %ue uno de estos n#meros enteros es par y el otro impar, no perdemos la !eneralidad si suponemos %ue 2 es par y p es impar. *ntonces "ay n#meros enteros ; y m donde 2 9 4; y p 9 4mE:. 1"ora, computamos la suma 2Ep 9 4;E 4m E : 9 4+;Em, E :, resulta un n#mero entero impar por la de&inicin.

-Cmo es di&erente a una demostracin or Contradiccin1 La di&erencia entre el mtodo de contraposicin y el mtodo de contradiccin es sutil. *2aminemos cmo los dos mtodos se aplican al intentar la demostracin Bsi -, entonces B. Dtodo de Contradiccin: 1suma - y no y demuestra un tipo de contradiccin. Dtodo de Contraposicin: 1suma no y demuestra no -. *l mtodo de contraposicin tiene la venta)a %ue la meta est clara: Demuestra /o -. *n el mtodo de contradiccin, la meta es demostrar una contradiccin, pero no es siempre claro %ue la contradiccin va a ser al comienzo de la demostracin. 5na 2rue9a 2ara 4os Cuadrados 2er&ectos *n este e)emplo, necesitaremos dos nociones: 'n n#mero entero n se dice cuadrado er&ecto si "ay otro n#mero entero ; tales %ue n 9 ;4. -or e)emplo, :@ HG< es un cuadrado per&ecto por %ue :@ HG< 9 ::=4.

La se!unda idea es la idea del resto y la aritmtica modular. -ara dos n#meros enteros m y n, n mod'm) A r ser el resto %ue resulta cuando dividimos n 3 m. *sto si!ni&ica %ue "ay un n#mero entero % tal %ue n 9 m% E r. -or e)emplo, :4= mod+4<, 9 :: por%ue 4< multiplicara ? veces y sumando ::, se obtiene :4=. es decir :4= 9 +?,+4<, E :: :4= 9 ::H E :: :4= 9 :4= La determinacin de %ue si un n#mero entero positivo es un cuadrado per&ecto puede ser di&0cil. -or e)emplo, es G4 H?4 G@? H=: un cuadrado per&ecto? -rimero computamos G4 H?4 G@? H=: mod +?, 9 @. *ntonces utilice este teorema: Teorema7 Demostracin7 Si n es un n8mero entero ositi)o tal ?ue n mod'!) es 2 o 3: entonces n no es un cuadrado er&ecto7 Demostraremos la versin de contraposicin: BSi n es un cuadrado per&ecto entonces n mod+?, debe ser I o :.B +-uede ver por%u sta es la versin de contraposicin?, Supon!a n 9 ;4. Nay cuatro casos a considerar: :. Si ; mod+?, 9 I, entonces ; 9 ?%, para un cierto n#mero entero %. *ntonces, n 9 ;4 9 :H %4 9 ?+? %4,, es decir n mod+?, 9 I. 4. Si ; mod+?, 9 :, entonces ; 9 ?% E :, para un cierto n#mero entero %. *ntonces, n 9 ;4 9 :H %4 E G % E :9 ?+? %4 E 4 %, E :, es decir n mod+?, 9 :. @. Si ; mod+?, 9 4, entonces ; 9 ?% E 4, para un cierto n#mero entero %. *ntonces, n 9 ;4 9 :H %4 E :H % E ? 9 ?+? %4 E ? % E :,, es decir n mod+?, 9 I. ?. Si ; mod+?, 9 @, entonces ; 9 ?% E @, para un cierto n#mero entero %. *ntonces, n 9 ;49 :H %4 E 4? % E < 9 ?+? %4 E H % E 4, E :, es decir n mod+?, 9 :.

E,ercicios Demuestre cada uno del si!uiente por el mtodo de contraposicin. :. Si 2 y p son dos n#meros enteros tales %ue su producto es par, entonces por lo menos uno de los dos debe ser par. 4. Si 2 y p son dos n#meros enteros tales %ue su producto es impar, entonces ambos deben ser impares. @. Si n es un n#mero entero positivo tales %ue n mod+@, 9 4, entonces n no es un cuadrado per&ecto. ?. Si a y b son n#meros reales tales %ue el producto a b es un n#mero irracional, entonces a o b debe ser un n#mero irracional. Si $ Solamente Si Duc"os teoremas se indican en la &orma B-, si, y solamente si, B. 6tra manera de decir las mismas cosas es: B es necesario, y su&iciente para -B. *sto si!ni&ica dos cosas: Bsi -, entonces B y Bsi , entonces -B. -ara demostrar un teorema de &orma Bsi, y solamente siB teorema, uno debe demostrar dos implicaciones. E,em lo6 Di)isin *n este e)emplo utilizaremos un "ec"o muy #til sobre n#meros enteros, el Al3oritmo de la Di)isin: Si n y m son n#meros enteros, entonces "ay otros dos n#meros enteros % y r, donde I c r Q m, tales %ue n 9 %m E r.

-or e)emplo, si n 9 :I@ y m 9 :>, entonces :I@ 9 +H,+:>, E :@. +es decir, si se divide:> en :I@, el resultados ser un cociente de % 9 H, con un resto de r 9 :@., Teorema7 Demostracin7 Si a es un n8mero entero: entonces a no es uni&ormemente di)isi9le or 3 si $ solamente si: a2 >1 es uni&ormemente di)isi9le or 37 *ste teorema tiene la &orma de Bsi, y solamente siB, /osotros debemos demostrar dos implicaciones: 'ESiE) Debemos demostrar %ue Ba no es uni&ormemente divisible por @ si a 4 R: es uni&ormemente divisible por @B. 1sumimos %ue @ divide uni&ormemente a4 F:9 +aF:,+aE:,. -uesto %ue @ es un n#mero primo, @ debe dividir uni&ormemente aF: o aE:. *n cual%uier caso, debe ser evidente %ue @ no pueden dividir uni&ormemente el numero a. 'ESolamente SiE)7Debemos probar %ue Ba no es uni&ormemente divisible por @ solamente si a 4 F: es uni&ormemente divisible por @.B *sto si!ni&ica Bsi a no es uni&ormemente divisible por @, entonces a 4 F: es uni&ormemente divisible por @B. 1%u0 es donde utilizamos el al!oritmo de la divisin indicado arriba. -odemos escribir a 9 @% E r, donde r 9 I, : o 4. /uestra asuncin %ue a no es divisible por @ implica r no puede ser I. Si r 9 :, entonces aF: 9 @% y @ divide uni&ormemente a4 F: 9 +aF:,+aE:,. 'na discusin similar traba)a s0 r 9 4.

1 veces uno puede demostrar una a&irmacin de la &orma Bsi, y solamente siB sin e2pl0citamente dividir la prueba en dos partes. *l e)emplo si!uiente ilustra cmo esto se puede "acer. E,em lo6 5na Re3la De la Di)isin -robablemente uno "a aprendido en la escuela %ue un n#mero entero positivo n es uni&ormemente divisible por @ si la suma de los d0!itos de n es divisible por @. -or e)emplo, 4H4I?H: es uni&ormemente divisibles por @, por%ue 4EHE4EIE?EHE: 9 4: 9 +@,+=,. *n "ec"o, 4H4I?H: 9 +@,+G=@?G=,. *sta condicin es realmente necesaria y su&iciente. Teorema7 Demostracin7 5n n8mero entero ositi)o n es uni&ormemente di)isi9le or 3 si: $ solamente si: la suma de los d#3itos de n es di)isi9le or 37 Supon!a %ue n es un n#mero entero positivo %ue tiene por representacin el d0!ito: aIa:a4...a;. *s decir, n 9 aI E a: :I E ...a; :I;. La suma de los d0!itos es s 9 aI E a: E ... E a;. 1"ora, nFs 9 +aI E a: :I E ...a; :I;,F+aI E a: E ... E a;, 9 a: < E a4 << E ... E a; +<<...<, +donde el #ltimo termino tiene ; nueves,.

1s0 pues, claramente, n F s es divisible por @. Si!ue %ue n es divisible por @ si, y solamente si, s es divisible por @. *)ercicios -ruebe cada uno del si!uiente. :. Si a es un n#mero entero, entonces a no es uni&ormemente divisible por > si, y solamente si, a? R: es uni&ormemente divisible por >. 4. -ara dos n#meros enteros a y b, aEb es impar si, y solamente si, e2actamente uno de los n#meros enteros, a o b, es impar. @. -ara dos n#meros enteros de a y b, el producto ab es par si y solamente si por lo menos uno de los n#meros enteros, a o b, es par. ?. 'n n#mero entero positivo n es uni&ormemente divisible por < si, y solamente si, la suma de los d0!itos de n es divisible por <. >. 'n n#mero entero positivo n es uni&ormemente divisible por :: si, y solamente si, la di&erencia de las sumas de los d0!itos en las posiciones pares e impares en n es divisible por :: Demostracin or Induccin Matem<tica Comencemos con un e)emplo. *)emplo: 'na 7rmula De La Suma Teorema7 Demostracin7 2ara cual?uier n8mero entero ositi)o n 1 B 2 B777 B n A n'nB1)F27 +Demostracin usando Onduccin Datemtica, De)e -+n, ser la declaracin B: E 4 E... E n 9 +n +nE:,34.B +la idea es %ue -+n, sea una asercin %ue para cual%uier n es comprobable verdad o &alsa., La prueba a"ora proceder en dos pasos: *l aso inicial *l aso inducti)o. 2aso Inicial7 Debemos veri&icar %ue -+:, es verdad. -+:, a&irma B: 9 :+4,34B, %ue es claramente verdad. Nemos terminado con el paso inicial. 2aso Inducti)o. 1%u0 debemos probar la asercin si!uiente: Bsi "ay una ; tales %ue -+;, es verdad, entonces +para este mismo ;, -+;E:, es verdad.B 1s0, asumimos %ue "ay una ; tales %ue : E 4 E... E ; 9 ; +;E:,34. +llamamos esto la resu osicin inducti)a., Debemos probar, para esta misma ;, la &rmula: : E 4 E... E ; E +;E:, 9 +;E:,+;E4,34. *sto no es demasiado di&0cil: : E 4 E... E ; E +;E:, 9 ;+;E:,34 E +;E:, 9 +;+;E:, E 4 +;E:,,34 9 +;E:,+;E4,34. La primera i!ualdad es una consecuencia de la suposicion inductiva. 4a Estrate3ia De Induccin Matem<tica

1s0 es como la Onduccin matemtica se aplica: Supon!a %ue uno desea probar un teorema de la &orma: B-ara todos los n#meros enteros n mayores %ue o i!ual a b, -+n, es verdadB. -+n, debe ser una asercin %ue deseamos sea verdad para todos los n#meros n tales %ue n 9 b, bE:...S como una &rmula. 'no debe de veri&icar el aso inicial. *s decir, uno debe veri&icar %ue -+b, sea verdad. .iene despus el aso inducti)o. 1%u0 uno debe probar Bsi "ay una ;, mayor %ue o i!ual a b, para la cual -+;, es verdad, entonces para esta misma ;, -+;E:, es verdad.B -uesto %ue uno "a veri&icado -+b,, si!ue del paso inductivo %ue -+bE:, es verdad, y por lo tanto, -+bE4, es verdad, y por lo tanto -+bE@, es verdad, etctera. De esta manera se "a probado el teorema. E,em lo6 5na ;rmula De 4a Re eticin La induccin matemtica es de nin!#n uso para derivar &rmulas. -ero es una buena manera de probar la validez de &rmulas %ue uno piensa son verdad. Las &rmulas de repeticin son di&0ciles de derivar, pero &ciles de probar vlido cuando uno los tiene. -or e)emplo, considere la secuencia aI, a:, a4, ... de&inido por aI 9 :3? y anE: 9 4 an+:Fan, para n J I. Teorema7 Demostracin7 5na &rmula ara la secuencia an de&inido arri9a: es6 an A '1 > 1F22n)F2 ara todos los n8meros n ma$or ?ue o i3ual a =7 +'sando Onduccin matemtica,: 2aso Inicial7 Cuando n 9 I, la &rmula nos da +: F :344n,34 9 +: F :34,34 9 :3? 9 aI. La &rmula de &orma cerrada nos da la respuesta correcta cuando n 9 I. 2aso Inducti)o7 /uestra suposicion inductiva es: 1suma %ue "ay una ;, mayor %ue o i!ual a cero, tal %ue T a; 9 +: F :344;,34. Debemos demostrar %ue la &rmula es verdad para n 9 ;E:. -rimero invocamos la de&inicin recurrente, a;E: 9 4 a;+:Fa;,. Despus, invocamos la suposicin inductiva, para esta ;, para conse!uir a;E: 9 4 +: F :344;,34 +: F +: F :344;,34, 9 +: F :344;,+: E :344;,34 9 +: F :344;E:,34. *sto termina el paso inductivo. *)ercicios -ruebe cada uno del si!uiente usando induccin matemtica :.F 4.F -ara todos los n#meros enteros positivos n, :4 E 44 E ... E n4 9 +n,+nE:,+4nE:,3H. De&ina una secuencia aI, a:, a4 por la &rmula recurrente anE: 9 4 an F an4. *ntonces, una &rmula de &orma cerrada para an es an 9 : F +: F aI,4n para todo n 9 I, :, 4....