11sin^2 a + 9cos^2 a + 8sin^4 a + 2cos^4 a = = 9sin^2 a + 9cos^2 a + 2sin^2 a + 6sin^4 a + 2(sin^4 a + 2cos^4 a) = (*) Заметим, что 1) 9sin^2 a + 9cos^2 a = 9(sin^2 a + cos^2 a) = 9 2) sin^4 a + cos^4 a = sin^4 a + 2sin^2 a*cos^2 a + cos^4 a - 2sin^2 a*cos^2 a = = (sin^2 a + cos^2 a)^2 - 2sin^2 a*cos^2 a = 1 - 1/2*(4sin^2 a*cos^2 a) Подставляем (*) = 9 + 2sin^2 a + 6sin^4 a + 2 - 4sin^2 a*cos^2 a = = 11 + 4sin^2 a - 2sin^2 a + 6sin^4 a - 4sin^2 a*cos^2 a = = 11 - 2sin^2 a + 6sin^4 a + 4sin^2 a*(1 - cos^2 a) = = 11 - 2sin^2 a + 6sin^4 a + 4sin^4 a = 11 - 2sin^2 a + 10sin^4 a = = 10(sin^4 a - 2*1/10*sin^2 a + 1/100) - 1/10 + 11 = = 10(sin^2 a - 1/10)^2 + 109/10 Минимальное значение квадрата равно 0, а всего выражения 109/10.
= 9sin^2 a + 9cos^2 a + 2sin^2 a + 6sin^4 a + 2(sin^4 a + 2cos^4 a) = (*)
Заметим, что
1) 9sin^2 a + 9cos^2 a = 9(sin^2 a + cos^2 a) = 9
2) sin^4 a + cos^4 a = sin^4 a + 2sin^2 a*cos^2 a + cos^4 a - 2sin^2 a*cos^2 a =
= (sin^2 a + cos^2 a)^2 - 2sin^2 a*cos^2 a = 1 - 1/2*(4sin^2 a*cos^2 a)
Подставляем
(*) = 9 + 2sin^2 a + 6sin^4 a + 2 - 4sin^2 a*cos^2 a =
= 11 + 4sin^2 a - 2sin^2 a + 6sin^4 a - 4sin^2 a*cos^2 a =
= 11 - 2sin^2 a + 6sin^4 a + 4sin^2 a*(1 - cos^2 a) =
= 11 - 2sin^2 a + 6sin^4 a + 4sin^4 a = 11 - 2sin^2 a + 10sin^4 a =
= 10(sin^4 a - 2*1/10*sin^2 a + 1/100) - 1/10 + 11 =
= 10(sin^2 a - 1/10)^2 + 109/10
Минимальное значение квадрата равно 0, а всего выражения 109/10.
Обозначим 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