01.06.2013 Views

Dispense - Dipartimento di Matematica e Informatica

Dispense - Dipartimento di Matematica e Informatica

Dispense - Dipartimento di Matematica e Informatica

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!