Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Répondre
Résumé de la discussion (messages les plus récents en premier)
- freddy
- 31-10-2020 18:49:32
Salut F_Adrien,
bravo, très bien, je pense que c'est comme cela qu'il était attendu qu'on fasse, c'est en phase avec un cours sur les congruences, mais un autre chemin était possible, comme on sait.
- F_Adrien
- 31-10-2020 18:26:29
Bonjour,
Soit [tex]n[/tex] est un entier naturel. On définit l'entier [tex]A_n=1+5^n+5^{2n}+5^{3n}[/tex]. On prétend que pour tout entier naturel [tex]n[/tex], [tex]A_n\equiv0\pmod{13}[/tex] si et seulement si [tex]n[/tex] n'est pas un multiple de [tex]4[/tex]. Cette affirmation est-elle exacte ?
- freddy
- 31-10-2020 13:02:32
Hello,
ce qui me donne de l'espoir est qu'on a plus de 200 ans à nous trois et qu'en cherchant un peu, on a fini par trouver la résolution d'un sujet un peu velu, ça me rassure.
Je ne pense pas qu'on revoit le requérant qui ne sait pas qu'il sert à rien de pomper une solution toute faite, seul le plaisir de chercher (et de trouver) permet de s'améliorer et de progresser. Je ne sais pas si les gars de l'autre site ont trouvé, moi, ça m'a fait plaisir de le faire, le cerveau est toujours en forme, malgré tout !
@yoshi : laisse le sujet stp, il est assez beau en soi, il mérite d'être connu par d'autres !
- yoshi
- 30-10-2020 20:28:51
Re,
n | 5^n | (5^n)%13
----|------------------|---------
0 | 5^0 = 1 | 1
1 | 5^1 = 1 * 5 | 5
2 | 5^2 = 25 | 12
3 | (5^2) * 5 | 60 = 8
et on voit
n = 4 = 3+1, $5^4=5^3\times 5 \equiv 40 \equiv 1$
n = 5 = 4+1, $5^5=5^4\times 5 \equiv 5$
n = 6 = 5+1, $5^6=5^5\times 5 \equiv 25 \equiv 12$
n = 7 = 6+1, $5^6=5^5\times 5 \equiv 60 \equiv 8$
Donc si
n multiple de 4, n = 4k, (k>=1, alors $5^{4k}= (5^4)k\equiv 1^k =1$
n multiple de 4 + 1, $5^{4k+1} =5^{4k}\times 5\equiv 1\times 5 =5$
n multiple de 4 + 2, $5^{4k+2} =5^{4k+1}\times 5\equiv 5\times 5 =25\equiv 12$
n multiple de 4 + 3, $5^{4k+3} =5^{4k+2}\times 5 \equiv 12\times 5 =60\equiv 8$
Et
n | (1+ 5^n )%13
----|---------------------
0 | 2
1 | 6
2 | 0
3 | 9
Donc
n | (1+ 5^n )%13
4k | 2
4k+1 | 6
4k+2 | 0
4k+3 | 9
n | ( 5^n)^2 | ((5^n)^2)%13
----|------------------|---------
0 | (5^0)^2 = 1 | 1
1 | (5^1)^2 = 25 | 12
2 | (5^2)^2 = 625 | 12^2 =1
3 | (5^3)^2 =15625 | 8^2 = 12|
n | (1+5^2n)%13 | (1+ 5^n )(1+5^2n)%13
------------------------|-----------------------
0 | 2 | 4
1 | 0 | 0
2 | 2 | 0
3 | 0 | 0
Et on montrerait simplement ensuite que
si n=4k, $A_n \equiv 4 \quad [13]$
si n=4k+1, $A_n \equiv 0 \quad [13]$
si n=4k+2, $A_n \equiv 0 \quad [13]$
si n=4k+3, $A_n \equiv 0 \quad [13]$
@+
[EDIT]
@freddy
je viens de voir ton post : on est en phase...
@Black jack
Ah, mais toi aussi !
N-B je n'ai pas cherché à faire court... mais à être aussi précis que possible
- freddy
- 30-10-2020 18:37:06
Re,
j'étais arrivé à la même factorisation que toi puis … Mais en réalité, je pense que la piste est bonne.
Le truc est d'observer que si $5^n \equiv 12 \bmod 13$ alors $5^{2n} \equiv 1 \bmod 13$ et donc $5^{3n} \equiv 12 \bmod 13$, et que $5^4 \equiv 1 \bmod 13$ et $5^{2 times 4} \equiv 1 \bmod 13$ ce qui permet déjà de montrer que si n est un multiple de 4, c'est cuit.
Ensuite, pour n variant de 1 à p quelconque, on a les restes modulo 13 suivants de $5^n$ : 1, 12, 8, 1, 12, 8, 1, 12, 8, 1 … et on a vérifie que $8\times 8 \equiv 12 \bmod 13$.
C'est mal formulé, mais je pense que c'est la piste recherchée.
La bonne formulation devrait être la suivante :
si $5^n \equiv 1 \bmod 13$ alors $5^{2n} \equiv 1 \bmod 13$
si $5^n \equiv 12 \bmod 13$ alors $5^{2n} \equiv 1 \bmod 13$
si $5^n \equiv 8 \bmod 13$ alors $5^{2n} \equiv 12 \bmod 13$
ce qui doit permettre de soutenir l'affirmation du texte.
- Black Jack
- 30-10-2020 18:22:25
Bonjour,
Alternative (pas complète)
An = (1 + 5^n) * (1 + 5^(2n))
Si (1 + 5^n) = 13.k (k dans N) est vrai pour une certaine valeur k de n, on a : 5^n = 13k-1
5^(n+4) = 625 * 5^n = 625 * (13k-1)
1 + 5^(n+4) = 13 * 625k - 624
1 + 5^(n+4) = 13 * (625k - 48) et donc (1 + 5^n) = 13.k
Comme (1 + 5^n) = 13.k est vrai pour n = 2, An est multiple de 13 pour tout n = 2 + 4k
-----
De manière analogue, à partir de : Si (1 + 5^(2n)) = 13.k (k dans N) est vrai pour une certaine valeur k de n, on démontre que c'est vrai aussi pout n = k + 4
Comme (1 + 5^(2n)) = 13.k est vrai pour n = 1, An est multiple de 13 pour tout n = 1 + 4k
Mais on a aussi : (1 + 5^(2n)) = 13.k est vrai pour n = 3 et donc An est multiple de 13 pour tout n = 3 + 4k
-----
Donc An est multiple de 13 pour tout n de N tel que n = 4k+1 , n = 4k+2 et n = 4k+3.
Reste à étudier le cas avec n = 4k
(1 + 5^n) = (1 + 5^(4k)) = 1 + 625^k ... jamais multiple de 13 (qu'il faudrait démontrer proprement)
(1 + 5^(2n)) = (1 + 5^(8k)) = 1 + 390625^k ... jamais multiple de 13 (qu'il faudrait démontrer proprement)
Et donc An n'est pas multiple de 13 pour n = 4k
- yoshi
- 30-10-2020 18:06:44
Bonjour,
Il faut quand même que eomfe3112 sache qu'à vouloir jouer sur deux tableaux, il risque de perdre sur les deux :
https://www.maths-forum.com/lycee/maths … 26791.html
Je vais tâcher de faire savoir à l'autre site à quoi tu joues et tu vas voir combien ils vont apprécier !
Donc eomfe inutile de revenir sans excuses...
Je laisse ce sujet ouvert, le temps de développer mon idée...
@+
- freddy
- 30-10-2020 18:04:11
Re,
j'étais arrivé à la même factorisation que toi puis … Mais en réalité, je pense que la piste est bonne.
Le truc est d'observer que si $5^n \equiv 12 \bmod 13$ alors $5^{2n} \equiv 1 \bmod 13$ et donc $5^{3n} \equiv 12 \bmod 13$, et que si $5^4p \equiv 1 \bmod 13$ alors $5^{2 \times 4p} \equiv 1 \bmod 13$ ce qui permet déjà de montrer que si n est un multiple de 4, c'est cuit.
Ensuite, pour n variant de 1 à q quelconque, on a les restes modulo 13 suivants de $5^n$ : 1, 12, 8, 1, 12, 8, 1, 12, 8, 1 … et on a vérifie que $8\times 8 \equiv 12 \bmod 13$.
C'est mal formulé, mais je pense que c'est la piste recherchée.
- poipoi34
- 30-10-2020 17:47:50
[tex](5^{3} +5^{2} +5 +1)^n \equiv (0)^{n}[13][/tex]
[tex]5^{3n} +5^{2n} +5^{n} +1^{n} \equiv 0[13][/tex]
c'est faux en général ça je pense.
il y a une formule analogue je crois, mais je ne pense pas que ça soit au programme de maths experte(à verifier):
[tex] (a+b)^{p} \equiv a^{p}+b^{p}[p] [tex] lorsque p est premier
- yoshi
- 30-10-2020 13:10:36
Salut,
J'étais en train d'examiner la même piste et j'ai simplifié
$An=(1+5^{2n})(1+5^n)$
pour n = 0, $A_0=2\times 2=4 \equiv 4\quad[13]$
pour n = 1 $_1= 26\times 6 \equiv 0 \quad[13]$
pour n = 2 $A_2=626 \times 26 \equiv 0 \quad[13]$
pour n = 3 $A_3= (1+5^6)\times(1+5^3)$
$5^2=25\equiv 12 \quad [13]$
$5^6=(5^2)^3\times \equiv (144\times 12) \equiv (12 \times12)\equiv 12 \quad [13]$
$1+5^6 \equiv 0\quad[13]$
Et $A_3\equiv 0\quad[13]$
Et donc je pense qu'il suffit de chercher dans $5^n\equiv r \quad[13]$ on en déduit alors
$r^2 \equiv \text{ ?}\quad 13$
puis
$1+r \equiv \text{ ?} \quad [13]$ et $1+r^2\equiv \text{ ?}\quad [13]$
Qu'en penses-tu ?
@+
- eomfe3112
- 30-10-2020 12:44:27
Re bonjour, merci de toutes vos réponses
Maths expertes c'est une option de 3h par semaine que l'on peut suivre en terminal.
J'ai fais quelque chose.
une formule dans mon cours dit: [tex]a \mid b \Longleftrightarrow b\equiv0[a] [/tex]
D'où: [tex]A_{n} \equiv 0[13] \Longleftrightarrow 13 \mid A_{n} [/tex]
Donc je me suis dit que je vais voir si pour tout n, [tex] 13 \mid A_{n} [/tex] et donc voir si pour tout n: [tex]A_{n} \equiv 0[13][/tex]
[tex] 5^{2} \equiv -1[13] [/tex]
[tex]5^{2} +5 \equiv 4[13][/tex]
[tex](5^{2} +5) \times 5 \equiv 4 \times 5[13][/tex]
[tex]5^{3} +5^{2} \equiv 20[13][/tex]
[tex]5^{3} +5^{2} +5 \equiv 25[13][/tex]
[tex]5^{3} +5^{2} +5 +1 \equiv 26[13][/tex]
[tex]5^{3} +5^{2} +5 +1 \equiv 0[13][/tex]
[tex](5^{3} +5^{2} +5 +1)^n \equiv (0)^{n}[13][/tex]
[tex]5^{3n} +5^{2n} +5^{n} +1^{n} \equiv 0[13][/tex]
[tex]5^{3n} +5^{2n} +5^{n} +1 \equiv 0[13][/tex]
[tex]A_{n} \equiv 0 [13] [/tex]
Mais maintenant, si ce que j'ai fais est juste, je viens de prouver que [tex]A_{n} \equiv 0[13][/tex] pour tout n? Donc l'affirmation est fausse?
- freddy
- 30-10-2020 12:32:40
Re,
J'avais eu une autre idée puisque $A_n$ est la somme des quatre premiers termes d'une suite géométrique de raison $5^n$, mais ensuite ...
- yoshi
- 30-10-2020 11:33:16
Bonjour,
Un p'tit coup de Python pour fixer les idées, peut-être ?
for n in range(21):
An = (1 + 5**n + 5**(2*n) + 5**(3*n))
print("%2i" % n," ", An%13," ","%42i" % An)
n An % 13 An
0 4 4
1 0 156
2 0 16276
3 0 1968876
4 4 244531876
5 0 30527346876
6 0 3814941421876
7 0 476843261796876
8 4 59604797363671876
9 0 7450584411623046876
10 0 931322669982919921876
11 0 116415324211120654296876
12 4 14551915287971496826171876
13 0 1818989405035972596435546876
14 0 227373675480484962469482421876
15 0 28421709431335330009490966796876
16 4 3552713678823783993721160888671876
17 0 444089209850644692778588104248046876
18 0 55511151231272378936409954071044921876
19 0 6938893903907592175528407115936279296876
20 4 867361737988412642152979970073699951171876
Ce qui m'a amené à penser que :
$A_n=1+5^n(1+5^n(1+5^n))$
Pourquoi ne pas ne pas le faire en 2 fois ?
Montrer que si n multiple de 4, alors $An\equiv 0\quad [13]$
Montrer que pour n multiple de 4 (et donc $\neq 0$), alors $An\equiv 4\quad [13]$ ?
Je vais regarder ça de plus près...
@+
- freddy
- 30-10-2020 10:50:31
Salut,
c'est quoi, maths expertes ? Une classe spéciale ? Ton sujet doit faire appel à une ppté vue en cours car là, j'observe que tout le monde cale, comme moi :)
- eomfe3112
- 29-10-2020 21:50:25
Pas de problème.
C'est un exercice d'un DM en maths expertes de T-ale. Nous venons de finir le chapitre sur la divisibilité, les congruences et la division euclidienne.