Cas particuliers du thorme de Dirichlet

Par Mathtous
Il s'agit du thorme dit  de la progression arithmtique  : Etant donn deux nombres entiers positifs a et b, premiers entre eux, il existe une innit de nombres premiers congrus a modulo b, c'est--dire s'crivant sous la forme a + nb o n est un entier positif. On peut videmment intervertir les rles de a et b.

Il ne s'agit pas ici de dmontrer ce thorme. La dmonstration dpasse trs largement le cadre de ce site, et je ne m'y risquerai pas. On va se contenter ici de donner deux cas particuliers et de les dmontrer  directement , sans utiliser le thorme. 1) 4 et 3 tant premiers entre eux, il existe donc une innit de nombres premiers congrus 3 (ou 1) modulo 4. Dmontrons ce rsultat directement. On considre les k premiers nombres premiers (tous les nombres de cet article sont positifs) : p1 = 2, p2 = 3, ... , jusqu' pk . Soit N = 4 p1 p2 ... pk 1. N 1 (ou 3) modulo 4. Dans la dcomposition primaire de N , les facteurs premiers sont impairs (car N l'est) mais ne sont pas tous congrus 1 modulo 4, sinon N le serait aussi. Il existe donc un facteur premier p de N qui est congru 1 modulo 4 (congru 2 est exclu car p est impair du fait que N l'est). Or p n'est gal aucun des pi prcdents puisqu'aucun d'eux ne divise N . Comme tous les nombres premiers jusqu' pk gurent dans l'criture de N , il en rsulte que p est suprieur tous les pi et notamment pk . Or, k tant choisi arbitrairement, cela signie que l'on peut toujours trouver un nombre premier p, congru 1 modulo 4, et suprieur n'importe quel nombre (premier) aussi grand soit-il (il existe une innit de nombres premiers). Il existe donc bien une innit de nombres tels que p.

a) Pour k = 2, N = 4 2 3 1 = 23. 23 est ici le seul diviseur premier de N , il est suprieur 3, et fort heureusement il est congru 3 (ou 1) modulo 4. b) Pour k = 3, N = N = 4 2 3 5 1 = 119 = 7 17. Il y a bien au moins un facteur premier de n, ici 7, qui est suprieur 5 et qui est congru 3 modulo 4. On remarque ici que l'autre facteur premier de N , 17, est congru 1 modulo 4. L'important est qu'ils ne le soient pas tous. 2) On va maintenant dmontrer de mme qu'il existe une innit de nombres premiers congrus 1 modulo 4. Comme prcdemment, on considre les k premiers nombres premiers : p1 = 2, p2 = 3, ... , jusqu' pk . Mais on pose cette fois N = (2 p1 p2 ... pk )2 + 1. N est donc congru 1 modulo 4. Soit p un diviseur premier de N : N est un multiple de p, donc N 0 modulo p. Autrement dit, (2 p1 p2 ... pk )2 1 modulo p. Donc (2 p1 p2 ... pk )4 1 modulo p. Ces deux dernires congruences (la dernire seule ne sut pas) font que l'ordre de (2 p1 p2 ... pk ) dans le groupe multiplicatif (Z/pZ) est exactement 4. Or, selon le thorme de Lagrange, 4 est donc un diviseur de l'ordre du groupe, ordre gal p 1. Il en rsulte que p 1 modulo 4. La suite est identique la n de la premire partie : p n'est gal aucun des pi prcdents puisqu'aucun d'eux ne divise N . Comme tous les nombres premiers jusqu' pk gurent dans l'criture de N , il en rsulte que p est suprieur tous les pi et notamment pk . Or, k tant choisi arbitrairement, cela signie que l'on peut toujours trouver un nombre premier p, congru 1 modulo 4, et suprieur n'importe quel nombre (premier) aussi grand soit-il (il existe une innit de nombres premiers). Il existe donc bien une innit de nombres tels que p. On remarque toutefois ici, que tous les diviseurs premiers de N sont congrus 1 modulo 4.

Exemples

Exemples

a) Pour k = 2, N = (2 2 3)2 + 1 = 145 = 5 29. 5 et 29 sont tous deux suprieurs 3 et tous deux congrus 1 modulo 4. b) Pour k = 3, N = (2 2 3 5)2 + 1 = 3601 = 13 277. 13 et 277 sont tous deux suprieurs 5 et tous deux congrus 1 modulo 4.