lake @ 24-02-2019 à 13:23Bonjour,
On suppose donc que

premier divise
et
et ceci sans hypothèses supplémentaires sur

.
1) On suppose
et d'après Fermat
D'où
On en déduit que
Donc
![x^2+x+1\equiv 3\;\;[p]](https://latex.ilemaths.net/ile_TEX.cgi?x^2+x+1\equiv 3\;\;[p])
et
donc
2) Or si

est multiple de

,
Avec les hypothèses de l'énoncé, à savoir:
-

non nul multiple de 6.
-

premier divise

,
on a montré que

est de la forme
3) Avec

, on a bien

multiple non nul de 6.
Supposons

alors

divise
^2+N!)
et
^2+N!+1)
donc

divise leur différence

.
On en déduit que
On a montré que tout nombre premier qui divise
^2+(N!)+1)
(et il en existe: la décomposition en facteurs premiers d'un nombre) est de la forme

et est plus grand que

.
Ce qui signifie que pour un nombre premier

donné, on peut toujours en trouver un qui lui est supérieur: un diviseur premier de
^2+p!+1)
qui sera aussi de la forme

.
Merci beaucoup pour ce message
J'ai tout de même 2 questions :
2) Pourquoi en déduit-on que

? Est-ce parce qu'on sait que

ou

. Or, si

la divisibilité avec

est remise en cause donc

?
3) Là non plus je ne comprends pas comment on déduit que

.
Encore merci
