"Lionel Gondy" 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|
>
>
> 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| )
(si |a| 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 k1
si k>0, alors k>=1 donc 2k>=2 donc a+2k>-1+2=1 donc |a+2k| >1
********************
http://www.mathematiques.fr.st********************