1) La somme des N premières puissances 4èmes est donnée par :
[TeX]\phi(N) = \frac{1}{30}.N.\overbrace{(N+1).(2N+1).(3N^2+3N-1)}^{\alpha(N)}[/latex] qui est un entier bien sûr.

Si [latex]N [/latex]est premier et dès que [latex]N\not\in\{2,3,5\}[/latex], [latex]N[/latex] n'a aucun facteur commun avec 30,

et dans ce cas, nécessairement, [latex]\alpha(N)[/latex] est divisible par 30, et s'écrit donc  [latex]30k[/TeX]
d'où [latex]\phi(N)=k.N[/latex], qui est divisible par [latex]N[/latex]. CQFD.

Mais on en déduit plus généralement que [latex]u(N)=0[/latex] pour tout entier [latex]N[/latex] premier avec 30, et le plus petit est obtenu avec [latex]7^2[/latex], soit [latex]49[/latex], les suivants étant 77, 91, 119, 121, 143, 169, ...

Enigme sympa...

Je ne comprends pas la formule :

Telle que je la lis,
Pour 2 : ça fait

(1^4 + 2^4 ) modulo 2 = 1

Elle est où mon erreur, s'il te plait ?

Je crois qu'il manque une parenthèse quelque part...

De plus, même en ajoutant une parenthèse à différents endroits, j'ai l'impression que U(3) est différent de 0 et pourtant 3 est premier...

Ou alors j'ai loupé quelque chose...

On va d'abord calculer [latex]S_4(n)=\sum_{k=1}^{n}k^4[/latex]
On utilise la technique des sommes téléscopiques :
[TeX]\sum_{k=1}^{n}(k+1)^5 - \sum_{k=1}^{n}k^5 = (n+1)^5-1[/TeX]
et [latex]\sum_{k=1}^{n}\left ((k+1)^5 - k^5 \right) = \sum_{k=1}^{n} (5k^4+10k^3+10k^2+5k+1)[/latex]
On connait les 3 sommes suivantes (sinon on utilise la même technique au rang inférieur)
[TeX]S_3(n)=\sum_{k=1}^{n}k^3 = \left (\frac{n(n+1)}2\right)^2[/TeX]
[TeX]S_2(n)=\sum_{k=1}^{n}k^2 = \frac{n(n+1)(2n+1)}6[/TeX]
[TeX]S_1(n)=\sum_{k=1}^{n}k = \frac{n(n+1)}2[/TeX]
[TeX]S_0(n)=\sum_{k=1}^{n}1 = n[/TeX]
On trouve alors
[TeX]S_4(n)=\sum_{k=1}^{n}k^4 = \frac{n(n+1)(2n+1)(3n^2+3n-1)}{30}[/TeX]
Il faut maintenant montrer que pour n premier > 6, ce nombre est un multiple de n. Cela revient à montrer que pour n premier > 6, on a :
[TeX]30 | (n+1)(2n+1)(3n^2+3n-1)[/TeX]
Prenons n un nombre premier > 6.
Je note [latex]a_n = (n+1)(2n+1)(3n^2+3n-1)[/latex]
On a n premier avec 2, premier avec 3, et premier avec 5.
1/ On en déduit donc que n+1 est pair, donc [latex]2|a_n[/latex]

2/ n=3p+1 ou 3p+2, car n est premier avec 3
si n=3p+1 : [latex]a_n=(3p+2)(6p+3)(3n^2+3n-1)[/latex]
si n=3p+2 : [latex]a_n=(3p+3)(2n+1)(3n^2+3n-1)[/latex]
Dans les 2 cas, [latex]3|a_n[/latex]

3/ n est premier avec 5, donc n=5p+r avec r=1,2,3 ou 4.
n=5p+1 : [latex]a_n=(n+1)(2n+1)(75p^2+45p+5)[/latex]
n=5p+2 : [latex]a_n=(n+1)(10p+5)(3n^2+3n-1)[/latex]
n=5p+3 : [latex]a_n=(n+1)(2n+1)(75p^2+105p+35)[/latex]
n=5p+4 : [latex]a_n=(5p+5)(2n+1)(3n^2+3n-1)[/latex]
On voit que dans tous les cas, [latex]5|a_n[/latex]

2,3, et 5 étant premiers entre eux, on en déduit que [latex]30|a_n[/latex] : CQFD


On pense avoir trouvé alors un critère de primalité ?
Mais non, car il suffit de trouver un nombre non premier qui est à la fois premier avec 2,3 et 5, et on arrivera au même résultat.
Le premier nombre qui vérifie cela est le carré du plus petit nombre premier supérieur strictement à 5.

Le plus petit n non premier, mais premier avec 2,3 et 5 qui vérifie la relation est donc n=49.

Il reste tout de même à montrer que si n n'est pas premier, pour n < 49, la relation n'est pas vérifiée. Ainsi n=49 sera la plus petit n non premier qui vérifie la relation.

Essayons avec les nombres n=2p, puis n=3p, et enfin n=5p.

n=2p
Alors [latex]a_n=(2p+1)(4p+1)(12p^2+6p-1)[/latex] qui est nombre impair, donc jamais multiple de 30

n=3p
Alors [latex]a_n=(3p+1)(6p+1)(27p^2+9p-1)[/latex] qui est encore un nombre impair, donc jamais multiple de 30. ([latex]27p^2+9p = 9p(3p+1)[/latex] et p ou 3p+1 est forcément pair)

n=5p
Alors [latex]a_n=(5p+1)(10p+1)(75p^2+15p-1)[/latex] qui est encore un nombre impair, donc jamais multiple de 30. ([latex]75p^2+15p = 15p(5p+1)[/latex] et p ou 5p+1 est forcément pair)

On a donc démontré que pour tout  [latex]6 < n < 49[/latex]
- [latex]n\ premier \Leftrightarrow \sum_{k=1}^{n}k^4 = 0\ [n][/latex]
- n=49 est le plus petit non premier qui vérifie [latex]\sum_{k=1}^{n}k^4 = 0\ [n][/latex]

Jackv : au passage [latex]\neq[/latex] se note \neq (not equal) et idem pour \geq (plus grand que) et \leq (plus petit que) pour éviter le <> pas joli joli

[TeX]S_N=\sum\limits_{n=1}^Nn^4=\frac{N(N+1)(6N^3+9N^2+N-1)}{30}[/TeX]
(preuve par récurrence par exemple)

Si N>6 et est premier alors Pgcd(N,30)=1 et donc 30|(N+1)(6N^3+9N^2+N-1) puis :
[TeX]30N|N(N+1)(6N^3+9N^2+N-1)[/TeX]
ie N|S_N

Je n'ai rien à rajouter. Encore bravo à tous.

Un merci spécial à LOOping pour l'établissement de la formule [latex]\sum_{n=1}^{N} n^4[/latex] que j'avais trouvée sur
http://www.les-suites.fr/somme-des-n-pr … e-4eme.htm
(et à Fireblade pour ses leçons de LATEX).