PROBLEMAS CUADRTICOS DE OLIMPIADAS

Francisco Bellot Rosado

Presentamos a continuacin una serie de problemas de Olimpiadas con la
caracterstica comn de hacer intervenir en ellos, en mayor o menor medida,
las propiedades del trinomio de segundo grado. Aunque a primera vista podra
parecer que debera tratarse de problemas o ejercicios muy sencillos ( todo el
mundo cree saber resolver una ecuacin de segundo grado), el examen de los
ejemplos que presentamos quiz haga variar semejante opinin.
Recordamos las relaciones de Cardano-Vieta para el polinomio de segundo
grado :
Si ; son las races (reales o complejas) del polinomio x
2
+ px + q; la
identicacin de coecientes en los dos miembros de
(x ) (x ) = x
2
+ px + q
proporciona las igualdades
( + ) = p
= q:
El mtodo de completamiento de cuadrado aplicado al polinomio
P(x) = ax
2
+ bx + c
permite escribirlo en la forma
P(x) = a
_
x +
b
2a
_
2
+ c
b
2
4a
;
de donde se deduce la conocida frmula
x =
b
_
b
2
4ac
2a
:
La expresin = b
2
4ac es el discriminante, porque separa las races : Si
> 0; P(x) tiene dos races reales, si = 0 tiene una raz real doble; si < 0,
no tiene races reales.
Problema 1
Si P(x) = x
2
+ ax + b; Q(x) = x
2
+ px + q; hallar la condicin para que los
dos polinomios tengan una raz comn.
Solucin
Si x
1
; x
2
son las races (reales o complejas) de P; sustituyndolas en Q y
calculando Q(x
1
) Q(x
2
) ; obtenemos
Q(x
1
)Q(x
2
) = x
2
1
x
2
2
+q
_
x
2
1
+ x
2
2
_
+px
1
x
2
(x
1
+ x
2
)+p
2
x
1
x
2
+pq (x
1
+ x
2
)+q
2
1
De las relaciones de Cardano-Vieta para P resulta que
x
1
+ x
2
= a
x
1
x
2
= b
x
2
1
+ x
2
2
= (x
1
+ x
2
)
2
2x
1
x
2
= a
2
2b
as que sustituyendo en la expresin anterior resultar
Q(x
1
) Q(x
2
) = (q b)
2
+ (p a) (bp aq) ;
y como, evidentemente, la condicin para que una de las races de P sea
tambin raz de Q es Q(x
1
)Q(x
2
) = 0; resulta la condicin necesaria y suciente
buscada escrita como
(q b)
2
+ (p a) (bp aq) = 0:
Problema 2
Sea f(x) = a
2
x
2

_
b
2
2ac
_
x + c
2
; con a; b; c Q

+
: Probar que si existe
n N tal que f(n) = 0; entonces n es cuadrado perfecto.
(Cr.Mortici, Gazeta Matematica 1987, Rumania)
Solucin
Las races de la ecuacin son
b
2
2ac b
_
b
2
4ac
2a
2
;
para que alguna de ellas sea entera, debe existir k entero tal que b
2
4ac = k
2
:
Entonces se tiene
b
2
k
2
= 4ac;
b
2
k
2
2
= 2ac
as que sustituyendo en la expresin para las races de la ecuacin se obtiene
b
2

b
2
k
2
2
bk
2a
2
=
b
2
+ k
2
2bk
4a
2
=
_
b k
2a
_
2
; que es un cuadrado.
Problema 3
Sea a un nmero real dado. Calcular los nmeros reales x
1
; ; x
n
que son
soluciones del sistema
x
2
1
+ ax
1
+
_
a1
2
_
2
= x
2
x
2
2
+ ax
2
+
_
a1
2
_
2
= x
3

x
2
n1
+ ax
n1
+
_
a1
2
_
2
= x
n
x
2
n
+ ax
n
+
_
a1
2
_
2
= x
1
_

_
2
(Torneo de las Ciudades)
Solucin
Sumando miembro a miembro todas las ecuaciones :
_
x
2
1
+ x
2
2
+ + x
2
n
_
+ (a 1) (x
1
+ + x
n
) + n
_
a 1
2
_
2
= 0
y el primer miembro se escribe como
x
2
1
+ (a 1) x
1
+
_
a 1
2
_
2
+ + x
2
n
+ (a 1) x
n
+
_
a 1
2
_
2
= 0;
es decir
_
x
1
+
a 1
2
_
2
+ +
_
x
n
+
a 1
2
_
2
= 0;
luego todos los parntesis deben ser nulos y as se obtiene
x
1
= x
2
= = x
n
=
1 a
2
:
Inmediatamente se comprueba por sustitucin directa que esta solucin ver-
ica las ecuaciones iniciales del sistema.
Problema 4
Sea f(x) un polinomio con coecientes reales tal que f(x) _ 0 para todo x
real. Demostrar que f (x) puede escribirse en la forma
f(x) = (g
1
(x))
2
+ (g
2
(x))
2
+ + (g
n
(x))
2
;
donde los g
i
son polinomios con coecientes reales.
(Propuesto por Hungra, no usado, IMO 1973)
Solucin (de M
a
Ascensin Lpez Chamorro)
f tiene que ser de grado par y tendr un mnimo absoluto mayor o igual que
0; adems el coeciente principal y el trmino independiente son positivos.
Si f es de segundo grado,
f(x) = ax
2
+ bx + c =
_
_
ax +
b
2
_
a
_
2
+
__
c
b
2
4a
_
2
y esa descomposicin responde a las condiciones del problema (en este caso,
g
2
es un polinomio constante).
Procedemos a continuacin por induccin sobre el grado del polinomio f :supongamos
la proposicin cierta para cualquier polinomio de grado 2 (n 1) ; sea gr(f) = 2n
y = f() _ 0 el mnimo del polinomio f: Entonces
f(x) = (x )
2
f
2(n1)
(x) = (x )
2
k

h=1
(g
h
(x))
2
3
as que en este caso se tiene
f(x) =
k

h=1
((x )
2
g
h
(x))
2
+
_
_

_
2
y hemos terminado la fase inductiva, lo que prueba la proposicin.
Problema 5
Sean a; b Z . Resolver (numricamente!) la ecuacin
(ax b)
2
+ (bx a)
2
= x;
sabiendo que admite una raz entera.
(M. Becheanu, Gazeta Matematica, Rumania)
Comentario
Este es, en mi opinin, el ms bello problema sobre la ecuacin de segundo
grado jams propuesto; la solucin es del proponente del problema, Mircea
Becheanu, Jefe de la Delegacin Rumana en la IMO.
Solucin
Si a = b = 0; la ecuacin es de primer grado, con solucin nica x = 0:
Supongamos a ,= 0 b ,= 0: La ecuacin es
_
a
2
+ b
2
_
x
2
(4ab + 1) x + a
2
+ b
2
= 0;
de segundo grado, con races x
1
; x
2
, siendo x
1
Z . Como
x
1
= (ax
1
b)
2
+ (bx
1
a)
2
;
deducimos que x
1
es, adems de entero, positivo. Como las races son reales,
el discriminante de la ecuacin ser mayor o igual que cero:
(4ab + 1)
2
4
_
a
2
+ b
2
_
2
_ 0 ==
_
1 2 (a b)
2
_ _
1 + 2 (a b)
2
_
_ 0
y esto exige que 1 2 (a b)
2
_ 0: Puesto que (a b)
2
es natural, resulta
necesariamente (a b)
2
= 0; es decir, a = b:
Con esto, la ecuacin se convierte en
2a
2

_
4a
2
+ 1
_
x + 2a
2
= 0 (**)
y, segn las frmulas de Cardano-Vieta, se tiene
x
1
+ x
2
= 2 +
1
2a
2
; x
1
x
2
= 1:
Observamos que, al ser x
1
N , x
1
= 0 no puede ser raz de (**), ni tampoco
x
1
= 1 puede serlo. Por lo tanto, x
1
_ 2: Ya que x
2
=
1
x1
> 0; entonces
x
1
< x
1
+ x
2
= 2 +
1
2a
2
< 3: Por lo tanto 2 _ x
1
< 3 con x
1
entero implica
x
1
= 2; x
2
=
1
2
: Sustituyendo los valores resulta a
2
= 1; as que a 1; 1 :
La nica posibilidad, entonces, es a = b = 1; con races 2;
1
2
:
4
Problema 6
Hallar una condicin necesaria y suciente para que la ecuacin ax
2
+bx+c =
0; a ,= 0; tenga una de sus races igual al cuadrado de la otra.
(Crux Mathematicorum 1973, Canad)
Solucin
Sean r y r
2
las races; entonces
r
2
+ r =
b
a
; r
3
=
c
a
:
Puesto que se verica
_
r
2
+ r
_
3
= r
3
(r + 1)
3
= r
3
_
r
3
+ 3
_
r
2
+ r
_
+ 1
_
se tiene la condicin necesaria
_

b
a
_
3
=
c
a
_
c
a
3
b
a
+ 1
_
==b
3
+ ca (c + a) = 3abc (*).
Esta condicin es suciente, porque si (*) se cumple, y llamamos R; r a las
races, sustituyendo
b
a
= R + r;
c
a
= Rr; en la primera de las dos expresiones
(*) se obtiene
(R + r)
3
= Rr [Rr + 3 (R + r) + 1] ==
_
R
2
r
_ _
R r
2
_
= 0;
lo que prueba que una de las races es el cuadrado de la otra.
Problema 7
Resolver la ecuacin
_
2x
2
x
2
+ 1
_
= x;
siendo [] la parte entera.
(Gazeta Matematica, Rumania, 1990)
Solucin
Como
2x
2
x
2
+1
_ 0;
_
2x
2
x
2
+1
_
es natural, luego x es natural.
Aplicamos la desigualdad de las medias armnica y geomtrica a los nmeros
positivos 1 y x
2
: se tendr
2
1 +
1
x
2
_
_
1 x
2
= x ==
2x
2
x
2
+ 1
_ x (1).
Por otra parte, como
_
2x
2
x
2
+ 1
_
_
2x
2
x
2
+ 1
;
resulta segn el enunciado
x _
2x
2
x
2
+ 1
(2),
5
as que ser
x =
2x
2
x
2
+ 1
;
de donde x = 0 x = 1:
Problema 8
Sean a; b N

y la ecuacin (x a)
2
+ (x b)
2
= 2ab 1:
Demostrar que :
i) la ecuacin no tiene races racionales.
ii) Si b = a +1; entonces la ecuacin tiene races reales, y en este caso hallar
la parte entera de las races de la ecuacin.
(Gazeta Matematica, Rumania)
Solucin
i)La ecuacin se puede escribir como
2x
2
2 (a + b) x + (a b)
2
+ 1 = 0:
La siguientes condiciones son equivalentes:
x
1
; x
2
Q == =4
_
(a + b)
2
2 (a b)
2
2
_
= k
2
; k Z
== (a + b)
2
2 (a b)
2
2 = l
2
; l Z:
Sean p = a+b; q = ab: Como p y q son de la misma paradad, distinguiremos
dos casos:
1) p = 2u; q = 2v; con u; v Z: Entonces
(a + b)
2
2 (a b)
2
2 = 4u
2
8v
2
2:
Puesto que 2 divide a 4u
2
8v
2
2, pero 4 no, es imposible que 4u
2
8v
2
2
sea un cuadrado perfecto.
2) p = 2u + 1; q = 2v + 1: En este caso,
(a + b)
2
2 (a b)
2
2 = 4u(u + 1) 8v (v + 1) 3 = 8t + 5; t Z:
Como el resto de la divisin por 8 de un cuadrado perfecto puede ser 0,1
4, tampoco en este caso es un cuadrado perfecto.
Por lo tanto, las races de la ecuacin no son racionales.
ii) Si b = a + 1; la ecuacin es x
2
(2a + 1) x + 1 = 0; cuyo discriminante
es 4a
2
+ 4a 3: Como a N

; _ 5; as que las races son reales y distintas :

x
1
< x
2
: Sea la funcin
f(x) = x
2
(2a + 1) x + 1; x R:
Se tiene : f(0) = 1 > 0; f(1) = 12a < 0; f(2a) = 12a < 0; f(2a+1) > 0:
Resulta as
6
0 < x
1
< 1 < 2a < x
2
< 2a + 1
y [x
1
] = 0; [x
2
] = 2a:
Problema 9
Demostrar que n
4
+ 4 nunca es primo si n > 1 (Sophie Germain)
Generalizacin : 4
n
+ n
4
no es primo si n > 1:
(Olimpiada de Brasil)
Solucin
Se tiene
n
4
+ 4 = n
4
+ 4n
2
+ 4 4n
2
=
_
n
2
+ 2
_
2
4n
2
=
_
n
2
+ 2 2n
_ _
n
2
+ 2 + 2n
_
Es claro que el ltimo factor es mayor que 1. En cuanto al otro,
n
2
+ 2 2n = (n 1)
2
+ 1 es igualmente mayor que 1 si n ,= 1:
Generalizacin :
Si n es par, es obvio que 4
n
+ n
4
es par y mayor que 2, luego no es primo.
Estudiaremos el caso impar utilizando la identidad (llamada de Sophie Ger-
main)
x
4
+ y
4
=
_
x
2
+ y
2
+
_
2xy
__
x
2
+ y
2

_
2xy
_
:
Entonces, si n = 2k +1; 4
n
= 4
2k+1
=
__
2 2
k
_
4
; as que podemos escribir
4
n
+ n
4
=
_
_
2 2
k
_
4
+ n
4
=
_
2
n
+ n
2
+ 2
k+1
n
_ _
2
n
+ n
2
2
k+1
n
_
Comprobemos nalmente que el menor de los dos factores anteriores no es
igual a 1:
2
n
+ n
2
2
k+1
n = 2
2k+1
+ (2k + 1)
2
2
k+1
(2k + 1) =
= 2 2
2k
2 2
2k
(2k + 1) + (2k + 1)
2
=
_
2
k
(2k + 1)

2
+ 2
2k
_ 5 pues
k > 0:
Problema 10
Hallar los nmeros reales positivos x; y sabiendo que las cuatro medias
a =
x + y
2
; g =
_
xy; h =
2xy
x + y
; k =
_
x
2
+ y
2
2
son nmeros naturales cuya suma vale 66.
(Olimpiada de la Repblica Checa, 1995)
Solucin
Ya que 66 no es divisible por 4, no puede ser a = g = h = k; en consecuencia,
por la desigualdad de las medias, ser
h < g < a < k:
Sea c el mximo comn divisor de a y g:Entonces
7
a = ca
1
; g = cg
1
donde g
1
< a
1
son primos entre s.
Ya que h =
g
2
a
=
cg
2
1
a1
; el nmero c debe ser divisible por a
1
; es decir
c = da
1
para algn nmero natural d: Las cuatro medias se pueden ahora
expresar mediante d; a
1
; g
1
:
h = dg
2
1
; g = da
1
g
1
; a = da
2
1
; k =
_
2a
2
g
2
= da
1
_
2a
2
1
g
2
1
:
Ya que la raz cuadrada de un nmero natural es natural o irracional, el
nmero
_
2a
2
1
g
2
1
debe ser natural (que es adems mayor que a
1
; porque g
1
<
a
1
: De aqu que el tercer y cuarto sumandos de la igualdad
dg
2
1
+ da
1
g
1
+ da
2
1
+ da
1
_
2a
2
1
g
2
1
= 66 (*)
son los dos mayores que a
2
1
( ya que d _ 1): De aqu se sigue que 2a
2
1
< 66;
es decir, a
1
< 5: Se comprueba fcilmente que de las diez races cuadradas
_
2a
2
1
g
2
1
; 1 _ g
1
< a
1
_ 5
la nica que es entera es
_
2 5
2
1
2
; con a
1
= 5; g
1
= 1:
Sustituyendo en (*) se obtiene d = 1; lo que da (h; g; a; k) = (1; 5; 25; 35) :
Los nmeros x; y son las soluciones de la ecuacin
t
2
50t + 25 = 0;
es decir
x; y =
_
25 + 10
_
6; 25 10
_
6
_
:
Problema 11
Sea m un nmero real, tal que las races x
1
y x
2
de la ecuacin
f(x) = x
2
+ (m2) x + m
2
3m + 3 = 0
son reales.
a) Hallar todos los valores de m para los cuales x
2
1
+ x
2
2
= 6:
b) Probar que
1 <
mx
2
1
1 x
1
+
mx
2
2
1 x
2
+ 8 _
121
9
(Olimpiada de Bulgaria, 1995)
Solucin
a) Ya que la ecuacin tiene dos races reales, su discriminante
(m2)
2
4
_
m
2
3m + 3
_
= 3m
2
+ 4m + 4 _ 0;
8
luego
2
3
_ m _ 2:
Por otra parte,
6 = x
2
1
+ x
2
2
= (x
1
+ x
2
)
2
2x
1
x
2
= m
2
2m + 10:
De aqu se obtiene m = 1
_
5; pero
1
_
5 <
2
3
< 1 +
_
5 < 2;
y por lo tanto slo m = 1 +
_
5 es solucin del problema.
b) Se tiene
mx
2
1
1 x
1
+
mx
2
2
1 x
2
=
m
_
x
2
1
(1 x
2
) + x
2
2
(1 x
1
)

f(1)
=
x
2
1
+ x
2
2
x
1
x
2
(x
1
+ x
2
)
m2
=
m
3
8m
2
+ 13m2
m2
= m
2
6m + 1:
Entonces, si llamamos
F =
mx
2
1
1 x
1
+
mx
2
2
1 x
2
+ 8;
resulta F = (m3)
2
; y entonces
121
9
=
_

2
3
3
_
2
_ F > (2 3)
2
= 1:
Problema 12
Se considera la funcin cuadrtica f(x) = x
2
+ 4px p + 1: Sea S el rea
del tringulo del que dos vrtices son los puntos de interseccin de f(x) con el
eje de abscisas,mientras que el tercer vrtice es el vrtice de la parbola. Hallar
todos los racionales p tales que S es entero.
(Olimpiada de Bulgaria 1995)
Solucin
El discriminante de f(x) es D = 4
_
4p
2
p + 1
_
> 0 para todo p real. En
consecuencia f(x) tiene dos races reales x
1
y x
2
, y la parbola corta al eje x en
dos puntos distintos, A y B. El vrtice C de la parbola tiene coordenadas 2p y
h = f(2p) = 4p
2
p + 1 > 0: Se tiene
AB = [x
1
x
2
[ =
_
(x
1
x
2
)
2
=
_
(x
1
+ x
2
)
2
4x
1
x
2
= 2
_
4p
2
p + 1
Ahora calculamos
9
S = S
ABC
=
AB h
2
=
_
4p
2
p + 1
_
3=2
:
Llamemos q = 4p
2
p+1: Ya que q es racional, y q
3
= S
2
es entero, entonces
q es entero tambin.Entonces
S
q
es racional, y como su cuadrado
_
S
q
_
2
= q es
entero, entonces
S
q
es igualmente entero. Por lo tanto q = n
2
; siendo n un entero
positivo :
4p
2
p + 1 n
2
= 0:
Esta ecuacin cuadrtica (respecto de p) tiene una raz racional exactamente
cuando su discriminante 16n
2
15 es el cuadrado de un nmero racional. Por lo
tanto 16n
2
15 = m
2
; y no hay prdida de la generalidad en suponer m entero
positivo. De la igualdad
(4n m) (4n + m) = 15
obtenemos
4n m = 1
4n + m = 15
_
o bien
4n m = 3
4n + m = 5
_
De aqu que n = 2; m = 7 o bien n = 1; m = 1:
Los nmeros racionales que estamos buscando son 0; 1;
1
4
;
3
4
:
Problema 13
Para qu funciones cuadrticas f(x)existe una funcin cuadrtica g(x) tal
que las races de la ecuacin g(f(x)) = 0 son cuatro trminos consecutivos
(distintos) de una progresin aritmtica y al mismo tiempo son tambin races
de la ecuacin f(x) g(x) = 0?
(Olimpiada de Chequia 2000)
Solucin
Se sigue de las hiptesis que cada una de las ecuaciones f(x) = 0; g(x) = 0
tiene dos races reales, y esas 4 races son distintas. Llamemos x
1
y x
2
a las races
de f(x) = 0: Entonces f(x) = a (x x
1
) (x x
2
), donde a es un nmero real,
a ,= 0: Por hiptesis, x
1
es tambin raz de g(f(x)); luego g(f(x
1
)) = g(0) = 0.
Por lo tanto, g(x) = 0 admite la raz 0; sea b la otra raz de esta ecuacin : se
tendr g(x) = cx(x b) ; c ,= 0:
Los nmeros 0 y b son tambin races de g(f(x)) = 0 :
g(f(0)) = cf(0)(f(0) b) = 0;
g(f(b)) = cf(b)(f(b) b) = 0:
Como los nmeros 0 y b no pueden ser races de f; se sigue de ello que
f(0) = f(b) = b:
As, sobre el eje real, los dos puntos 0 y b; as como los puntos x
1
y x
2
son simtricos con respecto a la primera coordenada del vrtice de la parbola
10
y = f(x): Los nmeros 0; b; x
1
y x
2
(que forman una progresin aritmtica por
hiptesis) pueden ser ordenados de dos maneras:
Los nmeros x
1
y x
2
son interiores al intervalo [0; b] : Entonces, (con una
eleccin apropiada de los subndices), x
1
= b=3; x
2
= 2b=3; luego
b = f(0) = a
_

b
3
__

2b
3
_
=
2ab
2
9
==b =
9
2a
y
f(x) = a
_
x
3
2a
__
x
3
a
_
= ax
2

9
2
x +
9
2a
:
Los nmeros 0 y b son interiores al intervalo [x
1
; x
2
] : Entonces (eligiendo
apropiadamente los subndices), x
1
= b; x
2
= 2b; de donde
b = f(0) = ab (2b) = 2ab
2
==b =
1
2a
y
f(x) = a
_
x
1
2a
__
x +
1
a
_
= ax
2
+
1
2
x
1
2a
:
11
R Re ev vi is st ta a E Es sc co ol la ar r d de e l la a O Ol li im mp p a ad da a I Ib be er ro oa am me er ri ic ca an na a d de e
M Ma at te em m t ti ic ca a


h ht tt tp p: :/ // /w ww ww w. .c ca am mp pu us s- -o oe ei i. .o or rg g/ /o oi im m/ /r re ev vi is st ta ao oi im m/ /



E Ed di it ta a: :