X⁵y⁴ + z⁵z⁴ + y⁵x⁴ + y⁵z⁴ + z⁵x⁴ + z⁵y⁴ ≥ 6x³y³z³ Разделим на 6: (x⁵y⁴ + x⁵z⁴ + y⁵x⁴ + y⁵z⁴ + z⁵x⁴ + z⁵y⁴)/6 ≥ x³y³z³ Заметим, что перемножив все слагаемые, получим: x⁵y⁴·x⁵z⁴·y⁵x⁴·y⁵z⁴·z⁵x⁴·z⁵y⁴ = x¹⁸y¹⁸z¹⁸ Количество слагаемых - 6. Значит, в правой части представлено среднее арифметическое шести чисел, а в правой части - среднее геометрическое. Как известно, среднее арифметическое n-ого количества чисел больше n-ого количества среднего геометрического этих же чисел (или равно, если все n чисел равны между собой).
Разделим на 6:
(x⁵y⁴ + x⁵z⁴ + y⁵x⁴ + y⁵z⁴ + z⁵x⁴ + z⁵y⁴)/6 ≥ x³y³z³
Заметим, что перемножив все слагаемые, получим:
x⁵y⁴·x⁵z⁴·y⁵x⁴·y⁵z⁴·z⁵x⁴·z⁵y⁴ = x¹⁸y¹⁸z¹⁸
Количество слагаемых - 6.
Значит, в правой части представлено среднее арифметическое шести чисел, а в правой части - среднее геометрическое.
Как известно, среднее арифметическое n-ого количества чисел больше n-ого количества среднего геометрического этих же чисел (или равно, если все n чисел равны между собой).
Объяснение:
z = 1/(2x^2) + 1/(2y^2), при условии 1/x^4 + 1/y^4 = 2
Выразим y через x
1/y^4 = 2 - 1/x^4 = (2x^4 - 1)/x^4
1/(2y^2) = √(2x^4 - 1)/(2x^2)
Область определения: x ≠ 0; y ≠ 0; x^4 > 1/2; |x| > 1/(кор. 4 ст. из 2) ≈ 0,84
В функцию z входит 1/(2y^2), поэтому я так и написал.
z = 1/(2x^2) + 1/(2y^2) = 1/(2x^2) + √(2x^4 - 1)/(2x^2) = (√(2x^4 - 1) + 1) / (2x^2)
Теперь находим производную функции уже одной переменной.
z ' = [8x^3/(2√(2x^4 - 1))*2x^2 - 4x(√(2x^4 - 1) + 1) ] / (4x^4) =
= [2x^4/√(2x^4 - 1) - √(2x^4 - 1) - 1] / x^3
В точке экстремума производная, то есть ее числитель, равна 0.
2x^4/√(2x^4 - 1) - √(2x^4 - 1) - 1 = 0
(2x^4 - (2x^4 - 1)) / √(2x^4 - 1) = 1
1/√(2x^4 - 1) = 1
√(2x^4 - 1) = 1
2x^4 - 1 = 1
2x^4 = 2
x^4 = 1
x1 = -1; x2 = 1;
y^4 = x^4/(2x^4 - 1) = 1/(2-1) = 1; y1 = -1; y2 = 1.
z = 1/(2x^2) + 1/(2y^2) = 1/(2*1) + 1/(2*1) = 1
Критические точки: (-1; -1; 1); (-1; 1; 1); (1; -1; 1); (1; 1; 1).
При x = -2 < -1 будет
z ' = (2*16/√15 - √15 - 1) / (-8) ≈ 3,4/(-8) < 0
Функция падает.
При x = -0,9 € (-1; -1/(кор. 4 ст из 2) ) будет
z ' = (2*0,9^4/√(2*0,9^4-1) - √(2*0,9^4-1) - 1) / (-0,9)^3 =
= (1,3122/√0,3122 - √0,3122 - 1) / (-0,729) ≈ 0,8/(-0,73) < 0
Функция падает.
При x < -1 функция падает и при x > -1 функция тоже падает.
Значит, x = -1 - это критическая точка, но не экстремум.
Тоже самое с x = 1.
При x € (1/кор. 4 ст из 2); 1) функция растет, и при x > 1 функция тоже растет.
Поэтому у этой функции экстремумов нет.