par sos-math(21) » lun. 7 nov. 2016 21:13
Bonjour,
es-tu sûr de ton énoncé, car si je note \(U_n=2^{2^{n}}+2^n+1\), alors \(U_4=65\,553\) et ce nombre n'est pas divisible par 7.
Ce ne serait pas plutôt \(V_n=2^{2n}+2^n+1\) ?
Je te propose d'étudier successivement les cas \(n=3k+1\), \(n=3k+2\) et \(n=3k\).
Je commence l'exemple avec \(n=3k+1\), alors dans ce cas on a \(V_n=2^{6k+2}+2^{3k+1}+1=(2^6)^{k}\times 2^2+(2^3)^k\times 2+1\)
Or on sait que \(2^6=64\) et \(64\equiv1\mod[7]\) ainsi en passant aux puissances \((2^6)^k\equiv 1\,\mod[7]\)
De même \(2^3=8\) et \(8\equiv 1\,\mod[7]\) donc \((2^3)^k\equiv 1\,\mod[7]\)
au final on a \(V_n\equiv 2^2+2+1\equiv 0\,\mod[7]\) et 7 divise \(V_n\).
Je te laisse faire le cas \(n=3k+2\) et voir pourquoi le cas \(n=3k\) ne fonctionne pas.
Bonne continuation
Bonjour,
es-tu sûr de ton énoncé, car si je note \(U_n=2^{2^{n}}+2^n+1\), alors \(U_4=65\,553\) et ce nombre n'est pas divisible par 7.
Ce ne serait pas plutôt \(V_n=2^{2n}+2^n+1\) ?
Je te propose d'étudier successivement les cas \(n=3k+1\), \(n=3k+2\) et \(n=3k\).
Je commence l'exemple avec \(n=3k+1\), alors dans ce cas on a \(V_n=2^{6k+2}+2^{3k+1}+1=(2^6)^{k}\times 2^2+(2^3)^k\times 2+1\)
Or on sait que \(2^6=64\) et \(64\equiv1\mod[7]\) ainsi en passant aux puissances \((2^6)^k\equiv 1\,\mod[7]\)
De même \(2^3=8\) et \(8\equiv 1\,\mod[7]\) donc \((2^3)^k\equiv 1\,\mod[7]\)
au final on a \(V_n\equiv 2^2+2+1\equiv 0\,\mod[7]\) et 7 divise \(V_n\).
Je te laisse faire le cas \(n=3k+2\) et voir pourquoi le cas \(n=3k\) ne fonctionne pas.
Bonne continuation