Обозначим cлагаемые за Х,У,Z
(X+Y+Z)/3>=1
Согласно неравенству о среднем арифметическом и среднем геометрическом достаточно доказать :
ХУZ>=1
Вернемся к исходным обозначениям
8abc>=(a+b)(b+c)(a+c)
Снова согласно неравенству о среднем арифметическом и среднем геометрическом видим
a+b>=2sqrt(ab) b+c>=2sqrt(сb) (a+c)>=2sqrt(ac)
поэтому можим заменить сомножители справа на произведение
2sqrt(ab)*2sqrt(aс)*2sqrt(сb)=8abc, что и доказывает неравенство.
Равенство достигается только при а=с=b
tg α – tg β = tg (α – β) (1 + tg α tg β).
Получаем:
tg x tg 2x tg 3x = tg 3x – tg x + tg 4x – tg 2x,
tg x tg 2x tg 3x = tg 2x (1 + tg x tg 3x) + tg 2x (1 + tg 2x tg 4x),
tg 2x (1 + tg x tg 3x – tg x tg 3x + 1 + tg 2x tg 4x) = 0,
tg 2x = 0 или tg 2x tg 4x = –2.
С первым понятно, что делать. Второе:
tg 2x tg 4x = –2,
tg 2x · 2 tg 2x / (1 – tg² 2x) = –2,
tg² 2x = tg² 2x – 1.
Это равенство невозможно.
Все решения получаются из уравнения tg 2x = 0, то есть 2x = πn, x = πn/2. Значения с нечётными n не подходят (tg x и tg 3x не существуют) , значит, ответ x = πk. Возможно так