Universidad de Granada

Iván Valero Terrón

Trabajo Fin de Máster

Estudio y discusión sobre

problemas de olimpiada.
Desigualdades

Tutor: Pascual Jara Martı́nez Julio 2017

Departamento de Álgebra

Máster en Matemáticas. Facultad de Ciencias

 
 Dedicado a mi familia
y a Pascual, por su gran ayuda

I
II
 Introducción

Las desigualdades son esenciales en numerosos campos de la matemática. Mediante las desigualda-
des, se pueden encontrar numerosas aplicaciones incluso fuera de las matemáticas en varios ámbitos
teóricos y prácticos. En secundaria, la atención se centra en las desigualdades lineares, cuadráticas
y las inecuaciones que involucran al valor absoluto, pero hacen menos énfasis en la manipulación
algebraica de las desigualdades o en los métodos para demostrar desigualdades.
El presente documento va dirigido a los estudiantes de bachillerato que quieran prepararse para com-
petir en las Olimpiadas Matemáticas que se celebran en nuestro paı́s y en el extranjero. Los problemas
que involucran desigualdades son cada vez más numerosos en estas competiciones. En particular, en
la Fase Nacional de la Olimpiada Matemática Española (OME) es bastante probable la aparición de
problemas uno de estos tipos.
En este Trabajo Fin de Máster nos centraremos en las desigualdades numéricas, ya que las desigualda-
des geométricas podrı́an formar otro TFM por sı́ mismas. Sin embargo, aparecerán algunas interpre-
taciones geométricas que ayudarán a la comprensión de los conceptos. Nos centraremos en algunas
desigualdades importantes, como la desigualdad entre las medias aritmética y geométrica, la desigual-
dad de Cauchy-Schwarz, la desigualdad de reordenamiento, la desigualdad de Jensen y el Teorema
de Muirhead, entre otros.
Incluidos en el desarrollo teórico de los resultados aparecen ejemplos en los que se muestra cómo
proceder en problemas que ası́ lo necesiten. Además, en cada sección del documento, aparecen pro-
blemas seleccionados de las secciones finales del documento: problemas extraı́dos de competiciones
matemáticas a tres niveles diferenciados: fases locales, fases nacionales y fases internacionales. Los
problemas vienen resueltos y, en la medida de lo posible, vienen redactados de la forma más com-
prensible y didáctica posible.

III
INTRODUCCIÓN

IV
 Índice general

Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . III

1. Desigualdades 3
1.1. Desigualdad de las medias. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Teorema de Muirhead. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3. Desigualdad de reordenación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Desigualdad de Jensen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5. Desigualdades de C-S y Nesbitt. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.6. Desigualdad C-S en forma de Engel . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.7. Extensiones de la desigualdad de Hölder. . . . . . . . . . . . . . . . . . . . . . . . . 16
1.8. Cambio de variable. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

2. Problemas de la Fase Local 19

3. Problemas de Olimpiadas Nacionales 27

4. Problemas de Olimpiadas Internacionales 45

Índice alfabético 55

1
INTRODUCCIÓN

2
 Desigualdades
1
Bien sabemos que el conjunto R de los números reales tiene la estructura algebraica de cuerpo junto a
las operaciones se suma y producto. Recordamos que podemos establecer unos axiomas de orden en
R. La relación ≤ de orden en donde a < b significa a ≤ b, a 6= b que establece una ordenación entre
los números reales y que satisface las siguientes propiedades:

Proposición
(a) Se verifica una y sólo una de las relaciones x = y, x < y, x > y.
(b) Si x < y, entonces para cada z, se tiene que x + z < y + z.
(c) Si x > 0 e y > 0, entonces xy > 0.

Si x es un número real, el valor Absoluto de x es:


x si x ≥ 0
|x| =
−x si x < 0.

El valor absoluto verifica las siguientes propiedades:

Proposición
Sean a, b, x son números reales:
(a) |x| ≥ 0 y es cero si y sólo si x = 0.
(b) | − x| = |x|.
(c) |x|2 = |x2 |.
(d) |ab| = |a||b|.
(e) | ba | = |a|
|b| .

A la hora de resolver desigualdades es muy útil utilizar Desigualdad Triangular.

Proposición: Desigualdad triangular

Sean a y b número reales. Se verifica que

|a + b| ≤ |a| + |b|.

La igualdad sólo se da si y sólo si ab ≥ 0.

3
 CAPÍTULO 1. DESIGUALDADES

Demostración. Como |a + b|, |a| y |b| son números positivos, basta probar la desigualdad para sus
cuadrados:

|a + b|2 = (a + b)2
= a2 + b2 + 2ab
= |a|2 + |b|2 + 2ab
≤ |a|2 + |b|2 + 2|ab|
= (|a| + |b|)2 .

Observa que únicamente aparece una desigualdad, la correspondiente a ab < |ab|, y tendremos una
igualdad cuando ab ≥ 0, que ocurre cuando ambos tienen el mismo signo o uno de ellos es nulo.

Proposición: Desigualdad triangular generalizada

Sean x1 , ..., xn números reales. Entonces se verifica
 
n  n
 ∑ xi  ≤ ∑ |xi |.
 
i=1  i=1

La igualdad se da si y sólo si todos los xi tienen el mismo signo.

Una desigualdad muy útil es x2 ≥ 0, válida para todo x ∈ R. Podemos extender esta idea para optimizar
las funciones cuadráticas ax2 + 2bx + c, con a > 0. Utilizando propiedades básicas de la derivada,
obtenemos que, si a > 0, la función ax2 + 2bx + c alcanza un mı́nimo en x = − −b a , y el valor mı́nimo
b2
de la función es c − a .

Ejemplo
Si x, y son números positivos con x + y = 2a, prueba que el producto xy es máximo cuando
x = y = a.

Una forma de hacer este ejercicio es utilizando cálculo diferencial. Busquemos otra resolución basada
en la deducción anterior.

x + y = 2a,
y = 2a − x,
xy = x(2a − x) = −x2 + 2ax = −(x − a)2 + a2

Que es máximo cuando x = a, y en este caso ay = a2 , esto es, y = a.

Para practicar los conceptos de esta sección pueden ser útiles los problemas 2.1, 2.2,
2.6, 3.31 3.13, 4.1 y 4.8

4
CAPÍTULO 1. DESIGUALDADES 1.1. DESIGUALDAD DE LAS MEDIAS.

1.1. Desigualdad de las medias.

Teorema: Desigualdad de la media aritmética-geométrica (MA-MG)

Dados dos números reales no negativos a, b se verifica:
a+b √
≥ ab,
2
y la igualdad sólo ocurre cuando a = b. De forma más general, si tenemos n números reales no
negativos:
a1 + · · · + an √
≥ n a1 · · · an ,
n
y la igualdad ocurre cuando a1 = · · · = an .

Ejemplo
Prueba que la suma de un número y su inverso es mayor o igual que 2.

1
1 x+ r
1
Tomemos en MA-MG, a = x, b = 1/x, tenemos que x + ≥ 2, y por lo tanto, x ≥ 1 = x·
x 2 x
Ejemplo
Sean a, b, c números reales positivos, probar que

(ab + bc + ca)3 ≥ 27a2 b2 c2 .

Reacomodamos el 27(3 · 3 · 3) en el primer miembro:

(ab + bc + ca) (ab + bc + ca) ab + bc + ca (MA−MG) √

3
√
3
√
3
≥ a2 b2 c2 a2 b2 c2 a2 b2 c2 = a2 b2 c2 .
3 3 3

Ejemplo
Sean a, b, c números reales positivos, probar que

a2 b + b2 c + c2 a ≤ a3 + b3 + c3 .

Haciendo uso de MA-MG obtenemos:

√
3 2a3 + b3
2 3 3 3
a b= a a b ≤ ,
3

√
3 2b3 + c3
2 3 3 3
b c= b b c ≤ ,
3
√
3 2c3 + a3
c2 a = c3 c3 a3 ≤ ,
3
y sumando las tres desigualdades tenemos el resultado querido.

5
1.2. TEOREMA DE MUIRHEAD. CAPÍTULO 1. DESIGUALDADES

Teorema: Desigualdad de la media geométrica-armónica

Sean a1 , ..., an números positivos. Entonces,
√ n
n
a1 · · · an ≥ 1
.
a1 + · · · + a1n

Teorema: Desigualdad de la medias ponderada

Dados a1 , ..., an ≥ 0 y w1 , ..., wn tales que ∑ni=1 wi = 1, se tiene que

w1 a1 + · · · + wn an ≥ aw wn
1 · · · an .
1

Para practicar los conceptos de esta sección pueden ser útiles los problemas 2.3, 2.4,
2.7, 2.8, 2.9, 3.18, 3.26, 3.29 4.10, 4.5, 3.16, 3.3 3.4 y 3.5.

1.2. Teorema de Muirhead.

Consideremos, en primer lugar, expresiones del tipo

F(α1 , . . . , αn )(a1 , a2 , ..., an ) = Fα (a) = aα1 1 aα2 2 ...aαn n ,

donde a1 , ..., an > 0 y α1 , ...αn ≥ 0. Denotaremos por ∑sim Fα (a) a la suma de los n! términos obteni-
dos de Fα (a) calculando las posibles permutaciones de {a1 , ..., an }, es decir:

∑ Fα (a) = ∑ F(α1 , . . . , αn )(σ (a1 ), . . . , σ (an )).

sim σ ∈Sn

Por ejemplo, en tres variables x, y, z:

∑ x2y = x2y + x2z + y2x + y2z + z2x + z2y.

sim

Finalmente definimos la media simétrica como:

1
[α] = [α1 , ..., αn ] = ∑ Fα (a).
n! sim

Es claro que [α] es invariante bajo cualquier permutación de (α1 , . . . , αn ), luego dos conjuntos (α1 , . . . , αn )
y (α10 , . . . , αn0 )son del mismo tipo si difieren por reacomodo. Veamos algunos casos particulares:

(n − 1)! 1 n
[1, 0, ..., 0] = (a1 + ... + an ) = ∑ ai = MA.
n! n i=1
 
1 1 1 n! 1/n 1/n √
, , ..., = (a1 ...an ) = n a1 ...an = MG.
n n n n!

6
CAPÍTULO 1. DESIGUALDADES 1.2. TEOREMA DE MUIRHEAD.

Definición
Diremos que (α1 . . . , αn ) ≺ (β1 . . . , βn ) cuando se pueden reordenar de tal manera que:
n n
(a) ∑ αi = ∑ βi.
i=1 i=1
k k
(b) Para cada 1 ≤ k ≤ n se tiene ∑ αi ≤ ∑ βi.
i=1 i=1

Teorema: (De Muirhead)

[β ] ≤ [α] para cualesquiera valores no negativos de las variables (a1 , ..., an ) si y sólo si (β ) ≺
(α). La igualdad sólo se tiene cuando (α) y (β ) son idénticos o cuando todos los ai son iguales.

Veamos algunos ejemplos:

[2, 0, 0] ≥ [1, 1, 0] ⇔ x2 + y2 + z2 ≥ xy + xz + yz.
[2, 0] ≥ [1, 1] ⇔ x2 + y2 ≥ 2xy.
[3, 0, 0] ≥ [1, 1, 1] ⇔ x3 + y3 + z3 ≥ 3xyz.
[5, 0] ≥ [3, 2] ⇔ x5 + y5 ≥ x3 y2 + x2 y3 .
[2, 2, 0] ≥ [2, 1, 1] ⇔ x2 y2 + x2 + z2 y2 ≥ x2 yz + y2 zx + z2 xy.
Ejemplo
Sean a, b números reales positivos. Prueba que
s
a2 b2 √ √
+ ≥ a + b.
b a

√ √
Sea x = a, y = b. Simplificando, tenemos que probar que
x3 + y3 ≥ xy(x + y).
Por el teorema de Muirhead, [3, 0] = 12 (x3 + y3 ) ≥ 12 xy(x + y) = [2, 1].

Ejemplo
Si a, b, c son números reales no negativos, probar que:
1
a3 + b3 + c3 + abc ≥ (a + b + c)3 .
7

No es difı́cil ver que:

(a + b + c)3 = 3[3, 0, 0] + 18[2, 1, 0] + 6[1, 1, 1].
Luego, se tiene que demostrar que
1
3[3, 0, 0] + [1, 1, 1] ≥ (3[3, 0, 0] + 18[2, 1, 0] + 6[1, 1, 1]),
7
esto es,  
18 6 18
[3, 0, 0] + 1 − [1, 1, 1] ≥ [2, 1, 0].
7 7 7

7
1.3. DESIGUALDAD DE REORDENACIÓN CAPÍTULO 1. DESIGUALDADES

Equivalentemente  
18 6
([3, 0, 0] − [2, 1, 0]) + 1 − [1, 1, 1] ≥ 0.
7 7
Esto se sigue usando las desigualdades [3, 0, 0] ≥ [2, 1, 0] y [1, 1, 1] ≥ 0.
Ejemplo
Si a, b, c son números reales no negativos, prueba que:

a2 + b2 b2 + c2 c2 + a2 a3 b3 c3
a+b+c ≤ + +c ≤ + + .
2c 2a 2b bc ca ab

Las desigualdades son equivalentes a lo siguiente

2(a2 bc + ab2 c + abc2 ) ≤ ab(a2 + b2 ) + bc(b2 c + c2 ) + ca(c2 + a2 ) ≤ 2(a4 + b4 + c4 ).

que a su vez es equivalente a [2, 1, 1] ≤ [3, 1, 0] ≤ [4, 0, 0]. Usando el teorema de Muirhead, obtene-
mos el resultado querido.

Para practicar los conceptos de esta sección pueden ser útiles los problemas 4.2, 4.13 y
4.12.

1.3. Desigualdades de reordenación.

Consideremos dos colecciones de números reales ordenados de forma creciente:

a1 ≤ a2 ≤ · · · ≤ an b1 ≤ b2 ≤ · ≤ bn .

Para cualquier permutación (a01 , a02 , ..., a0n ) se tiene:

(1) (2)
a1 b1 + a2 b2 + · · · + an bn ≥ a01 b1 + a02 b2 + · · · + a0n bn ≥ an b1 + an−1 b2 + · · · + a1 bn .

Que son las llamadas desigualdades de reordenación. Además:

(1) es una igualdad si y sólo si (a01 , ..., a0n ) = (a1 , ..., an ).
(2) es una igualdad si y sólo si (a01 , ..., a0n ) = (an , ..., a1 ).

Corolario
Para cualquier permutación (a01 , . . . , a0n ) de (a1 , ..., an ) se tiene:

a21 + · · · + a2n ≥ a1 a01 + ... + an a0n .

Corolario
Para cualquier permutación (a01 , .., a0n ) de (a1 , ..., an ), se tiene:

a01 a02 a0
+ + · · · + n ≥ n.
a1 a2 an

8
CAPÍTULO 1. DESIGUALDADES 1.3. DESIGUALDAD DE REORDENACIÓN

Ejemplo: IMO, 1975.

Consideramos dos colecciones de números x1 ≤ · · · ≤ xn e y1 ≤ · · · ≤ yn y una permutación
(z1 , ..., zn ) de (y1 , ..., yn ). Demostrar que:

(x1 − y1 )2 + ... + (xn − yn )2 ≤ (x1 − z1 )2 + · · · + (xn − zn )2 .

Desarrollando:
n n n n n n
∑ xi2 − 2 ∑ xiyi + ∑ y2i ≤ ∑ xi2 − 2 ∑ xizi + ∑ z2n.
i=1 i=1 i=1 i=1 i=1 i=1

Usando que ∑ni=1 y2i = ∑ni=1 z2i , obtenemos:

n n
∑ xizi ≤ ∑ xiyi,
i=1 i=1

que es la aplicación del teorema.

Ejemplo: IMO, 1978.
Sean x1 , ..., xn enteros positivos distintos. Prueba que:
x1 x2 xn 1 1 1
+ +···+ ≥ + +···+ .
1! 2! n! 1 2 n
 
Sea (a1 , ..., an ) una permutación (x1 , ..., xn ) tal que a1 ≤ ... ≤ an y sea (b1 , b2 ..., bn ) = n12 , (n−1)
1
2 , ..., 1
12
,
1
esto es bi = 2
, ∀i = 1, ..., n. Consideremos la permutación (a01 , a02 , ..., a0n ) de (a1 , a2 , ..., an )
(n + 1 − i)
definida por a0i = xn+1−i , ∀i = 1, ..., n. Aplicamos el teorema:
x1 x2 xn
+ + · · · + = a01 b1 + · · · + a0n bn
1! 2! n!
≥ an b1 + · · · + a1 bn
= a1 bn + a2 bn−1 + · · · + an b1
a1 a2 an
= 2 + 2 +···+ 2.
1 2 n
Como 1 ≤ a1 , 2 ≤ a2 , . . . , n ≤ an , se tiene que
x1 xn a1 an 1 2 n 1 1
2
+···+ 2 ≥ 2 +···+ 2 ≥ 2 + 2 +···+ 2 = +···+ .
1 n 1 n 1 2 n 1 n

Teorema: Desigualdad de Chebyshev

Sea {ai }ni=1 y {bi }ni=1 dos sucesiones de números positivos. Entonces:
Si las sucesiones están ordenadas de la misma manera (ambas crecientes o ambas decre-
cientes):
a1 b1 + · · · + an bn a1 + · · · + an b1 + · · · + bn
≥ × .
n n n
Si las sucesiones están en orden inverso (una creciente y otra decreciente):
a1 b1 + · · · + an bn a1 + · · · + an b1 + . . . bn
≤ × .
n n n

9
1.4. DESIGUALDAD DE JENSEN CAPÍTULO 1. DESIGUALDADES

Ejemplo
Si a, b, c ≥ 0, probar que:

3(a3 + b3 + c3 ) ≥ (a + b + c)(a2 + b2 + c2 ).

Aplicamos la desigualdad de Chebyshev a (a, b, c) y a (a2 , b2 , c2 ), que tienen el mismo orden:

a3 + b3 + c3 a + b + c a2 + b2 + c2
≥ × .
3 3 3
Multiplicamos por 9 y tenemos el resultado querido.
Ejemplo
Si a ≥ b ≥ c > 0 y 0 < x ≤ y ≤ z, probar que:
 
a b c a+b+c
+ + ≥3 .
x y z x+y+z

Aplicamos la desigualdad de Chebyshev a (a, b, c) y ( 1x , 1y , 1z ):

  s
a b c a+b+c 1 1 1 MA−MG 1 MA−MG 3(a + b + c)
+ + ≥ + + ≥ (a + b + c) 3 ≥ .
x y z 3 x y z xyz x+y+z

Ejemplo

Sean a, b, c, d números reales positivos con a2 + b2 + c2 + d 2 = 4. Prueba que:

a5 + b5 + c5 + d 5 ≥ a + b + c + d.

Aplicamos la desigualdad de Chebyshev a (a, b, c, d) y (a4 , b4 , c4 , d 4 ):

a5 + b5 + c5 + d 5 a + b + c + d a4 + b4 + c4 + d 4
≥ · .
4 4 4
Ahora, aplicamos la Desigualdad de Chebyshev a (a2 , b2 , c2 , d 2 ) y (a2 , b2 , c2 , d 2 ):
a4 + b4 + c4 + d 4 a2 + b2 + c2 + d 2 a2 + b2 + c2 + d 2
≥ · = 1.
4 4 4
Sustituyendo en la primera ecuación, obtenemos el resultado querido.

Para practicar los conceptos de esta sección pueden ser útiles los problemas 4.3, 4.4,
4.6, 4.7 y 3.2

1.4. Funciones convexas. Desigualdad de Jensen.

Sea f : [a, b] → R. Diremos que f es convexa en el intervalo I = [a, b] si para cada t ∈ [0, 1] se tiene
la desigualdad
f (ty + (1 − t)y) ≤ t f (y) + (1 − t) f (x).

10
CAPÍTULO 1. DESIGUALDADES 1.4. DESIGUALDAD DE JENSEN

Geométricamente, la desigualdad indica que el grafo de f se encuentra por debajo del segmento que
une los puntos (x, f (x)) y (y, f (y)), como se puede ver en la figura 1.1. Diremos que una función
f : [a, b] → R es función cóncava si − f es convexa.
Un subconjunto C del plano es convexo si para cualquier par de puntos A, B ∈ C , el segmento deter-
minado por esos puntos está contenido por completo en C .

f (x)

(y, f (y))

(x, f (x))

Figura 1.1: Interpretación geométrica de la convexidad

Proposición

1. Si f es convexa en un intervalo [a, b], entonces es convexa en cualquier subintervalo

[x, y] ∈ [a, b].
2. Si f es convexa en [a, b] para cualesquiera x, y ∈ [a, b], se tiene que
 
x+y 1
f ≤ ( f (x) + f (y)).
2 2

3. Desigualdad de Jensen Si f es convexa en [a, b], entonces para cualesquiera t1 , ...,tn ∈

[0, 1] tales que ∑ni=1 ti = 1, y para x1 , ..., xn ∈ [a, b], se tiene que

f (t1 x1 + · · · + tn xn ) ≤ t1 f (x1 ) + · · · + tn f (xn ).

4. En particular, para x1 , ...xn ∈ [a, b], podemos afirmar que

 
x1 + · · · + xn 1
f ≤ ( f (x1 ) + · · · + f (xn )).
n n

Veamos ahora algunos criteros para decidir si una función es convexa o no:

Proposición: Criterios de convexidad

1. Una función f : [a, b] → R es convexa si y sólo si el conjunto {(x, y) : x ∈ [a, b], f (x) ≤ y}
es convexo.
2. Una función f : [a, b] → R es convexa si y sólo si, para cada x0 ∈ [a, b] la función P(x) =
f (x) − f (x0 )
es no decreciente para x 6= x0 .
x − x0
3. Si una función f : [a, b] → R es derivable con derivada no decreciente, entonces f es
convexa. En particular, si f es dos veces derivable y f 00 (x) ≥ 0, la función es convexa.

11
1.4. DESIGUALDAD DE JENSEN CAPÍTULO 1. DESIGUALDADES

Ejemplo

La función f (x) = xn , n ≥ 1 es convexa en R+ y la función f (x) = xn , con n par es convexa en

R.

Esto se sigue del hecho de que f 00 (x) = n(n − 1)xn−2 ≥ 0 en cada caso. Basándonos en este hecho,
podemos sacar las siguientes conclusiones:
q
a+b 2 a2 +b2 a+b a2 +b2
I ) Como ( 2 ) ≤ 2 , podemos deducir que 2 ≤ 2 , que es la desigualdad entre las
medias aritmética y cuadrática.
an +bn 1
II ) Como ( a+b n
2 ) ≤ 2 , podemos deducir que an + bn ≥ 2n−1
para a y b números positivos tales
que a + b = 1.
Ejemplo

La función exponencial f (x) = ex es convexa en R.

Esto se prueba fácilmente ya que f 00 (x) = ex > 0 para todo x ∈ R. Utilizando esta función podemos
probar algunas desigualdades:
I) (Desigualdad aritmético-geométrica ponderada) Sean x1 , . . . , xn ,t1 , . . . ,tn positivos tales que
∑ni=1 ti = 1. Entonces
xt11 . . . xtnn ≤ t1 x1 + . . .tn xn .
Ası́ es, como xtii = eti log xi y ex es convexa, se tiene que:

xt11 . . . xtnn = et1 log x1 . . . etn log xn = et1 log x+···+tn log xn
≤ t1 elog x1 + · · · + tn elog xn = t1 x1 + · · · + tn xn .

En particular, si tomamos ti = 1n para 1 ≤ i ≤ n, podemos obtener otra demostración de la

desigualdad aritmetico-geométrica.
II ) (desigualdad de Young) Sean x e y números reales positivos. Si a, b > 0 satisfacen que a1 + 1b =
1, entonces xy ≤ a1 xa + 1b yb . Sólo tenemos que aplicar (I) como sigue:

1 1
xy = (xa )1/a (yb )1/b ≤ xa + yb .
a b

III ) (desigualdad de Hölder) Sean x1 , . . . , xn , y1 , . . . , yn números positivos y a, b > 0 tales que 1a + 1b ,

entonces ! !1/a 1/b
n n n
∑ xiyi ≤ ∑ xia ∑ ybi .
i=1 i=1 i=1

En primer lugar, asumamos que ∑ni=1 xia = ∑ni=1 ybi = 1. Usando (II), xi yi ≤ 1a xia + 1b ybi , entonces
n n n
1 1 1 1
∑ xiyi ≤ a ∑ xia + b ∑ ybi = a + b = 1.
i=1 i=1 i=1

xi yi
Ahora, supongamos que ∑ni=1 ai = A y ∑ni=1 bi = B. Definimos xi0 = A1/a
e y0i = B1/b
. Como

n
∑ni=1 xia n
∑ni=1 ybi
∑ (xi0)a = A
=1 y ∑ (y0i)b = B
= 1,
i=1 i=1

12
CAPÍTULO 1. DESIGUALDADES 1.5. DESIGUALDADES DE C-S Y NESBITT.

podemos deducir que

n n n
xi yi
1 ≥ ∑ xi0 y0i = ∑ xy.
1/a B1/b ∑ i i
i=1 i=1 A i=1

Ası́, ∑ni=1 xi yi ≤ A1/a B1/b .

IV ) (desigualdad de Minkowski) Sean a1 , . . . , an , b1 , . . . , bn números positivos y p > 1, entonces
!1/p !1/p !1/p
n n n
p p p
∑ (ak + bk ) ≤ ∑ (ak ) + ∑ (bk ) .
k=1 k=1 k=1

Notemos que
(ak + bk ) p = ak (ak + bk ) p−1 + bk (ak + bk ) p−1 .
Por lo tanto,
n n n
∑ (ak + bk ) p = ∑ ak (ak + bk ) p−1 + ∑ bk (ak + bk ) p−1.
k=1 k=1 k=1
Aplicamos la desigualdad de Hölder en cada término de la suma de la derecha con q tal que
1 1
p + q = 1 para obtener:

!1/p !1/q
n n n
∑ ak (ak + bk ) p−1 ≤ ∑ (ak ) p ∑ (ak + bk )q(p−1)
k=1 k=1 k=1
!1/p !1/q
n n n
p−1 p q(p−1)
∑ ak (ak + bk ) ≤ ∑ (bk ) ∑ (ak + bk ) .
k=1 k=1 k=1

Sustituyendo estas desigualdades en la última igualdad, y utilizando que q(p − 1) = p, se tiene

la desigualdad pedida. Nótese que la desigualdad de Minkowski es una igualdad si permitimos
p = 1. Para 0 < p < 1, la desigualdad cambia de sentido.

Para practicar los conceptos de esta sección pueden ser útiles los problemas 2.3, 2.9,
2.10, 3.1, 3.19, 3.32 4.11, 3.2, 3.8

1.5. Desigualdades de Cauchy-Schwarz y Nesbitt.

En esta parte del documento, trataremos dos desigualdades que usualmente aparecen al tratar con
un problema de competición. Para probar ambas, usaremos la desigualdad de reordenación, aunque
existen otros métodos.
Teorema: (Desigualdad de Cauchy-Schwarz)
Para números reales x1 , . . . , xn , y1 , . . . , yn se tiene la desigualdad
!2 ! !
n n n
∑ xiyi ≤ ∑ xi2 ∑ y2i .
i=1 i=1 i=1

La igualdad se da cuando existe λ ∈ R tal que xi = λ yi para todo i = 1, 2, ..., n

13
1.6. DESIGUALDAD C-S EN FORMA DE ENGEL CAPÍTULO 1. DESIGUALDADES

Si x1 = x2 = · · · =qxn = 0 e y1 = y2 = · · · = yn = 0, el resultado es evidente. En otro caso, sea S =

q
x y
∑ni=1 xi2 y T = ∑ni=1 y2i , donde está claro que S, T 6= 0. Tomemos ai = Si y an+i = Ti para i =
1, 2, . . . , n. Aplicando el primer corolario de la desigualdad de reordenación,
n n 2n
xi2 y2i
2= ∑
S 2
+ ∑ T 2 ∑ a2i
=
i=1 i=1 i=1
≥ a1 an+1 + a2 an+2 + · · · + an a2nan+1 a1 + · · · + a2n an
x1 y1 + x2 y2 + · · · + xn yn
=2
ST
La igualdad se da si y sólo si ai = an+i para i = 1, ..., n, o equivalentemente, si y sólo si xi = TS yi para
i = 1, ..., n.
Ejemplo: Desigualdad de Nesbitt

Par a, b, c ∈ R+ , se tiene que:

a b c 3
+ + ≥ .
a+b b+c a+b 2

Sin pérdida de generalidad, podemos asumir que a ≤ b ≤ c, de donde se sigue que a+b ≤ c+a ≤ b+c
1 1 1
y b+c ≤ c+a ≤ a+b . Usando la desigualdad de reordenación:

a b c b c a
+ + ≥ + +
b+c c+a a+b b+c c+a a+b
a b c c a b
+ + ≥ + + .
b+c c+a a+b b+c c+a a+b
De donde    
a b c b+c c+a a+b
2 + + ≥ + + = 3.
b+c c+a a+b b+c c+a a+b

1.6. Desigualdad de Cauchy-Schwarz en forma de Engel

Sea P el polinomio cúbico

P(x) = x3 − (a + b + c)x2 + (ab + bc + ca)x − abc,

donde a, b y c son las raı́ces del polinomio. Sustituyendo a, b y c en el polinomio, obtenemos

a3 − (a + b + c)a2 + (ab + bc + ca)a − abc = 0,

b3 − (a + b + c)b2 + (ab + bc + ca)b − abc = 0,

c3 − (a + b + c)c2 + (ab + bc + ca)c − abc = 0.
Sumando las tres ecuaciones, se tiene

a3 + b3 + c3 − 3abc = (a + b + c)(a2 + b2 + c2 − ab − bc − ca). (F)

De donde se tiene que si a + b + c = 0, entonces a3 + b3 + c3 = 3abc. Nótese también que la expresión

a2 + b2 + c2 − ab − bc − ca

14
CAPÍTULO 1. DESIGUALDADES 1.6. DESIGUALDAD C-S EN FORMA DE ENGEL

puede ser escrita como

1
a2 + b2 + c2 − ab − bc − ca = [(a − b)2 + (b − c)2 + (c − a)2 ]. (FF)
2
Ası́, otra manera de escribir (F) es
1
a3 + b3 + c3 − abc = (a + b + c)[(a − b)2 + (b − c)2 + (c − a)2 ].
2

Para practicar los conceptos de esta sección pueden ser útiles los problemas 3.20, 3.25

Ejemplo
Sean a, b, x, y números reales con x, y > 0. Entonces

a2 b2 (a + b)2
+ ≥ .
x y x+y

Demostración. Usando la desigualdad de Cauchy-Schwarz, se tiene:

b √ 2
 2
a √ b2
  
2 a
(a + b) = √ x+ √ y ≤ + (x + y),
x y x y
a b
que es una igualdad so y sólo si x = y

Usando la desigualdad anterior dos veces, podemos extender la desigualdad a tres pares de números:

a2 b2 c2 (a + b)2 c2 (a + b + c)2
+ + ≥ + ≥ .
x y z x+y z x+y+z
Mediante un sencillo argumento inductivo podemos obtener el siguiente resultado:
Teorema: desigualdad de Cauchy-Schwarz en la forma de Engel
Para números reales a, ..., an y x, ..., xn > 0, se tiene que

a21 a22 a2 (a1 + a2 + · · · + an )2

+ +···+ n ≥ ,
x1 x2 xn x1 + x2 + · · · + xn
con igualdad si y sólo si
a1 a2 an
= = ··· = .
x1 x2 xn

Proposición: Formulaciones alternativas de CS-Engel

Sean a1 , . . . , an , b1 , . . . , bn números reales positivos. Entonces:
a1 an (a1 + · · · + an )2
(a) +···+ ≥ .
b1 bn a1 b1 + · · · + an bn
an 2

a1 an 1 a1
(b) 2 + · · · + 2 ≥ +···+ .
b1 bn a1 + · · · + an b1 bn

15
1.7. EXTENSIONES DE LA DESIGUALDAD DE HÖLDER. CAPÍTULO 1. DESIGUALDADES

Para practicar los conceptos de esta sección pueden ser útiles los problemas 3.9, 3.6,
3.21, 3.14, 3.10 y 3.24

1.7. Extensiones de la desigualdad de Hölder.

Teorema
Sean x1 , x2 , . . . , xn , y1 , y2 , . . . , yn , z1 , z2 , . . . , zn números reales positivos.
1. Si a, b, c son reales positivos tales que a1 + 1b = 1c , entonces
( )1/c ( )1/a ( )1/b
n n n
∑ (xiyi)c ≤ ∑ xia ∑ ybi .
i=1 i=1 i=1

2. Si a, b, c son reales positivos tales que a1 + 1b + 1c = 1, entonces

( )1/a ( )1/b ( )1/c
n n n n
∑ xiyizi ≤ ∑ xia ∑ ybi ∑ zci .
i=1 i=1 i=1 i=1

Demostración. 1. Aplicamos la desigualdad de Hölder a los números x1c , . . . , xnc , yc1 , . . . , ycn Con
a0 = ac y b0 = bc .
2. Procedemos como en la demostración de la desigualdad de Hölder. Lo único nuevo que tene-
mos que probar es que xi yi zi ≤ a1 xia + 1b ybi + 1c zci , pero esto es claro a partir de la desigualdad
ponderada de las medias aritmética y geométrica.

1.8. Cambio de variable.

La sustitución es una estrategia útil para resolver problemas que involucren desigualdades. Reali-
zar un cambio de variable adecuado puede, por ejemplo, cambiar los términos complicados de una
inecuación, simplificar expresiones o reducir términos. En esta parte veremos algunos ejemplos de la
numerosa casuı́stica de ejemplos para aplicar cambios de variable. Como se ha venido haciendo, la
mejor forma es a través de ejemplos.
Una sugerencia útil para problemas que contienen en la hipótesis una condición extra, es usar esa
condición para simplificar el problema. En el siguiente ejemplo aplicaremos esta técnica para eliminar
denominadores y hacer el problema más fácil.
Ejemplo
Si a, b, c son reales positivos menores que 1, con a + b + c = 2, entonces
   
a b c
≥ 8.
1−a 1−b 1−c

16
CAPÍTULO 1. DESIGUALDADES 1.8. CAMBIO DE VARIABLE.

Después de realizar la sustitución x = 1 − a, y = 1 − b, z = 1 − c, obtenemos que x + y + z = 3 − (a +

b + c) = 1, a = 1 − x = y + z, b = z + x, c = x + y. Ası́, la desigualdad es equivalente a
   
y+z z+x x+y
≥ 8.
x y z
√
Esta última desigualdad puede probarse aplicando tres veces MA-MG bajo la forma (x + y) ≥ 2 xy

Ejemplo
Si a, b, c son reales positivos con ab + bc + ca = 1, pruébese que
a b c 3
√ +√ +√ ≤ .
a2 + 1 b2 + 1 c2 + 1 2

En primer lugar, notemos que a2 + 1 = a2 + ab + bc + ca = (a + b)(a + c). De forma similar, b2 + 1 =

(b + c)(b + a) y c2 + 1 = (c + a)(c + b). Ahora, la desigualdad a probar es equivalente a

a b c 3
p +p +p ≤ .
(a + b)(a + c) (b + c)(b + a) (c + a)(c + b) 2

Usando MA-MG aplicada a cada sumando del lado izquierdo, tenemos

a b c
p +p +p
(a + b)(a + c) (b + c)(b + a) (c + a)(c + b)
     
1 a a 1 b b 1 c c 3
≤ + + + + + = .
2 a+b a+c 2 b+c b+a 2 c+a c+b 2

Para hacer un cambio de variable, a veces es necesario trabajar un poco antes, como podemos ver
en el siguiente ejemplo. Este ejemplo también ayuda a ver que podremos necesitar hacer más de una
sustitución.
Ejemplo
Sean a, b, c son reales positivos con , pruébese que
p
(a + b)(a + c) ≥ 2 abc(a + b + c).

Dividiendo ambos miembros por a2 y haciendo x = ab , y = ac , la desigualdad se transforma en

p
(1 + x)(1 + y) ≥ 2 xy(1 + x + y).

Ahora, dividiendo ambos miembros por xy y haciendo la sustitución r = 1 + 1x , s = 1 + 1y , la desigual-

dad a probar viene dada por √
rs ≥ 2 rs − 1.
Esta última desigualdad es equivalente a (rs − 2)2 ≥ 0, que resulta equivalente al elevar ambos miem-
bros al cuadrado y realizar algunas manipulaciones algebraicas.

Para practicar los conceptos de esta sección pueden ser útiles los problemas 3.22, 3.11,
3.7, 3.12, 3.27, 3.15, 3.17, 3.23 y 3.28

17
1.8. CAMBIO DE VARIABLE. CAPÍTULO 1. DESIGUALDADES

18
 Problemas de la Fase Local
2
En este capı́tulo plantearemos el análisis de problemas de la Fase Local de la Olimpiada Matemática
Española, la que corresponde al nivel más elemental. Los problemas de esta sección se basan, en su
mayorı́a, en la desigualdad de las medias, que es utilizada para resolver ecuaciones.
Problema 2.1: Olimpiada Matemática Española (fase local), 2004
Demuestra que si −1 < x < 1, −1 < y < 1, entonces:
 
 x − y  |x| + |y|
 1 − xy  ≤ 1 + |xy| .
 

Si x, y tienen signos opuestos, se tiene |x − y| = |x| + |y|, |1 − xy| = 1 − xy = 1 + |xy|. Ası́ pues, la
desigualdad es, realmente, una igualdad.
Si la desigualdad se cumple para un par de números (x, y), se cumple para el par opuesto (−x, −y).
Por tanto, sin pérdida de generalidad, podemos suponer que x, y ≥ 0.
Si la desigualdad se cumple para un par de números (x, y), se cumple para el par simétrico (y, x). Por
tanto, sin pérdida de generalidad, podemos suponer que 0 ≤ y ≤ x.
En este caso, x − y ≥ 0, 1 − xy > 0,x ≥ 0, y ≥ 0, xy ≥ 0, y la desigualdad que debemos probar queda
(x − y)(1 + xy) ≤ (x + y)(1 − xy).
Si expandimos los términos, esta desigualdad es la misma que
x − y + x2 y − xy2 ≤ x + y − x2 y − xy2 .
Si simplificamos, obtenemos la desigualdad equivalente
2x2 y ≤ 2y
que, puesto que x2 ≤ 1 e y ≥ 0 es cierta.
Problema 2.2: Olimpiada Matemática Española (fase local), 2005
Se considera la inecuación
|x − 1| < ax
donde a es un parámetro real.
a) Discute la inecuación según los valores de a.
b) Caracteriza los valores de a para los cuales la inecuación tiene exactamente dos solucio-
nes enteras.

19
 CAPÍTULO 2. PROBLEMAS DE LA FASE LOCAL

a) En principio distinguiremos dos casos, según que x ≥ 1 o x < 1.

Caso I: x ≥ 1. La desigualdad es equivalente a la siguiente:

x − 1 < ax ⇔ (1 − a)x < 1.

1 1
Caso I.1: Supongamos 1 − a > 0, es decir, a < 1. Entonces x < , > 1 ⇔ a > 0.
1−a 1−a
Por lo tanto,
1
0 < a < 1, 1 ≤ x < .
1−a
Caso I.2: 1 − a = 0 ⇔ a = 1 y la desigualdad se escribe como 0 · x < 1. Por lo tanto a = 1,
x ≥ 1.
Caso I.3: 1 − a < 0 ⇔ 1 < a ⇒ x ≥ 1. La desigualdad equivalente a 1 − x < ax ⇔ 1 <
(a + 1)x
Caso II: x < 1. La desigualdad es equivalente a la siguiente:

1 − x < ax ⇔ 1 < (a + 1)x.

1 1
Caso II.1: a + 1 > 0 ⇔ a > −1, < 1 ⇔ a > 0. Por lo tanto, a > 0, <x<1
a+1 a+1
cuando −1 < a ≤ 0.
Caso II.2: a + 1 = 0 ⇔ a = −1 ⇒ 1 < 0 No hay solución.
1 1
Caso II.3: a + 1 < 0 ⇔ a < −1 ⇒ x < < 0. Por lo tanto, a < −1, x < .
a+1 a+1
Resumiendo:
1
X Si a < −1, entonces x < .
a+1
X Si −1 ≤ a ≤ 0, no hay solución.
1 1
X Si 0 < a < 1, entonces <x< .
a+1 a−1
X Si 1 ≤ a, entonces 1 ≤ x.
b) Por el análisis efectuado en a), la desigualdad puede tener dos soluciones enteras sólo si 0 <
a < 1. Ya que en estos casos se tiene

1 1
0< <1< ,
1+a 1−a
habrá dos soluciones enteras si y sólamente si

1
2< ≤ 3.
1−a
Por lo tanto la respuesta es
1 2
<a≤ .
2 3

Problema 2.3: Olimpiada Matemática Española (fase local), 2008

Sean a, b, c tres números positivos de suma uno. Demuestra que
2 +2ca 2 +2ab 2 +2ab 1
aa bb cc ≥ .
3

20
CAPÍTULO 2. PROBLEMAS DE LA FASE LOCAL

2 2 2 2
 que a + b + c = 1, entonces (a + b +c) = a + b + c + 2(ab + ac + bc) = 1. Además,
Dado
1 1 1 1 1 1
ln a2 + b2 + c2 + 2ab + 2bc + 2ca = ln 3. Aplicando la desigualdad de Jensen a la fun-
a b c b c a
ción f (x) = ln x que es cóncava en su dominio (x > 0), se tiene que:
 
21 21 21 1 1 1
ln 3 = ln a + b + c + 2ab + 2bc + 2ca ≥
a b c b c a
           
2 1 2 1 2 1 1 1 1
≥ a ln + b ln + c ln + 2ca ln + 2ab ln + 2bc ln
a b c a b c
"  2   2  2 #
1 a +ca 1 b +2ab 1 c +bc
= ln
a b c

Teniendo en cuenta que la función f (x) = ln x es inyectiva, resulta que

 a2 +ca  b2 +2ab  c2 +bc
1 1 1
≥ 3,
a b c

o equivalentemente,
2 +2ca 2 +2ab 2 +2bc 1
aa bb cc ≥ .
3
1
La igualdad se alcanza cuando a = b = c = .
3
Problema 2.4: Olimpiada Matemática Española (fase local), 2008

Halla todas las ternas (x, y, z) de números reales que son solución de la ecuación
p p p √
3x (5y + 7z ) + 5y (7z + 3x ) + 7z (3x + 5y ) = 2(3x + 5y + 7z ).

Hay veces que para resolver una ecuación puede ser útil resolver una desigualdad no estricta, ya que
sabemos en qué ocasiones se dan las igualdades, como es en el caso de la desigualdad de las medias
aritmética y geométrica, como veremos en este problema.
Poniendo a = 3x , b = 5y y c = 7x , la ecuación se convierte en:
p p p √
a(b + c) + b(c + a) + c(a + b) = 2(a + b + c)

Aplicando la desigualdad entre las medias aritmética y geométrica resulta:

√ a b+c
 
p
a(b + c) ≤ 2 + ,
2 4

√ b c+a
 
p
b(c + a) ≤ 2 + ,
2 4
√ c a+b
 
p
c(a + b) ≤ 2 + .
2 4
Sumando las desigualdades anteriores se obtiene
p p p √
a(b + c) + b(c + a) + c(a + b) ≤ 2(a + b + c).

21
 CAPÍTULO 2. PROBLEMAS DE LA FASE LOCAL

La igualdad tiene lugar cuando a = b = c. Por tanto, las soluciones buscadas son aquellas para las que
3x = 5y = 7z , lo que equivale a que x ln 3 = y ln 5 = z ln 7. Es decir, las soluciones de la ecuación dada
son:
1 1 1
x= t, y = t, z = t, t ∈ R.
ln 3 ln 5 ln 7

Problema 2.5: Olimpiada Matemática Española (fase local), 2011

Halla todas las ternas (x, y, z) de números reales que son soluciones del sistema de ecuaciones:

y x −x
3 · 2 − 1 = 2 + 2

3 · 2z − 1 = 2y + 2−y
3 · 2x − 1 = 2z + 2−z



Haciendo la sustitución 2x = a, 2y = b, y 2z = c, se observa que a, b, c > 0 y se obtiene:


1 1
b = 3 (a + 1 + a )

c = 13 (b + 1 + 1b )
a = 13 (c + 1 + 1c )



Aplicando la desigualdad entre las medias aritmética y geométrica, resulta

r
1 1 3 1
b = (a + 1 + ) ≥ a · 1 · = 1,
3 a a
y por tanto, b ≥ 1/b. Análogamente, a ≥ 1, a ≥ 1/a, y c ≥ 1 y c ≥ 1/c. Teniendo en cuenta lo anterior,
de la primera ecuación resulta que:
1 1 1
b = (a + 1 + ) ≤ (a + a + a) = a,
3 a 3
y de las otras dos que c ≤ b y a ≤ c. Combinando las desigualdades anteriores, se obtiene a ≤ c ≤
b ≤ a. Es decir a = b = c.
Ahora tenemos
1 1
a = (a + 1 + ) ⇔ 2a2 − a − 1 = (a − 1)(2a + 1) = 0,
3 a
que tiene por solución a = 1 y a = −1/2. Como sólo nos vale la solución positiva, tenemos que
a = b = c = 1 y por tanto, (x, y, z) = (0, 0, 0) es la única terna solución del sistema.

Problema 2.6: Olimpiada Matemática Española (fase local), 2012

Sean a, b y c tres números reales positivos cuyo producto es 1. Demuestra que, si la suma de
estos números es mayor que la suma de su inversos, entonces exactamente uno de ellos es
mayor que 1.

1 1 1
Puesto que abc = 1 y a + b + c > + + , tenemos que
a b c
(a − 1)(b − 1)(c − 1) = abc − ab − bc − ca + a + b + c − 1 =
 
1 1 1
= a+b+c− + + > 0.
a b c

22
CAPÍTULO 2. PROBLEMAS DE LA FASE LOCAL

La desigualdad se cumple cuando uno de los factores del número (a − 1)(b − 1)(c − 1) es positivo o
los tres factores son positivos. Si fuesen positivos los tres, tendrı́amos que a > 1, b > 1 y c > 1, cosa
que no es posible, ya que abc = 1. Por tanto, sólo uno de ellos es mayor que cero y esto acaba la
demostración.
Problema 2.7: Olimpiada Matemática Española (fase local), 2013
Obtén los dos valores enteros de x más próximos a 2013o , tanto por defecto como por exceso,
que cumplen esta ecuación trigonométrica:
2 2 √
2sen x + 2cos x = 2 2.

Aplicando la desigualdad entre las medias aritmética y geométrica resulta

2 2
p p √
2sen x + 2cos x ≥ 2 2sen x · 2cos x = 2 2sen x+cos x = 2 2.
2 2 2 2

2 2
La igualdad se alcanza cuando 2sen x = 2cos x . Es decir, cuando sen2 x = cos2 x o sen x = ± cos x. Los
valores de x que satisfacen la igualdad anterior son x = 45 + 90o k con k ∈ Z. Denotando [x] la parte
entera de x, los valores pedidos se obtienen para
2013o − 45o 2013o + 45o
   
k1 = = 21 k2 = = 22,
90o 90o
y son x1 = 1935o y x2 = 2025o .
Problema 2.8: Olimpiada Matemática Española (fase local), 2013
Resuelve la ecuación exponencial
x
x 5−x 35
2 ·3 + x = 6.
2

Aplicando la desigualdad entre las medias aritmética y geométrica y, después, una de de sus más
conocidas consecuencias ( la suma de un número real positivo y su inverso es siempre mayor o igual
que 2, y la igualdad sólo se da para el número 1) tenemos,
5−x
p
x −x 5x −x x
6 = 2 + 3 + 2 3 ≥ 2 2x 35 2−x 35 = 6.
Y la igualdad se dará cuando los números mediados sean iguales:
−x x x −5−x
2x 35 = 2−x 35 ⇔ 22x = 35 ⇔ 5x = 5−x ,
esto es, cuando x = 0 que será, pues, la única solución de la ecuación.
Problema 2.9: Olimpiada Matemática Española (fase local), 2014
Sean a, b números positivos. Probar que:
s
√ a2 + b2
a + b ≥ ab + .
2

Solución 1: La desigualdad equivale a

√ q
2 2
ab + a +b
2 a+b
≤ .
2 2
23
 CAPÍTULO 2. PROBLEMAS DE LA FASE LOCAL

Si aplicamos la desigualdad entre las medias aritmética y cuadrática al miembro de la izquierda,

obtenemos:
√ q
a2 +b2
s
2 +b2
s s
ab + a 2 2
2 ab + 2 2ab + a + b (a + b)2 a + b
≤ = = = .
2 2 2·2 22 2

Solución 2: Con el cambio de variable a = s2 , b = t 2 (s,t ≥ 0) obtenemos la desigualdad equivalente

s
s4 + t 4
st + ≤ s2 + t 2 .
2

Aislando la raı́z cuadrada ye levando al cuadrado, también es equivalente

s4 + t 4
≤ s4 + t 4 + s2t 2 − 2s3t − 2t 3 s.
2
Multiplicando por 2 e igualando a 0 el miembro de la izquierda, es equivalente a probar que

0 ≤ s4 + t 4 + 6s2t 2 − 4s3t − 4t 3 s.

Finalmente, gracias al binomio de Newton,

s4 + t 4 + 6s2t 2 − 4t 3 s = (t − s)4 ≥ 0.

Solución 3: Denotamos
s
a+b √ a2 + b2
A= G = ab Q= .
2 2

Con esta notación debemos probar que

G + Q ≤ 2A.
o, equivalentemente
Q − A ≤ A − G.
que expresamos, multiplicando por el conjugado en cada uno de los términos, como

Q2 − A2 A2 − G2
≤ .
Q+A A+G

Puesto que Q ≥ G, se tiene que Q + A ≥ A + G > 0. Como Q > A, tenemos que Q2 − A2 > 0. Puesto
que A ≥ G, tenemos que A2 − G2 ≥ 0. Ası́ pues, basta probar que

Q2 − A2 ≤ A2 − G2 ,

que equivale a
Q2 + G2 ≤ 2A2 .
Es decir, basta probar que
a2 + b2 (a + b)2
+ ab ≤
2 2
Simplificando observamos que esta última expresión es, en realidad, una igualdad.

24
CAPÍTULO 2. PROBLEMAS DE LA FASE LOCAL

Solución 4: La desigualdad equivale a

s
1√ 1 a2 + b2 a + b
ab + ≤ .
2 2 2 2
√
Puesto que la función f (x) =x es cóncava, gracias a la desigualdad de Jensen
s s
1√ 1 a +b2 2 1 1 a2 + b2 a + b
ab + ≤ ab + = .
2 2 2 2 2 2 2

Problema 2.10: Olimpiada Matemática Española (fase local), 2015

Demuestra que
(ax + by)2 ≤ ax2 + by2 ,
para cualesquiera x, y ∈ R y cualesquiera a, b ∈ R con a + b = 1, a, b > 0. ¿En qué casos se da
la igualdad?

Para acotar un cuadrado de una suma, a veces es útil usar la desigualdad de Jensen. La función
f (z) = z2 es claramente convexa, con lo que por la desigualdad de Jensen, para cualesquiera reales
no negativos a y b, y cualesquiera reales x, y se tiene:

a f (x) + b f (y) ax2 + by2

(ax + by)2 = f (ax + by) < = .
a+b a+b
Usando que a + b = 1, se obtiene el resultado pedido, dándose la igualdad bien si uno de los dos
puntos “desaparece” (es decir, a = 0 o b = 0), o en caso contrario si ambos puntos coinciden (es decir,
x = y).
Otras
√ √formas√de resolver
√ el problema es usar la desigualdad de Cauchy-Schwarz con los vectores
( a, b) y ( ax, by) o llevar todo a un miembro y usar la positividad del cuadrado.

25
CAPÍTULO 2. PROBLEMAS DE LA FASE LOCAL

26
 Problemas de Olimpiadas Nacionales
3
En este capı́tulo abordaremos una selección de problemas que corresponden a fases nacionales de
olimpiadas, con un nivel de dificultad superior a la sección anterior.
Problema 3.1: Olimpiada Matemática Española, 1971
Consideremos cuatro números reales x, y, p, q tales que p, q > 0 y p + q < 1. Demostrar que

(px + qy)2 ≥ px2 + qy2 .

√ √
S OLUCI ÓN 1: Aplicamos la desigualdad de Cauchy-Schwarz a los vectores u = ( p, q) y v =
√ √
(x p, y q). Obtenemos que:

(px + qy)2 = (u · v)2 ≤ (u · u)(v · v) = (p + q)(px2 + qy2 ).

Como p + q < 1, deducimos la desigualdad del enunciado.

S OLUCI ÓN 2: Apliquemos la desigualdad de Jensen a la función convexa f (t) = t 2 sobre los valores
p q
x e y sobre los pesos y (que suman 1), respectivamente. Tenemos entonces que
p+q p+q

px + qy 2 px2 + qy2
   
p q p q
=f x+ y ≤ f (x) + f (y) = .
p+q p+q p+q p+q p+q p+q

Multiplicando ambos miembros por (p + q)2 y usando que p + q < 1, obtenemos la desigualdad del
enunciado.
Problema 3.2: China, 1989
Demuestra que para cualesquiera reales positivos x1 , . . . , xn tales que ∑ni=1 xi = 1, se tiene:
√
n
xi ∑ni=1 xi
∑√ ≥ √ .
i=1 1 − xi n−1

En primer lugar, observamos que la función f (x) = √x es convexa en el intervalo (0, 1), ya que
1−x
f 00 (x) > 0. Ası́, por la desigualdad de Jensen:
!
n n n  
1 x 1 1 1 1
∑ √ i = ∑ f (xi ) ≥ f ∑ n xi =f =√ √ ,
n i=1 1 − xi n i=1 i=1 n n n−1

27
 CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

de donde √
n
xi n
∑ √1 − xi ≥ √n − 1 .
i=1
√ √
Falta por probar que ∑ni=1 xi p
≤ n, pero
p nesto se √obtiene fácilmente usando la desigualdad de
n √ n
Cauchy-Schwarz: ∑i=1 xi ≤ ∑i=1 xi ∑i=1 1 = n.

Problema 3.3: Rusia, 1991

Sean x, y, z números reales no negativos. Demostrar que:

(x + y + z)2 √ √ √
≥ x yz + y zx + z xy.
3
√
Usando MA-MG , tenemos xy + yz ≥ 2y xz. Sumando los resultados similares obtenemos
√ √ √
2(xy + yz + zx) ≥ 2(x yz + y zx + z zy).
√
Nuevamente por MA − MG, se tiene que x2 + x2 + y2 + z2 ≥ 4x yz. Sumando los resultados similares
obtenemos √
√ √
x2 + y2 + z2 ≥ x yz + y zx + z xy.
Sumando el primer resultado tenemos
(x + y + z)2 √ √ √
≥ x yz + y zx + z xy.
3

Problema 3.4: Rusia, 1992

Demostrar que para cualesquiera números reales x, y > 1, se tiene que:

x2 y2
+ ≥ 8.
y−1 x−1

Por MA-MG, tenemos que:

x2 y2 xy
+ ≥ 2p ≥ 8.
y−1 x−1 (x − 1)(y − 1)
Ahora, nótese que √x ≥ 2, ya que (x − 2)2 ≥ 0
x−1

S OLUCI ÓN A LTERNATIVA : Sean a = x − 1, b = y − 1, que son positivos y la ecuación que queremos
2 (b+1)2
demostrar es equivalente a (a+1)
b + a ≥ 8. Ahora bien, por MA − MG, tenemos que (a + 1)2 ≥ 4a
2 2
y (b + 1)2 ≥ 4b. Luego, (a+1)b + (b+1)
a ≥ 4( ab + ba ). Lo último que nos falta ver es que ab + ab ≥ 2, pero
esto es bien fácil, usando nuevamente MA − MG:
a b
r
b + a ab
≥ = 1.
2 ba

Problema 3.5: Rusia, 1992

Para números reales positivos x, y, z, demostrar que:
√
x4 + y4 + z2 ≥ 8xyz.

28
CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

Por la√desigualdad MA-MG, se tiene que x4 + y4 ≥ 2x2 y2 . Usando MA − MG nuevamente, 2x2 y2 +

z2 ≥ 8xyz. Sumando las desigualdades:
s
z 2 z2 4 4 4
4 x y z √
x4 + y4 + + ≥ 4 = 8xyz.
2 2 4

Problema 3.6: Sudáfrica, 1995

Para a, b, c, d números reales positivos, demuestra que
1 1 4 16 64
+ + + ≥ .
a b c d a+b+c+d

Utilizamos la desigualdad de Cauchy-Schwarz en la forma de Engel para establecer que

1 1 4 16 (1 + 1 + 2 + 4)2 64
+ + + ≥ = .
a b c d a+b+c+d a+b+c+d
Problema 3.7: Corea, 1998
Si a, b, c, d son números reales positivos tales que a + b + c = abc, demuestra que
1 1 1 3
√ +√ +√ ≤ .
1 + a2 1 + b2 1 + c2 2

Realizando la sustitución x = a1 , y = 1b , z = 1c , la condición a + b + c = abc se convierte en xy + yz +

zx = 1 y la desigualdad se transforma en
x y z 3
√ +p +√ ≤ ,
2
x +1 y2 + 1 z +1 2
2

que es un resultado probado en el segundo ejemplo del apartado “Cambio de variable”. Nótese que la
desigualdad de Jensen no puede ser aplicada porque la función f (x) = √ 1 2 no es cóncava en R+
1+x

Problema 3.8: Hungrı́a-Israel, 1999

Sean k y l dos números enteros positivos dados y sean ai j , 1 ≤ i ≤ k y 1 ≤ j ≤ l, kl números
reales positivos dados. Demuestra que si q ≤ p > 0, entonces
 !q/p 1/q  ! p/q 1/p
l k k l
∑ ∑ a p
ij
 ≤  ∑ ∑ aq ij
 .
j=1 i=1 i=1 j=1

Definimos b j = ∑ki=1 aipj para j = 1, 2, ..., l y denotemos el lado izquierdo de la desigualdad pedida
por L y el derecho por R. Entonces:
l q
Lq = ∑ bkp
j=1
!!
l q−p k
= ∑ bj p
∑ aipj
j=1 i=1
!!
k l q−p
= ∑ ∑ bj p
aipj
i=1 j=1

29
 CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

Usando la desigualdad de Hölder, obtenemos que:

 q−p  q ! q−p !p


k lq l q
q−p
p qp
Lq ≤ ∑  ∑ b j p ∑ (a )
ij

i=1 j=1 i=1

 q  q−p !p
k l l q
q
q
= ∑  ∑ b jp ∑ (a )  ij
i=1 j=1 j=1
 q  q−p
 !p
l k l q
q
q
= ∑ b jp · ∑ ∑ (a )  = Lq−pR p
ij
j=1 i=1 j=1

La desigualdad L ≤ R se obtiene dividiendo ambos lados de Lq ≤ Lq−p R p por Lq−p y tomando la raı́z
p−ésima.
Problema 3.9: Repúblicas Checa y Eslovaca, 1999
Para a, b, c enteros positivos, demuestra la desigualdad
a b c
+ + ≥ 1.
2c c + 2a a + 2b

Obsérvese que

a b c a2 b2 c2
+ + = + + .
b + 2c c + 2a a + 2b ab + 2ab bc + 2ab ca + 2bc
Usando la desigualdad de Cauchy-Schwarz en la forma de Engel en la forma de Engel, se tiene
que
a2 b2 c2 (a + b + c)2
+ + ≥ ≥ 1.
ab + 2ab bc + 2ab ca + 2bc 3(ab + bc + ca)
Además, sabemos que

1
a2 + b2 + c2 − ab − bc − ca = [(a − b)2 + (b − c)2 + (c − a)2 ] ≥ 0,
2
esto es, (a + b + c)2 ≥ 3(ab + bc + ca). Usando esta desigualdad, completamos la demostración.

Problema 3.10: Bielorusia, 2000

Demuestra que, para todos los números positivos a, b, c, x, y, z se da la siguiente desigualdad

a3 b3 c3 (a + b + c)3
+ + ≥ .
x y z 3(x + y + z)

Usando la extensión de la desigualdad de Hölder, tenemos que

1/3
a3 b3 c3

+ + (1 + 1 + 1)1/3 (x + y + z)1/3 ≥ a + b + c.
x y z

Elevando al cubo ambos lados y dividiendo ambos miembros por 3(x + y + z), obtenemos el resultado
pedido.

30
CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

Problema 3.11: India, 2002

Si a, b, c son reales positivos, demuestra que
a b c c+a a+b b+c
+ + ≥ + + .
b c a c+b a+c b+a

Haciendo el cambio de variable x = ab , y = bc , z = ac , el lado izquierdo de la desigualdad se simplifica

notablemente, quedando x + y + z. Veamos cómo queda el segundo miembro:

c + a 1 + ac 1 + ab bc 1 + xy 1−x
= b
= b
= = x+ .
c+b 1+ c 1+ c 1+y 1+y

De forma análoga:
a+b 1−y b+c 1−z
= y+ = z+ .
a+c 1+z b+a 1+x
Ası́, la desigualdad es equivalente a
x−1 y−1 z−1
+ + ≥ 0,
1+y 1+z 1+x
con la condición xyz = 1. La última desigualdad puede ser escrita como

(x2 − 1)(z + 1) + (y2 − 1)(x + 1) + (z2 − 1)(y + 1) ≥ 0,

que se transforma en
x2 z + y2 x + z2 y + x2 + y2 + z2 ≥ x + y + z + 3.
p
Ahora, usando, la desigualdad aritmético-geométrica, resulta que x2 z + y2 x + z2 y ≥ 3 3 x3 y3 z3 = 3.
√
También, x2 + y2 + z2 ≥ 31 (x + y + z)2 = x+y+z
3 (x + y + z) ≥ xyz(x + y + z) = x + y + z de donde la
3

primera desigualdad se sigue de la desigualdad de Cauchy-Schwarz en la forma de Engel .

Problema 3.12: Rumanı́a, 2002
Si a, b, c son reales positivos en el intervalo (0, 1), demuestra que
√ p
abc + (1 + a)(1 − b)(1 − c) < 1.

Haciendo la sustitución a = cos2 A, b = cos2 B, c = cos2 C, con A, B,C en el intervalo (0, π2 ), obtene-
√ √ √ √
mos que 1 − a = 1 − cos2 A = sen A, 1 − b = sen B y 1 − c = senC. Ası́ pues, la desigualdad
a probar es equivalente a probar

cos A cos B cosC + sen A sen B senC < 1.

Pero obsérvese que

cos A cos B cosC + sen A sen B senC < cos A cos B + sen A sen B = cos(A − B) ≤ 1.

Problema 3.13: Repúblicas Checa y Eslovaca, 2004

Sean a, b, c, d números reales con a + d = b + c. Demuestra que:

(a − b)(c − d) + (a − c)(b − d) + (d − a)(b − c) ≥ 0.

31
 CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

Basta observar que

(a − b)(c − d) + (a − c)(b − d) + (d − a)(b − c) = 2(a − b)(c − d) = 2(a − b)2 ≥ 0.

Problema 3.14: Croacia, 2004

Sean x, y, z números reales positivos. Demuestra que

x2 y2 z2 3
+ + ≥ .
(x + y)(x + z) (y + z)(y + x) (z + x)(z + y) 4

Aplicamos la desigualdad de Cauchy-Schwarz en la forma de Engel para obtener

x2 y2 z2 (x + y + z)2
+ + ≥ 2 .
(x + y)(x + z) (y + z)(y + x) (z + x)(z + y) x + y2 + z2 + 3(xy + yz + zx)

Por otra parte, la desigualdad

(x + y + z)2 3
2 2 2
≥ ,
x + y + z + 3(xy + yz + zx) 4

es equivalente a x2 + y2 + z2 ≥ xy + yz + zx,que bien sabemos que es cierta (Véase la sección 1.6).

Problema 3.15: Rusia, 2004

Si n > 3 y x1 , x2 , . . . , xn son números reales positivos con x1 x2 . . . xn demuestra que
1 1 1
+ +···+ > 1.
1 + x1 + x1 x2 1 + x2 + x2 x3 1 + xn + xn x1

a2 a3 a1
Usamos la sustitución x1 = a1 , x2 = a2 , . . . , xn = an . Ya que

1 1 a1
= a2 a2 a3 = ,
x1 + x1 x2 1 + a1 + a1 a2 a1 + a2 + a3

y repitiendo el proceso en los términos semejantes del miembro de la izquierda, deberemos probar
que se da la desigualdad
a1 a2 an
+ +···+ > 1.
a1 + a2 + a3 a2 + a3 + a4 an + a1 + a2

Pero esta desigualdad es fácil de probar. Es fácil observar que para todo i = 1, . . . , n tenemos

ai + ai+1 + ai+2 < a1 + a2 + · · · + an .

Problema 3.16: Repúblicas Checa y Eslovaca, 2005

Sean a, b, c números positivos que satisfacen abc = 1, demostrar que
a b c 3
+ + ≥ .
(a + 1)(b + 1) (b + 1)(c + 1) (c + 1)(a + 1) 4

32
CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

Nótese que
a b c (a + 1)(b + 1)(c + 1) − 2
+ + = =
(a + 1)(b + 1) (b + 1)(c + 1) (c + 1)(a + 1) (a + 1)(b + 1)(c + 1)
2 3
= 1− ≥
(a + 1)(b + 1)(c + 1) 4
si y sólo si (a + 1)(b + 1)(c + 1) > 8, y esto último es inmediato, haciendo uso de MA − MG, de la
desigualdad
√ √ √
   
a+1 b+1 c+1
≥ a b c = 1.
2 2 2
Problema 3.17: Polonia, 2006
Sean a, b, c enteros positivos tales que ab + bc + ca = abc. Demuestra que

a4 + b4 b4 + c4 c4 + a4
+ + ≥ 1.
ab(a3 + b3 ) bc(b3 + c3 ) ca(c3 + a3 )

Usando la sustitución x = a1 , y = 1b , z = 1c , la condición ab + bc + ca = abc se transforma en x + y + z =

1 y la desigualdad queda:

x4 + y4 y4 + z4 z4 + x4
+ + ≥ 1 = x + y + z.
x3 + y3 y3 + z3 z3 + x3
Utilizando la desigualdad de Chebyshev , podemos ver que

x4 + y4 x3 + y3 x + y
≥ ,
2 2 2
y ası́:
x4 + y4 y4 + z4 z4 + x4 x + y y + z z + x
+ + ≥ + + .
x3 + y3 y3 + z3 z3 + x3 2 2 2

Problema 3.18: Olimpiada Matemática Española, 2007

an + a−n − 2
Sea a 6= 1 un número real positivo y n un entero positivo. Demostrar que n2 < .
a + a−1 − 2

an + a−n − 2
La desigualdad dada n2 < es equivalente a
a + a−1 − 2
 2
n/2
a −a −n/2
n2 <
2 ,
a1/2 − a−1/2

α n − α −n √
que a su vez es equivalente a que n < −1
, siendo α = a. Entonces usando la desigualdad
α −α
entre las medias aritmética y geométrica, se tiene la desigualdad pedida:

α n − α −n 2n
1−n α − 1
= α = α 1−n (1 + α 2 + α 4 + · · · + α 2n−2 ) >
α − α −1 αp2 −1
n
> α 1−n n α 2+4+···+(2n−2) = α 1−n nα n−1 = n.

33
 CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

Problema 3.19: Olimpiada Matemática Española, 2007

Sean a0 , a1 , a2 , a3 , a4 cinco números positivos en progresión aritmética de razón d. Demuestra
que
1
a32 ≤ (a30 + 4a31 + 4a33 + a34 ).
10

S OLUCI ÓN 1: La desigualdad dada puede escribirse como

10a32 ≤ a30 + 4a31 + 4a33 + a34 ,

y sumando 6a32 a ambos miembros se convierte en

a32 ≤ (a30 + 4a31 + 6a32 + 4a33 + a34 ).

Por otro lado como a0 , a1 , a2 , a3 , a4 están en progresión aritmética, entonces

               
4 4 4 4 4 4 4 4
a0 + a1 + a2 + a3 + a4 = (a0 + a4 ) + (a1 + a3 ) + a2
0 1 2 3 4 0 1 2
               
4 4 4 4 4 4 4 4
= 2a2 + 2a2 + a2 = a2 + + + + = 24 a2 .
0 1 2 0 1 2 3 4
Aplicando la desigualdad de Jensen a la función f (t) = t 3 , convexa en R+ , con tk = 4k 21k resulta

!
4 4
f ∑ pk ak ≤ ∑ pk f (ak ),
k=0 k=0

o equivalentemente,
          
3 1 4 3 4 3 4 3 4 3 4 3 1
a2 ≤ k a0 + a1 + a2 + a3 + a4 = (a30 + 4a31 + 6a32 + 4a33 + a34 ).
2 0 1 2 3 4 16
Obsérvese que la igualdad se tiene cuando los cinco números son iguales y hemos terminado.
S OLUCI ÓN 2: Llamando a al término central y d a la diferencia, la progresión es a − 2d, a − d, a, a +
d, a + 2d y tenemos:

a30 = (a − 2d)3 = a3 − 6a2 d + 12ad 2 − 8d 3

a34 = (a + 2d)3 = a3 + 6a2 d + 12ad 2 + 8d 3
4a31 = 4(a − d)3 = 4a3 − 12a2 d + 12ad 2 − 4d 3
4a33 = 4(a + d)3 = 4a3 + 12a2 d + 12ad 2 − 4d 3

sumando:
a30 + 4a31 + 4a33 + a34 = 10a3 + 48ad 2 ,
dividiendo por 10 queda
1 3 24
(a0 + 4a31 + 4a33 + a34 ) − a3 = ad 2 ≥ 0,
10 5
con independencia del valor de d.
S OLUCI ÓN 3: Como se trata de cinco términos en progresión aritmética, se tiene

a0 + a4 = 2a2 = a1 + a3 ,

34
CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

o también
a0 a4 = (a2 − 2d)(a2 + 2d).
Entonces
a30 + a34 = (a0 + a4 )3 − 3a0 a4 (a0 + a4 ) = 8a32 − 6a0 a4 a2 ,
y
4(a31 + a33 ) = a[(a1 + a3 )3 − 3a1 a3 (a1 + a3 )] = 4(8a32 − 6a1 a0 a2 ).
Entonces, lo que hay que probar es
1
a32 ≤ (8a3 − 6a0 a1 a2 + 32a32 − 24a1 a3 a2 ),
10 2
cuyo segundo miembro es
6
4a32 − a2 (a0 a4 + 4a1 a3 );
10
trasponiendo términos, la desigualdad a probar se escribe como

3
a2 (a22 − 4d 2 + 4a22 − 4d 2 ) ≤ 3a32
5
24
3a32 − d 2 ≤ 3a32
5
24 2
− d ≤ 0.
5
La última desigualdad es cierta y hemos terminado.
Problema 3.20: Rumanı́a, 2007
Para los números reales no negativos x, y, z, demuestra que

x3 + y3 + z3 3
≥ xyz + |(x − y)(y − z)(z − x)|.
3 4

Sea p = |(x − y)(y − z)(z − x)|. Recordemos las identidades

x3 + y3 + z3 − 3xyz = (x + y + z)(x2 + y2 + z2 − xy − yz − zx), (?)

y
1
x2 + y2 + z2 − xy − yz − zx = [(x − y)2 + (y − z)2 + (z − x)2 ].
2
Aplicando MA-MG, se tiene que
3p
x2 + y2 + z2 − xy − yz − zx ≥ 3
p2 . (♣)
2
Ahora, como |x − y| ≤ x + y, |y − z| ≤ y + z, |z − x| < z + x, se sigue que

2(x + y + z) ≥ |(x − y)(y − z)(z − x)|.

Volviendo aplicar MA-MG:

√
2(x + y + z) ≥ 3 3 p. (♠)
El resultado se sigue de sustituir (♣) y (♠) en (?) y dividir por 3.

35
 CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

Problema 3.21: Moldavia, 2007

Sean w, x, y, z números reales positivos. Demuestra que
w x y z 2
+ + + ≥ .
x + 2y + 3z y + 2z + 3w z + 2w + 3x w + 2x + 3y 3

Expresamos el lado izquierdo de la desigualdad como sigue:

w2 x2 y2 z2
+ + +
xw + 2yw + 3zw xy + 2xz + 3xw yz + 2yw + 3xy zw + 2xz + 3yz
y usamos la desigualdad de Cauchy-Schwarz en la forma de Engel :
w x y z
+ + +
x + 2y + 3z y + 2z + 3w z + 2w + 3x w + 2x + 3y
(w + x + y + z)2
≥
4(wx + xy + yz + zw + wy + xz)
Ası́ pues, nuestra labor se reduce a probar que
(w + x + y + z)2 3
≥ ,
4(wx + xy + yz + zw + wy + xz) 2
que es equivalente a 3(w2 + x2 + y2 + z2 ) ≥ 2(wx + xy + yz + zw + wy + xz). Esta desigualdad puede
deducirse utilizando MA-MG seis veces a los términos bajo forma x2 + y2 ≥ 2xy.
Problema 3.22: México, 2007
Si a, b, c son reales positivos tales que a + b + c = 1, demuestra que
√ √ √
a + bc + b + ca + c + ab ≤ 2.

Usando la condición a + b + c = 1, tenemos que

a + bc = a(a + b + c) + bc = (a + b)(a + c),
ası́, usando MA-MG, se tiene que
√ p 2a + b + c
a + bc = (a + b)(a + c) ≤ .
2
De forma análoga
√ 2b + c + a √ 2c + a + b
b + ca ≤ c + ab ≤ .
2 2
Sumando las tres desigualdades tenemos:
√ √ √ 2a + b + c 2b + c + a 2c + a + b 4a + 4b + 4c
a + bc + b + ca + c + ab ≤ + + = = 2.
2 2 2 2
La igualdad se da cuando a + b = a + c, b + c = b + a y c + a = c + b, esto es, cuando a = b = c = 13 .

Problema 3.23: Irlanda, 2007

Sean x, y, z números reales positivos. Demuestra que
s
a2 + b2 + c2 a + b + c
 
1 bc ca ab
+ + ≥ ≥ .
3 a b c 3 3

36
CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

La desigualdad de la izquierda se sigue de la desigualdad de Cauchy-Schwarz en la forma de Engel

. Para la segunda desigualdad, la sustitución x = bc ca ab
a , y = b , z = c transforma la desigualdad en
r
x+y+z yz + zx + xy
≥ .
3 3

Elevando al cuadrado ambos miembros, obtenemos 3(xy + yz + zx) ≤ (x + y + z)2 , que es válido si y
sólo si xy + yz + zx ≤ x2 + y2 + z2 , hecho que sabemos que es cierto.
Problema 3.24: Grecia, 2008
Para x1 , x2 , . . . , xn enteros positivos, demuestra que
 knt
x12 + x22 + · · · + xn2

≥ x1 · x2 · · · · · xn ,
x1 + x2 + · · · + xn

donde k = máx{x1 , x2 , . . . , xn } y t = mı́n{x1 , x2 , . . . , xn }. ¿Bajo qué condiciones se da la igual-

dad?

Usamos la desigualdad de Cauchy-Schwarz en la forma de Engel para obtener:

x12 + x22 + . . . xn2 x12 x22 xn2

= + +···+
x1 + x2 + · · · + xn x1 + x2 + · · · + xn x1 + x2 + · · · + xn x1 + x2 + · · · + xn

(x1 + x2 + · · · + xn ) x1 + x2 + · · · + xn
≥ = .
n(x1 + x2 + · · · + xn ) n
Ası́, es suficiente probar que
  kn
x1 + x2 + · · · + xn t
≥ x1 · x2 · · · · · xn .
n
x1 +···+xn
Como k = máx x1 , . . . , xn ≥ mı́n x1 , . . . , xn = t, tenemos que knt ≥ n y como n ≥ 1, porque todos
los xi son enteros positivos, es suficiente probar que

x1 + x2 + · · · + xn n
 
≥ x1 · x2 · · · · · xn ,
n
que es equivalente a la desigualdad aritmético-geométrica. Como todas las desigualdades intermedias
son igualdades cuando x1 = x2 = · · · = xn , concluimos que la igualdad se da cuando x1 = x2 = · · · = xn .
Problema 3.25: Reino Unido, 2008

Encuentra el mı́nimo de x2 + y2 + z2 , donde x, y, z son números reales que verifican x3 + y3 +

z3 − 3xyz = 1.

Tomemos la igualdad

x3 + y3 + z3 − 3xyz = (x + y + z)(x2 + y2 + z2 − xy − yz − zx)

La condición x3 + y3 + z3 − 3xyz = 1, puede ser escrita como

(x + y + z)(x2 + y2 + z2 − xy − yz − zx) = 1. (?)

37
 CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

Sean A = x2 + y2 + z2 y B = x + y + z. Nótese que B2 − A = 2(xy + yz + zx). Por la igualdad

1
x2 + y2 + z2 − xy − yz − zx = [(x − y)2 + (y − z)2 + (z − x)2 ],
2
tenemos que B > 0. Y la igualdad (?) se convierte en

B2 − A
 
B A− =1
2

Ası́ pues, 3A = B2 + B2 . Como B > 0, aplicamos la desigualdad entre las medias aritmética y
geométrica para obtener
2 1 1
3A = B2 + = B2 + + ≥ 3,
B B B
esto es, A ≥ 1. Ası́, el mı́nimo A = 1 se alcanza, por ejemplo, cuando (x, y, z) = (1, 0, 0)

Problema 3.26: Olimpiada Matemática Española, 2008

Demuestra que para cualesquiera números reales a, b tales que 0 < a, b < 1, se cumple la de-
sigualdad siguiente:
p q √
ab2 + a2 b + (1 − a)(1 − b)2 + (1 − a)2 (1 − b) < 2.

√ √ a+b
Se verifica que x < 3 x para todo x ∈ (0, 1). Teniendo en cuenta que 0 < < 1, utilizando la
2
desigualdad anterior y aplicando MA-MG, se tiene:
 
a+b
s   s   a+b+
a+b 3 a+b 2 a+b
ab < ab ≤ =
2 2 3 2
y

s   s  
a+b 3 a+b
(1 − a)(1 − b) 1 − < (1 − a)(1 − b) 1 −
2 2
a+b
1−a+1−b+1−
≤ 2
3
a+b
= 1− .
2

Sumando las expresiones anteriores resulta

s   s  
a+b a+b
ab + (1 − a)(1 − b) 1 − < 1,
2 2

o equivalentemente
 
1 p 2
q
√ 2 2 2
ab + a b + (1 − a)(1 − b) + (1 − a) (1 − b) < 1,
2
de donde se obtiene inmediatamente la desigualdad del enunciado.

38
CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

Problema 3.27: Kazajistán, 2008

Sean x, y, z números reales positivos tales que xyz = 1. Demuestra que
1 1 1 3
+ + ≥ .
yz + z zx + x xy + y 2

Con la sustitución x = ba , y = bc , z = ac , la inecuación toma la forma

a b c 3
+ + ≥ ,
b+c c+a a+b 2
que es la desigualdad de Nesbitt.
Problema 3.28: Rumanı́a, 2008
Sean a, b, c números reales positivos tales que abc = 8. Demuestra que
a−2 b−2 c−2
+ + ≤ 0.
a+1 b+1 c+1

Nótese que
 
a−2 b−2 c−2 1 1 1
+ + ≤ 0 ⇔ 3−3 + + ≤0
a+1 b+1 c+1 a+1 b+1 c+1
1 1 1
⇔1≤ + + .
a+1 b+1 c+1
2x 2y 2z
Usando el cambio de variables a = y, b= z , c= x, obtenemos:
1 1 1 1 1 1
+ + = 2x
+ 2y
+ 2z
a+1 b+1 c+1 y +1 x +1
z +1
y z x
= + +
2x + y 2y + z 2z + x
y2 z2 x2
= + +
2xy + y2 2yz + z2 2zx + x2
(x + y + z)2
≤ =1
2xy + y2 + 2yz + z2 + 2zx + x2
La única desigualdad de la expresión se sigue de la desigualdad de Cauchy-Schwarz en la forma
de Engel .
Problema 3.29: Olimpiada Matemática Española, 2009
Sean a, b, c números reales positivos tales que abc = 1. Demuestra que
 2  2  2
a b c 3
+ + ≥ .
1 + ab 1 + bc 1 + ca 4

2  2 
ca 2
 
a ca
Como abc = 1, entonces = = . Análogamente se obtienen
1 + ab abc + c 1+c
2 
ab 2
2 
bc 2
   
b c
= =
1 + bc 1+a 1 + ca 1+b

39
 CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

. Por lo tanto, la desigualdad requerida se convierte en:

 2  2  2
ab bc ca 3
+ + ≥ ,
1+a 1+b 1+c 4

equivalente a v "
u 
u1 2  2  2 #
ab bc ca 1
t + + ≥ .
3 1+a 1+b 1+c 2

Usando ahora la desigualdad entre las medias aritmética y cuadrática, se obtiene

v "
u 
u1 2  2  2 #      
ab bc ca 1 ab bc ca
t + + ≥ + + .
3 1+a 1+b 1+c 3 1+a 1+b 1+c

ab bc ca 3
Ası́ es suficiente demostrar que + + ≥ o equivalentemente
1+a 1+b 1+c 2
abc abc abc 3
+ + ≥ ,
c(1 + a) a(1 + b) b(1 + c) 2

que a su vez es equivalente a

1 1 1 3
+ + ≥ .
c(1 + a) a(1 + b) b(1 + c) 2
x y z
Poniendo a = , b = y c = , en la última desigualdad resulta
y z x
 −1  −1  −1
x x y y z z 3
+ + + + + ≥ .
y z z x x y 2

1 1 1
Sustituyendo ahora α = , y = y γ = , se llega a la desigualdad de Nessbit:
x y z

α β γ 3
+ + ≥ .
β +γ γ +α α +β 2

La igualdad se alcanza si y sólo si a = b = c = 1.

Problema 3.30: Olimpiada Matemática Española, 2011
Sean a, b, c números reales positivos. Demuestra que
r
a b c ab + bc + ca 5
+ + + ≥ .
b+c c+a a+b a2 + b2 + c2 2
¿Cuándo se alcanza la igualdad?

Nótese en primer lugar que, en virtud de desigualdad entre las medias aritmética y geométrica, se
tiene: v
r u r !2
2 2
1 a +b +c 2 ab + bc + ca u a 2 + b2 + c2 ab + bc + ca 3
3
+ 2 2 2
≥t 2 2 2
= ,
2 ab + bc + ca a +b +c ab + bc + ca a +b +c 2

40
CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

dándose la igualdad si y sólo si a2 + b2 + c2 = ab + bc + ca, o equivalentemente si (a − b)2 + (b −

c)2 + (c − a)2 = 0, es decir, si y sólo si a = b = c. Nos bastarı́a entonces, para concluir el problema,
con demostrar que
a b c 1 a2 + b2 + c2
+ + ≥ 1+ .
b+c c+a a+b 2 ab + bc + ca
Esto puede conseguirse por fuerza bruta, viéndose en primer lugar que el miembro de la derecha
puede escribirse como
a3 + b3 + c3 + abc
+ 1,
(a + b)(b + c)(c + a)
y a partir de aquı́ comparando las fracciones restantes, llegándose a la conclusión tras algo de cálculo.
Sin embargo, se puede obtener el resultado deseado de una forma más elegante, ya que podemos
escribir:
a b c a2 b2 c2
+ + = + +
b + c c + a a + b ab + ca bc + ab ca + bc
 2  2  2
a b c
= √ + √ + √ .
ab + ca bc + ab ca + bc
Ası́: √ 2 √ 2 √ 2
2(ab + bc + ca) = ab + ca + bc + ab + ca + bc ,
y por la desigualdad del producto escalar se tendrı́a
r
p a b c
2(ab + bc + ca) + + ≥
b+c c+a a+b
a √ b √ c √
≥√ ab + ca + √ bc + ab + √ ca + bc = a + b + c
ab + ca bc + ab ca + bc
es decir,
a b c (a + b + c)2 a2 + b2 + c2
+ + ≥ = + 1,
b + c c + a a + b 2(ab + bc + ca) 2(ab + bc + ca)
con lo que se concluye el problema. Nótese que la igualdad se da en la última desigualdad si y sólo si
√ √ √
ab + ca √ bc + ab √ ca + bc √
ab + ca = bc + ab = ca + bc,
a b c
es decir, si y sólo si a = b = c, que es por lo tanto también la condición necesaria y suficiente para
que se dé la igualdad en la desigualdad propuesta.
Problema 3.31: Olimpiada Matemática Española, 2013

Sean a, b y n enteros positivos tales que a > b y ab = 1 − n2 . Demuestra que

√
a − b ≥ 4n − 3.

Indica justificadamente cuándo se alcanza la igualdad.

Supongamos que el resultado a demostrar fuera falso. Entonces (a + b)2 = (a − b)2 + 4ab < 4n −
3 + 4(n2 + 1) = (2n + 1)2 . Pero como a + b es entero y a + b < 2n + 1, entonces a + b ≤ 2n y por
 2
a + b
desigualdad entre las medias aritmética y geométrica n2 + 1 = ab < = n2 , que es una
2
contradicción. Luego el resultado a demostrar es cierto.

41
 CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

El caso de la igualdad requiere que (a + b)2 = 4n − 3 + 4(n2 + 1) = (2n +√1)2 , debido a la identidad
(a + b)2 = (a − b)2 + 4ab. Por tanto a + b = 2n + 1. La igualdad a − b = 4n − 3 se alcanza cuando
el radicando sea necesariamente un cuadrado perfecto impar; es decir 4n − 3 = (2u + 1)2 para algún
entero no negativo u, con lo que

n = u2 + u + 1 a − b = 2u + 1.

Además, b = n − u = u2 + 1, luego a = b + 2u + 1 = u2 + 2u + 2. Se comprueba fácilmente que en

efecto ab = u4 + 2u3 + 3u2 + 2u + 2 = (u2 + u + 1)2 + 1 = n2 + 1. Luego hay igualdad si y sólo si

a = u2 + 2u + 2, b = u2 + 1 y n = u2 + u + 1, con a − b = 2u + 1,

para todo entero no negativo u.

Problema 3.32: Olimpiada Matemática Española, 2016
Sea n ≥ 2 un número entero. Determinar el menor número real positivo γ de modo que pa-
ra cualesquiera números reales positivos x1 , x2 , . . . , xn , y parta cualesquiera números reales
y1 , y2 , . . . , yn , con 0 ≤ y1 , y2 , . . . , yn ≤ 21 que cumplan x1 + x2 + · · · + xn = y1 + y2 + · · · + yn = 1
se tiene que
x1 x2 . . . xn ≤ γ(x1 y1 + x2 y2 + · · · + xn yn ).

M
Sean M = x1 x2 · · · xn y X = para 1 ≤ i ≤ n. Consideremos la función ϕ : (0, +∞) → R definida por
xi
M
ϕ(t) = que es convexa como se prueba fácilmente. Como los números no negativos yi , (1 ≤ i ≤ n)
t
son tales que y1 + y2 + · · · + yn = 1, entonces aplicando la desigualdad de Jensen a la función ϕ se
tiene: !
n n
ϕ ∑ yixi ≤ ∑ yi ϕ(xi ),
i=1 i=1
es decir, !−1
n n n
M
M· ∑ yixi ≤ ∑ yi = ∑ yi Xi . (1)
i=1 i=1 xi i=1

Ahora se trata de encontrar la menor cota superior del término de la derecha de (1). Sin pérdida de
generalidad, podemos suponer que x1 ≤ x2 ≤ · · · ≤ xn e y1 ≥ y2 ≥ · · · ≥ yn . Entonces se tiene que
X1 ≥ X2 ≥ · · · ≥ X como se comprueba inmediatamente. Aplicando la desigualdad de reordenación,
sabemos que entre todas las sumas de la forma ∑ni=1 yi Xi la que alcanza el valor máximo es la que se
obtiene cuando y1 ≥ y2 ≥ · · · ≥ yn y X1 ≥ X2 ≥ · · · ≥ Xn . Ahora observamos que
n
∑ yiXi = y1X1 + (y2X2 + · · · + ynXn) ≤ y1X1 + (y2 + · · · + y)X2 = y1X1 + (1 − y1)X2.
i=1

Al ser 0 ≤ y1 ≤ 1/2, se tiene que

n  n−1  n−1
1 1 1 (x1 + x2 ) + x3 + · · · + xn 1 1
∑ yiXi ≤ 2 (X1 + X2) = 2 ((x1 + x2)x3 . . . xn) ≤ 2 n−1
=
2 n−1
,
i=1

donde se ha utilizado la desigualdad entre las medias aritmética y geométrica y la condición x1 +

x2 + · · · + xn = 1. De lo anterior y (1), resulta
! ! n−1 n !
n n 
1 1
M ≤ ∑ yi xi ∑ yiXi ≤ 2 n − 1 ∑ yixi
i=1 i=1 i=1

42
CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

y
 n−1
1 1
γ≤ .
2 n−1
1 1 1
Si tomamos x1 = x2 = , x3 = x4 = · · · = xn = e y1 = y2 = , y3 = y4 = · · · = yn = 0,
2(n − 1) n−1 2
entonces
 n  n−1  n−1 n
1 1 1 1 1 1
M = x1 x2 · · · xn = = (y1 x1 + y2 x2 ) = ∑ yixi,
4 n−1 2 n−1 2 n−1 i=1

y se concluye que
 n−1
1 1
γ= .
2 n−1

Problema 3.33: Olimpiada Matemática Española, 2017

Determina el máximo valor posible de la expresión
p p p
27abc + a a2 + 2bc + b b2 + 2ca + c c2 + 2ab,
1
siendo a, b, c, números reales positivos tales que a + b + c = √ .
3

1 2
En primer lugar, se observa que cuando a = b = c = √ el valor que toma la expresión es √ , lo
3 3 3 3
cual sugiere conjeturar que
p p p 2
27abc + a a2 + 2bc + b b2 + 2ca + c c2 + 2ab ≤ √ .
3 3

Para probar esta conjetura,

√ √ se√puede aplicar desigualdad
√ la √ √ de Cauchy-Schwarz, (~u ·~v)2 ≤ ||~u||2 ||~v||2
a los vectores ~u = ( a, b, c) y ~v = ( bc, ca, ab), obteniéndose que
√ √ √
9abc = ( abc + abc + abc)2 ≤ (a + b + c)(bc + ca + ab).

Multiplicando por 3 ambos miembros de la desigualdad anterior y teniendo en cuenta la restricción,

resulta √
27abc ≤ 3(a + b + c)(bc + ca + ab) = 3(bc + ca + ab).
√ 1 p 2 2
Por otro lado, dado que a a2 + 2bc = √ 3a (a + 2bc), aplicando la desigualdad entre las me-
3
dias aritmética y geométrica a los números 3a2 y a2 + 2bc se obtiene

1 1 3a2 + (a2 + 2bc) 1

p q
2
a a + 2bc = √ 3a2 (a2 + 2bc) ≤ √ = √ (2a2 + bc).
3 3 2 3
Análogamente, se tiene que
p 1
b b2 + 2ca ≤ √ (2b2 + ca)
3
y
p 1
c c2 + 2ab ≤ √ (2c2 + ab)
3

43
 CAPÍTULO 3. PROBLEMAS DE OLIMPIADAS NACIONALES

Combinando las desigualdades anteriores, y teniendo en cuenta otra vez la restricción, se obtiene
p p p
27abc + a a2 + 2bc + b b2 + 2ca + c c2 + 2ab
√ 1
≤ 3(bc + ca + ab) + √ (2a2 + bc + 2b2 + ca + 2c2 + ab)
3
2 2 2
= √ (a2 + b2 + c2 + 2ab + 2bc + ca) = √ (a + b + c)2 = √ .
3 3 3 3
2
Esto prueba la conjetura y el máximo de la expresión es √ .
3 3

44
 Problemas de Olimpiadas Internacionales
4
En este último capı́tulo vamos a realizar un estudio de los problemas de olimpiadas que han aparecido
en competiciones internacionales, como puede ser la Olimpiada Matemática Internacional (IMO),
Olimpiada Matemática del Pacı́fico Asiático (APMO) y la Olimpiada Iberoamericana. La complejidad
a la hora de resolver los problemas es superior a las demás fases, aunque su resolución resulte breve.
Problema 4.1: IMO, 1960
¿Para qué valores reales de x se cumple la siguiente desigualdad?

4x2
√ < 2x + 9.
(1 − 1 + 2x)2

Para que las expresiones involucradas en la desigualdad tengan sentido√es necesario, a priori que
x ≥ − 21 y x 6= 0. Multiplicando el numerador y el denominador por (1 + 1 + 2x)2 y simplificando,
√
se tiene que verificar que 2 2x + 1 < 7. Resolviendo para x, se tiene que − 21 ≤ x < 45
8 , por lo que la
1 45
solución de la desigualdad es x ∈ [− 2 , 0) ∪ (0, 8 ).

Problema 4.2: IMO, 1964

Sean a, b, c números reales positivos, demostrar que:

a3 + b3 + c3 + 3abc ≥ ab(a + b) + bc(b + c) + ca(c + a).

La desigualdad es equivalente a:

a3 + b3 + c3 ≥ ab(a + b − c) + bc(b + c − a) + ca(c + a − b).

z+x x+y
Definimos las variables x = a + b − c, y = a − b + c, z = −a + b + c. Se tiene que a = 2 , b= 2 ,
x = y+z
2 . Ası́ pues, la desigualdad a probar es:

1 1
((z + x)3 + (x + y)3 + (y + z)3 ) ≥ ((z + x)(x + y)x + (x + y)(y + z)y + (y + z)(z + x)z),
8 4
que es equivalente a
3(x2 y + y2 x + · · · + z2 x) ≥ 2(x2 y + ...) + 6xyz,
o
x2 y + y2 x + y2 z + z2 y + z2 x + x2 z ≥ 6xyz,

45
 CAPÍTULO 4. PROBLEMAS DE OLIMPIADAS INTERNACIONALES

y aplicando el teorema de Muirhead podemos obtener el resultado si x, y, z son no negativos. Si uno

de ellos es negativo (no puede haber más de uno al mismo tiempo), obtenemos

x2 (y + z) + y2 (x + z) + z2 (x + y) + x2 2c + y2 2a + z2 2b ≥ 0,

pero el segundo término 6xyz es negativo, lo cual concluye la demostración.

Problema 4.3: IMO, 1964
Sean a, b, c las longitudes de los lados de un triángulo. Demuestra que

a2 (b + c − a) + b2 (a + c − b) + c2 (a + b − c) ≤ 3abc.

La expresión es simétrica respecto de a, b y c, por lo que podemos suponer, sin pérdida de generalidad
que c ≤ b ≤ a. En este caso a(b + c − a) ≤ b(a + c − b) ≤ c(a + b − c). Por ejemplo, la primera
desigualdad se puede probar de la siguiente manera:

a(b + c − a) ≤ b(a + c − b) ⇔ ab + ac − a2 ≤ ab + bc − b2
⇔ (a − b)c ≤ (a + b)(a − b)
⇔ (a − b)(a + b − c) ≥ 0

Por la desigualdad de reordenación:

a2 (b + c − a) + b2 (c + a − b) + c2 (a + b − c) ≤ ba(b + c − a) + cb(c + a − b) + ac(a + b − c),

a2 (b + c − a) + b2 (c + a − b) + c2 (a + b − c) ≤ ca(b + c − a) + ab(c + a − b) + bc(a + b − c).

Ası́ pues,
2[a2 (b + c − a) + b2 (c + a − b) + c2 (a + b − c)] ≤ 6abc.

Problema 4.4: IMO, 1983

Sean a, b, c las longitudes de los lados de un triángulo. Demuestra que

a2 b(a − b) + b2 c(b − c) + c2 a(c − a) ≥ 0.

Consideremos el caso c ≤ b ≤ a (los otros casos son similares). Procediendo como en el Problema
4.3, tenemos que a(b + c − a) ≤ b(a + c) ≤ c(a + b − c) y como 1a ≤ b1 ≤ 1c , por la desigualdad de
reordenación:
1 1 1 1 1 1
a(b + c − a) + b(c + a − b) + c(a + b − c) ≥ a(b + c − a) + b(c + a − b) + c(a + b − c).
a b c c a b
Por lo tanto,
a(b − c) b(c − b) c(a − c)
a+b+c ≥ + + + a + b + c,
c a b
a(b−c)
de donde c + b(c−b)
a + c(a−c)
b ≤ 0. Multiplicando por abc, obtenemos

a2 b(a − b) + b2 c(b − c) + c2 a(c − a) ≥ 0.

S OLUCI ÓN A LTERNATIVA : Usando el cambio de variable a = y + z, b = z + x, c = x + y, para

x, y, z > 0, tenemos:
x3 z + y3 x + z3 y ≥ x2 yz + xy2 z + xyz2 ,

46
CAPÍTULO 4. PROBLEMAS DE OLIMPIADAS INTERNACIONALES

o equivalentemente,
x2 y2 z2
+ + ≥ x + y + z,
y z x
y utilizando la desigualdad de Cauchy-Schwarz,
 2
y2 z2

x
(y + z + x) + + ≥ (x + y + z)2 .
y z x

Problema 4.5: APMO, 1991

Sean a1 , a2 , ..., an , b1 , b2 , ..., bn números positivos tales que a1 + a2 + · · · + an = b1 + b2 + · · · +
bn . Demostrar que
a21 a2n 1
+···+ ≥ (a1 + · · · + an ).
a1 + b1 an + bn 2

a2 b2
Sean Sa = ∑n1=1 ai +b
i
i
y Sb = ∑ni=1 ai +b
i
i
. Ası́:
n n n
a2i − b2i
Sa − Sb = ∑ = ∑ ai − ∑ bi = 0
i=1 ai + bi i=1 i=1
Luego Sa = Sb = S. Tenemos entonces:
n
a2i + b2i 1 n (ai + bi )2 n
2S = ∑ ≥ ∑ = ∑ ai ,
i=1 ai + bi 2 i=1 ai + bi i=1

donde en la última desigualdad hemos usado que 2(x2 + y2 ) ≥ (x + y)2 (Utilı́cese MA-MG).
Problema 4.6: IMO, 1995
Sean a1 , a2 , ..., an números positivos con abc = 1. Demuestra que
1 1 1 3
+ + ≥ .
a3 (b + c) b3 (c + a) c3 (a + b) 2

Sin pérdida de generalidad, podemos asumir que c ≤ b ≤ a. Sean x = a1 , y = 1b , z = 1c . Ası́:

1 1 1
S= + +
a3 (b + c) b3 (c + a) c3 (a + b)
x3 y3 z3
= + +
1 1 1 1 1 1
+ + +
y z z x x y
x2 y2 z2
= + +
y+z z+x x+y
Como x ≤ y ≤ x, entonces x + y ≤ z + x ≤ y + z, y también
x y z
≤ ≤ .
y+z z+x x+y
Usando la desigualdad de reordenación, podemos ver que:
x2 y2 z2 xy yz zx
+ + ≥ + +
y+z z+x x+y y+z z+x x+y
x2 y2 z2 xz yx zy
+ + ≥ + +
y+z z+x x+y y+z z+x x+y

47
 CAPÍTULO 4. PROBLEMAS DE OLIMPIADAS INTERNACIONALES

√
de lo que se deduce que 2S ≥ x + y + z ≥ 3 3 xyz = 3. Y por lo tanto S ≥ 32 .

Problema 4.7: APMO, 1998

Sean a, b, c ∈ R+ , demuestra que

   
 a b  c a+b+c
1+ 1+ 1+ ≥ 2 1+ √
3
.
b c a abc

Obsérvese que
   
 a b  c a+b+c
1+ 1+ 1+ ≥ 2 1+ √ 3
b c a abc
     
a b c a c b abc a+b+c
⇔ 1+ + + + + + + ≥ 2 1+ √
3
b c a c b a abc abc
a b c a c b 2(a + b + c)
⇔ + + + + + ≥ √3
.
b c a c b a abc
Ahora, definimos a = x3 , b = y3 , c = z3 . Tendremos que probar que
x3 y3 z3 x3 z3 y3 2(x3 + y3 + z3 )
+ + + + + ≥ .
y3 z3 x3 z3 y3 x3 xyz
Ahora, considerando:
 
x y z x z y
(a1 , a2 , a3 , a4 , a5 , a6 ) = , , , , ,
y z x z y x
 
0 0 0 0 0 0 y z x z y x
(a1 , a2 , a3 , a4 , a5 , a6 ) = , , , , ,
z x y y x z
 2 2 2 2 2 2
x y z x z y
(b1 , b2 , b3 , b4 , b5 , b6 ) = , , , , , .
y2 z2 x2 z2 y2 x2

obtenemos el siguiente resultado:

x3 y3 z3 x3 z3 y3 x2 y y2 z z2 x x2 z z2 y y2 x
+ + + + + ≥ + + + + +
y3 z3 x3 z3 y3 x3 y2 z z2 x x2 y z2 y y2 x x2 z
x2 y2 z2 x2 x2 z2 y2
= + + + + + +
yz yz xy xy zy yx xz
2(x3 + y3 + z3 )
=
xyz

Problema 4.8: IMO, 1996

Sean a, b, c números reales positivos tales que abc = 1. Demuestra que
ab bc ca
+ + ≤ 1.
a5 + b5 + ab b5 + c5 + bc c5 + a5 + ca

Como (a3 − b3 )(a2 − b2 ) ≥ 0, se tiene que a5 + b5 ≥ a2 b2 (a + b), entonces:

ab ab abc2 c
≤ = = .
a5 + b5 + ab a2 b2 (a + b) + ab a2 b2 c2 (a + b) + abc2 a + b + c

48
CAPÍTULO 4. PROBLEMAS DE OLIMPIADAS INTERNACIONALES

bc a ca b
Análogamente b5 +c5 +bc
≤ a+b+c y c5 +a5 +ca
≤ a+b+c . Ası́:

ab bc ca c a b
+ + ≤ + + = 1.
a5 + b5 + ab b5 + c5 + bc c5 + a5 + ca a+b+c a+b+c a+b+c

Problema 4.9: IMO, 1997

Sean x1 , . . . , xn números reales que satisfacen |x1 + · · · + xn | = 1 y |xi | ≤ n+1 2 para todo i =
1, . . . , n. Demuestra que existe una permutación y1 , . . . , yn de x1 , . . . , xn tal que
n+1
|y1 + 2y2 + · · · + nyn | ≤ .
2

Sin pérdida de generalidad, supongamos que x1 ≤ x2 ≤ · · · ≤ xn . Como 1 < 2 < · · · < n, tenemos,
usando la desigualdad de reordenación, que

A = x1 + 2x2 + · · · + nxn ≥ nx1 + (n − 1)x2 + · · · + xn = B.

Entonces, |A + B| = |(n + 1)(x1 + · · · + xn )| = n + 1, de donde A + B = ±(n + 1). Si A + B = (n + 1),

se tiene que B ≤ n+1
2 ≤ A, y si A + B = −(n + 1), entonces B ≤ − 2 ≤ A.
n+1

Si ahora asumimos que n+1 n+1

2 o − 2 se encuentra entre B y A, ya que en caso contrario A o B estarı́an
en el intervalo [− n+1 n+1 n+1
2 , 2 ]. Luego, una de los valores |A| o |B| es menor o igual a 2 y termina el
problema.

Supongamos, por lo tanto, B ≤ − n+1 n+1

2 < 2 ≤ A. Sea y1 , . . . , yn una permutación de x1 , . . . , xn tal que
1y1 +2y2 +· · ·+nyn = C toma el valor más grande con C ≤ − n+12 . Tomemos i tal que y1 ≤ y2 ≤ · · · ≤ yi
y yi > yi+1 , y consideremos:

D = y1 + 2y2 + · · · + iyi+1 + (i + 1)yi + · · · + nyn

D −C = iyi+1 + (i + 1)yi − (iyi + (i + 1)yi+1 ) = yi − yi+1 > 0.

Como |yi |, |yi+1 | ≤ n+1

2 , se tiene que D − C = yi − yi+1 ≤ n + 1.Luego, D ≤ C + n + 1 y entonces
C < D ≤ C + n + 1 ≤ n+1 2 .

Por otro lado, D ≥ − n+1 n+1 n+1

2 , pues C es la suma más grande que es menor a − 2 . Luego, − 2 ≤ D ≤
n+1 n+1
2 y ası́ |D| ≤ 2 .

Problema 4.10: Propuesto para la IMO, 1998

Sean a1 , a2 , ..., an números positivos con a1 + a2 + · · · + an < 1, demostrar que

a1 a2 ...an [1 − (a1 + a2 + · · · + an )] 1
≤ n+1 .
(a1 + a2 + · · · + an )(1 − a1 )(1 − a2 )...(1 − an ) n

Comencemos demostrando un resultado que necesitaremos:

1 1
Lema: Si x1 , ..., xn > 0 son tales que 1+x1 + · · · + 1+xn
= 1, entonces

x1 ...xn ≥ (n − 1)n .

49
 CAPÍTULO 4. PROBLEMAS DE OLIMPIADAS INTERNACIONALES

1 1 1−yi
Demostración. Notemos yi = 1+xi . Entonces xi = yi −1 =
Nótese que y1 + · · · + yn = 1 implica
yi .

1
que 1 − yi = ∑ j6=i y j , y por tanto, por MA-MG, se tiene que ∑ j6=i yi ≥ (n − 1) ∏ j6=i y j n−1 . Por último

1
(n − 1)n ∏i ∏ j6=i y j n−1
 

1 − yi ∏i ∑ j6=i y j
∏ xi = ∏ = ≥ = (n − 1)n .
i i yi ∏i yi ∏i yi

1−ai
Para completar el problema definimos an+1 = 1 − (a1 + · · · + an ) y xi = ai para i = 1, ..., n + 1 y
aplicamos directamente el lema.
Problema 4.11: Lista corta IMO, 1998
Si r1 , . . . , rn son números reales mayores que 1, demuestra que:
1 1 1
+···+ ≥√ .
1 + r1 1 + rn n r ...r +1
1 n

1 −ex
En primer lugar, notemos que la función f (x) = es convexa en R+ , ya que f 0 (x) = (1+ex )2
y
1 + ex
ex (ex −1)
f 00 (x) = (ex +1)3
≥ 0 para x > 0.

Ahora, si ri > 1, entonces ri = exi para algunos xi > 0. Como f (x) es convexa, por la desigualdad de
Jensen:  
1 1 1 1
x1 +···+xn ≤ x1
+···+ xn
,
e n +1 n 1 + e 1 + e
de donde
1 1 1
√
n r ...r +1
≤ + · · · + .
1 n 1 + r1 1 + rn

Problema 4.12: Lista corta IMO, 1998

Sean a, b, c reales positivos tales que abc = 1, demuestra que

a3 b3 c3 3
+ + ≥ .
(1 + b)(1 + c) (1 + c)(1 + a) (1 + a)(1 + b) 4

Supongamos que a ≤ b ≤ c, entonces

1 1 1
≤ ≤ .
(1 + b)(1 + c) (1 + c)(1 + a) (1 + a)(1 + b)

Podemos usar la desigualdad de Chebyshev para probar que

a3 b3 c3
+ +
(1 + b)(1 + c) (1 + c)(1 + a) (1 + a)(1 + b)
 
1 3 3 3 1 1 1
≥ (a + b + c ) + +
3 (1 + b)(1 + c) (1 + c)(1 + a) (1 + a)(1 + b)
1 3 + (a + b + c)
= (a3 + b3 + c3 ) .
3 (1 + a)(1 + b)(1 + c)

50
CAPÍTULO 4. PROBLEMAS DE OLIMPIADAS INTERNACIONALES

Finalmente, usamos que 13 (a3 + b3 + c3 ) ≥ ( a+b+c 3

3 ) ,
a+b+c
3 ≥ 1 y (1 + a)(1 + b)(1 + c) ≤ ( 3+a+b+c
3 )3
para ver que
 3
1 3 3 + (a + b + c) a+b+c 6 6
(a + b3 + c3 ) ≥ a+b+c 3
≥ .
3 (1 + a)(1 + b)(1 + c) 3 (1 + 3 )
8
a+b+c
1
Para la última desigualdad, úsese que 3
≥
1+ a+b+c
3
2

Problema 4.13: Lista Corta Olimpiada Iberoamericana, 2003

Sean a, b, c números reales positivos, demostrar que:

a3 b3 c3
+ + ≥ a + b + c.
b2 − bc + c2 c2 − ca + a2 a2 − ab + b2

Obsérvese que
a3 b3 c3
+ + ≥ a+b+c
b2 − bc + c2 c2 − ca + a2 a2 − ab + b2
es equivalente a la desigualdad

a3 (b + c) b3 (c + a) c3 (a + b)
+ 3 + 3 ≥ a + b + c,
b3 + c3 c + a3 a + b3
que es equivalente a

a3 (b + c)(a3 + c3 )(a3 + b3 ) + b3 (c + a)(b3 + c3 )(a3 + b3 )+

+ c3 (a + b)(a3 + c3 )(b3 + c3 )
≥ (a + b + c)(a3 + b3 )(b3 + c3 )(c3 + a3 )

La última desigualdad puede ser escrita en términos del teorema de Muirhead como:
  
1 1
[9, 1, 0] + [6, 4, 0] + [6, 3, 1] + [4, 3, 3] ≥ [1, 0, 0] [6, 3, 0] + [3, 3, 3]
2 3
= [7, 3, 0] + [6, 4, 0] + [6, 3, 1] + [4, 3, 3]
⇔ [9, 1, 0] ≥ [7, 3, 0]

que es cierto por el citado teorema.

Problema 4.14: OMI, 1961 (Desigualdad de Weitzenböck)
Sean a, b, c los lados de un triángulo con área S. Demuestra que
√
a2 + b2 + c2 ≥ 4 3S.

Sean a = y + z, b = z + x, c = x + y para x, y, z > 0. Ahora, tomemos la Fórmula de Herón para expresar

la superficie en función de x, y y z:
a+b+c y+z+z+x+x+y
p= = = x + y + z,
2 2
y por lo tanto, p p
S= p(p − a)(p − b)(p − c) = 2(x + y + z)xyz,

51
 CAPÍTULO 4. PROBLEMAS DE OLIMPIADAS INTERNACIONALES

que puede obtenerse ası́:

(y + z)2 + (z + x)2 + (x + y)2 = y2 + z2 + 2yz + z2 + x2 + 2zx + x2 + y2 + 2xy

≥ 2yz + 2yz + 2zx + 2zx + 2xy + 2xy
= 4(yz + zx + xy),

donde hemos usado que p2 + q2 ≥ 2pq, consecuencia inmediata de MA-MG. Ası́, tenemos:

((y + z)2 + (z + x)2 + (x + y)2 )2 ≥ 16(yz + zx + xy)2 ,

Para continuar, necesitaremos dos observaciones:

Observación 1: Si a, b y c son números reales, entonces a2 + b2 + c2 ≥ ab + bc + ca. En efecto, como
(a − b)2 + (b − c)2 + (c − a)2 ≥ 0, se deduce que 2(a2 + b2 + c2 ) ≥ 2(ab + bc + ca), o equivalente-
mente, a2 + b2 + c2 ≥ ab + bc + ca.
Observación 2: Si a, b y c son números reales, entonces (a + b + c)2 ≥ 3(ab + bc + ca). Usando la
observación anterior:

(a + b + c)2 = a2 + b2 + c2 + 2(ab + bc + ca)

≥ ab + bc + ca + 2(ab + bc + ca) = 3(ab + bc + ca).

Ahora, podemos terminar la resolución del problema:

16(yz + zx + xy)2 ≥ 16 · 3(xy · yz + yz · zx + xy · yz) = 48(x + y + z)xyz.

Problema 4.15: APMO 2004

Demuestra que para a, b, c números reales positivos se tiene

(a2 + 2)(b2 + 2)(c2 + 2) ≥ 9(ab + bc + ca).

√ √ √
Tomamos A, B,C ∈ (0, π2 ), con a = 2 tan A, b = 2 tan B, c = 2 tanC. Usando que 1 + tan2 α =
1
cos2 α
, podemos reescribir la desigualdad como

4
≥ cos A cos B cosC(cos A sin B sinC + sin A cos B sinC + sin A sin B cosC).
9
Usando la identidad trigonométrica

cos(A + B +C) = cos A cos B cosC − cos A sin B sinC − sin A cos B sinC − sin A sin B cosC,

podemos escribir la desigualdad como

4
≥ cos A cos B cosC(cos A cos B cosC − cos(A + B +C)).
9
A+B+C
Sea θ = 3 . Usando MA-MG y la desigualdad de Jensen, tenemos:
 3
cos A cos B cosC
cos A cos B cosC ≤ ≥ cos3 θ .
3
Ahora, tendremos que demostrar que
4
cos3 (θ ) ≥ cos3 θ (cos3 θ − cos 3θ ).
9

52
CAPÍTULO 4. PROBLEMAS DE OLIMPIADAS INTERNACIONALES

Usando la igualdad trigonométrica

cos 3θ = 4 cos3 θ − 3 cos θ , cos3 θ − cos 3θ = 3 cos θ − 3 cos3 θ ,

la desigualdad se convierte en
4
≥ cos4 (1 − cos2 θ ),
27
que es cierta gracias a MA-MG:
1/3
cos2 θ cos2 θ 1 cos2 θ cos2 θ
  
2 2 1
· · (1 − cos θ ) ≤ + + (1 − cos θ ) = .
2 2 3 2 2 3

La igualdad se da si y sólo si tan A = tan B = tanC = √1 , es decir, cuando a = b = c = 1.

2

Problema 4.16: IMO 2001

Sen a, b, c números reales positivos. Demuestra que
a b c
√ + 2 + 2 ≥ 1.
a2 + 8bc b + 8ca c + 8ab

a b c
Hacemos la sustitución x = a+b+c , y= a+b+c , z= a+b+c . Dividiendo por a + b + c Ası́ pues, tenemos

x f (x2 + 8yz) + y f (y2 + 8zx) + z f (z2 + 8xy) ≥ 1,

donde f (t) = 1t . Como f es convexa en R+ y x + y + z = 1, aplicamos la desigualdad de Jensen para

obtener

x f (x2 + 8yz) + y f (y2 + 8zx) + z f (z2 + 8xy) ≥ f (x(x2 + 8yz) + y(y2 + 8zx) + z(z2 + 8xy)).

Nótese que f (1) = 1. Como f es estrictamente decreciente, es suficiente probar que

1 ≥ x(x2 + 8yz) + y(y2 + 8zx) + z(z2 + 8xy).

Usando que x + y + z = 1, podemos homogeneizar la desigualdad como (x + y + z)3 ≥ x(x2 + 8yz) +

y(y2 + 8zx) + z(z2 + 8xy).Sin embargo, podemos verlo como

(x + y + z)3 − x(x2 + 8yz) − y(y2 + 8zx) − z(z2 + 8xy) = 3[x(y − z)2 + y(z − x)2 + z(x − y)2 ] ≥ 0

53
CAPÍTULO 4. PROBLEMAS DE OLIMPIADAS INTERNACIONALES

54
 Bibliografı́a

[1] B ULAJICH M ANFRINO , R., G ÓMEZ O RTEGA , J. A., AND VALDEZ D ELGADO , R. Inequalities:
a mathematical olympiad approach. Springer Science & Business Media, 2009.
[2] C VETKOVSKI , Z. Inequalities: Theorems, Techniques and Selected Problems. Springer Science
& Business Media, 2012.
[3] H ERMAN , J., K UCERA , R., AND S IMSA , J. Equations and inequalities: elementary problems
and theorems in algebra and number theory, vol. 1. Springer Science & Business Media, 2000.
[4] L ARSON , L. C. Problem-solving through problems. Springer Science & Business Media, 2012.
[5] S ÁNCHEZ -RUBIO G ARC ÍA , C., AND R IPOLL ÉS A MELA , M. Manual de matemáticas para
preparación olı́mpica, vol. 7. Universitat Jaume I, 2000.
[6] X AMB Ó , S. Sessions de preparació per a l’olimpı́ada matemàtica, 1997.

Bibliografı́a Web
http://www.olimpiadamatematica.es/platea.pntic.mec.es/_csanchez/olimmain.html
https://wdb.ugr.es/~olimpiada/
http://www.imo-official.org/
https://artofproblemsolving.com
https://math.stackexchange.com/questions/tagged/inequality
http://www.imomath.com/

55
 Índice alfabético

desigualdad
de Cauchy-Schwarz, 13, 15, 25, 27, 28, 43,
47
de Cauchy-Schwarz en la forma de Engel, 15,
29–32, 36, 37, 39
de Chebyshev, 9, 10, 33, 50
de Hölder, 12, 30
de Jensen, 11, 21, 25, 27, 29, 34, 42, 50, 52,
53
de las medias, 5, 17, 21–23, 28, 29, 33, 35,
36, 38, 40–43, 47, 50, 52, 53
de Minkowski, 13
de Muirhead, 7, 8, 46, 51
de reordenación, 8, 14, 42, 46, 47, 49
de Young, 12
triangular, 3
triangular generalizada, 4

función
cóncava, 11
convexa, 10

media simétrica, 6

subconjunto convexo, 11

valor absoluto, 3

56