Bien alors ma solution...
x² - xy + y² =< 2
revient a :
(x - y)² =< 2 - xy
On a un carré a gauche, donc forcément sup ou égal a 0
d ou on en déduit que "xy" appartient a ]-oo;2]
on repart a la forme de départ :
x² + y² =< 2 + xy
x² + y² est forcément positif ou nul, donc par transitivité 2 + xy aussi, d'ou on peut élever au carré :
x^4 + y^4 + 2(xy)² =< 4 - 4xy + (xy)²
soit :
x^4 + y^4 =< 4 + 4xy - (xy)²
Et la attention :D on va majorer le membre de droite.
on pose une variable X = xy et on étudie la fonction
4 + 4X - X² sur ]-oo; 2]
Dérivée : -2X + 4 toujours positive sur l intervalle donc la fonction toujours croissante.
D'ou son maximum en 2, soit pour X= 2
4 + 4X - X² = 8
on a donc prouvé que 4 + 4xy - (xy)² =< 8
D'ou la conclusion :
x² - xy + y² =< 2 implique x^4 + y^4 =< 8