PROBLEMA 1.

Escribamos la sucesin de los nmeros impares en orden de magnitud: 1, 3, 5, 7,

Designemos primero por
1
u el segundo por
2
u , el tercero por
3
u , etc.; as, se establece:

1
u = 1,
2
u = 3,
3
u = 5,
4
u = 7,

Ahora vamos a plantear el problema de hallar una frmula que exprese el nmero impar
n
u en trminos de su ndice n.

SOLUCIN.
El primer nmero impar
1
u puede escribirse en la forma
1
u = 2 * 1 - 1; (1)
El segundo nmero impar
2
u puede escribirse de la forma
2
u = 2 * 2 - 1; (2)
El tercer nmero impar
3
u puede escribirse de la forma
3
u = 2 * 3 - 1. (3)
Un examen cuidadoso de las igualdades (1), (2) y (3) conduce a la hiptesis de que
cualquier nmero impar puede obtenerse multiplicando su ndice por 2 y restando 1; es
decir, que para cualquier nmero impar
n
u ,
n
u = 2n -1. (4)
Probaremos que la frmula (4) es vlida generalmente.
Condicin 1. La igualdad (1) muestra que la frmula se cumple para n = 1.
Condicin 2. Supngase que la frmula (4) se cumple para n = k; es decir, que el k-
simo nmero impar est dado por
k
u = 2k -1.
Demostraremos que, con esta suposicin, la frmula (4) tambin se cumple para el
(k+1)-simo nmero impar, es decir, que el (k+1)-simo nmero impar debe estar dado
por
1 k
u
+
= 2(k+1) -1 en forma equivalente,
1 k
u
+
= 2k + 1.
Para obtener el (k+1)-simo nmero impar, slo tiene que sumarse 2 al k-simo nmero
impar; as,
1 k
u
+
=
k
u + 2. Por hiptesis,
k
u = 2 * k 1. En consecuencia,
1 k
u
+
= (2k 1) + 2 = 2k + 1.
Resultado.
n
u = 2n -1.


PROBLEMA 2.
Calcular la suma de los primeros n nmero impares.

SOLUCIN.
Denotemos la suma requerida por
n
S . As,
n
S = 1 + 3 + 5 + + (2n 1).
Los problemas de este tipo se pueden resolver usando una frmula probada. Pero nos
interesa resolver el problema sin recurrir a tal frmula y aplicando el mtodo de
induccin matemtica. Para hacerlo, es necesario establecer primero una hiptesis, es
decir, tratar simplemente de adivinar la solucin.
Asignaremos a n los valores sucesivos 1, 2, 3, hasta contar con informacin
suficiente para formular una hiptesis plausible. A continuacin, debe probarse esta
hiptesis con el mtodo de la induccin matemtica. Se encuentra que
1
S = 1,
2
S = 4,
3
S = 9,
4
S = 16,
5
S = 25,
6
S = 36.
Ahora todo depende del poder de observacin del estudiante de su habilidad para
conjeturar una relacin general a partir de los resultados particulares. En los casos
anteriores, se nota inmediatamente que
1
S =
2
1 ,
2
S =
2
2 ,
3
S =
2
3 ,
4
S =
2
4 .
Entonces es justo suponer que, en general,
n
S =
2
n .
Condicin 1. Para n = 1 la suma consiste de un solo trmino, a saber, el nmero 1.
Para n = 1, el valor de la expresin
2
n es tambin 1. De aqu que la hiptesis se cumple
para n = 1.
Condicin 2. Supngase que la hiptesis se cumple para n = k o sea que
k
S =
2
k .
Probemos que, con esta suposicin, la hiptesis tambin debe cumplirse para n = k+1,
es decir, que
1 k
S
+
=
2
( 1) k + .
En efecto, si en el problema 1,
1 k
u
+
= 2k + 1, entonces:
1 k
S
+
=
k
S + (2k+1).
Pero
k
S =
2
k + (2k+1) =
2
( 1) k +
Resultado.
n
S =
2
n .


PROBLEMA 3.
Hallar el trmino general de la sucesin de nmeros
n
u si
1
u = 1 y, si para todo nmero
natural k > 1, se cumple la relacin
k
u =
1 k
u

+ 3.

SOLUCIN.
El primer nmero
1
u puede escribirse en la forma
1
u = 3 * 1 2; (1)
El segundo nmero impar
2
u puede escribirse de la forma
2
u = 3 * 2 2; (2)
Un examen cuidadoso de las igualdades (1) y (2) conduce a la hiptesis de que
cualquier nmero
n
u puede obtenerse multiplicando su ndice por 3 y restando 2; es
decir, que para cualquier nmero impar
n
u ,
n
u = 3n - 2. (3)
Probaremos que la frmula (3) es vlida generalmente.
Condicin 1. La igualdad (1) muestra que la frmula se cumple para n = 1.
Condicin 2. Supngase que la frmula (3) se cumple para n = k; es decir, que el k-
simo nmero impar est dado por
k
u = 3k -2.
Demostraremos que, con esta suposicin, la frmula (3) tambin se cumple para el
(k+1)-simo nmero, es decir:
1 k
u
+
= 3(k+1) -2 en forma equivalente,
1 k
u
+
= 3k + 1.
Para obtener
1 k
u
+
, slo tiene que sumarse 3 a
k
u ; as,
1 k
u
+
=
k
u + 3. Por hiptesis,
k
u =
3k 2. En consecuencia,
1 k
u
+
= (3k 2) + 3 = 3k + 1.
Resultado.
n
u = 3n - 2.


PROBLEMA 4.
Hallar la suma
n
S = 1 + 2 +
2
2 + 2
3
+ ... + 2
n-1
.

SOLUCIN 1.
Se encuentra que
1
S = 2 - 1,
2
S = 2
2
1,
3
S = 2
3
- 1.
Entonces es justo suponer que, en general,
n
S = 2
n
1.
Condicin 1. Para n = 1 la hiptesis se cumple, pues
1
S = 2 1.
Condicin 2. Supngase que la hiptesis se cumple para n = k o sea que
k
S = 2
k
- 1.
Probemos que, con esta suposicin, la hiptesis tambin debe cumplirse para n = k+1,
es decir, que
1 k
S
+
= 2
k+1
- 1.
En efecto:
1 k
S
+
=
k
S + 2
(k+1)-1
= (2
k
1) + 2
k
= 2*2
k
1 = 2
k+1
- 1.
Resultado.
n
S = 2
n
1.

SOLUCIN 2.
Consideremos 2
n
S -
n
S .
2
n
S -
n
S = 2
n
-1.
De donde:
n
S = 2
n
1.
Resultado.
n
S = 2
n
1.


PROBLEMA 5.
Probar que la suma
n
S de los n primeros nmeros naturales es
( 1)
2
n n +
.
SOLUCIN.
Este problema difiere de los precedentes en que no es necesario buscar una hiptesis; la
hiptesis se da. Simplemente debe probarse que es correcta.
n
S = 1 + 2 + 3 + 4 + + n.
Condicin 1. La hiptesis se cumple para n = 1.
Condicin 2. Suponiendo que:
k
S = 1 + 2 + + k =
( 1)
2
k k +
,
Probemos que,
1 k
S
+
=
( 1)( 2)
2
k k + +
.
En efecto:
1 k
S
+
=
k
S + (k+1) =
( 1)
2
k k +
+ (k+1) =
( 1)( 2)
2
k k + +
.
Resultado.
n
S =
( 1)
2
n n +
.

PROBLEMA 6.
Probar que la suma de los cuadrados de los n primeros nmeros naturales es
( 1)(2 1)
6
n n n + +
.
SOLUCIN.
Denotemos a la suma de los cuadrados de los n primeros nmeros naturales por
n
S .
n
S = 1
2
+ 2
2
+ 3
2
+ 4
2
+ + n
2
.
Condicin 1. La hiptesis se cumple para n = 1.
Condicin 2. Suponiendo que:
k
S = 1
2
+ 2
2
+ + k
2
=
( 1)(2 1)
6
k k k + +
,
Probemos que,
1 k
S
+
=
( 1)( 2)(2 3)
6
k k k + + +
.
En efecto:
1 k
S
+
=
k
S + (k+1)
2
=
( 1)( 2)(2 3)
6
k k k + + +
+ (k+1)
2
=
2
( 1)( 2)(2 3) 6( 1)
6
k k k k + + + + +

=
( 1)( 2)(2 3)
6
k k k + + +
.
Resultado.
n
S =
( 1)(2 1)
6
n n n + +
.


PROBLEMA 7.
Probar que:
n
S = 1
2
- 2
2
+ 3
2
4
2
+ + (-1)
n-1
n
2
= (-1)
n-1
( 1)
2
n n +


SOLUCIN.
Condicin 1. Es obvio que la hiptesis se cumple para n = 1, puesto que (-1)
0
= 1.
Condicin 2. Suponiendo que:
k
S = 1
2
- 2
2
+ + (-1)
k-1
k
2
= (-1)
k-1
( 1)
2
k k +
,
Probemos que,
1 k
S
+
= 1
2
2
2
+ + (-1)
k-1
k
2
+ (-1)
k+1
(k+1)
2
= (-1)
k
( 1)( 2)
2
k k + +
.

En efecto:
1 k
S
+
=
k
S + (-1)
k
(k+1)
2


= (-1)
k-1
( 1)
2
k k +
+ (-1)
k
(k+1)
2


= (-1)
k
[(k+1) -
2
k
] (k+1)

= (-1)
k
( 1)( 2)
2
k k + +
.


PROBLEMA 8.
Probar que:
1
2
+ 3
2
+ 5
2
+ + (2n-1)
2
=
(2 1)(2 1)
3
n n n +


SOLUCIN.
Condicin 1. La frmula se cumple para n = 1.
Condicin 2. Supngase que:
1
2
+ 3
2
+ 5
2
+ + (2k-1)
2
=
(2 1)(2 1)
3
k k k +
,
Entonces,
1
2
+ 3
2
+ 5
2
+ + (2k-1)
2
+ (2k+1)
2
=
(2 1)(2 1)
3
k k k +
+ (2k+1)
2
=
( 1)(2 1)(2 3)
3
k k k + + +
.

PROBLEMA 9.
Probar que la suma de los cubos de los n primeros nmeros naturales es
2
( 1)
2
n n +
1
1
]
.
SOLUCIN.
Condicin 1. La frmula se cumple para n = 1.
Condicin 2. Supngase que:
1
3
+ 3
3
+ 5
3
+ + k
3
=
2
( 1)
2
k k +
1
1
]
,
Entonces,
1
3
+ 3
3
+ 5
3
+ + k
3
+ (k+1)
3
=
2 2
( 1)
4
k k +
+ (k+1)
3
=
2
( 1)( 2)
2
k k + +
1
1
]
.


PROBLEMA 10.
Probar que:
1 + x
2
+ x
3
+ + x
n
=
1
1
1
n
x
x
+

, 1 x
.
SOLUCIN.
Condicin 1. La frmula se cumple para n = 1.
Condicin 2. Supngase que:
1 + x
2
+ x
3
+ + x
k
=
1
1
1
k
x
x
+

,
Entonces,
1 + x
2
+ x
3
+ + x
k
+ x
k+1
=
1
1
1
k
x
x
+

+ x
k+1
=
1 1
( 1) ( 1)
1
k k
x x x
x
+ +
+

=
2
1
1
k
x
x
+

.


PROBLEMA 11.
Probar que:
1*2 + 2*3 + 3*4 + + n(n+1) =
( 1)( 2)
6
n n n + +

.
SOLUCIN.
Condicin 1. La frmula se cumple para n = 1.
Condicin 2. Supngase que:
1*2 + 2*3 + + k(k+1) =
( 1)( 2)
6
k k k + +
,
Entonces,
1*2 + 2*3 + + k(k+1) + (k+1)(k+2) =
( 1)( 2)
6
k k k + +
+ (k+1)(k+2) =
( 1)( 2)( 1)
3
k
k k + + + =
( 1)( 2)( 3)
6
k k k + + +
.


PROBLEMA 12.
Probar que:
1*2*3 + 2*3*4 + + n(n+1)(n+2) =
( 1)( 2)( 3)
4
n n n n + + +

.
SOLUCIN.
Condicin 1. La frmula se cumple para n = 1.
Condicin 2. Supngase que:
1*2*3 + 2*3*4 + + k(k+1)(k+2) =
( 1)( 2)( 3)
4
k k k k + + +
,
Entonces,
1*2*3 + 2*3*4 + + k(k+1)(k+2) + (k+1)(k+2)(k+3) =
( 1)( 2)( 3)
4
k k k k + + +
+
(k+1)(k+2)(k+3) =
( 1)( 2)( 3)( 4)
4
k k k k + + + +
.


PROBLEMA 13.
Probar que:
1
1*3
+
1
3*5
+ +
1
(2 1)(2 1) n n +
=
2 1
n
n +

.
SOLUCIN.
Condicin 1. La frmula se cumple para n = 1.
Condicin 2. Supngase que:
1
1*3
+
1
3*5
+ +
1
(2 1)(2 1) k k +
=
2 1
k
k +
,
Entonces,
1
1*3
+
1
3*5
+ +
1
(2 1)(2 1) k k +
+
1
(2 1)(2 3) k k + +
=
2 1
k
k +
+
1
(2 1)(2 3) k k + +
=
1
(2 3)
k
k
+
+
.


PROBLEMA 14.
Probar que:
2
1
1*3
+
2
2
3*5
+ +
2
(2 1)(2 1)
n
n n +
=
( 1)
2(2 1)
n n
n
+
+
.
SOLUCIN.
Condicin 1. La frmula se cumple para n = 1.
Condicin 2. Supngase que:
2
1
1*3
+
2
2
3*5
+ +
2
(2 1)(2 1)
k
k k +
=
( 1)
2(2 1)
k k
k
+
+
,
Entonces,
2
1
1*3
+
2
2
3*5
+ +
2
(2 1)(2 1)
k
k k +
+
2
( 1)
(2 1)(2 3)
k
k k
+
+ +
=
( 1)
2(2 1)
k k
k
+
+
+
2
( 1)
(2 1)(2 3)
k
k k
+
+ +
=
(k+1)
(2 3) 2( 1)
2(2 1)(2 3)
k k k
k k
+ + +
+ +
=
( 1)( 2)
2(2 3)
k k
k
+ +
+
.

PROBLEMA 15.
Probar que:
1
1*4
+
1
4*7
+
1
7*10
+ +
1
(3 2)(3 1) n n +
=
3 1
n
n +
.
SOLUCIN.
Condicin 1. La frmula se cumple para n = 1.
Condicin 2. Supngase que:
1
1*4
+
1
4*7
+
1
7*10
+ +
1
(3 2)(3 1) k k +
=
3 1
k
k +
,
Entonces,
1
1*4
+
1
4*7
+
1
7*10
+ +
1
(3 2)(3 1) k k +
+
1
(3 1)(3 4) k k + +
=
3 1
k
k +
+
1
(3 1)(3 4) k k + +
=
1
(3 4)
k
k
+
+
.


PROBLEMA 16.
Probar que:
1
1*5
+
1
5*9
+ +
1
(4 3)*(4 1) n n +
=
4 1
n
n +
.
SOLUCIN.
Condicin 1. La frmula se cumple para n = 1.
Condicin 2. Supngase que:
1
1*5
+
1
5*9
+ +
1
(4 3)*(4 1) k k +
=
4 1
k
k +
,
Entonces,
1
1*5
+
1
5*9
+ +
1
(4 3)*(4 1) k k +
+
1
(4 1)(4 5) k k + +
=
4 1
k
k +
+
1
(4 1)(4 5) k k + +
=
1
4 5
k
k
+
+
.

PROBLEMA 17.
Probar que:
1
( 1) a a +
+
1
( 1)( 2) a a + +
+ +
1
( 1)( ) a n a n + +
=
( )
n
a a n +
.
SOLUCIN.
Condicin 1. La frmula se cumple para n = 1.
Condicin 2. Supngase que:
1
( 1) a a +
+
1
( 1)( 2) a a + +
+ +
1
( 1)( ) a k a k + +
=
( )
k
a a k +
,
Entonces,
1
( 1) a a +
+
1
( 1)( 2) a a + +
+ +
1
( 1)( ) a k a k + +
+
1
( )( 1) a k a k + + +
=
( )
k
a a k +
+
1
( )( 1) a k a k + + +
=
1
( 1)
k
a a k
+
+ +
.


PROBLEMA 18.
Probar que para todos los enteros no negativos n (es decir, para 0) n
n
v = 2
n
+1,
dado que:
i.
0
v = 2,
1
v = 3
ii. Para todo nmero natural k, se cumple la relacin
1 k
v
+
= 3
k
v - 2
1 k
v

.
SOLUCIN.
De lo que se da, resulta evidente que la proposicin se cumple para n = 0 y para n = 1.
Supngase que:
1 k
v

= 2
k-1
+1;
n
v = 2
n
+1.
Entonces se concluye que:
1 k
v
+
= 3(2
k
+ 1) 2(2
k-1
+ 1) = 2
k+1
+ 1.


PROBLEMA 19.
Probar que:
1 1 n n
n
a b
u
a b
+ +

,
si:

2 2
1
a b
u
a b

,
3 3
2
a b
u
a b

( ) a b
y si para todo nmero natural k>2, se cumple la siguiente relacin:
k
u = (a + b)
1 k
u

= ab
2 k
u

.

SOLUCIN.
De lo que se da, resulta evidente que la proposicin se cumple para n = 1 y para n = 2.
Supngase que:
1 1
2
k k
k
a b
u
a b

,
1
k k
k
a b
u
a b

.
Entonces:
k
u = (a + b)
k k
a b
a b

- ab
1 1 k k
a b
a b

+

=
1 1 k k
a b
a b
+ +

PROBLEMA 20.
Hallar una expresin para la suma:
1*1! 2*2! ... * !
n
S n n + + + .
SOLUCIN.
1
S = 1*1! = 1,
2
S = 1*1! + 2*2! = 5,
3
S = 1*1! + 2*2! + 3*3! = 23,
4
S =1*1! + 2*2! + 3*3! + 4*4! = 119.
Examinando estas sumas, se observa que
1
S = 2! - 1,
2
S = 3! - 1,
3
S = 4! -1,
4
S = 5! -1.
Esto conduce a la hiptesis
n
S = (n + 1)! 1.
Verifiquemos esta hiptesis:
Condicin 1. La hiptesis se cumple para n = 1, ya que
1
S = 1*1! = 2! 1.
Condicin 2. Suponiendo que:
1*1! 2*2! ... * !
k
S k k + + + = (k+1)! 1,
demostraremos que
1
1*1! 2*2! ... * ! ( 1)( 1)! ( 2)! 1
k
S k k k k k
+
+ + + + + + + .
En efecto,
1
( 1)*( 1)!
k k
S S k k
+
+ + +
=[ ] ( 1)! 1 ( 1)*( 1)! k k k + + + +
= [ ] ( 1)! 1 ( 1) 1 k k + + +
=( 1)!( 2) 1 k k + +
=(k+2)!-1.
PROBLEMA 21.
Probar que para todos los enteros no negativos se cumple la siguiente identidad:
1
1
2 4 8
2 2
1 2 4 8 2 1 2
...
1 1 1 1 1
1 1
n n
n n
x x x x x
x x
+
+
+ + + + +
+ + + +
+
( 1, 1) x x ,

SOLUCIN.
Condicin 1. Para n = 0 la frmula toma la forma:
2
1 1 2
1 1 1 x x x
+
+
.
Por lo tanto se ve que la frmula se cumple en este caso.
Condicin 2. Suponiendo que:
1
1
2 4 8
2 2
1 2 4 8 2 1 2
...
1 1 1 1 1
1 1
k k
k k
x x x x x
x x
+
+
+ + + + +
+ + + +
+
,

Entonces:
1 1
1 1 1
2 4 8 2 1
2 2 2
1 2 4 8 2 2 1 2 2
...
1 1 1 1 1 1
1 1 2 1 2
k k k
k k k k
k
x x x x x x
x
+ +
+ + +
+
+ + + + + + + +
+ + + +
+ + +

2
2
2
1 2
1
1
k
k
x
x
+
+
+

+
.


PROBLEMA 22.
Dados los nmeros a y b, con a b y 1 a b + , sean
a b m + , ab l ,
2
1
l
A m
m

,

3
1
l
A m
l
m
m

,
4
1
l
A m
l
m
l
m
m

, etc.,
esto es, para todo k>1,
1 k
k
l
A m
A
+
.
Probar que
1 1
1 1
( ) ( )
( ) ( )
n n n n
n
n n n n
a b a b
A
a b a b
+ +

. (1)
SOLUCIN.
Condicin 1. Primero, demostraremos que la frmula (1) se cumple para 2 n . Por
hiptesis,
2 2
2
( )
1 ( ) 1 1
l ab a b ab a b
A m a b
m a b a b
+ +
+
+ +
.
De acuerdo con la frmula (1),
3 3 2 2
2
2 2
( ) ( )
( ) ( )
a b a b
A
a b a b

.
Se observa que a - b es un factor tanto del numerador como del denominador de la
fraccin anterior; entonces se puede reducir la fraccin para obtener
2 2
2
1
a b ab a b
A
a b
+ +

+

Condicin 2. Suponiendo que la frmula (1) se cumple para n k , probaremos que
tambin debe ser verdadera para 1 n k + . Es decir, si
1 1
1 1
( )( )
( )( )
k k k k
k
k k k k
a b a b
A
a b a b
+ +

, (2)
entonces:
2 2 1 1
1
1 1
( )( )
( )( )
k k k k
k
k k k k
a b a b
A
a b a b
+ + + +
+
+ +

.
En efecto,
1 k
k
l
A m
A
+

1
( )
k
k
ab
A a b
A
+
+ .
Aplicando la igualdad (2), se obtiene
1 1
1
1 1
( ) ( )
( )
( ) ( )
k k k k
k
k k k k
ab a b a b
A a b
a b a b

+
+ +
1
]
+


2 2 1 1
1 1
( ) ( )
( ) ( )
k k k k
k k k k
a b a b
a b a b
+ + + +
+ +

.

Esto completa la demostracin.



PROBLEMA 23.
Simplificar el polinomio
( 1) ( 1)...( 1)
1 ... ( 1)
1! 2! !
n
x x x x x x n
n
+
+ + .

SOLUCIN.
Para 1 n se tiene
1
1
1! 1
x x
.
Para 2 n se tiene
( 1) 1 ( 1) ( 1)( 2)
1
1! 2! 1 2 2!
x x x x x x x x
+ + .
Para 3 n se tiene
( 1) ( 1)( 2) ( 1)( 2) ( 1)( 2)
1
1! 2! 3! 2 6
( 1)( 2)( 3)
3!
x x x x x x x x x x x
x x x

+



Esto sugiere la hiptesis de que
( 1) ( 1)...( 1)
1 ... ( 1)
1! 2! !
( 1)...( 1)
( 1)
!
( 1)( 2)...( )
( 1)
!
n
n
n
x x x x x x n
n
x x x k
n
x x x k
n
+
+ +
+




1) La hiptesis se cumple para 1 n .
2) Supngase que
( 1) ( 1)...( 1) ( 1)( 2)...( )
1 ... ( 1) ( 1)
1! 2! ! !
k k
x x x x x x k x x x k
k k
+
+ + .
Entonces:
1
1
1
1
( 1) ( 1)...( 1) ( 1)...( )
1 ... ( 1) ( 1)
1! 2! ! ( 1)!
( 1)( 2)...( ) ( 1)...( )
( 1) ( 1)
! ( 1)!
( 1)( 2)...( )
( 1) 1
! 1
( 1)( 2)...( )( 1)
( 1)
(
k k
k k
k
k
x x x x x x k x x x k
k k
x x x k x x x k
k k
x x x k x
k k
x x x k x k
k
+
+
+
+
+
+ + +
+

+
+
1

1
+
]


+1)!



PROBLEMA 24.
Probar que cualquier nmero entero de rublos mayor que 7 puede pagarse con billetes
de 3 y 5 rublos, sin requerir vuelto.
SOLUCIN.
La proposicin se cumple para 8 rublos: Supngase que la proposicin se cumple para
algn nmero natural 8 k de rublos.
Hay dos posibilidades:
1. Los k rublos se pueden pagar slo con billetes de 3 rublos,
2. Entre los billetes, hay por lo menos uno de 5 rublos.
En el primer caso, el nmero de billetes de 3 rublos no puede ser menor que tres, para
8 k . De aqu que, para pagar k+1 rublos, tres billetes de 3 rublos pueden reemplazarse
por dos billetes de 5 rublos.
En el segundo caso, un billete de 5 rublos puede reemplazarse por dos billetes de 3
rublos para pagar k+1 rublos.


PROBLEMA 25.
Probar que la suma de los cubos de tres nmeros naturales consecutivos cualesquiera es
divisible entre 9.
SOLUCIN.
La suma 1
3
+ 2
3
+ 3
3
es divisible por 9. De aqu que, la proposicin se cumple si el
primero de los tres nmeros consecutivos es el 1.
Supngase que la suma
3 3 3
( 1) ( 2) k k k + + + + es divisible entre 9, siendo k algn
nmero natural. Entonces la suma
3 3 3 3 3 3 2
( 1) ( 2) ( 3) ( 1) ( 2) 9( 3 3) k k k k k k k k 1 + + + + + + + + + + + +
]

es la suma de dos expresiones, cada una de las cuales es divisible por 9. De aqu que, su
suma tambin es divisible por 9.


PROBLEMA 26.
Probar que para todo nmero entero no negativo n, la suma
2 2 1
11 12
n n
n
A
+ +
+
es divisible por 133.
SOLUCIN.
1) La frmula se cumple para 0 n .
2) Supngase que la frmula se cumple para n k ; es decir, que
2 2 1
11 12
k k
k
A
+ +
+ .
Es divisible por 133. Entonces
3 2 3
1
2 2 1
2 2 1 2 1
2 2 1 2 1
2 1
11 12
11*11 144*12
11*11 133*12 11*12
11*(11 12 ) 133*12
11 133*12
k k
k
k k
k k k
k k k
k
k
A
A
+ +
+
+ +
+ + +
+ + +
+
+
+
+ +
+ +
+



PROBLEMA 27.
De entre los 2n nmeros 1, 2, , 2n seleccinese al azar 1 n + nmeros. Probar que
entre los nmeros seleccionados existen por lo menos dos nmeros tales que uno de
ellos es divisible por el otro.
SOLUCIN.
Supngase que de entre los 2n nmeros 1, 2, , 2n, donde 2 n ,se han encontrado
1 n + nmeros tales que ninguno de ellos es divisible por cualquier otro. Denotemos este
conjunto de 1 n + nmeros por
1 n
M
+
. Probemos que, en este caso, sera posible
seleccionar de entre los 2 2 n nmeros 1, 2, , 2 2 n , un conjunto conteniendo n
nmeros tales que ninguno de los n nmeros sea divisible por cualquier otro.
Hay cuatro posibilidades:
1)
1 n
M
+
no contiene al nmero 2 1 n ni al nmero 2n.
2)
1 n
M
+
contiene a 2 1 n pero no a 2n.
3)
1 n
M
+
contiene a 2n pero no a 2 1 n .
4)
1 n
M
+
contiene tanto a 2 1 n como a 2n.

Caso 1. Quitemos un nmero arbitrario del conjunto
1 n
M
+
. Entonces quedan n nmeros
ninguno de los cuales es mayor que 2 2 n . Ninguno de stos es divisible por cualquier
otro.
Caso 2. Quitemos el nmero 2 1 n del conjunto
1 n
M
+
. Nuevamente entre los n
nmeros restantes, ninguno es mayor que 2 2 n y ninguno de ellos es divisible por otro
cualquiera.
Caso 3. Quitemos el nmero 2n del conjunto
1 n
M
+
; el resultado es el mismo que en los
casos 1 y 2.
Caso 4. Antes que todo, se observa que el nmero n no puede pertenecer al conjunto
1 n
M
+
; en caso contrario, el conjunto
1 n
M
+
contendra a dos los nmeros n y 2n; y 2n
es divisible entre n.
Ahora quitemos los dos nmeros 2 1 n y 2n del conjunto
1 n
M
+
. Denotemos por
1 n
M


al conjunto de los 1 n nmeros que quedan. A continuacin se agrega el nmero n al
conjunto
1 n
M

, obteniendo de este modo un conjunto de n nmeros, ninguno de los
cuales es mayor que 2 2 n . Falta demostrar que de estos n nmeros, ninguno ser
divisible por cualquier otro.
Como el conjunto
1 n
M
+
no contuvo dos nmeros de los cuales uno fuera divisible por el
otro, el conjunto
1 n
M

tampoco contiene tales nmeros. Por lo tanto, slo se debe
demostrar que no existe dos nmeros tales, an cuando se agrega el nmero n al
conjunto
1 n
M

.
Para hacerlo, basta demostrar
1. Que ningn nmero en
1 n
M

es divisible por n y
2. Que n no es divisible por nmero alguno en
1 n
M

.
La primera proposicin se deduce del hecho de que de los nmeros en
1 n
M

, ninguno es
mayor que 2 2 n . La segunda se deduce del hecho de que 2n no es divisible por
nmero alguno de en
1 n
M

. As se ha demostrado que si la proposicin es falsa para los
2( 1) n nmeros 1, 2, , 2 2 n . De aqu que, si la proposicin es verdadera para los
2( 1) n nmeros 1, 2, , 2 2 n , tambin debe ser verdadera para los 2n nmeros 1, 2,
, 2n.
La proposicin es verdadera para los dos nmeros 1 y 2; de aqu que es verdadera para
todos los conjuntos de 2n nmeros 1, 2, , 2n, donde n es un nmero natural.


PROBLEMA 28.
Probar que n rectas diferentes que se encuentran en un plano y pasan por un punto en
comn, dividen el plano en 2n partes.
SOLUCIN.
La proposicin es verdadera para el caso 1 n , ya que una recta divide al plano en dos
partes.
Supngase que k rectas diferentes que pasan por un punto dado dividen al plano en 2k
partes. Entonces si se tiene una ( 1) k sima + recta que tambin pasa por el punto
dado, sta dividir en dos a dos de las partes originales. De aqu que el plano se dividir
en 2( 1) k + partes.


PROBLEMA 29.
Probar que n rectas que se encuentran en un plano dividen el plano en regiones que
pueden colorearse blanco y negro, en forma que dos regiones vecinas cualesquiera (o
sea, regiones cuya frontera es un segmento rectilneo comn) tienen colores diferentes.
SOLUCIN.
1) La recta AB divide al plano P en dos semiplanos,
1
P y
2
P . Colorese
1
P en blanco y
2
P en negro, para satisfacer los requisitos del problema. As, se ve que la
proposicin es verdadera para 1 n .
2) Supngase que la proposicin se cumple para n k y supngase que se ha
coloreado el plano P de acuerdo con los requisitos del problema. Considrese que
la ( 1) k sima + recta CD divide el plano en dos semiplanos
1
Q y
2
Q . En todo
1
Q
no alteramos el color: sin embargo, en
2
Q reemplazamos el blanco por el negro y el
negro por el blanco.
Ahora sean
1
O y
2
O dos regiones vecinas cualesquiera de la figura despus de que
se traz la recta CD. Existen dos posibilidades para considerar:
a)
1
O y
2
O se encuentran en lados opuestos de CD.
b)
1
O y
2
O se encuentran del mismo lado de CD.
En el primer caso,
1
O y
2
O deben haber formado una sola regin antes de que se
trazara la recta CD y, por tanto, tenan el mismo color. Despus de que se traz
CD, aquella qued en
1
Q y mantuvo su coloracin, mientras que la que result en
2
Q ha cambiado su coloracin.
En el segundo caso, antes de que se trazara CD,
1
O y
2
O eran parte de dos regiones
vecinas diferentes cuya frontera comn era una de las k rectas originales; en
consecuencia, deben haber tenido colores diferentes. Si despus de haber trazado
CD, ambas quedaron en
1
Q , el color de cada una no cambi. Si, por otra parte,
ambas quedaron en
2
Q , se cambi el color de cada una. En cualquiera de los casos,
1
O y
2
O tienen colores diferentes.

PROBLEMA 30.
Probar que n planos que pasan por un punto en comn, sin que tres cualesquiera de ellos
se intercepten en la misma recta, dividen al espacio en ( 1) 2
n
A n n + partes.
SOLUCIN.
1) Un plano divide al espacio en dos partes, y
1
2 A . De aqu que la proposicin se
cumple para 1 n .
2) Supngase que la proposicin se cumple para n k , es decir que k planos dividen
al espacio en ( 1) 2 k k + partes. Probemos que entonces 1 k + planos deben dividir
al espacio en ( 1) 2 k k + + partes.
Sea P el ( 1) k simo + plano. P se interseca con cada uno de los otros planos en una
recta y todas estas k rectas se intersactan en el punto que es comn a todos los planos.
Aplicando el resultado del problema 28, se ve que el plano P queda dividido en 2k
partes, cada una de las cuales est encerrada por un ngulo plano con su vrtice en el
punto comn de interseccin. Los primeros k planos dividen el espacio en varios
ngulos poliedros. El plano P divide algunos de estos ngulos poliedros en dos partes.
La cara comn a esas dos partes es aquella porcin del plano que est limitada por las
dos semirrectas a lo largo de las cuales P se intersaca con las caras del ngulo poliedro
dado, es decir, uno de los 2k ngulos planos en los cuales se divide el plano P . Esto
significa que el nmero de ngulos poliedros cortados en dos por el plano P no puede
ser menor que 2k .
Por otra parte, cada una de las dos partes, en las cuales se divide el plano P como
resultado de su interseccin con el primer plano, divide as el ngulo poliedro formado
por los primeros k planos en dos partes. Esto significa que el nmero de ngulos
poliedros cortados en dos por el plano P no puede ser menor que 2k .
Entonces, el plano P divide en 2 partes exactamente a 2k de los ngulos poliedros
formados por los primeros k planos. En consecuencia, si k planos dividen el espacio
en ( 1) 2 k k + partes, entonces 1 k + planos dividen el espacio en
[ ] ( 1) 2 2 ( 1) 2 k k k k k + + + +
partes. De donde se ha probado la proposicin.


PROBLEMA 31.
Probar la identidad:
1
1
2
cos cos2 cos4 ...cos2
2
n
n
n
sen
sen

+
+
.
SOLUCIN.
1) La frmula se cumple para 0 n , ya que
2
cos
2
sen
sen

2) Supngase que la frmula se cumple para n k ; es decir, que
1
1
2
cos cos2 cos4 ...cos2
2
k
k
k
sen
sen

+
+

Entonces debe demostrarse que la frmula tambin se cumple para 1 n k + . En
efecto,
1
1 1
1
2
2
cos cos2 cos4 ...cos2 cos2
2 cos2
2
2
2
k k
k k
k
k
k
sen
sen
sen
sen

+
+ +
+
+
+

PROBLEMA 32.
Dado que
1
cos A ,
2
cos2 A , y que, para todo nmero natural 2 k > ,
1 2
2 cos
k k k
A A c A

;
probar que
cos
n
A n .
SOLUCIN.
1) La frmula se cumple para 1 n y 2 n .
2) Supngase que
2
cos( 2)
k
A k

,
1
cos( 1)
k
A k

.
Entonces
2cos cos( 1) cos( 2) cos .
k
A k k k
(Aqu se aplica la identidad 2cos cos cos( ) cos( ) a b a b a b + + , haciendo
( 1) , a k b .)


PROBLEMA 33.
Probar que
1
2
2 ...
2
2
n
sen x
nx
senx sen x sennx sen
x
sen
+
+ + + .
SOLUCIN.
1) La frmula se cumple para 1 n .
2) Supngase que
1
2
2 ...
2
2
k
sen x
kx
senx sen x senkx sen
x
sen
+
+ + + ,
Entonces
2 ... ( 1)
1
2
( 1)
2
2
1
1 1
2
2 cos
2 2
2
2
1
2
2
2
2
senx sen x senkx sen k x
k
sen x
kx
sen sen k x
x
sen
k
sen
k k
sen x x
x
sen
k
sen
k
sen x
x
sen
+ + + + +
+
+ +
+
+ +
+
+
+

PROBLEMA 34.
Probar que
2 1
1
2
cos cos2 ... cos
2
2
2
n
sen x
x x nx
x
sen
+
+ + + + .
SOLUCIN.
1) La frmula se cumple para 1 n , ya que
3
3
1 2 2 2
2
cos
2
2 2
2 2
x x x
x
sen sen sen
sen
x
x x
sen sen
_
+

,
+ .
2) Supngase que
2 1
1
2
cos cos2 ... cos
2
2
2
k
sen x
x x kx
x
sen
+
+ + + + ,
Entonces
1
cos cos2 ... cos cos( 1)
2
2 1
2
cos( 1)
2
2
2 1
2 cos( 1)
2 2
2
2
2 1 2 3 2 1
2 2 2
2
2
2 3
2
2
2
x x kx k x
k
sen x
k x
x
sen
k x
sen x sen k x
x
sen
k k k
sen x sen x sen x
x
sen
k
sen x
x
sen
+ + + + + +
+
+ +
+
+ +

+ + + _
+

,

PROBLEMA 35.
Probar que
2
( 1) ( 1)
2 2 ...
4
2
n sennx nsen n x
senx sen x nsennx
x
sen
+ +
+ + + .
SOLUCIN.
1) La frmula se cumple para 1 n , ya que
2
2
2
2 2
2
2 2
4
2
2 (1 cos )
4
2
2 1 cos2
2
4
2
2 1 cos
2 2
4
2
senx sen x
x
sen
senx x
x
sen
x
senx
x
sen
x x
senx sen
x
sen
senx

1 _

1
, ]

1 _ _
+
1
, , ]

.
2) Supngase que
2
( 1) ( 1)
2 2 ...
4
2
k senkx ksen k x
senx sen x ksenkx
x
sen
+ +
+ + + ,
Entonces
2
2
2 2
2 2 ... ( 1) ( 1)
( 1) ( 1)
( 1) ( 1)
4
2
( 1) ( 1) 2( 1) ( 1) (1 cos )
4
2
( 2) ( 1) ( 1) 2( 1)cos ( 1)
4 4
2 2
( 2)
senx sen x ksenkx k sen k x
k senkx ksen k x
k sen k x
x
sen
k senkx ksen k x k sen k x x
x
sen
k sen k x k senkx k xsen k x
x x
sen sen
k
+ + + + + +
+ +
+ + +
+ + + + +

+ + + + + +

+

[ ]
2 2
2
( 1) ( 2) ( 1) ( 1)
4 4
2 2
( 2) ( 1) ( 1) ( 2)
4
2
k sen k x senkx sen k x k senkx
x x
sen sen
k sen k x k sen k x
x
sen
+ + + + + +

+ + + +

PROBLEMA 36.
Probar que
2
( 1)cos cos( 1) 1
cos 2cos2 ... cos
4
2
n nx n n x
x x n nx
x
sen
+ +
+ + + .
SOLUCIN.
1) La frmula se cumple para 1 n , ya que

2
2 2 2
2cos cos2 1 2cos 2cos cos (1 cos )
4 4 4
2 2 2
x x x x x x
x x x
sen sen sen


2) Supngase que
2
( 1)cos cos( 1) 1
cos 2cos2 ... cos
4
2
k kx k k x
x x k kx
x
sen
+ +
+ + + ,
Entonces
2
2 2
2
cos 2cos2 ... cos ( 1)cos( 1)
( 1)cos cos( 1) 1
( 1)cos( 1)
4
2
( 1)cos cos( 1) 1 2( 1)cos( 1) (1 cos )
4 4
2 2
( 2)cos( 1) ( 1)cos 2( 1)cos cos( 1) 1
4
2
x x k kx k k x
k kx k k x
k k x
x
sen
k kx k k x k k x x
x x
sen sen
k k x k kx k x k x
x
sen
+ + + + + +
+ +
+ + +
+ + + +
+
+ + + + + + +

[ ]
2
2 2
2
4
2
( 1) cos( 2) cos 1 ( 2)cos( 1) ( 1)cos
4 4
2 2
( 2)cos( 1) ( 1)cos( 2) 1
4
2
x
sen
k k x kx k k x k kx
x x
sen sen
k k x k k x
x
sen
+ + + + + + + +

+ + + +

PROBLEMA 37.
Probar que
2 2
1 1 1 1
tan tan ... tan cot cot
2 2 2 2 2 2 2 2
n n n n
x x x x
x + + + .
SOLUCIN.
1) La frmula se cumple para 1 n , ya que
2 2
1 tan tan
1 1 1
2 2
cot cot cot tan
2 2 2 2 2 2
2tan 2tan
2 2
x x
x x x
x
x x

2) Supngase que
2 2
1 1 1 1
tan tan ... tan cot cot
2 2 2 2 2 2 2 2
k k k k
x x x x
x + + + ,
Entonces
2 2 1 1
1 1
2
1
1
1
1 1
1 1
1 1 1 1
tan tan ... tan tan
2 2 2 2 2 2 2 2
1 1
cot cot tan
2 2 2 2
cot 1
1 1
2
2
cot 2 cot
2 2
1
cot cot
2 2
k k k k
k k k k
k
k
k
k k
k k
x x x x
x x
x
x
x x
x
x
+ +
+ +
+
+
+
+ +
+ +
+ + + +
+

+




PROBLEMA 38.
Probar que
3 1
cot3 cot5 ... ccottan(2 1) arctan2 arctan ... arctan arctan1
2
n
arc arc arc n n
n
+
+ + + + + + +
SOLUCIN.
1) Como
2 1 1
tan(arctan2 arctan1)
1 2 3

+
,
se concluye que
1
arctan2 arctan1 arctan cot3
3
arc + .
De aqu que la frmula se cumple para 1 n .
2) Primero probaremos que
2
cot(2 3) arctan arctan1
1
k
arc k
k
+
+
+
. (1)
En efecto,
2
1
2 1
1
tan(arctan arctan1)
2
1 2 3
1
1
k
k
k
k
k k
k
+

+
+

+
+ +
+
+
.
De aqu que,
1 2
arctan cot(2 3) arctan arctan1
2 3 1
k
arc k
k k
+
+
+ +
.
Supngase que la frmula se cumple para n k ; es decir,
cot3 cot5 ... ccottan(2 1)
3 1
arctan2 arctan ... arctan arctan1
2
arc arc arc k
k
k
k
+ + + +
+
+ + +
. (2)
Entonces, probemos ahora que la frmula se cumple para 1 n k + ; es decir que,
cot3 cot5 ... ccottan(2 3)
3 2
arctan2 arctan ... arctan ( 1)arctan1
2 1
arc arc arc k
k
k
k
+ + + +
+
+ + + +
+
. (3)
Sumando trmino a trmino las igualdades (1) y (2) se obtiene la igualdad (3).


PROBLEMA 39.
Probar que
2
(1 ) 2 cos
4 4
n
n
n n
i isen
_
+ +

,
.
SOLUCIN.
1) La igualdad se cumple para 1 n , puesto que
1
2
1 2 cos
4 4
i isen
_
+ +

,
.
2) Supngase que
2
(1 ) 2 cos
4 4
k
k
k k
i isen
_
+ +

,
.
Entonces
( ) ( )
1
1
2 2
1
2
(1 ) 2 cos *2 cos
4 4 4 4
1 1
2 cos
4 4
k
k
k
k k
i isen isen
k k
isen


+
+
_ _
+ + +

, ,
+ + _
+

,
.


PROBLEMA 40.
Probar que
( )
3 2 cos
6 6
n
n
n n
i isen

_


,
.
SOLUCIN.
1) La frmula se cumple para 1 n ,ya que
( )
3 2 cos
6 6
i isen

_


,
.
2) Supngase que
( )
3 2 cos
6 6
k
k
k k
i isen

_


,
.
Entonces
( )
1
1
3 2 cos *2 cos
6 6 6 6
( 1) ( 1)
2 cos
6 6
k
k
k
k k
i isen isen
k k
isen


+
+
_ _


, ,
+ + 1

1
]
.