dowód

[Pawm32]

wykaż, że dla dowolnej liczby rzeczywistej x prawdziwa jest nierówność
\((x^2+2)^4 -x^4-4x^2 \ge 6 \)
robię nie wprost
mam \((x^2+2)^4-(x^2+2)^2-2<0\)
\(t= (x^2+2)^2\), \(t \ge 0\)
\(t^2-t-2<0\)
\(t_1=-1\)
\(t_2=2\)
\(t \in (-1,2) \) i \(t \ge 0\)
czyli bym miał \(t \in <0,2)\)
i bym miał dwie nierówności, tylko nic mi z tego nie chce wyjść

[eresh]

wykaż, że dla dowolnej liczby rzeczywistej x prawdziwa jest nierówność
\((x^2+2)^4 -x-4x^2 \le 6 \)

ale to jest nieprawda

[Pawm32]

wykaż, że dla dowolnej liczby rzeczywistej x prawdziwa jest nierówność
\((x^2+2)^4 -x-4x^2 \le 6 \)

ale to jest nieprawda

już powinna być prawda.

[eresh]

mam \((x^2+2x)^4-(x^2+2)^2-2<0\)
\(t= (x^2+2x)^2\), \(t \ge 0\)
\(t^2-t-2<0\)

tu też jest źle

[Pawm32]

mam \((x^2+2x)^4-(x^2+2)^2-2<0\)
\(t= (x^2+2x)^2\), \(t \ge 0\)
\(t^2-t-2<0\)

tu też jest źle

może jest, ale tu już nie widzę dlaczego i co jest źle?
komentarz może powinien być, że przypuśćmy, że \((x^2+2)^4 -x^4-4x^2 < 6\)

[eresh]

mam \((x^2+2x)^4-(x^2+2)^2-2<0\)
\(t= (x^2+2x)^2\), \(t \ge 0\)
\(t^2-t-2<0\)

tu też jest źle

może jest, ale tu już nie widzę dlaczego i co jest źle?

źle podstawiona zmienna pomocnicza

[Pawm32]

ale dalej nic mi z tych nierówności nie wychodzi

[eresh]

bo masz nierówność w złą stronę

[Pawm32]

gdzie niby na początku jest \(\ge\), ja temu jakby zaprzeczam to mam \(<\)

[eresh]

gdzie niby na początku jest \(\ge\), ja temu jakby zaprzeczam to mam \(<\)

a, ok

[Jerry]

Ja bym rozpatrzył wielomian
\(w(x)=(x^2+2)^4 -x^4-4x^2 -6 =(x^2+2)^4-(x^2+2)^2-2=\\ \qquad
=[(x^2+2)^2-2][(x^2+2)^2+1]=(x^4+4x^2+2)[(x^2+2)^2+1]\ge10>0\)
gdzie równość zachodzi dla \(x=0\)

Pozdrawiam
PS. W rachunkach wykorzystałem Twoje \(t\)

[Jerry]

Przeczytałem Twój post ze zrozumieniem...

\(t= (x^2+2)^2\), \(t \ge 0\)

Nie, \(t\ge (0+2)^2=4\)

\(t \in (-1,2) \) i \(t \ge \color{red}{4}\)

czyli \(t\in\emptyset\)

Pozdrawiam