Provar que um polinômio é positivo

Question

Como posso provar que o polinômio $$ f(x) = x^5-x^3/2-x+4/5 $$ é positivo para todos os números reais $x > 0$? Uma maneira óbvia é mostrar que$$ f'(x) = 5x^4-3x^2/2-1 $$ tem uma raiz positiva única $x_0$ para qual $f(x_0) > 0$ e $f''(x_0) > 0$, então o mínimo de $f$ devemos ser $f(x_0) > 0$, mas o cálculo da raiz e, em seguida, inseri-lo em $f, f''$parece tão deselegante para mim. Tentei completar o quadrado, mas sem sucesso. Alguma ideia elegante?

Answer 1

Por AM-GM: $$10x^5-5x^3-10x+8=(3x^5-5x^3+2)+(7x^5-10x+6)\geq$$ $$\geq5\sqrt[5]{(x^5)^3\cdot1^2}-5x^3+\left(5\sqrt[5]{7\left(\frac{3}{2}\right)^4}-10\right)x>0.$$

Answer 2

Nós temos $$x^5-\frac{x^3}{2}-x+\frac{4}{5} = x \left({x}^{2}-\frac 34 \right)^{2}+x \left(x-\frac 3 4 \right) ^{2}+\frac 32 \left( x-{\frac{17}{24}} \right)^{2}+{\frac{91}{1920}}>0.$$Veja aqui .

Answer 3

Para $x\ge1$ o resultado é trivial, pois

$$f'(x) = 5x^4-\frac 32x^2-1 \ge 5x^2-\frac 32x^2-1=\frac 7 2x^2-1>0$$

então para $0<x=\frac1y<1$ com $y>1$ temos

$$x^5-x^3/2-x+4/5>0 \iff 8y^5-10y^4-5y^2+10>0$$

e pela conclusão elementar subsequente dos quadrados

$$8y^5-10y^4-5y^2+10=(8y^5-16y^4+8y^3)+6y^4-8y^3-5y^2+10=$$

$$=8y^3(y-1)^2+(6y^4-12y^3+6y^2)+4y^3-11y^2+10=$$

$$=8y^3(y-1)^2+6y^2(y-1)^2+(4y^3-8y^2+4y)-3y^2-4y+10=$$

$$=8y^3(y-1)^2+6y^2(y-1)^2+4y(y-1)^2-3(y-1)^2-10(y-1)+3>$$

$$>18y(y-1)^2-3(y-1)^2-10(y-1)+3=(18y-3)(y-1)^2-10(y-1)+3>$$

$$>15(y-1)^2-10(y-1)+3>0$$