Dispense - Dipartimento di Matematica e Informatica
Dispense - Dipartimento di Matematica e Informatica
Dispense - Dipartimento di Matematica e Informatica
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
CAPITOLO 3. CURVE ALGEBRICHE PIANE 46<br />
3.3 Risultante <strong>di</strong> due polinomi<br />
Ricor<strong>di</strong>amo rapidamente la definizione e le principali proprietà del risultante <strong>di</strong> due<br />
polinomi.<br />
Sia D un dominio a fattorizzazione unica, e sia D[T ] l’anello dei polinomi su D. Siano<br />
f(T ) = a0 +a1T +. . .+anT n e g(T ) = b0 +b1T +. . .+bmT m due polinomi a coefficienti<br />
in D <strong>di</strong> grado rispettivo n e m (ovvero supponiamo che anbm = 0). Si definisce<br />
risultante <strong>di</strong> f e g l’elemento <strong>di</strong> D calcolato come determinante della seguente matrice<br />
(m + n) × (m + n)<br />
⎛<br />
a0<br />
⎜ 0<br />
⎜ .<br />
⎜ 0<br />
RT (f, g) = det ⎜ b0<br />
⎜<br />
0<br />
⎜<br />
⎝ .<br />
a1<br />
a0<br />
. . .<br />
b1<br />
b0<br />
. . .<br />
a1<br />
. . .<br />
b1<br />
. . .<br />
. . .<br />
a0<br />
an<br />
a1<br />
bm<br />
0<br />
an<br />
. . .<br />
0<br />
bm<br />
. . .<br />
0<br />
. . .<br />
0<br />
. . .<br />
. . .<br />
0<br />
0<br />
.<br />
an<br />
0<br />
0<br />
.<br />
⎞<br />
⎟<br />
⎠<br />
0 . . . b0 b1 . . . bm<br />
le cui prime m righe sono i coefficienti a0, . . . , an, mentre le successive n righe sono<br />
formate dai coefficienti b0, . . . , bn.<br />
Teorema 3.15. Esistono un polinomio p1 <strong>di</strong> grado minore o uguale <strong>di</strong> m e un polinomio<br />
p2 <strong>di</strong> grado minore o uguale <strong>di</strong> n, entrambi a coefficienti in A, non entrambi nulli, tali<br />
che<br />
RT = p1f + p2g .<br />
Dimostrazione. Notiamo che per ogni a ∈ A, due polinomi p ′ 1 <strong>di</strong> grado minore o uguale<br />
<strong>di</strong> m e p ′ 2 <strong>di</strong> grado minore o uguale <strong>di</strong> n tali che<br />
a = p ′ 1f + p ′ 2g .<br />
corrispondono alle un sistema lineare a coefficienti in A, le cui incognite sono i<br />
coefficienti <strong>di</strong> p ′ 1 e p ′ 2 e la cui matrice ha come determinante proprio RT (f, g).<br />
Se RT (f, g) = 0, il rango della matrice del sistema omogeneo<br />
0 = p ′ 1f + p ′ 2g