Une question bête ?

Bonsoir à tous
Vu l'altitude stratosphérique (pour moi, tout au moins) à laquelle évoluent en général les fils sur ce forum, je suis comme qui dirait dans mes petits souliers pour vous poser la question suivante.
Est-il prouvé que le développement décimal de 1/p, p premier, est périodique de période p-1 ? bien entendu, sauf les exceptions évidentes p = 2, 3, 5 et 11 et les cas particuliers, tel p = 13 ?
Je constate en effet :
1/7 = 0,142857142857142857 ... (période de 6 chiffres)
1/13 = 0,076923076923076923 ... (période de 6 chiffres, soit un cas particulier de période (p-1)/2)
1/17 = 0,0588235294117647058823 ... (période de 16 chiffres)
1/19 = 0,052631578947368421052631 ... (période de 18 chiffres)
1/23 = 0,0434782608695652173913043478 ... (période de 22 chiffres)
1/29 = 0,0344827586206896551724137931034482 ... (période de 28 chiffres)
1/31 = 0,03225806451612903225806451612903 ... (période de 15 chiffres, soit un autre cas particulier de période (p-1)/2)
et je trouve cela curieux ... mais sans doute explicable, n'est-ce pas ?
Et s'il s'agit d'un résultat général, est-ce qu'il s'applique quelle que soit la base de numération choisie ? Peut-être avec quelques accommodements ? Qu'en est-il, par exemple, de 1/23 en base 7 ou en base 15 ?

Mais par acquit de conscience, je découvre la suite ...
1/37 = 0,027027027027 ... (là, c'est une surprise, et une belle !)
1/41 = 0,024390243902439 (une période de 5 chiffres ??? je commence à me dire "bizarre, bizarre ...")
1/43 = 0,023255813953488372093023255 (période de 21 chiffres soit (p-1)/2)
1/47 = 0,0212765957446808510638297872340425531914893617021276 (période de 46 chiffres)

Donc, ce n'est pas un résultat général, et s'il existe une règle pour ce développement décimal, elle ne peut sans doute pas s'exprimer de façon simple ... Au moins, sait-on quel est le cas le plus courant ?

Merci de votre intérêt pour cette broutille sans importance ...
Bien cordialement
JLB

Réponses

  • Bonsoir,
    pour compliquer le sujet : et où aller plus loin
  • $\def\F{\mathbb F}\def\Z{\mathbb Z}$@Jelobreuil
    Le développement décimal de $1/p$ est lié à l'ordre de $10$ dans $\F_p^*$ ($p$ premier) où $\F_p$ est le corps $\Z/p\Z$. Cet ordre est un diviseur de $p-1$.
    [color=#000000]> Order(GF(37)!10) ;
    3
    > Order(GF(41)!10) ;
    5
    > Order(GF(43)!10) ;
    21
    > Order(GF(47)!10) ;
    46
    [/color]
    
    Est ce que tu reconnais tes billes ? Note : ci-dessus, GF(p) c'est $\F_p$.
    J'attache un exercice corrigé ; peut-être que cela t'aidera ? Ainsi qu'un autre machin que j'ai eu la chance de retrouver.
  • Si $r$ est un rationnel. On sait qu'il existe $n$ entier naturel tel que $10^nr-r$ est un entier*.
    Tous les entiers $n$ qui vérifient cette propriété sont multiples d'un entier $n_0$ qui est le plus petit entier $n$ qui vérifie cette propriété. $n_0$ est la longueur du développement décimal de $r$.

    Quand $r=\dfrac{1}{p}$ cela donne $\dfrac{10^n-1}{p}$ est un entier.

    Cela revient à chercher la plus petite période de la fonction $f(x)=10^x$ dans $\mathbb{F}^*_p$
    Ou si tu préfères la plus petite valeur $n_0$, non nulle, pour laquelle on a $10^{n_0}\equiv 1\mod{p}$
    Par exemple, on peut vérifier que $6$ est le plus petite valeurs $n$ telle que $10^6\equiv 1\mod{13}$
    et $6$ est bien la longueur de la période du développement décimal de $\dfrac{1}{13}$.

    *: j'ai le souvenir qu'en classe de cinquième on m'avait appris, connaissant le développement décimal d'un rationnel à obtenir une écriture fractionnaire de ce rationnel.

    PS:

    Pourquoi la longueur de la période du développement décimal de $\dfrac{1}{p}$ avec $p$ un nombre premier strictement plus grand que $5$ est un diviseur de $p-1$?

    On a un théorème dit petit théorème de Fermat qui affirme que si $a$ est premier avec $p$, un nombre premier, alors on a $a^{p-1}\equiv 1\mod{p}$

    Puisque $p>5$ alors $p$, qui est un nombre premier, ne divise pas $10$ donc on peut appliquer le théorème de Fermat avec $a=10$ ce qui nous montre que $10^{p-1}\equiv 1\mod{p}$

    Maintenant si $10$ admet une "racine carrée" dans $\mathbb{F}^*_p$ alors $p-1$ n'est pas la longueur de la période du développement décimal celle-ci étant alors un diviseur de $\frac{p-1}{2}$.
  • Bonjour et merci à vous trois de vos indications et précisions !
    Je vais étudier tout cela, en prenant mon temps ...
    Bien cordialement
    JLB
  • Les calculs de jelobreuil me font penser au problème:

    Un nombre entier dont l'écriture décimale commence par $13$ (à gauche) se trouve divisé par $3$ quand on déplace le $13$ à la fin (à droite). Quel est ce nombre ?

    Ce n'est pas $132019$ car $201913$ est différent de $132019/3$.
  • Cidrolin:

    Tu parles de ce nombre-là: $1304347826086956521739$ ?
  • En effet Fin de partie, j’utilise le calcul de $1/23$.

    On a aussi $\dfrac{7826086956521739130434}{1304347826086956521739}=6$
  • J'ai résolu ton problème de la façon suivante:

    Soit $m=10^n\times 13+a$ .
    L'hypothèse du problème posée est que $3(100a+13)=m$

    C'est à dire que: $10^n-3=23a$ il ne reste plus qu'à trouver un entier $n$ tel que $10^n-3$ est divisible par $23$
    La plus petite valeur de $n$ qui vérifie cette condition est $n=20$ donc on peut prendre $a=\dfrac{10^{20}-3}{23}$
  • Merci pour cette méthode.

    Une autre façon de faire consiste à poser $N=13a_3a_4\dots a_n$, le nombre cherché.

    On considère $x=0,\overline {13a_3a_4\dots a_n}$, donc $x=0,13a_3a_4\dots a_n13a_3a_4\dots a_n13a_3a_4\dots a_n\dots$

    D'après l'énoncé $100x=13+x/3$,

    donc $x=3/23=0,1304347826086956521739130434782608695652173913043478\dots $.

    Finalement on trouve $N=1304347826086956521739$, ou $N=13043478260869565217391304347826086956521739$ ou . . .
  • Pas mal cette méthode qui rentre dans l’esprit du fil (développement décimal périodique).

    Une seule justification doit être faite rigoureusement à mon sens : $100x=13+x/3$.
    Je ne dis pas que c’est difficile cependant.

    Merci pour cet exercice, pour ce fil et aussi pour les documents, cher Claude.
  • Bonjour

    moins orthodoxe mais de tête:

    Ecrire $13$
    Ecrire $39$ à la gauche de $13$ ( car $3*13=39$ modulo $100$ et $13<13+\frac{1}{3})$)
    Ecrire $17$ à la gauche de $3913$ ( car $3*39=17$ modulo $100$ et $39,13<39+\frac{1}{3})$)
    Ecrire $52$ à la gauche de $173913$ ( car $3*17+1=52$ modulo $100$ et $17+\frac{1}{3}<17,39<17+\frac{2}{3})$)...

    Bref $T_{k+1}:=$ la $(k+1)$ième tranche de deux chiffres, en partant de la droite, est $3*T_k + f_{k-1}$ modulo $100$ où $ f_{k-1}$ est $0,1,2$ selon que $0, T_{k-1}...T_1$ est inférieur à $\frac{1}{3}$, entre $\frac{1}{3}$ et $\frac{2}{3}$, supérieur à $\frac{2}{3}$

    On arrête dès qu'on retombe sur la tranche $13$.

    Amicalement

    Paul
  • @callipiger , soit le golden ratio $\varphi = \dfrac{1+\sqrt{5}}{2}$, alors :
    \begin{eqnarray}
    \sum_{k=1}^{+\infty} 10^{-(k+1)} F_k & = & \frac{1}{10\sqrt{5}} \sum_{k=1}^{+\infty} \bigg[ \Big( \frac{\varphi}{10} \Big)^k - \Big( -\frac{1}{10\varphi} \Big)^k \bigg] \\
    & = & \frac{1}{\sqrt{5}} \frac{\displaystyle{\varphi+\frac{1}{\varphi}}}{\displaystyle{(10-\varphi) \Big( 10+\frac{1}{\varphi} \Big)}} = \frac{1}{\sqrt{5}} \frac{\displaystyle{\varphi+\frac{1}{\varphi}}}{\displaystyle{99 - 10 \Big( \varphi - \frac{1}{\varphi} \Big)}} = \frac{1}{89}
    \end{eqnarray}
    [modéré]
  • Je résume ce que disait Claude Quitté (parce que les notions de corps Z/nZ, et les notions d'ordre, ce n'est pas clair pour tout le monde et pour moi en particulier) :
    Si p est premier, 1/p admet une période de longueur L, et ce L est forcément un diviseur de p-1.
    L peut être un diviseur propre de p-1, ou bien il peut aussi être égal à p-1.

    Exception : les 2 cas particuliers 2 et 5, qui sont les 2 diviseurs de 10, ce qui vient bien polluer les analyses.
    Le cas p=3 entre dans le cas général, puisque 1/3 a une période de 1, et 1 est un diviseur de p-1.

    Et si on est en base autre que 10, le résultat reste vrai. (en adaptant ce qui est dit pour les 2 cas particuliers 2 et 5).
    Tu me dis, j'oublie. Tu m'enseignes, je me souviens. Tu m'impliques, j'apprends. Benjamin Franklin
  • Une question qui, me semble-t-il, n'est pas bête est: Si $p>5$ est un nombre premier quelle condition doit vérifier $p$ pour que le développement décimal de $\dfrac{1}{p}$ soit exactement de longueur $p-1$ ?
    Existe-t-il une infinité de tels $p$ premiers?

    NB:
    En utilisant la théorie des résidus quadratiques (et, entre autres, en utilisant le théorème de réciprocité quadratique)
    on montre par exemple, sauf erreur, que les nombres premiers de la forme $p=80k+1$ sont tels que la longueur de leur développement décimal est strictement plus petit que $p-1$.
    Il y a une infinité de tels nombres premiers d'après le théorème de la progression arithmétique.
  • Artin's conjecture on primitive roots (Conjecture d'Artin sur les racines primitives).

    Enoncé (conjectural).
    Soit $a \in \Z$ un entier non nul qui n'est pas un carré et distinct de $-1$. Alors il existe une infinité de premiers $p$ tels que $a$ soit une racine primitive modulo $p$.
    Cf par exemple http://web.math.ucsb.edu/~agboola/teaching/2005/winter/old-115A/murty.pdf
  • Fdp a écrit:
    Si $r$ est un rationnel. On sait qu'il existe $n$ entier naturel tel que $10^nr-r$ est un entier.

    Tu es sûr de cette affirmation ? Sauf à accepter $n=0$ (ce qui n'est pas cohérent avec la suite de ton message), je vois mal comme cela est possible si $r=\frac{1}{2}$...
  • LP:

    J'ai supposé, à tort, que la séquence de décimales qui se répètent commençait dès la première décimale ce qui n'est pas correct dans le cas général.
    Par exemple: $r=0,233333333....$
    Mais on voit que $100r-10r=21$ et que donc $r=\dfrac{21}{90}$

    Donc la formule correcte est, me semble-t-il:
    $10^{\text{période}+\text{rang première décimale de la période}}r-10^{\text{rang première décimale de la période}}r=\text{entier naturel}$

    NB: Le rang est un entier naturel qui peut être nul.

    PS:
    Il faudrait écrire en détail mais il me semble que dans le cas des fractions $\dfrac{1}{p}$ avec $p>5$ premier, la séquence de décimales qui se répètent commence au rang $0$.
  • Bonjour,

    @Grothad'icks
    On peut tous faire "mumuse" avec des récurrences d'ordre 2, une fois qu'on sait que l'on est dans des séries qui vivent dans un plan, et que la forme linéaire qui donnera la somme des termes consécutifs est combinaison linéaire des deux formes linéaires de l'espace dual
    >bref, je sors

    @tous
    Sur le même thème :
    il existe un rationnel dont le développement décimal est:
    0.12345678987654321 puis répétition
    ou bien 0.01020304050607080910111213141516171819.... etc jusqu'au pic 99 puis 989796959493929190 etc et répétition

    j'ai vu ça dans une vidéo de numberphile... (ou une autre chaîne de maths de Youtube) et je trouve ça fascinant
    c'est vraiment le produit de convolution des fonctions transposés aux développement décimal de rationnels.

    j'imagine qu'il y a un rationnel dont le développement décimal contient la suite des carrés, et un autre la suite des cubes etc... fascinant.
  • allipiger a écrit:
    j'imagine qu'il y a un rationnel dont le développement décimal contient la suite des carrés,
    Un rationnel dont le développement décimal n'est pas périodique ?

    En général, on réfléchit un peu en écrivant ....
  • @gérard0
    je précise une rationnel qui donne la suite des carrés jusqu'à 100 puis répétition
    et un autre rationnel qui donne la suite des carrés jusqu'à 10000 puis répétition
    et un autre rationnel qui donne la suite des carrés jusqu'à 1000000 puis répétition
    etc...
  • Bonjour,

    Il y a tous les rationnels qu’on veut si on les décrit avec la suite des décimales périodiques.

    Donnons l’écriture décimale des nombres suivants :

    12345/99999
    1491625/9999999
    182764125/999999999
    2019/9999

    Les entiers jusqu’à 5, les carrés jusqu’au 25, les cubes jusqu’à 125.

    Remarque : observer 9/9 et qu’en dire ?


    Édit : tiens, ça donne un petit exercice rigolo « pourquoi le nombre $0,$-la suite des carrés des entiers concaténés- n’est pas un rationnel ? ». En gros, pourquoi n’y a-t-il pas de période à partir d’un certain rang ?

    Cordialement
    Dom
  • @Dom
    la suite contient les puissances de 10 qui casse toute régularité: il y a une sous suite croissante de 0 dans le développement décimal.
  • @Dom
    ce n'est pas tout à fait cela que je cherche, j'ai retrouvé la vidéo:
    je voudrais dire la chose suivante: Aller à 4:12
  • @tous
    je souhaite vérifier certaines conjectures ici numériquement
    que conseillez vous ?
    Utiliser Python ou Sage ?
    sachant qu'il va me falloir travailler avec de grands entiers?
    ou avec de grands décimaux.
    Merci
  • Bon...le nombre de la vidéo est : 0,00010203...9799000102...
    Il contient les premiers entiers consécutifs en les écrivant avec des chiffres jusqu’à 99, puis reproduits par périodicité mais sans le 98.

    Le mien est meilleur : il ne loupe pas 98 !
    Il est peut-être représenté par une fraction plus « compliquée ».

    Il faudrait simplifier (une petite flemme, pardon) : 00010203...979899/99...99 (avec 200 fois le chiffre 9 au dénominateur)

    Je ne comprends pas vraiment l’objection. Sauf à regarder la magie du « 98...1 » au dénominateur dans la vidéo.
  • oui il y a une obstruction passée de 99 ou 999 ou 9999 etc qui sature en retenues...
    mais à creuser....
    je dois choisir le bon langage de programmation pour tester ça mais lequel...?
    il me faut un langage avec un package "grands entiers" ou alors refaire toute une classe en python mais ça va me prendre 2 jours... je ne connais pas les fonctionnalités de python encore... bon du travail en perspective en tout cas et des symétries à retrouver découvrir pour tuez les retenues intempestives.

    ps: je pense que ce n'est pas par flemme il y a un réel souci à régler mais je veux croire que c'est possible... à voir...
    bonne soirée
    je vais revenir à la géométrie un moment... @pappus: j'arrive ! (avec mes idées folles qui commencent vraiment à décanter...)

    ps: je sens que vais utiliser python pour bricoler ça... (et arrêter de déconner avec Scratch... sauf pour le début histoire de me faire un bon brouillon)
  • Bonjour à tous,
    Et merci à tous les contributeurs d'avoir fait vivre ce fil !
    J'aimerais qu'on revienne à la question qu'a posée Fin de Partie : connaît-on une autre définition du sous-ensemble des nombres premiers p tels que la longueur de la période du développement décimal de 1/p soit égale à p-1 ?
    Les premiers éléments de ce sous-ensemble sont 7, 17, 19, 23, 29, 47.
    Etant donné que pour mon premier message, j'ai dû calculer à la main 1/47 (car la calculatrice de mon ordi se limite à 30 décimales ...), j'ai constaté que les 46 restes intermédiaires étaient bien les nombres entiers de 1 à 46 (qui, bien évidemment, apparaissent dans le désordre ! mais peut-être y a-t-il là un ordre sous-jacent ? à creuser ...) et je pense que c'est peut-être un indice ...
    Bien cordialement
    JLB
  • @Jelolebreul
    C'est le point (iii) de la question b. de la Partie III de mon exercice corrigé. Soit $b \ge 1$ un entier premier avec 10. Alors le développement décimal de $1/b$ est immédiatement périodique et la longueur de la période est l'ordre de $10$ dans le groupe des inversibles $(\Z/b/Z)^\times$.

    En particulier si $b$ est premier, la longueur de la période du développement décimal de $1/p$ est l'ordre de $10$ dans le groupe des inversibles $(\Z/p\Z)^\times = \Z/p\Z \setminus \{0\}$, groupe qui est d'ordre $p-1$. La période est donc de longueur $p-1$ si et seulement si $10$ est un générateur de $(\Z/p\Z)^\times$. On dit alors que $10$ est une racine primitive modulo $p$.

    J'ai également répondu en ce qui concerne la chose suivante : existe-t-il une infinité de premiers $p$ tels que 10 soit une racine primitive modulo $p$. En pointant un article sérieux (Ram Murthy) http://web.math.ucsb.edu/~agboola/teaching/2005/winter/old-115A/murty.pdf. C'est lié à Artin's conjecture for primitive roots. J'ai cru comprendre que ce n'était pas résolu pour 10. Et également, le fait surprenant suivant ; parmi $\{2,3,5\}$, il y en a un, nommons le $a$, ayant la propriété suivante : il existe une infinité de premiers $p$ tels que $a$ soit une racine primitive modulo $p$. Et j'ai cru comprendre que l'on ignore lequel ! A vérifier tout de même (je pourrais comprendre de travers).
  • @JLB Suite. Les premiers $p > 5$ tels que la longueur de la période du développement décimal de $1/p$ soit $p-1$, on ne les détermine pas (surtout pas) via le développement décimal de $1/p$. On prend son système de Calcul Formel préféré et, pour un $p$, on interroge le statut de ``$10$ est une racine primitive modulo $p$''. Voici les $p< 10^3$ qui ont cette propriété
    [color=#000000]
    > time [p : p in PrimesInInterval(7,10^3) | IsPrimitive(10 mod p, p)] ;
    [ 7, 17, 19, 23, 29, 47, 59, 61, 97, 109, 113, 131, 149, 167, 179, 181, 193, 223, 229, 233, 257, 263, 269, 313, 337, 367, 
    379, 383, 389, 419, 433, 461, 487, 491, 499, 503, 509, 541, 571, 577, 593, 619, 647, 659, 701, 709, 727, 743, 811, 821, 
    823, 857, 863, 887, 937, 941, 953, 971, 977, 983 ]
    Time: 0.000
    [/color]
    
  • Merci, Claude, de toutes ces précisions, que j'essaie de comprendre tant bien que mal ... et notamment l'article de Murty.
    Le problème pour moi est qu'il me manque tout un tas de notions fondamentales (je ne suis qu'un ingénieur chimiste, de par ma formation de base ...) et notamment : qu'est-ce que le "groupe Z/pZ" et "l'ordre" d'un groupe ? Je vais essayer de voir cela sur Wikipedia ou un autre site ...
    Par contre, j'ai bien compris que le groupe (Z/pZ)x est le groupe Z/pZ amputé de l'élément 0 ...
    D'après ce que tu écris, "10 est une racine primitive modulo p" est équivalent de "10 est un générateur de (Z/pZ)×", c'est bien ça ? Mais là encore, la notion de générateur d'un groupe m'échappe ...
    Encore merci de ta patience, bien cordialement
    JLB
    PS: Je remarque que dans la liste que ton programme donne, il n'y a que 4 paires de jumeaux :17-19, 59-61, 179-181 et 821-823, mais un peu plus de paires de cousins 19-23, 109-113, 229-233, 379-383, 487-491, 499-503, et 937-941, et deux triplets (n-6, n, n+6) 257-263-269 et 971-977-983. Je note aussi le pic de "densité" autour de 500 ... Mais quel en est l'intérêt ?
  • @JLB
    J'ignorais ce que tu savais ou ne savais pas. Bilan, sans faire exprès, j'ai été trop vite, beaucoup trop vite. L'exercice corrigé était destiné à l'époque à des étudiant(e)s en mathématiques de troisième année universitaire. Laisse tomber l'article de Murty sauf peut-être les premières pages.

    Le plus important dans l'histoire est, pour $p$ premier, le groupe MULTIPLICATIF $\big((\Z/p\Z)^\times, \times\big)$ où $(\Z/p\Z)^\times$ est $\Z/p\Z \setminus \{0\}$. A ne pas mélanger avec le groupe ADDITIF $(\Z/p\Z, +)$. Mais déjà, à cet endroit, cela a été probablement trop vite. Revenir en arrière ? La première chose est d'être à l'aise avec le calcul modulo $p$ et plus généralement modulo $b$ où $b$ est un entier. Le fait que $\Z/p\Z \setminus \{0\}$ soit un groupe n'est pas une évidence lorsque l'on débute ...etc...

    Que faire ? Je n'en sais rien !

    Dire que 10 est un générateur de $(\Z/p\Z)^\times$ signifie que $\ (\Z/p\Z)^\times = \{10^k \bmod p \mid 0 \le k < p-1\}$ : tout entier non nul modulo $p$ est égal modulo $p$ à une puissance de 10. On dit aussi que 10 est une racine primitive modulo $p$, c'est exactement la même chose.

    Il faudrait également parler de l'ordre d'un élément dans un groupe. Et de pas mal de choses que l'on apprend au fur et à mesure dans les premières années universitaires dans un cycle de maths. Tout un programme.

    Autre chose. Je n'aime pas pointer wiki mais pour une fois, je le fais : https://fr.wikipedia.org/wiki/Conjecture_d'Artin_sur_les_racines_primitives. En attaché, un extrait. $S(a)$ c'est la propriété : il existe une infinité de premiers $p$ tels que $a$ soit une racine primitive modulo $p$. Il y a une infinité de $a$ tels que $S(a)$ mais on en connaît aucun de manière explicite.88772
  • Le petit théorème de Fermat est une application "bébête" d'un résultat de théorie des groupes qui affirme que pour tout élément $g$ d'un groupe $G$ fini ayant $n$ éléments et d'élément neutre $e$, on a $g^n=e$.
    J'utilise une notation multiplicative pour la loi de composition du groupe.

    Par définition, l'ordre d'un élément de $G$ est le plus entier non nul $m$ tel que $g^m=e$ on sait que cet entier existe puisque $g^n=e$.
    On montre que $m$ est un diviseur de $n$ le nombre d'éléments du groupe (appelé aussi ordre du groupe).

    $\left(\left({\mathbb{Z}}/{p\mathbb{Z}}\right)^{\star},\times \right)$ avec $p$ un nombre premier est groupe.
    Ce groupe a $p-1$ éléments et son élément neutre est la classe modulo $p$ du nombre $1$

    Pour $p>5$, le plus petit entier naturel non nul $n$ tel que $10^n-1$ est divisible par $p$ est la longueur de la période du développement décimal de $\dfrac{1}{p}$

    NB:
    $\left(\left({\mathbb{Z}}/{n\mathbb{Z}}\right)^{\star},\times \right)$ est un groupe aussi pour $n\geq 1$ un entier non nécessairement premier.
    Mais attention ce groupe, en général, ne possède pas $n-1$ éléments mais exactement $\varphi(n)$, le nombre d'entiers strictement inférieurs à $n$ qui sont premiers avec lui (qui n'ont aucun diviseur en commun avec $n$, hormis $1$)
Connectez-vous ou Inscrivez-vous pour répondre.