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.