равенств 4a + 1 = 1, 4b + 1 = 1, 4с + 1 = 1, т. е. при а = b = с = 0, что противоречит условию а + b + с = 1.
Итак,
10.6. Пусть b < а. Тогда
(а + b)n ? (2a)n = 2nan < 2n (an + bn).
10.7. Так как ( а/b)x ? возрастающая показательная функция (по условию а > b) и p > q, то
Воспользовавшись формулой производной пропорции, получим
что и требовалось доказать.
10.8. Имеем n очевидных неравенств:
Первое и последнее неравенства обязательно будут строгими, так как по условию n > 1. Перемножая эти неравенства, получим
10.9. Способ 1. Обозначим a/b = u, b/c = v, c/a = w. Тогда uvw = 1, т. е. среди чисел u, v и w есть хотя бы одно, большее 1, и одно, меньшее 1 (u = v = w невозможно, так как а, b и с не равны друг другу). Пусть u > 1, а 0 < v < 1, т. е.
(1 ? u)(v ? 1) > 0 или ?uv + u + v ? 1> 0.
С другой стороны, для чисел u, v и e выполняется неравенство
т. е. uv + w ? 2. Складывая это неравенство с неравенством ? uv + u + v ? 1 > 0, получим
u + v + w > 3, или a/b + b/c + c/a > 3.
Способ 2. Пусть u, v и w — положительные числа, причем w — наименьшее из них: u > w, v > w. Так как u и w — положительные числа, то на них можно умножить неравенство v > w:
v(u ? w) > w (u ? w), т. е. uv ? vw + w? > uw.
Поделим последнее неравенство на uw:
v/w ? v/u + e/u > 1.
С другой стороны,
u/v + v/u ? 2.
Складывая с предыдущим неравенством, получим
u/v + v/w + w/u > 3.
Если с — наименьшее из чисел а, b и с, то полагаем w = с, u = а, v = b и получаем неравенство, которое требовалось доказать. Если а или b — наименьшее из чисел а, b и с, то обозначения соответственно изменятся.
Способ 3. Пусть b = с + d1, а = b + d2 (d1 > 0, d2 > 0, т. е. а > b > с). Тогда
Это решение обобщается на случай n чисел:
т. е.
10.10. Воспользуемся формулой Герона и применим к сомножителям p ? а, p ? b, p ? с неравенство между средним геометрическим и средним арифметическим трех чисел (p ? а + p ? b + p ? с = 3p ? 2p = p):
В условие входит величина 4S, для которой мы и проведем дальнейшие оценки
Выделим в числителе слагаемое 3(а? + b? + с?), а излишек в 2(а? + b? + с?) используем для образования полных квадратов, которые поглотили бы все попарные произведения:
и тем самым неравенство доказано.