- Dans toute la suite,
)
désigne une suite d'entiers strictement positifs.
- Si pour tout entier

, on peut trouver

tel que l'écriture décimale de

commence à gauche par celle de

, on dira que
)
peut commencer par une séquence arbitraire.
- Le logarithme décimal sera noté

.
- Si
)
est une suite réelle, on note
_n=s_{n+1}-s_n)
et

.
D'abord on a le :
Théorème 1
Si la suite
)
est dense modulo 1 alors
)
peut commencer par une séquence arbitraire.
Preuve : aisée.
Exemple 1: Si

n'est pas une puissance de 10, alors

peut commencer par une séquence arbitraire. En effet, c'est l'irrationalité de

(facile à établir) qui permet de prouver que la suite
)
est dense modulo 1 et donc d'appliquer le théorème 1.
Ensuite, il est facile de prouver que :
Théorème 2
Soit

une suite réelle vérifiant

et

, alors

est dense modulo 1.
En appliquant le résultat précédent à

, on obtient :
Théorème 3
Soit
)
une suite d'entiers tels que

et

; alors
)
peut commencer par une séquence arbitraire.
Exemples 2: - Si

est un polynôme à coefficients dans

de degré >0 alors
|)
peut commencer par une séquence arbitraire.
- Soit

le n-ième entier premier ; le théorème d'Hadamard sur la répartition des entiers premiers implique que
)
peut commencer par une séquence arbitraire.
Enfin, en généralisant les arguments développés par
frenicle dans son post d'hier (19:25), on obtient :
Théorème 4
Soit une suite

vérifiant

et

dense modulo 1, alors

est une suite dense modulo 1.
En appliquant le théorème 2 à

, on voit que

est dense modulo 1 et on peut donc déduire du théorème précédent :
Théorème 5
Soit

une suite réelle telle que

et

. Alors

est dense modulo 1.
Exemples 3: En appliquant le théorème précédent à
)
, on voit que

peut commencer par une séquence arbitraire.
Le même raisonnement marche également pour

...