solution du problème:(sauf erreur):
on doit montrer que :-17/16≤4x²y-x-y≤17/16
il est facile de prouver que :4x²y-x-y=[(8xy-1)²-16y²-1]/16y (avec y différent de 0)
donc on doit prouver que -17/16≤[(8xy-1)²-16y²-1]/16y≤17/16
ou bien encore :-17≤[(8xy-1)²-16y²-1]/y≤17
1)-si y>0 alors
il suffit de prouver que : -17y≤(8xy-1)²-16y²-1≤17y
<=> 16y²-17y+1≤(8xy-1)²≤17y+16y²+1
------------------------------------------------------
on a x≤1/2 alors 64x²y²+1≤16y²+1
or -1/2≤x d'où -8y≤16xy d'où -16xy≤+8y
alors 64x²y²+1-16xy≤16y²+1+8y<16y²+1+17y
<=>(8xy-1)²≤16y²+1+17y
---------------------------------------------------------------------
on doit montrer que : 16y²-17y+1≤(8xy-1)²
<=> 16y²-17y+1≤64x²y²-16xy+1
<=>16y²-17y≤64x²y²-16xy
<=> 16y-17≤64x²y-16x (1)
----------------------------------------------------------------
on sait que y≤1 alors 16y-17≤-1
pour 64x²y-16x+1
on fait delta pour trouver que delta=16²-4.64.y=256-256y=256(1-y)<0
alors delta est négatif d’où le signe de 16x²y-16x+1 est le signe de 16y
or 16y est positif d’où 0≤64x²y-16x+1
alors -1≤64x²y-16x et on a 16y-17≤-1 alors 16y-17≤64x²y-16x
d’où 16y²-17y+1≤(8xy-1)² (2)
de (1) et (2) on a : 16y²-17y+1≤(8xy-1)²≤17y+16y²+1
------>:-17/16≤4x²y-x-y≤17/16 (a)
----------------------------------------------------------------------------
2)-si y<0 :on doit prouver que : :-17≤[(8xy-1)²-16y²-1]/y≤17
---->17y≤(8xy-1)²-16y²-1≤-17y
<=> 17y+16y²+1≤(8xy-1)² ≤16y²-17y+1
on a x≤1/2 alors 64x²y²+1≤16y²+1
or x≤1/2 d'où 8y≤16xy d'où -16xy≤-8y
alors 64x²y²+1-16xy≤16y²+1-8y<16y²+1-17y (car -8y<-17y puisque y est négatif)
<=>(8xy-1)²≤16y²+1+17y
-------------------------------------------------------------------------------
on doit montrer que : 16y²+17y+1≤(8xy-1)²
<=> (y+1)(16y+1)≤16y²+17y+1
-------------------------------------------------
- si y≤-1/16------->(y+1)(16y+1)≤0
- d’où (y+1)(16y+1)≤16y²+17y+1
<=>16y²+17y+1≤(8xy-1)²
-------------------------------------------------------
-maintenant si -1/16≤y≤0
16y²+17y+1≤(8xy-1)²
<=> 16y²+17y+1≤64x²y²-16xy+1
<=>16y²+17y≤64x²y²-16xy
--->16y+17≥64x²y-16x (car y est négatif)
---------------------------------------------------------------------------
y≥-1/16 alors 16y+17≥16
on a y≤0 alors 64x²y≤0------>64x²y-16x≤-16x<16 (car -1/2≤x alors -16x≤8<16)
d’où 16y+17≥64x²y-16x
ce qui est équivalent à 16y²+17y+1≤(8xy-1)²
------------------------------------------------------------------
alors dans les deux cas on a 16y²+17y+1≤(8xy-1)² (4)
------------------------------------------------------------------------
de (3) et (4) on a 17y≤(8xy-1)²-16y²-1≤-17y
----->-17/16≤4x²y-x-y≤17/16 (b)
------------------------------------------------------------------
de (a) et (b) on a -17/16≤4x²y-x-y≤17/16
<=> |4x²y-x-y|≤17/16
et puis si y=0 on aura |4x²y-x-y|=|x|
|x|≤1/2
---->|4x²y-x-y|≤17/16
quel exo!!!!!!!