‹ Essai sur la théorie des nombresChapitre 115 sur 176 · AT DITES PARUS LR · texte numérisé non relu

AT DITES PARUS LR

(ep!

$ VIT. Démonstration du Théorème contenant la loi de réciprocité qui existe ertré deux nornbres premiers quel- 'conques (n°164).

(581) Lèmme. « Mois p un nombre premier positif (2 excepté), # un » entier quelconque non divisible par p;,st on divise par ples produits

. —"1 ÉD » successifs 4, 24, 5K..... Ê ——#, les restesude ces divisions seront

La e À .

» composés en partie de nombres 2°, a";a"”... aplus petits que =p,

. Z | » en partie de nombres 88 0”, 0%... b plus grands que :p:Gela posé, » # désignant le nombre de ces derniers restes’,.je dis qu'onsaura

(«en ie he (— 1; - . Ne 1 si p est paix "et » (= — — 1 514 est impair. »

Il'est clair d’abord que les restes 2’, 2%, P#"etc: sont. inépaux entre eux. Car si deux de ces*restes, dus aux multiples £4!, #4", étaient égaux , il faudrait que la différence k(4—2). fut «divisible spar »p ; c’est Ce quin'a pas lieu , puisque.p'est un nombre premier quine divise ni 4, mA — À; car d'ailleurs Z’ et 4 sont inégaux et plus pelits que Ep. On prouvera de même que tous les restes 447, 4”, etc. sont inégaux entre eux.

Il suit de là que tous les nombres p —#f, p— 07, p— BL", etc. sont inégaux et plus petits que 2p°: or je dis qu'aucun d’eux!ne peut être égal à l'un des nombres à’, a”, a",.etc. En effet, si deux restestels que a etb sont dus aux Rtoples KA, kAi ; On pourra supposer ak A—px, b= kA'— px”; si ue on avait p — b — 4’, il en résulterait. . . pa Es me = k(4 + 47); donc il faudrait que 4 (4 +- 4°) füt divisible par p; or k ne l'est pas non plus que 4<+ 4’, puisque Zet 4 sont tous deux plus petits que + p donc l’équation*précédente est impossible.

5 de # À SE 2v Maïntenant , puisque fnsérie 4, a”, a°.,.V a, et lassérie p— D, p—b",

RER er LE A

En on = — —r AE D

né D te TA Ro a A a 7 Et te NM AL EEE

QUATRIÈME PARTIE. 887 ps Pis b*, sont l'une et l'autre composées de nombres différens, positifs et plus petits que £p; puisque d’ailleurs le nombre total A -E x des termes de ces déux séries est égal à £(p—1) nombre

oùils tirent leur origine | ils’en-

des multiples 4, 24, 3k...l

suit que le produit de: tous ces nombres ne peut être que 1.2.3... —,

et qu'ainsi on a l’épalité da'a. A a (p —0 (p—&") .….. (p=t")= 1.213. on L(p— 1),

dans laquelle, en rejetant le multiples de p; on obtient dara"...aà.bbb".. db ee 1) = 142,5... (pt).

Mais d’un autre côté, en rejetant aussi les multiples de p, on à

H0R.3K...2(p— 1)k aa". à b'b'b"... LÉ

et le premier membre de celle-ci = 1.2.3... :(p — 1). Le De la comparaison de ces deux équations il résulte

ARE A ON 1.223... (p— 1).

Doné'on a APT 1)" x, où EP = 1)E Mais PT 0 est, en rejetant les multiples, de, p; la valeur de lexpression É >); done

enfin on à, conformément à aénoncé du lemme,

C) = (— La

(382) Puisque lenombre w, selon qu'il est pair ou impair, détermine

; ke 290: k Ÿ la valeur de l'expression (=), il importe d’avoir une valeur analytique de ce nombre. Pour cela, j'observe que à désignant l’un des nombres

4, d'... a, et b Vun des nombres b!, 0"... BF, on aura, par les suppositions déjà faites, 24 < p et 20 > p.

Représentons à l'ordinaire par Æ (x) l'entier le plus grand contenu dans une quantité quelconque.x, ensorte que x — E (x) soit toujours une fraction positive plus petite que l'unité.

« * 1: . : pemil « .

Si on considère les divers multiples, #, 24... — k, d'où naissent

Le RAA RE ES en 2 GT FR re ST A ES TES 4 A PE 2 Nm 7 os és __————

les resies a’; l’, etc., et qu'on désigne particulièrement par ZX le muls tiple qui donne le je a, et par Pkcelui qui donne le reste à, on aura

ARR Sr e ee ete —E(5 > L; d'où résulte FE 7 2 e = 0,

P P Ajoutant ensemble toutes lés équations qui auront lieu semblablement pour toutes les valeurs de Æet B, dépuis r jusqu'à £(p —\1), il est clair que le second membre sera Composé d'autant d'unités qu'il y a

de nombres B; et ce nombre d'unités ayant déjà été désigné par w, on aura donc

CE + OC nl

D'ailleurs, comme on n’a besoin de la valeur de que pour savoir si elle est paire ou impaire, on peut dans la formule précédente omettre: les termes divisibles par 2, ce qui donnera simplement

PSE MH er(rr(e) Fe + E (SE (CS),

(383) Cette expression est susceptible de réduction; d'abord si l'on ait À mp+r, miétant posiifet <p, on aura Er = km 1 LE donc Æ ro 1h 1 —E Or pareillement on aura Æ (ES = k— —2(® —), ainsi des: autres.

Il faut substituer ces.valeurs dans la formule, et pour cela distinguer deux cas, selon que p est de la forme 42-71 ou 42-53.

Soit 1°. p—4n—kr, le nombre des termes 2C 2 £ (© +), etc.

sera —27. Les 7 RCE forment la suite

EC ) LE és Es je HE().

QUATRIÈME PARTIE. 389 Les 7 de , écrits dans l’ordretinverse, forment la suite (p—1) À (p—3)k (on—+o) k 2 = =) He 2) Éoe FACE =),

. lesquels, suivant la transformation précédente , a,

n(E—i)—E(5)—E(T)- —2(T) et —E(E).

Donc on aura

Bip) +2 (D + E (À Me +40)

Ajoutant au second membre le nombre pair 2E (L}42E É re. ne) é ce qui est permis pour notre objet, on aura plus simplement B=i(pi)r)+E (D +E (D +E(0)...+8 (2.

2°. Si lon a p—4r—+3, il y aura 22+ 1 termes dans la valéur’de BR;

les premiers seront toujours 2 HE (+ (C —).… + E 2); les (2-1) autres seront

CRETE) et par la transformation imdiquée ils deviennent: | | de sorte qu'on aura Fr

Page 1