Let a, b, c be real numbers for which a+b+c=4 and a,b,c>1. Prove that a−11+b−11+c−11≥8(a+b1+b+c1+c+a1).
Нека a, b, c се реални броеви за кои a+b+c=4 и a,b,c>1. Докажи дека a−11+b−11+c−11≥8(a+b1+b+c1+c+a1).
Solution
Since it holds that a−11−b+c8=a−11−4−a8=(a−1)(4−a)12−9a=(a−1)(4−a)3(4−3a) the given inequality is equivalent to 3((a−1)(4−a)4−3a+(b−1)(4−b)4−3b+(c−1)(4−c)4−3c)≥0. Without loss of generality we can assume that a≥b≥c. Then clearly it holds 4−3a≤4−3b≤4−3c. From 1<a,b,c<4 it follows that (a−1)(4−a)1, (b−1)(4−b)1, (c−1)(4−c)1 are positive real numbers. We will prove that (a−1)(4−a)≥(b−1)(4−b). We have (a−1)(4−a)≥(b−1)(4−b)⇔5a−a2≥5b−b2⇔(a−b)(5−a−b)≥0. Analogously (b−1)(4−b)≥(c−1)(4−c). Hence (a−1)(4−a)1≤(b−1)(4−b)1≤(c−1)(4−c)1. Since 4−3a≤4−3b≤4−3c we can use Chebyshev's inequality to obtain: (a−1)(4−a)4−3a+(b−1)(4−b)4−3b+(c−1)(4−c)4−3c≥34−3a+4−3b+4−3c((a−1)(4−a)1+(b−1)(4−b)1+(c−1)(4−c)1)=0. Equality holds for 4−3a=4−3b=4−3c i.e. a=b=c=34.
Решение: Бидејќи важи a−11−b+c8=a−11−4−a8=(a−1)(4−a)12−9a=(a−1)(4−a)3(4−3a) даденото неравенство е еквивалентно со 3((a−1)(4−a)4−3a+(b−1)(4−b)4−3b+(c−1)(4−c)4−3c)≥0. Без губење на општоста нека претпоставиме дека a≥b≥c. Тогаш јасно е дека важи 4−3a≤4−3b≤4−3c. Од 1<a,b,c<4 следува (a−1)(4−a)1, (b−1)(4−b)1, (c−1)(4−c)1 се позитивни реални броеви. Ќе докажеме дека (a−1)(4−a)≥(b−1)(4−b). Имаме (a−1)(4−a)≥(b−1)(4−b)⇔5a−a2≥5b−b2⇔(a−b)(5−a−b)≥0. Аналогно (b−1)(4−b)≥(c−1)(4−c). Оттука следува дека (a−1)(4−a)1≤(b−1)(4−b)1≤(c−1)(4−c)1. Бидејќи 4−3a≤4−3b≤4−3c можеме да го искористиме неравенство на Чебишев и добиваме: (a−1)(4−a)4−3a+(b−1)(4−b)4−3b+(c−1)(4−c)4−3c≥34−3a+4−3b+4−3c((a−1)(4−a)1+(b−1)(4−b)1+(c−1)(4−c)1)=0. Равенство важи за 4−3a=4−3b=4−3c т.е. a=b=c=34.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.