chebyshev inequality voquocbacan

Upload: litbon

Post on 29-May-2018

218 views

Category:

Documents


0 download

TRANSCRIPT

  • 8/9/2019 Chebyshev Inequality VoQuocBaCan

    1/12

    Chebyshev inequality

    Vo Quoc Ba CanStudent, Can Tho University, Vietnam

    Chebyshev inequality is a useful instrument in solving inequalities where therearrangement of variables is possible. In this short note, we will give some tech-niques to use this nice inequality.

    Theorem 1 (Chebyshev inequality). Consider two sequences ofn real numbers(a1, a2, . . . , an) and (b1, b2, . . . , bn). If the two sequences are sorted, that is a1 a2 an, and b1 b2 bn (or a1 a2 an, and b1 b2 bn) then

    a1b1 + a2b2 + + anbn 1

    n (a1 + a2 + + an)(b1 + b2 + + bn)

    Equality occurs if and only if a1 = a2 = = an or b1 = b2 = = bn.Indeed, we have

    n(a1b1 + a2b2 + + anbn) (a1 + a2 + + an)(b1 + b2 + + bn)

    =n

    i,j=1

    (ai aj)(bi bj) 0

    Since (a1, a2, . . . , an) and (b1, b2, . . . , bn) are sorted then (ai aj)(bi bj) 0.We have the following corollary

    Corollary 1 (Corollary of Chebyshev inequality). Ifa1

    a2

    an

    ,

    and b1 b2 bn (or a1 a2 an, and b1 b2 bn) then

    a1b1 + a2b2 + + anbn 1n

    (a1 + a2 + + an)(b1 + b2 + + bn)

    Equality occurs if and only if a1 = a2 = = an or b1 = b2 = = bn.Example 1 (Cauchy Schwarz inequality). Givenn real numbers a1, a2, . . . , an,prove that

    n(a21 + a22 + + a2n) (a1 + a2 + + an)2

    Solution. This is direct consequence of Chebyshev inequality. We apply Chebyshevinequality for sequence (a1, a2, . . . , an) and itself.

    Example 2. Given a,b,c,d be positive real numbers such that

    a2 + b2 + c2 + d2 = 1,

    prove thata2

    b + c + d+

    b2

    c + d + a+

    c2

    d + a + b+

    d2

    a + b + c 2

    3

    1

  • 8/9/2019 Chebyshev Inequality VoQuocBaCan

    2/12

    Solution. Without loss of generality, we suppose that a b c d. We canestablish two sequences easily

    a2 b2 c2 d2,1

    b + c + d 1

    c + d + a 1

    d + a + b 1

    a + b + c

    Now applying Chebyshev inequality, we have

    LHS 14

    (a2 + b2 + c2 + d2)

    1

    a + b + c+

    1

    b + c + d+

    1

    c + d + a+

    1

    d + a + b

    By AM - HM inequality,

    1

    a + b + c +

    1

    b + c + d +

    1

    c + d + a +

    1

    d + a + b 16

    3(a + b + c + d)

    By Cauchy Schwarz inequality,

    a + b + c + d

    4(a2 + b2 + c2 + d2) = 2

    Adding up these inequalities, we have the result. Equality holds if and only ifa = b = c = d = 1

    2.

    Example 3. Let a1, a2, . . . , an be positive real numbers with sum 1, prove that

    a1

    2 a1 +a2

    2 a2 + +an

    2 an n

    2n 1

    Solution. Since this inequality is symmetric with a1, a2, . . . , an, without loss ofgenerality, we suppose that a1 a2 an, then

    1

    2 a1 1

    2 a2 1

    2 anNow, applying Chebyshev inequality, we have

    LHS 1n

    (a1 + a2 + + an)

    1

    2 a1 +1

    2 a2 + +1

    2 an

    n2n (a1 + a2 + + an) =

    n

    2n 1

    Equality holds if and only if a1 = a2 = = an =1

    n .

    Example 4. Let a1, a2, . . . , an be positive real numbers with sum 1, prove that

    a11 a1

    +a2

    1 a2+ + an

    1 an

    a1 +

    a2 + + an

    n 1

    2

  • 8/9/2019 Chebyshev Inequality VoQuocBaCan

    3/12

    Solution. Without loss of generality, assume a1 a2 an, then1

    1 a1 1

    1 a2 1

    1 anNow, by Chebyshev inequality,

    LH S 1n

    (a1 + a2 + + an)

    11 a1

    +1

    1 a2+ + 1

    1 an

    By AM - HM inequality,

    11 a1

    +1

    1 a2+ + 1

    1 an n

    2

    1 a1 +

    1 a2 + +

    1 an

    By Cauchy Schwarz inequality,

    1 a1 +

    1 a2 + +

    1 an

    n(n a1 a2 an) =

    n(n 1)

    a1 +

    a2 + + an

    n(a1 + a2 + + an) =

    n

    Adding up these inequalities, the desired inequality is proved. Equality hold if andonly if a1 = a2 = = an = 1n .Example 5. Let a, b,c,d,e > 0 such that

    1

    4 + a+

    1

    4 + b+

    1

    4 + c+

    1

    4 + d+

    1

    4 + e= 1,

    prove that

    a4 + a2 +

    b4 + b2 +

    c4 + c2 +

    d4 + d2 +

    e4 + e2 1

    Solution. The condition can be rewritten as

    1 a4 + a

    +1 b4 + b

    +1 c4 + c

    +1 d4 + d

    +1 e4 + e

    = 0

    We have to prove cyc

    1

    4 + acyc

    a

    4 + a2

    cyc

    1 a(4 + a)(4 + a2)

    0

    Without loss of generality, suppose that a b c d e, then we can easilyestablish that

    1 a4 + a

    1 b4 + b

    1 c4 + c

    1 d4 + d

    1 e4 + e

    1

    4 + a2 1

    4 + b2 1

    4 + c2 1

    4 + d2 1

    4 + e2

    3

  • 8/9/2019 Chebyshev Inequality VoQuocBaCan

    4/12

    Applying Chebyshev inequality, we have

    LHS cyc

    1

    5

    1 a4 + a

    cyc

    1

    4 + a2

    = 0

    Equality holds if and only if a = b = c = d = e = 1.

    Example 6. Let a,b,c,d be positive real numbers such that a + b + c + d = 4,prove that

    1

    11 + a2+

    1

    11 + b2+

    1

    11 + c2+

    1

    11 + d2 1

    3

    Solution. We can rewrite the inequality as

    cyc

    112

    1

    11 + a2 0

    cyc

    a2 1a2 + 11

    0

    cyc

    (a 1) a + 1a2 + 11

    0

    Without loss of generality, assume a b c d > 0, then it is easy to verify thata + 1

    a2 + 11 b + 1

    b2 + 11 c + 1

    c2 + 11 d + 1

    d2 + 11

    By Chebyshev inequality, we have

    LHS 14

    cyc

    (a 1)

    cyc

    a + 1

    a2 + 11

    = 0

    Equality holds if and only if a = b = c = d = 1.

    Example 7. Prove that for ifa , b, c are three sides of a triangle such that a+b+c =1, we have

    x + y zz2 + xy

    +

    y + z x

    x2 + yz+

    z + x y

    y2 + zx 2

    Solution. Note that (m + n + p)2 m2 + n2 + p2 for any m,n,p 0, hence itsuffices to prove

    cyc

    x + y zz2 + xy

    4

    cyc

    (x + y z)(x + y + z)z2 + xy

    4

    4

  • 8/9/2019 Chebyshev Inequality VoQuocBaCan

    5/12

    cyc (x + y)2 z2

    z

    2

    + xy

    + 1 7

    cyc

    (x + y)2

    z2 + xy+cyc

    xy

    z2 + xy 7

    We will show that cyc

    xy

    z2 + xy 1

    and cyc

    (x + y)2

    z2 + xy 6

    The first is trivial by Cauchy Schwarz inequality, indeed

    cyc

    xyz2 + xy

    cyc

    xy2z2 + xy

    (xy + yz + zx)2cyc xy(2z

    2 + xy)= 1

    For the second, rewrite it as

    cyc

    x2 + y2 2z2z2 + xy

    0

    Since x, y, z are three sides of a triangle then the sequences

    (y2 + z2 2x2, z2 + x2 2y2, x2 + y2 2z2)and

    1x2 + yz , 1y2 + zx , 1z2 + xy

    are sorted, hence by Chebyshev inequality,

    LHS 13

    cyc

    (x2 + y2 2z2)

    cyc

    1

    z2 + xy

    = 0

    Equality holds if and only if (x, y, z) =12

    , 12

    , 0

    .

    Now we are going to find more applications in which the use of Chebyshevinequality is really delicate.

    Example 8. Let a,b,c,d be positive real numbers such that

    a + b + c + d =1

    a+

    1

    b+

    1

    c+

    1

    d

    prove that

    2(a + b + c + d)

    a2 + 3 +

    b2 + 3 +

    c2 + 3 +

    d2 + 3

    5

  • 8/9/2019 Chebyshev Inequality VoQuocBaCan

    6/12

    Solution. We can rewrite the inequality ascyc

    2a

    a2 + 3

    0

    cyc

    a2 12a +

    a2 + 3

    0

    We cant use Chebyshev inequality now since the sequences

    (a2 1, b2 1, c2 1, d2 1)

    and

    1

    2a +

    a2 + 3,

    1

    2b +

    b2 + 3,

    1

    2c +

    c2 + 3,

    1

    2d +

    d2 + 3arent sorted, but if we rewrite it as

    cyc

    a21a

    2 +

    1 + 3a2

    0

    We can apply Chebyshev inequality now since the functions f(x) = x21x

    andg(x) = 1

    2+1+ 3

    x2

    increase on the interval (0, +), hence by Chebyshev inequality

    cycf(a)g(a) 1

    4

    cyc

    f(a)

    cyc

    g(a)

    But cyc

    f(a) =cyc

    a2 1a

    =cyc

    a cyc

    1

    a= 0

    Adding them up, we have the result. Equality hold if and only if a = b = c = d =1.

    The special thing in above solution is we cant use Chebyshev inequality im-mediatly but after some changes, we can apply Chebyshev inequality to solve.The generalization is

    To prove the inequality x1y1 + x2y2 + + xnyn 0, we can provex1

    a1 (a1y1) +x2

    a2 (a2y2) + +xn

    an (anyn) 0where a1, a2, . . . , an are real numbers such that

    x1

    a1,

    x2

    a2, . . . ,

    xn

    an

    6

  • 8/9/2019 Chebyshev Inequality VoQuocBaCan

    7/12

    and

    (a1y1, a2y2, . . . , anyn)are sorted, then after using Chebyshev inequality, we can deduce the inequality toprove the more simple

    x1

    a1+

    x2

    a2+ + xn

    an 0

    anda1y1 + a2y2 + + anyn 0

    Here are some examples

    Example 9. Leta,b,c be positive real numbers such that a + b + c = 3, prove that

    1

    9

    ab+

    1

    9

    bc+

    1

    9

    ca 3

    8

    Solution. Setting x = ab,y = bc,z = ca, we have to prove

    cyc

    1

    9 x 3

    8

    cyc

    1 x9 x 0

    Now, we must choose ax, ay, az such that

    (ax(1 x), ay(1 y), az(1 z)) and

    1

    (9 + x)ax,

    1

    (9 + y)ay,

    1

    (9 + y)ay

    are sorted. Let ax = 6 + x, ay = 6 + y, az = 6 + z. Notes that max{y + z, z + x, x +y} 9

    4(why?1), then if x y, we have

    (1x)(6+x)(1y)(6+y) = (xy)(x+y+3) 0 (1x)(6+x) (1y)(6+y)1

    (9 x)(6 + x) 1

    (9 y)(6 + y) =(x y)(x + y 3)

    (9 x)(9 y)(6 + x)(6 + y) 0

    1(9 x)(6 + x)

    1

    (9 y)(6 + y)Now, since the inequality is symmetric, we can assume x y z and from theabove, we can establish

    (1 x)(6 + x) (1 y)(6 + y) (1 z)(6 + z)1

    (9 x)(6 + x) 1

    (9 y)(6 + y) 1

    (9 z)(6 + z)1y + z = a(b + c) 1

    4(a + b + c)2 = 9

    4, similarly z + x 9

    4, x + y 9

    4

    7

  • 8/9/2019 Chebyshev Inequality VoQuocBaCan

    8/12

    Hence by Chebyshev inequality, we have

    cyc

    1 x9 x =

    cyc

    (1 x)(6 + x)(9 x)(6 + x)

    1

    3

    cyc

    (1 x)(6 + x)

    cyc

    1

    (9 x)(6 + x)

    Thus, it suffices to provecyc

    (1 x)(6 + x) = 18 15(x + y + z) x2 y2 z2 0

    a2b2 + b2c2 + c2a2 + 5(ab + bc + ca) 18 (ab + bc + ca)2 + 5(ab + bc + ca) 6(abc + 3)

    By Schur inequality, we have 3(abc + 3)

    4(ab + bc + ca), it suffices to prove

    (ab + bc + ca)2 + 5(ab + bc + ca) 8(ab + bc + ca)

    ab + bc + ca 3which is trivial since a + b + c = 3. The desired inequality is proved. Equalityholds if and only if a = b = c = 1.

    Example 10 (Vasile Cirtoaje). Prove that for any a,b,c,d 0 such that a +b + c + d = 4, we have

    1

    5 abc +1

    5 bcd +1

    5 cda +1

    5 dab 1

    Solution. Setting x = abc, y = bcd, z = cda, t = dab, we have to provecyc

    1

    5 x 1

    cyc

    1 x5 x 0

    cyc

    (1 x)(2 + x)(5 x)(2 + x) 0

    Note that x + y = bc(a + d) 127

    (a + b + c + d)3 = 6427

    < 3 then if x y, we have

    (1x)(2+x)(1y)(2+y) = (xy)(x+y+1) 0 (1x)(2+x) (1y)(2+y)1

    (5 x)(2 + x) 1

    (5 y)(2 + y) =(x y)(x + y 5)

    (5 x)(5 y)(x + 2)(y + 2) 0

    1(5 x)(2 + x)

    1

    (5 y)(2 + y)

    8

  • 8/9/2019 Chebyshev Inequality VoQuocBaCan

    9/12

    Hence the sequences

    ((1 x)(2 + x), (1 y)(2 + y), (1 z)(2 + z), (1 t)(2 + t))and

    1

    (5 x)(2 + x) ,1

    (5 y)(2 + y) ,1

    (5 z)(2 + z) ,1

    (5 t)(2 + t)

    are sorted. Applying Chebyshev inequality, we have

    LHS 14

    cyc

    (1 x)(2 + x)

    cyc

    1

    (5 x)(2 + x)

    It suffice to prove

    cyc

    (1

    x)(2 + x) = 8

    x

    y

    z

    t

    x2

    y2

    z2

    t2

    0

    a2b2c2 + b2c2d2 + c2d2a2 + d2a2b2 + abc + bcd + cda + dab 8This inequality can be proved easily by Mixing variables (do it!). The inequalityis proved. Equality holds if and only if a = b = c = d = 1.

    Example 11. Leta , b, c 0 such that a + b + c = 3, prove that1

    a2 a + 3 +1

    b2 b + 3 +1

    c2 c + 3 1

    Solution. The inequality is equivalent to

    cyc1

    3 1

    a2 a + 3 0cyc

    a(a 1)a2 a + 3 0

    cyc

    a 1a 1 + 3

    a

    0

    Assume that a b c, then a 1 b 1 c 1. Since a + b + c = 3 thenab, bc, ca 3, therefore

    1

    a 1 + 3a

    1b 1 + 3

    b

    1ca 1 + 3

    c

    By Chebyshev inequality,

    LHS 13

    cyc

    (a 1)

    cyc

    1

    a 1 + 3a

    = 0

    Equality holds if and only if a = b = c = 1.

    9

  • 8/9/2019 Chebyshev Inequality VoQuocBaCan

    10/12

    Example 12. Prove that for any a,b,c 0 and 2 k 0, we havea2 bc

    b2 + c2 + ka2+

    b2 cac2 + a2 + kb2

    +c2 ab

    a2 + b2 + kc2 0

    Solution. Rewrite the inequality as

    cyc

    (a2 bc)(b + c)(ka2 + b2 + c2)(b + c)

    0

    Note that if a b then

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

    (a2

    bc)(b + c)

    (b2

    ca)(c + a)

    (ka2+b2+c2)(b+c)(kb2+c2+a2)(c+a) = (ab)(a2+b2+c2(k1)(ab+bc+ca)) 0

    1(ka2 + b2 + c2)(b + c)

    1(kb2 + c2 + a2)(c + a)

    Therefore the sequences

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

    and 1

    (ka2 + b2 + c2)(b + c),

    1

    (kb2 + c2 + a2)(c + a),

    1

    (kc2 + a2 + b2)(a + b)

    are sorted. Hence applying Chebyshev inequality, we have

    LHS 13

    cyc

    (a2 bc)(b + c)

    cyc

    1

    (ka2 + b2 + c2)(b + c)

    Moreover, we have cyc

    (a2 bc)(b + c) = 0

    We are done. Equality holds if and only if a = b = c for k < 2, for k = 2 equalityholds also for (a , b, c) (1, 1, 0).

    Example 13. For any a , b, c

    0, then

    3(a + b + c)

    a2 + 8bc +

    b2 + 8ca +

    c2 + 8ab

    10

  • 8/9/2019 Chebyshev Inequality VoQuocBaCan

    11/12

    Solution. The inequality is equivalent tocyc

    3a a2 + 8bc 0

    a2 bc

    3a +

    a2 + 8bc 0

    cyc

    (a2 bc)(b + c)3a +

    a2 + 8bc

    (b + c)

    0

    Now, notes that if a b then(a2 bc)(b + c) (b2 ca)(c + a) = (a b)(c2 + ab + 2bc + 2ca) 0

    (a2 bc)(b + c) (b2 ca)(c + a)We will show that

    3a +

    a2 + 8bc

    (b + c)

    3b +

    b2 + 8ca

    (c + a)

    c(a b)

    8a2 + 8b2 + 8c2 + 6ab + 15bc + 15ca

    (b + c)

    a2 + 8bc + (c + a)

    b2 + 8ca 3

    0

    By AM - GM inequality,

    8a2 + 8b2 + 8c2 + 6ab + 15bc + 15ca

    (b + c)

    a2 + 8bc + (c + a)

    b2 + 8ca 3

    2(8a2 + 8b2 + 8c2 + 6ab + 15bc + 15ca)

    ((b + c)2 + a2 + 8bc) + ((c + a)2 + b2 + 8ca) 3

    = 5a2

    + 5b2

    + 5c2

    + 6aba2 + b2 + c2 + 5bc + 5ca

    > 0

    Therefore the sequences

    ((a2 bc)(b + c), (b2 ca)(c + a), (c2 ab)(a + b))and

    13a +

    a2 + 8bc

    (b + c)

    ,1

    3b +

    b2 + 8ca

    (c + a),

    13c +

    c2 + 8ab

    (a + b)

    are sorted. Applying Chebyshev inequality, we have

    cyc

    (a2 bc)(b + c)3a + a2 + 8bc (b + c)

    13

    cyc

    (a2 bc)(b + c)

    cyc

    13a +

    a2 + 8bc

    (b + c)

    = 0

    Equality holds if and only if a = b = c.

    11

  • 8/9/2019 Chebyshev Inequality VoQuocBaCan

    12/12

    Exercise

    1. Prove that if a,b,c are three sides of a triangle then

    a2 bc3a2 + b2 + c2

    +b2 ca

    3b2 + c2 + a2+

    c2 ab3c2 + a2 + b2

    0

    2. If a, b,c,d > 0 such that

    a2 + b2 + c2 + d2 = 4

    then1

    3 abc +1

    3 bcd +1

    3 cda +1

    3 dab 2

    3. If a1, a2, . . . , an are nonnegative real numbers such that

    a1 + a2 + + an = 1a1

    +1

    a2+ + 1

    an

    prove that1

    a21 + n 1+

    1

    a22 + n 1+ + 1

    a2n + n 1 1

    4. If a, b,c > 1 such that

    1

    a2 1 +1

    b2 1 +1

    c2 1 = 1

    prove that

    1a + 1

    + 1b + 1

    + 1d + 1

    1

    PS: We will back to these problems with another technique UndeterminedCoefficient Technique (UCT), this is also a useful tool to solve an inequality.

    12