"Lionel Gondy" <NOSPAM_l.gondy@voila.fr> a écrit dans le message de news:
4163e61f$0$10255$636a15ce@news.free.fr...
> Bonjour,
>
> je cherche à démontrer cette inégalité :
>
> x, y dans IR et k dans Z*,
>
> si |x| < |y| alors |x+2ky| > |y|
>
>
> faut distinguer plusieurs cas : k dans Z+, x>0, y >0 etc...
>
> ou on peut démontrer cela sans faire cette étude ?
> j'ai pensé à Cauchy Schwarz ?
> à la convexité ?
Je ne vois pas d'autre méthode car on doit utiliser le fait que la distance
entre deux entiers pairs est au moins de 2. On peut seulement réduire le
problème
En divisant par y, on obtient
(si |x| < |y| alors |x+2ky| > |y| )
<=>
(si |a| <1 alors |a+2k| > 1)
Intuitivement, c'est évident
|a+2k| >=inf(|a+2q|, q dans Z*)=distance de a à 2Z* (nombre pair privé de
0)>1 (faire un dessin de l'intervalle ]-1,1[ et de 2Z*)
Les seuls entiers pairs non nulles les plus proches d'un réel a compris
entre -1 et 1 sont les entiers -2 et 2
Puisque que la distance de -1 à -2 est 1 et la distance de 1 à 2 est 1, on
en déduit que la distance de a au plus proche pair est au moins 1
(strictement)
Ecrivons cela proprement,
Puisque |a+2k| = |-a+(-2k)| et que lorsque 2k décrit 2Z*; -2k décrit aussi
2Z*, on peut toujours supposer a>=0 (changer a en -a)
Ensuite, si k<0 alors k<=-1 donc 2k<=-2 et a+2k<1+(-2)=-1, ce qui implique
|a+2k| >1
si k>0, alors k>=1 donc 2k>=2 donc a+2k>-1+2=1 donc |a+2k| >1
Le Wed, 6 Oct 2004 16:24:00 +0200
masterbech a écrit
>
>
>"Lionel Gondy" <NOSPAM_l.gondy@voila.fr> a écrit dans le message de news:
>4163e61f$0$10255$636a15ce@news.free.fr...
>> Bonjour,
>>
>> je cherche à démontrer cette inégalité :
>>
>> x, y dans IR et k dans Z*,
>>
>> si |x| < |y| alors |x+2ky| > |y|
>>
>>
>> faut distinguer plusieurs cas : k dans Z+, x>0, y >0 etc...
>>
>> ou on peut démontrer cela sans faire cette étude ?
>> j'ai pensé à Cauchy Schwarz ?
>> à la convexité ?
>
>Je ne vois pas d'autre méthode car on doit utiliser le fait que la distance
>entre deux entiers pairs est au moins de 2.
comme |x| < |y| alors |x| = a |y| avec a dans [0,1[
comme k dans Z* alors |k| = 1+n avec n dans IN
d'autre part on a l'inégalité | |u| - |v| | <= |u -v|
> Le Wed, 6 Oct 2004 16:24:00 +0200
> masterbech a écrit
> comme |x| < |y| alors |x| = a |y| avec a dans [0,1[
> comme k dans Z* alors |k| = 1+n avec n dans IN
> d'autre part on a l'inégalité | |u| - |v| | <= |u -v|