Densite de N+piZ dans R
Densite de N+piZ dans R
Bonjour,
je rencontre quelque difficulté pour finir la démonstration du résultat : N+piZ dense dans R.
En m'inspirant de la démonstration des sous-groupes de R, j'ai réussi à montrer que si m=inf(N+piZ inter R+*)=0 alors cet ensemble est dense. Mais je n'arrive pas à justifier que le cas m>0 est impossible. Pourriez-vous me donner quelques indications pour pouvoir conclure
je rencontre quelque difficulté pour finir la démonstration du résultat : N+piZ dense dans R.
En m'inspirant de la démonstration des sous-groupes de R, j'ai réussi à montrer que si m=inf(N+piZ inter R+*)=0 alors cet ensemble est dense. Mais je n'arrive pas à justifier que le cas m>0 est impossible. Pourriez-vous me donner quelques indications pour pouvoir conclure
2015-2016 : MPSI Janson de Sailly
2016-2017 : MP* Janson de Sailly
2016-2017 : MP* Janson de Sailly
Re: Densite de N+piZ dans R
Lemme : il existe (p_n/q_n) avec q_n tend vers l'infini telle que |pi-p_n/q_n|<1/q_n^2, et avec cette suite tu trouves m=0 nécessairement.
Dernière modification par donnerwetter le 26 mai 2018 08:33, modifié 1 fois.
Re: Densite de N+piZ dans R
Merci pour l'indication, cependant je ne comprend pas pourquoi dans le deuxième cas : N+piZ=mZ ?
2015-2016 : MPSI Janson de Sailly
2016-2017 : MP* Janson de Sailly
2016-2017 : MP* Janson de Sailly
Re: Densite de N+piZ dans R
.
Dernière modification par donnerwetter le 26 mai 2018 08:33, modifié 1 fois.
Re: Densite de N+piZ dans R
Mais N+piZ n'est pas un groupe ^^
2015-2016 : MPSI Janson de Sailly
2016-2017 : MP* Janson de Sailly
2016-2017 : MP* Janson de Sailly
Re: Densite de N+piZ dans R
Excuse
Re: Densite de N+piZ dans R
Hello ! Le résultat que tu cherches à montrer implique l'irrationalité de pi, qui reste quelque chose de non trivial, donc c'est normal que tu rencontres une difficulté. Vois si tu parviens mieux à conclure en admettant que pi est irrationnel (puis tu pourras chercher à le montrer)
Re: Densite de N+piZ dans R
Soit $H = \mathbb N + \pi \mathbb Z$ et soit $m =\inf (H \cap \mathbb R_+^*)$. Supposons que $m > 0$.
Par densité de $\mathbb Z + \pi\mathbb Z$ dans $\mathbb R$, on peut trouver $x \in H$ tel que $|x| < m$. De plus $x\neq 0$ car $\pi$ est irrationnel.
Si $x > 0$, alors $x \in H\cap\mathbb R_+^*$ et donc $m \leq x < m$.
Si $x < 0$, alors $0 < x + m < m$ et $m \leq x + m$ car $x + H \subset H$.
Dans tous les cas $m < m$, ce qui est absurde.
Par densité de $\mathbb Z + \pi\mathbb Z$ dans $\mathbb R$, on peut trouver $x \in H$ tel que $|x| < m$. De plus $x\neq 0$ car $\pi$ est irrationnel.
Si $x > 0$, alors $x \in H\cap\mathbb R_+^*$ et donc $m \leq x < m$.
Si $x < 0$, alors $0 < x + m < m$ et $m \leq x + m$ car $x + H \subset H$.
Dans tous les cas $m < m$, ce qui est absurde.
Re: Densite de N+piZ dans R
Je n'ai rien écrit de tel : il suffit de voir que $ m-x $ est un minorant de $H\cap \mathbb R_+^*$ pour en déduire que $m - x \leq m$.
Détails. Soit $h \in H\cap \mathbb R_+^*$. Alors $x + h \in H\cap \mathbb R_+^*$ car $x + h \in H$ et $x + h \geq x + m > 0$. Donc $m \leq x + h$.
P.S. Tout ceci est à peu près évident avec un schéma.
Détails. Soit $h \in H\cap \mathbb R_+^*$. Alors $x + h \in H\cap \mathbb R_+^*$ car $x + h \in H$ et $x + h \geq x + m > 0$. Donc $m \leq x + h$.
P.S. Tout ceci est à peu près évident avec un schéma.
Re: Densite de N+piZ dans R
Merci beaucoup pour vos réponses !
2015-2016 : MPSI Janson de Sailly
2016-2017 : MP* Janson de Sailly
2016-2017 : MP* Janson de Sailly