Merci pour vos réponses.
@zygomatique : oui, c'est le problème, qui ne pouvait pas arriver avec 4n+3 : 4n+1 peut-être le produit de deux 4i+3, d'où mon blocage.
@Pseuda : si p1, p2, ... , pN sont les nombres premiers supposés en nombre fini de type 4n+3, alors je considère le nombre a=
.
a est de type 4k+3 (cf. remarque 1er message).
Si a n'est pas premier, il est produit de nombres premiers impairs (étant impair) et (toujours cf. remarque) il y a forcément un (4k+3) (donc un pi) dans sa décomposition.
pi divise a amène pi divise 2, ce qui est absurde.
Donc a est premier et il ne fait pas partie des pi, contradiction.
Pour 4k+1, l'argument ne tient plus du fait qu'un 4k+1 peut être un produit (4i+3)(4j+3).
@ Ben314 : je suis d'accord que b est un 4k+1, et que si q divise b, alors q=4k+3.
OK aussi pour a²=-1(q) et donc
.
De plus q est premier, a est premier avec q, donc d'après Fermat,
. Cela donne 1=-1 (q), ce qui est absurde, donc q n'existe pas et a est premier, différent des pi. Contradiction.
Bon, ça a l'air de marcher, non ?
Merci encore de vos réponses. A bientôt.
Benoît.