‹ Éléments de la théorie des nombres: congruences, formes quadratiques, nombres incommensurables, quéstions diversesChapitre 32 sur 189 · CONGRUENCES DE DEGRE QUELCONQUE A MODULE PREMIER · texte numérisé non relu

CONGRUENCES DE DEGRE QUELCONQUE A MODULE PREMIER

En effet, divisons (mocl p)f(-c) par x — a. Le reslc V est

indépendant de x.

f\ a?)= (./■ — a)Q(x)-h A (mod p).

Remplaçons dans celle identité x par a, il vient

ii \ m 1 1 1 1 ( I p ) ; donc

f(x) = (# — a) Q(#) ' iikkI // 1.

ce qui prouve quey"(.r) est divisible (mod/?) par ./• — a. Quanl à la réciproque, elle est évidente.

129. Racines multiples. — On dit que «est racine multiple d'ordre x de la congruence f(x) = o (mod/?), lorsque le pnl\ n<mici/(^r) est divisible (mod/?) par (x — a)* et ne l'est pas

par (x — «)a+l.

130. Théorème. — Si a, b, c, . . . , l sont des racines incongrues deux à deux, d'ordres a, (U, y, . . . , \ de multiplicité d'une congruence f(x) = o (mod p), /(x) est divisible (mod p) par le produit (x — a)a(x — b )P. . . ( x — /)x.

En effet f(x) est divisible (mod/?) séparément par (x — a |a, (x — 6)P, . . . , (x — /)*; or remarquons d'abord que les poly- QÔm s x — a, x — b, . . . , x — / sont premiers entre cu\ deux à deux (mod/?). En effet, un diviseur commun (mod/?) de x — a ni x — b, par exemple, doit diviser leur dilïerencc a — b, qui est un nombre non congru à zéro (mod/?). Ce diviseur commun ne peut donc èlre qu'un diviseur numérique.

Les polynômes x — a, x — b, . . . , x — / étant premiers entre eux (mod/?) deux à deux, il en est de même de leurs puissances quelconques.

f(x) étant divisible (mod /?) par les polynômes (x — a)a, {x — 6)?, . . . , (x — iy~ qui sont premiers entre eux deux à deux, l'est aussi par leur produit.

Page 1