Professional Documents
Culture Documents
Samin Riasat
ii
Introduction
The aim of this note is to acquaint students, who want to participate in mathematical Olympiads, to
Olympiad level inequalities from the basics. Inequalities are used in all fields of mathematics. They have
some very interesting properties and numerous applications. Inequalities are often hard to solve, and it is
not always possible to find a nice solution. But it is worth approaching an inequality rather than solving
it. Most inequalities need to be transformed into a suitable form by algebraic means before applying
some theorem. This is what makes the problem rather difficult. Throughout this little note you will find
different ways and approaches to solve an inequality. Most of the problems are recent and thus need a
fruitful combination of wisely applied techniques.
It took me around two years to complete this; although I didnt work on it for some months during
this period. I have tried to demonstrate how one can use the classical inequalities through different examples that show different ways of applying them. After almost each section there are some exercise
problems for the reader to get his/her hands dirty! And at the end of each chapter some harder problems
are given for those looking for challenges. Some additional exercises are given at the end of the book for
the reader to practice his/her skills. Solutions to some selected problems are given in the last chapter to
present different strategies and techniques of solving inequality problems. In conclusion, I have tried to
explain that inequalities can be overcome through practice and more practice.
Finally, though this note is aimed for students participating in the Bangladesh Mathematical Olympiad
who will be hoping to be in the Bangladesh IMO team I hope it will be useful for everyone. I am really
grateful to the MathLinks forum for supplying me with the huge collection of problems.
Samin Riasat
28 November, 2008
iii
iv
INTRODUCTION
Contents
Introduction
1 The
1.1
1.2
1.3
iii
AM-GM Inequality
General AM-GM Inequality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Weighted AM-GM Inequality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
More Challenging Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
1
5
7
2 Cauchy-Schwarz and H
olders Inequalities
2.1 Cauchy-Schwarz Inequality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Holders Inequality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 More Challenging Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9
9
14
17
19
19
23
25
27
27
27
28
28
29
29
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5 Supplementary Problems
31
33
References
39
vi
CONTENTS
Chapter 1
The most well-known and frequently used inequality is the Arithmetic mean-Geometric mean inequality
or widely known as the AM-GM inequality. The term AM-GM is the combination of the two terms
Arithmetic Mean and Geometric Mean. The arithmetic mean of two numbers a and b is defined by a+b
2 .
Similarly ab is the geometric mean of a and b. The simplest form of the AM-GM inequality is the
following:
Basic AM-GM Inequality. For positive real numbers a, b
a+b
ab.
2
The proof is simple. Squaring, this becomes
(a + b)2 4ab,
which is equivalent to
(a b)2 0.
This is obviously true. Equality holds if and only if a = b.
Example 1.1.1. For real numbers a, b, c prove that
a2 + b2 + c2 ab + bc + ca.
First Solution. By AM-GM inequality, we have
a2 + b2 2ab,
b2 + c2 2bc,
c2 + a2 2ca.
Adding the three inequalities and then dividing by 2 we get the desired result. Equality holds if and only
if a = b = c.
Second Solution. The inequality is equivalent to
(a b)2 + (b c)2 + (c a)2 0,
1
a1 + a2 + + an
n a1 a2 an ,
n
with equality if and only if a1 = a2 = = an .
Proof. Here we present the well known Cauchys proof by induction. This special kind of induction
is done by performing the following steps:
i. Base case.
ii. Pn = P2n .
iii. Pn = Pn1 .
Here Pn is the statement that the AM-GM is true for n variables.
Step 1: We already proved the inequality for n = 2. For n = 3 we get the following inequality:
a+b+c
3
abc.
3
Letting a = x3 , b = y 3 , c = z 3 we equivalently get
x3 + y 3 + z 3 3xyz 0.
This is true by Example 1.1.1 and the identity
x3 + y 3 + z 3 3xyz = (x + y + z)(x2 + y 2 + z 2 xy yz zx).
Equality holds for x = y = z, that is, a = b = c.
Step 2: Assuming that Pn is true, we have
a1 + a2 + + an
n a1 a2 an .
n
Now its not difficult to notice that
a1 + a2 + + an
n a1 a2 an .
n
n a1 a2 an1 n1 a1 a2 an1
n
q
n
n
= (a1 a2 an1 ) n1
= n1 a1 a2 an1
= an ,
n1
a1 a2 an1 .
The proof is thus complete. It also follows by the induction that equality holds for a1 = a2 = = an .
Try to understand yourself why this induction works. It can be useful sometimes.
Example 1.1.2. Let a1 , a2 , . . . , an be positive real numbers such that a1 a2 an = 1. Prove that
(1 + a1 )(1 + a2 ) (1 + an ) 2n .
Solution. By AM-GM,
1 + a1 2 a1 ,
1 + a2 2 a2 ,
..
.
1 + an 2 an .
Multiplying the above inequalities and using the fact a1 a2 an =1 we get our desired result. Equality
holds for ai = 1, i = 1, 2, . . . , n.
Example 1.1.3. Let a, b, c be nonnegative real numbers. Prove that
(a + b)(b + c)(c + a) 8abc.
2 2 2,
ca
ab
bc
true by AM-GM. Equality holds if and only if a = b = c.
Example 1.1.4. Let a, b, c > 0. Prove that
a3
b3
c3
+
+
a + b + c.
bc ca ab
Solution. By AM-GM we deduce that
r
3
a3
3 a
+b+c3
b c = 3a,
bc
r bc
3
b3
3 b
+c+a3
c a = 3b,
ca
ca
r
3
c3
3 c
+a+b3
a b = 3c.
ab
ab
X
cyc
r
a
ab
(b + c)(c + a).
b
Solution. By AM-GM,
2ab(a + b) + 2ac(a + c) + 2bc(b + c)
= ab(a + b) + ac(a + c) + bc(b + c) + ab(a + b) + ac(a + c) + bc(b + c)
= a2 (b + c) + b2 (a + c) + c2 (a + b) + (a2 b + b2 c + a2 c) + (ab2 + bc2 + a2 c)
a2 (b + c) + b2 (a + c) + c2 (a + b) + (a2 b + b2 c + a2 c) + 3abc
= a2 (b + c) + b2 (a + c) + c2 (a + b) + ab(a + c) + bc(a + b) + ac(b + c)
= a2 (b + c) + ab(a + c) + b2 (a + c) + bc(a + b) + c2 (a + b) + ac(b + c)
p
p
p
2 a3 b(b + c)(a + c) + 2 b3 c(a + c)(a + b) + 2 c3 a(a + b)(b + c)
r
r
r
a
b
c
= 2ab
(b + c)(a + c) + 2cb
(a + c)(a + b) + 2ac
(a + b)(b + c).
b
c
a
Equality holds if and only if a = b = c.
Exercise 1.1.5. Let a, b, c be positive real numbers such that abc = 1. Prove that
a2 + b2 + c2 a + b + c.
1 1 1
+ +
a b
c
9.
1.2
The weighted version of the AM-GM inequality follows from the original AM-GM inequality. Suppose
that a1 , a2 , . . . , an are positive real numbers and let m1 , m2 , . . . , mn be positive integers. Then we have
by AM-GM,
a + a1 + + a1 + a2 + a2 + + a2 + + an + an + + an
|1
{z
} |
{z
}
{z
}
|
m1
m2
mn
m1 + m2 + + mn
1
m1 +m2 ++mn
a1 a1 . . . a1 a2 a2 . . . a2 an an . . . an
| {z } | {z } | {z }
m1
m2
mn
Although we have a proof if i1 , i2 , . . . , in are rational, this inequality is also true if they are positive real
numbers. The proof, however, is beyond the scope of this note.
Example 1.2.1. Let a, b, c be positive real numbers such that a + b + c = 3. Show that
ab bc ca 1
a+b+c
1
a+b+c
ab bc ca
,
1=
which implies ab bc ca 1.
Example 1.2.2. (Nguyen Manh Dung) Let a, b, c > 0 such that a + b + c = 1. Prove that
aa bb cc + ab bc ca + ac ba cb 1.
1
ab + bc + ca
(ab bc ca ) a+b+c = ab + bc + ca aa bb cc ,
a+b+c
1
ac + ba + cb
(ac ba cb ) a+b+c = ab + bc + ca ac ba cb .
a+b+c
Very few inequalities can be solved using only the weighted AM-GM inequality. So no exercise in this
section.
1.3
Exercise 1.3.1. Let a, b, c be positive real numbers such that abc = 1. Prove that
a b c
+ + a + b + c.
b c a
Exercise 1.3.2. (Michael Rozenberg) Let a, b, c and d be non-negative numbers such that a+b+c+d =
4. Prove that
4
a b c d
+ + + .
abcd
b c d a
Exercise 1.3.3. (Samin Riasat) Let a, b, c be positive real numbers. Prove that
a + b + c a2 + b2 + c2
a2 b + b2 c + c2 a
a3 + b3 + c3
.
3
3
3
3
Exercise 1.3.4.(a) (Pham Kim Hung) Let a, b, c be positive real numbers. Prove that
a b c
3 3 abc
+ + +
4.
b c a a+b+c
(b) (Samin Riasat) For real numbers a, b, c > 0 and n 3 prove that
!
3 3 abc
a b c
+ + +n
3 + n.
b c a
a+b+c
Exercise 1.3.5. (Samin Riasat) Let a, b, c be positive real numbers such that a + b + c = ab + bc + ca
and n 3. Prove that
a2 b2 c2
3n
+
+
+ 2
3 + n.
b
c
a
a + b2 + c2
Chapter 2
Cauchy-Schwarz and H
olders
Inequalities
2.1
Cauchy-Schwarz Inequality
The Cauchy-Schwarz inequality is a very powerful inequality. It is very useful in proving both cyclic and
symmetric inequalities. The special equality case also makes it exceptional. The inequality states:
Cauchy-Schwarz Inequality. For any real numbers a1 , a2 , . . . , an and b1 , b2 , . . . , bn the following inequality holds.
a21 + a22 + + a2n
b21 + b22 + + b2n (a1 b1 + a2 b2 + + an bn )2 ,
a2
an
a1
=
= =
.
b1
b2
bn
First proof. This is the classical proof of Cauchy-Schwarz inequality. Consider the quadratic
n
n
n
n
X
X
X
X
2
2
2
f (x) =
(ai x bi ) = x
ai x
2ai bi +
b2i = Ax2 + Bx + C.
i=1
i=1
i=1
i=1
Clearly f (x) 0 for all real x. Hence if D is the discriminant of f , we must have D 0. This implies
B 2 4AC
n
X
!2
4
2ai bi
i=1
n
X
!
a2i
i=1
n
X
!
b2i
i=1
which is equivalent to
n
X
i=1
!
a2i
n
X
!
b2i
i=1
n
X
!2
ai bi
i=1
b2
bn
b1
=
= =
.
a1
a2
an
CHAPTER 2. CAUCHY-SCHWARZ AND HOLDERS
INEQUALITIES
10
X
q P
2ai bi
P 2 ,
bi
a2i
which is equivalent to
n
X
n
X
a2i
i=1
!
b2i
i=1
n
X
!2
ai bi
i=1
a2i
a21 + a22 + + a2n
b2i
, which in turn is equivb21 + b22 + + b2n
.
a21 + a22 + + a2n b21 + b22 + + b2n
2=
X
Here the sigma
notation denotes cyclic sum and it will be used everywhere throughout this note. It
is recommended that you get used to the summation symbol. Once you get used to it, it makes your life
easier and saves your time.
Cauchy-Schwarz in Engel Form. For real numbers ai , a2 , . . . , an and b1 , b2 , . . . , bn > 0 the following inequality holds:
a2
(a1 + a2 + + an )2
a21 a22
+
+ + n
,
(2.1)
b1
b2
bn
b1 + b2 + + bn
a1
a2
an
with equality if and only if
=
= =
.
b1
b2
bn
Although this is a direct consequence of the Cauchy-Schwarz inequality, let us prove it in a different
way. For n = 2 this becomes
a2 b2
(a + b)2
+
.
(2.2)
x
y
x+y
Clearing out the denominators, this is equivalent to
(ay bx)2 0,
11
.
x
y
z
x+y
z
x+y+z
A similar inductive process shows that
a2
(a1 + a2 + + an )2
a21 a22
+
+ + n
.
b1
b2
bn
b1 + b2 + + bn
And the case of equality easily follows too.
From (2.1) we deduce another proof of the Cauchy-Schwarz inequality.
Third Proof. We want to show that
X
b2i
X
c2i
X
bi ci
2
Let ai be real numbers such that ai = bi ci . Then the above inequality is equivalent to
a21 a22
(a1 + a2 + + an )2
a2n
.
+
+
+
b2n
b21
b22
b21 + b22 + + b2n
This is just (2.1).
Example 2.1.1. Let a, b, c be real numbers. Show that
3(a2 + b2 + c2 ) (a + b + c)2 .
Solution. By Cauchy-Schwarz inequality,
(12 + 12 + 12 )(a2 + b2 + c2 ) (1 a + 1 b + 1 c)2 .
Example 2.1.2. (Nesbitts Inequality) For positive real numbers a, b, c prove that
a
b
c
3
+
+
.
b+c c+a a+b
2
First Solution. Our inequality is equivalent to
a
b
c
9
+1+
+1+
+1 ,
b+c
c+a
a+b
2
1
1
1
9
+
+
.
(a + b + c)
b+c c+a a+b
2
or
(x + y + z )
where x =
b + c, y =
c + a, z =
1
1
1
+ 2+ 2
2
x
y
z
(1 + 1 + 1)2 ,
CHAPTER 2. CAUCHY-SCHWARZ AND HOLDERS
INEQUALITIES
12
which can be written as
b+c+c+a+a+b
1
b+c
1
c+a
1
a+b
p
3
(b + c)(c + a)(a + b)
1
,
(b + c)(c + a)(a + b)
X a2
a
(a + b + c)2
=
.
b+c
ab + ca
2(ab + bc + ca)
1
1
1
, y = , z = . Then by the given condition we obtain xyz = 1. Note that
a
b
c
X
X x2
X
1
1
=
=
.
1 1 1
a3 (b + c)
y+z
+
x3 y z
3 3 xyz
(x + y + z)2
x+y+z
3
=
= ,
2(x + y + z)
2
2
2
1
2a + b 2
2
1X b
1
2
2a + b
2
X b
1.
2a + b
X
13
c2
a2
(a + b + c)2
b
b2
+
+
= 1.
=
2a + b
2ab + b2 2bc + c2 2ca + a2
2(ab + bc + ca) + b2 + c2 + a2
Example 2.1.6. (Vasile Cirtoaje, Samin Riasat) Let x, y, z be positive real numbers. Prove that
r
r
r
x
y
z
3
+
+
.
x+y
y+z
z+x
2
Solution. Verify that
LHS =
=
=
p
p
p
x(y + z)(z + x) + y(z + x)(x + y) + z(x + y)(y + z)
p
(x + y)(y + z)(z + x)
s
(x(y + z) + y(z + x) + z(x + y)) (z + x + x + y + y + z))
(x + y)(y + z)(z + x)
s
(xy + yz + zx)(x + y + z)
4
(x + y)(y + z)(z + x)
s
(x + y)(y + z)(z + x) + xyz
2
(x + y)(y + z)(z + x)
r
xyz
2 1+
(x + y)(y + z)(z + x)
r
1
3
2 1+ = ,
8
2
ax + by + cz (a + b + c)(x + y + z).
Exercise 2.1.1. Prove Example 1.1.1 and Exercise 1.1.6 using Cauchy-Scwarz inequality.
Exercise 2.1.2. Let a, b, c, d be positive real numbers. Prove that
a
b
c
d
+
+
+
2.
b+c c+d d+a a+b
Exercise 2.1.3 Let a1 , a2 , . . . , an be positive real numbers. Prove that
a2
a21 a22
+
+ + n a1 + a2 + + an .
a2 a3
a1
Exercise 2.1.4. (Michael Rozenberg) Let a, b, c, d be positive real numbers such that a2 +b2 +c2 +d2 =
4. Show that
a2 b2 c2 d2
+
+
+
4.
b
c
d
a
CHAPTER 2. CAUCHY-SCHWARZ AND HOLDERS
INEQUALITIES
14
a
a + 2b
2
+
b
b + 2c
2
+
c
c + 2a
2
1
.
3
Exercise 2.1.6. (Zhautykov Olympiad 2008) Let a, b, c be positive real numbers such that abc = 1.
Show that
1
1
1
3
+
+
.
b(a + b) c(b + c) a(c + a)
2
Exercise 2.1.7. If a, b, c and d are positive real numbers such that a + b + c + d = 4 prove that
b
c
d
a
+
+
+
2.
1 + b2 c 1 + c2 d 1 + d2 a 1 + a2 b
Exercise 2.1.8. Let a1 , a2 , . . . , an and b1 , b2 , . . . , bn be real numbers. Prove that
q
q
p
p
2
2
a1 + b1 + a22 + b22 + + a2n + b2n (a1 + a2 + + an )2 + (b1 + b2 + + bn )2
Exercise 2.1.9. (Samin Riasat) Let a, b, c be the side lengths of a triangle. Prove that
a
b
c
+
+
1.
3a b + c 3b c + a 3c a + b
Exercise 2.1.10. (Pham Kim Hung) Let a, b, c be positive real numbers such that a + b + c = 1.
Prove that
r
a
3
b
c
.
<
+
+
2
c
+
2a
a + 2b
b + 2c
Exercise 2.1.11. Let a, b, c > 0. Prove that
r
2.2
2a
+
b+c
2b
+
c+a
2c
a+b
s
a b c
3
+ +
.
b c a
H
olders Inequality
n
X
n
X
a ij
j=1
j=1
i=1
v
m
um
uY
m
t ai .
j
i=1
2.2. HOLDERS
INEQUALITY
15
It looks kind of difficult to understand. So for brevity a special case is the following: for positive real
numbers a, b, c, p, q, r, x, y, z,
(a3 + b3 + c3 )(p3 + q 3 + r3 )(x3 + y 3 + z 3 ) (aqx + bqy + crz)3 .
Not only Holders inequality is a generalization of Cauchy-Schwarz inequality, it is also a direct consequence
of the AM-GM inequality, which is demonstrated in the following proof of the special case: by AM-GM,
X
X
p3
x3
a3
+
+
a3 + b3 + c3
p3 + q 3 + r3
x3 + y 3 + z 3
X
apx
p
3
,
3
3
3
3
3
(a + b + c )(p + q 3 + r3 )(x3 + y 3 + z 3 )
3 =
which is equivalent to
p
3
(a3 + b3 + c3 )(p3 + q 3 + r3 )(x3 + y 3 + z 3 ) apx + bqy + crz.
Verify that this proof also generalizes to the general inequality, and is similar to the one of the CauchySchwarz inequality. Here are some applications:
Example 2.2.1. (IMO 2001) Let a, b, c be positive real numbers. Prove that
a
b
c
+
+
1.
a2 + 8bc
b2 + 8ca
c2 + 8ab
Solution. By H
olders inequality,
X
X
X
a
a
a
a
a+b+c
.
a + 2b
2a + b
Solution. For the left part, we have from Holders inequality,
X
X
X
a
a
a + 2b
2
a + b + c.
CHAPTER 2. CAUCHY-SCHWARZ AND HOLDERS
INEQUALITIES
16
(a + b + c)
.
2a + b
2a + b
So it remains to show that
X
a
1,
2a + b
.
3
3
3
8abc + (a + b c)
8abc + (b + c a)
8abc + (c + a b)
3abc
Solution. We have
1
1
3
8abc + (a + b c)
3abc
X 1
1
3
1
.
3
8abc + (a + b c)
3
X
(a + b c)3
(a + b + c)3
1
= .
3
3
3
3
8abc + (a + b c)
3(24abc + (a + b c) + (a + c b) + (b + c a) )
3
In this solution, the following inequality was used: for all positive real numbers a, b, c, x, y, z,
a3 b3 c3
(a + b + c)3
+
+
.
x
y
z
3(x + y + z)
The proof of this is left to the reader as an exercise.
Example 2.2.4. (IMO Shortlist 2004) If a, b, c are three positive real numbers such that ab+bc+ca =
1, prove that
r
r
r
1
3 1
3 1
3 1
+ 6b +
+ 6c +
+ 6a
.
a
b
c
abc
Solution. Note that
1
7ab + bc + ca
+ 6b =
. Hence our inequality becomes
a
a
Xp
3
bc(7ab + bc + ca)
1
2
(abc) 3
From Holders inequality we have
Xp
3
bc(7ab + bc + ca)
r
3
X 2 X
a
9
bc .
17
a2 (b c)2 0.
Another formulation of H
olders inequality is the following: for positive real numbers ai , bi , p, q (1 i n)
1 1
such that + = 1,
p q
1
.
x
y
z
3(x + y + z)
Exercise 2.2.4. Let a, b, and c be positive real numbers. Prove the inequality
b2
a6
b6
c6
abc(a + b + c)
+ 2
+ 2
.
2
2
+c
a +c
a + b2
2
Exercise 2.2.5. (Kyiv 2006) Let x, y and z be positive numbers such that xy + xz + yz = 1. Prove
that
x3
y3
z3
(x + y + z)3
+
+
.
1 + 9y 2 xz 1 + 9z 2 yx 1 + 9x2 yz
18
Exercise 2.2.6. Let a, b, c > 0. Prove that
2.3
ab
bc
ca
+
+
ab + bc + ca.
ab + 2c2
bc + 2a2
ca + 2b2
.
ka + b kb + c kc + a
k+1
18
Exercise 2.3.2. (Samin Riasat) Let a, b, c, m, n be positive real numbers. Prove that
a2
b2
c2
3
+
+
.
b(ma + nb) c(mb + nc) a(mc + na)
m+n
Another formulation: Let a, b, c, m, n be positive real numbers such that abc = 1 Prove that
1
1
1
3
+
+
.
b(ma + nb) c(mb + nc) a(mc + na)
m+n
Exercise 2.3.3 (Michael Rozenberg, Samin Riasat) Let x, y, z > 0. Prove that
Xp
Xp
x2 + xy + y 2
2x2 + xy.
cyc
cyc
Exercise 2.3.4 (Vasile Cirtoaje and Samin Riasat) Let a, b, c, k > 0. Prove that
r
a
b
c
k+1
+
+
<
(a + b + c).
k
ka + b
kb + c
kc + a
Exercise 2.3.5. (Michael Rozenberg and Samin Riasat) Let x, y, z be positive real numbers such
that xy + yz + zx 3. Prove that
y
z
x
+
+
1.
4x + 5y
4y + 5z
4z + 5x
a2 + abc
b2 + abc
c2 + abc
1
.
+
+
c + ab
a + bc
b + ca
2 abc
*Exercise 2.3.7. (Ji Chen, Pham Van Thuan and Samin Riasat) Let x, y, z be positive real
numbers. Prove that
r
r
2
2
2
x
y
z
4 27(x + y + z )
4 27(yz + zx + xy)
+
+
.
4
x+y
y+z
4
z+x
Chapter 3
Rearrangement Inequality
A wonderful inequality is that called the Rearrangement inequality. The statement of the inequality is as
follows:
Rearrangement Inequality. Let (ai )ni=1 and (bi )ni=1 be sequences of positive numbers increasing or
decreasing in the same direction. That is, either a1 a2 an and b1 b2 bn or
a1 a2 an and b1 b2 bn . Then for any permutation (cn ) of the numbers (bn ) we have
the following inequalities
n
n
n
X
X
X
ai bi
ai ci
ai bni+1 .
i=1
i=1
i=1
That is, the maximum of the sum occurs when the two sequences are similarly sorted, and the minimum
occurs when they are oppositely sorted.
Proof. Let S denote the sum a1 b1 + a2 b2 + + an bn and S 0 denote the sum a1 b1 + a2 b2 + +
ax by + + ay bx + + an bn . Then
S S 0 = ax bx + ay by ax by ay bx = (ax ay )(bx by ) 0,
since both of ax ay and bx by are either positive, or negative, as the sequences are similarly sorted.
Hence the sum gets smaller whenever any two of the terms alter. This implies that the maximum must
occur when the sequences are sorted similarly. The other part of the inequality follows in a quite similar
manner and is left to the reader.
A useful technique. Let f (a1 , a2 , . . . , an ) be a symmetric expression in a1 , a2 , . . . , an . That is, for
any permutation a01 , a02 , . . . , a0n we have f (a1 , a2 , . . . , an ) = f (a01 , a02 , . . . , a0n ). Then in order to prove
f (a1 , a2 , . . . , an ) 0 we may assume, without loss of generality, that a1 a2 an . The reason
we can do so is because f remains invariant under any permutation of the ai s. This assumption is quite
useful sometimes; check out the following examples:
Example 3.1.1. Let a, b, c be real numbers. Prove that
a2 + b2 + c2 ab + bc + ca.
19
20
Solution. We may assume, WLOG1 , that a b c 0, since the signs of a, b, c does not affect the left
side of the inequality. Applying the Rearrangement inequality for the sequences (a, b, c) and (a, b, c) we
conclude that
aa+bb+ccab+bc+ca
= a2 + b2 + c2 ab + bc + ca.
Example 3.1.2. For positive real numbers a, b, c prove that
a3 + b3 + c3 a2 b + b2 c + c2 a.
Solution. WLOG let a b c. Applying Rearrangement inequality for (a2 , b2 , c2 ) and (a, b, c) we
conclude that
a2 a + b2 b + c2 c a2 b + b2 c + c2 a.
Example 3.1.3. (Nesbitts inequality) For positive real numbers a, b, c prove that
b
c
3
a
+
+
.
b+c c+a a+b
2
Solution. Since the inequality is symmetric in a, b, c we may WLOG assume that a b c. Then verify
1
1
that b + c c + a a + b i.e. b+c
1 a+b
. Now applying the Rearrangement inequality for the
c+a
1
1
1
sequences (a, b, c) and b+c
, c+a
, a+b
we conclude that
b
c
b
c
a
a
+
+
+
+
,
b+c c+a a+b
b+c c+a a+b
and
a
b
c
c
a
b
+
+
+
+
.
b+c c+a a+b
b+c c+a a+b
+
+
= 3.
b+c c+a a+b
b+c c+a a+b
which was what we wanted.
Example 3.1.4 (IMO 1975) We consider two sequences of real numbers x1 x2 . . . xn and
y1 y2 . . . yn . Let z1 , z2 , . . . . , zn be a permutation of the numbers y1 , y2 , . . . , yn . Prove that
n
X
(xi yi )
n
X
i=1
i=1
(xi zi )2 .
yi2 =
xi yi
n
X
i=1
21
.
b+c
b2 + bc
c+a
cyc
cyc
cyc
Solution. Note that the sequences
q
a3
b+c ,
b3
c+a ,
c3
a+b
and
q
1
ca+ab ,
1
ab+bc ,
.
b+c
b+c
ca + ab
b+c
ab + bc
1
bc+ca
are oppositely
22
a3
b+c
X
1
=
ab + bc
a2
b(b + c)
c+a
s
X
a2
b(b + c)
X
a
,
c+a
+
+
.
b(b + c) c(c + a) a(a + b)
b+c c+a a+b
Exercise 3.1.6. (Yaroslavle 2006) Let a > 0, b > 0 and ab = 1. Prove that
b
1
a
+
.
a2 + 3 b2 + 3
2
Exercise 3.1.7. Let a, b, c be positive real numbers satisfying abc = 1. Prove that
ab2 + bc2 + ca2 a + b + c.
Exercise 3.1.8. Let a, b, c be positive real numbers such that a + b + c = 1. Prove that
ab + c ac + b bc + a
+
+
2.
a+b
a+c
b+c
Exercise 3.1.9. (Novosibirsk 2007) Let a and b be positive numbers, and n N. Prove that
(n + 1)(an+1 + bn+1 ) (a + b)(an + an1 b + + bn ).
3.2
23
Chebyshevs inequality
Chebyshevs inequality is a direct consequence of the Rearangement inquality. The statement is as follows:
Chebyshevs Inequality. Let (ai )ni=1 and (bi )ni=1 be two sequences of positive real numbers.
(i ) If the sequences are similarly sorted, then
a1 b1 + a2 b2 + + an bn
a1 + a2 + + an b1 + b2 + + bn
.
n
n
n
(3.1)
.
n
n
n
(3.2)
Proof. We will only prove (3.1). Since the sequences are similarly sorted, Rearrangement inequality
implies
a1 b1 + a2 b2 + + an bn = a1 b1 + a2 b2 + + an bn ,
a1 b1 + a2 b2 + + an bn a1 b2 + a2 b3 + + an b1 ,
a1 b1 + a2 b2 + + an bn a1 b3 + a2 b4 + + an b2 ,
..
.
a1 b1 + a2 b2 + + an bn a1 bn + a2 b1 + + an bn1 .
Adding the above inequalities we get
n(a1 b1 + a2 b2 + + an bn ) (a1 + a2 + + an )(b1 + b2 + + bn ),
which was what we wanted.
Example 3.2.1. For a, b, c > 0 prove that
3(a2 + b2 + c2 ) (a + b + c)2 .
Solution. Applying Chebyshevs inequality for (a, b, c) and (a, b, c) we conclude that
3(a a + b b + c c) (a + b + c)(a + b + c).
24
hence
a8 + b8 + c8
ab + bc + ca
1 1 1
= + + .
3
3
3
a b c
abc
a b
c
b
c
a
+ +
x y z
(a + b + c)
1 1 1
+ +
x y z
1
x
1
y
1
z
(3.3)
we deduce that
3(a + b + c)
3 xyz
a+b+c
x+y+z
,
which was what we wanted. Here the last two inequalities follow from AM-GM.
Example 3.2.4. Let a, b, c > 0. Prove that
a3
b3
c3
+
+
a + b + c.
bc ca ab
Solution. WLOG assume that a b c. Then a3 b3 c3 and bc ca ab. Hence using (3.3) and
(3.1) we conclude that
X a3
bc
3(a3 + b3 + c3 )
(a + b + c)(a2 + b2 + c2 )
a + b + c.
ab + bc + ca
ab + bc + ca
.
n
n
Exercise 3.2.3. Deduce a proof of Nesbitts inequality from Chebyshevs inequality. (Hint: you may use
Example 3.2.3)
Exercise 3.2.4. Let a1 a2 an and b1 b2 bn be positive. Prove that
n
X
ai
i=1
bi
a1 + a2 + + an
n(a1 + a2 + + an )
n
b1 + b2 + + bn
b1 b2 . . . bn
25
.
2
2
2
c (a + b) cyc
c (a + b)
cyc
cyc
Exercise 3.2.8. Let a, b, c > 0. Prove that
aa bb cc (abc)
3.3
a+b+c
3
b1 + b2 + + bn
. Prove that
n
a1b1 b ab22 b abnn b 1.
3 3 xyz
x3 + y 3 + z 3
+
2.
3xyz
x+y+z
Exercise 3.3.4. (Samin Riasat) Let a, b, c be positive real numbers. Prove that
a2 + b2 + c2
2
a
b
c
+
+
.
ab + bc + ca
3 b+c c+a a+b
*Exercise 3.3.5. (Samin Riasat) Let a, b, c be positive real numbers and n be a positive integer. Prove
that
!n
!
!n1
X a
X
X a
an
.
b+c
bn + bn1 c
c+a
cyc
cyc
cyc
26
Chapter 4
Schurs Inequality
Let a, b, c be positive real numbers, and n be positive. Then the following inequality holds:
an (a b)(a c) + bn (b c)(b a) + cn (c a)(c b) 0,
with equality if and only if a = b = c or a = b, c = 0 and permutations.
The above inequality is known as Schurs inequality, after Issai Schur.
Proof. Since the inequality is symmetric in a, b, c WLOG we may assume that a b c. Then
the inequality is equivalent to
(a b)(an (a c) bn (b c)) + cn (a c)(b c) 0,
which is obviously true.
4.2
Jensens Inequality
n
n
is true for all ai [a, b]. Similarly, if f is concave in the interval the sign of inequality turns over. This is
called Jensens inequality.
The convexity is usually determined by checking if f 00 (x) 0 holds for all x [a, b]. Similarly for
concavity one can check if f 00 (x) 0 for all x [a, b]. Here is an example:
Example 4.2.1. Let a, b, c > 0. Prove that
a b c
a bc
a+b+c
3
a+b+c
.
Solution. Consider the function f (x) = x ln x. Verify that f 00 (x) = 1/x > 0 for all x R+ . Thus f is
27
28
a+b+c
3
ln a + ln b + ln c 3 ln
a+b+c
3
a+b+c
3
which is equivalent to
a b c
ln(a b c ) ln
a+b+c
3
a+b+c
,
4.3
Minkowskis Inequality
Minkowskis inequality states that for positive numbers xi , yi and p the following inequality holds:
n
X
!1
(xi + yi )
i=1
4.4
n
X
!1
xpi
i=1
n
X
!1
yip
i=1
Ravi Transformation
Suppose that a, b, c are the side lengths of a triangle. Then positive real numbers x, y, z exist such that
a = x + y, b = y + z and c = z + x.
To verify this, let s be the semi-perimeter. Then denote z = s a, x = s b, y = s c and the
b+ca
> 0 and similarly for the others.
conclusion is obvious since s a =
2
Geometrically, let D, E, F denote the points of tangency of BC, CA, AB, respectively, with the incircle of triangle ABC. Then BD = BF = x, CD = CE = y and AE = AF = z implies the conclusion.
Here are some examples of how the Ravi transformation can transform a geometric inequality into an
algebraic one:
Example 4.4.1. (IMO 1964) Let a, b, c be the side lengths of a triangle. Prove that
a2 (b + c a) + b2 (c + a b) + c2 (a + b c) 3abc.
First Solution. Verify that the inequality can be written as
(a + b c)(b + c a)(c + a b) abc.
Let a = x + y, b = y + z and c = z + x. Then the above inequality becomes
8xyz (x + y)(y + z)(z + x),
which is Example 1.1.3.
Second Solution. The inequality is equivalent to
a3 + b3 + c3 + 3abc a2 b + ab2 + b2 c + bc2 + c2 a + ca2 ,
or,
a(a b)(a c) + b(b c)(b a) + c(c a)(c b) 0,
4.5. NORMALIZATION
29
3
ab + bc + ca a + b c + b + c a + c + a b.
!2
.
cyc
3
(y + zx)
(x + y)(y + z) 3
cyc
cyc
y+4
cyc
=2
zx
cyc
!2
cyc
4.5
Normalization
Homogeneous inequalities can be normalized, e.g. applied restrictions with homogeneous expressions in
the variables. For example, in order to show that a3 + b3 + c3 3abc 0, one may assume, WLOG, that
abc = 1 or a + b + c = 1 etc. The reason is explained below.
Suppose that abc = k 3 . Let a = ka0 , b = kb0 , c = kc0 . This implies a0 b0 c0 = 1, and our inequality
becomes a03 + b03 + c03 3a0 b0 c0 0, which is the same as before. Therefore the restriction abc = 1 doesnt
change anything of the inequality. Similarly one might also assume a + b + c = 1. The reader is requested
to find out how it works.
4.6
Homogenization
This is the opposite of Normalization. It is often useful to substitute a = x/y, b = y/z, c = z/x, when
the condition abc = 1 is given. Similarly when a + b + c = 1 we can substitute a = x/x + y + z, b =
y/x + y + z, c = z/x + y + z to homogenize the inequality. For an example of homogenization note that
we can write the inequality in exercise 1.3.1 in the following form:
a b c
a+b+c
+ +
.
3
b c a
abc
On the other hand, if we substitute a = x/y, b = y/z, c = z/x the inequality becomes,
zx xy yz
x y
z
+ 2 + 2 + + ,
2
y
z
x
y
z x
which clearly looks easier to deal with (Hint: Rearrangement). Many such substitutions exist, and the
reader is urged to study them and find them using his/her own ideas.
30
Chapter 5
Supplementary Problems
Exercise 5.1.1. Let a, b, c be nonnegative reals. Prove that
r
r
ab + bc + ca
3 (a + b) (b + c) (c + a)
.
3
8
Exercise 5.1.2. For a, b, c > 0 prove that
a
b
c
3
+
+
.
4
4
4
(b + c)
(c + a)
(a + b)
2(a + b)(b + c)(c + a)
Exercise 5.1.3. Let a, b, c be real numbers. Prove that
2 + (abc)2 + a2 + b2 + c2 2(ab + bc + ca).
Exercise 5.1.4. (Michael Rozenberg) Let a, b, c be non-negative numbers such that a + b + c = 3.
Prove that
p
p
p
a 2b + c2 + b 2c + a2 + c 2a + b2 3 3.
Exercise 5.1.5. For any acute-angled triangle ABC show that
s
tan A + tan B + tan C ,
r
where s and r denote the semi-perimeter and the inraduis, respectively.
Exercise 5.1.6. (Iran 2008) Find the smallest real K such that for each x, y, z R+ :
p
1
1
1
1
+ 3
+ 3
.
3
3
3
+ b + abc b + c + abc a + c + abc
abc
32
Chapter 6
a b c
a+b+c
+ +
.
3
b c a
abc
1.3.4. See hint for 1.3.1.
1.3.5. Prove and use the following:
a2 b2 c2
(a + b + c)(a2 + b2 + c2 )
+
+
.
b
c
a
ab + bc + ca
2
a
a
= ab+ca
.
2.1.2. b+c
2.1.5. Use Example 2.1.5.
P a2 +abc
c+ab
a(c+a)(a+b)
(b+c)(c+a) .
a2 (ab + bc + ca) +
a2 bc +
ab(ab + bc + ca) +
ab2 c
34
x(x + y) (x + y + z)3
x+y
x+y
s
X
x
(x + y + z)3
.
x+y
x2 + y 2 + z 2 + xy + yz + zx
So it remains to show that
(x + y + z)3
x2 + y 2 + z 2 + xy + yz + zx
2
27
(yz + zx + xy).
4
2
27t
4
4
t(1 t)2
27
(4 3t)(1 3t)2 0,
1
1t
x+y
r
4
27 2
(x + y 2 + z 2 ).
4
We have
X
cyc
s
!
X r x 4 x3
x
4
=
x+y
x+y
x+y
cyc
v
s
!
!
u
3
u Xr x
X
x
t
x+y
x+y
cyc
cyc
v
r
u
u 3 X
x
t
x
.
x+y
2 cyc
x
(x2 + y 2 + z 2 ).
x+y
4
2 cyc
Or,
!2
X r x
3
x
(x2 + y 2 + z 2 ).
x+y
2
cyc
35
But we have
!2
P
x x y+z z+x
p
(x + y)(y + z)(z + x)
2
P
(x y + z)( x z + x)
=
(x + y)(y + z)(z + x)
P
P 2
x (y + z) ( x(z + x))
.
(x + y)(y + z)(z + x)
!2
X r x
=
x
x+y
cyc
x3 y 2
x2 y 2
sym
sym
xy(x y)2 0,
sym
b+c
c+a
a+b
a
a(b + c)
b+c
X
a
b+c
X
a(b + c)
X a
b+c
36
an
b+c , y
bn
c+a , z
cn
a+b .
Then
s
X
an
a
n
=
b+c
(b + c)n
Xr
x
n
=
(b + c)n1
s
X
an1 x
n
=
.
(ca + ab)n1
q
q
q
p
n
n
1
1
1
n
n
But the sequences ( an1 x, n bn1 y, cn1 z) and n (ca+ab)
,
are oppon1 ,
n1
n1
(ab+bc)
(bc+ca)
sitely sorted, since the sequences (a, b, c) and (x, y, z) are similarly sorted. Hence by Rearrangement
inequality we get
s
s
s
n1 x
n1 x
X
X
X
a
a
xan1
n
n
n
=
.
(ca + ab)n1
(ab + bc)n1
bn1 (c + a)n1
Finally using H
olders inequality
X
b+c
s
X
xan1
bn1 (c + a)n1
s
X x X a n1
n
,
bn1
c+a
.
(b + c)4 (c + a)4 (a + b)4
2(ab + bc + ca)(a + b)(b + c)(c + a)
You may use Chebyshevs inequality to prove it.
5.1.3. First Solution: Consider the numbers a2 1, b2 1, c2 1. Two of them must be of the same
sign i.e. either positive or negative. WLOG suppose that a2 1 and b2 1 are of the same sign. Then
2
(a2 1)(b2 1) 0 a2 b2 + 1 a2 + b2 (a+b)
2 .
Now the inequality can be written as
c2 (a2 b2 + 1) 2c(a + b) + 2 + (a b)2 0.
Using the above argument, well be done if we can show that
c2 (a + b)2
2c(a + b) + 2 + (a b)2 0.
2
Or,
1
(ca + bc 2)2 + (a b)2 0,
2
which is obviously true.
Second Solution: WLOG we may assume that a, b, c are positive. First we have the following inequality
2
37
This follows from Schur and AM-GM
2
(a 3 )3 + (b 3 )3 + (c 3 )3 + 3(abc) 3
X
a3
2
2 2 X
2
2
b3 + a3 b3
2ab.
2 + (abc)2 3(abc) 3 .
2
a3 + b3
2
a3 + b3 + abc
Verify that
a3 + b3
a+b
3
3
a + b + abc
a+b+c
c(a2 + b2 ab) abc
c(a b)2 0
which is obviously true. Hence we conclude that
X
X a+b
a3 + b3
= 2.
a3 + b3 + abc
a+b+c
(a + b)(b + c)
p
4(a + b + c).
(b + c a)(c + a b)
=
.
b+ca+c+ab
c
(b + c a)(c + a b)
Therefore it remains to show that
X (a + b)(b + c)
c
4(a + b + c).
Since the sequences { a1 , 1b , 1c } and {(c + a)(a + b), (a + b)(b + c), (b + c)(c + a)} are oppositely sorted, from
Rearrangement we get
X (a + b)(b + c)
c
Therefore it remains to show that
X (a + b)(b + c)
b
X ca
b
a + b + c,
=a+b+c+
ca
.
b
38
X ca
c
= a + b + c.
q
q
q
12y
12z
5.1.15. Solution: Let x = 2a21+2 , y = 2b21+2 , z = 2c21+2 . Thus a = 12x
,
b
=
,
c
=
2x
2y
2z . Then
from the given condition x + y + z = 1 and we need to prove that
s
X (1 2x)(1 2y)
3
,
2x 2y
2
cyc
or
s
X
cyc
But we have
s
X
cyc
(y + z x)(z + x y)
3.
xy
(y + z x)(z + x y) X
xy
cyc
y+zx z+xy
+
y
x
= 6.
References
1. Pham Kim Hung, Secrets in Inequalities (Volume 1), GIL Publishing House, 2007.
2. Radmila Bulajich Manfrino, Jose Antonio Gomez Ortega, Rogelio Valcez Delgado, Inequalities,
Institudo de Matematicas, Universidad Nacional Autonoma de Mexico, 2005.
3. http://www.mathlinks.ro
39