Sección de la Revista

Inducción Matemática en Olimpiadas de Matemática

Mathematical Induction in Mathematical Olympiads
Dr. Eduardo Miguel Pérez Almarales
Revista de Investigación

Volumen X, Número X, pp. xxx–yyy, ISSN 2174-0410

Recepción: XX Xxx’XX; Aceptación: XX Xxx’XX

17 de febrero de 2022

Resumen

En este artículo se pretende dar una visión de la utilidad del Principio de Inducción Ma-
temática en la resolución de problemas de Olimpiadas de Matemática. Se realiza un resumen
teórico del contenido en cuestión y se ofrecen problemas de aplicación en las cuatro ramas
básicas de las Olimpiadas de Matemática: Combinatoria, Teoría de Números, Álgebra y Geo-
metría.

Palabras Clave: Inducción Matemática, Olimpiada de Matemática

Abstract

This article aims to give an overview of the usefulness of the Principle of Mathematical
Induction in solving Mathematical Olympiad problems. A theoretical summary of the con-
tent in question is made and application problems are offered in the four basic branches of
the Mathematics Olympiad: Combinatorics, Number Theory, Algebra and Geometry.

Keywords: Mathematical Induction, Mathematical Olympiad

1. Elementos Teóricos
Teorema 1.1 (Principio de Inducción). Sea P(n) una propiedad de los números naturales. Una forma
de probar que P(n) es verdadero para todo n a partir de un n0 es:

1. Demostrar el inicio de inducción, es decir que P (n0 ) es verdadera. Ésta en ocasiones se denomina
base de inducción.

2. Suponer que para cierto valor n = k, P(k) es verdadera, esta se llama hipótesis de la inducción.

3. Demostrar utilizando lo anterior que la proposición es cierta para un valor n = k + 1, es decir que
P(k + 1) es verdadera. Esto se denomina paso inductivo.

1
Nombre y Apellidos del/ los Autor/es Sección de la Revista

Una vez demostrado el paso 3 se cumple la siguiente cadena de implicaciones:

P(n0 ) es verdadera ⇒ P(n0 + 1) es verdadera ⇒ P(n0 + 2) es verdadera ⇒

P(n0 + 3)es verdadera ⇒ · · · , de modo queP(n)es verdadera ∀n ≥ n0 .

Ejemplo 1.2. Demuestra que, para todo entero positivo n,

n ( n + 1)
1+2+···+n =
2

Solución:
Para n = 1, 1 = 12·2 , cumpliéndose el inicio de la inducción.
Hipótesis de inducción: supongamos que la proposición es verdadera para n = k, es decir que:

k ( k + 1)
1+2+···+k =
2

Demostremos utilizando la hipótesis inductiva que la proposición también es verdadera para

n = k + 1, es decir que se cumple que:

(k + 1)(k + 2)
1 + 2 + · · · + k + ( k + 1) =
2
Entonces:

k ( k + 1) k ( k + 1) + 2( k + 1) (k + 1)(k + 2)
1 + 2 + · · · + k + ( k + 1) = + ( k + 1) = =
2 2 2
De modo que la relación es válida también para n = k + 1, entonces por el principio de induc-
ción la relación es válida para todo número natural n ≥ 1.

Ejemplo 1.3. Demuestra que para todo número natural n, Mn = n n2 + 1 (3n + 2) es múltiplo de

24.

(Tomado de Teoria dos Números: um passeio com primos e outros números familiares pelo
mundo inteiro)
Solución:
Inicio: n = 0, entonces M0 = 0, que es múltiplo de 24.
Hipótesis inductiva: n = k, entonces Mk = k k2 + 1 (3k + 2) es múltiplo de 24.

Debemos demostrar
ahora que la propiedad se cumple para n = k + 1, es decir que Mk+1 =

(k + 1) (k + 1)2 + 1 (3(k + 1) + 2) es un múltiplo de 24.
Determinemos la diferencia
   
Mk+1 − Mk = (k + 1) (k + 1)2 + 1 (3(k + 1) + 2) − k k2 + 1 (3k + 2) =

= k(k + 1) [(k + 2)(3k + 5) − (k − 1)(3k + 2] = 12k(k + 1)2

Aquí como k(k + 1) es par entonces el resultado es múltiplo de 24, por tanto: Mk+1 = Mk +
12k (k + 1)2 también es divisible por 24 como se quería demostrar.

Teorema 1.4 (Segundo principio de inducción. Inducción fuerte)). La variación con respecto al
anterior es que la hipótesis inductiva no se considera solo con el elemento de orden k, sino que se considera
que la proposición es verdadera para todo número natural k tal que n0 ≤ k ≤ n y con esto se prueba que
es verdadera para el elemento siguiente P(n + 1).

2 | Revista “Pensamiento Matemático” Volumen X, Número X, Xxx’XX, ISSN 2174-0410

Título del Artículo Nombre y Apellidos del Autor

Ejemplo 1.5. Una sucesión de Fibonacci Fn es una sucesión definida recursivamente por:
F0 = 0, F1 = 1 y Fn = Fn−1 + Fn−2 para n ≥√2 √
αn − βn 1− 5
Demuestra que Fn = α− β , donde α = 1+2 5 y β = 2 son las raíces de x2 = x + 1, que es el
polinomio característico de esta sucesión recurrente.

(Tomado de Teoria dos Números: um passeio com primos e outros números familiares pelo
mundo inteiro)
Solución:
α0 − β0 α1 − β1
Inicio F0 = α− β = 0 y F1 = α− β = 1.
αk − βk
Hipótesis de inducción: Supongamos que el planteamiento es verdadero para n = k, Fk = α− β
y demostremos que se cumple para n = k + 1, es decir que:

α k +1 − β k +1
Fk+1 =
α−β

Sabemos que por definición:

 
αk − βk α k −1 − β k −1 α k + α k −1 − β k + β k −1 α k +1 − β k +1
Fk+1 = Fk + Fk−1 = + = =
α−β α−β α−β α−β

Pues α2 = α + 1 ⇒ αk+1 = αk + αk−1 y de manera análoga βk+1 = βk + βk−1

En este caso puede observarse que como en el paso inductivo se utilizan dos términos de la
sucesión es necesario demostrar el inicio para los dos primeros valores.

Teorema 1.6 (Tercer Principio. Principio de Inducción de Cauchy). En este principio se comienza
igual que en los anteriores demostrando el inicio y se considera la hipótesis que se cumple para un cierto
valor k. Después se demuestra la tesis en dos partes.
Primero: P(k) ⇒ P(k − 1)
Segundo: P(k) ⇒ P(2k)

Ejemplo 1.7. Demostremos la desigualdad entre la media aritmética y la media geométrica

x1 + x2 + · · · + x n √
≥ n x1 · x2 · · · · · x n
n

Solución:
Inicio: n = 2

x1 + x2 √
≥ x1 · x2
2
√
x1 + x2 ≥ 2 x1 · x2
√
x1 − 2 x1 · x2 + x2 ≥ 0
√ √ 2
( x1 − x2 ) ≥ 0
Se cumple el inicio.
Nuestra hipótesis sería que se cumple para n elementos.
Demostremos los dos pasos de la tesis:

Volumen X, Número X, Xxx’XX, ISSN 2174-0410 Revista “Pensamiento Matemático” | 3

Nombre y Apellidos del/ los Autor/es Sección de la Revista

√
Sea g = n−1 x1 · x2 · · · · · xn−1 . Entonces como la desigualdad se cumple para n elementos
apliquémosla para x1 , x2 , · · · , xn−1 , g
Sabemos que gn−1 = x1 · x2 · · · · · xn−1 , entonces:
x 1 + x 2 + · · · + x n −1 + g
q
≥ n g n −1 · g
n
x 1 + x 2 + · · · + x n −1 + g
≥g
n
x 1 + x 2 + · · · + x n −1 + g ≥ n · g
x 1 + x 2 + · · · + x n −1 ≥ n · g − g
x 1 + x 2 + · · · + x n −1 ≥ ( n − 1 ) · g
x 1 + x 2 + · · · + x n −1 √
≥ g = n −1 x 1 · x 2 · · · · · x n −1
n−1
La otra parte se demuestra de la siguiente forma:
Sean x1 , x2 , · · · , x2n . Apliquemos la desigualdad entre las medias tomando los elementos por
parejas:
x1 + x2 √ x + x3 √ x + x2n √
≥ x1 · x2 , 2 ≥ x2 · x3 , · · · , 2n−1 ≥ x2n−1 · x2n
2 2 2
Entonces:
x1 + x2 + · · · + x2n √ √ √ q√
√
≥ x1 · x2 + x2 · x3 + · · · + x2n−1 · x2n ≥ n n x1 · x2 · · · x2n−1 · x2n =
2
q√ √
= n n x1 · x2 · · · x2n = n 2n x1 · x2 · · · x2n
Por tanto:
x1 + x2 + · · · + x2n √
≥ 2n x1 · x2 · · · x2n
2n
El principio de inducción es muy utilizado en la resolución de problemas como veremos en los
capítulos que siguen, con algunas aplicaciones a las ramas fundamentales de la Matemática para
olimpiadas de conocimientos (Matemática Discreta, Teoría de Números, Álgebra y Geometría).

2. Aplicado a problemas de Combinatoria

2.1. Problemas
1. Sea n un entero positivo. Un cuadrado unitario de un tablero de 2n × 2n es quitado. Prueba
que el tablero restante puede ser cubierto por piezas como las que se muestran en la figura:

(www.artofproblemsolving.com)
2. Cada carretera en Sikinia es de un solo sentido. Cada par de ciudades es conectada por
exactamente una carretera directa. Demuestra que existe una ciudad a la cual se pue-
de llegar desde cada otra ciudad directamente o vía cuando más otra ciudad. (Engel, A.
Problem-Solving Strategies)

4 | Revista “Pensamiento Matemático” Volumen X, Número X, Xxx’XX, ISSN 2174-0410

Título del Artículo Nombre y Apellidos del Autor

3. n circunferencias son dadas en el plano. Ellas dividen al plano en partes. Demuestra que
se puede colorear el plano con dos colores, tal que ninguna parte con una línea borde
común son coloreados del mismo modo. (Engel, A. Problem-Solving Strategies)

4. En un aula, donde existen niños y niñas, cada niño es amigo de al menos una niña. De-
muestre que existe un grupo de al menos la mitad de los estudiantes, tal que cada niño en
el grupo es amigo de un número impar de niñas en el grupo. (Rusia 1999)

5. Sean a1 , a2 , · · · , an enteros positivos distintos y M un conjunto de n − 1 enteros positivos

que no contiene al número s = a1 + a2 + · · · + an . Un saltamontes se dispone a saltar a lo
largo de la recta real. Empieza en el punto 0 y da n saltos hacia la derecha de longitudes
a1 , a2 , · · · , an , en algún orden. Demuestra que el saltamontes puede organizar los saltos
de manera que nunca caiga en un punto de M. (Revista de la Olimpiada mexicana de
Matemáticas. Problema 6 IMO 2009)

2.2. Soluciones
1. Probemos el resultado utilizando inducción.
Para n = 1 el resultado es trivial, pues cuando quitamos un cuadrado unitario de un
tablero de 2 × 2 quedará una pieza como la de la figura.
Asumamos ahora que el resultado se verifica para algón entero positivo n = k, esto signi-
fica que cada tablero de 2k × 2k con un cuadrado unitario borrado puede ser cubierto por
piezas como las dadas.
Consideremos ahora un tablero de 2k+1 × 2k+1 con un cuadrado unitario borrado. Utili-
cemos ahora la hipótesis de inducción, primeramente dividimos el tablero de 2k+1 × 2k+1
en 4 tableros de 2k × 2k , donde en uno de ellos está el espacio del cuadrado unitario que
fue borrado y por la hipótesis de inducción este se puede cubrir con piezas como las de la
figura.
Ahora necesitamos demostrar que el resto del tablero se puede cubrir con piezas como la
dada. Para ello es suficiente notar que si le quitamos a cada uno de los tableros el cuadra-
dito unitario que queda hacia el centro del tablero de 2k+1 × 2k+1 estos tres cuadraditos
pueden ser cubiertos por una pieza como la dada y por hipótesis de inducción las restan-
tes casillas de cada uno de los tres tableros de 2k × 2k también pueden ser cubiertos.

2. Demostremos por inducción en el número de ciudades.

Inicio: El planteamiento es obvio para dos y tres ciudades.
Hipótesis: Suponga que es verdadero para n ciudades.
Sea A una ciudad que satisface la condición del problema con n ciudades. Las otras ciu-
dades puede ser particionada en dos conjuntos: el conjunto D de ciudades con carreteras
directas hacia A y N el conjunto de ciudades sin carreteras directas hacia A. Entonces de
cada ciudad en N se puede llegar a A vía alguna ciudad en D. Adicionemos otra ciudad
P a las n ciudades. Existen dos casos a considerar:

Volumen X, Número X, Xxx’XX, ISSN 2174-0410 Revista “Pensamiento Matemático” | 5

Nombre y Apellidos del/ los Autor/es Sección de la Revista

Existe una carretera directa desde P hasta A o a una ciudad en D. Entonces A cumple
la condición del problema.
Desde A y desde cada ciudad en D existe una carretera directa a P. Pero sabemos
que existe también una carretera directa desde cada ciudad en N a alguna ciudad en
D. Entonces P cumple la condición del problema.
Por tanto siempre existe una ciudad que cumple las condiciones del problema.
Demostremos por inducción sobre el número de circunferencias. Inicio: El plantea-
miento es obvio para n = 1. El interior es coloreado de rojo y el exterior de azul.

Hipótesis: Supongamos que el planteamiento es verdadero para n circunferencias.

En la figura se muestra un área de las n circunferencias:

Ahora agreguemos la (n + 1)- ésima circunferencias. Como vimos las n que teníamos
dividían el plano en partes que cumplen las condiciones del problema por la hipóte-
sis de inducción. Ahora realizamos la siguiente recoloración. Las partes exteriores a
esa circunferencia mantienen su color, mientras la parte interior de esta circunferen-
cia cambia, las partes rojas se transforman en azules y viceversa, la nueva coloración
obviamente cumple con las condiciones del problema. Quedando:

Apliquemos inducción en el número total de estudiantes. El caso de dos estudiantes

es obvio. Ahora supongamos que el planteamiento es verdadero para cada número
de estudiantes menores que n, donde n > 2, y probaremos que se cumple para n
estudiantes.
Existirá al menos una niña. Seleccionamos cada niña de los n estudiantes. Ahora
particionamos el aula en tres subconjuntos: el A consistente de los niños, el B de las
niñas amigas de los niños y el C formado por los restantes estudiantes. La hipótesis

6 | Revista “Pensamiento Matemático” Volumen X, Número X, Xxx’XX, ISSN 2174-0410

Título del Artículo Nombre y Apellidos del Autor

|C |
de inducción plantea que existen subconjuntos C 0 y C, con al menos 2 estudiantes,
tal que cada niño en C 0 es amigo de un número impar de niñas en C 0 .
Sea B0 el conjunto de niños en B que son amigos de un número impar de niñas en C 0 .
Entonces existen dos posibles casos:
A∪ B
| B0 | ≥ | 2 |
El conjunto S = B0 ∪ C 0 satisface el planteamiento del problema, por tanto S tendrá
al menos n2 elementos y cada niño en S será amigo de un número impar de niñas en
S.
A∪ B
| A ∪ BE | ≥ | 2 |
Sea T = A ∪ BE ∪ C 0 . Cada niño en C 0 será amigo a un número impar de niñas en C 0
pero no de las niñas en A. Cada niño en BE será amigo de un número par de niñas
en C 0 y las niñas en A para un número total impar de niñas en T. Finalmente T tiene
n
2 elementos y por tanto T cumple el planteamiento del problema. Esto completa la
inducción.

3. Aplicado a problemas de Teoría de Números

3.1. Problemas
1. Una sucesión de Fibonacci Fn es una sucesión definida recursivamente por:
F0 = 0, F1 = 1 y Fn = Fn−1 + Fn−2 para n ≥ 2. Sea Fn el n-ésimo término de la sucesión de
Fibonacci. Demuestra que para todo número natural n ≥ 1 se cumple que:
 n  
1 1 Fn+1 Fn
=
1 0 Fn Fn−1

2. Prueba que para todo entero positivo n existe un número de n dígitos impares divisible
por 5n

3. Escribe dos unos, luego un 2 entre ellos, luego un 3 entre los números cuya suma es 3,
luego un 4 entre los números cuya suma es 4, como se muestra a continuación: (1, 1),
(1, 2, 1), (1, 3, 2, 3, 1), (1, 4, 3, 2, 3, 4, 1), · · · . Prueba que el número de veces que aparece
n, (n ≥ 2), es igual al número de enteros positivos menores que n y primos relativos con
n. (Cuba, 2004)

4. La sucesión de Fibonacci es definida por F1 = F2 = 1 y Fn = F( n − 1) + F( n − 2) pa-

ra todo n ≥ 3. Prueba que cada entero positivo N puede ser representado en la forma
N = Fa1 + Fa2 + · · · + Fam para algunos enteros a j , donde 2 ≥ a1 < a2 < · · · < am . (En
www.artofproblemsolving.com)
 
n
5. Demuestra que para cualquieras números naturales n ≥ m, el coeficiente binomial =
m
n!
es entero.(Brochero, F. Teoria dos números)
m!(n − m)!

p−1
 
6. Sean p un número primo, y k ∈ Z : 1 ≤ k ≤ p − 1. Prueba que ≡ (−1)k (mod p)
k
. (Andreescu, T. Number Theory, 104).

7. Prueba que existen infinitos números que no contienen el dígito 0 y son divisibles por la
suma de sus dígitos. (Andreescu, T. Number Theory, 104).

Volumen X, Número X, Xxx’XX, ISSN 2174-0410 Revista “Pensamiento Matemático” | 7

Nombre y Apellidos del/ los Autor/es Sección de la Revista

8. La sucesión an es definida de la siguiente forma: a0 = 9, an+1 = 3a4n + 4a3n , n > 0. Demues-

tra que a10 contiene más de 1000 nueves en su notación decimal. (Andreescu, T. Number
Theory, 104).
n
9. Demuestra que 3n+1 divide a 23 + 1 para todo entero n ≥ 0.(Engel, A. Problem Solving
Strategies)

10. Sea n = 2k . Prueba que podemos seleccionar n enteros de cada 2n − 1 enteros tal que su
suma es divisible por n.(Engel, A. Problem Solving Strategies)

11. Prueba que para cada entero positivo n existe un número de n dígitos:

a) divisible por 2n y conteniendo solo los dígitos 2 y 3.

b) divisible por 5n y conteniendo solo los dígitos 5, 6, 7, 8, 9.

(En Putnam and Beyond. USAMO 2003)

12. Sea [ x ] la parte entera de x, por tanto el menor entero que no excede a x. Si n es un entero
positivo, exprese como una función simple de n la suma:

n + 2i
     
n+1 n+2
+ +···+ +···
2 4 2i + 1

(lista corta IMO 1968)

13. ¿Existen infinitos pares de enteros positivos (m, n) tal que m divide a n2 + 1 y n divide a
m2 + 1? (Inglaterra 2013)

3.2. Soluciones
1. Inicio: para n = 1 se tiene que
 1    
1 1 1 1 F2 F1
= =
1 0 1 0 F1 F0

Para n = 2, se tiene que:

 2        
1 1 1 1 1 1 2 1 F3 F2
= · = =
1 0 1 0 1 0 1 1 F2 F1

Hipótesis de inducción:
 k  
1 1 Fk+1 Fk
=
1 0 Fk Fk−1
Tesis de inducción:
  k +1  
1 1 Fk+2 Fk+1
=
1 0 Fk+1 Fk
Demostración:
  k +1    k    
1 1 1 1 1 1 1 1 Fk+1 Fk
= · = · =
1 0 1 0 1 0 1 0 Fk Fk−1
   
Fk+1 + Fk Fk + Fk−1 Fk+2 Fk+1
= =
Fk+1 Fk Fk+1 Fk

8 | Revista “Pensamiento Matemático” Volumen X, Número X, Xxx’XX, ISSN 2174-0410

Título del Artículo Nombre y Apellidos del Autor

2. Procedemos por inducción. La propiedad es claramente cierta para n = 1. Asumamos que

N = a1 a2 · · · an es divisible por 5n y que tiene solo díigitos impares.
Considere los números:
N1 = 1a1 a2 · · · an = 1 · 10n · 5n · M = 5n · (1 · 2n + M )
N2 = 3a1 a2 · · · an = 3 · 10n · 5n · M = 5n · (3 · 2n + M )
N3 = 5a1 a2 · · · an = 5 · 10n · 5n · M = 5n · (5 · 2n + M )
N4 = 7a1 a2 · · · an = 7 · 10n · 5n · M = 5n · (7 · 2n + M )
N5 = 9a1 a2 · · · an = 9 · 10n · 5n · M = 5n · (9 · 2n + M )
Los números 1 · 2n , 3 · 2n , 5 · 2n , 7 · 2n , 9 · 2n dejan distintos restos cuando se dividen por
5. De otro modo la diferencia de algunos dos de ellos sería un múltiplo de 5, lo cual es
imposible porque 2n no es un múltiplo de 5, ni tampoco lo es la diferencia de cada dos de
los números 1, 3, 5, 7, 9.
Sigue que uno de los números N1 , N2 , N3 , N4 , N5 es divisible por 5 y la inducción es com-
pletada.
3. Demostraremos por inducción que en el paso n, (n ≥ 2), al considerar todos los pares de
números “vecinos” tenemos todos los pares ( x, y) con x + y ≥ n + 1 y mcd( x, y) = 1, 1 ≥
x, y ≥ n. Esto implica elresultado pedido. Para n = 2 la demostración es cierta. Vamos al
pasoinductivo. En el paso n + 1 será escrito un n + 1 entre cualesquierados números cuya
suma es n + 1, luego, por la hipótesis de inducción,serán introducidos todos los pares
( x, n + 1); (n + 1, n + 1 − x ) con mcd( x, n + 1 − x ) = 1 o sea, con mcd( x, n + 1) = 1 y
mcd(n + 1, n + 1 − x ) = 1. Observemos, entonces, que tenemos todos los pares ( x, y) con
x + y ≥ n + 2 y mcd( x, y) = 1, con 1 ≥ x, y ≥ n + 1, completandola demostración.
4. Comencemos analizando un caso como ejemplo, supongamos que queremos escribir el
número 77 como la suma de números distintos de Fibonacci, primero seleccionemos el
mayor número de Fibonacci que no excede a 77, en este caso es F10 = 55 sustrayendo
tenemos 77 − 55 = 22, podemos repetir este proceso de sustraer el mayor número de
Fibonacci posible, este es F8 = 21 y F2 = 1. Entonces podemos escribir 77 = 1 + 21 +
55 = F2 + F8 + F1 0. Si de aquí quisiéramos obtener una representación para 78, bastaría
con sumar 1 a cada miembro de la igualdad de arriba, quedando 78 = 1 + 1 + 21 + 55.
Esta representación no satisface puesto que se repite el número 1, en este caso podemos
cambiar 1 + 1 por 2, con lo cual tendríamos 78 = 2 + 21 + 55 = F3 + F8 + F1 0, podemos
ver que la representación de k no es hecha siempre directamente.
El procedimiento de arriba demuestra cómo obtener la representación de k + 1 a partir de
números menores.
Demostremos ahora el caso general utilizando inducción fuerte. Para N = 1, tenemos
que 1 = F2 , luego asumimos que existe un entero positivo k tal que todos los enteros
desde 1 hasta k pueden ser representados en la forma dada y queremos demostrar que
k+1 también puede ser representado en esa forma.
Sea a el mayor entero positivo tal que Fa ≤ k + 1. Si k + 1 = Fa , entonces ya está hecho, de
otro modo Fa < k + 1, también por definición de a, k + 1 < Fa+1 . Entonces:
0 < (k + 1) − Fa < Fa+1 − Fa = Fa−1
Por hipótesis de inducción fuerte, existen enteros positivos a1 , a2 , · · · , am tal que (k + 1) −
Fa = Fa1 + Fa2 + · · · + Fam , donde 2 ≤ a1 < a2 < · · · < am . Además, como (k + 1) − Fa <
Fa−1 , ninguno de los términos Fa1 , Fa2 , · · · , Fam son iguales a Fa . Por tanto la representación
k + 1 = Fa1 + Fa2 + · · · + Fam + Fa satisface las condiciones dadas. Por tanto todos los
enteros positivos pueden representarse en la forma dada.
5. Procederemos
  por inducción sobre la suma m + n. Si m + n = 0, entonces m = n = 0 y
0 0!
= = 1 es entero.
0 0!(0 − 0)!
Volumen X, Número X, Xxx’XX, ISSN 2174-0410 Revista “Pensamiento Matemático” | 9
Nombre y Apellidos del/ los Autor/es Sección de la Revista

Para desarrollar el paso inductivo primeramente veamos que para 0 < m < n tenemos la
siguiente identidad:
n−1 n−1
     
n
= +
m m m−1
Esta identidad se obtiene directamente de la definición, veamos:

n−1 n−1 (n − 1!) ( n − 1) !

   
+ = +
m m−1 m!(n − m − 1)! (m − 1)!(n − m)!

(n − m)(n − 1)! + m(n − 1)! (n − m + m)(n − 1)!

= =
m!(n − m)! m!(n − m)!
n ( n − 1) !
 
n! n
= = =
m!(n − m)! m!(n − m)! m
 
n
Ahora apliquemos la hipótesis de inducción, es decir que es entero para n + m ≤ k.
m
  que podemos suponer también que 0 < m < n, ya que si m < n o m = 0 tenemos
Note
n
= 1 y el resultado es trivialmente válido. Asimismo si n + m = k + 1, tenemos
m
n−1 n−1
     
n
= + es entero también pues cada sumando de la derecha es
m m m−1
entero por la hipótesis de inducción.

6. Apliquemos inducción en k. La conclusión es clara para k = 1, como:

p−1
 
= p − 1 ≡ −1(mod p)
1

Asumimos que la conclusión es verdadera para k = i, donde 1 ≤ i ≤ p − 2. Es fácil y bien

conocido (y fácil de chequear por cálculo directo) que:

p−1 p−1
     
p
+ =
i i−1 i

  la propiedad que: Sea p un número primo y k ∈ Z, 1 ≤ k < p. Entonces p divide

Usando
p
a . Tenemos que:
k
p−1 p−1
   
+ ≡ 0(mod p)
i i−1
Por hipótesis de inducción tenemos:

p−1 p−1
   
≡− ≡ (−1)i (mod p)
i i−1

Completando nuestra inducción.

7. Para un entero positivo n, sea an = 11 · · · 1}. Es suficiente demostrar que para todo entero
| {z
3n
positivo n, an es divisible por 3n que es la suma de sus dígitos.
Utilizaremos inducción en n.
Para n = 1, es claro que an = 111, que es divisible por 3, cumple.
Asumamos que an es divisible por 3n hasta un entero positivo n = k.

10 | Revista “Pensamiento Matemático” Volumen X, Número X, Xxx’XX, ISSN 2174-0410

Título del Artículo Nombre y Apellidos del Autor

Consideremos ak+1 . Note que:

 
2·3k 3k
ak+1 = 11 · · · 1 = 11 · · · 1 = 11 · · · 1 11 ·
| {z } | {z } | {z } | {z } | {z } | {z } · · 1 11 · · · 1 = 11 · · · 1 10 + 10 + 1 =
3k +1 3·3k 3k 3k 3k 3k

= ak · 1 00 · · · 0} 1 00
| {z · · · 0} 1
| {z
3k −1 3k −1

Como 3 divide a 1 00 · · · 0} 1 00
| {z · · · 0} 1 y 3k divide a ak , se tiene que 3k+1 divide a ak+1 . Esto
| {z
3k −1 3k −1
completa la prueba.
8. Busquemos alguna pista, tratemos de calcular los primeros términos de la sucesión a0 = 9,
a1 = 22599,· · · . El próximo término tomará mucho más tiempo, pero podemos conjeturar
que existen suficientes nueves al final de los números. Determinamos que a10 contiene
más de 1000 nueves. Pero 1000 es ligeramente menor que 210 = 1024. Conjeturemos que
an termina con 2n nueves. Esto será probado por inducción.
Un número que termina en m nueves tiene la forma a · 10n − 1, a ∈ N. Suponga que
an = a · 10m − 1. Entonces:

an = 3a4n + 4a3n = 3( a · 10m − 1)4 + 4( a · 10m − 1)3 =

= 3a4 · 104m − 12a3 · 103m + 18a2 · 102m − 12a · 10m + 3 + 4a3 · 103m − 12a2 · 102m + 12a3 · 10m − 4 =
= b · 102m − 1
Por tanto el número de nueves al final es el doble en cada paso. Luego
n
an = a · 102 − 1, ∀n ≥ 0

9. Apliquemos inducción en n.
El planteamiento es verdadero para n = 0.
Sea n ≥ 0, entonces
n
 n −1    n −1  2 n −1

23 + 1 = 23 + 1 23 − 23 + 1

Por la hipótesis inductiva el primer factor es divisible por 3n , mientras el segundo factor
n −1
es divisible por 3, pues 23 ≡ −1(mod 3), entonces el resultado es divisible por 3n+1 , lo
que prueba el planteamiento del problema.
10. El problema es trivial para n = 0.
Suponga que el teorema es válido para n = 2k . De 2k+2 − 1 enteros, podemos seleccionar
tres veces 2k enteros, por la hipótesis de inducción tenemos una suma divisible por 2k .
Por el principio de Dirichlet dos de esas tres sumas dejan el mismo resto en la división por
2k+1 . La suma de esas dos sumas es una suma de 2k+1 números divisibles por 2k+1 .
11. Probemos ambas partes por inducción en n
a) El caso n = 1 se obtiene de forma directa, pues el número 2 cumple.
Supongamos ahora que tenemos que existen números hasta de k dígitos divisibles
por 2k y conteniendo solo los dígitos 2 y 3, sea m un número de estos con k dígitos.
Sea m = 2k t para algún entero t.
Si k es par, entonces 2 · 10k + m = 2k (2 · 5k + t) es un número de (k + 1) dígitos escrito
solo con los dígitos 2 y 3 y divisible por 2k+1 .
Si k es impar, entonces 3 · 10k + m = 2k (3 · 5k + t) tiene esta propiedad.

Volumen X, Número X, Xxx’XX, ISSN 2174-0410 Revista “Pensamiento Matemático” | 11

Nombre y Apellidos del/ los Autor/es Sección de la Revista

b) La idea en este inciso es la misma. El inicio es m = 5.

Ahora si hemos encontrado un número hasta de k dígitos m = 5k t con esta propie-
dad, entonces viendo módulo 5, uno de los números de (k + 1) dígitos

5 · 10k + m = 5k (5 · 2k + t)

6 · 10k + m = 5k (6 · 2k + t)
7 · 10k + m = 5k (7 · 2k + t)
8 · 10k + m = 5k (8 · 2k + t)
9 · 10k + m = 5k (9 · 2k + t)
Tienen la propiedad requerida y el problema es resuelto.
h i  h i
n + 2i
12. Sea f (n) = n+ 1 n +2

2 + 4 + · · · + 2 i + 1 +···.
Probemos por inducción que f (n) = n.
Esto obviamente se verifica para n = 1.
Asumamos que f (n − 1) = n − 1.
Definimos

n + 2i n − 1 + 2i
   
g(i, n) = −
2i + 1 2i + 1
Tenemos que f (n) − f (n − 1) = g(0, n) + g(1, n) + g(2, n) + · · · . También notemos que
g(i, n) = 1 si y solo si 2i+1 divide a n + 2i ; de otro modo g(i, n) = 0, que 2i+1 divide a
n + 2i es equivalente a que 2i divide a n y 2i+1 no divide a n, lo cual para un n dado se
verifica para exactamente un i ∈ N0 . Entonces sigue que f (n) − f (n − 1) = 1 ⇒ f (n) = n,
con lo cual se completa la demostración por inducción.
13. Como en muchos problemas en los que se necesita buscar infinitas soluciones a una condi-
ción, lo mejor es tratar de analizar casos menores primero y tratar de buscar algún modelo
en ellos y probar que este modelo genera infinitas soluciones.
Probando los valores de n hasta 5 da como soluciones (1, 1), (1, 2), (2, 5), (5, 13) consistente
de alternar los términos de una sucesión de Fibonacci. Esto lleva a pensar en la siguiente
solución:
Denote por Fn el n-ésimo número de Fibonacci. Conjeturemos que (n, m) = ( F2k−1 , F2k+1 )
es una solución para todo entero positivo k.
Primero demostremos que para todo entero positivo k,
2
F2k +1 + 1 = F2k−1 · F2k+3 (1)

Esto será probado por inducción en k.

Para k = 1 es verdadero, pues F32 + 1 = 22 + 1 = 5 = 1 · 5 = F1 · F5 .
Ahora supongamos que:
2
F2k −1 + 1 = F2k−3 · F2k+1
Note que:
F2k+3 = 3F2k+1 − F2k−1
Por aplicar repetidamente la relación Fm+2 = Fm+1 + Fm . Entonces:
2
F2k−1 · F2k+3 = F2k−1 (3F2k+1 − F2k−1 ) = 3F2k+1 F2k−1 − F2k −1 = 3F2k+1 F2k−1 − ( F2k−3 · F2k+1 − 1) = F2k+1 (3F2k−1 −
Esto completa la prueba de (1). Pero entonces sigue inmediatamente que: F2k−1 divide a
2 2
F2k +1 + 1 y F2k+1 divide a F2k−1 + 1, para todo entero positivo k.

12 | Revista “Pensamiento Matemático” Volumen X, Número X, Xxx’XX, ISSN 2174-0410

Título del Artículo Nombre y Apellidos del Autor

4. Aplicado a problemas de Álgebra

4.1. Problemas
1. Prueba que 3n ≥ n3 para todo entero positivo n.
2. Prueba que para todo entero positivo n se cumple que:
1 1 1 1 1 1 1
+ +···+ = 1− + −···+ −
n+1 n+2 2n 2 3 2n − 1 2n
∗ , prueba que:
3. Sea n ∈ Z+
1 1 1 3
1+ 3
+ 3 +···+ 3 <
2 3 n 2
4. Sean a1 , a2 , · · · , an números reales mayores que 1. Prueba la desigualdad:
1 1 1 n
+ +···+ ≥ √
1 + a1 1 + a2 1 + an 1 + a1 a2 · · · a n
(Putnam and Beyond)
 
f ( x1 )+ f ( x2 )
5. Sea f : R → R una función que satisface f x1 +2 x2 = 2 para cada x1 , x2 . Prueba
que:
x1 + x2 + · + x n f ( x1 ) + f ( x2 ) + · + f ( x n )
 
f = = , ∀ x1 , x2 , · · · , x n
n n
(Putnam and Beyond)
6. Sea N el conjunto de los números enteros positivos. Encuentra todas las funciones f :
N → N tal que ∀m, n ∈ N, f (2) = 2, f (mn) = f (m) f (n), ( f (n + 1) > f (n). (Infinity,
Canadá 1969)
7. Sean a1 , a2 , · · · , a2003 una sucesión de números reales. Un término ak , 1 ≤ k ≤ 2003 se
llama principal si al menos una de las expresiones ak , ak + ak+1 , · · · , ak + ak+1 + · · · + a2003
es positiva. Prueba que la suma de todos los términos principales es positiva dado que la
sucesión tiene al menos un término principal. (Kazajstán 2003)
1
8. Para cada entero positivo k se define Hk = 1 + 2 + · · · + 1k . Prueba que
1
1+ ( H + H2 + · + Hn ) = H( n + 1)
n+1 1
(Arabia Saudita 2012)
 
1 n +1 1
9. Defina la sucesión x1 , x2 , · · · por x1 = 6 y x n +1 = n +3 xn + 2 para cada n ≥ 1. Deter-
mina x2011 .
10. Considere la sucesión de números reales a1 , a2 , · · · , definida por:
a1 = 2
n +1
an = n −1 ( a 1 + a 2 + · · · + a n −1 ), n ≥ 2
Determina a2013 .
(Grecia 2013)
11. Sean N el conjunto de los enteros positivos y f : N → N una función que satisface f (1) =
1, f (2n) = f (n), f (2n + 1) = f (2n) + 1, ∀n ∈ N. Determina el máximo de f (n) cuando
1 ≤ n ≤ 1994. (Mathematical Olympiad Challenges)

Volumen X, Número X, Xxx’XX, ISSN 2174-0410 Revista “Pensamiento Matemático” | 13

Nombre y Apellidos del/ los Autor/es Sección de la Revista

12. Demuestra que para x > 1, se cumple que:

x −1 x 2 −1 x 3 −1 x n −1
x x2 x3 xn
< < < ··· < < ···
1 2 x3 n
(Mathematical Olympiad Challenges)
13. Sea { x } = x − [ x ] denota la parte fraccionaria de x. Prueba que para todo número natural
n,
n√ o n√ o n√ o n2 − 1
1 + 2 +? · · · + n2 ≤
2
(Rusia 1999)

4.2. Soluciones
1. Usemos inducción en n.
El inicio de inducción es claramente verdadero, pues 3 > 1 .
Debemos demostrar que 3k+1 ≥ (k + 1)3 suponiendo que se cumple hasta un cierto n = k.
Tenemos
3k+1 = 3 · 3k ≥ 3k3 ≥ (k + 1)3

Demostremos esta última parte:

3k3 ≥ (k + 1)3
3k3 ≥ k3 + 3k2 + 3k + 1
Sería suficiente demostrar que:

2k3 ≥ 3k2 + 3k + 1

Probemos esto nuevamente por inducción en k

Inicio: Veamos que para k = 1 no se cumple pues 2 < 3 + 3 + 1 = 7, para k = 2 tampoco se
cumple, pues 16 < 12 + 6 + 1 = 19. Para k = 3, 2 · 33 = 54, mientras que 3 · 32 + 3 · 3 + 1 =
27 + 9 + 1 = 37, entonces para k = 3 se cumple, por ello demostremos que se cumple para
todo k ≥ 3 Supongamos que se cumple para un k = t y demostremos que se cumple para
el elemento siguiente:
Hipótesis:
2t3 ≥ 3t2 + 3t + 1
Tesis:
2( t + 1)3 ≥ 3( t + 1)2 + 3( t + 1) + 1
2(t3 + 3t2 + 3t + 1) ≥ 3(t2 + 2t + 1) + 3(t + 1) + 1
2t3 + 6t2 + 6t + 2 ≥ 3t2 + 6t + 3 + 3t + 3 + 1
Utilizando la hipótesis y cancelando elementos iguales el trabajo se reduce a demostrar
que:
6t2 + 2 ≥ 3 + 3
6t2 ≥ 4
Que se cumple. Entonces falta ver que para los elementos iniciales la desigualdad original
se cumple. Para n = 1, vimos que era verdadera, para n = 2 se tiene que 32 > 23 y para
n = 3 se cumple que 33 = 33
Por tanto la relación se cumple para todo n entero positivo, como queríamos.

14 | Revista “Pensamiento Matemático” Volumen X, Número X, Xxx’XX, ISSN 2174-0410

Título del Artículo Nombre y Apellidos del Autor

1 1
2. El caso n = 1 es 2 = 1− 2 , que es verdadero.
Ahora la hipótesis de inducción sería:
1 1 1 1 1 1 1
+ +···+ = 1− + −···+ −
k+1 k+2 2k 2 3 2k − 1 2k
Debemos probar que:
1 1 1 1 1 1 1 1 1 1 1
+ +···+ + + = 1− + −···+ − + −
k+1 k+2 2k 2k + 1 2k + 2 2 3 2k − 1 2k 2k + 1 2k + 2
Usando la hipótesis de inducción podemos escribir esto como:
1 1 1 1 1 1 1 1 1
+···+ + + = + +···+ + −
k+2 2k 2k + 1 2k + 2 k+1 k+2 2k 2k + 1 2k + 2
Lo cual se reduce obviamente a
1 1 1
= −
2k + 2 k + 1 2k + 2
Lo cual completa la inducción.
3. El miembro izquierdo de la desigualdad crece en la misma medida en que crece n, mien-
tras el miembro derecho permanece constante, luego aparentemente una prueba por in-
ducción fallaría. Sin embargo si bajamos un poco el valor del miembro derecho a:
1 1 1 3 1
1+ + 3 +···+ 3 < −
23 3 n 2 n
Como tal los casos n = 1 y n = 2 necesitan ser tratados independientemente, y son fáciles
de chequear.
Para n=1, 1 < 32 , para n = 2, 1 + 81 = 98 < 32 . En este caso el inicio de inducción sería n = 3:
1 + 213 + 313 = 1 + 18 + 27
1
< 32 − 31 . Por el paso inductivo de 1 + 213 + 313 + · · · + k13 < 23 − 1k
para algún k ≥ 3, obtenemos:
1 1 1 1 3 1 1
1+ + 3 +···+ 3 < − +
23 3 k ( k + 1)3 2 k ( k + 1)3
Todo lo que necesitamos chequear es:
3 1 1 3 1
− + 3
< −
2 k ( k + 1) 2 k+1
Que es equivalente a:
1 1 1 1
3
< − =
( k + 1) k k+1 k ( k + 1)
Esto es verdadero, completando la inducción y quedando la desigualdad probada.
4. Demostremos el inicio:
1 1 2
+ ≥ √
1 + a1 1 + a2 1 + a1 a2
Multiplicamos por el mcm de los denominadores tenemos:
√
(2 + a1 + a2 ) (1 + a1 a2 ) ≥ (1 + a1 + a2 + a1 a2 )
Después multiplicando y simplificando obtenemos:
√ √
2 a1 a2 + ( a1 + a2 ) a1 a2 ≥ a1 + a2 + 2a1 a2

Volumen X, Número X, Xxx’XX, ISSN 2174-0410 Revista “Pensamiento Matemático” | 15

Nombre y Apellidos del/ los Autor/es Sección de la Revista

Esto se puede reescribir como:

√ √ √
2 a1 a2 (1 − a1 a2 ) + ( a1 + a2 ) ( a1 a2 − 1) ≥ 0

o
√ √
( a1 a2 − 1) ( a1 + a2 − 2 a1 a2 ) ≥ 0
√
Esta desigualdad es obviamente verdadera pues a1 a2 ≥ 1 y a1 + a2 ≥ 2 a1 a2 .
Ahora en cambio, agotando todas las posibilidades para los enteros positivos n, disminui-
mos nuestro objetivo y chequeamos aquellos n que son potencias de 2. Luego necesitamos
probar que la desigualdad es cierta para n = 2k por inducción en k. El inicio ya fue proba-
do, asumamos que es verdadera para k, podemos escribir:

1 1 1
+ +···+ =
1 + a1 1 + a2 1 + a 2k +1
  
1 1 1 1 1 1
= + +···+ + +···+ ≥
1 + a1 1 + a2 1 + a 2k 1 + a 2k +1 1 + a 2k +2 1 + a 2k +1
!
k 1 1 2
≥2 √ + √ ≥ 2k √
1 + 2k a 1 a 2 · · · a 2k 1 + 2k a 2k +1 a 2k +2 · · · a 2k +1 1+ 2k +1 a 1 a 2 · · · a 2k +1

Donde la primera desigualdad se verifica por la hipótesis de inducción y la segunda es

exactamente igual que el inicio de inducción.
Ahora necesitamos cubrir los casos en que n no es una potencia de 2. Ahora probaremos la
inducción hacia atrás, asumamos que la desigualdad se verifica para n + 1 números y pro-
bemos que se cumple entonces para n. Sean a1 , a2 , · · · , an algunos números reales mayores
√
que 1. Adicionando a ellos el número n a1 a2 · · · an . Cuando escribimos la desigualdad pa-
ra esos n + 1 números obtenemos:

1 1 1 n+1
+ +···+ √ ≥ √
1 + n a1 a2 · · · a n
p
1 + a1 1 + a2 1+ n +1
a1 a2 · · · a n n a1 a2 · · · a n

Aplicando propiedades de los radicales se tiene que:

q
n +1 √ √
a1 a2 · · · a n n
a1 a2 · · · a n = n
a1 a2 · · · a n

Entonces:
1 1 1 n+1
+ +···+ √ ≥ √
1 + n a1 a2 · · · a n
p
1 + a1 1 + a2 1+ n +1
a1 a2 · · · a n n a1 a2 · · · a n

n+1 n 1
= √
n a a ···a
= √
n a a ···a
+ √
n a a ···a
1+ 1 2 n 1 + 1 2 n 1 + 1 2 n

Y simplificando el último sumando tenemos:

1 1 1 n
+ +···+ ≥ √
1 + a1 1 + a2 1 + an 1 + n a1 a2 · · · a n

Como queríamos. La desigualdad es ahora probada puesto que podemos alcanzar cual-
quier entero positivo comenzando por una potencia de 2 suficientemente grande y traba-
jando hacia atrás.

16 | Revista “Pensamiento Matemático” Volumen X, Número X, Xxx’XX, ISSN 2174-0410

Título del Artículo Nombre y Apellidos del Autor

5. Primero demostremos por inducción en k que la identidad se verifica para n = 2k .

El inicio de la inducción se verifica por premisa del problema.
Asumamos que la proposición es verdadera para n = 2k y probémosla para n = 2k+1 .
Tenemos:
 x + x +·+ x  x + x2k +2 +·+ x2k+1

1 2 2k 2k +1

x 1 + x 2 + · · · + x 2k + x 2k +1 + · · · + x 2k +1
 f 2k
+ f 2k
f = =
2k +1 2

f ( x1 )+ f ( x2 )+·+ f ( x2k ) f ( x2k +1 )+ f ( x2k +2 )+·+ f ( x2k+1 )

2k
+ 2k
= =
2
f ( x 1 ) + f ( x 2 ) + · + f ( x 2k ) + f ( x 2k +1 ) + f ( x 2k +2 ) + · + f ( x 2k +1 )
2k +1
Lo cual completa la inducción. Ahora trabajamos hacia atrás, demostrando que si la iden-
tidad se verifica para n entonces se verifica también para n − 1. Considere los números
x + x +···+ x
x 1 , x 2 , · · · , x n −1 y 1 2 n −1 n −1 .
Usando la hipótesis de inducción, tenemos:
x1 + x2 +···+ xn−1
!
x 1 + x 2 + · · · + x n −1 + n −1
f =
n
 
x1 + x2 +···+ xn−1
f ( x 1 ) + f ( x 2 ) + · · · + f ( x n −1 ) + f n −1
=
n
Lo cual es lo mismo porque:
 
x1 + x2 +···+ xn−1

x 1 + x 2 + · · · + x n −1

f ( x 1 ) + f ( x 2 ) + · · · + f ( x n −1 ) f n −1
f = +
n−1 n n

Moviendo el último término del miembro derecho al izquierdo se obtiene:

n−1 x 1 + x 2 + · · · + x n −1 f ( x 1 ) + f ( x 2 ) + · · · + f ( x n −1 )
 
f =
n n−1 n

Esto es claramente lo mismo que:

x 1 + x 2 + · · · + x n −1 f ( x 1 ) + f ( x 2 ) + · · · + f ( x n −1 )
 
f =
n−1 n−1

Con lo cual se completa la prueba.

6. Evaluemos f (n) para los menores valores de n, f (1 · 1) = f (1) · f (1) que f (1) = 1. Por
la multiplicidad tenemos f (4) = ( f (2))2 = 4. Por la desigualdad tenemos 2 = f (2) <
f (3) < f (4) = 4, entonces f (3) = 3. También calculamos f (6) = f (2) · f (3) = 6, tenemos
entonces que f (5) = 5. Probemos por inducción que f (n) = n, ∀n ∈ N. Esto se verifica
para n = 1, 2, 3. Ahora sea n > 2 y supongamos que f (k) = k, ∀1 ≤ k ≤ n y demostremos
que f (n + 1) = n + 1.
Caso 1: n + 1 es compuesto. Uno puede escribir n + 1 = a · b para algunos enteros positivos
a y b con 2 ≤ a ≤ b ≤ n.
Por la hipótesis de inducción tenemos que f ( a) = a y f (b) = b. Se sigue que f (n + 1) =
f ( a) f (b) = ab = n + 1.

Volumen X, Número X, Xxx’XX, ISSN 2174-0410 Revista “Pensamiento Matemático” | 17

Nombre y Apellidos del/ los Autor/es Sección de la Revista

Caso 2: n + 1 es primo. En este caso para n > 1, n + 2 es par. Escribimos n + 2 = 2k para

algún entero positivo k. Como n ≥ 2, tenemos 2k = n + 2 ≥ 4 o k ≥ 2. Como k = n+ 2
2 ≤ ?n,
por la hipótesis de inducción, tenemos f (k) = k. Sigue que f (n + 2) = f (2k) = f (2) f (k) =
2k = n + 2 de la desigualdad: n = f (n) < f (n + 1) < f (n + 2) = n + 2. Concluimos que
f (n + 1) = n + 1.
Por inducción se cumple que f (n) = n, ∀n ∈ N.

7. Apliquemos inducción con respecto a n.

El caso n = 1 es claro.
Supongamos que el planteamiento es verdadero para toda sucesión de longitud menor
que n, ahora considere la sucesión a1 , a2 , · · · , an y analicemos dos casos:
Caso 1. a1 no es un término principal. Entonces el conjunto de todos los términos principa-
les de la sucesión a1 , a2 , · · · , an coincide con el conjunto de todos los términos principales
de la sucesión a2 , a3 , ·, an , lo cual se cumple por la hipótesis de inducción.
Caso 2. a1 es un término principal. Consideremos el menor entero no negativo m, con
a1 + a2 + · · · + am positivo. Entonces los términos a2 , a3 , · · · , am son también términos
principales y su suma es positiva. La suma de los restantes términos principales también
es no negativa por la hipótesis de inducción.

8. Demostremos utilizando inducción en n.

Para n = 1 tenemos 1 + 12 H1 = 1 + 12 = H2 . Asumamos que 1 + k+1 1 ( H1 + H2 + · · · +
Hk ) = Hk+1 y probemos que 1 + k+1 2 ( H1 + H2 + · · · + Hk + Hk+1 ) = Hk+2 .

1 1 k+1 1
1+ ( H + H2 + · · · + Hk + Hk+1 ) = 1 + H + + ( H + H2 + · · · + Hk ) =
k+2 1 k + 2 k +1 k + 2 k + 1 1

1 k+1 k+1 1
= 1+ Hk+1 − + Hk+1 = Hk+1 + = Hk+2
k+2 k+2 k+2 k+2
Tenemos Y la relación ha sido probada.
   
9. Tenemos x2 = 24 16 + 12 = 26 , x3 = 53 26 + 21 = 36 .
Probaremos por inducción en n que xn = n6 , ∀n ≥ 1.
k
El inicio ya ha sido probado, supongamos que xk = 6 y demostremos que se cumple
xk+1 = k+6 1 .
   
k+1 1 k+1 k 1 k+1 k+3 k+1
x k +1 = xk + = + = · =
k+3 2 k+3 6 2 k+3 6 6
Y ha sido demostrado. Por tanto:
2011
x2011 =
6

10. Observemos que: a1 = 2, a2 = 31 a1 = 3 · 2, a3 = 42 ( a1 + a2 ) = 42 · 4 · 2 = 4 · 22 , a4 =

5 5 3 6 6 4
3 ( a1 + a2 + a3 ) = 3 · 24 = 5 · 2 , a5 = 4 ( a1 + a2 + a3 + a4 ) = 4 · 64 = 6 · 2
Usaremos inducción. Sea an = (n + 1) · 2n−1 hasta n = k, probemos que la misma fórmula
es válida para n = k + 1, por tanto ak+1 = (k + 2) · 2k .
De hecho tenemos
k+2 k+2
a k +1 = ( a1 + a2 + · · · + a k ) = (2 + 3 · 21 + 4 · 22 + · · · + (k + 1) · 2k−1 )
k k
18 | Revista “Pensamiento Matemático” Volumen X, Número X, Xxx’XX, ISSN 2174-0410
Título del Artículo Nombre y Apellidos del Autor

Por tanto:
k+2
a k +1 = (2 · 20 + 3 · 21 + 4 · 22 + · · · + (k + 1) · 2k−1 ) (1)
k
Multiplicando ambos miembros por 2.
k+2
2ak+1 = (2 · 21 + 3 · 22 + 4 · 23 + · · · + (k + 1) · 2k ) (2)
k
De (1) y (2) tenemos
k+2
a k +1 = (−2 − 21 − 22 − 23 − · · · − 2k−1 + (k + 1) · 2k ) ak+1 =
k
k+2 1 − 2k
(−1 − + ( k + 1 ) · 2k ) =
k 1−2
k+2
= (−2k + (k + 1) · 2k ) = (k + 2) · 2k
k
Por tanto tenemos:
a2013 = 2014 · 22012

11. Determinemos una fórmula explícita para f .

Como las relaciones de recurrencia envuelven multiplicaciones por 2 y adiciones de 1,
una buena idea es escribir el número en base 2. Entonces en la multiplicación por 2 = 102
adicionamos un cero al final del número.
Calculamos f (102 ) = 1, f (112 ) = 2, f (1102 ) = 2.
Demostremos por inducción que f (n) es igual al número de unos en la expansión binaria
del número n. Si n es par, que es n = 102 · m, entonces f (m) = f (102 · m) por definición, y
como m y 102 · m tienen el mismo número de unos en la expansión binaria, la conclusión
sigue de la hipótesis de inducción.
Si n es impar n = 102 · m + 1, entonces f (n) = f (m) + 1 y como n tiene un uno más que
m en la expansión binaria, la propiedad sigue también de la hipótesis de inducción.
El problema se reduce a determinar el mayor número de unos que puede aparecer en la
expansión binaria de los números menores que 1994. Como 1994 < 21 1 − 1, f (n) puede
ser cuando más 10.
Tenemos que f (1023) = f (11111111112 ) = 10; por tanto el máximo buscado es 10.
x n −1 x n +1 −1
xn x n +1
12. Demostremos por inducción en n que n < n +1 .
x −1
La desigualdad es claramente verdadera para n = 1, como si x > 1, entonces > 0, x
x −1 x 2 −1 x +1
luego < xque se reduce a
x2 x > 2 lo cual es verdadero por la desigualdad MA-
MG, pues x 6= 1.
x k −1 −1 x k −1 x k −1 x k +1 −1
x k −1 xk xk x k +1
Asumamos que k −1 < k y demostremos que k < k +1 .
Tenemos que
   k   k −1 
x k +1 −1 x −1
x k +1
= x +1
x xk
− x xk−−1 1 y como x+x 1 > 2, usando la hipótesis de inducción
obtenemos:
x k +1 − 1 k−1
     
k 1 k 1 k+1 k 1
> 2 x − − x − = x −
x k +1 xk k xk k xk

Lo cual genera la conclusión.

Volumen X, Número X, Xxx’XX, ISSN 2174-0410 Revista “Pensamiento Matemático” | 19

Nombre y Apellidos del/ los Autor/es Sección de la Revista

13. Probemos por inducción en n.

Para n = 1, tenemos 0 ≤ 0.
Ahora supongamos que el planteamiento es verdadero para n y probemos que es verda-
dero para n + 1.
√ √ √
Cada uno de los números n2 + 1, n2 + 2, · · · , n2 + 2n está entre n y n + 1. Entonces:
r
np o p i2 i
n2 + i = n2 + i − n < n2 + i + −n =
4n2 2n
Por tanto tenemos
n√ o n√ o q  n√ o n√ o n√ o np o q 
1 + 2 +···+ ( n + 1)2 = 1 + 2 +···+ n2 + n2 + 1 + · · · + ( n + 1)2 <

< (n2 + 1)/2 + 1/2n(1 + 2+? + 2n) + 0 = (n2 + 1)/2 + (2n + 1)/2 = ((n + 1)2 − 1)/2
Completando el paso inductivo y la demostración.

5. Aplicado a problemas de Geometría

5.1. Problemas
1. Demuestra que un triángulo isósceles con un ángulo de 120◦ puede ser dividido en n ≥ 4
triángulos semejantes a él.

2. Prueba que todo cuadrado puede ser dividido en n cuadrados, para todo n ≥ 6.

3. n puntos son ubicados a lo largo de una circunferencia y marcados con las letras a o b.
Prueba que existen a lo sumo 3n2+4 cuerdas que unen puntos marcados de modo diferen-
te y que no se intersecan en el interior de la circunferencia. (Engel, A. Problem Solving
Strategies)

4. Demuestra que para todo n > 3 existe un n-ágono cuyos lados no son todos iguales y
tal que la suma de las distancias desde cada punto interior a cada uno de los lados es
constante. (Un n-ágono es un polígono con n lados). (Putnam and Beyond)

5. Los vértices de un polígono convexo son coloreados de al menos tres colores tal que nin-
guna pareja de vértices consecutivos tienen el mismo color. Prueba que se puede des-
componer el polígono en triángulos por diagonales que no se intersequen y cuyos puntos
extremos tengan diferentes colores. (Putnam and Beyond)

6. Prueba que cada polígono (convexo o no) puede ser dividido en triángulos por diagonales
interiores. (Putnam and Beyond)

7. Son dados 27 puntos distintos en el plano, ningunos tres de ellos colineales. Cuatro de
esos puntos son los vértices de un cuadrado unitario y los otros 23 puntos son interiores
a ese cuadrado. Prueba que existen tres puntos distintos X, Y, Z en este conjunto tal que
1
[ XYZ ] ≤ 48 .

8. Considera n rectas en posición general en un plano, o sea sin que hayan dos rectas parale-
las ni tres que concurran. Demuestra que el número de regiones en que dividen al plano es
1 2
2 ( n + n + 2). (Teoria dos números: um passeio com primos e outros números familiares
pelo mundo inteiro)

20 | Revista “Pensamiento Matemático” Volumen X, Número X, Xxx’XX, ISSN 2174-0410

Título del Artículo Nombre y Apellidos del Autor

5.2. Soluciones
1. El inicio de inducción consiste en la división del triángulo en 4, 5 o 6 triángulos. La figu-
ra muestra el caso de 4, que se obtiene uniendo los puntos medios de los lados, se han
marcado ángulos iguales con igual color:

Para el caso de 5 se divide el ángulo principal del triángulo en ángulos de 30◦ , 60◦ , 30◦ , en
la parte central nos queda un triángulo equilátero y los otros dos triángulos que se forman
son semejantes al triángulo mayor. Ahora en el triángulo equilátero trazamos los segmen-
tos desde el centro del triángulo a los vértices y se forman tres triángulos de 30◦ , 120◦ , 30◦ ,
es decir semejantes al triángulo mayor. En la figura se muestran ángulos iguales con igua-
les colores.

Para el caso 6 se traza una recta paralela a la base por un punto de modo que el segmento
mayor que se forma en uno de los lados iguales sea el doble del segmento menor, se traza
el punto medio del segmento paralelo trazado y se construyen los puntos que tricecan
la base, luego se unen los puntos como se muestra en la figura y se obtienen en total 6
triángulos semejantes al original, los ángulos iguales se representan con iguales colores.

Los pasos de inducción se producen a partir de la división de uno de los triángulos en 4

triángulos semejantes, lo cual se hace según se mostró en el inicio, pasando de k, k + 1, k +
2, respectivamente a k + 3, k + 4, k + 5, lo que completa la prueba.
2. Probemos por inducción en n.
Los casos para n = 6, 7, 8 se muestran en la figura:

El caso n = 6 se obtiene dividiendo el lado del cuadrado en tres partes iguales y uniendo
los puntos como se muestra en la figura:

Volumen X, Número X, Xxx’XX, ISSN 2174-0410 Revista “Pensamiento Matemático” | 21

Nombre y Apellidos del/ los Autor/es Sección de la Revista

El caso n = 7 se obtiene dividiendo el lado del cuadrado por los puntos medios, que
al trazar los segmentos forma cuatro cuadrados y luego usando el mismo procedimiento
dividir uno de los cuadrados como se muestra en la figura:

El caso n = 8 se obtiene tomando una franja de anchura la cuarta parte del lado del
cuadrado en dos lados consecutivos como se muestra en la figura y después cada franja
se divide en cuatro cuadrados iguales como se muestra en la figura:

La solución ahora sigue de un argumento inductivo, como la propiedad se considera ver-

dadera para cierto k, entonces se puede demostrar que es verdadera para k + 3, dividiendo
uno de los cuadrados de la figura k en 4.

3. El resultado es obviamente verdadero para n = 2. Supongamos que ya tenemos probado

el problema para todo k < n.
Trazamos cada diagonal conectando algún a con algún b. El círculo es dividido en dos
partes. Una de las partes tiene k puntos y la otra n − k − 2 puntos.
Aplicamos la hipótesis de inducción a ambos lados y tenemos:

3( n − k − 2) + 4 3k + 4 3(n − k − 2) + 4
       
3k + 4 3n + 4
+ +1 ≤ + +1 =
2 2 2 2 2

Por lo tanto el problema es válido para n.

4. Primero expliquemos el inicio de inducción, con la representación de la figura.

22 | Revista “Pensamiento Matemático” Volumen X, Número X, Xxx’XX, ISSN 2174-0410

Título del Artículo Nombre y Apellidos del Autor

En el caso n = 4 podemos tomar un rectángulo, que cumple las condiciones pues la distan-
cia desde un P un par de rectas paralelas es constante, es decir la suma de los vectores rojos
es constante, al igual que la suma de los vectores azules, para cualquier punto interior al
rectángulo, los dos azules suman la longitud del lado mayor del rectángulo, mientras que
los rojos suman la longitud del lado menor.
En el caso n = 5 podemos tomar un triángulo equilátero con dos vértices cortados por dos
rectas paralelas.

Sabemos que para todo punto situado en el interior del triángulo equilátero su suma de
las distancias a los tres lados es constante, entonces tres de las distancias a los lados del
pentágono serían estas distancias y las otras dos son las distancias de ese punto P a las
dos rectas paralelas, entonces esta distancia es constante.
Si asumimos, como hipótesis de inducción, que tal k-ágono existe para k < n, entonces
el n-ágono puede ser obtenido picando dos vértices del (n − 2)-ágono por dos rectas pa-
ralelas. La suma de las distancias de un punto interior a dos rectas paralelas no cambia
cuando el punto varía y por supuesto la suma de las distancias a los restantes lados es
constante por la hipótesis de inducción.
Seleccionando los lados formados por las rectas paralelas que se trazan de diferente lon-
gitud garantizamos que el polígono resultante no es regular.

5. La propiedad es obviamente verdadera para el triángulo pues en este caso no hay necesi-
dad de descomponer el polígono convexo. Este será nuestro inicio de inducción.
Asumamos que la proposición es verdadera para cada coloración de un k-ágono, para
todo k < n y probemos que es verdadera para una coloración arbitraria de un n-ágono.
Como al menos tres colores son usados existe una diagonal cuyos extremos tienen dife-
rente color, sean rojo (r) y azul (a).
Si en ambos lados de la diagonal aparece un tercer color, entonces podemos aplicar la
hipótesis de inducción a los dos polígonos y resolver el problema.
Si este no es el caso en uno de los lados existirá un polígono con un número par de lados
y con vértices coloreados en orden cíclico rara · · · ra. Seleccionando un punto azul entre
ellos que no sea un extremo de la diagonal seleccionada inicialmente y uniéndolo a un
vértice coloreado del tercer color (ver figura).

Volumen X, Número X, Xxx’XX, ISSN 2174-0410 Revista “Pensamiento Matemático” | 23

Nombre y Apellidos del/ los Autor/es Sección de la Revista

La nueva diagonal divide el polígono en dos polígonos que satisfacen la propiedad del
planteamiento y tienen menos lados. La hipótesis de inducción puede ser aplicada resol-
viendo el problema.
6. Probemos la propiedad por inducción en el número de vértices.
El inicio de la inducción es el triángulo que no necesita ser demostrado.
Asumamos que la propiedad se verifica para polígonos con menos de n vértices y pro-
bémoslo para un polígono con n vértices. El paso inductivo consiste en encontrar una
diagonal interior.
Comencemos por un ángulo interior menor que π, que existe porque la suma de todos
los ángulos es (n − 2)π. Sea el polígono A1 A2 · · · An , con ∠ An A1 A2 el ángulo interior
seleccionado.
Rotemos el rayo A1 An hacia el rayo A1 A2 continuamente interior al ángulo como se mues-
tra en la figura.

Para cada posición del rayo estrictamente entre A1 An y A1 A2 , considere el punto del
polígono que está más cerca de A1 . Si para alguna posición del rayo este punto es un
vértice del polígono, entonces obtenemos una diagonal que divide al polígono en dos
polígonos con menos lados.
De otro modo A2 An es la diagonal. Dividiendo por la diagonal interior, obtenemos dos
polígonos con menos vértices, los cuales por la hipótesis de inducción pueden ser dividi-
dos en triángulos. Esto completa la inducción.
7. Probemos por inducción en n que, dados n ≥ 1 puntos interiores al cuadrado (de los
cuales no hay tres colineales), el cuadrado podrá ser particionado en 2n + 2 triángulos,
donde cada vértice de esos triángulos es uno de los n puntos o uno de los vértices del
cuadrado.
El inicio para n = 1, como el cuadrado es convexo podemos particionar el cuadrado en 4
triángulos trazando segmentos de recta desde el punto interior a los vértices del cuadrado.
En la hipótesis de inducción asumimos que el planteamiento es verdadero cuando n es
igual a algún valor k ≥ 1. Entonces para el caso n = k + 1, tomamos k de los puntos, y

24 | Revista “Pensamiento Matemático” Volumen X, Número X, Xxx’XX, ISSN 2174-0410

Título del Artículo Nombre y Apellidos del Autor

particionamos el cuadrado en 2k + 2 triángulos cuyos vértices son los vértices del cuadra-
do o están entre los k puntos seleccionados.
Llamamos al otro punto P. Como ningunos tres de esos puntos en el conjunto son coli-
neales, P está interior a uno de los 2n + 2 triángulos ABC particionados. Adicionalmente
podemos dividir este triángulo en los triángulos APB, BPC y CPA. Esto produce una par-
tición del cuadrado en 2(n + 1) + 2 = 2n + 4 triángulos, completando la inducción.
Para el caso especial n = 23, podemos dividir el cuadrado en 48 triángulos con área total
1
1. Uno de esos triángulos tiene área total cuando más 48 , como deseabamos.

8. Inicio: una recta divide al plano en dos regiones que es 12 (12 + 1 + 2) = 2.

Hipótesis inductiva: Supongamos que k rectas dividen al plano en 12 (k2 + k + 2) regiones.
Para el paso inductivo debemos demostrar que k + 1 rectas dividen al plano en 21 ((k +
1)2 + (k + 1) + 2) = 21 (k2 + 3k + 4) regiones.
Supongamos que tenemos trazadas k rectas por lo que tenemos 12 (k2 + k + 2) regiones.
Una nueva recta trazada corta en k puntos a las existentes y por tanto genera k + 1 nuevas
regiones, por tanto el número de regiones sería 21 (k2 + k + 2) + k + 1 = 12 (k2 + 3k + 4)
como queríamos demostrar.

Referencias
[1] A SH, M. G., Forced migration and scientific change in the Nazi era, Emigration of Mathemati-
cians and Transmission of Mathematics: Historical Lessons and Consequences of the Third
Reich, Mathematisches Forschungsinstitut Oberwolfach, Nº 51, 2011.

Sobre el/los autor/es:

Nombre: Nombre de autor 1
Correo electrónico: [email protected]
Institución: A la que pertenece (instituto, universidad, etc).
Nombre: Nombre de autor 2
Correo electrónico: [email protected]
Institución: A la que pertenece (instituto, universidad, etc).

Volumen X, Número X, Xxx’XX, ISSN 2174-0410 Revista “Pensamiento Matemático” | 25