Olympiade du Maroc 2015

s'il vous plait olympides nationale maroc
determiner la plus petites valeur de n pour que 3^n-2^n soit divisible par 2015
merci d'avance

Réponses

  • Bonjour,

    $n=0$ :-D
    Sinon, $n=60$ et ses multiples.

    Cordialement,

    Rescassol
  • merci Rescassol
    mais il faut le prouver
  • Hass Hass:

    Tu as une manière bestiale de le faire.
    Tu vérifies que les valeurs de 1 à 59 ne conviennent pas.
    Mais il doit y avoir un moyen d'éliminer plus rapidement ces nombres.
  • On peut montrer que $n$ doit être pair.

    $n$ entier naturel.
    $3^n-2^n=(5-2)^n-2^n=\sum_{k=0}^n \binom{n}{k} 5^k (-2)^{n-k}-2^n=(-2)^n-2^n+5\times \sum_{k=1}^n \binom{n}{k} 5^{k-1} (-2)^{n-k}$

    Si $n$ est impair ce nombre n'est pas divisible par $5$ et pour qu'un nombre soit divisible par $2015$ il faut au moins qu'il soit divisible par $5$

    On peut surement démontrer la même chose avec le calcul des congruences.

    PS:

    En effet, $3\equiv -2\mod{5}$ donc $3^n-2^n\equiv (-2)^n+2^n\mod{5}$
  • Bonjour,

    Pour commencer $3^n \equiv 2^n \pmod 5$ si et seulement si $n$ est pair.

    Cordialement,

    Rescassol

    Edit:Sniff, pas assez rapide.
  • Bonjour,

    $2015=5\times 13\times 31$.

    $3^n \equiv 2^n \pmod {13}$ si et seulement si $n$ est divisible par $4$.
    $3^n \equiv 2^n \pmod {31}$ si et seulement si $n$ est divisible par $30$.

    Cordialement,

    Rescassol
  • alors il va falloir un ordinateur de je ne sais pas combien de giga
    impossible dans un examen
  • $13$ divise $2015$.

    On peut travailler sur la périodicité de $2^n$ et $3^n$ modulo $13$.

    D'après le petit théorème de Fermat on a:

    $2^{12}\equiv 1\mod{13}$ et $3^{12}\equiv 1\mod{13}$

    On peut vérifier que $2^n\mod{13}$ est de période $12$ tandis que $3^n\mod{13}$ est de période $3$

    Les "valeurs" prises par $3^n\mod{13}$ sont $1,3,9$. $(n=0,1,2)$
    C'est à dire que:
    $3^n\equiv 1\mod{13}$ si et seulement si $n=3k$
    $3^n\equiv 3\mod{13}$ si et seulement si $n=3k+1$
    $3^n\equiv 9\mod{13}$ si et seulement si $n=3k+2$

    Par ailleurs,

    $2^n\equiv 1\mod{13}$ est équivalent à $n=12k'$ avec $k'$ entier naturel.
    $2^n\equiv 3\mod{13}$ est équivalent à $n=12k'+4$ avec $k'$ entier naturel.
    $2^n\equiv 9\mod{13}$ est équivalent à $n=12k'+8$ avec $k'$ entier naturel.

    Donc,

    Si $3^n-2^n$ est divisible par $13$ il existe $k,k'$ entiers naturels qui vérifient:

    Ou bien,
    $n=3k=12k'$ en particulier $n$ est divisible par $12$
    Ou bien,
    $n=3k+1=12k'+4$ en particulier $n=4(3m+1)$ avec $m$ entier naturel.
    Ou bien,
    $n=3k+2=12k'+8$ en particulier $n=4(3m+2)$ avec $m$ entier naturel.

    Cela ne laisse plus beaucoup d'entiers $\leq 60$ qui conviennent.
  • $(3/2) = 8 \mod 13$

    $(3/2) = 17 \mod 31$
  • hass hass, es-tu d'accord pour commencer qu'une congruence modulo $2015$ est équivalente à trois congruences modulo $5$, $13$ et $31$ ?

    Ensuite, plutôt que comparer $3^n$ et $2^n$, il est peut-être plus rapide de calculer de comparer les puissances de $(3/2)^n$ à $1$ (les puissances d'un seul nombre au lieu de deux). Il faut calculer les inverses de $2$ modulo $5$, $13$ et $31$ (de tête : ce sont $3$, $6$ et $16$), calculer alors $3/2$ modulo $5$, $13$ et $31$ (de tête) puis les puissances de $3/2$ (à la main avec un papier). Modulo $5$, ça va très vite ; modulo $13$ (resp. $31$), il suffit de calculer pour les exposants qui divisent $12$ (resp. $30$). Pas besoin de gigaoctets, ça prend quelques minutes.
  • Le plus efficace probablement, pour rebondir sur le constat de Math Cross et de Rescassol (qui ne démontre rien)
    est de résoudre l'équation:

    $2^n-3^n\equiv 0\mod{31}$

    $2$ est inversible modulo $31$ et d'inverse, en effet, 17 $16$.

    PS:
    Merci à Math Cross pour sa vigilance.
  • merci beaucoup j'ai verifié par ordinateur
    il s'agit bien de n=60
  • Hass Hass:

    Tu as raison de faire les vérifications toi-même mais cela m'étonnerait que la valeur $n=60$ ait été obtenue en faisant tous les calculs à la main.
  • Fin de partie
    tu as raison
    en tous les cas c'est la seuke methode a laquelle je suis arrivé
  • Bonjour,
    FdP a écrit:
    Le plus efficace probablement, pour rebondir sur le constat de Math Cross
    et de Rescassol (qui ne démontre rien) est de résoudre l'équation:

    Il faut bien laisser un peu de boulot, entre autres les évidences, aux autres.
    Ici, un simple tableau de congruences suffit.

    Cordialement,

    Rescassol
Connectez-vous ou Inscrivez-vous pour répondre.