La desigualdad del reacomodo,

una desigualdad poderosa

Por Carlos Jacob Rubio Barrios

Nivel Avanzado

Consideremos dos conjuntos de números reales {a1 , a2 , . . . , an } y {b1 , b2 , . . . , bn }. De

entre todas las permutaciones (a′j ) de (aj ) y (b′j ) de (bj ), ¿cuál pareja de permutaciones
X
maximiza la suma a′j b′j y cual pareja de permutaciones la minimiza? La respuesta
a esta pregunta está contenida en el siguiente resultado conocido como desigualdad del
reacomodo.

Teorema (Desigualdad del reacomodo). Sean a1 ≤ a2 ≤ · · · ≤ an y b1 ≤ b2 ≤

· · · ≤ bn (o a1 ≥ a2 ≥ · · · ≥ an y b1 ≥ b2 ≥ · · · ≥ bn ) dos sucesiones de números
reales. Si a′1 , a′2 , . . . , a′n es cualquier permutación de a1 , a2 , . . . , an , entonces
n
X n
X n
X
aj bn+1−j ≤ a′j bj ≤ aj b j . (1)
j=1 j=1 j=1

Pn
Por lo tanto, la suma j=1 aj bj es máxima cuando las dos sucesiones (aj ) y (bj ) están
ordenadas de manera similar (esto es, cuando ambas son no-decrecientes o cuando
ambas son no-crecientes). Y la suma es mı́nima cuando (aj ) y (bj ) están ordenadas de
forma opuesta (esto es, una de ellas es creciente y la otra es decreciente).

Demostración. Asumiremos que ambas sucesiones (aj ) y (bj ) son no-decrecientes; la

prueba es similar en el otro caso. Supongamos que (a′j ) 6= (aj ). Sea r el mayor ı́ndice
tal que a′r 6= ar , esto es, a′r 6= ar y a′j = aj para r < j ≤ n. Esto implica que a′r
está en el conjunto {a1 , a2 , . . . , ar−1 } y a′r < ar . Más aún, esto también muestra que
a′1 , a′2 , . . . , a′r es una permutación de a1 , a2 , . . . , ar . Luego, podemos encontrar ı́ndices
2 La desigualdad del reacomodo, una desigualdad poderosa

k < r y ℓ < r tales que a′k = ar y a′r = aℓ . Se sigue que

a′k − a′r = ar − aℓ ≥ 0, br − bk ≥ 0.

Ahora intercambiamos a′r y a′k para obtener una permutación a′′1 , a′′2 , . . . , a′′n de a′1 ,
a′2 , . . . , a′n ; luego  ′′
 aj = a′j si j 6= r, k
′′ ′
a = ak = ar ,
 ′′r
ak = a′r = aℓ .
Consideremos las sumas

S ′′ = a′′1 b1 + a′′2 b2 + · · · + a′′n bn , S ′ = a′1 b1 + a′2 b2 + · · · + a′n bn .

Entonces,
n
X
S ′′ − S ′ = (a′′j − a′j )bj = (a′′k − a′k )bk + (a′′r − a′r )br
j=1

= (a′r − a′k )bk + (a′k − a′r )br = (a′k − a′r )(br − bk ).

Como a′k − a′r ≥ 0 y br − bk ≥ 0, concluimos que S ′′ ≥ S ′ . Observemos que la

permutación a′′1 , a′′2 , . . . , a′′n de a′1 , a′2 , . . . , a′n tiene la propiedad de que a′′j = a′j = aj
para r < j ≤ n y a′′r = a′k = ar . De esta forma, podemos considerar la permutación
(a′′j ) en lugar de (a′j ) y repetimos el procedimiento anterior. Después de a lo más n − 1
pasos, obtenemos la permutación original (aj ) a partir de (a′j ). En cada paso, la suma
correspondiente es no-decreciente. Por lo tanto, se sigue que

a′1 b1 + a′2 b2 + · · · + a′n bn ≤ a1 b1 + a2 b2 + · · · + an bn . (2)

Para obtener la otra desigualdad, pongamos

cj = a′n+1−j , dj = −bn+1−j .

Entonces, c1 , c2 , . . . , cn es una permutación de a1 , a2 , . . . , an y d1 ≤ d2 ≤ · · · ≤ dn .

Usando la desigualdad (2) para las sucesiones (cj ) y (dj ), obtenemos que

c1 d1 + c2 d2 + · · · + cn dn ≤ a1 d1 + a2 d2 + · · · + an dn .

Sustituyendo los valores de cj y dj , obtenemos que

n
X n
X
− a′n+1−j bn+1−j ≤ − aj bn+1−j ,
j=1 j=1

esto es,

a′1 b1 + a′2 b2 + · · · + a′n bn ≥ a1 bn + a2 bn−1 + · · · + an b1 , (3)

que es la segunda desigualdad.

No es difı́cil ahora determinar las condiciones bajo las cuales se dan las igualdades
C. J. Rubio Barrios, Tzaloa No. 3, 2021 3

en las desigualdades anteriores. Si para cada par k, ℓ con 1 ≤ k < ℓ ≤ n, o bien

a′k = a′ℓ o a′k > a′ℓ y bk = bℓ , entonces se sostiene la igualdad en (2). Una condición
similar se cumple para la igualdad en (3): para cada k, ℓ con 1 ≤ k < ℓ ≤ n, o bien
a′n+1−k = a′n+1−ℓ o a′n+1−k > a′n+1−ℓ y bn+1−k = bn+1−ℓ . 

Corolario 1. Sean a1 , a2 , . . . , an números reales y sea b1 , b2 , . . . , bn una permutación

de a1 , a2 , . . . , an . Entonces,
Xn n
X
ai b i ≤ a2i ,
j=1 j=1

con la igualdad si y solo si (aj ) = (bj ).

Demostración. Sea a′1 , a′2 , . . . , a′n una permutación de a1 , a2 , . . . , an tal que a′1 ≤
a′2 ≤ · · · ≤ a′n . Entonces, podemos encontrar una función biyectiva σ de {1, 2, . . . , n}
sobre sı́ mismo tal que a′j = aσ(j) para 1 ≤ j ≤ n, esto es, σ es una permutación
del conjunto {1, 2, . . . , n}. Sea b′j = bσ(j) . Entonces, b′1 , b′2 , . . . , b′n es una permu-
tación de a′1 , a′2 , . . . , a′n . Aplicando la desigualdad del reacomodo a a′1 , a′2 , . . . , a′n y
b′1 , b′2 , . . . , b′n , obtenemos que
n
X n
X n
X
a′j b′j ≤ (a′j )2 = a2j .
j=1 j=1 j=1

Por otro lado, observemos que

n
X n
X n
X
a′j b′j = aσ(j) bσ(j) = aj b j ,
j=1 j=1 j=1

ya que σ es una biyección de {1, 2, . . . , n}. Por lo tanto, se sigue que

n
X n
X
aj b j ≤ a2j .
j=1 j=1

Supongamos que se da la igualdad en la desigualdad y que (aj ) 6= (bj ). Entonces,

(a′j ) 6= (b′j ). Sea k el ı́ndice más grande tal que a′k 6= b′k , esto es, a′k 6= b′k y a′j = b′j
para k < j ≤ n. Sea m el menor entero tal que a′k = b′m . Si m > k, entonces b′m = a′m
y, por lo tanto, a′k = a′m . Esto implica que a′k = a′k+1 = · · · = a′m y, en consecuencia,
b′k+1 = · · · = b′m . Pero ahora tenemos un bloque de m + 1 − k elementos iguales entre
los a′i ’s y m−k elementos entre los b′i ’s. Se sigue que existe m1 > m tal que a′k = b′m1 .
Usando a m1 como pivote, obtenemos que a′k = a′k+1 = · · · = a′m = · · · = a′m1
y b′k+1 = · · · = b′m = · · · b′m1 . Este proceso no puede continuar indefinidamente.
Concluimos que a′k = b′ℓ para algún ℓ < k, lo cual implica que m < k.
Es claro que b′m 6= b′k por la elección de k. Sabemos que la igualdad se sostiene si y
solo si para cualesquiera dos ı́ndices r 6= s, o bien a′r = a′s o b′r = b′s . Como b′m 6= b′k ,
debemos tener a′m = a′k . Pero entonces tenemos que a′m = a′m+1 = · · · = a′k . Usando
la minimalidad de m, vemos que k − m+ 1 elementos iguales a′m , a′m+1 , . . . , a′k deben
4 La desigualdad del reacomodo, una desigualdad poderosa

estar entre b′m , b′m+1 , . . . , b′n y, como b′k es distinto de a′k , debemos tener que a′k = b′ℓ
para algún ℓ > k. Ahora, usando que b′ℓ = a′ℓ , obtenemos que

a′m = a′m+1 = · · · = a′k = · · · = a′ℓ .

Luego, el número de elementos iguales aumentó a ℓ − m + 1 > k − m + 1. Como

este proceso no puede continuar de manera indefinida, concluimos que (a′j ) = (b′j ). Se
sigue ahora que (aj ) = (bj ). 

Corolario 2. Sean a1 , a2 , . . . , an números reales positivos. Si b1 , b2 , . . . , bn es una

permutación de a1 , a2 , . . . , an , entonces
n
X bi
≥ n,
a
j=1 i

con la igualdad si y solo si (aj ) = (bj ).

Demostración. Sea a′1 , a′2 , . . . , a′n una permutación de a1 , a2 , . . . , an tal que a′1 ≤
a′2 ≤ · · · ≤ a′n . Como en la prueba del Corolario 1, podemos encontrar una permu-
tación σ de {1, 2, . . . , n} tal que a′j = aσ(j) para 1 ≤ j ≤ n. Definamos b′j = bσ(j) .
Entonces, (b′j ) es una permutación de (a′j ). Usando la desigualdad del reacomodo, ob-
tenemos que Ç å Ç å
n n
X
′ 1 X
′ 1
bj − ′ ≤ aj − ′ = −n.
j=1
aj j=1
aj

Esto prueba la desigualdad. La condición para la igualdad se puede obtener como se

hizo en la prueba del Corolario 1. 

A continuación veremos algunas aplicaciones de la desigualdad del reacomodo en la

solución de problemas de olimpiada.

Ejemplo 1. Sean a, b, c números reales positivos. Demostrar que

a5 + b5 + c5 ≥ a4 b + b4 c + c4 a.

Solución. Sin pérdida de generalidad, supongamos que a ≥ b ≥ c > 0 (como la

desigualdad es cı́clica debemos también considerar el caso c ≥ b ≥ a). Entonces,
a4 ≥ b4 ≥ c4 . Aplicando la desigualdad derecha en la desigualdad del reacomodo,
obtenemos que aa4 + bb4 + cc4 ≥ ba4 + cb4 + ac4 , que es la desigualdad deseada.
Si c ≥ b ≥ a > 0, entonces c4 ≥ b4 ≥ a4 . Aplicando la desigualdad derecha en la
desigualdad del reacomodo, obtenemos que cc4 + bb4 + aa4 ≥ ac4 + cb4 + ba4 , que
es la desigualdad deseada.

Ejemplo 2. Sean a, b, c números reales positivos. Demostrar que:

a2 + c2 b 2 + a2 c2 + b 2
+ + ≥ 2(a + b + c).
b c a
C. J. Rubio Barrios, Tzaloa No. 3, 2021 5

Solución. Como la desigualdad es simétrica, podemos asumir, sin pérdida de generali-

dad, que a ≥ b ≥ c > 0. Entonces, a2 ≥ b2 ≥ c2 y 1c ≥ 1b ≥ a1 .
Aplicando la desigualdad izquierda en la desigualdad del reacomodo, obtenemos que

a2 b2 c2 1 1 1 1 1 1
+ + = a2 · + b 2 · + c2 · ≥ a2 · + b 2 · + c2 · = a + b + c
b c a b c a a b c
y también

a2 b2 c2 1 1 1 1 1 1
+ + = a2 · + b2 · + c2 · ≥ a2 · + b2 · + c2 · = a + b + c.
c a b c a b a b c
Sumando estas dos desigualdades, obtenemos la desigualdad deseada.

Ejemplo 3. Sean x, y, z números reales positivos. Demostrar que

x2 − z 2 y 2 − x2 z 2 − y2
+ + ≥ 0.
y+z z+x x+y
x2 y2
Solución. La desigualdad a demostrar es equivalente a la desigualdad y+z + z+x +
z2 z2 x2 y2
x+y ≥ y+z + +
z+x Sin pérdida de generalidad, podemos asumir que x ≥
x+y .
y ≥ z > 0 (como la desigualdad es cı́clica, también consideraremos el caso z ≥ y ≥
1 1 1
x). Entonces, x2 ≥ y 2 ≥ z 2 y y+z ≥ z+x ≥ x+y . Aplicando la desigualdad del
reacomodo, obtenemos que

x2 y2 z2 z2 x2 y2
+ + ≥ + + .
y+z z+x x+y y+z z+x x+y
1 1 1
Si ahora suponemos que z ≥ y ≥ x, entonces z 2 ≥ y 2 ≥ x2 y x+y ≥ x+z ≥ z+y .
Aplicando la desigualdad del reacomodo, obtenemos que

x2 y2 z2 1 1 1
+ + = z2 · + x2 · + y2 ·
y+z z+x x+y x+y y+z z+x
2 1 2 1 2 1
≥z +x · +y ·
y+z z+x x+y
z2 x2 y2
= + + .
y+z z+x x+y
En cualquier caso, se obtiene la desigualdad deseada. La igualdad se sostiene si y solo
si x = y = z.

Ejemplo 4. Sean x, y, z números reales positivos. Demostrar que:

x3 y3 z3
+ + ≥ x + y + z.
yz zx xy
Solución. Como la desigualdad es simétrica, podemos asumir que x ≥ y ≥ z > 0.
1 1 1
Entonces, x3 ≥ y 3 ≥ z 3 y yz ≥ zx ≥ xy . Aplicando la desigualdad del reacomodo,
6 La desigualdad del reacomodo, una desigualdad poderosa

obtenemos que

x3 y3 z3 1 1 1
+ + = x3 · + y3 · + z3 ·
yz zx xy yz zx xy
1 1 1 x2 y2 z2
≥ x3 · + y3 · + z3 · = + + . (4)
xy yz zx y z x
Demostraremos ahora que

x2 y2 z2
+ + ≥ x + y + z. (5)
y z x
1 1
Como x ≥ y ≥ z > 0, tenemos que x2 ≥ y 2 ≥ z 2 y z ≥ y ≥ x1 .
Por la desigualdad del reacomodo, obtenemos que

x2 y2 z2 x2 y2 z2
+ + ≥ + + = x + y + z.
y z x x y z
El caso cuando z ≥ y ≥ x es análogo al anterior.
x3 y3 z3
Luego, de (4) y (5) obtenemos que yz + zx + xy ≥ x + y + z. La igualdad se da si y
solo si x = y = z.

Ejemplo 5. Sean x, y, z números reales positivos. Demostrar que

X
(z + x)(x + y)(y + z − x)(z − x) ≥ 0,

donde la suma es considerada cı́clicamente sobre x, y, z.

Solución. Pongamos z + x = 2a, x + y = 2b y y + z = 2c. Resolviendo este sistema

de ecuaciones en x, y, z, obtenemos que x = a + b − c, y = b + c − a y z = c + a − b
y la desigualdad es equivalente a la desigualdad
X
ab(3c − a − b)(c − b) ≥ 0, (6)

donde la suma se considera cı́clicamente sobre a, b, c.

Como x, y, z son números reales positivos, tenemos que a, b, c son las longitudes de
los lados de un triángulo.
Si a ≤ b ≤ c, entonces
s − 2a s − 2b s − 2c
≥ ≥ ,
a b c
donde 2s = a + b + c.
Si b ≤ a ≤ c, entonces
s − 2b s − 2a s − 2c
≥ ≥ .
b a c
En cualquier caso, aplicando la desigualdad del reacomodo obtenemos que
(s − 2a) (s − 2b) (s − 2c) (s − 2b) (s − 2c) (s − 2a)
a +b +c ≤a +b +c ,
a b c b c a
C. J. Rubio Barrios, Tzaloa No. 3, 2021 7

esto es,
(c − a)(s − 2a) (a − b)(s − 2b) (b − c)(s − 2c)
+ + ≥ 0.
a b c
Simplificando, obtenemos la desigualdad (6).

Ejemplo 6. (Examen selectivo de la India para la IMO de 1997). Sean a, b y c

números reales positivos. Demostrar que
1 1 1 3
+ + ≥ .
a(1 + b) b(1 + c) c(1 + a) 1 + abc

Solución. La desigualdad se puede reescribir en la forma

Å ã Å ã Å ã
1 bc 1 ac 1 ab
+ + + + + ≥ 3,
a(1 + b) 1 + b b(1 + c) 1 + c c(1 + a) 1 + a
esto es,
Å ã Å ã Å ã
1 ab 1 bc 1 ac
+ + + + + ≥ 3. (7)
a(1 + b) 1 + a b(1 + c) 1 + b c(1 + a) 1 + c

Observemos que

1 ab 1 1 1
+ = · +b· .
a(1 + b) 1 + a a 1+b 1
1+
a
1 1+a 1 1
Si ≥ b, entonces ≥ 1 + b y, por consiguiente, ≥ .
a a 1+b 1
1+
a
1 1+a 1 1
Si ≤ b, entonces ≤ 1 + b y, por consiguiente, ≤ .
a a 1+b 1
1+
a
Aplicando la desigualdad del reacomodo, obtenemos que

1 1 1 1 1 1 1 b
· +b· ≥ · +b· = + . (8)
a 1+b 1+ 1 a 1 1+b 1+a 1+b
a 1+
a
De manera análoga, con los otros sumandos obtenemos que
1 1 1 c 1
· +c· ≥ + , (9)
b 1+c 1 1+b 1+c
1+
b
1 1 1 1 a
· +a· ≥ + . (10)
c 1+a 1 1+c 1+a
1+
c
Finalmente, sumando las desigualdades (8), (9) y (10), obtenemos la desigualdad (7).
8 La desigualdad del reacomodo, una desigualdad poderosa

Ejemplo 7. Sean a1 , a2 , . . . , an números reales positivos y s = a1 + a2 + · · · + an .

Demostrar que
a1 a2 an n
+ + ···+ ≥ .
s − a1 s − a2 s − an n−1
Solución. Observemos que la suma del lado izquierdo de la desigualdad es simétrica
en las aj ’s y, por lo tanto, podemos suponer que a1 ≤ a2 ≤ · · · ≤ an . Esto implica
que
s − a1 ≥ s − a2 ≥ · · · ≥ s − an
y
1 1 1
≤ ≤ ··· ≤ .
s − a1 s − a2 s − an
Para cualquier k, consideremos la permutación de a1 , a2 , . . . , an definida por

 ak+j−1 si 1 ≤ j ≤ n − k + 1,
bj =

ak+j−1−n si n − k + 2 ≤ j ≤ n.

Usando la desigualdad del reacomodo, obtenemos que

a1 a2 an ak ak+1 an
+ + ··· + ≥ + + ···+ +
s − a1 s − a2 s − an s − a1 s − a2 s − an+k−1
a1 ak−1
+ + ··· +
s − an+k s − an
para cada k. Sumando ahora sobre k, con 2 ≤ k ≤ n, obtenemos que
Ñ é
Å ã X n
a1 a2 an 1 X
(n − 1) + + ···+ ≥ aℓ
s − a1 s − a2 s − an j=1
s − aj
ℓ6=j
n
X s − aj
= = n,
j=1
s − aj

n
X aj n
lo cual implica que ≥ .
j=1
s − aj n−1

Ejemplo 8. (Estados Unidos, 1974). Sean a, b, c números reales positivos. Demostrar

que
aa bb cc ≥ (abc)(a+b+c)/3 .
Solución. Si x, y son números reales positivos tales que x ≤ y, entonces ln x ≤ ln y (la
función logaritmo natural es no decreciente). Luego, por la desigualdad del reacomodo
tenemos que
x ln x + y ln y ≥ x ln y + y ln x.
Como la función exponencial es no decreciente, ex ln x+y ln y ≥ ex ln y+y ln x , esto es,
xx y y ≥ xy y x . Por lo tanto, tenemos que

aa b b ≥ ab b a , b b cc ≥ b c cb , cc aa ≥ ca ac .
C. J. Rubio Barrios, Tzaloa No. 3, 2021 9

Multiplicando estas tres desigualdades, resulta que

(aa bb cc )2 ≥ ab+c bc+a ca+b .

Multiplicando esta desigualdad de ambos lados por aa bb cc , obtenemos que

(aa bb cc )3 ≥ ab+c+a bc+a+b ca+b+c ,

de donde se sigue que aa bb cc ≥ (abc)(a+b+c)/3 .

Ejemplo 9. (IMO, 1995). Sean a, b, c números reales positivos tales que abc = 1.
Demostrar que
1 1 1 3
3
+ 3 + 3 ≥ .
a (b + c) b (c + a) c (a + b) 2
Solución. Como la expresión del lado izquierdo de la desigualdad es simétrica, pode-
mos suponer que a ≥ b ≥ c. Sean x = a1 , y = 1b , z = 1c . Como abc = 1, tenemos
también que xyz = 1. Entonces,

1 1 1 x3 y3 z3
3
+ 3 + 3 = 1 1 + 1 1 + 1 1
a (b + c) b (c + a) c (a + b) y + z z + x x + y
x2 y2 z2
= + + .
y+z z+x x+y
x y z
Como c ≤ b ≤ a, tenemos que x ≤ y ≤ z, lo cual implica que y+z ≤ z+x ≤ x+y . Por
x y 2 2
ejemplo, y+z ≤ z+x si y solo si y + yz ≥ xz + x si y solo si (y − x)(x + y + z) ≥ 0.
Aplicando la desigualdad del reacomodo, obtenemos las desigualdades:

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

Sumando término a término estas dos desigualdades obtenemos que

Å ã
1 1 1
2 3 + +
a (b + c) b3 (c + a) c3 (a + b)
Å 2 ã
x y2 z2
=2 + +
y+z z+x x+y
xy yz zx xz yx zy
≥ + + + + +
y+z z+x x+y y+z z+x x+y
=x+y+z
√
≥ 3 3 xyz = 3,

donde la última desigualdad es por MG-MA. El resultado ahora es inmediato.

10 La desigualdad del reacomodo, una desigualdad poderosa

Algunas desigualdades clásicas vı́a la desigualdad del reacomodo

Observemos que en la desigualdad del reacomodo no es necesario que los ai ’s y los bi ’s
sean positivos. Esto a menudo no sucede con otras desigualdades. Por ejemplo, en la
desigualdad MH-MG-MA (media armónica - media geométrica - media aritmética) es
necesario que los números sean positivos. Esta es una razón de que la desigualdad del
reacomodo sea un resultado sorprendentemente fuerte. En particular, puede ser usado
para deducir varias desigualdades clásicas.

A continuación usaremos la desigualdad del reacomodo para demostrar algunas de-

sigualdades clásicas como la desigualdad MH-MG-MA, la desigualdad de Cauchy-
Schwarz y la desigualdad de Tchebyshev.

Teorema. (Desigualdad MH-MG-MA). Sean a1 , a2 , . . . , an números reales positi-

vos. Entonces
n √ a1 + a2 + · · · + an
1 1 1 ≤ n
a1 a2 · · · an ≤ .
a1 + a2 + ···+ an
n

Las igualdades se sostienen si y solo si a1 = a2 = · · · = an .

a1 a2 · · · ak
Demostración. Sean G = (a1 a2 · · · an )1/n y αk = para 1 ≤ k ≤ n.
Gk
Ahora, hagamos

β1 = α2 , β2 = α3 , . . . , βn−1 = αn , βn = α1 .

Aplicando el Corolario 2, obtenemos que

n n−1
X βi X αi+1 α1
n≤ = + .
i=1
αi i=1
αi αn

Por otro lado, tenemos que

αi+1 (a1 a2 · · · ai+1 )/Gi+1 ai+1 α1 a1

= = , = .
αi (a1 a2 · · · ai )/Gi G αn G

Por lo tanto,
n−1
X ai+1 a1 a1 + a2 + · · · + an
n≤ + = .
i=1
G G G

Aquı́ la igualdad se sostiene si y solo si (αi ) = (βi ) que es equivalente a α1 = α2 =

· · · = αn , lo cual a su vez es equivalente a a1 = a2 = · · · = an .
Usando el Corolario 2, tenemos también que
n
X αi G G G G
n≤ = + + ···+ + .
i=1
βi a2 a3 an a1
C. J. Rubio Barrios, Tzaloa No. 3, 2021 11

Esto implica que

n
1 1 1 ≤ G = (a1 a2 · · · an )1/n .
a1 + a2 + ···+ an

Aquı́ la igualdad se sostiene si y solo si a1 = a2 = · · · = an . 

Teorema. (Desigualdad de Cauchy-Schwarz). Si a1 , a2 , . . . , an , b1 , b2 , . . . , bn son

números reales, entonces
n
!2 n
! n !
X X X
ai b i ≤ a2i b2i .
i=1 i=1 i=1

La igualdad se sostiene si y solo si existe un úmero real k tal que ai = kbi para todo
i = 1, 2, . . . , n.
Pn Pn
Demostración. Si alguno de i=1 a2i o i=1 b2i es igual a 0, la desigualdad es inme-
diata. Supongamos entonces que

n
!1/2 n
!1/2
X X
A= a2i y B= b2i
i=1 i=1

son ambos positivos. Definamos

 ai
 α = si 1 ≤ i ≤ n,
 i
 A

 αn+i = bi


si 1 ≤ i ≤ n,
B
obteniendo ası́ 2n números: α1 , α2 , . . . , αn , αn+1 , . . . , α2n . Ahora, consideremos la
permutación βi = αn+i , βn+i = αi para 1 ≤ j ≤ n.
Aplicando el Corolario 1, obtenemos que
n
X n
X 2n
X
αi αn+i + αn+i αi ≤ α2i = 2.
i=1 i=1 i=1

Luego, se sigue que Å Pn ã

i=1ai b i
2 ≤ 2.
AB
Por lo tanto,
n n
!1/2 n
!1/2
X X X
ai bi ≤ AB = a2i b2i .
i=1 i=1 i=1

La igualdad se sostiene si y solo si αi = αn+i para 1 ≤ i ≤ n. Esto es equivalente a

a1 a2 an
= = ··· = = k,
b1 b2 bn
12 La desigualdad del reacomodo, una desigualdad poderosa

una constante. 

La desigualdad de Tchebyshev es una consecuencia directa de la desigualdad del reaco-

modo.

Teorema. (Desigualdad de Tchebyshev). Sean a1 ≤ a2 ≤ · · · ≤ an y b1 ≤ b2 ≤

· · · ≤ bn . Entonces,
Å ã
a1 b 1 + a2 b 2 + · · · + an b n  a1 + a2 + · · · + an  b 1 + b 2 + · · · + b n
≥ .
n n n

Demostración. Aplicando varias veces la desigualdad del reacomodo, tenemos que

a1 b 1 + a2 b 2 + · · · + an b n = a1 b 1 + a2 b 2 + · · · + an b n ,
a1 b 1 + a2 b 2 + · · · + an b n ≥ a1 b 2 + a2 b 3 + · · · + an b 1 ,
a1 b 1 + a2 b 2 + · · · + an b n ≥ a1 b 3 + a2 b 4 + · · · + an b 2 ,
..
.
a1 b1 + a2 b2 + · · · + an bn ≥ a1 bn + a2 b1 + · · · + an bn−1 .

Sumando las desigualdades anteriores, obtenemos que

n(a1 b1 + a2 b2 + · · · + an bn ) ≥ (a1 + a2 + · · · + an )(b1 + b2 + · · · + bn ),

de donde se sigue el resultado. 

Veamos algunos ejemplos adicionales.

Ejemplo 10. Sean a, b, c números reales positivos. Demostrar que

a8 + b 8 + c8 1 1 1
≥ + + .
a3 b 3 c3 a b c
Solución. Como la expresión es simétrica, podemos suponer que a ≤ b ≤ c. Entonces,
a2 ≤ b2 ≤ c2 y a6 ≤ b6 ≤ c6 . Aplicando la desigualdad de Tchebyshev, tenemos que

3(a8 + b8 + c8 ) = 3(a6 a2 + b6 b2 + c6 c2 ) ≥ (a6 + b6 + c6 )(a2 + b2 + c2 ).

Aplicando ahora la desigualdad MA - MG, tenemos que a6 + b6 + c6 ≥ 3a2 b2 c2 .

Luego,
3(a8 + b8 + c8 ) ≥ 3a2 b2 c2 (a2 + b2 + c2 ).
Además, por la desigualdad MA-MG tenemos que a2 + b2 ≥ 2ab, b2 + c2 ≥ 2bc y
a2 + c2 ≥ 2ac, de donde se sigue que a2 + b2 + c2 ≥ ab + bc + ac. Por lo tanto,
3(a8 + b8 + c8 ) ≥ 3a2 b2 c2 (ab + bc + ac), lo cual implica que

a8 + b 8 + c8 ab + bc + ac 1 1 1
3 3 3
≥ = + + .
a b c abc a b c
C. J. Rubio Barrios, Tzaloa No. 3, 2021 13

Ejemplo 11. Sean a ≥ b ≥ c > 0 y 0 < x ≤ y ≤ z. Demostrar que

Å ã
a b c a+b+c a+b+c
+ + ≥ √ ≥3 .
x y z 3 xyz x+y+z

Solución. Tenemos que a ≥ b ≥ c y x1 ≥ y1 ≥ 1z . Aplicando la desigualdad de

Tchebyshev con estos números, obtenemos que
Å ã Å ã
a b c 1 1 1
3 + + ≥ (a + b + c) + + .
x y z x y z

Por otro lado, aplicando la desigualdad MA-MG tenemos que

1 1 1 1 3
+ + ≥33 = √ .
x y z xyz 3 xyz

Luego, Å ã
a b c 3(a + b + c)
3 + + ≥ √ ,
x y z 3 xyz

de donde se sigue la desigualdad izquierda.

√
Aplicando una vez más la desigualdad MA-MG, obtenemos que x + y + z ≥ 3 3 xyz,
1 3 a+b+c 3(a + b + c)
esto es, √
3 xyz
≥ y, por lo tanto, √ ≥ , que es la
x+y+z 3
abc x+y+z
desigualdad derecha.

Ejemplo 12. (Desigualdad de Nesbitt). Sean a, b, c números reales positivos. Demos-

trar que
a b c 3
+ + ≥ .
b+c c+a a+b 2
Solución. Por la simetrı́a de la expresión, podemos suponer que a ≥ b ≥ c, lo cual
1 1 1
implica que a + b ≥ a + c ≥ b + c y, por lo tanto, b+c ≥ a+c ≥ a+b . Aplicando la
desigualdad de Tchebyshev, obtenemos que
Å ã Å ã
a b c 1 1 1
3 + + ≥ (a + b + c) + + .
b+c a+c a+b b+c a+c a+b

Desarrollando el producto del lado derecho de esta desigualdad, obtenemos que

Å ã Å ã
a b c a b c
3 + + ≥3+ + + ,
b+c a+c a+b b+c a+c a+b
esto es, Å ã
a b c
2 + + ≥ 3,
b+c a+c a+b
de donde se sigue el resultado.
14 La desigualdad del reacomodo, una desigualdad poderosa

Ejemplo 13. Sean a, b, c números reales positivos y sea n un número natural. Demos-
trar que
an bn cn an−1 + bn−1 + cn−1
+ + ≥ .
b+c c+a a+b 2
Solución. Como la expresión es simétrica en a, b, c, podemos asumir que a ≥ b ≥ c.
Entonces,
a b c
≥ ≥ .
b+c c+a a+b
a b
Por ejemplo, b+c ≥ c+a si y solo si ac+a2 ≥ bc+b2 si y solo si (a−b)(c+a+b) ≥ 0
si y solo si a ≥ b.
Por lo tanto, tenemos que

a b c
an−1 ≥ bn−1 ≥ cn−1 y ≥ ≥ .
b+c c+a a+b
Aplicando la desigualdad de Tchebyshev con estos números, obtenemos que
Å ã Å n ã
n−1 n−1 n−1

a b c a bn cn
a +b +c + + ≤3 + + .
b+c c+a a+b b+c c+a a+b

Aplicando ahora la desigualdad de Nesbitt, obtenemos

Å ã

a b c 3 n−1

an−1 + bn−1 + cn−1 + + ≥ a + bn−1 + cn−1 .
b+c c+a a+b 2

Por lo tanto,
Å ã
an bn cn 3 n−1

3 + + ≥ a + bn−1 + cn−1 ,
b+c c+a a+b 2

de donde se sigue el resultado.

Generalizaciones de la desigualdad del reacomodo

También hay una desigualdad dual de la desigualdad del reacomodo (ver [4]), aunque
es solo para números reales no negativos:

Teorema. Sean a1 ≤ a2 ≤ · · · ≤ an y b1 ≤ b2 ≤ · · · ≤ bn dos sucesiones de números

reales no negativos. Si a′1 , a′2 , . . . , a′n es una permutación de a1 , a2 , . . . , an , entonces

(a1 + b1 ) · · · (an + bn ) ≤ (a′1 + b1 ) · · · (a′n + bn ) ≤ (an + b1 ) · · · (a1 + bn ). (11)

En [3] se demuestra que las desigualdades (1) y (11) son equivalentes para números
reales positivos.
En [5], estas desigualdades son generalizadas a más de dos sucesiones de números no
negativos:
C. J. Rubio Barrios, Tzaloa No. 3, 2021 15

Teorema. Consideremos un conjunto de números reales no negativos {aij }, i = 1,

. . . , k, j = 1, . . . , n. Para cada i, sea a′i1 , a′i2 , . . . , a′in una permutación de los números
ai1 , ai2 , . . . , ain tal que a′i1 ≥ a′i2 ≥ · · · ≥ a′in . Entonces,
n Y
X k n Y
X k
aij ≤ a′ij ,
j=1 i=1 j=1 i=1
n
Y k
X n X
Y k
aij ≥ a′ij .
j=1 i=1 j=1 i=1

Para finalizar, dejamos una lista de desigualdades para el lector.

Ejercicios
1) Si a y b son números reales no negativos, demuestra que

2(a5 + b5 ) ≥ (a3 + b3 )(a2 + b2 ).

2) Sean a, b, c números reales positivos. Demuestra que

an + bn + cn ≥ an−1 b + bn−1 c + cn−1 a

para todo entero n ≥ 2.

3) Si a, b, c son números reales positivos, demuestra que
√ √ √
ab + bc + ca ≥ a bc + b ac + c ab.

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

a+b+c 1 1 1
≤ 2 + 2 + 2.
abc a b c

5) Sean a, b, c números reales positivos. Demuestra que

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

6) (China, 1984). Si a1 , a2 , . . . , an son números reales positivos, demuestra que

a21 a2 a2
+ 2 + · · · + n ≥ a1 + a2 + · · · + an .
a2 a3 a1

7) Sean a1 , a2 , . . . , an números reales positivos y s = a1 + a2 + · · · + an . Demuestra

que
a1 a2 an n2
+ + ···+ ≥ .
s − a1 s − a2 s − an n−1
 16 La desigualdad del reacomodo, una desigualdad poderosa

8) Sean a1 , a2 , . . . , an números reales positivos tales que a1 + a2 + · · · + an = 1.

Demuestra que
a1 a2 an n
+ + ···+ ≥ .
2 − a1 2 − a2 2 − an 2n − 1

9) Sean a ≥ c ≥ 0 y b ≥ d ≥ 0. Demuestra que (a + b + c + d)2 ≥ 8(ad + bc).

10) Sean a1 , a2 , . . . , an números reales en el intervalo [0, 1] tales que a1 +· · ·+an = 1.
n
X n − ai n2 − 1
Demuestra que ≥ .
i=1
1 + nai 2

Bibliografı́a
1) R. Bulajich Manfrino, J.A. Gómez Ortega, R. Valdez Delgado. Inequalities. Cua-
dernos de Olimpiadas de Matemáticas, Instituto de Matemáticas, UNAM, 2005.
2) Dragos Hrimiuc. The Rearrangement Inequality. π in the Sky. The Pacific Institute
for the Mathematical Sciences, December, 2000.
3) H. Minc. Rearrangements. Transactions of the American Mathematical Society, vol.
159, pp. 497-504, 1971.
4) A. Oppenheim. Inequalities connected with definite Hermitian forms, II. American
Mathematical Montly, vol. 61, pp. 463-466, 1954.
5) H. Ruderman. Two new inequalities. American Mathematical Montly, vol. 59, no.
1, pp. 29-32, 1952.