Arithmétique dans ZSM-A · SM-B

Appliquer le petit théorème de Fermat

pp premier et pp ne divise pas aa \Longrightarrow ap11 [p]a^{p-1} \equiv 1\ [p].

La méthode attendue

  1. 1Vérifier que p est PREMIER.
  2. 2Vérifier que p ne divise pas a.
  3. 3Écrire a^(p−1) ≡ 1 [p].
  4. 4Réduire l'exposant demandé modulo p − 1.

Le piège

Appliquer le théorème avec un p non premier. La primalité est l'hypothèse centrale, pas un détail de l'énoncé.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 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.
  • NATIONAL 2020 · normale3 pts
    On considère dans Z×Z\mathbb{Z}\times\mathbb{Z} l'équation (D):7x13y=5(D) : 7x - 13y = 5 1- Soit (x,y)Z×Z(x, y)\in \mathbb{Z}\times\mathbb{Z} une solution de l'équation (D)(D) a) Montrer que xx et 1313 sont premiers entre eux. b) En déduire que : x121(mod13)x^{12} \equiv 1 \pmod{13} c) Montrer que :…

    la correction

    1- a) Soit d=pgcd(x,13)d = \text{pgcd}(x, 13). Puisque dxd|x et d13d|13, et que 1313 est un nombre premier, alors d=1d=1 ou d=13d=13. De l'équation (D)(D), on a 7x13y=57x - 13y = 5. Si d=13d=13, alors 137x13|7x et 1313y13|13y, donc 13(7x13y)13|(7x-13y), ce qui signifie 13513|5. Ceci est absurde. Par conséquent, d=1d=1, donc xx et 1313 sont premiers entre eux. b) Puisque 1313 est un nombre premier et xx n'est pas un multiple de 1313 (car pgcd(x,13)=1\text{pgcd}(x, 13)=1), d'après le petit théorème de Fermat, on a x131x121(mod13)x^{13-1} \equiv x^{12} \equiv 1 \pmod{13}. c) De l'équation (D)(D), on a 7x13y=57x - 13y = 5, ce qui implique 7x5(mod13)7x \equiv 5 \pmod{13}. Pour trouver x(mod13)x \pmod{13}, on peut multiplier par l'inverse de 7(mod13)7 \pmod{13}. On a 7×2=141(mod13)7 \times 2 = 14 \equiv 1 \pmod{13}, donc 22 est l'inverse de 7(mod13)7 \pmod{13}. 2×7x2×5(mod13)    14x10(mod13)    x10(mod13)2 \times 7x \equiv 2 \times 5 \pmod{13} \implies 14x \equiv 10 \pmod{13} \implies x \equiv 10 \pmod{13}. Alors x601060(mod13)x^{60} \equiv 10^{60} \pmod{13}. On sait que 103(mod13)10 \equiv -3 \pmod{13}. Donc 1060(3)60(mod13)10^{60} \equiv (-3)^{60} \pmod{13}. (3)60=((3)12)5(mod13)(-3)^{60} = ((-3)^{12})^5 \pmod{13}. D'après la question 1.b), x121(mod13)x^{12} \equiv 1 \pmod{13}. Puisque x10(mod13)x \equiv 10 \pmod{13}, on a 10121(mod13)10^{12} \equiv 1 \pmod{13}. Donc…
    ce que le barème veut ·
    1.a) Utiliser la définition du pgcd et la propriété des nombres premiers. 1.b) Appliquer le petit théorème de Fermat. 1.c) Résoudre la congruence 7x5(mod13)7x \equiv 5 \pmod{13} pour trouver x(mod13)x \pmod{13}, puis élever à la puissance 6060 en utilisant le résultat de 1.b). 1.d) Élever le résultat de 1.c) au carré. 2) Comparer les résultats obtenus pour x120x^{120} à partir de 1.b) et 1.d) pour montrer une contradiction.

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