79

6. PRCTICA DE LAS PRINCIPALES ESTRATEGIAS DE RESOLUCIN DE PROBLEMAS

Bsqueda de un modelo
6.1 Cul es la ltima cifra de 3
1999
?
6.2 Demuestra que un conjunto de n elementos tiene 2
n
subconjuntos.

Dibuja una figura
6.3 Para qu valores de a tiene el sistema
1 ) (
0
2 2
2 2
= +
=
y a x
y x
0, 1, 2, 3, 4 5 soluciones reales
distintas?
6.4 Una barra de longitud fija se desliza sobre una semicircunferencia con sus extremos M y
N apoyados sobre ella. Se construye el tringulo PRS siendo P el punto medio de MN y R
y S las proyecciones de N y M respectivamente sobre el dimetro. Cuando MN se mueve
sobre la semicircunferencia, cmo son estos tringulos? cambian alguna vez su forma?

Busca un problema semejante
6.5 (

) Demuestra que, con regla y comps, puedes construir un pentgono regular. Indica-
cin: Tiene esto algo que ver con resolver la ecuacin 0 1
2 3 4
= + + + + x x x x ?
6.6 Halla la derivada n-sima de
2
1
1
) (
x
x f

= .
6.7 En el interior del tringulo ABC tomo un punto P. Sean D, E y F los pies de las perpen-
diculares desde P a a, b y c respectivamente. Halla la posicin de P para que la suma
PF
AB
PE
CA
PD
BC
+ + sea mnima.
6.8 (

) Demuestra que la ecuacin 0 1 10 2
2 5 7
= + x x x no tiene ninguna raz real mayor
que 1.

Elige la notacin adecuada
6.9 Si n es un entero positivo tal que 2n + 1 es un cuadrado perfecto, demuestra que n + 1 es
la suma de los cuadrados de dos nmeros consecutivos.

6.10 (

) Si 3n + 1 es un cuadrado perfecto prueba que n + 1 es la suma de 3 cuadrados perfec-
tos.



80
6.11 Un monje decide subir desde su ermita a la montaa para pasar all la noche orando. Sale
al amanecer y, despus de caminar todo el da llega a la cumbre. Al da siguiente, un poco
ms tarde que el da anterior, se levanta y emprende el camino a su ermita por el mismo
sendero, llegando al atardecer. Al ir bajando se pregunta: habr algn punto del camino
en el que est hoy a la misma hora que estuve ayer?

Estudia la simetra
6.12 Lanzamos al aire 20 monedas. Qu es ms probable: que aparezcan 6 14 caras?
6.13 a) Lanzamos al aire 2m + 1 monedas. Hallar la probabilidad de que aparezca un nmero
par de caras
b) Resuelve el mismo problema si lanzamos al aire 2m monedas.
6.14 (

) Sea P un punto de la grfica de y = f (x) siendo f (x) un polinomio de tercer grado;
la tangente en P vuelve a cortar a la curva en Q; sea A el rea de la regin determinada
por la curva y el segmento PQ, y B el rea determinada por la curva y la tangente en Q.
Qu relacin hay entre A y B?
6.15 Demuestra que el producto de cuatro trminos consecutivos de una progresin aritmtica
de nmeros enteros, ms la cuarta potencia de la diferencia de la progresin es siempre un
cuadrado perfecto.

Demostracin por induccin
Una vez que ya has hecho bastantes ejercicios sobre induccin, bueno sera hacer algn hincapi
en la llamada forma fuerte del principio de induccin, llamada as porque la hiptesis es
algo ms fuerte. En efecto: en el paso de k a k + 1, debes suponer la afirmacin cierta hasta k, no
solo para k.
Haciendo uso de l, prueba los siguientes resultados:

6.16 Cualquier nmero natural mayor que 1 se puede escribir como producto de nmeros pri-
mos.
6.17 (

) Utilizando la identidad trigonomtrica cos cos 2 ) 1 cos( ) 1 cos( n n n = + + , o su
equivalente ) 1 cos( 2 cos 2 cos 2 ) 1 cos( 2 = + n n n , prueba que



81
2 cos n = (2 cos )
n
+ c
n1
(2 cos )
n1
+ ... + c
1
(2 cos ) + c
0
, con los c
i
enteros. Una vez pro-
bado esto no debes dejar pasar la oportunidad y probar que si , en grados, es un nmero racio-
nal con 0 < < 90, entonces cos es irracional salvo si = 60.

Hay algunas demostraciones por induccin que afirman cosas sorprendentes.
Aqu van algunas. Tu misin es descubrir el gato.

6.18 Todos los enteros positivos son iguales.
Para probar esta afirmacin utilizaremos la siguiente: Si a y b son dos enteros positivos y
max (a, b) = n, entonces a = b, sea cual fuere n, que obviamente implica la nuestra y que
probaremos por induccin.
n = 1. Si max (a, b) = 1 y a y b son enteros positivos, entonces a = 1, b = 1, a = b.
Supongamos ahora max (a, b) = n + 1. Entonces max (a 1, b 1) = n y, por hiptesis de
induccin, a 1 = b 1, de lo que sigue a = b y todos los enteros positivos son iguales.

Una utilizacin algo diferente del mtodo de induccin nos lleva a cosas como stas:

6.19 Si en una clase de n alumnos aprueba uno, aprueban todos.
Induccin sobre n:
n = 1. Evidentemente cierto.
Supongamos ahora una clase de n + 1 alumnos a
1
, a
2
, ..., a
n+1
, de la que sabemos que
aprueba uno, supongamos que es a
1
.
Formo el subconjunto de n alumnos a
1
, a
2
, ..., a
n
y por hiptesis de induccin, aprueban
todos. Formo ahora el subconjunto de n alumnos a
1
, a
3
, a
4
, a
5
,..., a
n+1
y, por hiptesis de
induccin, aprueban todos. As pues, han aprobado a
1
, ..., a
n
y a
n+1
, es decir, todos.

6.20 La misma idea. Demustralo t por induccin y luego descubre el error que has cometido.
Si tengo n rectas en el plano, n 2, o son todas paralelas o existe un punto comn a todas.
6.21
i) Probar que para cada nmero natural n,
x
n
1 = (x 1) (1 + x + x
2
+ ... + x
n1
)
ii) Para cada nmero natural n, sean



82
8 7 6
n
n
R 1 ... 11 = y
8 7 6
n
n
D 2 ... 22 = .
Probar que R
2n
D
n
es el cuadrado de un nmero natural.
iii) Demostrar que si m y n son nmeros naturales y m divide a n, entonces 2
m
1 divide a
2
n
1 y R
m
divide a R
n
.
iv) Demostrar que 3937 divide a 2
35
1.

6.22 El parlamento de un pas cuenta con 200 diputados. El 121212...% de los asistentes a una
sesin son rubios y el 23423423...% fuman. Cuntos diputados faltaron a dicha sesin?

6.23 Un cierto subconjunto M de los nmeros naturales tiene entre 10.000 y 10.000 elementos.
De entre ellos, el
165
23
del total dan resto 1 al dividirlos entre 3, y el
143
35
del total dan de
resto 2. Cuntos son mltiplos de 3?

6.24 (

) Halla n nmeros positivos a
1
, ... , a
n
tales que a
1
+ ... + a
n
= 1000 y que el producto
a
1
... a
n
sea lo ms grande posible.

6.25 (

) Una partcula parte del reposo y, movindose en lnea recta, alcanza una velocidad v
0

cuando ha recorrido una distancia s
0
. Si en ningn momento la aceleracin ha sido cre-
ciente, calcula el tiempo mximo que puede haber empleado.

6.26 (

) Esta nevando con regularidad. A las doce sale una mquina quitanieves que recorre
en la primera hora dos Km y en la segunda solo uno. A qu hora empez a nevar? Debes
suponer que la cantidad de nieve quitada por la mquina en unidad de tiempo es constan-
te, de modo que su velocidad resultar inversamente proporcional a la altura de nieve en-
contrada en el camino.

6.27 (

) La sucesin de Fibonacci se define por F
1
= F
2
= 1 y F
n+1
= F
n
+ F
n1
si n 2.
Demuestra que cualquier nmero natural se puede escribir como suma de varios nmeros
de Fibonacci, todos diferentes.




83
SOLUCIONES A LOS EJERCICIOS CON ASTERISCO (

)

6.5
Para construir un pentgono regular con regla y comps basta poder construir dos vrtices
consecutivos.
Si recuerdas los nmeros complejos, posiblemente recuerdes que las races quintas de la
unidad tienen por afijos los vrtices de un pentgono regular inscrito en el origen. Vea-
mos dos de ellas.
Resolvamos z
5
1 = 0;

1 1 1
5
0
5
= = = z donde el ngulo lo calculamos segn la fr-
mula
5
2

k +
= con = 0 y k = 0, 1, 2, 3, 4.
Para k = 0, obtengo 1
0
= 1 y para k = 1, obtengo
5
2
1

.
As que
5
2
1

, o sea,
5
2
sen
5
2
cos

i + es una de las races quintas de 1, o sea, una solu-
cin de z
5
1 = 0, es decir de (z 1) (z
4
+ z
3
+ z
2
+ z + 1) = 0, y, como no es 1, ser solu-
cin de la ecuacin z
4
+ z
3
+ z
2
+ z + 1 = 0.
Yo tendr dibujado el afijo correspondiente si tengo el arco, que lo tendr si tengo su co-
seno. Veamos ste.
z
4
+ z
3
+ z
2
+ z + 1 = 0 nos lleva a 0
1 1
1
2
2
= + + + +
z z
z z , es decir,
0 1
1 1
2
=

+ +

+
z
z
z
z , ecuacin de la que s que
5
2
sen
5
2
cos

i z + =
es solucin. Calculo
5
2
cos 2
1
5
2
sen
5
2
cos
5
2
sen
5
2
cos
1 1

= + =
+
=
z
z i
i
z
, con
lo que t =
5
2
cos 2

verifica t
2
+ t 1 = 0.
Pero la solucin de esta ecuacin la puedo construir con regla y comps. En concreto
t
2
+ t 1 = 0 nos lleva a
2
5 1
= t y como
5
2
cos 2

es positivo, ser la
2
5 1+
, por lo



84
que
4
1 5
5
2
cos

=

y observa que este nmero lo s construir con el comps. Constrye-

lo y una vez construido
5
2
cos

, marca el afijo correspondiente.
6.8
Un problema parecido sera probar que una cierta ecuacin no tiene ninguna raz mayor
que cero si adems las races de la nuestra se corresponden con las races de esta otra de
modo que se diferencien en 1. Si esta ltima ecuacin no tiene ninguna raz positiva, la
nuestra no tendr ninguna raz mayor que 1. Cul es esta otra ecuacin? Pues, simple-
mente la ecuacin en y obtenida haciendo x = y + 1, es decir, la (y + 1)
7
2(y + 1)
5
+ 10(y
+ 1)
2
1 = 0. Desarrolla y prueba que esta ecuacin no puede tener races positivas ob-
servando que todos los coeficientes son positivos.
6.10
Todo lo que s es que 3n + 1 = a
2
con a entero y a no mltiplo de 3 (si lo fuera, su cua-
drado tambin lo sera).
Cmo son los a enteros no mltiplos de 3?
Pues o bien a = 3b + 1 a = 3b 1.
As pues 3n + 1 = (3b 1)
2
= 9b
2
6b + 1, de donde n = 3b
2
2b y n + 1 = 3b
2
2b + 1.
Es 3b
2
2b + 1 suma de 3 cuadrados perfectos?
Uno de ellos parecera ser el b
2
2b + 1, o sea, (b 1)
2
y los otros, obviamente b
2
y b
2
.
As que n + 1 = b
2
+ b
2
+ (b 1)
2
, es suma de tres cuadrados perfectos.
6.14
Trabajar con una curva de la forma y = ax
3
+ bx
2
+ cx + d sera verdaderamente engorro-
so. Obviamente si hacemos una traslacin de ejes, las regiones en cuestin no alteraran
su rea por lo que el tal movimiento no afectara al problema. Qu movimientos de ejes
transforman la ecuacin de la cbica en otra ms elemental? Ciertamente podemos elimi-
nar d; bastara subir el eje horizontal al punto (0, d).
Podemos simplificar an ms?
Si dibujas unas cuantas cbicas, es posible que observes que si el origen se trasladara al
punto de inflexin se verificara que g(x) = g(x) siendo y = g(x) la nueva ecuacin. Es
cierto eso en general?





85
Veamos que s:
f (x) = ax
3
+ bx
2
+ cx + d
f (x) = 3ax
2
+ 2bx + c
f (x) = 6ax + 2b (f (x) = 0
a
b
x
3
= ).
Demostremos que f es simtrica respecto del punto de inflexin T =

a
b
f
a
b
3
,
3
es
decir, que

+ p
a
b
f
a
b
f
a
b
f p
a
b
f
3 3 3 3
,
o sea que

+
a
b
f p
a
b
f p
a
b
f
3
2
3 3

Para no escribir tanto, bastara probar que f (u + p) + f (u p) = 2f (u) siendo u =
a
b
3
.
Desarrolla y obsrvalo (fjate los signos de las potencias de grado impar). Una vez visto
esto, traslademos los ejes al punto de inflexin de la curva. Ya sabemos que y = f (x) se
convierte en una funcin impar de 3
er
grado. Y cmo ser? Observa que ser y = px
3
+ qx.
La curva ser algo as:
El punto P es (x
0
, px
0
3
+ qx
0
).
Obtengamos Q: la tangente en P tiene por ecuacin
y (px
0
3
+ qx
0
) = (3px
0
2
+ q) (x x
0
).
Para hallar Q resolvamos el sistema
y = px
3
+ qx
y (px
0
3
+ qx
0
) = (3px
0
2
+ q) (x x
0
).

Tenemos entonces que px
3
+ qx = (3px
0
2
+ q) (x x
0
) + px
0
3
+ qx
0
, o, lo que es lo mismo,
px
3
3px
0
2
x 2px
0
3
= 0, ecuacin de la que s que x
0
es solucin (incluso doble). As
pues px
3
3px
0
2
x 2px
0
3
= p(x x
0
)
2
(x + 2x
0
), con lo que la ecuacin que tenemos que
resolver es p(x x
0
)
2
(x + 2x
0
) = 0 x = 2x
0
es la abscisa de Q.
Calculemos el rea [ ] [ ] ( ) = + + + + =

dx qx px x x q px qx px A
x
x
0
0
2
0
3
0 0
2
0
3
) )( 3 (
T
B
Q
P
A



86
( )
4
0
2
3
0
2
0
3
2
3
2 3
0
0
px dx px x px px
x
x
= =

, o sea, A = Kx
0
4
, por lo que B sera
K (2x
0
)
4
= 16A.
6.17
De la identidad dada, obtenemos que
2 cos (n + 1) = 2 cos n 2 cos 2 cos (n 1) , y queremos probar que
2 cos n = (2 cos )
n
+ c
n1
(2 cos )
n1
+ ... + c
1
(2 cos ) + c
0
.
Vemoslo por induccin
Para n = 1. Es cierto? S; basta tomar c
1
= 1 y c
0
= 0.
Supongamos que la afirmacin es cierta para todos los valores enteros hasta n. Probemos
que es cierto para n + 1, es decir, debemos probar que
2 cos (n + 1) = (2 cos )
n+1
+ d
n1
(2 cos )
n
+ ... + d
1
(2 cos ) + d
0
con los d
i
enteros.
Basta observar que 2 cos (n+1) = 2 cos n (2 cos ) 2 cos (n1) y sustituir 2 cos n
y 2 cos (n1) por los polinomios que, por hiptesis de induccin, tienen esas caracters-
ticas.
Vamos ahora a por la 2 parte.
Si
q
p
= con p y q enteros, tomo n para que cos n = 1 (n = 360q) y, para ese n, es
(2 cos )
n
+ c
n1
(2 cos )
n1
+ ... + c
1
(2 cos ) + c
0
= 2 cos n, o sea:
(2 cos )
n
+ c
n1
(2 cos )
n1
+ ... + c
1
(2 cos ) + c
0
2 = 0, ecuacin polinmica de coefi-
cientes enteros y coeficiente principal 1 en 2 cos en la que, como sabes, si hay solucio-
nes racionales, deben ser enteras. As pues si 2 cos es racional, es entero.
Como 0 < 2 cos < 2 y el nico entero con esa propiedad es 1, tenemos que
2
1
cos =
y =60.
6.24
Sea a
1
, ... , a
n
una solucin al problema. Si alguno de estos nmeros fuese un uno, diga-
mos a
1
= 1, definimos
b
2
= a
2
+ 1; b
k
= a
k
para cada k 3.
De este modo,

= =
= =
n
k
n
k
k k
a b
2 1
1000 , pero
b
2
... b
n
= (a
2
+ 1) a
3
... a
n
> a
2
... a
n
= a
1
a
2
... a
n
, luego {a
1
, ..., a
n
} no sera una solucin,
contra lo supuesto. Por lo tanto, ninguno de los a
i
s vale uno.



87
Adems, ningn a
i
4. En efecto, si por ejemplo a
1
4 definimos
b
0
= 2, b
1
= a
1
2, b
k
= a
k
para cada k 2.
Resulta as que

= = =
= + = + + =
n
k
n
k
n
k
k k k
a a a b b b
0 2 2
1 1 0
1000 ,
y sin embargo, como
b
0
b
1
= 2(a
1
2) = 2a
1
4 = a
1
+ (a
1
4) a
1
, (1)
se cumple que
b
0
b
1
b
2
... b
n
a
1
a
2
... a
n

y por tanto podemos reemplazar la solucin inicial por otra en la que slo haya doses y
treses.
De hecho a lo sumo hay 2 doses pues si hubiere 3 o ms, digamos a
1
= a
2
= a
3
= 2, defi-
nimos
b
2
= b
3
=3; b
k
= a
k
, k 3.
y es claro que

=
=
n
k
k
b
2
1000 y como b
2
b
3
> a
1
a
2
a
3
, se tiene
b
2
b
3
... b
n
> a
1
a
2
... a
n

lo que contradice que {a
1
, ... , a
n
} es solucin.
Por otro lado, algn dos debe haber, pues en otro caso cada a
i
= 3 y entonces

=
= =
n
k
i
n a
1
3 1000 , lo cual es falso porque 1000 no es mltiplo de 3.
El mismo argumento nos permite descartar que haya un nico dos, porque si a
1
= 2 y
a
k
= 3 para cada k 2 se tendra
) 1 ( 3 2 1000
1
+ = =

=
n
k
k
n a
y esto es imposible ya que tampoco 998 es mltiplo de tres. Hemos demostrado as que
necesariamente hay 2 doses, y el resto de los a
i
s valen 3. Por tanto,
a
1
= a
2
= 2; a
k
= 3 para k 3,
y como ) 2 ( 3 4 4 1000
3 1
+ = + = =

= =
n
k
k
n
k
k
n a a , resulta que 332
3
996
2 = = n , o sea, n = 334
Por ello una solucin al problema es:
a
1
= a
2
= 2; a
k
= 3 para 3 k 334.



88
En el anlisis precedente hemos obtenido, para cada aspirante a solucin distinta de la ha-
llada, otra mejor, salvo en (1) con a
1
= 4; en este caso hemos cambiado la solucin
{4, a
2
, ... , a
n
} por {2, 2, a
2
, ... , a
n
}
que proporciona el mismo producto. Esto prueba que el problema tiene, exactamente, dos
soluciones: la ya descrita y
a
1
= 4, a
k
= 3, para 2 k 333.
6.25
Sea s : [0, ) : t a s (t) la funcin que hace corresponder a cada t [0, ) la dis-
tancia s (t) recorrida en un tiempo t desde el instante inicial.
Sea t
0
el tiempo empleado en alcanzar la velocidad v
0
.
As s (t
0
) = s
0
y la funcin velocidad
v = s : [0, ) : t a v (t) = s( t)
cumple que v (t
0
) = v
0
. Como la partcula parte del reposo, v (0) = 0
La aceleracin es la derivada de la velocidad:
a : [0, ) : t a (t) = v(t),
y por hiptesis es no creciente, luego para cada t [0, ), v(t) = a(t) 0
Por tanto, representando la grfica de v (t) respecto de t,







En consecuencia,

= =
0
0
0 0
) ( ) (
t
dt t v t s s rea
2 2
0 0
v t PQ OP
OPQ =

= luego,
0
0
0
2
v
s
t , esto es, el tiempo mximo empleado es
0
0
0
2
v
s
t = , que corresponde al caso en que
la grfica de v(t) es



v(t)
Q
0 (t
0
, 0) = P
s
0
t
v
0
v(t)
t
0

t
v
0



89
es decir, t
t
v
t v =
0
0
) ( , o lo que es igual,
0
0
) (
t
v
t a = . Por lo tanto, el tiempo empleado es m-
ximo si el movimiento es uniformemente acelerado.
6.26
Sea h es el nmero de horas que llevaba nevando a las 12. Si denotamos por t el tiempo (en
horas) transcurrido desde las 12, la hiptesis dice que la funcin velocidad de la mquina
es
v : [0, ) : t a v(t) =
t h
k
+

para cierto nmero real positivo k.
El espacio recorrido por la mquina viene dado por
s : [0, ) : t a s(t) =

t
ds s v
0
) (
y el enunciado nos dice que
]

+
= + =
+
= =
=
=

h
h
k s h k ds
s h
k
s
s
s
1
log ) log( ) 1 ( 2
1
0
1
0

]

+
+
= + =
+
= =
=
=

1
2
log ) log( ) 1 ( ) 2 ( 1
2
1
2
1
h
h
k s h k ds
s h
k
s s
s
s

Dividiendo resulta
( )
( ) 1 2 log
1 log
2
+ +
+
=
h h
h h
, o sea ,
2
1
2
log
1
log

+
+
=

+
h
h
h
h
y como la funcin logaritmo es in-
yectiva,
2
1
2 1

+
+
=
+
h
h
h
h
, es decir,
2
1
1
1
1
1

+
+ = +
h h
, esto es
2 2
) 1 (
1 ) 1 ( 2
1
) 1 (
1
1
2
1
1
1
+
+ +
+ =
+
+
+
+ = +
h
h
h h h

Simplificando,
(h + 1)
2
= h(2h + 3) = 2h
2
+ 3h, es decir, h
2
+ h 1 = 0, y como h > 0, obtenemos
2
1 5
= h .
As pues, empez a nevar
2
1 5
horas antes de las 12.
Aproximando 5 por 2,23 se tiene 615 , 0
2
23 , 1
= = h horas = 36,9 minutos. As, empez a
nevar, aproximadamente a las 11 horas y 23,1 minutos.



90
6.27
Se trata de demostrar que el conjunto
S = {n : n no se puede escribir como suma de varios nmeros de Fibonacci, todos di-
ferentes}
es vaco. Si no lo fuera, tomamos el mnimo m S de sus elementos.
En particular, como m S, m no es un nmero de Fibonacci.
Por otro lado, la sucesin {F
n
} no es acotada pues de hecho F
n
> n para cada n 5. En
efecto,
F
1
= F
2
= 1, F
3
= 2, F
4
= 3, F
5
=5, F
6
= 8, ...
y trabajando por induccin, F
6
= 8 6 y si n > 6 y por hiptesis de induccin
F
n2
n 2
F
n1
> n 1 con lo que resulta
F
n
= F
n1
+ F
n2
> n 1 + n 2 = n + (n 3) > n.
Por tanto, como {F
n
} no es acotada y m no es nmero de Fibonacci, existe un nmero na-
tural k tal que F
k
< m < F
k+1
.
En particular, m F
k
es un nmero natural menor que m = min S, luego m F
k
S. Exis-
te por ello un subconjunto J finito, tal que

=
J j
j k
F F m ,
luego

+ =
J j
k j
F F m . Si probamos que k J habremos escrito m como suma de nme-
ros de Fibonacci distintos, es decir, m S, contradiccin.
Pero si k J sera

=
J j
j k
F F m F
k
, luego m F
k
+ F
k
> F
k
+ F
k1
= F
k+1
, lo cual es falso.









91