Divizibilitatea polinoamelor

Def. f , g  C[ X ] , q, r  C[ X ] aşa încât f  g  q  r , cu

gradr  gradg .
Spunem că f se divide la g ( f g ) sau g divide pe f ( g / f )
, dacă r  0 .

 Proprietăţi

1. Reflexivitatea

f / f , f  C[ X ]
2. Simetria
şi g / f  k  C , a.î. f  kg
f /g
În acest caz spunem că f este asociat cu g ( f  g )
3. Tranzitivitatea
Dacă f / g şi g / h  f / h

4. Dacă f / g şi f / h  f ( g  h)  f / `1 g  2 h

 Cel mai mare divizor comun

Def. f , g  C[ X ] d  ( f , g ) = C.m.m.d.c
1. d / f şi d / g
2. d ' C[ X ], d ' / f şi d ' / g  d ' / d
Algoritmul lui Euclid:
( f , g )  ( g , r1 )  (r1 , r2 )  ...  (rn 1 , rn )  (rn , r0 )
Cel mai mare divizor comun a două polinoame este unic
până la înmulţirea cu o constantă(asociere).
Dacă ( f , g )  1 , atunci f şi g sunt prime între ele.

Exemplu: Să se găsească cel mai mare divizor comun al

polinoamelor:
f  X 4  X 3  2 X 2  4 X  4 şi g  X 3  X 2  X  3 .
Vom aplica algoritmul lui Euclid. Împărţim pe f la g.
X 4  X 3  2X 2  4X  4
X 3  X 2  X 3
 X 4  X 3  X 2  3X
X
 3X  X  4
2

Pentru a evita coeficienţii fracţionari, vom înmulţi în

prealabil pe g cu 3 şi restul împărţirii cu –1. împărţim
acum împărţitorul la rest:
 3X 3  3X 2  3X  9
3X 2  X  4
 3X  X  4 X
3 2

2X 2  7X  9 X

Acum, pentru a evita din nou coeficienţii fracţionari,

vom înmulţi pe 3 X 2  X  4 cu 2 şi continuăm operaţia.

6X 2  2X  8
2X 2  7X  9
 6 X 2  21X  27
3
 19 X  19

Am obţinut restul  19 X  19 . Pentru a evita din nou

coeficienţii fracţionari, vom împărţi restul cu –19 şi
împărţim împărţitorul la rest.

2X 2  7X  9
X 1
 2X 2  2X
2X  9
9X  9
 9X  9
-- -- Ultimul rest nenul este polinomul X  1
şi deci ( f , g )  X  1 .

 Cel mai mic multiplu comun

Def. Fie f şi g două polinoame. Un polinom m se numeşte cel

mai mic multiplu comun al polinoamelor f şi g dacă verifică
următoarele condiţii:
1. f / m şi g / m
2. m' , f / m' şi g / m'  m / m'
fg
Dacă d este c.m.m.d.c al lui f şi g, atunci m  .
d