Documentos de Académico
Documentos de Profesional
Documentos de Cultura
November, 2004
Introduction ........................................................................1
Inequalities ........................................................................ 2
Problems 1........................................................................ 18
Proofs of the Inequalities ................................................. 23
Solutions to the Problems 1.............................................. 34
Problems 2 ....................................................................... 46
One more useful inequality .............................................. 49
Recent problems ............................................................... 51
INTRODUCTION
What follows is a list of eleven most useful algebraic inequalities with a large collection of ex-
amples and related problems. The inequalities are presented in a simple form: they may all be
strengthened and generalized. The choice of formulation is made in accordance with usefulness
for solving problems in mathematical competitions. Moreover, the inequalities presented here are
in no way independent. For example, Holders inequality is a consequence of Jensens; both
Cauchy-Schwarz and Chebyshevs inequalities may be derived from the Rearrangement inequali-
ty, and so on. Nevertheless, because of their applicability all these inequalities deserve to be stated
separately.
1. AM-GM-HM inequality
2. Chebyshevs inequality
3. Rearrangement inequality
4. Cauchy-Schwarz inequality
1
5. Holders inequality
6. Minkowskis inequality
7. Jensens inequality
8. Power Mean inequality
9. Schurs inequality
10. Maclaurins inequality
11. Muirheads inequality
INEQUALITIES
1. AM-GM-HM inequality
This probably is the best-known inequality and is very useful in various situations. At the same
time it is only a special case of several other inequalities listed below.
Example 1. (UK, 2000) Given that x, y, z are positive real numbers satisfying xyz = 32, find
the minimum value of x2 + 4xy + 4y 2 + 2z 2 .
2
Solution. Applyingpthe AM-GM inequality twice, we find that x p + 4xy + 4y 2 + 2z
2
= (x2 +
3
4y 2 ) + 4xy + 2z 2 2 x2 4y 2 + 4xy + 2z 2 = 4xy + 4xy + 2z 2 3 3 32x2 y 2 z 2 = 3 323 = 96.
Equality holds when x2 = 4y 2 and 4xy = 2z 2 , it is, when x = z = 4 and y = 2.
Example 3. Given that the equation x4 + px3 + qx2 + rx + s = 0 has four real positive roots,
prove that
(i) pr 16s 0,
2
(ii) q 2 36s 0.
Solution. Suppose x1 , x2 , x3 and x4 are the roots of the equation. Then, we have x1 + x2 + x3 +
x4 = p, x1 x2 +x1 x3 +x1 x4 +x2 x3 +x2 x4 +x3 x4 = q, x1 x2 x3 +x1 x2 x4 +x1 x3 x4 +x2 x3 x4 = r
and x1 x2 x3 x4 = s.
4 4
X X 1
Using the AM-HM inequality we get pr = xi x1 x2 x3 x4 16s. From the AM-
i=1 i=1
x i
Example 4. (IMO, 1999) Let n 2 be a fixed integer. Find the smallest constant C such that
for all non-negative reals x1 , ..., xn :
X n
X 4
xi xj (x2i + x2j ) C xi .
1i<jn i=1
Solution. We give here a surprise-solution supplied by one of the Chinese contestants after the
competition. It requires only one, although tricky, use of the AM-GM inequality.
n
X 4 n
X X 2 n
X X
xi = x2i +2 xi xj 4 2
xk 2 xi xj =
i=1 i=1 1i<jn k=1 1i<jn
X n
X X
2
8 xi xj xk 8 xi xj (x2i + x2j ).
1i<jn k=1 1i<jn
The second inequality is an equality if and only if n 2 of the xi s are zeros. Let us therefore
then assume that x3 = x4 = = xn = 0. Then, for the first inequality to become an equality
one requires that (x21 + x22 + 2x1 x2 )2 = 8(x21 + x22 )x1 x2 , which reduces to (x1 x2 )4 = 0. Hence
1
x1 = x2 . The answer is C = with equality if and only if two of the xi s are equal and the rest
8
are zeros.
2. Chebyshevs inequality
Let a1 , a2 , ..., an and b1 , b2 , ..., bn be two sequences of real numbers, at least one of which consists
entirely of positive numbers. Assume that a1 a2 an and b1 b2 bn . Then
1 1 1
(a1 + a2 + + an ) (b1 + b2 + + bn ) (a1 b1 + a2 b2 + + an bn ).
n n n
If we instead assume that a1 a2 an and b1 b2 bn , then the inequality is
reversed. Equality occurs if and only if at least one of the sequences is constant.
3
Example 5. Let a1 , a2 , ..., an be a sequence of positive real numbers with the arithmetical mean
n
1 X 1 2 1 2
A. Prove that ak + A+ .
n k=1 ak A
n n
1 X 2 1 X 1 2
1 2
Solution. By squaring we get the equivalent inequality a + A + .
n k=1 k n k=1 a2k A
We will show it in two steps.
We can, without loss of generality, assume that the sequence a1 , a2 , ..., an is increasing. Then
the sequence 1/a1 , 1/a2 , ..., 1/an is decreasing and, by using Chebyshevs inequality twice, we get
n
1 X 1 2
A =
n k=1 a2k
n n n n n n
1 X 1 1 X 1 X 1 X 1 1 X 1 X
ak ak ak 1 = 1.
n k=1 a2k n k=1 n k=1 n k=1 ak n k=1 n k=1
n n n
1 X 2 1 X 1 X
From Chebyshevs inequality we get also a ak ak
n k=1 k n k=1 n k=1
= A2 .
These two results together give the inequality in question.
n n n
h X 1 i h X 1 i h X 2 i
Solution. We may write the desired inequality as /n /n bi /n
i=1
b i i=1
b i i=1
1. Because of the symmetry we may assume that the sequence b1 , b2 , ..., bn is increasing and
1 1 1
then we notice that the sequence , , ..., is decreasing. Using Chebyshevs inequality twice,
b1 b2 bn
n n n
h X 1 i h X 1 i h X 2 i
first with the second and the third factor, we get /n /n bi /n
i=1 i
b i=1 i
b i=1
n n n
h X 1 i h X i X
/n bi /n 1 /n = 1.
b
i=1 i i=1 i=1
Example 7. (India, 1995) Let n be an integer greater than 1 and let a1 , a2 , ..., an be positive
real numbers with the sum 1. Show that
r
a1 a2 an n
+ + + .
1 a1 1 a2 1 an n1
Solution. We may assume that the sequence a1 , a2 , ..., an is increasing and then the sequence
a1
1 1
, 1a 1
is increasing as well. Chebyshevs inequality now implies that
, ..., 1a +
1a1 2 n
1 a1
4
a2 an 1 1 1 1
+ + (a1 + a2 + ... + an ) + + + =
1 a2 1 an n 1 a1 1 a2 1 an
1 1 1 1
+ + + .
n 1 a1 1 a2 1 an
1
Now we can use the result from the previous example. Letting bi = , we get
1 ai
1 X n n 1 n 1
2 X
2
X n
bi n bi =n (1 ai ) = .
n i=1 i=1 i=1
n1
r
1 1 1 1 n
Hence + + + .
n 1 a1 1 a2 1 an n1
1
The equality holds if and only if a1 = a2 = = an = .
n
3. Rearrangement inequality
This innocent-looking and easy to prove inequality is in fact a very powerful instrument and
several other inequalities here can easily be derived from it. The Rearrangemant inequality is one
of my two favourites. The second one is the Muirheads inequality.
n
X n
X
Solution. After squaring and cancelling equal terms, the inequality becomes xi yi xi zi
i=1 i=1
which basically is the Rearrangement inequality.
5
Example 9. For all positive numbers a, b and c, prove the inequality
a3 b a3 c b 3 a b 3 c c 3 a c 3 b
+ + + + + 6abc
c b c a b a
Solution. Because of the symmetry we may assume that a b c. Then
a3 b b 3 c c 3 a
2 2 2 2 2 2
ab bc ca
the Rearrangement inequality implies that + + = a b c
c a b bc ca ab
a3 c b 3 a c 3 b
2 2 2 2 2 2 2 2 2 2 2 2
ab bc ca ab bc ca
c a b = 3abc and, similarly, + + = b c a
ab bc ca b c a ca ab bc
2 2 2 2 2 2
ab bc ca
c a b = 3abc. Adding these two inequalities together yields the desired result.
ab bc ca
Example 10. For all positive numbers a, b and c prove the inequality
a2 b2 c2 a+b+c
+ + .
b+c c+a a+b 2
x2 + y 2 x+y
After adding those two inequalities and using the easy to prove inequality ,
x+y 2
for positive x, y, the result follows.
Example 11. (IMO, 1983) Let a, b, c be the sides of a triangle. Prove that
6
a(c a + b) b(a b + c) c(b c + a)
1 1 1 = a + b + c.
a b c
If a c b the proof is similar.
4. Cauchy-Schwarz inequality
1 1 1
Example 12. (Iran, 1998) Let x, y, z > 1 and + + = 2. Prove that
x y z
p
x + y + z x 1 + y 1 + z 1.
x1 y1 z1
Solution. Observe that by hypothesis + + = 1. Then, by using the Cauchy-
x y z
Schwarz inequality, we get
r 2 2 r 2
2 2 2
r
x1 y1 z1 p
x+y+z = x + y + z + + x 1+ y 1+
2 x y z
z 1 , which gives the desired inequality.
Example 13. (Romania, 1999) Let n 2 be a positive integer and let x1 , x2 , ..., xn , y1 , y2 , ..., yn
be positive real numbers such that x1 + x2 + + xn x1 y1 + x2 y2 + xn yn . Prove that
x1 x2 xn
x1 + x2 + + xn + + .
y1 y2 yn
Solution. Applying the Cauchy-Schwarz inequality and then the given inequality, we have
n n n n n n
X 2 X X xi X X xi X
xi xi yi xi . Dividing both sides by xi yields the desired
i=1 i=1 i=1
y i i=1 i=1
y i i=1
inequality.
Example 14. (USSR, 1986) Let a1 , a2 , ..., an be positive real numbers. Prove that
1 2 3 n 1 1 1
+ + + + <2 + + + .
a1 a1 + a2 a1 + a2 + a3 a1 + a2 + + an a1 a2 an
k k
X X i2
Solution. Let Sk = ai and Ak = , for k = 1, 2, ..., n. Using the Cauchy-Schwarz
i=1 i=1
a i
7
k k k
k(k + 1) 2 X i 2 X i2 X
inequality we now get = ai a i = Ak S k .
2 i=1
a i i=1
a i i=1
k 4kAk (4k + 2)Ak 2 2
Hence, 2 < 2 = Ak . By adding the left-hand sides
Sk k (k + 1)2 k (k + 1)2 k 2 (k + 1)2
for all k, we receive
n n n+1 n n
X k X 2 X 2 2 X 2 2 X 1
2
Ak 2
Ak1 = + 2
(Ak Ak1 ) 2
An = 2
k=1
Sk k=1
k k=2
k a1 k=2 k (n + 1) k=1
ak
n
2 X 1
2
An < 2 .
(n + 1) k=1
ak
5. Holders inequality
Let p and q be two positive real numbers whose sum is 1 and let a1 , a2 , ..., an and b1 , b2 , ..., bn be
two sequences of positive real numbers. Then
n
X n
X n
p X q
1/p 1/q
ak b k ak bk ,
k=1 k=1 k=1
with the equality if and only if there are two real numbers and , not both equal to 0, such that
1/p 1/q
ak = bk for all k = 1, 2, ..., n.
Example 15. (Belarus, 2000) For all positive real numbers a, b, c, x, y, z prove that
a3 b 3 c 3 (a + b + c)3
+ + .
x y z 3(x + y + z)
8
Example 16. Let a, b, c, d be positive real numbers. Prove that
a6 b3 + b6 c3 + c6 d3 + d6 a3 a2 b5 c2 + b2 c5 d2 + c2 d5 a2 + d2 a5 b2 .
Solution. Let x = (a2 b)3 , y = (b2 c)3 , z = (c2 d)3 and t = (d2 a)3 . Then a6 b3 + b6 c3 + c6 d3 +
3
d6 a3 = (x + y + z + t)1/3 = (x + y + z + t)1/3 (y + z + t + x)1/3 (y + z + t + x)1/3
1/3 1/3 1/3 1/3
xy 2 + yz 2 + zt2 + tx2 = a2 b5 c2 + b2 c5 d2 + c2 d5 a2 + d2 a5 b2 .
6. Minkowskis inequality
Given a real number r 1 and two sequences of positive real numbers, a1 , a2 , ..., an and b1 , b2 , ..., bn ,
we have n n n
X 1/r X 1/r X 1/r
r r
(ai + bi ) ai + bri ,
i=1 i=1 i=1
with equality if and only if there are two real numbers and , not both equal 0, such that ak =
bk for all k = 1, 2, ..., n.
It is again obvious that this inequality may be generalized to more than two sequences of
positive real numbers.
Solution. By taking r = 2 and letting a1 = x, a2 = y, a3 = z we may use Minkowskis
1/2 1/2 1/2 2
inequality in an obvious way: a21 + a22 + a22 + a23 + a23 + a21
a1 + a2 + a3 +
2 1/2
a2 + a3 + a1 = 2(a1 + a2 + a3 ).
Example 18. Let a1 , a2 , ..., an be a sequence of positive real numbers with the product a1 a2 an =
1. Suppose that (b1 , b2 , ..., bn ), (c1 , c2 , ..., cn ) and (d1 , d2 , ..., dn ) are three permutations of the se-
quence (a1 , a2 , ..., an ). Prove that
n p
X
ak + bk + ck + dk 2n.
k=1
n p n n
X 2 X 2 X p 2
Solution. By Minkowskis inequality ak + bk + ck + dk ak + bk +
k=1 k=1 k=1
9
n n n
X 2 X p 2 X 2
ck + dk = 4 ak .
k=1 k=1 k=1
n
X q
By the AM-GM inequality ak n n a1 a2 an =
k=1
n p
X
n 2n
a1 a2 an = n. Those two inequalities together imply ak + bk + ck + dk 2n.
k=1
7. Jensens inequality
Let f (x) be a strictly convex function on an interval I and let 1 , 2 , ..., n be nonnegative numbers
Xn
such that k = 1. Then, for all x1 , x2 , ..., xn I,
k=1
(2) Let f (x) be a twice differentiable function on an interval I. Then f (x) is strictly
convex (concave) on I, if and only if f 00 (x) > 0 (f 00 (x) < 0) for all x in the interior of I.
Example 19. (same as Example 7 above) Let n be an integer greater than 1 and let a1 , a2 , ..., an
a1 a2 an
be positive real numbers with the sum 1. Show that + + +
r 1 a 1 1 a 2 1 a n
n
.
n1
Solution. Since all ai in question are from the interval I = (0, 1) we may consider the function
x 4x
f (x) = which is differentiable on I. Calculation gives f 00 (x) = . It is then
1x 4(1 x)5/2
obvious that f 00 (x) is positive on I, and therefore strictly convex there.
a1 a2 an
Hence we may use Jensens inequality: + + +
1 a1 1 a2 1 ar
n
f (a1 ) + f (a2 ) + + f (an ) a1 + a2 + + an 1 n
=n nf =nf = .
n n n n1
10
a + b + c = abc, show that
1 1 1 3
+ +
1+a 2 1+b 2 1+c 2 2
and determine when equality occurs.
Solution. The formulas on the left-hand side suggest the substitution = arctan a, =
arctan b and = arctan c. This substitution together with the condition tan + tan + tan =
tan tan tan implie that 0 < , , < 2 and + + = . We want to show that
3
cos + cos + cos .
2
Taking f (x) = cos x we notice that f 00 (x) = cos x < 0 for 0 < x < , hence f (x) is strictly
concave inside the interval (0, 2 ).
1 1
Now we can use Jensens inequality: (cos + cos + cos ) = f () + f () + f ()
3 3
+ + 1
f = cos = .
3 3 2
Example 21. (USA, 1974) For positive real numbers a, b, c prove that
aa bb cc (abc)(a+b+c)/3 .
1
Solution. Consider the function f (x) = ln xx = x ln x. We have f 00 (x) = which is positive
x
for x > 0. Hence f (x) is strictly convex for x > 0.
Now, applying Jensens inequality we get
1 ln aa + ln bb + ln cc ln aa + ln bb + ln cc f (a) + f (b) + f (c)
ln(aa bb cc ) = = =
3 3 3 3
a+b+c a+b+c (a+b+c)/3
f = ln .
3 3
a+b+c 1/3
From the AM-GM inequality we have abc . Hence,
a + b + c (a+b+c)/3 3
(a+b+c)/9
abc and, since logarithm is an increasing function, then we get
a + 3
b+c (a+b+c)/3 (a+b+c)/9 1 (a+b+c)/3
ln ln abc = ln abc .
3 3
From these two results the desired inequality follows.
Let a1 , a2 , ..., an be nonnegative real numbers, k and m positive real numbers with k m. Then
1 1/k 1 1/m
(ak1 + ak2 + akn ) (am + a m
+ am
) ,
n n 1 2 n
11
with equality if and only if a1 = a2 = = an .
Example 22. (North African MO, 1986) Let a1 , a2 , a3 be positive real numbers. Prove that
1 1 1 1 1 1 2
3 + + 4 + + .
a1 a2 a2 a3 a3 a1 a1 + a2 a2 + a3 a3 + a1
a1 + a2 4 1
Solution. The AM-GM inequality a1 a2 implies 2
. Simi-
2 (a1 + a2 ) a1 a2
1 1 1
lar inequalities for the other two terms of the left-hand-side give 3 + +
a1 a2 a2 a3 a3 a1
1 1 1
12 + + .
(a1 + a2 )2 (a2 + a3 )2 (a3 + a1 )2
1
The rest follows from the Power Mean inequality (n = 3, m = 2 and k = 1): 12 +
(a1 + a2 )2
1 1 1 1 1 1
2
+ 2
= 36 2
+ 2
+ 2
/3 36 ( +
(a2 + a3 ) (a3 + a1 ) (a1 + a2 ) (a2 + a3 ) (a3 + a1 ) a1 + a2
1 1 2 1 1 1 2
+ /3 = 4 + + .
a2 + a3 a3 + a1 a1 + a2 a2 + a3 a3 + a1
a 1/6 b 1/6
Solution. By the Power Mean inequality (with a1 = and a2 = ), we have
q q b a
3 ab + 3 ab 3 ab + ab 2
p p
, with equality if and only if a/b = b/a, or equivalently a = b.
2 2
pa q b
b + a 2 a + b 1 1
The desired result follows from the identity = + .
2 4 a b
Solution. Letting a = x, b = y, c = z and clearing the denominators we get the equiva-
lent inequality (a10 + b10 + c10 )abc a13 + b13 + c13 . Now,
r a13 + b13 + c13 13 r a13 + b13 + c13 10 r a13 + b13 + c13 3
13 13 13
a13 +b13 +c13 = 3 =3
3 3 3
r a10 + b10 + c10 10 a + b + c 3 3
10 3
3 (a10 + b10 + c10 ) abc = (a10 + b10 + c10 )abc.
3 3
12
9. Schurs inequality
In the next example we use another trick, homogenization, which is very useful when dealing
with polynomial inequalities, provided there is an additional constraint, like x + y + z = 1 or
xyz = 1. One may then multiply some terms of the inequality with the constraint in order to get
all terms of the same degree.
For example, the inequality x2 y + xz 2z + 7 with xyz = 1 (for positive real numbers x, y, z),
is equivalent to the homogeneous inequality x2 y + xz(xyz)1/3 2z(xyz)2/3 + 7(xyz), where each
term now has degree 3.
Now, applying the substitution x = u3 , y = v 3 and z = w3 and dividing by common factors
we end up with the equivalent inequality u4 v 2 + u2 w4 2vw5 + 7uv 2 w3 which may be easier to
deal with.
Example 25. (IMO, 1984) Let x, y, z be non negative real numbers such that x + y + z = 1.
Prove that
7
0 xy + yz + zx 2xyz .
27
Solution. Using the condition x + y + z = 1, we can reduce the given inequality to a homoge-
7
neous one, 0 (xy + yz + zx)(x + y + z) 2xyz (x + y + z)3 . The first inequality reduces
27
to 0 xyz + x2 y + xy 2 + y 2 z + yz 2 + z 2 x + zx2 , which is obviously true.
The second inequality simplifies to 7(x3 + y 3 + z 3 ) + 15xyz 6(x2 y + xy 2 + y 2 z + yz 2 +
z x + zx2 ). From the AM-GM inequality we can deduce that x3 + y 3 + z 3 3xyz. Hence,
2
Example 26. (IMO, 2000) Let a, b, c be positive real numbers such that abc = 1. Prove that
1 1 1
a1+ b1+ c1+ 1.
b c a
Solution. The expression is equivalent to the following homogeneous inequality: a(abc)1/3 +
(abc)2/3 (abc)2/3 (abc)2/3
b (abc)1/3 + c (abc)1/3 + abc.
b c a
After the substitution a = x3 , b = y 3 , c = z 3 , (x, y, z > 0), the inequality becomes (x2 y
y 2 z + z 2 x)(y 2 z z 2 x + x2 y)(z 2 x x2 y + y 2 z) x3 y 3 z 3 .
13
Again, using the substitution x2 y = u, y 2 z = v, z 2 x = w, the inequality can be written as
3uvw + (u3 + v 3 + w3 ) u2 v + v 2 u + v 2 w + w2 v + w2 u + u2 w. And this exactly is what Schurs
inequality for r = 1 says.
h 1 i1/n
n a1 a2 an ,
n
with equality if and only if a1 = a2 = = an .
This is a very elegant generalization of the AM-GM inequality. With the notation Sk = the sum
of all products of k-subsets of {a1 , a2 , ..., an } divided by nk (for k = 1, 2, ..., n) we can write the
Maclaurins inequality as
1/2 1/3
AM = S1 S2 S3 Sn1/n = GM.
Example 27. (Poland, 1989) Suppose a, b, c, d are positive real numbers. Show that
r r
ab + ac + ad + bc + bd + cd 3 abc + abd + acd + bcd
.
6 4
Solution. This is only a special case of Maclaurins inequality: the second and the third expres-
sion for n = 4.
a8 + b 8 + c 8 1 1 1
3 3 3
+ + .
abc a b c
Solution. Although it is a rather easy exercise when using the AM-GM-HM inequality we will
a8 + b 8 + c 8 a + b + c 8
thy it bu more sofisticated method. By the Power Mean inequality .
a + b + c 8 a + b + c 6 a + b3+ c 2 3
ab + bc + ca
Now, using Maclaurins inequality, = (abc)2 .
3 3 3 3
a8 + b 8 + c 8 3 a + b + c 8 ab + bc + ac 1 1 1
Hence, 3 3 3
3
= + + .
abc (abc) 3 abc a b c
14
11. Muirheads inequality
X
In order to simplify the notation, let us introduce the symmetric summation symbol . Let
sym
X
P (x, y, z) be a function of three variables, x, y and z. Let us define P (x, y, z) = P (x, y, z) +
sym
P (x, z, y) + P (y, x, z) + P (y, z, x) + P (z, x, y) + P (z, y, x).
This notation may of course be generalized to any number n 1 variables, but for our purposes
n = 3 will be sufficient.
This particular inequality may turn out to be very useful when many other solving methods fail.
Using it requires however that we deal with a homogeneous inequality.
Example 29. (USA, 1997) Prove that, for all positive real numbers a, b, c,
1 1 1 1
+ 3 + 3 .
a3 3 3 3
+ b + abc b + c + abc c + a + abc abc
Solution. Clearing the denominators gives a rather uninviting expression (a3 + b3 + abc)(b3 +
c3 + abc) + (a3 + b3 + abc)(c3 + a3 + abc) + (b3 + c3 + abc)(c3 + a3 + abc) abc (a3 + b3 +
abc)(b3 + c3 + abc)(c3 + a3 + abc). The trick is however to multiply both sides with 2, because we
may then see the left-hand side as a symmetric sum and write the inequality as
X
(a3 + b3 + abc)(a3 + c3 + abc)abc 2(a3 + b3 + abc)(b3 + c3 + abc)(c3 + a3 + abc).
sym
15
X
a6 b3 a5 b2 c2 0, which is clearly true by Muirheads inequa-
The last inequality reduces to
sym
lity (with a1 = 6, a2 = 3, a3 = 0, b1 = 5, b2 = 2, b3 = 2).
Example 30. (IMO, 1995) Prove the following inequality for positive real numbers x, y, z, such
that xyz = 1:
1 1 1 3
3
+ 3 + 3 .
x (y + z) y (z + x) z (x + y) 2
Solution. Suppose that we find no other clever way of solving the problem and the only
methods we can apply is by direct counting.
We start with making the inequality homogenous by multiplying the denominator of the right-
hand side by (xyz)4/3 . Then, in order to make our calculations easier we make the substitution
x = a3 , y = b3 and z = c3 , with a, b, c > 0. The inequality is then equivalent to
1 1 1 3
+ 9 3 + 9 3 4 4 4.
a9 (b3 3 3 3
+ c ) b (c + a ) c (a + b ) 2a b c
Clearing the denominators leads to the following inequality (it should be mentioned that you dont
have to first multiply all terms in order to find the appropriate symmetric sum. After practising
with some exercises you will be able to quickly discover the pattern and find those sums.)
X X
(a12 b12 + 2a12 b9 c3 + a9 b9 c6 ) (3a11 b8 c5 + a8 b8 c8 ).
sym sym
The Muirheads inequality implies now that every term on the left-hand side is 0.
There are of course many other ways to solve this problem. One is to use the Cauchy-Schwarz
x2
inequality. We may substitute x = a1 , y = 1b and z = 1c , and then the inequality becomes +
y+z
y2 z2 3
+ .
x+z x+y 2
x y z
Now, since x + y + z = y+z+ x+z+ x + y, then, by the
y+z x+z x+y
2 2 2
x y z
Cauchy-Schwarz inequality (x + y + z)2
+ + (y + z) + (x + z) + (x + y) .
y+z x+z x+y
x2 y2 z2 x+y+z 3 3
Hence, + + 3 xyz = . The last inequality follows from
y+z x+z x+y 2 2 2
the AM-GM inequality.
16
Yet another way to approach the problem is by using the Rearrangement inequality. Because the in-
equality we want to show is symmetric, and using the same substitution as in the previous solution,
we may assume that x y z. Then x2 y 2 z 2 and y+z 1 1
x+z 1
x+y . Now, since
2
y2 z2
2
y2 z2
2
y2 z2
2
y2 z2
x x x x
1 1 1 1 1 1 and 1 1 1 1 1 1
y+z x+z x+y x+y y+z x+z y+z x+z x+y x+z x+y y+z
12. Substitutions
Example 31. (Russia, 2000) For real numbers x, y such that 0 x, y 1, prove that
1 1 2
+p .
1 + x2 1 + y2 1 + xy
1
Solution. If x = 0, the problem reduces to the inequality 1 + p 2, which is obviously
1 + y2
true. So, suppose 0 < x, y 1. The inequality looks almost like a candidate for Jensens inequality
1
with the concave function f (x) = . The only obstacle is the right-hand product xy instead
1 + x2
of the sum x + y.
1
Because of that it seems to be appropriate to instead study the function g(s) = .
1 + e2s
To that end we make the substitutions x = eu and y = ev for some nonnegative real num-
1 1
bers u and v. The problem then reduces to the equivalent inequality +
1+e 2u 1 + e2v
2
.
1 + e(u+v)
To finish the solution, all we need is to show that the function g(s) above is concave for s 0.
1 2e2s
Easy calculations give g 00 (s) = . The denominator is certainly positive, while the
(1 + e2s )5/2 e4s
numerator is negative, because e2s 1 for s 0. Thus, g(s) is strictly concave for s 0 and the
solution is complete.
17
Example 32. Prove that, for all positive real numbers a, b, c, d,
p
ab + cd (a + d)(b + c).
Solution. Dividing
r the inequality
r with the expression on the right-hand side we get the equiva-
a b c d
lent inequality + 1, or
a+d b+c b+c a+d
r r
a b b a
+ 1 1 1
a+d b+c b+c a+d
a b
Letting = sin2 and = cos2 for some , , 0 < , < 2 , the left-hand side
a+d b+c
can be written as sin sin + cos cos = cos( ), which obviously is 1.
PROBLEMS 1
With each problem comes my suggestion for a strategy of solving it. Such a strategy is never unique
and these problems may certainly be solved by alternative methods as well.
x y 1
2. (Russia, 1995) Prove that for x, y > 0, + 2 .
+y 2x4 x +y 4 xy
(Hint: Apply the AM-GM inequality to denominators..)
1 4 4 16 64
3. Let a, b, c, d be positive real numbers. Prove that + + + .
a b c d a+b+c+d
(Hint: the AM-GM inequality.)
a
4. (Asian-Pacific MO, 1998) Let a, b, c be positive real numbers. Prove that 1 + 1+
b
b c a + b + c
1+ 2 1+ 3
.
c a abc
(Hint: the AM-GM inequality twice.)
18
6. (Vietnam, 1998) Let n be an integer, n 2, and let x1 , x2 , ..., xn be
positive numbers satis-
1 1 1 1 n
x1 x2 xn
fying + + + = . Prove that 1998.
x1 + 1998 x2 + 1998 xn + 1998 1998 n1
1998 X
(Hint: For yi = observe that 1 yi = yk . Now use the AM-GM inequality.)
xi + 1998 k6=i
7. (Belarus, 1999) Let a, b, c be positive real numbers such that a2 + b2 + c2 = 3. Prove that
1 1 1 3
+ + .
1 + ab 1 + bc 1 + ca 2
(Hint: use the AM-HM inequality and the inequality a2 + b2 + c2 ab + bc + ca.)
1
8. (St. Petersburg, 1999) Let x0 > x1 > > xn be real numbers. Prove that x0 + +
x0 x1
1 1
+ + xn + 2n.
x1 x2 xn1 xn
1
(Hint: the AM-GM inequality for t + 2.)
t
64x2 y 2
9. Find all pairs of positive real numbers x, y such that = (x + 1)(y + 2)(2x + y).
4x2 + y 2
(Hint: After clearing the denominator use the AM-GM inequality on the right-hand side ex-
pression.)
10. (Poland, 1990) Let a, b be two positive real numbers. Find all pairs of positive real numbers
27xy 1 x y
x, y such that = + + .
(1 + 2ax)(1 + 2by) ab a b
(Hint: One may use the AM-GM inequality three times: for 1 + 2ax, for 1 + 2by and for the
right hand side of the equality.)
11. Let n be a positive integer and let a, b, c be positive real numbers. Show the inequality
an+1 + bn+1 + cn+1 a+b+c
n n n
.
a +b +c 3
(Hint: Chebyshevs inequality.)
13. (IMO, 1978) Let a1 , a2 , ..., an be distinct positive integers. Prove that
a1 a2 an 1 1 1
2
+ 2 + + 2 + + + .
1 2 n 1 2 n
(Hint: The Rearrangement inequality.)
x1 x2 xn
14. Let x1 , x2 , ..., xn be positive numbers. Show that + + + n.
x2 x3 x1
(Hint: The Rearrangement inequality.)
19
15. Let a, b, c be positive real numbers. Use the Rearrangement inequality in order to prove that
a8 + b 8 + c 8 1 1 1
3 3 3
+ + . (Compare with Example 28 above).
abc a b c
16. (Korea, 2000) The real numbers a, b, c, x, y, z satisfy a b c > 0 and x y z > 0
a2 x 2 b2 y 2 c2 z 2 3
Prove that + + .
(by + cz)(bz + cy) (cz + ax)(cx + az) (ax + by)(ay + bx) 4
(Hint: With the notation = a2 x2 , = b2 y 2 , = c2 z 2 and using the Rearrangement inequa-
1
lity, show that the expression is + + . Now use the Cauchy-Schwarz
2 + + +
inequality.)
a2
17. (Ireland, 1999) Let a, b, c, d be positive real numbers whose sum is 1. Prove that +
a+b
b2 c2 d2 1
+ + with equality if and only if a = b = c = d = 1/4.
b+c c+d d+a 2
(Hint: Apply the Cauchy-Schwarz inequality to the left-hand side multiplied by (a + b) + (b +
c) + (c + d) + (d + a).)
18. (Czech Republic and Slovakia, 1999) For arbitrary positive real numbers a, b, c, prove the
a b c
inequality + + 1.
b + 2c c + 2a a + 2b
(Hint: Apply the Cauchy-Schwarz inequality to the left-hand side multiplied by a(b + 2c) +
b(c + 2a) + c(a + 2b) or substitute x = b + 2c, y = c + 2a, z = a + 2b and use AM-GM.)
2 2 2 2 3 a3 b 3
19. Let a, b, c, d be positive real numbers such that c +d = (a +b ) . Show that + 1.
c d
(Hint: Using the Cauchy-Schwarz inequality show that (a3 /c + b3 /d)(ac + bd) (a2 + b2 )2
ac + bd.)
21. Use Holders inequality to prove that a3 + b3 + c3 a2 b + b2 c + c2 a for all positive real
numbers a, b, c.
20
r
ax2 + by 2 + cz 2
24. Let a, b, c, x, y, x be positive real numbers. Prove that
r r a+b+c
ay 2 + bz 2 + cx2 az 2 + bx2 + cy 2
+ + x + y + z.
a+b+c a+b+c
(Hint: Minkowskis inequality.)
1 1 4 16 64
25. Let a, b, c, d be positive real numbers. Prove that
+ + + .
a b c d a+b+c+d
(Observe the improvement compared with the problem 3 above. Hint: Holders inequality.)
26. (Ireland, 1998) Let a, b, c be positive real numbers. Apply Jensens inequality to show that
9 1 1 1 1 1 1
2 + + + + .
a+b+c a+b b+c c+a a b c
x
27. Let x, y, z be three positive real numbers such that x + y + z = 1. Prove that +
x+1
y z 3
+ .
y+1 z+1 4
(Hint: Jensens or the AM-GM inequality).
n
X 1
28. Find the minimum value of the expression , where
k=1
4ak a3k
n
X
0 < a1 , a2 , ..., an < 2 and ak = n.
k=1
(Hint: Jensens inequality or the AM-GM and Holders inequalities.)
29. (Nordic, 1992) Show that among all triangles with the inscribed circle of radius 1, the
equilateral triangle has the minimum circumference.
(Hint: Letting 2, 2, 2 be angles of the triangle, half the circumference may be expressed as
1
f () + f () + f (), where f (x) = , for 0 < x < /2.)
tan x
31. (Russia, 1999) Let x and y bet two positive real numbers such that x3 + y 3 > 2. Prove that
21
x2 + y 3 < x 3 + y 4 .
(Hint: You may start with the Power Mean inequality for (x2 + y 2 )/2 and (x3 + y 3 )/2.
a3 + b3 + c3 a3 + b3 + d3
33. Let a, b, c, d be positive real numbers. Prove that + +
a+b+c a+b+d
a3 + c3 + d3 b3 + c3 + d3
+ a2 + b2 + c2 + d2 .
a+c+d b+c+d
1
(Hint: Using the Power Mean inequality show that a3 + b3 + c3 (a + b + c)(a2 + b2 + c2 ).)
3
34. (Poland, 1999)pLet x, y, z be three positive real numbers such that x + y + z = 1. Prove
that x2 + y 2 + z 2 + 2 3xyz 1.
(Hint: Make the inequality homogeneous.)
35. (UK, 1999) Some three nonnegative real numbers p, q, r satisfy p + q + r = 1. Prove that
7(pq + qr + rp) 2 + 9pqr.
(Hint: Use the condition p + q + r = 1 to make the inequality homogeneous and then use
Schurs inequality.)
x y z 9
38. Prove the inequality + +
(x + y)(x + z) (y + z)(y + x) (z + x)(z + y) 4(x + y + z)
for all positive real numbers x, y, z.
(Hint: Use the Muirheads inequality.)
(Hint: The expression invites to the trigonometric substitution x = cos , y = cos , for 0
, .)
22
40. Let x, y, z be positive real numbers such that xy + yz + zx = 1. Prove the following
2x(1 x2 ) 2y(1 y 2 ) 2z(1 z 2 ) x y z
inequality 2 2
+ 2 2
+ 2 2
2
+ 2
+ .
(1 + x ) (1 + y ) (1 + z ) 1+x 1+y 1 + z2
2 tan 2 1 tan2 2
(Hint: Since the expressions are similar to those of sin = and cos = ,
1 + tan2 2 1 + tan2 2
you can try to use the substitution x = tan 2 , y = tan 2 , z = tan 2 .)
1. AM-GM-HM inequality
Considering the importance and usefulness of the AM-GM inequality, we give here three different
proofs of it. Yet another proof can be found in the last section of this text.
Now assume that the inequality holds for some n 2. Then we will show that it holds for 2n.
v v
2n
X n
X 2n
X u n u 2n
u Y
uY n
We have ai = ai + ai n n
t ai + t ai
i=1 i=1 i=n+1 i=1 i=n+1
vv v v
uu
u uYn u 2n
u Y
u 2n
uY
ai = 2n 2n
ut n
2nt n
ai t t a.
i
i=1 i=n+1 i=1
The first inequality in the expression above holds according to our assumption. The second
inequality follows from the AM-GM inequality for n = 2.
Thus, by the induction argument the AM-GM inequality holds for n = 2k , (k = 1, 2, ...).
At last we assume that the inequality holds for some n 2. Then we will show that it holds for
n 1.
v
un1
uY
n1
Let a1 , a2 , ..., an1 be positive real numbers and let an = g = t ai . Then we have
i=1
23
v
n1
X
un1
uY p
n
ai + g n t ai g = n n g n1 g = ng. Hence we have
i=1 i=1
v v v
n1
X
u
uY n1 un1
uY n1
X
un1
uY
n1 n1 n1
ai + t ai n t ai , i.e. ai (n 1) t ai .
i=1 i=1 i=1 i=1 i=1
First we prove one useful theorem, which in fact is a generalization of the AM-GM inequality
(the weighted version).
Theorem 1: Let a1 , a2 , ..., an be positive real numbers. Let then 1 , 2 , ..., n be positive real
Yn X n
k
numbers such that 1 + 2 + ... + n = 1. We set G = ak and A = k ak . Then we have
k=1 k=1
G A with equality if and only if a1 = a2 = ... = an .
n
X
Proof: We set ak = (1 + xk )A. We note that xk > 1, (k = 1, 2, ..., n) and that k xk = 0.
k=1
n
Y n
Y n
Y n
Y
Hence G = ak k = ((1 + xk )A)k = A (1 + xk )k A exk k = A.
k=1 k=1 k=1 k=1
n
Y n
Y
One realizes that the inequality A (1 + xk )k A exk k holds by studying the function
k=1 k=1
f (x) = ex (1 + x). (We have f (0) = 0, and since f 0 (x) = ex 1, we have f 0 (x) = 0 for x = 0.
Finally we have f 00 (0) = 1, which means that f (x) has minimum at x = 0. Thus, f (x) 0 for all
x R). We get equality only when xk = 0, (k = 1, 2, ..., n), i.e. when a1 = a2 = ... = an .
1
Now, if we in Theorem 1 set k = , (k = 1, 2, ..., n), we get
n
a1 + a2 + ... + an
n
a1 a2 ... + an , which is the AM-GM inequality.
n
Proof 3: The AM-GM inequality also follows easily from Jensens inequality.
Let a1 , a2 , ..., an be positive real numbers. We note that the function f (x) = ex is strictly
1
convex, and that n = 1. Jensens inequality (with xi = ln ai , i = 1, 2, ..., n) then yields
n
1 1 1 1 1 1
e( n ln a1 + n ln a2 +...+ n ln an ) eln a1 + eln a2 + ... + eln an ,
n n n
which after simplifying becomes the AM-GM inequality.
24
It may also be worth pointing out that the AM-GM inequality follows directly from the Power
Mean inequality. (Just keep the first and the last part of that inequality and you get the AM-GM
inequality.)
Proof of the GM-HM inequality: Follows easily from the AM-GM inequality:
1 1 1
Let a1 , a2 , ..., an be positive real numbers. Then , , ..., are also positive real numbers.
r a1 a2 an
1
n 1 1 1 a1
+ a12 + ... + a1n
According to the AM-GM inequality, we have ... . When we
a1 a2 an n
invert both sides of the inequality, then, of course, the sign of the inequality gets reversed. Hence
n
n
a1 a2 ... an 1 1 1 .
a1
+ a2
+ ... + an
2. Chebyshevs inequality
n X
X n n
X n
X n
X n
X n
X
We note that (ai bi ai bj ) = (nai bi ai bj ) = n ai b i ai bj =
i=1 j=1 i=1 j=1 i=1 i=1 j=1
n
X n
X n
X n X
X n n X
X n n
X
n ai b i ai bi , and that (aj bj aj bi ) = aj b j aj b i =
i=1 i=1 i=1 i=1 j=1 i=1 j=1 j=1
n
X n
X n
X n
X X n n
X
n aj b j aj bi = n ai b i ai bi .
j=1 j=1 i=1 i=1 i=1 i=1
n n n n n n n
X X 1 XX
X 1 XX
It follows that n ai b i ai bi = (ai bi ai bj ) + (aj bj aj bi ) =
i=1 i=1 i=1
2 i=1 j=1 2 i=1 j=1
n n n n
1 XX 1 XX
(ai bi ai bj + aj bj aj bi ) = ((ai aj )(bi bj )).
2 i=1 j=1 2 i=1 j=1
It is not hard to realize that in Chebyshevs inequality we will have equality if and only if
a1 = a2 = ... = an or b1 = b2 = ... = bn This follows from the facts that (ai aj )(bi bj ) 0,
for i, j = 1, 2, ..., n. To realize that the inequality is reversed if we have ai a2 ... an and
bi b2 ... bn is no more difficult. This follows from (ai aj )(bi bj ) 0, for i, j = 1, 2, ..., n
(these inequalities are reversed because now the conditions lead to the fact that the two factors on
25
the left-hand side will always have the opposite sign).
Another proof: We will now show that Chebyshevs inequality easily can be derived from the
Rearrangement inequality. Chebyshevs inequality can be expressed as (a1 + a2 + ... + an )(b1 +
b2 + ... + bn ) n(a1 b1 + a2 b2 + .. + an bn ). On the left-hand side we multiply the two parenthesis
together. We then get n2 terms on that side. Then we arrange these terms in n groups as follows:
(a1 b1 + a2 b2 + ... + an bn ) + (a1 b2 + a2 b3 + ... + an b1 ) + ... + (a1 bn + a2 b1 + ... + an bn1 ). According
to the Rearrangement inequality a1 b1 + a2 b2 + .. + an bn anyone of these n groups of numbers,
and Chebyshevs inequality follows. Using the same technique one can easily show the case when
Chebyshevs inequality is reversed.
3. Rearrangement inequality
We start by showing the inequality for n = 2. Let a1 a2 and bi b2 be real numbers. Then
we have (a2 a1 )(b2 b1 ) 0, since both factors on the left-hand side of the inequality are
definitely nonnegative. Multiplying these factors together and then rearranging the terms yields
the inequality a1 b1 + a2 b2 a1 b2 + a2 b1 , which is the Rearrangement inequality for n = 2. We
realize that we have equality only if a1 = a2 or b1 = b2 .
Let b1 b2 ... bn and c1 , c2 , ..., cn be real numbers. Let then a1 , a2 , ..., an be a permutation
of c1 , c2 , ..., cn such that a1 b1 + a2 b2 + ... + an bn is maximal. Now, assume that we for some i < j
have ai > aj . Then we have ai bj +aj bi ai bi +aj bj (the case n = 2). Thus, a1 b1 +a2 b2 +...+an bn
is not maximal unless a1 a2 ... an or bi = bj for all i < j such that ai > aj . In the
later case the numbers ai , aj can change places so that we get a1 a2 ... an . Hence,
a1 b1 + a2 b2 + ... + an bn is maximal when a1 a2 ... an .
Now we note that (a1 b1 + a2 b2 + ... + an bn ) = (a1 )b1 + (a2 )b2 + ... + (an )bn is
maximal when a1 a2 ... an and b1 b2 ... bn . From that follows that
a1 b1 + a2 b2 + ... + an bn is minimal under the same conditions. But the condition a1 a2
... an is equivalent to the condition a1 a2 ... an . Thus, a1 b1 + a2 b2 + ... + an bn is
minimal when b1 b2 ... bn and a1 a2 ... an .
4. Cauchy-Schwarz inequality
n
X
Let a1 , a2 , ..., an and b1 , b2 , ..., bn be real numbers. Let us look at the polynomial (ai x + bi )2 =
i=1
n
X n
X n
X
2 2
ai x + 2 ai b i x + b2i .
i=1 i=1 i=1
26
n
X n
X n
X
2
Since (ai x + bi ) 0 for all real numbers x, it is obvious that a2i 2
x +2 ai b i x +
i=1 i=1 i=1
n
X
b2i 0 too. It follows that the discriminant for this polynomial is 0. The discriminant for a
i=1
n
X 2 n
X n
X
quadratic polynomial ax2 + bx + c is b2 4ac. Thus, 4 ai b i 4 a2i b2i 0. If we
i=1 i=1 i=1
then move the right-hand term on the left-hand side of this inequality to the right-hand side and
finally divide both sides by 4, we end up with the Cauchy-Schwarz inequality.
So, why does the discriminant for the above polynomial have to be 0? If we solve the
equation ax2 + bx + c = 0 for arbitrary real numbers a, b, c using quadratic completion, we get
b 1 2
the solution x = b 4ac. Now, since we have ax2 + bx + c 0, we know that the
2a 2a
above equation will have no real roots or one double root. If we have no real roots, the sum of the
terms under the root sign will be negative, i.e. b2 4ac < 0. If we have a double root, we will have
b2 4ac = 0.
n
X
It follows from the fact that (ai x + bi )2 0 for all real numbers x, that the Cauchy-Schwarz
i=1
inequality will have equality if and only if the number sequences a and b are proportional.
Another proof of this inequality is supplied in the last part of this text.
5. Holders inequality
n n 1s X n 1t
1 1 X X
Set p = and q = . Then Holders inequality becomes ak b k ask btk .
s t k=1 k=1 k=1
n
X ask 1s btk 1t
The inequality can then be expressed in the following way: Pn s Pn t 1.
k=1 i=1 a i i=1 b i
1 1
We note that + = 1. Then, applying Theorem 1 (see proof of the AM-GM inequality) to the
s t
left-hand side of this inequality yields
n n
X ask 1s btk 1t X 1 ask 1 btk 1 1
Pn s Pn t + Pn t = + = 1.
s ni=1 asi
P
k=1 i=1 ai i=1 bi k=1
t i=1 bi s t
We have equality if and only if the number sequences (as1 , as2 , ..., asn ) and (bt1 , bt2 , ..., btn ) are
proportional. This follows from the conditions for equality in Theorem 1.
27
s 1
Suppose that p < 0, i.e. s < 0 with the notation above. We set S = and T = . Then we
t t
1 1 t t t
have S > 0, T > 0 and + = 1. Now we set uk = ak and vk = ak bk , (k = 1, 2, ..., n). Then
S nT n n
X X 1 X T1
S S
Holders inequality yields uk v k uk vkT , which of course is equivalent to
k=1 k=1 k=1
n n t X n
t( st ) s
X t
t t 1t
X
at t t
k ak b k ak (ak bk ) . After some simplifying, rearranging and then
k=1 k=1 k=1
n
X n
X n
1s X 1
t t
taking the t:th root of both sides of the inequality, we get ak b k ask bk , which
k=1 k=1 k=1
is the reversed inequality.
6. Minkowskis inequality
n
X n
X n
X n
X
r r1 r1
We note that (ai + bi ) = (ai + bi )(ai + bi ) = ai (ai + bi ) + bi (ai + bi )r1 .
i=1 i=1 i=1 i=1
1 1 r
For r > 1 we set s so that + = 1, i.e. s = . Then, by Holders inequality, we have the
r s r1
Xn n
X
r1
following (we apply the inequality to both of the terms ai (ai + bi ) and bi (ai + bi )r1 ):
i=1 i=1
n
X n
X n
1 X n
1 X n
1 X 1
r r (r1)s s r r (r1)s s
(ai + bi )r ai (ai + bi ) + bi (ai + bi ) =
i=1 i=1 i=1 i=1 i=1
n
X n
1 X r1 n
X n
1 X r1
r r r r r r r r
ai (ai + bi ) + bi (ai + bi ) . If we then divide both sides of
i=1 i=1 i=1 i=1
n
X r1
r
this inequality by (ai + bi )r , we get Minkowskis inequality.
i=1
It is obvious that Minkowskis inequality holds for r = 1; that condition yields equality. When
r > 1 we have equality if and only if the number sequences a and b are proportional. This follows
from the conditions for equality in Holders inequality.
7. Jensens inequality
We will prove Jensens inequality for rational positive numbers 1 , 2 , ..., n only. The general
28
proof for nonnegative real numbers 1 , 2 , ..., n requires some serious analytical arguments.
1
Case 1: i = , (i = 1, 2, ..., n). (We use the same approach as in the first proof of the AM-GM
n
inequality.)
Assume that (1) holds for n > 2. Then (1) also holds for n 1
1
Proof: Let x1 , x2 , ..., xn1 I. For these numbers together with the number xn = (x1 +
n1
x2 + ... + xn1 ) (the arithmetic mean of x1 , x2 , ..., xn1 ), (1) holds according to our assumption.
We get
x1 + x2 + ... + xn1 + x1 +x2 +...+xn1
n1
(2) f
n
x1 +x2 +...+xn1
f (x1 ) + f (x2 ) + ... + f (xn1 ) + f n1
. After simplifying, the left-hand side of (2)
n
x + x + ... + x x + x + ... + x 1 X n1
1 2 n1 1 2 n1
becomes f . Thus, f f (xi )+
n1 n1 n i=1
1 x1 + x2 + ... + xn1 x + x + ... + x
1 2 n1
f . Further simplifying yields the inequality f
n n1 n1
n1
1 X
f (xi ). Now, by induction, (1) holds for n 2. Hence, (1) is proved in case 1.
n 1 i=1
29
Case 2: 1 , 2 , ..., n are rational positive numbers.
Since 1 , 2 , ..., n are rational positive numbers, there is a natural number m and nonnegative
pi
integers p1 , p2 , ..., pn such that m = p1 + p2 + ... + pn and i = , (i = 1, 2, ..., n). (To realize
m
this, just rewrite the numbers 1 , 2 , ..., n so that they all have the same denominator.)
Case 1 yields
(x + ... + x ) + ... + (x + ... + x )
1 1 n n
(3) f
m
(f (x1 ) + ... + f (x1 )) + ... + (f (xn ) + ... + f (xn ))
. (The first parenthesis in the nominator on
m
the left-hand side of the inequality contains p1 terms, the second parenthesis p2 terms, and so on.)
1 X n n
1 X
Now, (3) can be expressed as f pi xi pi f (xi ). Hence, (1) is proved in case 2.
m i=1 m i=1
We start by pointing out the obvious: for k = m we have equality, which means that the inequality
m
holds in that case. Now we assume instead that k < m. Then we have > 1 and it follows that
k
m
00 mm
the function f (x) = x is strictly convex for x 0. (The second derivative, f (x) =
k
m k k
1 x k 2 > 0 for x > 0). Now, since the numbers a1 , a2 , ..., an are nonnegative, clearly the numbers
ak1 , ak2 , ..., akn are nonnegative too. With help from Jensens inequality we then get the inequality
1 k m 1 k m 1 k m 1 k 1 k 1 k mk
(a ) + (a2 ) + ... + (an )
k k k a + a + ... + an , which, after some simplifying,
n 1 n n n 1 n 2 n m
1 m m m
1 k k k k
becomes (a1 + a2 + ... + an ) (a1 + a2 + ... + an ) . Taking the m:th root of both sides
n n
of this inequality then yields the Power Mean inequality.
The condition for equality follows from the condition for equality in Jensens inequality.
9. Schurs inequality
30
1 1 1 p p 1
((uc) p+1 , (wa) p+1 ). Since we have p > 0, we have > 0, > 0 and + = 1.
p+1 p+1 p+1 p+1
1 1 1 1
Then Holders inequality yields a p+1 (uc) p+1 + c p+1 (wa) p+1
1 p+1 1 p+1 p 1 1 1
(a p+1 p + c p+1 p ) p+1 ((uc) p+1 (p+1) + (wa) p+1 (p+1) ) p+1 , i.e.
1 1 1 1 1 1 p 1
(ac) p+1 u p+1 + (ac) p+1 w p+1 (a p + c p ) p+1 (uc + wa) p+1 . Taking the (p + 1):th power of both
1 1 1 1
sides of this inequality, we get ac(u p+1 + w p+1 )p+1 (a p + c p )p (uc + wa). Now we use the
1 1
conditions (1) and (2) in order to get ac(v p+1 )p+1 (b p )p (uc + wa), which is equivalent to
(3) ubc vca + wab 0.
It is quite easy to show that we have equality if and only if and only if x = y = z or if two of
x, y, z are equal and the third is 0. The only one of the three terms on the left-hand side of Schurs
inequality that can be negative is y r (y x)(y z). It is negative when we have y < x and y > z.
But with those conditions we see that xr (x z)(x y) > |y r (y x)(y z)|. Thus, to have equality
we must have y = x or y = z. In either of these two cases two of the three terms on the left-hand
side of the inequality = 0. It follows that in order to have equality we must have x = y = z or two
of x, y, z must be equal and the third must be 0.
Theorem 3: For n 2, let a1 , a2 , ..., an be positive real numbers that are not all equal. Also let
X ai1 ai2 ...air
p0 = 1 and pr = n
, r = 1, 2, ..., n.
1i1<i2<...<irn r
a1 + a2
Proof (by induction): For n = 2 we have p0 = 1, p1 = and p2 = a1 a2 . Thus,
a + a 2 2
1 2
p0 p2 = a1 a2 < = p21 . Of course the inequality above follows from the AM-GM
2
inequality (since we have a1 6= a2 , we have a strict inequality). Hence we have proved the theorem
for n = 2.
Suppose now that the theorem holds for some n = k 1, k 3. We will show that it then
holds for n = k.
According to our assumption, for the positive real numbers a1 , a2 , ..., ak1 that are not all equal
we have Pr1 Pr+1 < Pr2 , 1 r < k 1. (Here we write P instead of p to be able to separate
these numbers that form the inequality for n = k 1 from the numbers that form the inequality
31
for n = k; the inequality that we are supposed to prove.) We want to show that for the positive real
numbers a1 , a2 , ..., ak that are not all equal, the inequality pr1 pr+1 < p2r , 1 r < k, holds.
kr r
Now observe that pr = Pr + ak Pr1 , r = 1, 2, ..., k, where we set Pk = 0. (This can be
k k
n n1 n1
a little tricky to realize, but it follows from the fact that = + .) We get
k k k1
k r + 1 r1 k r 1 r+1
(1) k 2 (pr1 pr+1 p2r ) = k 2 Pr1 + ak Pr2 Pr+1 + ak P r
k k k k
k r r 2
Pr + ak Pr1 = A + Bak + Ca2k , where
k k
A = ((k r)2 1)Pr1 Pr+1 (k r)2 Pr2 ,
B = (k r + 1)(r + 1)Pr1 Pr + (k r 1)(r 1)Pr2 Pr+1 2(k r)rPr Pr1 ,
C = (r2 1)Pr2 Pr r2 Pr1
2
.
Since not all a1 , a2 , ..., ak1 are equal, we have Pr1 Pr+1 < Pr2 ,
2
Pr2 Pr < Pr1 and Pr2 Pr+1 < Pr1 Pr . (The last inequality is valid because Pr2 Pr+1 =
Pr+1 2 Pr+1 Pr1 Pr1 Pr+1 Pr1 Pr2
Pr2 Pr < Pr1 = < = Pr1 Pr .)
Pr Pr Pr Pr
From these inequalities follow that A < Pr2 , B < 2Pr1 Pr and C < Pr1 2
. Furthermore,
from (1) we get k (pr1 pr+1 pr ) < Pr + 2Pr Pr1 ak Pr1 ak = (Pr Pr1 ak )2 0. Thus,
2 2 2 2 2
k 2 (pr1 pr+1 p2r ) < 0, which is equivalent to pr1 pr+1 < p2r . Hence the theorem is proved for all
n 2.
One more thing remains, though; the case where a1 = a2 = ... = ak1 6= ak . In that case we
Pr
have a1 = , and from (1) we get k 2 (pr1 pr+1 p2r ) = a21 Pr1
2 2
+ 2a1 Pr1 2
ak Pr1 a2k =
Pr1
2
(a1 ak )Pr1 < 0. Thus the theorem is proved in that case also.
If we multiply together all the left-hand and right-hand sides respectively, we come up with
the inequality p0 p21 p42 p63 ...p2r2 r1 r
r1 pr pr+1 < p21 p42 p63 ...p2r2 2r
r1 pr , which yields p
r r+1
r+1 < p
r . The last
inequality can also be written as pr > r r+1
pr+1 . Hence, we have p1 > p2 > p3 > ... >3
32
n1
pn1 > n
pn , which is MacLaurins inequality.
In the case where a1 = a2 = ... = an , we have p1 = p2s= 3
p3 = ... = n1 pn1 =
1 n
n
pn . This is easy to show. In that case we have k1
pk1 = k1
n
a1k1 = a1 =
k1
k1
s s
k
1 n k
1 n k
n
a1 = n
a1 = k p k .
k
k k
k
33
realizes that
X X
(2) xb1 (y a1 +a2 b1 z a3 + y a3 z a1 +a2 b1 ) xb1 (y b2 z b3 + y b3 z b2 ) also holds. Then we
cyclic cyclic
X X
b1 b2 b3 b3 b2 b1 b2 b3
note that x (y z + y z ) = x y z . At last we note that the right-hand side of (1)
cyclic sym
is equal to the left-hand side of (2). Then, from (1) and (2), Muirheads inequality follows.
Case 2: b1 a2 .
According to the conditions, we have 3b1 b1 + b2 + b3 = a1 + a2 + a3 b1 + a2 + a3 . From
this follows that b1 a2 + a3 b1 . According to the conditions, we also have a2 b1 . Hence,
max(a2 , a3 ) max(b1 , a2 + a3 b1 ). We note that a2 + a3 = b1 + (a2 + a3 b1 ). Now, we use
the lemma to get y a2 z a3 + y a3 z a2 y b1 z a2 +a3 b1 + y a2 +a3 b1 z b1 . Analogous with case 1, we see
without problem that
X X
(3) xa1 (y a2 z a3 + y a3 z a2 ) xa1 (y b1 z a2 +a3 b1 + y a2 +a3 b1 z b1 ) holds. We note that
cyclic cyclic
X X
a1 a2 a3 a3 a2 a1 a2 a3
x (y z +y z )= x y x .
cyclic sym
1. Using the hint, we realize that (x + y 3 )(y + z 3 )(z + x3 ) (x + 4y)(y + 4z)(z + 4x) =
(x + y + y + y + y)(y + z + z + z + z)(z + x + x + x + x). Then, applying the AM-GM inequality
to each of the parenthesis, we get (x + y + y + y + y)(y + z + z + z + z)(z + x + x + x + x)
p p
5
5 5 xy 4 5 5 yz 4 5 zx4 = 125xyz.
2. Applying the AM-GM inequality to the denominator of each term on the left-hand side of
x y x y 1 1 1
the inequality, we get 4 2
+ 4 2
p + p = + = .
x +y y +x 2 x4 y 2 2 y 4 x2 2xy 2xy xy
34
1 4 4
3. We apply the AM-GM inequality to the left-hand side of the inequality and get + + +
r a b c
16 4 256 16
4 = 4
. Then, using the AM-GM inequality again, this time on the denominator,
d abcd abcd
16 16 64
we get
4
a+b+c+d = .
abcd 4
a+b+c+d
a b c c b b a c a
4. We have 1 + 1+ 1+ =1+ + + + + + +1=
b c a a c a b b c
a a a b b b c c c
1+ + + + + + + + + . Then, applying the AM-GM inequality to each of
a b c b a c c a b
a a a b b b c c c a+b+c
the parenthesis, we get 1+ + + + + + + + + 1+3 3
. Now,
a b c b a c c a b abc
a+b+c a + b + c
all we have to show is that 1+3 3
2 1+ 3
, which is the same as showing that
abc abc
a+b+c
3
3. This inequality is obviously true: it is just a restatement of the AM-GM inequality
abc
for three terms.
35
n
Y 1 yi n 1 yi 1 xi1998
+1998 xi + 1998 1998 xi
inequality (n 1) . Now, = 1998 = = .
i=1
yi yi xi +1998
1998 1998
n
Y xi
Thus, our inequality becomes (n 1)n , which after some easy rearranging becomes
i=1
1998
the inequality that we set out to prove.
7. For proof of the hint inequality, see problem 5. Using the AM-HM inequality on the left-
1 1 1 9
hand side of the inequality, we get + + . Then, applying
1 + ab 1 + bc 1 + ca 3 + ab + bc + ca
9 9 9 3
the hint inequality, we get 2 2 2
= = .
3 + ab + bc + ca 3+a +b +c 6 2
1
8. We start by showing the inequality t + 2 (t > 0). We apply the AM-GM inequality to
t r
1 1
the left-hand side of this inequality to get t + 2 t = 2.
t t
Now to the main inequality. We note that all the denominators are positive. Then we subtract
xn from both sides of the inequality and express the left-hand side of the inequality in a clever way.
We now have to prove the inequality
1 1 1
(x0 x1 ) + + (x1 x2 ) + + ... + (xn1 xn ) + 2n.
x0 x1 x1 x2 xn1 xn
This becomes easy with the help of our hint inequality. The left-hand side of the above inequality
consists of 2n terms. If we add the two first terms together, and then add the two following terms
together, and so on, then, according to our hint inequality, the above inequality holds.
9. We start by multiplying both sides of the equality by (4x2 + y 2 ). Then, using the AM-GM
inequality to each parenthesis on the right-hand side, we get
p p p
64x2 y 2 = (4x2 + y 2 )(x + 1)(y + 2)(2x + y) 2 4x2 y 2 2 x 2 2y 2 2xy = 64x2 y 2 .
Hence the inequality above is an equality and the equality condition in AM-GM implies that
x = 1 and y = 2.
10. We follow the hint and apply the AM-GM inequality three times; to the left-hand side of the
equality on the factors (1+2ax) = (1+ax+ax) and (1+2by) = (1+by+by), and then r to the whole
27xy 27xy xy
right-hand side. We get the following: 3
p = 3 3 2 2 and
(1 + 2ax)(1 + 2by) 2 2 2 2 ab
r3 a x 3 b y
3
r
1 x y xy 27xy xy 1 x y
+ + 3 3 2 2 . Hence 33 2 2 + + . Now, to have
ab a b ab (1 + 2ax)(1 + 2by) ab ab a b
equality, the condition for equality in the AM-GM inequality has to be met. This condition leads
to
(1) ax = by = 1 and
1 x y
(2) = = .
ab a b
36
1 1 1 1
(1) yields x = , y = while from (2), we get x = , y = . Hence, if we have a 6= b, then
a b b a
27xy 1 x y
there is no pair of positive real numbers x, y such that = + + . But if
(1 + 2ax)(1 + 2by) ab a b
1
we have a = b, then we have equality for x = y = .
a
11. We start by multiplying both sides of the inequality by (an +bn +cn ). Because of symmetry,
we can, without loss of generality, assume that a b c. Then an bn cn and the Chebyshevs
1 1 1
inequality implies (an + bn + cn ) (a + b + c) (an+1 + bn+1 + cn+1 ), which is the inequality
3 3 3
in question.
12. We take logarithms on both sides and then use the well-known logarithm laws to rewrite
the inequality. Since logarithm is a strictly increasing function, the inequality is not affected. We
a+b+c
get a ln a + b ln b + c ln c (ln a + ln b + ln c), which is the the inequality we want to
prove. 3
Because of symmetry, we can once again without loss of generality assume that a b c.
Then the inequality is an immediate consequence of the Chebyshevs inequality.
1 1 1
13. The left-hand side of the inequality can be rewritten as a1 + a2 2 + ... + an 2 . It
1 2 n
1 1 1 1
is obvious that 2 ... 2 . Then, according to the Rearrangement inequality, a1 + a2
1 2 n 1
1 1
+ ... + an 2 is minimal when we have a1 < a2 < ... < an . Since all numbers ai are distinct,
22 n
1 1 1 1 1 1 1 1 1
then ai i. Thus we have a1 +a2 2 +...+an 2 1 +2 2 +...+n 2 = + + + .
1 2 n 1 2 n 1 2 n
1 1 1
14. The left-hand side of the inequality can be rewritten as x1 + x2 + ... + xn . To
x2 x3 x1
minimize this expression with help from the Rearrangement inequality, the largest of the numbers
1 1 1
x1 , x2 , ..., xn has to be multiplied by the smallest of the numbers , , ..., , the second largest
x1 x2 xn
multiplied by the second smallest, and so on. Now, suppose that of all the numbers x1 , x2 , ..., xn ,
1 1 1 1
the number xk is the largest. Which one of the numbers , , ..., is then the smallest? of
x1 x2 xn xk
1
course! If the number xl is the second largest then is the second smallest, and so on. Thus
xl
1 1 1 1 1 1
a1 + a2 + ... + an a1 + a2 + ... + an = n.
a2 a3 a1 a1 a2 an
a8 + b8 + c8 5 1 5 1 5 1
15. We have = a + b + c . Because of the symmetry, we
a3 b3 c3 b3 c 3 a3 c 3 a3 b 3
can without loss of generality assume that a b c. From that follows that a5 b5 c5 and
1 1 1
3 3
3 3 3 3 . Then, using the Rearrangement inequality twice, we get
ab ac bc
37
1 1 1 1 1 1 1 1 1
a5 + b5 + c5 a5 + b5 + c5 = a2 + b2 3 + c 2 3
b3 c 3 a3 c 3 a3 b 3 a3 b 3 b3 c 3 a3 c 3 b 3 c a
1 1 1 1 1 1
a2 + b 2
+ c 2
= + + .
a3 b3 c3 a b c
16. By the Rearrangement inequality we have bz + cy by + cz. Hence (by + cz)(bz + cy)
(by + cz) = b2 y 2 + 2bcyz + c2 z 2 . Moreover, since 2bcyz b2 y 2 + c2 z 2 then (by + cz)(bz + cy)
a2 x 2 a2 x 2
2(b2 y 2 + c2 z 2 ). From this follows that .
(by + cz)(bz + cy) 2(b2 y 2 + c2 z 2 )
A similar argument for the two other terms on the left hand side, together with the substitution
1
= a2 x2 , = b2 y 2 , = c2 z 2 proves that the left-hand side is + + .
2 + + +
3
What we would need to show now is that the inequality + + holds.
+ + + 2
To that end multiply both sides of this inequality by (the positive number) ( + ) + ( + ) +
( + ). Then, using the Cauchy-Schwarz inequality on the left-hand side , we get
+ + ( + ) + ( + ) + ( + )
+ + +
s
r p p r
p 2
( + ) + ( + ) + ( + ) =
+ + +
( + + )2 = 2 + 2 + 2 + 2( + + ).
3
On the right hand side of the inequality we have ( + ) + ( + ) + ( + ) =
2
3( + + ).
This means that what remains to show is that 2 + 2 + 2 +2(++) 3(++),
i.e. that 2 + 2 + 2 + + . For a simple proof, see problem 5.
38
r r r
a2 b2 c2
tive) a number k > 0 such that k a + b = , k b+c= , k c+d=
a+b b+c c+d
r
d2
and k d + a = .
d+a
These four equations yield in turn k = a = b = c = d. Hence, when we have equality, we have
1
a=b=c=d= .
4
19. We may begin by multiplying both sides of the inequality by (ac + bd) to get the inequality
a3 b 3
(ac + bd) + ac + bd. Then, applying the Cauchy-Schwarz inequality to the left-hand
c d
a3
a3 b 3 r r
b3 2
side yields (ac + bd) + ac + bd = (a2 + b2 )2 .
c d c d
We now have to show that the inequality (a2 + b2 )2 ac + bd holds. We square this inequality.
Then we get (a2 + b2 )4 = (a2 + b2 )(a2 + b2 )3 = (a2 + b2 )(c2 + d2 ) (ac + bd)2 . The inequality
(a2 + b2 )(c2 + d2 ) (ac + bd)2 holds, of course, according to the Cauchy-Schwarz inequality.
39
1 + (x1 + x2 + ... + xn ) + (x1 x2 + x1 x3 + ... + xn1 xn ) + ... + (x1 x2 ...xn )
n 1 n 2 n
1+ (x1 x2 ...xn ) n + (x1 x2 ...xn ) n + ... + (x1 x2 ...xn ).
1 2 n
Let us subtract 1 from both sides of the inequality. Then we have n parenthesis on the left-hand
side of the inequality, and n terms on the right-hand side. If we are able to show that the k:th
parenthesis on the left-hand side (k = 1, 2, ..., n) is the k:th term on the right-hand side, we
n
are done. Now, the k:th parenthesis on the left-hand side consists of terms. The factor xi ,
k
n1 n
(k = 1, 2, ..., n) exists in of these terms. We use the AM-GM inequality on these
k1 k
n1 1/(n)
n1 n1
n ( ) ( ) ( ) k
terms to get that the parenthesis is x1 k1 x2 k1 ...xnk1 .
k
n1 (n 1)! n k!(n k)!
We note that = , and that 1/ = =
k1 (k 1)!(n k)! k n!
n
( ) ( ) (n1) 1/(k )
n1 n1
k (k 1)!(n k)! n
. From this it follows that x1 k1 x2 k1 ...xnk1 =
n (n 1)! k
n k n k
(x1 x2 ...xn ) n . Since (x1 x2 ...xn ) n is the k:th term on the right-hand side of the inequa-
k k
lity, we are done.
2 1
21. Using Holders inequality (with p = and q = ) on the right-hand side of the inequality,
3 2 3
2 2 2 2 23 2 23 2 32 3 3 1
we get a b + b c + c a (a ) + (b ) + (c ) (b + c3 + a3 ) 3 = a3 + b3 + c3 .
22. Applying Holders inequality for three number sequences (these sequences being (ap , bp , cp ),
and (aq , bq , cq ), (ar , br , cr )) to the right-hand side of the inequality yields ap bq cr +cp aq br +bp cq ar
1 p 1 q 1 r
1 1
1 1
1 1
(ap ) p + (bp ) p + (cp ) p (bq ) q + (aq ) q + (cq ) q (cr ) r + (br ) r + (ar ) r =
(a + b + c)(p+q+r) = a + b + c.
23. We start by taking the third root of both sides of the inequality. Then we express xk and
1 23 32 n 13
1 1
3 3
1
X 1
as (xk ) and respectively. We come up with the inequality 2 3 (xk3 )3
xk xk k=1
n
X 1 23 32 32
n. Using first Holders inequality on the left-hand side of this inequality and
k=1
x k
n 31 Xn
1
X 1
3 1 23 32 32
then using the condition xk [1, 2], k = 1, 2, ..., n, we get 2 3 (xk )
3
k=1 k=1
x k
n 1 32 n n
1
X 1 1
X 1 1
X 1
23 xk3 = 23 1 23 1 = n.
k=1
x k
k=1 x 3
k=1 2 3
k
40
x a y b z c
24. We set a1 = , a2 = , a3 = ,
a+b+c a+b+c a+b+c
y a z b x c
b1 = , b2 = , b3 = and
a+b+c a+b+c a+b+c
z a x b y c
c1 = , c2 = , c3 = ,
a+b+c a+b+c a+b+c
and use Minkowskis inequality for three number sequences (a1 , a2 , a3 ), (b1 , b2 , b3 ), (c,1 , ,2 , c3 )
and r = 2. We get
r r r
ax2 + by 2 + cz 2 ay 2 + bz 2 + cx2 az 2 + bx2 + cy 2
q
+ + = a21 + a22 + a23 +
a+b+c a+b+c a+b+c
q q p
b21 + b22 + b23 + c21 + c22 + c23 (a1 + b1 + c1 )2 + (a2 + b2 + c2 )2 + (a3 + b3 + c3 )2 =
x a + y a + z a 2 y b + z b + x b 2 z c + x c + y c 2
s
+ + ,
a+b+c a+b+c a+b+c
which after some simplification becomes x + y + z.
25. We rearrange the inequality and get the equivalent expression to prove
r 1 1 4 16 2
+ + + a + b + c + d 64.
a b c d
Now we can use Holders inequality on the left-hand side to get
1 1 4 16 1 4 2
r 2 1 2
+ + + a + b + c + d a+ b+ c+ d = 82 = 64.
a b c d a b c d
1
26. First we show that the left inequality holds. We note that f (x) = is strictly convex for
x
00 2
x > 0 (we have f (x) = 3 > 0 for x > 0). Then we divide both sides of the inequality by 6
x
1, 5 1 1 1 1 1 1
to come up with the inequality + + . Using Jensens
a+b+c 3 a+b 3 b+c 3 c+a
inequality (with the function mentioned above) on the right-hand side of the inequality then yields
1 1 1 1 1 1 1 3 1, 5
+ + 1 1 1 = = .
3 a+b 3 b+c 3 c+a 3
(a + b) + 3 (b + c) + 3 (c + a) 2a + 2b + 2c a+b+c
To show that the right-hand inequality holds we start by expressing the right-hand side of this
inequality in a suitable way. Then, once again, we use Jensens inequality; this time on each of the
1 1 1 1 1 1 1
parenthesis (the function being the same as before). We get + + = + +
a b c 2 a 2 b
1 1 1 1 1 1 1 1 1 1 1 1 1 1
+ + + 1 1 + 1 1 + 1 1 = 2 + + .
2 b 2 c 2 c 2 a 2
a + 2
b 2
b + 2
c 2
c + 2
a a + b b + c c + a
27. We begin by taking a look at the left-hand side of the inequality. We rearrange this expres-
41
x y z x+11 y+11 z+11 1 1
sion, getting + + = + + = 3
x+1 y+1 z+1 x+1 y+1 z+1 x+1 y+1
1 1 1 1 3
. Our inequality to be proven is thus the following: 3 . After
z+1 x+1 y+1 z+1 4
some easy rearranging we come up with the equivalent inequality
3 1 1 1 1 1
+ + . We note once more that f (x) = is strictly convex for
4 3 x+1 y+1 z+1 x
x > 0. Then we apply Jensens inequality to the right-hand side of the last inequality and get
1 1 1 1 1 3 3
+ + 1 1 1 = = .
3 x+1 y+1 z+1 3
(x + 1) + 3 (y + 1) + 3 (z + 1) 3+x+y+z 4
1
28. We set f (x) = . If one takes a look on f 00 (x), one realizes that we have f 00 (x) =
4x x3
12(x2 1)2 + 20
> 0 for 0 < x < 2, which means that f (x) is strictly convex in this interval. We
x3 (4 x2 )3
n n
X 1 X 1 1
can then use Jensens inequality. We get the following: 3
= n 3
4a k ak n 4a k ak
k=1 k=1
n n n
= 1 = . Thus, the minimum value of the
4( n1 nk=1 ak ) ( n1 nk=1 ak )3 4( n n) ( n1 n)3
P P
3
n
expression is and is attained when a1 = a2 = ... = an = 1 .
3
29. If one draws an arbitrary triangle with an inscribed circle of radius 1 it is not difficult to
realize that the hint holds.
1
Now, consider the function f (x) = . It is strictly convex for 0 < x < , which one
tan x 2
00 sin 2x
realizes by studying f (x) = > 0 for 0 < x < .
sin4 x 2
1 1 1 1 1 1 1
Using Jensens inequality then yields + + =3 + +
tan tan tan 3 tan 3 tan
1 1 3 3 1 1 1
= = + + ,
3 tan 1
tan( 3 ( + + )) tan 6 tan 6 tan 6 tan 6
which is half the circumference of the equilateral triangle.
42
s
1
r r r r
1 ea
1 eb 1 ec e 3 (a+b+c) 1 1
a
+ b
+ 1 = = , and we are done.
3 e +8 3 e +8 3 ec +8 e 3
(a+b+c)
+8 1+8 3
31. We use the hint and find, according to the Power Mean inequality, that
x2 + y 2 12 x3 + y 3 13 2 1
, which is equivalent to the inequality x2 + y 2 (x3 + y 3 ) 3 2 3 .
2 2
Applying now the given condition x3 + y 3 > 2 to the right-hand side of this inequality yields
2 1 2 1
(x3 + y 3 ) 3 2 3 < (x3 + y 3 ) 3 (x3 + y 3 ) 3 = x3 + y 3 . Thus we have
(1) x2 + y 2 < x 3 + y 3 .
We also have (1y)2 0. Developing the left-hand side of this inequality and then multiplying
both sides by y 2 yield
(2) y 2 2y 3 + y 4 0.
Now, if we add the left-hand and the right-hand sides of (1) and (2) respectively, we come up
with the desired inequality.
4
X 4
X
32. We start by showing that the inequality a3i ai . holds. To this end we divide
i=1 i=1
both sides of the inequality by 4. Then we apply the Power Mean inequality to the right-hand side,
1 1 13
3 3 3 3
getting (a1 + a2 + a3 + a4 ) (a1 + a2 + a3 + a4 ) . What we now have to show is that
4 4 31
1 3 1 3
(a1 + a2 3 + a3 3 + a4 3 ) (a1 + a2 3 + a3 3 + a4 3 ) . It is obvious that this inequality holds
4 4
if the inequality
1 3
a1 + a2 3 + a3 3 + a4 3 1 holds. And it does: using the AM-GM inequality on the left-hand
4
1 p
side yields (a1 3 + a2 3 + a3 3 + a4 3 ) 4 a1 3 a2 3 a3 3 a4 3 = 1.
4
4 4
X
3
X 1
The second inequality that we have to show is ai . To show that, we set A =
i=1
a
i=1 i
X4 X4
a1 3 +a2 3 +a3 3 +a4 3 and Ai = Aai 3 , (i = 1, 2, 3, 4). We see then that Ai = 4A a3i = 3A.
i=1 i=1
4
1X 1 1
Thus, Ai = A. Now we note that, by the AM-GM inequality, we have A1 = (a2 3 +
3 i=1
3 3
3 3
p
3 1
a3 + a4 ) a2 3 a3 3 a4 3 = a2 a3 a4 =
. Using the very same reasoning, we realize that the
a1
1 1 1 1 1 1
inequalities A2 , A3 and A4 also hold. Adding the left-hand and the right-
3 a2 3 a3 3 a4
hand sides respectively of these four inequalities then yields the desired inequality.
1
33. We begin by showing that a3 + b3 + c3 (a + b + c)(a2 + b2 + c2 ). We multiply both
3
43
1
sides of this inequality by and apply the Power Mean inequality to the right-hand side of the
3
1 1
inequality then yields (a + b + c) (a2 + b2 + c2 )
1 313 1 3 23 1
3 3 3 2 32 2 32 2 23
(a + b + c ) ((a ) + (b ) + (c ) ) = (a3 + b3 + c3 ).
3 3 3
Now lets turn to the inequality that we are supposed to show. Using the recently proved in-
equality on the left-hand side the inequality to be shown, we get
1
a3 + b3 + c3 a3 + b3 + d3 a3 + c3 + d3 b3 + c3 + d3 3
(a + b + c)(a2 + b2 + c2 )
+ + + +
a+b+c a+b+d a+c+d b+c+d a+b+c
1 1 1
3
(a + b + d)(a2 + b2 + d2 ) (a + c + d)(a2 + c2 + d2 ) (b + c + d)(b2 + c2 + d2 )
+ 3 + 3 =
a+b+d a+c+d b+c+d
1 2 1 1 1
(a + b2 + c2 ) + (a2 + b2 + d2 ) + (a2 + c2 + d2 ) + (b2 + c2 + d2 ) = a2 + b2 + c2 + d2 .
3 3 3 3
34. We follow the hint
p and homogenize the inequality. On the left-hand side of the inequality
we multiply the term 2 3xyz by 1 = x + y + z. Then we multiply the right-hand side by
1p= (x + y + z)2 . We develop the right-hand side and simplify to come up with the inequality
3xyz x + y + z xy + xz + yz. We continue by squaring both sides and then getting rid
of terms that cancel each other. We get the inequality x2 yz + xy 2 z + xyz 2 x2 y 2 + x2 z 2 + y 2 z 2 .
To see that this inequality holds, we make the variable substitution xy = a, xz = b, yz = c. This
leads to the, probably by now, familiar inequality ab + ac + bc a2 + b2 + c2 , which holds. For
proof of that, see problem 5.
35. In order to use Schurs inequality we need to make the given inequality homogeneous. This
is done by multiplying the left-hand side of the inequality by 1 = (p + q + r) and the term 2 on
the right-hand side by 1 = (p + q + r)3 . Multiplying out and canceling some terms we end up with
p2 q + pq 2 + p2 r + pr2 + q 2 r + qr2 2(p3 + q 3 + r3 ).
Rewriting the right-hand side of this expression and then using the AM-GM inequality p on the
3 3 3 3 3 3 3 3 3 3 3 3 3
parenthesis yields 2(p + q + r ) = p + q + r + (p + q + r ) p + q + r + 3 p q 3 r3 = 3
p3 + q 3 + r3 + 3pqr. What is now left for us to show is that the inequality p2 q + pq 2 + p2 r + pr2 +
q 2 r + qr2 p3 + q 3 + r3 + 3pqr holds. Not much to show though, since this is Schurs inequality
for r = 1.
n
36. We use the suggested notation and get (1 + a1 )(1 + a2 ) ... (1 + an ) = 1 + S1 +
1
n n
S2 + ... + Sn .
2 n
n n n 1
n n
n n1
Now we will show that 1 + S1 + S2 + ... + Sn (1 + Sn ) = .1 + Sn +
1 2 n 1
n n2 n n1 n
Sn + ... + Sn n + Sn . In fact we find that for all k = 0, 1, 2, ..., n we have
2 n1 n
n n nk 1 1
Sk Sn . This is true, since, by MacLaurins inequality, Skk Snn .
k k
44
1
Now, what we have shown is that 2n = (1 + a1 )(1 + a2 ) ... (1 + an ) (1 + (a1 a2 ... an ) n )n .
Taking the n:th root of both sides, subtracting 1 and last taking the n:th power yields the desired
inequality.
A maybe easier solution uses Holders inequality, as in problem 20.
38. In order to get rid of the denominators we start by multiplying both sides by 4(x + y)(x +
z)(y + z)(x + y + z). Then we multiply the parenthesis and cancel terms that occur on both sides.
Eventually weX get the inequality
X 6xyz x2 y + x2 z + y 2 x + y 2 z + z 2 x + z 2 y, which also can be
expressed as xyz x2 yz 0 . It is easy to see that this inequality holds since it is Muirheads
sym sym
inequality for a1 = 2, a2 = 1, a3 = 0, b1 = b2 = b3 = 1.
cos cos + cos sin + cos sin sin sin = cos( + ) + sin( + ) =
1 1
2 cos( + ) + sin( + ) = 2 sin cos( + ) + cos sin( + ) =
2 2 4 4
2 sin + + 2.
4
The equality is attained for all , . such that + = . Thus, for real numbers 1 x, y 1,
4
the function f (x, y) has the maximum value 2 and the maximum is attained for all x = arccos ,
y = arccos such that + = .
4
40. We make the suggested variable substitution x = tan , y = tan and z = tan ,
2 2 2
where 0 < , , < . Using some well-known trigonometric identities we eventually reduce the
inequality to
(1) sin 2 + sin 2 + sin 2 sin + sin + sin .
Now, the condition xy + yz + zx = 1 becomes tan tan + tan tan + tan tan = 1.
2 2 2 2 2 2
Multiplying both sides of this equality by cos cos cos and then some simplifying give us the
2 2 2
++
equality cos = 0. Thus, the condition + + = is in this case equivalent to the
2
45
condition xy + yz + zx = 1.
Bearing in mind that + + = we express the left-hand side of (1) in another way, using
trigonometric identities. We get
sin 2 + sin 2 + sin 2 = 2 sin( + ) cos( ) + sin 2 = 2 sin cos( ) + 2 sin cos =
2 sin (cos()+cos ) = 2 sin (cos()cos(+)) = 2 sin (cos cos +sin sin
cos cos + sin sin ) = 4 sin sin sin = 32 sin sin sin cos cos cos .
2 2 2 2 2 2
Then we treat the right-hand side of (1) in a similar way and we get
+ +
sin + sin + sin = 2 sin cos + sin( + ) = 2 sin cos +
2 2 2 2
+ + + +
2 sin cos = 2 sin cos + cos =
2 2 2 2 2
+
2 sin cos cos + sin sin + cos cos sin sin =
2 2 2 2 2 2 2 2 2
+
4 sin cos cos = 4 sin cos cos = 4 cos cos cos .
2 2 2 2 2 2 2 2 2 2
Hence, our inequality to be proven becomes
32 sin sin sin cos cos cos 4 cos cos cos , which, after dividing both sides of
2 2 2 2 2 2 2 2 2
the inequality by 4 cos cos cos simplyfies to
2 2 2
(2) 8 sin sin sin 1.
2 2 2
Now, since we have 0 < , , < , we consider the function f (x) = sin x. We note that
00
f (x) = sin x < 0 for 0 < x < . Then we first apply the AM-GM inequality to the left-hand
side of (2) and after that Jensens inequality (remembering that Jensens inequality in this case is
reversed). We find that
1 1 1 3 1 1 1
8 sin sin sin 8 sin + sin + sin 8 sin3 + + =
2 2 2 3 2 3 2 3 2 3 2 3 2 3 2
8 sin3 = 1.
6
PROBLEMS 2
46
x1 +x2 +...+xn
xx1 1 xx2 2 ...xxnn (x1 x2 ...xn ) n .
1 (x + y)(1 xy) 1
43. Prove that, for any real numbers x, y, 2 2
.
2 (1 + x )(1 + y ) 2
44. (IMO, 1995) Let a, b and c be positive real numbers such that abc = 1. Prove that
1 1 1 3
3
+ 3 + 3 .
a (b + c) b (a + c) c (a + b) 2
45. (Moldavian MO, 1996) Let a, b and c be positive integers such that a2 + b2 ab = c2 .
Prove that (a c)(b c) 0.
46. (Ireland, 2000) Let x and y be nonnegative real numbers such that x + y = 2. Prove that
x y (x2 + y 2 ) 2.
2 2
47. (Thailand, 1991) Let a, b, c and d be positive real numbers such that ab + bc + cd + da = 1.
a3 b3 c3 d3 1
Prove that + + + .
b+c+d c+d+a d+a+b a+b+c 3
48. (Greece, 1987) Let a, b and c be positive real numbers. Show that for every integer n 1,
an bn cn 2 n2 a + b + c n1
+ + holds.
b+c c+a a+b 3 2
49. (Belarus, 1993) Let x1 , x2 , ..., xn (n 2) be nonnegative numbers such that x1 + x2 + ... +
n
X p
xn = 1. Prove that xi (1 xi ) n 1.
i=1
a b
50. (Hungary, 1985) Let a, b, c and d be positive real numbers. Prove that + +
b+c c+d
c d
+ 2.
d+a a+b
51. (Leningrad, 1981) Let a, b and c be real numbers such that 0 a, b, c 1. Prove that
p p p
a(1 b)(1 c) + b(1 a)(1 c) + c(1 a)(1 b) 1 + abc.
52. (Romania, 2004) Find all positive real numbers a, b, c which satisfy the inequality
4(ab + bc + ca) 1 a2 + b2 + c2 3(a3 + b3 + c3 ).
53. (Romania, 2004) Let a, b and c be real numbers such that a2 + b2 + c2 = 3. Prove that
|a| + |b| + |c| abc 4.
54. (Estonia, 2004) Let a, b and c be positive real numbers such that
1 1 1
a + b2 + c2 = 3. Prove that
2
+ + 1.
1 + 2ab 1 + 2bc 1 + 2ca
47
55. (Austria, 2004) Let a, b, c and d be real numbers. Prove that
a + b6 + c6 + d6 6abcd 2.
6
56. (Ireland, 2004) Let a and b be nonnegative real numbers. Prove that
p
2( a(a + b)3 + b a2 + b2 ) 3(a2 + b2 ), with equality if and only if a = b.
57. (New Zealand, 2004) Let x1 , x2 , y1 , y2 be positive real numbers. Prove that
x21 x22 (x1 + x2 )2
+ .
y1 y2 y1 + y2
62. Let a, b and c be positive real numbers such that abc 1. Prove that
a b c
+ + a + b + c.
b c a
a3 b 3
63. (Juniors Balkan MO, 2002) Let a, b and c be positive real numbers. Prove that + 2+
b2 c
c3 a2 b 2 c 2
+ + .
a2 b c a
64. Let x, y and z be positive real numbers such that x2 + y 2 + z 2 + 2xyz = 1. Prove that
3
x+y+z .
2
65. (Juniors Balkan MO, 2003) Let x, y and z be real numbers such that
1 + x2 1 + y2 1 + z2
x, y, z > 1. Prove that + + 2.
1 + y + z 2 1 + z + x2 1 + x + y 2
66. Let a, b and c be positive real numbers such that a + b + c = 1. Prove that
a + b b2 + c c 2 + a
2
+ + 2.
b+c c+a a+b
48
67. (IMO, 1987) Let x, y and z be real numbers such that x2 + y 2 + z 2 = 2. Prove that
x + y + z xyz + 2.
68. Let x, y, z and be positive real numbers such that xyz = 1 and 1.
x y z 3
Prove that + + .
y+z z+x x+y 2
70. Let a, b and c be positive real numbers such that a + b + c = 1. Prove that
(a2 + b2 )(b2 + c2 )(c2 + a2 ) 8(a2 b2 + b2 c2 + c2 a2 )2 .
49
n Pm 1
Pm
1X j=1 Gj m j=1 Gj
which is equivalent to m , i.e. 1 . If we let
n k=1 G(A1 , A2 , ..., An ) G(A1 , A2 , ..., An )
A(G1 , G2 , ..., Gm ) be the arithmetic mean of G1 , G2 , ..., Gm , then the obtained inequality can
be written as G(A1 , A2 , ..., An ) A(G1 , G2 , ..., Gm ) . It should be obvious that this inequality
is valid even if we allow some of the Ak to be 0. Hence we have proved the following, powerful
generalization of the AM-GM inequality:
Theorem 4. If A is a matrix with m rows, n columns and nonnegative elements, let G1 , G2 , ..., Gm
denote the geometric means of the rows of A and let A1 , A2 , ..., An be the arithmetic means of the
columns of A. Moreover, let G(A1 , A2 , ..., An ) denote the geometric mean of A1 , A2 , ..., An and
let A(G1 , G2 , ..., Gm ) be the arithmetic mean of G1 , G2 , ..., Gm . Then
a21 b21
a22 b22
1). Applying the theorem to the matrix A =
... ... , and then using the triangle inequality
a2m b2m
v
m m u m m m m
X X u X X X X
2 2
|xk | xk yields
t ak bk |ak bk | ak bk . Squaring both sides
k=1 k=1 k=1 k=1 k=1 k=1
gives the Cauchy-Schwarz inequalitiy.
2). Let c1 , c2 , ..., cm be m positive rational numbers with the sum 1. Let M be the smallest
Pm common
dk
denominator of c1 , c2 , ..., cm and put ck = M , for k = 1, 2, ..., m. Then, of course, k=1 dk = M.
Suppose we have m sequences of positive real numbers: a11 , a12 , ..., a1n , a21 , a22 , ..., a2n ,
..., am1 , am2 , ..., amn . Consider the matrix A with n rows and d1 + d2 + ... + dm columns, where
each of the first d1 columns equals the sequence a , a
11 12 , ..., a 1n , each of the next d2 columns
equals the sequence a21 , a22 , ..., a2n , and so on.
Applying now the theorem 4 to the matrix A we get the (generalized) Holders inequality:
n
X n
c1 X n
c2 X cm Xn
a1k a2k ... amk ac1k1 ac2k2 ...acmk
m
.
k=1 k=1 k=1 k=1
3). Suppose now that n, k and m are positive integers, k m. Let a1 , an ,..., an be nonnegative real
50
numbers. Consider the matrix A with n rows and m columns:
m m
a1 a1 ... am 1 1 1 ... 1
am2
m m
a2 ... a2 1 1 ... 1
A= ... ... ... ... ... ... ...
,
...
am
n amn ... amn 1 1 ... 1
where the first k columns are identical and the elements in the remaining m k columns are only
1s.
The theorem 4 applied to this matrix yields the Power Mean inequality
1 k 1 m
m m m k k k
(a + a2 + an ) (a + a2 + an )
n 1 n 1
4). Several exercises from the list of problems can be directly solved
by the use ofthe theorem 4,
1 1 ... 1
for a suitable choice of the matrix A. For example, taking A = and applying
x1 x2 ... xn
the theorem gives an immediate solution to problems 20 and 36.
RECENT PROBLEMS
Problem 71. (IMO 2005) Let x, y, z be positive real numbers such that xyz 1. Prove that
x5 x2 y5 y2 z5 z2
+ + 0.
x5 + y 2 + z 2 x2 + y 5 + z 2 x2 + y 2 + z 5
Solution. This problem was considered by the jury of the IMO 2005 as a hard and was the
third problem on the exam. The standard solution is rather long. One may reduce the problem to
the case where xyz = 1 only, then get rid of the denominators, homogenize and finally make use
of the Muirheads inequality. The procedure is rather standard although the calculations are quite
tedious. However, during the competition one of the students came up with the following, very
short and extremely elegant solution.
The annoying part of the left hand side is that the denominators have terms with different powers.
In order to get rid of this obstacle one may consider the following inequality:
x5 x2 x2 (x3 1)
.
x5 + y 2 + z 2 x5 + (y 2 + z 2 )x3
This inequality is obviously true if x 1. It remains true even for 0 < x < 1, since in this case
the nominators are negative. Hence
x5 x2 x2 x1
2 .
x5 + y 2 + z 2 x + y2 + z2
51
Applying the same argument to the other two terms of the left-hand side of the given inequality,
we find out that
x5 x2 y5 y2 z5 z2 1
2 1 2 1 2 1
+ + x + y + z .
x5 + y 2 + z 2 x2 + y 5 + z 2 x2 + y 2 + z 5 x2 + y 2 + z 2 x y z
1 1 1 1 1 1
What now remains to show is that x2 +y 2 +z 2 0, i.e. that x2 +y 2 +z 2 + + ,
x y z x y z
for positive reals x, y, z with xyz 1. This however is a very simple task.
52