Pas de multiple de trois
dans Arithmétique
Bonjour,
On pose $u_1=\sqrt3$ et pour tout $n>0,\quad u_{n+1}=\lfloor u_n \rfloor +\dfrac {1}{u_n-\lfloor u_n \rfloor }\quad $.
Montrer que $\lfloor u_n \rfloor $ n'est jamais divisible par $3$.
On pose $u_1=\sqrt3$ et pour tout $n>0,\quad u_{n+1}=\lfloor u_n \rfloor +\dfrac {1}{u_n-\lfloor u_n \rfloor }\quad $.
Montrer que $\lfloor u_n \rfloor $ n'est jamais divisible par $3$.
Réponses
-
On a $u_n=\dfrac{3(n-1)}{2}+\dfrac{(3+(-1)^{n+1})\sqrt{3}}{4}$.
-
Merci JLT, avec cette formule on peut voir que $u_{n+2}=u_n +3$ et que
$\lfloor u_n \rfloor=\lfloor \dfrac32n-\dfrac14 \rfloor$ -
Pour les gens qui comme moi auraient de la peau de saucisson devant les yeux, cela veut dire que les premières valeurs de la suite sont, dans l'ordre :
1, 2, 4, 5, 7, 8, 10, 11, 13, 14, 16, 17, 19, 20, 22, 23, 25, 26...
Il me semble commode d'introduire la suite qui définit le développement en fraction continue de $1+\sqrt3$ [v_1=1+\sqrt3 \quad\text{et}\quad\forall n\ge1,\ v_{n+1}=\frac{1}{v_n-\lfloor v_n\rfloor}.\]On vérifie par récurrence que $u_n-\lfloor u_n\rfloor=v_n-\lfloor v_n\rfloor$ pour tout $n$. C'est vrai pour $n=1$ ; si c'est vrai pour $n$, alors, à un entier près ($\lfloor u_n\rfloor$ ou $0$), $u_{n+1}$ et $v_{n+1}$ valent tous deux $\frac{1}{u_n-\lfloor u_n\rfloor}=\frac{1}{v_n-\lfloor v_n\rfloor}$.
Il est classique et facile à vérifier que $(v_n)$ est périodique de période $2$, avec $v_1=1+\sqrt3$ et $v_2=\frac12(1+\sqrt3)$. On en déduit que $\lfloor u_{n+1}\rfloor=\lfloor u_n\rfloor+(1\text{ ou }2)$ – plus précisément, $1$ si $n$ est impair et $2$ si $n$ est pair. Cela donne la relation $\lfloor u_{n+1}\rfloor=\lfloor u_n\rfloor+3$ de Cidrolin. -
Merci Math Coss. Considérons la suite définie par $\quad u_{n+1}=\lfloor u_n \rfloor +\dfrac {1}{u_n-\lfloor u_n \rfloor }\quad$ et $u_1=x$ un irrationnel positif.
Si le développement en fraction continue de $x$ est: $[a_1;a_2;a_3;a_4;\dots ]$ alors $\displaystyle \lfloor u_n \rfloor =\sum_{k=1}^n a_k$.
Exemple avec $x=0,709803442861...$, la constante du lapin, on a $x=[0,1,2,2,4,8,32,256,...]$, on trouve que $\lfloor u_n \rfloor $prend les valeurs $0;1;3;5;9;17;49;305;...$
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres