Bon, j'explique ma démarche quand même, car ça fait un peu trop "identité qui sort de mon chapeau magique".
L'idée est de réécrire l'expression sous la forme
^3 + b(wx + y)^2 + c)
avec

des réels à déterminer, avec

, puisqu'à partir de là, on a
^3 + b(wx + y)^2 + c \geq a(ux-v)^3)
, dont le signe de ce dernier est très facile à donner.
)
Je reconnais ici un polynôme (dans la parenthèse) de la forme
^3 = x^3 + 3a^2 + 3a + a^3)
. Sauf qu'on voit que tous les coefficients ne sont pas liés, donc on ne peut trouver un tel

, d'où l'idée "d'approcher" ce polynôme. J'essaye de travailler avec des entiers. Comme on a -3/4,

doit être négatif. Comme le premier entier > 3/4 est 1, j'essaye de développer ceci :
^3 = x^3 - 3x^2 + 3x - 1)
Or moi je veux arriver à

:
^3 + \frac{5x^2}{4} - x + \frac{1}{4})
^3 + (x^2 - x + \frac{1}{4}) + \frac{x^2}{4})
^3 + (x-\frac{1}{2})^2 + \frac{x^2}{4})
Il ne reste plus qu'à multiplier par 4 et c'est bon.