You are on page 1of 21

1. Induccin.

1.1. Proceso y mtodo de la induccin.


1.1.1. Introduccin (para los profesores).

A lo mejor a cada uno de ustedes le ha tocado colocar fichas de domin en fila.


Cuando empujas la primera cae la segunda, la segunda empuja la tercera hasta
que caen todas. Cambiemos la fila de fichas por una serie de afirmaciones infinita:
AI, A?, A%,..., enumeradas con nmeros naturales. Supongamos que sabemos
demostrar lo siguiente:
(B): la primera afirmacin de la serie es verdadera;
(P): de la veracidad de cualquier afirmacin dada se deduce la veracidad de la
afirmacin que sigue a ella.
Entonces hemos demostrado todas las afirmaciones de la serie. En realidad,
sabemos "empujar la primera ficha", es decir, demostrar la primera afirmacin, y
(P) significa que "cada ficha, al caer empuja la siguiente". No importa la "ficha"afirmacin que tomemos, la ola de "cadas"-demostraciones, una vez comenzada
tarde o temprano llegar hasta ella, osea la afirmacin ser demostrada.
Nosotros describimos el esquema del mtodo de la induccin matemtica (MIM).
El teorema (B) aqu se llama principio de la induccin, y el teorema (P) es el paso
de la induccin.
El razonamiento con las afirmaciones-" fichas" muestra que el paso (P) es la
corta anotacin de la secuencia de teoremas, representada en la siguiente fig.
Ai -> A-i -> A3 -> . . . - Ak -* -Afc+i -+..,..
Los teoremas de esta secuencia se llamarn pasos, y el proceso de su sucesiva
demostracin es el proceso de induccin. Evidentemente el proceso de induccin
se puede representar como una ola de demostraciones, que va de afirmacin en
afirmacin por la secuencia de teoremas.
Desde el punto de vista sicolgico, lo principal en la induccin es su proceso.
Cmo ensear (o aprender) a realizar este proceso, lo mostramos en forma de
dilogo entre el profesor ("P") y el estudiante ("E"), el cual en forma un poco
alisada refleja la clase real del club. Al final de la primera parte del dilogo citamos
los comentarios de metodologa para el lector-profesor (las referencias estn dadas
en el texto).
P: Problema 1.

De un cuadrado de papel cuadriculado de 16 x 16 cortaron una cuadrcula.


Demuestre que la figura obtenida se puede cortar en "figuras en forma de L" que
contengan tres cuadrculas.
E: Todo es sencillo, en la figura en forma de L hay tres cuadrculas, y 162 1
es divisible por 3.
P: Si todo es tan sencillo, corte al mismo tiempo una tira de 1 x 6 en las figuras
en forma de L, ya que 6 tambin es divisible por 3.
E: S...De esa forma no se puede razonar. Entonces no s como resolver el
problema/1^
P: Usted no puede resolver este problema. Podr usted inventar y resolver un
problema ms fcil, pero semejante a ste?
E: Se puede tomar un cuadrado ms pequeo, por ejemplo de 4 x 4.
P: O de 2 x 1.^
E: Para uno de 2 x 2 no hay nada que demostrar: despus de quitar cualquier
cuadrcula queda exactamente una figura en forma de L. Pero que nos da esto?
P: Intente usted ahora resolver un problema con un cuadrado de 4 x 4.
E: El cuadrado de 4 x 4 se puede cortar en cuatro cuadrados de 2 x 2. Con
uno de ellos, en el cual est cortada una cuadrcula, todo es claro. Y qu hacer
con los otros tres?
P: Intente cortar a ellos una figura en forma de L, que sea adyacente al centro
del cuadrado grande (ver la fig.l).
E: Entend! Cada uno de los tres cuadrados de 2 x 2 pierde de a una cuadrcula
y tambin se convertir en una figura en forma de L! El problema para el cuadrado
de 4 x 4 est resuelto. Pero y qu ms?
P: Intente tomar un cuadrado de 8 x 8. El cuadrado puede ser cortado en
cuatro cuadrados de 4 x 4. Intente utilizar esto.
E: Se puede razonar de la misma forma que antes. En uno de los cuadrados
de 4 x 4 hay una cuadrcula cortada. El cuadrado se puede cortar en figuras en
forma de L, como fue demostrado. Y de los tres restantes cortamos una figura
en forma de L que sea adyacente al centro del cuadrado de 8 x 8. Entonces ellos
pierden de a una cuadrcula, y nosotros podemos tambin cortarlas en figuras en
forma de L.
P: Si se ve ahora cmo resolver el problema inicial?
E: S. Cortamos un cuadrado de 16 x 16 en cuatro cuadrados de 8 x 8. En
uno de ellos est cortada una cuadrcula. Nosotros acabamos de demostrar que el
cuadrado se puede cortar en figuras en forma de L. Y de los tres restantes cortamos
una figura en forma L que sea adyacente al centro del cuadrado de 16 x 16. Ahora

a cada uno de ellos podemos tambin cortarlos en forma de L. Es todo!


P: No, no es todo. Nosotros resolvimos un problema para un cuadrado de 16 x
16, utilizando para ello "puentes" desde los problemas similares ms sencillos. Y
no se podr ahora utilizar "puentes" desde el problema mismo hasta los problemas
similares ms difciles?^.
E: Por favor. Demostramos que en las figuras en forma de L se puede cortar
un cuadrado de 32 x 32 sin cuadrcula. Para esto cortamos el cuadrado en cuatro
cuadrados de 16 x 16, quitamos la figura en forma de L central y utilizamos la
afirmacin ya demostrada sobre el cuadrado de 16 x 16.
P: As, se puede seguir adelante.
E: Claro que s. Como el cuadrado de 32 x 32 se puede cortar, el cuadrado de
64 x 64 tambin se puede cortar, por consiguiente el cuadrado 128 x 128 se puede
cortar y as sucesivamente...
P: Osea resulta una secuencia infinita de afirmaciones similares sobre cuadrados de diferentes tamaos. Y podremos decir que nosotros los demostramos todos?
E: S. Inicialmente demostramos la primera afirmacin de la secuencia osea
sobre el cuadrado de 2 x 2. Luego deducimos de la afirmacin una segunda, de la
segunda afirmacin una tercera, de la tercera una cuarta y as se puede continuar
hasta el infinito. Es claro, que caminando de esa forma por la secuencia, nosotros
llegaremos hasta cada una de sus afirmaciones. Eso significa que todas ellas son
verdaderas.
P: Es cierto. Ahora me imagino el siguiente cuadro: por la secuencia de
afirmaciones y teoremas: 2 x 2 > 4 x 4 8 x 8 > . . . s e desplaza la "ola
de afirmaciones". Claro es, que ella se desplazar hasta cada afirmacin de la
secuencia.
Notas metodolgicas. Haremos varias observaciones con respecto al dilogo
anterior. Estas observaciones estn sealadas en el texto con el respectivo nmero
de la nota.
Comentario #1. En aquel momento, cuando el estudiante "demostr" la
afirmacin del problema con la ayuda de la divisibilidad por 3, ante el profesor
surgi un problema comn-cmo explicar al estudiante su error, sin darle una
ayuda evidente al mismo tiempo. El profesor resuelve el problema con la ayuda
de un contraejemplo preparado de antemano. Tales "piedras submarinas" y los
mtodos de lucha con ellas siempre es til saber de antemano.Rodear las piedras
se debe hacer de forma libre, distraerse en lo mnimo de la lnea principal de la
solucin.
Comentario #2. La introduccin de esta rplica en el texto no es casual.

Es poco probable que el estudiante mismo mencione el caso trivial de 2 x 2- para


l esto "no es un problema" (esta no ser la nica vez que tropecemos con este
momento sicolgico). No obstante el profesor sabe que es ms cmodo empezar
con este caso.
Comentario #3. En esta parte del dilogo de un modo evidente surge un
esquema "paso a paso" de la realizacin de la solucin: 2 x 2 > 4 x 4 > 8 x 8 >
16 x 16.
Ante nosotros tenemos el comienzo de la induccin: la base 2 x 2 y los tres
primeros pasos. Lo importante es que se hicieron suficientes pasos de la induccin,
para que el estudiante note la analoga entre ellos. Ahora, despus de la pregunta
sugestiva el estudiante por s mismo puede fcilmente desarrollar por completo el
proceso de la induccin. Observemos que hay ms soluciones inductivas de este
problema, pero stas no son favorables para nosotros, ya que el proceso de induccin en ellas no se desarrolla tan exactamente, como en el ejemplo mencionado.
Por eso el profesor distrae de las soluciones con una ayuda orientada. En general, preste atencin a la forma como el profesor lleva con exactitud su "partida":
donde es necesario, l imperceptiblemente orienta al alumno hacia el camino adecuado, lo distrae de la falsa analoga y ayuda a economizar fuerzas. Adems es
muy importante para el profesor no ser importuno: una de las principales reglas
consiste en que el alumno debe por s mismo recorrer la mayor parte posible del
camino.
Saquemos una conclusin intermedia: el alumno (pero con ms frecuencia lo
hace el mismo profesor) formul el esquema del mtodo de la induccin matemtica
(MIM). La frase destacada "caminando de esa forma por la secuencia, nosotros
llegaremos hasta cada una de sus afirmaciones" es la libre formulacin del principio de la induccin matemtica, que est en el fundamento del MIM. La exacta
formulacin ustedes pueden conocerla en cualquier libro de matemticas, de stos
hay muchos. Pero admitamos que darla al comienzo del aprendizaje, la mayora
de las veces es inoportuno, y frecuentemente es perjudicial. La formalizacin de
una afirmacin intuitivamente clara puede despertar en el estudiante escrupuloso
una sensacin de incomprensin y ocasionar inseguridad. Al contrario, hay que
hacer del esquema MIM. lo ms dinmico y evidente posible utilizando todos los
medios. Adems de la "ola" y las "fichas" de la introduccin, aqu son tiles las
analogias de la caminata por la escalera, el cierre de la cremallera, etc.
Continuemos un poco ms con el dilogo interrumpido.
P: As, nosotros demostramos una secuencia infinita de afirmaciones sobre las
secciones de cuadrados. Ahora vamos a escribirlo completamente, sin el "etc".

E: De esa forma ningn cuaderno alcanzar.


P: Si, si escribimos cada afirmacin separadamente. Pero si las afirmaciones
son iguales, cambian solo las dimensiones de los cuadrados. Esto nos permite
codificar por completo nuestra secuencia en un rengln:
(*) un cuadrado de 2" x 2n sin una cuadrcula, se puede cortar en figuras en
forma de L.
Aqu hay la variable n. Cualquier afirmacin de nuestra secuencia se puede
obtener, si colocamos en lugar del nmero variable, el nmero igual al nmero
de afirmaciones en la secuencia. Por ejemplo, la afirmacin sobre el cuadrado de
32 x 32 se obtiene para n = 5. Cmo se ve la dcima afirmacin de la secuencia?
E: Coloquemos n 10. Obtenemos una afirmacin sobre un cuadrado de
10
2 x 210, osea 1024 x 1024.
P: Observen: la variable es una cosa comn, y que potencia permite a la
secuencia infinita reducirla en un regln. Qu es entonces una "variable"?
E: Bueno...es una letra...incgnita...
P: Recuerden: esta letra significa simplemente un lugar vaco, mas exacto
un " "marco" donde se pueden ubicar diferentes nmeros. Los nmeros que son
permitidos colocar en lugar de la variable, se llaman sus valores. As, los valores
de la variable n en (*) sirven los nmeros naturales. Precisamente gracias a esto
la frase (*) reemplaza la secuencia infinita de afirmaciones.
Ahora recordemos, como nosotros demostramos, que todas las afirmaciones de
la secuencia (*) son verdaderas. Las designamos en orden: .Ai-sobre el cuadrado
de 2 x 2, A2-sobre el cuadrado de 4 x 4 y as sucesivamente. Inicialmente nosotros
demostramos la afirmacin AI, y despus - la secuencia infinita de teoremas
del mismo tipo: si AI es verdadera, entonces A% es verdadera tambin; si es
demostrado AI, entonces A^ es verdadera tambin; si es demostrado AS,entonces
^4 es verdadera tambin y as sucesivamente. Vamos a intentar codificar esta
secuencia: "Para cada n natural...
E: ...si An est demostrada, entonces y An+i es verdadera."
P: Y ahora decifraremos esta frase: qu significan An y An+1?
E: Resulta as: (**) "Cualquiera que sea el nmero n natural escogido, si ya
est demostrado, que el cuadrado 2n x 2n sin una casilla se puede cortar en figuras
en forma de L, entonces es cierto tambin que el cuadrado de 2n+1 x 2n+1 sin una
casilla se puede cortar en figuras en forma de L".
P: Ustedes pueden demostrar el teorema general obtenido?
E: Tal vez. Cortamos el cuadrado de 2n+1 x 2n+1 en cuatro cuadrados de
2n x 2n. En uno de ellos se ha quitado una casilla. Al cuadrado lo podemos cortar

en figuras en forma de L segn la condicin. De los otros tres quitamos de a una


casilla, habiendo cortado una figura en forma de L, que sea adyacente al centro
del cuadrado inicial, y despus otra vez utilizamos la condicin del teorema.
P: Cierto. Ahora observen, que habiendo demostrado el teorema general (**),
Ustedes demostraron enseguida la secuencia de teoremas del mismo tipo los cuales
estn codificandos en el teorema general. Por ejemplo, reemplazando en sus razonamientos la variable n por el nmero 1, obtenemos la ya conocida demostracin
acerca de que la seccin de un cuadrado de 2 x 2 trae consigo la seccin del
cuadrado de 4 x 4 y as sucesivamente. De esa manera, si (**) es una secuencia
codificada de teoremas, entonces Su razonamiento es una "ola de afirmaciones"
codificada de estos teoremas. Pienso que ustedes entendieron lo siguiente: una
secuencia de teoremas del mismo tipo es ms til demostrar precisamente en esa
forma reducida. Pero claro esta, que para esto es necesario inicialmente aprender
a escribirlos de esa forma.
'
El mtodo, por el cual nosotros resolvimos el problema 1, se llama el mtodo
de induccin matemtica. Qu es lo principal?
En primer lugar, nosotros analizamos la afirmacin (*) no como un hecho
nico, sino como una serie de afirmaciones infinitas del mismo tipo.
En segundo lugar, nosotros demostramos la primera de las afirmaciones, la
cual se llama base de la induccin.
En tercer lugar, nosotros dedujimos de la primera afirmacin la segunda, de la
misma forma la tercera y as sucesivamente hasta el infinito. Este fue el cambio
de la induccin; (**) es su anotacin corta, (reducida) notacin. Por cuanto
de la base con pasos de induccin se puede llegar hasta cualquiera de nuestras
afirmaciones, todas ellas resultan demostradas.
"El mtodo es una idea, utilizada dos veces" (D. Polia).
Para una mejor comprensin del MIM frecuentemente se requiere representar las escenas anteriormente efectuadas en algunos problemas. Los problemas
tiles para este fin, los llamaremos claves. Uno de estos problemas nosotros lo
desarrollamos anteriormente. Ahora analizemos cuatro problemas ms:
Problema 2. Demuestre que el nmero 111... 11 (243 unidades) es divisible
por 243.
Indicaccin: el problema se generaliza hasta la afirmacin, que el nmero,
escrito con 3" unidades, es divisible por 3n. La base: 111 es divisible por 3. Los
estudiantes generalmente empiezan con la afirmacin que 111111111 es divisible
por 9-nuestra base para ellos "no es un problema". Hay dos "piedras submarinas":
el intento por analoga con los criterios de la divisibilidad por 3 y por 9 utilizar
6

el "criterio" no verdadero de la divisibilidad por 27, y el razonamiento del tipo


"si el nmero es divisible por 3 y por 9, entonces l es divisible por 27". El tipo
de cambio necesario: dividir el nmero, escrito con 3n+1 unidades por el nmero,
escrito con 3n unidades y convenserse de que lo particular es divisible por 3.
Problema 3. Demuestre que para cada n natural, empezando con 4, existe
un polinomio de n-lados, que tiene exactamente tres ngulos agudos.
Indicaccin: Este problema es ms conveniente dar, si los estudiantes ya
saben que un polgono convexo no puede tener ms de tres ngulos agudos. La
base n = 4 se demuestra con construccin directa.
El paso: "limamos" uno de los ngulos obtusos, el nmero de ngulos aumenta
en uno, y los ngulos agudos los conservamos (ver la fig.3). El cambio con los
"acomodamientos" de un ngulo a uno de los lados es ms difcil. Hay otras
soluciones (con la utilizacin de los polgonos inscritos y otros), pero de ellos es
fcil desviar las ideas de segmentacin del ngulo. La afirmacin del problema
es cierta, claro es, que y para n = 3, pero para nosotros no es til empezar la
induccin con el tres, porque pasar den = 3 a n = 4 con el mtodo descrito arriba
no se puede, (hacer la fig.3)
El problema 3 da un ejemplo de construccin por induccin.
Problema 4. (El juego "La Torre de Hanoi"). Pedrito tiene una pirmide
infantil con n anillos y dos barras vacas de la misma altura. Se permite cambiar
el anillo superior de una barra a la otra, pero adems de esto se prohibe colocar
el anillo ms grande sobre el ms pequeo. Demuestre, que
a) Pedrito podr cambiar todos los anillos a una de las barras vacas;
b) l podr hacer esto en 2n 1 cambios.
c)*con menos cantidad de cambios no lo lograr.
Indicaccin: a), b): la base es obvia.
Paso. Sea que nosotros podemos cambiar de sitio los k anillos en 2fc 1 pasos.
Tomamos k + 1 anillo. En 2fe 1 pasos cambiamos de sitio todos los anillos,
menos el de abajo, en la tercera barra. Despus el de ms abajo lo colocamos
en el segundo. Despus en 2fe 1 pasos cambiamos todos los dems anillos de la
tercera barra a la segunda. En total obtenemos (2fc 1) + 1 + (2fe 1) = 2k+i I
pasos. Recomendamos al principio hacer varios pasos de induccin "a mano".
c) Dar a eleccin: por la dificultad este punto ya no es clave. La idea de la
demostracin del cambio: para cambiar de sitio el anillo de ms abajo a la segunda
barra, es necesario primero cambiar todos los dems anillos a la tercera barra.
Problema 5. Un plano est dividido en reas con varias lneas. Demuestre
que estas reas se pueden pintar en dos colores de tal forma que dos cualesquiera

reas vecinas estn pintadas con diferentes colores. (Se llaman reas vecinas, las
que poseen un territorio comn en la frontera).
Indicacin: Aqu nos tropezamos con una nueva dificultad: en la condicin
del problema es evidente que falta la indicacin sobre la variable de induccin. Es
necesario empezar la solucin con su revelacin. Para esto se puede reformular la
condicin: "En el plano se pueden trazar n rectas...". Despus la base es n = 1
o n = O a su gusto. El cambio: quitamos la (k + 1) sima recta, coloreamos la
tarjeta obtenida, de nuevo trazamos la recta quitada y coloreamos de nuevo con
el color contrario todas las regiones de un lado de ella.
Para los profesores.

Algunas palabras sobre el trabajo con los problemas claves. Los primeros dos
problemas (generalmente son los problemas 1-2) se discuten de manera similar al
dilogo anterior osea el aumento de la cadena de una afirmacin en particular.
Aqu los estudiantes deben entender lo esencial del proceso de la induccin y
asimilar la relacin entre las cadenas de afirmaciones y las propuestas con las
variables naturales. Con estudiantes poco preparados la reduccin de la cadena
de pasos de la induccin se puede no utilizar en esta etapa. Ella se trabaja en
la segunda etapa de la enseanza, cuyo fin es que los estudiantes trabajen con el
cambio en forma reducida. Los problemas aqu es razonable proponer enseguida
en forma general, como los problemas 3 y 4 anteriores. En ellos la cadena de
afirmaciones ya est dada y la solucin se empieza con su ampliacin, por ejemplo
as: "Ante nosotros tenemos una cadena reducida de afirmaciones. Que dira la
primera de ellas? la quinta? la 1991-sima?". Pero la cadena de pasos de la
induccin igual aumenta y se reduce como el esquema trabajado arriba, mientras
los estudiantes no asimilen slidamente la relacin de la cadena de desarrollo con
su notacin reducida.
Concluyendo las soluciones de los problemas claves, es til dar a los estudiantes
precisos.
PLAN DE SOLUCIN DE LOS PROBLEMAS CON EL MTODO
DE LA INDUCCIN MATEMTICA.
1. Encuentre en las condiciones una serie de afirmaciones de un solo tipo
- ampliado o reducido en la proposicin con variable. La variable puede estar
enmascarada. Entonces encuntrela, trasformando la formulacin de la condicin.
Si no hay cadena, intente aumentarla de tal forma que el problema este en su
contenido.
2. Demuestre la primera afirmacin de la serie (base de la induccin).
3. Demuestre que para cada nmero natural n de la veracidad de la n sima

afirmacin de la serie resulta la veracidad de la (n + 1) sima afirmacin (el


cambio inductivo).
4. Si la base y el cambio estn demostrados, entonces estn demostradas1 y
todas las afirmaciones, ya que hasta cada uno de ellos se puede llegar de la base
con los pasos del cambio.
El ltimo punto en todos los problemas se hace de igual forma. Por eso generalmente no se hace, sino que se supone. Pero saberlo es necesario. Comnmente
no se destaca claramente y el primer punto osea la bsqueda de la serie de afirmaciones. Los que conocen el MIM esto es justo, pero con los principiantes con
insistencia recomendarnos realizarlo hasta tal punto que esto quede sin ninguna
duda.

1.2. MIM y la hiptesis por analoga


ProblemaG. En cuntas partes dividen un plano n rectas, entre las cuales no
hay paralelas y ningunas tres se intersectan en un punto?
E: Intentemos segir el plano. Existe alguna cadena en la condicin? Parece
que si: en cuntos partes divide una recta, dos rectas, tres rectas... a una
superficie? El segundo punto es la base: una recta divide la superficie en dos
partes.
P: O cero rectas dividen una parte.
E: Claro. El tercer punto es el paso...!?
P: Su incomprencin est justificada: nosotros tropezamos con un nuevo tipo
de dificultad. En los anteriores problemas nosotros trabajamos con cadenas de
afirmaciones. Y aqu hay cadena, pero no de afirmaciones, sino de preguntas. Las
afirmaciones se obtienen, si damos las respuestas a ellas.
E: Pero cmo?
P: Intenten adivinar la regla, por la cual el nmero de partes Pn depende del
nmero de rectas n. Los fsicos en estos casos hacen experimentos. Nosotros
tambin podemos "experimentar", encontrando el nmero de partes para valores
no muy grandes directamente. Intntenlo.
E: Bien. As, P0 = 1, P\ = 2, P2 = 4, P3 = 7, P4 = 11. Necesitamos pensar....
Creo adivinar! Con el aumento de la n sima recta el nmero de partes aumenta
a n. Por consiguiente, Pn = I + (1-f 2 + 3 + . . . + n), el problema est resuelto.
(Hacer dibujo 5).
P: No, todava no est resuelto. No olviden que en realidad hasta ahora
nosotros verificamos la igualdad solo para n = 0,l,2,3,4. Para otros valores n es
9

solo una suposicin, basada en la hiptesis, de que el aumento de la n sima


recta aumenta el nmero de partes a n. Y si de pronto la hiptesis no es cierta?
La garanta la obtenemos solo con la demostracin.
E: ...el mtodo de la induccin matemtica.
P: Solo que primero vamos a completar el plan del prrafo 1 con el siguiente
punto:
la. Si en el problema en vez de cadena de afirmaciones hay cadena de preguntas, cambelas por las respuestas propuestas. Las respuestas se pueden adivinar
"experimentando" con las primeras preguntas de la cadena. Pero al adivinar las
respuestas, no olviden sustentarlas.
E: Yo s como sustentar nuestra hiptesis. La base ya la verificamos. Y en
cuanto al aumento de la n sima recta la cantidad de partes aumenta a n, se
demuestra fcil: ella intersecta a las rectas viejas en n 1 puntos y significa que
intersecta n segmentos viejos.
La hiptesis por analoga est demostrada por nosotros, solo que es arma
punzante y peligrosa: es grande la tentacin aceptar solo la ley adivinada por la
ya demostrada. Un buen remedio para tal error (equvoco) sirven los problemas
donde la hiptesis impuesta (surgida) resulta no verdadera. He aqu dos ejemplos.
Problema?.

Es cierto que el nmero n2 4- n + 41 es simple para cualquier n natural?


Comentario: no es cierto: 402 + 40 + 41 = 412,412 + 41 + 41 = 41 43. Pero el
que intente adivinar la respuesta, "experimentando" con valores no muy grandes
n, se arriesga a llegar a una conclusin contraria, ya que para todos los n desde
1 hasta39 se obtienen nmeros simples. Este ejemplo famoso ejemplo pertenece a
Leonardo Elera.
ProblemaS.

Sobre una circunferencia tomaron n puntos y los unieron con todos los segmentos posibles. Resulto que ningunos tres de estos segmentos no se intersectan
en un punto. En cuntas partes los segmentos dividen el crculo?
Comentario: Para n 1,2,3,4,5 obtenemos 1,2,4,8,16 partes respectivamente. Surge la conclusin siguiente: para cualquier n la cantidad de partes
es igual a 2n-1. Pero esto no es cierto. En realidad la cantidad es igual a
n(n - l)(n - 2)(n - 3)/24 + n(n

10

1.3. 1.3 Problemas clsicos


Entre los problemas clsicos en la aplicacin del MIM en la matemtica elemental se puede destacar tres grandes grupos: la demostracin de las identidades,
la demostracin de las desigualdades y los problemas sobre divisibilidad. No obstante la aparente simplicidad de las soluciones con la ayuda del mtodo de la
induccin matemtica, surgen aqu y una serie de obstculos tanto metdicos
como y psicolgicos. Empezaremos con sus discusiones.
P: Hablemos un poco ms sobre el problema 6. A Ustedes les gusta la respuesta
escrita en la forma 1 +(1 + 2 + 3 + 4 . . . + n)?
E: No mucho. Parece un poco voluminoso. Y en general, sera mejor sin los
puntos suspencivos.
P: Por favor. Resulta que l + 2 + 3 + - - - + n = n(n + l)/2. Esto se puede
demostrar con el mtodo de la induccin matemtica.
E: Pero si para la induccin se necesita una serie de afirmaciones, y aqu hay
solo una frmula.
P: Observen con atencin: en la frmula hay una variable n, Y esto como ya
sabemos es una seal de una serie reducida. Coloquen, por ejemplo en vez de n
el nmero 1991.
E: Result 1 + 2 + + 1991 - 1991 1992/2.
P: Osea una igualdad numrica. De ellos y se compone la serie, reducida en
nuestra "frmula". Demostrarla significa convenserse de que todas las igualdades
numricas son ciertas. Si esto es as, entonces dicen acerca de la igualdad con
variable, que ella es "cierta para todos los valores permitidos de la variable" y la
llaman identidad. Cualquier identidad con una variable natural se puede intentar
demostrala por de la induccin.
E: Y si nuestra igualdad para algunos n resultara no cierta?
P: Entonces ella no ser identidad y no se podr demostrar: no tendr lugar
la demostracin de la base o el cambio. Rigurosamente hablando, para diferenciar
la identidad de las igualdades arbitrarias con variables, se necesitarla escribir ante
ellas frases como "para cualquier natural...,es cierto, que... ", pero esto por lo
general no se hace. Hay que tener en cuenta que el lector mismo debe entender
el contenido del texto, saber si se habla de la ya demostrada identidad, o de la
supuesta identidad, o por ejemplo de una ecuacin.
E: Entonces utilizemos el MIM. La base: n 1. Es necesario demostrar, que
...1 + 2 + .. . + 1 = 1- 2/2?!
P: Hay que demostrar que 1 = 1- 2/2. A Ustedes los desconcert la notacin
1 + 2 + . . . + n (por completo cmoda). El asunto es que para n = 1 su cola
11

V
2 + ... + n en realidad falta.
E: La base es clara. Pasemos a la segunda igualdad de la serie. Hay que
demostrar que 1 + 2 = 2 - 3/2. Esto es fcil: 3 = 3. Ahora pasemos a la tercera:
1 + 2 + 3 = 3 - 4/2. Esto tambin es fcil: 6 = 6. A la cuarta ... fcil tambin.
Y despus que? De esa manera vamos a revisar cada identidad directamente? Si
aqu no hay ningn cambio.
P: Intenten, escribir el cambio enseguida, en forma general reducida.
E: (habiendo pensado) Esto tampoco resulta.
Para los profesores. La persona que domina bien el MIM, los problemas
para la demostracin de las identidades parecen muy simples. Sin embargo de
nuestro dilogo vemos dos fuentes de dificultad para el estudiante, que empieza
a asimilar la utilizacin del MIM para las identidades. Primero: la identidad con
una variable natural con frecuencia no se comprende por los estudiantes como una
cadena de afirmaciones. Una de las causas aqu es que las igualdades numricas
simples no se comprenden por los estudiantes como afirmaciones independientes.
En realidad, lo importante es que 1 + 2 + 3 = 3- 4/2 = 6 ?
Y segundo: en los primeros pasos es imposible observar la forma general del
paso inducctivo. Si inicialmente, por ejemplo, para la verificacin de las igualdades
1 + 2 = 2 - 3/2,1 + 2 + 3 = 3- 4/2 y as sucesivamente, Ustedes no pasan de una
igualdad a otra, sino simplemente las verifica.
Por eso las identidades no pueden ser problemas claves, a pesar de su simplicidad, y empezar con ellas el aprendizaje, como generalmente se propone, significa
crear problemas con sus propias manos (claro que aqu no tenemos en cuenta a los
estudiantes ms capacitados, porque ellos asimilan el mtodo para cualquier problema, pero contar con ellos no se puede). Para la fijacin del MIM, las identidades
son muy tiles, porque las demostraciones aqu generalmente no son complicadas.
P: Bien, les ayudar. Imaginen que damos pasos de la induccin uno tras otro.
Sea esto una "ola de demostraciones" que lleg hasta la afirmacin con el nmero
k. Qu forma tiene?
E: Resulta 1 + 2 + 3 + . . . + k = k(k + l)/2.
(#)
P: Completamente cierto. Ahora diga que forma tiene la siguiente afirmacin,
la primera de las cuales la "ola" no ha alcanzado todavia.
E: Aqu n = k + ly resulta 1 + 2 + ... + (k + 1) = (k + l)(k + 2)/2.
P: Bien. Solo que a la anotacin corta de la suma que est a la izquierda con
el ltimo sumando vamos a escribir el penltimo:
1 + 2 + 3 + . . . + A; + (fe + 1) = i(fc + l)(fc + 2)
(##)
Ahora digan, en que va a consistir el siguiente paso de la induccin.
12

E: Se entiende que de (#) se deduce


P: Ahora supongamos que aprendimos a deducir (##) de (#) para cada k
natural. Entonces establecimos todos los pasos del cambio enseguida. El resultado
es que el teorema sobre el cambio aqu consiste en que: para cada k natural de la
igualdad l + 2 + . . . + fc =fc(fc+ l)/2, se deduce la igualdad l + 2 + . . . + (fc + l) =
(k+l)(k + 2)/2.
En otras palabras: est dada la igualdad (#) - demuestre la igualdad (##),
si k es un nmero natural arbitrario. Por comodidad de la demostracin vamos a
denotar las partes izquierdas de la igualdad (#) y (##) a travs de Sk y Sfc+iE: De (##) se ve que Sk+i = Sk + (k +1) (es por eso que el profesor escribi y
el penltimo sumando!). Pero nosotros ya sabemos, que Sk = k(k + l)/2. De aqu
obtenemos que-Sk+i - JJb(fc + l) + (fc + l) = (fc(A; + l) + 2(fc+2)] = i(Jfc+l)(fc + 2)
lo que se queria demostrar.
P: Recuerden una idea til con cuya ayuda fue demostrado el cambio: la parte
izquierda de la igualdad (##) fue expresada por medio de la parte izquierda de
la igualdad (#), y despus la ltima fue cambiada por la parte derecha de la
igualdad (#).
Para los profesores. Aqu aparece una dificultad ms relacionada con las
identidades. Al estudiante no le es claro como formular el cambio "en letras". El
profesor mostr como vencer esto. Lo importante es que l al formular el cambio,
utilizaba para denotar la variable no la misma letra, que en la identidad misma.
El asunto es que en su primera aparicin esta letra ("fc") juega un papel de no
variable, y las constantes (aunque y arbitrarias), muestran el lugar hasta el cual
alcanz la ola de la demostracin inducctiva. Se convierte en variable ms tarde,
en la formulacin general del cambio.
A menudo al formular la solucin inductiva corta de las variables en la identidad y en el paso se denota con una letra, adems, al formular el paso, dicen
frases del siguiente tipo " ...y ahora en vez de n colocamos n +1". Inicialmente en
la enseanza esto no es permitido porque dificulta y desorienta a los estudiantes
tanto ideolgica como tcnicamente (colocar n + l en vez de n para el principiante
no es fcil).
Dejemos a un lado nuestros personajes y pasemos a los problemas. En los
problemas 9 - 16 se requiere demostrar la identidad con una variable natural n.

2. Problemas
Problema 9
13

1 + 3 + . . . + (2n - 1) = n2
Problema 10
...

Problema 11
1 2 + 2 - 3 4- . - - + (n - 1 ) n =
Problema 12
J_ , J_ ,

, __ L_

- "-i

-5 ~ 2-3 ~ ' ' ' ~ (n-l)w ~

Problema 13

Problema 14
1
a (a + 6)

1
(a + 6) (a + 26)

1
(a + (n - 1) 6) (a + nb)

n
a (a + nb)'

donde a y b son cualesquiera nmeros tales que los denominadores no son iguales
a cero.
Problema 15
m! (m+1)!
"
~
O!
1!

(m + ri)\ (ra + n + 1)!


ni
n\ (m +1)

donde m,n = 0 , 1 , 2 , . . .
Problema 16
_ n+ 1
2n

Comentarios: En los problemas 9 - 15 el paso se demuestra de igual forma


que en el problema resuelto arriba. Pero en el problema 16 es ms cmodo
resolverlo, mostrando la (k + 1) sima parte izquierda no como una suma sino
como un producto de la k sima parte en 1 p. Tal procedimiento es til y
para la demostracin de algunas desigualdades (?ver abajo).
En el problema 11 la base no es n = 1, sino n = 2. Atencin estudiantes, para
el paso del proceso de la induccin, esto de ninguna forma influye.
En el problema 15 la induccin es posible por cualquiera de las dos variables.
Es til realizar las dos y compararlas. En los dos casos es mejor empezar con el
cero.
Los problemas 11 y 12 son los casos particulares de los problemas 15 (para
m 2) y 14 (para a = b = 1) respectivamente. Al creer en otros valores m,a y
b, se puede obtener cualquier nmero necesario de ejercicios del tipo 11 y 12. En
14

un grupo fuerte es til dar a los muchachos varios de estos ejercicios y pedir que
reconstruyan la forma general de la identidad que gener estos ejercicios.
La mayora de la identidades 9-16 poseen no muy malas demostraciones no
inductivas. El problema 9 posee una solucin geomtrica bonita, (ver la fig.)
La identidad 11 se puede obtener de las identidades 8 y 10. La identidad 13
se puede demostrar, al dividir xn+1 1 en x+1 en la forma usual, y la identidad 16
con el clculo directo. Para la demostracin de la identidad 12 es suficiente sealar
que su parte izquierda es igual (1 1) + (^ 1) + . . . + (~j )- Tal procedimiento
metdicamente gana y para la demostracin de otras identidades. Para la persona
que entendi bien el MIM, la discusin de estas soluciones alternativas sern muy
tiles.
Despus de las identidades generalmente se resuelven problemas sobre divisibilidad. Aqu la tcnica de la composicin y argumentacin de los pasos es similar
a la tcnica respectiva para las identidades: para la argumentacin por lo general se hace el aumento de la expresin dada en las condiciones y se verifica su
divisibilidad por el nmero necesario. Los problemas 1 7 - 1 9 tienen soluciones
alternetivas no muy difciles (con la ayuda de la seleccin de los residuos). Una
problema bastante difcil es el 22 puede servir como fuente de cualquier cantidad
de ejercicios del tipo 18 - 19. As: demuestre, que para cualquier n natural
ProblemalT. n3 + (n + I) 3 + (n + 2)3 es divisible por 9.
Problema 18. 32n+2 + 8n - 9 es divisible por 16.
Problema 19. 4n + 15n 1 es divisible por 9.
Problema20. ir+2 + 122n+1 es divisible por 133.
Problema21. 23" + 1 es divisible por 3n+1.
Problema 22*. abn + en + d es divisible por un nmero natural m, si se sabe
que los nmeros o + d, (b l)c, ab + c a son divisibles por m.
El trio de los problemas tpicos concluyen con los problemas sobre la demostracin
de las desigualdades. Aqu las demostraciones de los pasos son ms diversas. Demuestre las siguientes desigualdades:
Problema 23. 2n > n, donde n es cualquier nmero natural.
Problema24. Para cuales n naturales
a) 2n > 2n + 1; b) 2n > n2?
Problema25.T + 3 + . . + > g, n = 2, 3 , . ,
Problema 26. 2" > 1 + nv/2"zr^n = 2,3,...
Problema27. Demuestre, que el mdulo de la suma de cualquier nmero de
sumandos no supera la suma de los mdulos de estos sumandos.
Problema28. (1 + x)n > I + nx, donde x > -1, x ^ O y n = 2 , 3 , . . .
15

Problema29.
donde n es cualquier nmero natural.
Comentarios. 23, 24: para el paso se puede verificar, que para cualquier n
el aumento de la parte izquierda de la desigualdad es mayor que el aumento de la
parte derecha.
24b: Para la demostracin del paso se puede utilizar la 24a.
25: Demostr que la parte izquierda de la desigualdad con monotona aumenta.
27: La induccin mediante el nmero de sumandos.
28,29: ver los comentarios del problema 16.

2.1. 4. OTROS ESQUEMAS DEL MIM


Hasta ahora hemos trabajado con la versin principal del MIM. Cuando esto se
halla asimilado bien, se puede pasar a unos esquemas ms complicados. Muchos
de ellos se puede formalmente reducir a la versin principal de la transformacin
de la cadena de afirmaciones demostradas, pero metdicamente es ms racional
fundamentarlas, utilizando directamente la imagen de "la ola de demostraciones".
Iniciemos con el esquema de la "INDUCCIN DESDE TODOS LOS n < k
En la versin principal del MIM el paso de la induccin consiste en la deduccin
de la afirmacin Ak+\ de uno anterior que es Ak. Pero a veces' para fundamentar
-Ajfc+i es necesario utilizar todas o varias de las 'afirmaciones anteriores desde A\
hasta Ak. Esto es sin duda posible, porque s la ola de demostraciones lleg hasta
Ak, entonces antes de esto ella pas por todas las afirmaciones anteriores de la cadena. Al conservar la base usual el paso en este caso es de la siguiente forma: (Pl) :
_Para cualquier k natural de la veracidad de las afirmaciones AI, A?, . . . , Ak se
deduce la verdad A^+\.
Analizemos este problema.
ProblemaSO. Demuestre, que cualquier nmero natural se puede representar
como la suma de varias potencias de dos (es posible, incluyendo y el cero).
Solucin: En primer lugar demostramos la base. Si nuestro nmero es igual
a 1 o 2, entonces la existencia de la presentacin es evidente.
Ahora denotamos nuestro nmero con n y buscamos la potencia mxima del
dos, no superior a n. Sea esto 2m, osea 2m < n < 2m+1. Consideramos la diferencia
d = n 2m. Este nmero es menor, que n, y menor que, 2m. Por la suposicin de
la induccin, este puede ser representado en forma de suma de varias potencias
16

diferentes de dos, adems es claro que 2m no puede ser parte en esta presentacin.
Incluimos en esta presentacin el sumando 2m y obtenemos la presentacin requerida para n. La induccin esta terminada.
ProblemaSl. Demuestre, que cualquier (no necesariamente convexo) polgono se puede dividir en tringulos con diagonales que no se intersectan.
Indicacin. Induccin por el nmero de lados. El paso se basa en el siguiente
lema: para cada polgono existe al menos una diagonal, la cual est dentro de este
polgono. Tal diagonal divide al polgono en dos con un menor nmero de lados.
Otro esquema del MIM muestra
Problema32. Se sabe que x + 1/x es un nmero entero. Demustre que para
cualquier natural n el nmero xn + l/xn es tambin un nmero entero.
Solucin: Denotemos que (xk+l/xk)(x+l/x) = xk~l+l/xk-1+xk+l+l/xk+l,
de donde xk+1 + l/xk+l = (xk + l/xk)(x + l/x} - (xk~l + l/xk~1}. Observamos
que la (k + 1) sima suma ser un nmero entero, si son nmeros enteros las
anteriores dos sumas. Por eso el proceso de la induccin anda, si verificarnos, que
las dos primeras sumas son enteras: x -f l/x y x2 + l/x2. La verificacin se la
dejamos al lector.
Comentarios. La particularidad de esta variante del MIM consiste en que
al realizar el paso del cambio nos apoyamos no en una, sino en las dos anteriores
afirmaciones. Por eso y la base aqu (y la base es natural llamar aquel segmento
inicial de nuestra cadena, en donde la exactitud de la afirmacin es necesario
verificar directamente, sin nigunos pasos - ellos no actan all) se compone no de
una, sino de las dos primeras afirmaciones de la serie.
Problema33. La sucesin de los nmeros ai, 0 2 , . . . , an,... es tal que ai =
3, a- = 5, y an+i = 3an 2an_i para n > 2. Demuestre, que an 2n + I para
todos los n naturales.
Indicacin. Ver el problema 43 que es ms general.
Nota. En el problema 33 y los tres anteriores a l, tropezamos no solo
con la demostracin, sino con la deficin de induccin: todos los trminos dados
aqu sucesiones, excepto algunas primeras, se dan en forma inductiva, a travs
de las anteriores. Las sucesiones as dadas se llaman recursivas o de aumento;
a ellas estn dedicados los [75] y [77]. Una explicacin ms detallada sobre las
definiciones, sobre construcciones y clculos por induccin ver en el libro [79],
captulo 2.
Problema34. Est dado: ai = 1,03 = 2,'n+i = an an_! para todos los
n > 2. Demustre que an+6 = an para cualquier n natural.
Problema35. Esta dada una serie de nmeros de Pibonacci: F\ = F< 1 y
17

Fn+i = Fn + F n _i para todos los n > 2. Demuestre que cualquier nmero natural
se representar en forma de suma de varios diferentes nmeros de Fibonacci.
ProblemaSG*. Demuestre que el n simo nmero de Fibonaci es divisible
por 3 si y solo si, cuando n es divisible por 4.
Comentarios: En tal formulacin resolver el problema por induccin es poco
probable. Demuestre un hecho ms general sobre las repeticiones de los residuos
desde la divisin de los nmeros de Fibonacci por 3 con periodo 8. A los nmeros
de Fibonacci est dedicado el libro del mismo nombre [75].
Problema37. Un banco tiene una cantidad no limitada de billetes de tres y
cinco rublos. Demustre que con ellos el banco puede entregar sin vueltas cualquier
cantidad de rublos, comenzando con el ocho.
Comentarios: Induccin por el nmero de rublos. La base consiste en tres
afirmaciones: 8 = 5 + 3,9 = 3 + 3 + 3,10 = 5 +5. El paso es el siguiente: si se
puede entregar k,k + 1 y k + 2 rublos, entonces se puede entregar k + 3, k + 4 y
A; + 5 rublos. Esta induccin con una base difcil se puede descomponer en tres
usuales con esquemas:
8 -* 11 -> 14 - . . . , 9 - 12 -f 15 - . . . y 10 - 13 - 16 - . . .
Sealemos que en los problemas 32-36 esto era imposible.
Hay tambin una variante no inductiva para esta solucin, basada en las igualdades 3n+ 1 = 5 + 5 + 3(n 3) y 3n+ 2 = 5 + 3(n - 1), pero encontrarla a lo
mejor no es tan fcil, como la solucin citada arriba.
Los tres problemas siguientes ideolgicamente son muy parecidos al problema
37.
Problema38. Un pedazo de papel se puede romper en 4 o en 6 pedazos.
Demuestre que el papel, siguiendo estas reglas, se puede romper en cualquier
cantidad de pedazos empazando con el nueve.
Problema39. Demustre que un cuadrado se cortar en n cuadrados para
cualquier n, empezando con el seis.
Problema 40. Demustre que un tringulo regular se puede cortar en n tringulos regulares para cualquier n, empezando con el seis.
Comentarios: 38: Si rompemos el pedazo en 4 o 6 pedazos, entonces en
total sern 3 o 5 pedazos mas. Luego ver la solucin del problema 37.
39, 40: un cuadrado (tringulo regular) se puede cortar tanto en 4, como y en
6 cuadrados (tringulos regulares), como se muestra en la fig. 64. Obtenemos el
problema 38. Hay soluciones no inductivas fciles, relacionadas con la posibilidad
de cortar un cuadrado (tringulo regular) en cualquier cantidad par de cuadrados
(tringulos regulares) - ver la fig. 65.
18

Existen otros esquemas de la induccin, que no hemos desarrollado. Como por


ejemplo el esquema "INDUCCIN RAMIFICADA" con cuya ayuda se obtiene la
demostracin de la maravillosa desigualdad entre la media geomtrica y la media
arimtica.
Problema41*. Demuestre la desigualdad entre la media arimtica y la media
geomtrica: para cualesquiera nmeros positivos #1, 2, . . . , xn
X

... x

El esquema de la solucin: La base: n = 2. Despus con los pasos desde


n = 2k a 2h+ la desigualdad se demuestra para todos los n, que sean potencias
de dos. Despus de esto se demuestra que si la desigualdad es cierta para los n
nmeros, entonces es cierto y para n I nmeros. La base n 2. Despus con
pasos desde n = 2fe hasta 2h+1 la desigualdad se demuestra para todos los n, que
son potencias de dos. Despus de esto se demuestra, que s la desigualdad es cierta
para todos los n nmeros, entonces ella es cierta y para n 1 nmeros. La ola de
demostraciones se propaga de acuerdo al siguiente esquema: 2 ' .3 < 4 5 < 6
7 ^ 8 9-10<-11<-12+-13<-14<-15<-16...
Una ms detallada la puede encontrar en el [78] (ejemplo 24), como tambin
en el captulo "Desigualdad". Segn este esquema es natural llamar a la induccin
"ramificada".
El esquema "LA INDUCCIN HACIA ABAJO" (de nmeros negativos),
como tambin el esquema de "LA DOBLE INDUCCIN", con cuya ayuda se
demuestran diferentes teoremas, que contienen dos parmetros naturales, ilustran
los problemas 43 y 44.
2.1.1. 5. Problemas casi sin comentarios.
Problema42. Estn dados dos primos relativos m y n, y el nmero O tambin. Se
tiene una calculadora, la cual puede efectuar solo una operacin: calcular la media
arimtica de dos nmeros enteros, si ellos poseen igual paridad. Demustre que con
la ayuda de esta calculadora se pueden obtener to.dos los nmeros naturales desde
1 hasta n.
Problema43. Para la sucesin ai, 02,... del problema 33 determine los miembros ao,a_!, de tal forma que la igualdad an+i = 3an 2al_1 sea cierta para
cualquier n entero. Demuestre que adems la igualdad an 2" + 1 sea cierta
tambin para cualquier entero n.
Problema44. Demuestre que 2m+n~2 > mn para cualquier natural m y n.
19

Problema 45*. Estn dados varios cuadrados. Demuestre que estos se


pueden cortar en algunas partes con las cuales se puede formar un cuadrado.
Problema46*. Demuestre que de cualesquiera 2n+l nmeros naturales se
puede escoger exactamente 2n, suma de los cuales es divisible por 2n.
Problema47. En qu cantidad mxima de partes pueden dividir un plano
n circunferencias? n tringulos?
Nota. Compare con el problema 6. No olvide construir ejemplos de acuerdo
a las particiones; esto tambin se hace por induccin.
Problema48. Sobre un plano estn dibujadas varias circunferencias. En cada
una de ellas se traz una cuerda. Demuestre que la carta obtenida se puede pintar
con tres colores, de tal forma que dos cualesquiera regiones vecinas estn pintadas
de colores diferentes.
Problema49*. Demuestre "por contradiccin" que el principio matemtico
de la induccin formulado al comienzo del captulo es equivalente al "principio
del nmero mnimo": en cualquier conjunto de nmeros naturales hay mnimos.
Invente una solucin, para cualquiera de los problemas anteriores (por ejemplo,
el problema 46), basada en este principio (establescan una base y seguidamente
razonen por contradiccin), y comprela con el inducctivo.
Conclusin. El mtodo de la induccin matemtica es una idea muy empleada y til, con las aplicaciones que Usted encontrar tanto en el marco de esta
coleccin, como en muchos otros problemas. Pero quisiramos advertir a Ustedes
de la utilizacin innecesaria de este excelente instrumento de la demostracin
matemtica. No se debe pensar que cualquier problema, en cuya soluccin encontramos palabras como "y as sucesivamente", "anlogamente", son problemas para
utilizar el MIM. Las demostraciones inductivas de muchas afirmaciones, algunas
de las cuales Usted conocer en los captulos "Grafos-2", "Desigualdad" parecen
ms artificiales, que las demostraciones, que utilizan tales simples mtodos, como
por ejemplo cuenta directa o razonamientos recursivos. Estas demostraciones no
es necesario analizarlas en el proceso de asimilacin del MIM, pero es indispensable
hacerlo cuando el mtodo est firmemente comprendido.
Induccin (soluciones).

34. En realidad, a 3 '= I,o 4 = I,a 5 = 2,ce = I,a7 = I,a 8 = 2. Significa


que para n = 1,2 tenemos an+6 = an. Despus la induccin es evidente. 35.
Para los nmeros naturales desde 1 hasta 5 esto se verifica directamente. Si es
el nmero natural dado, entonces consideremos Fn el mximo de los nmeros de
Fibonacci, no mayoras a x. Entonces O < x Fn < Fn-\, esto significa que, x Fn
se puede representar en forma de suma de varios nmeros diferentes de Fibonacci,
20

'
menores que Fn-\. 42. Indicacin. Calcule primero algn nmero arbitrario, no
igual a m y n. despus de esto utilize la induccin segn la suma de los nmeros
m y n. 43. El paso de la induccin se deduce de la frmula
3(2" + 1) - 2(2n-1 + 1) = 2"+1 + 1,
cierta para cualquier nmero entero n. 44. Es suficiente demostrar, que 2X >
x + 1 para cualquier nmero entero no negativo x. 45. Indicacin: demuestre
primero, que cualquier cuadrado se puede cortar en varias partes, de las cuales se
puede construir un rectngulo, uno de cuyos lados tiene una longitud de 1. 46.
El paso inductivo se demuestra as: dividimos 2n+1 nmeros en dos partes con 2n
nmeros en cada una de ellas. En estas partes escogemos de a 2n~1 nmeros, cuya
suma es divisible por 2"~1. Luego de los restantes 2" nmeros otra vez escogemos
un tercer conjunto de los 2"1 nmeros, cuya suma es divisible por 2""1. Sea
la suma de los nmeros en estos tres conjuntos iguales a 2n~1a, 2n~~lb y 1n~lc.
Entonces entre los nmeros a, 6, c hay dos nmeros de igual paridad. De acuerdo
a sus conjuntos correspondientes es necesario unir en un conjunto de 2n nmeros,
la suma de los nmeros en l ser divisible por 2n. 47. Respuestas: a) n2 n + 2;
b) 3n2 3n + 2. 48. Indicacin: supongamos, que la coloracin necesaria en
tres colores ya se tiene. Entonces demuestre, que al agregar una circunferencia
ms con cuerda se puede cambiar la coloracin antigua de tal forma que la nueva
coloracin de la configuracin surgida sea correcta.

21