Correction

Posons S = xy + yz + zx - 2xyz . On peut toujours supposer que [Maple Math] et [Maple Math] .

Remarquons que les hypothèses sur x , y et z impliquent que ces trois nombres ne peuvent pas être tous > [Maple Math] car leur somme est 1.

Donc, on doit avoir [Maple Math] .

Posons alors a tel que y = x + a . On a alors z = 1 - x - y = 1 -2x - a.

D'où S = [Maple Math] = [Maple Math] .

S est donc un fonction polynôme P du second dégré en a . Sa dérivée est: P'(a) = ( - 1 + 2x )(3x - 1 + 2a ) .

Comme [Maple Math] , on a [Maple Math] donc P'(a) est du signe contraire de ( 3x - 1 + 2a ). D'où P'(a) > 0 si et seulement si [Maple Math] .

Comme [Maple Math] , on a : [Maple Math] .

Le maximum de P(a) est atteint pour [Maple Math] et ce maximum est : [Maple Math] .

Les variations de la fonction [Maple Math] sur l'intervalle [ 0; [Maple Math] ] montrent qu'elle admet un maximum pour [Maple Math] que ce maximum est [Maple Math] .

Conclusion:

S est bien compris entre 0 et [Maple Math] et la valeur [Maple Math] n'est atteinte que si x = y = z = [Maple Math]