Teorema delle radici complesse coniugate

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

In matematica, il teorema della radice complessa coniugata afferma che se è un polinomio in una variabile a coefficienti reali e è una sua radice (con e numeri reali), allora il complesso coniugato è anch'esso una radice di .[1]

Ne consegue da questo (e dal teorema fondamentale dell'algebra) che se il grado di un polinomio reale è dispari, deve avere almeno una radice reale.[2] Questo fatto può essere dimostrato anche utilizzando il teorema dei valori intermedi.

Esempi e conseguenze

[modifica | modifica wikitesto]
  • Qualsiasi matrice quadrata reale di grado dispari ha almeno un autovalore reale. Ad esempio, se la matrice è ortogonale, almeno uno tra +1 o -1 è un autovalore.
  • Il polinomio ha radici .
  • Il polinomio ha radici , , e quindi può essere scomposto come
Calcolando il prodotto degli ultimi due fattori, le parti immaginarie si annullano e si ottiene
Come si può notare, il polinomio di terzo grado ha due radici complesse coniugate. I fattori complessi coniugati, moltiplicati tra loro, danno origine a polinomi di secondo grado a coefficienti reali. Poiché ogni polinomio con coefficienti complessi può essere scomposto in fattori di 1º grado (per il teorema fondamentale dell'algebra), ne consegue che ogni polinomio a coefficienti reali può essere scomposto in fattori di grado non superiore a 2.
  • Se le radici sono e , il generico polinomio di secondo grado di cui sono radici è della forma
Se la terza radice è il polinomio è della forma

Dimostrazione

[modifica | modifica wikitesto]

Una dimostrazione del teorema è la seguente:

si consideri il polinomio

dove tutti i coefficienti sono reali. Si supponga che il numero complesso sia una radice di , cioè . Si ha che

che può essere riscritto con una sommatoria come

Ora si ha che

dove con si vuole indicare il complesso coniugato di .

Per le proprietà dei numeri complessi si ha che

Riprendendo la relazione

e applicando l'operazione di coniugazione, risulta

o, scritto in forma estesa,

cioè la tesi che si voleva dimostrare.

Si noti che il teorema vale solo se i coefficienti sono reali, poiché solo un numero reale è il coniugato di sé stesso, cioè Se uno qualsiasi dei coefficienti fosse non reale, le radici non sarebbero necessariamente presenti in coppie coniugate e il teorema non sarebbe valido.

Corollario sui polinomi di grado dispari

[modifica | modifica wikitesto]

Segue dal presente teorema e dal teorema fondamentale dell'algebra che se il grado di un polinomio a coefficienti reali è dispari, deve avere almeno una radice reale.

Un'idea della dimostrazione è la seguente:

  • poiché le radici complesse non reali vengono in coppie coniugate, ce ne sono un numero pari;
  • ma un polinomio di grado dispari ha un numero dispari di radici;
  • ne risulta che alcune di esse devono essere reali.

La dimostrazione formale richiede di tener conto anche della presenza di radici con molteplicità algebrica superiore a 1; ma è facile dimostrare che una radice complessa e il suo coniugato hanno la stessa molteplicità.

Alternativamente, è possibile dimostrare il corollario considerando solo i polinomi irriducibili: qualsiasi polinomio reale di grado dispari deve avere un fattore irriducibile di grado dispari, che (non avendo radici multiple) deve avere una radice reale secondo il ragionamento di cui sopra.

Questo corollario può anche essere dimostrato direttamente usando il teorema dei valori intermedi.

  1. ^ Anthony G. O'Farell and Gary McGuire, Complex numbers, 8.4.2 Complex roots of real polynomials, in Maynooth Mathematical Olympiad Manual, Logic Press, 2002, p. 104, ISBN 0954426908. Preview available at Google books
  2. ^ Alan Jeffrey, Analytic Functions, in Complex Analysis and Applications, CRC Press, 2005, pp. 22-23, ISBN 158488553X.

Voci correlate

[modifica | modifica wikitesto]