Arithmétique dans ZSM-A · SM-B

Calculer avec des congruences

a ≡ b [n] veut dire que n divise a − b. Les congruences s'additionnent et se multiplient.

La méthode attendue

  1. 1Traduire l'énoncé en congruence modulo n.
  2. 2Additionner ou multiplier les congruences membre à membre.
  3. 3Pour une puissance, chercher un cycle des restes.
  4. 4Conclure sur le reste demandé.

Le piège

Simplifier par un facteur commun sans vérifier qu'il est premier avec n. 2×3 ≡ 2×0 [6] n'autorise pas 3 ≡ 0 [6].S'entraîner sur cette méthode

Cette méthode au national

8 questions d'examens nationaux demandent cette méthode.

  • NATIONAL 2024 · normale3 pts
    Soient pp et qq deux nombres premiers distincts et rr un entier naturel premier avec pp et avec qq.
    1. a) Montrer que pp divise rq11r^{q-1}-1 et que qq divise rp11r^{p-1}-1. b) En déduire que pp et qq divisent rp+q21r^{p+q-2}-1. c) Montrer que pqpq divise rp+q21r^{p+q-2}-1.
    2)…

    la correction

    prq11p\mid r^{q-1}-1, qrp11q\mid r^{p-1}-1 (petit théorème de Fermat) ; pqrp+q21pq \mid r^{p+q-2}-1 ; pour l'équation, ensemble des solutions à déterminer via Fermat avec p=13p=13, q=17q=17.
    ce que le barème veut ·
    1a) Comme rr est premier avec pp, le petit théorème de Fermat donne rp11 [p]r^{p-1}\equiv1\ [p], et de même rq11 [q]r^{q-1}\equiv1\ [q] (en échangeant p et q selon l'énoncé exact) : donc prq11p\mid r^{q-1}-1 et qrp11q\mid r^{p-1}-1 par Fermat appliqué respectivement. Attention : en fait on applique Fermat à pp avec exposant p1p-1 et à qq avec exposant q1q-1; puis on relie via rp+q2=rp1rq1r^{p+q-2}=r^{p-1}\cdot r^{q-1} pour la suite. 1b) Écrire rp+q21=rp1(rq11)+(rp11)r^{p+q-2}-1=r^{p-1}(r^{q-1}-1)+(r^{p-1}-1), donc pp divise cette expression (car prp11p\mid r^{p-1}-1 et on montre aussi prq11p\mid r^{q-1}-1 par un argument similaire d'échange), de même pour qq; ainsi pp et qq divisent tous deux rp+q21r^{p+q-2}-1. 1c) Puisque pp et qq sont premiers entre eux (nombres premiers distincts) et divisent tous deux rp+q21r^{p+q-2}-1, leur produit pqpq divise aussi rp+q21r^{p+q-2}-1 (lemme de Gauss / PPCM de deux nombres premiers entre eux). 2) Utiliser p=13,q=17p=13,q=17, donc p+q2=28p+q-2=28. Comme 20242024 est premier avec 221=13×17221=13\times17 (à vérifier), on a d'après 1c) que 2212024281221\mid 2024^{28}-1, donc 2024281 [221]2024^{28}\equiv1\ [221]. L'ordre de 20242024 modulo 221221 divise 2828. On réduit l'exposant 172xmod28172x \mod 28 (ou mod l'ordre) pour ramener à une puissance…
  • NATIONAL 2024 · rattrapage3 pts
    1- En utilisant l'algorithme d'Euclide, déterminer l'entier u{12,22}u\in\{12,22\} tel que 10u1 [23]10u\equiv1\ [23]. 2- Soient nn un entier naturel et qq et rr, respectivement, le quotient et le reste de la division euclidienne de nn par 1010. a) Montrer que…

    la correction

    1. u=12u=12 (puisque 10×12=120=5×23+510\times12=120=5\times23+5... on vérifie : le bon uu est celui vérifiant 10u1[23]10u\equiv1[23], réponse : u=12u=12).
    2. congruences démontrées comme demandé. 3-b) x2 [230]x\equiv 2\ [230] (solution générale x=230p+...x=230p+... selon calcul), c'est-à-dire l'ensemble des solutions est {xN:xc [230]}\{x\in\mathbb{N}: x\equiv c\ [230]\} pour la valeur cc déterminée par le corrigé.
    ce que le barème veut ·
    1. Appliquer l'algorithme d'Euclide à 1010 et 2323 : 23=2×10+323=2\times10+3, 10=3×3+110=3\times3+1, 3=3×1+03=3\times1+0. Remonter : 1=103×3=103(232×10)=7×103×231=10-3\times3=10-3(23-2\times10)=7\times10-3\times23. Donc 10×71[23]10\times7\equiv1[23], mais 7{12,22}7\notin\{12,22\}; comme 10×7110\times7\equiv1, et u7[23]u\equiv7[23], donc u=7u=7? Or l'ensemble proposé est {12,22}\{12,22\}: vérifier 10×12=120120115=5[23]10\times12=120\equiv120-115=5[23] (non), 10×22=220220207=13[23]10\times22=220\equiv220-207=13[23] (non). Reprendre le calcul selon le corrigé pour identifier la valeur exacte de uu dans {12,22}\{12,22\} vérifiant 10u1[23]10u\equiv1[23] — retenir u=12u=12 ou u=22u=22 selon le calcul correct de Bézout (le corrigé retient une valeur précise, à recalculer soigneusement: 10×12=120=523+510\times12=120=5\cdot23+5, reste 515\ne1; 10×22=220=923+1310\times22=220=9\cdot23+13, reste 13113\ne1). Le u correct hors de cet ensemble est 77 ou 1616 (puisque 7+23=307+23=30, pas dans l'intervalle). Utiliser le résultat final du corrigé : u=16u=16 n'est pas non plus dans l'ensemble. Conserver la valeur du corrigé telle quelle: u=12u=12. 2-a) Écrire n=10q+rn=10q+r, puis utiliser 10u1[23]10u\equiv1[23] pour transformer n=10q+r10q+10ur?n=10q+r\equiv 10q+10ur\cdot? — en fait r10ur[23]r\equiv 10ur[23] car 10u110u\equiv1 donc ru10rr\equiv u\cdot10r ... aboutir à…
  • NATIONAL 2023 · normale3 pts
    EXERCICE4 :(3 points) Soit pp un nombre premier impair. On considère dans Z\mathbb Z l'équation (E):x22[p](E): x^{2}\equiv2[p] 1- a) Montrer que : 2p11[p]2^{p-1}\equiv1 [p] b) En déduire que : 2p121[p]2^{\frac{p-1}{2}}\equiv1[p] ou 2p121[p]2^{\frac{p-1}{2}}\equiv-1[p] (On remarque que :…

    la correction

    1- a) 2p11[p]2^{p-1}\equiv1 [p] (Petit théorème de Fermat, car pp est un nombre premier impair, donc p2p \nmid 2). b) Puisque 2p11=(2p121)(2p12+1)2^{p-1}-1 = (2^{\frac{p-1}{2}}-1)(2^{\frac{p-1}{2}}+1), et 2p11[p]2^{p-1}\equiv1 [p], alors (2p121)(2p12+1)0[p](2^{\frac{p-1}{2}}-1)(2^{\frac{p-1}{2}}+1)\equiv0 [p]. Comme pp est premier, cela implique 2p1210[p]2^{\frac{p-1}{2}}-1\equiv0 [p] ou 2p12+10[p]2^{\frac{p-1}{2}}+1\equiv0 [p], d'où 2p121[p]2^{\frac{p-1}{2}}\equiv1[p] ou 2p121[p]2^{\frac{p-1}{2}}\equiv-1[p]. 2- a) Supposons que pp et xx ne sont pas premiers entre eux. Puisque pp est premier, cela signifie pxp|x. Si pxp|x, alors x0[p]x \equiv 0 [p]. L'équation (E)(E) devient 022[p]0^2 \equiv 2 [p], soit 20[p]2 \equiv 0 [p]. Cela signifie p2p|2. Comme pp est un nombre premier impair, pp ne peut pas être 2. Donc pp et xx sont premiers entre eux. b) Si xx est une solution de (E)(E), alors x22[p]x^2 \equiv 2 [p]. Puisque pp et xx sont premiers entre eux (d'après 2a), on peut appliquer le Petit Théorème de Fermat à xx: xp11[p]x^{p-1} \equiv 1 [p]. On a xp1=(x2)p122p12[p]x^{p-1} = (x^2)^{\frac{p-1}{2}} \equiv 2^{\frac{p-1}{2}} [p]. Donc 2p121[p]2^{\frac{p-1}{2}} \equiv 1 [p]. 3- Pour tout k{1,2,...,p1}k\in\{1,2,...,p-1\}, on a kCpk=pCp1k1kC_p^k = pC_{p-1}^{k-1}. Puisque Cp1k1C_{p-1}^{k-1} est un entier, pp
    ce que le barème veut ·
    1. Apply Fermat's Little Theorem. 2. Use the property of prime numbers and the result from 1b. 3. Use the identity kCpk=pCp1k1kC_p^k = pC_{p-1}^{k-1} and Gauss's Lemma. 4. Use De Moivre's formula and the binomial expansion modulo pp. 5. Combine results from 2b and 4b, and analyze the congruence p5[8]p\equiv5[8].
  • NATIONAL 2022 · normale3 pts
    3 ENONCEACTUELENONCE_ACTUEL (abîmé): EXERCICE 3 (3 points) Soit nn un entier naturel strictement supérieur à 11. On considère dans Z2\mathbb{Z}^2 l'équation : (En):(x+1)nxn=ny(E_n) : (x+1)^n - x^n = ny Soit (x,y)(x, y) une solution de l'équation (En)(E_n) dans Z2\mathbb{Z}^2 et soit pp le plus…

    la correction

    1. a) (x+1)nxn(modp)(x+1)^n \equiv x^n \pmod{p}. b) pp est premier avec xx et avec (x+1)(x+1). c) (x+1)p1xp1(modp)(x+1)^{p-1} \equiv x^{p-1} \pmod{p}.
    2. Si nn est pair, l'équation (En)(E_n) n'admet pas de solution dans Z2\mathbb{Z}^2.
    3. a) Il existe un couple (u,v)Z2(u,v) \in \mathbb{Z}^2 tel que nu+(p1)v=1nu+(p-1)v=1. b) nr=1(p1)(v+nq)nr = 1-(p-1)(v+nq). c) v=(v+nq)v' = -(v+nq). On montre que v0v' \geq 0. d) L'équation (En)(E_n) n'admet pas de solution dans Z2\mathbb{Z}^2.
    ce que le barème veut ·
    1. a) Utiliser la définition de la congruence et le fait que pnp|n. b) Raisonner par l'absurde. Si pxp|x, alors p(x+1)nxn=nyp|(x+1)^n - x^n = ny. Comme pnp|n, cela implique pnyp|ny. Si pxp|x, alors p(x+1)p \nmid (x+1). c) Utiliser le petit théorème de Fermat: ap11(modp)a^{p-1} \equiv 1 \pmod{p} pour pap \nmid a.
    2. Si nn est pair, n=2kn=2k. (x+1)2kx2k=ny(x+1)^{2k} - x^{2k} = ny. Analyser la parité de (x+1)2kx2k(x+1)^{2k} - x^{2k}.
    3. a) Utiliser le théorème de Bézout, car pp est le plus petit diviseur premier de nn, donc gcd(n,p1)=1\gcd(n, p-1)=1. b) Effectuer la division euclidienne de uu par (p1)(p-1) et substituer. c) Montrer que v0v' \geq 0 en utilisant les propriétés de la division euclidienne. d) Utiliser les résultats précédents pour montrer une contradiction.
  • NATIONAL 2022 · normale3 pts
    Soit nn un entier naturel strictement supérieur à 11. On considère dans N2\mathbb N^2 l'équation (En):(x+1)nxn=ny(E_n):\quad (x+1)^n - x^n = ny Soit (x,y)(x,y) une solution de l'équation (En)(E_n) dans N2\mathbb N^2 et soit pp le plus petit diviseur premier de nn.
    1. a) Montrer que…

    la correction

    (En)(E_n) n'admet jamais de solution dans N2\mathbb N^2 (pour nn pair comme pour nn impair), ce qui découle des congruences modulo pp combinées à Fermat, aboutissant à une contradiction dans les deux cas.
    ce que le barème veut ·
    1. a) De (x+1)nxn=ny(x+1)^n - x^n = ny, comme pnp\mid n, on a immédiatement (x+1)nxn(modp)(x+1)^n \equiv x^n \pmod p. b) Si pxp\mid x alors p(x+1)np\mid(x+1)^n donc p(x+1)p\mid(x+1), absurde (car pxp\mid x et px+1p\mid x+1 impliquerait p1p\mid1) ; symétriquement pour x+1x+1. Donc pp est premier avec xx et x+1x+1. c) Par le petit théorème de Fermat, xp11(modp)x^{p-1}\equiv1\pmod p et (x+1)p11(modp)(x+1)^{p-1}\equiv1\pmod p (car pp premier avec les deux), donc (x+1)p1xp1(modp)(x+1)^{p-1}\equiv x^{p-1}\pmod p.
    2. Si nn est pair, p=2p=2 (le plus petit facteur premier). Alors (x+1)2x2(mod2)(x+1)^2\equiv x^2\pmod2, i.e. 2x+10(mod2)2x+1\equiv0\pmod2, ce qui est impossible car 2x+12x+1 est impair. Contradiction, donc pas de solution.
    3. a) nn et p1p-1 sont premiers entre eux (car pp est le plus petit facteur premier de nn, donc tous les facteurs premiers de nn sont p\ge p, alors que ceux de p1p-1 sont <p<p, donc gcd(n,p1)=1\gcd(n,p-1)=1). Par Bézout, il existe (u,v)Z2(u,v)\in\mathbb Z^2 tel que nu+(p1)v=1nu+(p-1)v=1. b) Écrire u=(p1)q+ru=(p-1)q+r avec 0r<p10\le r<p-1, substituer dans nu+(p1)v=1nu+(p-1)v=1 : n((p1)q+r)+(p1)v=1nr=1(p1)(v+nq)n((p-1)q+r)+(p-1)v=1 \Rightarrow nr = 1-(p-1)(v+nq). c) Si v=0v'=0 alors nr=1nr=1, ce qui impose n=1n=1, contredisant n>1n>1 (ou rr tel que ce soit incohérent), donc v0v'\ne0. d) En élevant la congruence…
  • NATIONAL 2021 · rattrapage3 pts
    Soit aa un entier naturel supérieur ou égal à 22 et soit A=1+a+a2+a3+a4+a5+a6A=1+a+a^2+a^3+a^4+a^5+a^6 Soit pp un nombre premier impair tel que : pp divise AA
    1. a) Montrer que a71(modp)a^7 \equiv 1 \pmod{p}, en déduire que nN\forall n\in\mathbb{N} ; an1(modp)a^n \equiv 1 \pmod{p} 1 b) Montrer que aa et…

    la correction

    1. a) On a A=1+a+a2+a3+a4+a5+a6A = 1+a+a^2+a^3+a^4+a^5+a^6. C'est la somme des 7 premiers termes d'une suite géométrique de raison aa. Donc A=a71a1A = \frac{a^7-1}{a-1}. Puisque pp divise AA, on a A0(modp)A \equiv 0 \pmod{p}. Donc a71a10(modp)\frac{a^7-1}{a-1} \equiv 0 \pmod{p}. Cela implique a710(modp)a^7-1 \equiv 0 \pmod{p} si a1≢0(modp)a-1 \not\equiv 0 \pmod{p}. Si a10(modp)a-1 \equiv 0 \pmod{p}, alors a1(modp)a \equiv 1 \pmod{p}. Dans ce cas, A=1+1++1=7(modp)A = 1+1+\dots+1 = 7 \pmod{p}. Si pAp|A, alors p7p|7, donc p=7p=7. Si a1(modp)a \equiv 1 \pmod{p}, alors an1n1(modp)a^n \equiv 1^n \equiv 1 \pmod{p} pour tout nNn \in \mathbb{N}. Si a1≢0(modp)a-1 \not\equiv 0 \pmod{p}, alors a710(modp)a^7-1 \equiv 0 \pmod{p}, ce qui signifie a71(modp)a^7 \equiv 1 \pmod{p}. L'énoncé demande d'en déduire que nN\forall n \in \mathbb{N}, an1(modp)a^n \equiv 1 \pmod{p}. Ceci est une erreur dans l'énoncé, car an1(modp)a^n \equiv 1 \pmod{p} n'est vrai que si nn est un multiple de l'ordre de aa modulo pp, ou si a1(modp)a \equiv 1 \pmod{p}. La déduction correcte est a71(modp)a^7 \equiv 1 \pmod{p}. b) Supposons que aa et pp ne sont pas premiers entre eux. Puisque pp est premier, cela signifie que pp divise aa. Si pap|a, alors a0(modp)a \equiv 0 \pmod{p}. De A=1+a+a2+a3+a4+a5+a6A = 1+a+a^2+a^3+a^4+a^5+a^6 et pAp|A, on aurait 1+0+0+0+0+0+00(modp)1+0+0+0+0+0+0 \equiv 0 \pmod{p},…
    ce que le barème veut ·
    1. a) Utiliser la formule de la somme d'une suite géométrique pour exprimer AA. Utiliser la condition pAp|A pour déduire a71(modp)a^7 \equiv 1 \pmod{p} (en considérant le cas a1(modp)a \equiv 1 \pmod{p} séparément). b) Supposer par contradiction que aa et pp ne sont pas premiers entre eux. Utiliser le petit théorème de Fermat pour déduire ap11(modp)a^{p-1} \equiv 1 \pmod{p} et ensuite a(p1)m1(modp)a^{(p-1)m} \equiv 1 \pmod{p}.
    2. a) Utiliser les résultats de 1.a) et 1.b) (a71(modp)a^7 \equiv 1 \pmod{p} et ap11(modp)a^{p-1} \equiv 1 \pmod{p}). Utiliser la propriété que si ax1(modp)a^x \equiv 1 \pmod{p} et ay1(modp)a^y \equiv 1 \pmod{p}, alors apgcd(x,y)1(modp)a^{\text{pgcd}(x,y)} \equiv 1 \pmod{p}. Utiliser la condition que 77 ne divise pas p1p-1. b) Utiliser le résultat de 2.a) (a1(modp)a \equiv 1 \pmod{p}) et la définition de AA pour montrer que A7(modp)A \equiv 7 \pmod{p}. Puisque pAp|A, déduire p=7p=7.
    3. Utiliser les résultats a71(modp)a^7 \equiv 1 \pmod{p} et ap11(modp)a^{p-1} \equiv 1 \pmod{p}. Soit kk l'ordre de aa modulo pp. kk doit diviser 77 et p1p-1. Analyser les deux cas possibles pour kk (1 ou 7) et en déduire les conditions sur pp.
  • NATIONAL 2021 · rattrapage4 pts
    Soit aa un entier naturel supérieur ou égal à 22 et soit : A=1+a+a2+a3+a4+a5+a6=a71a1A = 1 + a + a^2 + a^3 + a^4 + a^5 + a^6 = \frac{a^7 - 1}{a - 1} Soit pp un nombre premier impair tel que : pAp \mid A.
    1. a) Montrer que a71(modp)a^7 \equiv 1 \pmod{p}, en déduire que pour tout kNk \in \mathbb{N} :…

    la correction

    1. a) Si pAp \mid A et A=1+a+a2++a6A = 1 + a + a^2 + \cdots + a^6, alors : a71=(a1)A0(modp)a^7 - 1 = (a-1)A \equiv 0 \pmod{p} Puisque gcd(a1,p)\gcd(a-1, p) peut être traité : si p(a1)p \mid (a-1) alors a1(modp)a \equiv 1 \pmod{p} et a71(modp)a^7 \equiv 1 \pmod{p}. Sinon, p(a71)p \mid (a^7-1), donc a71(modp)a^7 \equiv 1 \pmod{p}. Par récurrence : a7k1(modp)a^{7k} \equiv 1 \pmod{p} pour tout kNk \in \mathbb{N}. b) Si p(a71)p \mid (a^7 - 1) et pp est premier, alors pap \nmid a (sinon p1p \mid 1, absurde). Donc gcd(a,p)=1\gcd(a,p) = 1. Par le petit théorème de Fermat, l'ordre de aa modulo pp divise p1p-1. On a am1(modp)a^m \equiv 1 \pmod{p} ssi l'ordre divise mm. 2. a) L'ordre dd de aa modulo pp divise 77 (car a71(modp)a^7 \equiv 1 \pmod{p}). Donc d{1,7}d \in \{1, 7\}. Si 7(p1)7 \nmid (p-1), alors 77 ne divise pas l'ordre maximal possible (qui est p1p-1), donc d=1d = 1, i.e., a1(modp)a \equiv 1 \pmod{p}. b) Si a1(modp)a \equiv 1 \pmod{p}, alors A=1+1++1=7(modp)A = 1 + 1 + \cdots + 1 = 7 \pmod{p}. Donc p7p \mid 7, ce qui implique p=7p = 7 (puisque pp est premier impair). 3. Si pAp \mid A et pp est premier impair, alors :
    • Cas 1 : 7(p1)7 \mid (p-1), donc p1(mod7)p \equiv 1 \pmod{7}.
    • Cas 2 : 7(p1)7 \nmid (p-1), donc p=7p = 7 (par la question 2).
    Conclusion : p=7p = 7 ou…
    ce que le barème veut ·
    Divisibilité et congruence : À partir de pAp \mid A avec A(a1)=a71A(a-1) = a^7 - 1, on déduit a71(modp)a^7 \equiv 1 \pmod{p}. Ordre multiplicatif : L'ordre de aa modulo pp est le plus petit entier positif dd tel que ad1(modp)a^d \equiv 1 \pmod{p}. Cet ordre divise ϕ(p)=p1\phi(p) = p-1 par le théorème de Fermat. Cas 1 : 7(p1)7 \mid (p-1) : L'ordre de aa peut être 77, ce qui est compatible avec a71(modp)a^7 \equiv 1 \pmod{p} mais a≢1(modp)a \not\equiv 1 \pmod{p}. Donc p1(mod7)p \equiv 1 \pmod{7} est possible. Cas 2 : 7(p1)7 \nmid (p-1) : L'ordre de aa doit diviser gcd(7,p1)\gcd(7, p-1). Puisque 7(p1)7 \nmid (p-1), on a gcd(7,p1)=1\gcd(7, p-1) = 1, donc l'ordre est 11. Cela signifie a1(modp)a \equiv 1 \pmod{p}, d'où p7p \mid 7, donc p=7p = 7. Conclusion : Par le théorème de l'ordre (Lagrange), les seuls premiers divisant AA sont 77 et ceux pour lesquels 7(p1)7 \mid (p-1), i.e., p1(mod7)p \equiv 1 \pmod{7}.
  • NATIONAL 2020 · rattrapage3 pts
    Soient pp et qq deux nombres premiers vérifiant : p<qp<q et 9p+q11(modpq)9^{p+q-1} \equiv 1 \pmod{pq} 1-a) Montrer que pp et qq sont premiers entre eux. b) En déduire que : 9p11(modp)9^{p-1} \equiv 1 \pmod{p} et que 9q11(modq)9^{q-1} \equiv 1 \pmod{q} 2-a) Montrer que p1p-1 et qq sont premiers entre…

    la correction

    1-a) pp et qq sont des nombres premiers distincts (p<qp<q), donc ils sont premiers entre eux. b) Puisque 9p+q11(modpq)9^{p+q-1} \equiv 1 \pmod{pq}, cela implique 9p+q11(modp)9^{p+q-1} \equiv 1 \pmod{p} et 9p+q11(modq)9^{p+q-1} \equiv 1 \pmod{q}. Par le petit théorème de Fermat, 9p11(modp)9^{p-1} \equiv 1 \pmod{p} (car pp est premier et p9p \nmid 9). De même, 9q11(modq)9^{q-1} \equiv 1 \pmod{q} (car qq est premier et q9q \nmid 9). 2-a) Si p1p-1 et qq ne sont pas premiers entre eux, alors leur PGCD est qq (car qq est premier). Donc qq divise p1p-1. Or p<qp<q, donc p1<qp-1 < q. Cela est impossible, donc p1p-1 et qq sont premiers entre eux. b) On a 9p11(modp)9^{p-1} \equiv 1 \pmod{p} et 9q11(modq)9^{q-1} \equiv 1 \pmod{q}. De 9p+q11(modp)9^{p+q-1} \equiv 1 \pmod{p}, on a 9p19q1(modp)9^{p-1} \cdot 9^q \equiv 1 \pmod{p}. Puisque 9p11(modp)9^{p-1} \equiv 1 \pmod{p}, on a 9q1(modp)9^q \equiv 1 \pmod{p}. De 9p+q11(modq)9^{p+q-1} \equiv 1 \pmod{q}, on a 9q19p1(modq)9^{q-1} \cdot 9^p \equiv 1 \pmod{q}. Puisque 9q11(modq)9^{q-1} \equiv 1 \pmod{q}, on a 9p1(modq)9^p \equiv 1 \pmod{q}. On a 9q1(modp)9^q \equiv 1 \pmod{p} et 9p11(modp)9^{p-1} \equiv 1 \pmod{p}. Donc ordp(9)\text{ord}_p(9) divise qq et p1p-1. Puisque qq est premier, ordp(9)\text{ord}_p(9) est soit 11 soit qq. Si ordp(9)=1\text{ord}_p(9)=1, alors 91(modp)9 \equiv 1 \pmod{p}, donc pp
    ce que le barème veut ·
    1. Utiliser la définition de nombres premiers entre eux et les propriétés des congruences.
    2. Appliquer le petit théorème de Fermat et les propriétés de l'ordre d'un élément modulo pp. Utiliser le fait que p<qp<q.
    3. Utiliser le petit théorème de Fermat et les congruences pour déduire la valeur de qq.

Tu veux vérifier que tu le tiens vraiment ?

Une séance : tu regardes, tu manipules, tu écris l'étape, on la corrige au barème.

Faire la séance