Visualizza wikitesto di Le Equazioni di Grado Superiore al Secondo (superiori)

{{risorsa|tipo=lezione|materia1=Matematica per le superiori 3|avanzamento=100%}}

== L’equazione di terzo grado, un po’ di storia ==
Cerchiamo di risolvere il seguente problema: “Trovare un numero il cui cubo, insieme con due suoi quadrati e dieci volte il numero stesso, dia come somma 20”.

Il problema enunciato venne posto da Giovanni Panormita, astronomo e filosofo alla corte di Federico II, a Leonardo Pisano, detto Fibonacci, che ne tentò la soluzione nella sua opera “Flos”.

Con il linguaggio matematico attuale il problema si formalizza nell’equazione di terzo grado <math>x^3+2x^2+10x=20</math>; Fibonacci pervenne al valore approssimato <math>x={1,3\,688}</math> come soluzione al problema, senza indicare la via seguita per la sua determinazione. Pur tuttavia egli riuscì a dimostrare che le soluzioni di un’equazione di terzo grado non possono mai esprimersi mediante radicali quadratici neanche se sovrapposti.

Solo tra il 1540 e il 1545, ad opera dei matematici italiani Niccolò Fontana, detto Tartaglia<ref>soprannome dovuto al suo linguaggio balbettante (1499 ca. - 1557).
</ref>, e Gerolamo Cardano<ref>matematico, medico, astrologo e filosofo (1501 - 1576).
</ref>, fu scoperta la formula risolutiva dell’equazione generale di terzo grado. Cardano dimostrò che ogni equazione di terzo grado <math>ax^3+bx^2+cx+d=0</math> è riconducibile alla forma <math>y^3+py+q=0</math> operando la sostituzione <math>x=y-\tfrac b{3a}</math>, per la quale ricava la formula risolutiva:

<math>y=\sqrt[3]{-\tfrac q 2+\sqrt{\left(\tfrac p 3\right)^3+\left(\tfrac q 2\right)^2}}+\sqrt[3]{-\tfrac q 2-\sqrt{\left(\tfrac p 3\right)^3+\left(\tfrac q 2\right)^2}}</math>

da cui poi si risale alla soluzione in <math>x</math> dell’equazione assegnata.

----

'''ESEMPIO 1.''' Risolvere l’equazione: <math>x^3+3x^2+6x+5=0</math>.<br />

Operiamo la sostituzione <math>x=y-\tfrac b{3a}</math> che in questo caso è <math>x=y-1</math>; l’equazione diventa <math>(y-1)^3+3(y-1)^2+6(y-1)+5=0</math> ed eseguendo i calcoli si ha <math>y^3+3y+1=0</math>, quindi <math>p=3</math> e <math>q=1</math>. Applicando la formula risolutiva si ha

<math>y=\sqrt[3]{-\tfrac 1 2+\sqrt{\tfrac 1 4+1}}+\sqrt[3]{-\tfrac 1 2-\sqrt{\tfrac 1 4+1}}=\sqrt[3]{\tfrac{\sqrt 5-1} 2}+\sqrt[3]{\tfrac{-\sqrt 5-1} 2}</math>

e quindi, sostituendo <math>y=x+1</math>, si ha <math>x=\sqrt[3]{\tfrac{\sqrt 5-1} 2}+\sqrt[3]{\tfrac{-\sqrt 5-1} 2}-1</math>. 

'''ESEMPIO 2.''' Risolvere l’equazione <math>x^3=15x+4</math> applicando la formula di Tartaglia-Cardano.<br />

Notiamo che è <math>p=-15</math> e <math>q=-4</math> e dunque sotto la radice quadrata della formula si ha <math>\left(\tfrac p 3\right)^3+\left(\tfrac q 2\right)^2=(-5)^3+(-2)^2=-121</math> pertanto non un numero reale, mentre è evidente la soluzione reale <math>x=4</math>, infatti <math>4^3=64=15\cdot 4+4</math>. Questa circostanza ha spinto il matematico Raffaele Bombelli<ref>matematico ed ingegnere italiano, noto anche con il nome di Rafael o Raphael (1526 - 1572).
</ref>, ad elaborare nella sua opera “Algebra” del 1572, calcoli con radici quadrate di numeri negativi (numeri) che troveranno una sistemazione coerente nella teoria dei ''numeri complessi'' sviluppata da Friedrich Gauss.<ref>Johann Carl Friedrich Gauss è stato un matematico, astronomo e fisico tedesco (1777 - 1855).
</ref>

Vediamo come possiamo determinare l’<math>IS</math> dell’equazione di Bombelli con le nostre conoscenze. Scriviamo l’equazione nella forma canonica <math>p(x)=0\Rightarrow x^3-15x-4=0</math>; sappiamo che uno zero intero è <math>x=4</math> dunque scomponiamo dividendo <math>p(x)=x^3-15x-4</math> per il binomio <math>x-4</math>. Potete verificare che si ottiene <math>x^3-15x-4=(x-4)\cdot (x^2+4x+1)=0</math> da cui, per la legge di annullamento del prodotto,

<math>x-4=0\Rightarrow x=4\quad\vee\quad x^2+4x+1=0\Rightarrow x_{1\text{,}2}=-2\pm \sqrt 3.</math>

Poco dopo la scoperta della formula risolutiva per le equazioni di terzo grado, il matematico italiano Ferrari<ref>Lodovico Ferrari (1522 - 1565).
</ref> trovò anche la formula per risolvere le equazioni di quarto grado. Le ricerche per trovare la formula che risolvesse l’equazione di quinto grado furono invece vane, non perché i matematici non furono abbastanza “ingegnosi” bensì per il fatto che, come dimostrò Galois<ref>Évariste Galois è stato un matematico francese (1811 - 1832).
</ref> non esistono formule che per mezzo di radici ed altre operazioni algebriche possano risolvere le equazioni dal quinto grado in poi. In altre parole, esistono solo formule per le equazioni di primo, secondo, terzo e quarto grado.

Oggigiorno, tuttavia, si preferisce non approfondire le applicazioni di queste formule. Lo studio è generalmente rivolto soltanto alle equazioni di primo e secondo grado e per quelle di grado superiore al secondo si applicano i metodi che vedremo in questo capitolo, oppure si utilizzano metodi di calcolo numerico che forniscono soluzioni per approssimazioni successive. 

----

== Equazioni riconducibili al prodotto di due o più fattori ==

In questo capitolo ci proponiamo di determinare l’insieme soluzione di equazioni algebriche di grado superiore al secondo.

Ricordiamo che un’equazione algebrica si presenta nella forma <math>p(x)=0</math> dove <math>p(x)</math> è un polinomio nella variabile <math>x</math>, di grado <math>n</math>, a coefficienti reali:

<math>a_nx^n+a_{n-1}x^{n-1}+ \ldots +a_2x^2+a_1x+a_0=0.</math>

----

'''ESEMPIO 3.''' Determinare le radici reali dell’equazione <math>4x^3+x^2-4x-1=0</math>.<br />

Scomponiamo in fattori il polinomio al primo membro mediante raccoglimento parziale:

<math>p(x)=4x^3+x^2-4x-1=4x \left(x^2-1\right)+\left(x^2-1\right)=\left(x^2-1\right) (4x+1).</math>

Per la legge dell’annullamento del prodotto si ottiene

<math>x^2-1=0 \quad\Rightarrow\quad x_1=-1 \;\vee\;x_2=1\text{,}</math>

<math>4x+1=0 \quad\Rightarrow\quad x=-\tfrac{1}{4}.</math>

L’equazione ha dunque tre soluzioni reali distinte e <math>\text{I.S.}=\left\{-1\text{, }1\text{, }-\tfrac 1 4\right\}.</math>

'''ESEMPIO 4.''' Determinare le radici reali dell’equazione fratta <math>\tfrac{2x+3}{2x+1}+\tfrac{x^2}{x+1}=5x+3.</math><br />

Riduciamo allo stesso denominatore

<math>\tfrac{2x^2+5x+3+2x^3+x^2-10x^3-15x^2-5x-6x^2-9x-3}{(2x+1)\cdot (x+1)}=0.</math>

Poniamo le condizioni d’esistenza: <math>x\neq -\tfrac 1 2\wedge x\neq -1</math>. Eliminiamo il denominatore e sommiamo i monomi simili; otteniamo un’equazione di terzo grado <math>8x^3+18x^2+9x=0</math>, che, scomponendo il polinomio, può essere scritta come <math>x\cdot \left(8x^2+18x+9\right)=0</math>. Per la legge di annullamento del prodotto si ha <math>x=0\;\vee\;8x^2+18x+9=0</math>. Risolvendo anche l’equazione di secondo grado con la formula risolutiva si ottengono le soluzioni <math>x_1=0\;\vee\; x_2=-\tfrac 3 4\;\vee\; x_3=-\tfrac 3 2</math>.

----

'''OSSERVAZIONE.''' Si dimostra che un’equazione ammette tante soluzioni, che possono essere reali (distinte o coincidenti) o non reali, quante ne indica il suo grado.<br />

Ricordiamo che uno zero di un polinomio è il valore che assegnato alla variabile rende il polinomio uguale a zero. Quindi trovare gli zeri di un polinomio equivale a trovare le soluzioni dell’equazione che si ottiene ponendo il polinomio uguale a zero, come nell’esempio seguente. 

----

'''ESEMPIO 5.''' Trovare gli zeri del seguente polinomio di terzo grado <math>p(x)=x^3-7x^2+4x+12.</math><br />

Scriviamo l’equazione <math>x^3-7x^2+4x+12=0</math> e cerchiamo di scomporre con il metodo di Ruffini. Sostituendo <math>x=-1</math> si ottiene <math>(-1)^3-7(-1)^2+4(-1)+12=-1-7-4+12=0</math>. Possiamo allora dividere il polinomio <math>p(x)</math> per il binomio <math>x+1</math>. Applicando la regola di Ruffini si ha:

[[File:Algebra2 eqmag2 fig001 rufi.svg|center|Teorema di Ruffini]]

Il polinomio si scompone in <math>(x+1)(x^2-8x+12)</math>. Per la legge di annullamento del prodotto <math>x+1=0\;\vee\; x^2-8x+12=0</math>. L’equazione <math>x+1=0</math> dà come soluzione <math>x=-1</math>. L’equazione <math>x^2-8x+12=0</math> si può risolvere con la formula risolutiva ridotta <math>x_{1\text{,}2}=4\pm \sqrt{16-12}=4\pm 2</math>. Il polinomio assegnato ha tre zeri distinti <math>x_1=-1\;\vee\; x_2=2\;\vee\; x_3=6</math>.</br>
Come verifica, possiamo riscrivere il polinomio scomposto in fattori primi: <math>p(x)=(x+1) (x-2) (x-6)</math> . 

----

== Equazioni binomie ==

'''DEFINIZIONE 1.''' Un’''equazione binomia'' è un’equazione del tipo <math>ax^n+b=0</math> con <math>a\neq 0</math> e con <math>n\in \mathbb{N}_0</math>.

L’equazione scritta come <math>ax^n+b=0</math> è detta in ''forma normale'' o ''canonica''.

Dobbiamo distinguere i casi:

* <math>n</math> è pari e <math> a\cdot b< 0 </math>. I coefficienti <math> a </math> e <math> b </math> hanno segno discorde. L’equazione ammette due sole soluzioni reali ed opposte: <math>x_1=\sqrt[n]{-\tfrac b a}\;\vee\; x_2=-\sqrt[n]{-\tfrac b a}</math>;
* <math>n</math> è pari e <math> a\cdot b> 0 </math>. I coefficienti <math> a </math> e <math> b </math> hanno lo stesso segno. L’equazione non ammette soluzioni reali;
* <math>n</math> è dispari e <math> b\neq 0 </math>. L’equazione ha un’unica soluzione reale <math>x_1=\sqrt[n]{-\tfrac b a}</math>;
* <math>b=0</math>. L’equazione è <math>ax^n=0</math> e le <math>n</math> soluzioni sono coincidenti nell’unica soluzione <math>x=0</math>. In questo caso si dice che l’unica soluzione <math>x=0</math> ha molteplicità <math>n</math>.

----

'''ESEMPIO 6.''' Risolvere le seguenti equazioni binomie <br />

<ul>
<li><p><math>3x^4-8=0</math>.</p>
<p>L’esponente <math>n</math> è pari, i coefficienti sono discordi: l’equazione ammette due soluzioni reali distinte: <math>x_1=\sqrt[4]{\tfrac 8 3}\;\vee\; x_2=-\sqrt[4]{\tfrac 8 3}</math>.</p>
<p>Osserviamo che l’equazione proposta può essere risolta col metodo della scomposizione in fattori: <math>3x^4-8=0 \Rightarrow \left(\sqrt 3x^2+\sqrt 8\right)\cdot \left(\sqrt 3x^2-\sqrt 8\right)=0</math> e per la legge di annullamento del prodotto <math>\left(\sqrt 3x^2+\sqrt 8\right)=0\;\vee\; \left(\sqrt 3x^2-\sqrt 8\right)=0</math>. La prima equazione non ha soluzioni reali, mentre per la seconda si ha <math>x^2=\sqrt{\tfrac 8 3}\Rightarrow x=\pm \sqrt{\sqrt{\tfrac 8 3}}\Rightarrow x=\pm \sqrt[4]{\tfrac 8 3}</math>.</p></li>
<li><p><math>-6x^4+9=13</math>.</p>
<p>Riducendo alla forma normale troviamo <math>-6x^4-4=0</math>; moltiplicando ambo i membri per <math>-1</math> si ottiene <math>6x^4+4=0</math> in cui il primo membro è una somma di numeri sempre positivi sempre maggiore di zero, quindi in <math>\mathbb{R}</math> l’equazione è impossibile e <math>\text{I.S.}=\emptyset </math>.</p></li>
<li><p><math>8x^3+3=4</math>.</p>
<p>Riduciamo l’equazione alla forma normale <math>8x^3-1=0</math>. Essendo di grado dispari, l’unica soluzione è <math>x=\sqrt[3]{\tfrac 1 8}=\tfrac 1 2</math>.</p>
<p>Allo stesso risultato perveniamo scomponendo in fattori la differenza di due cubi: <math>8x^3-1=0 \Rightarrow (2x-1)\cdot \left(4x^2+2x+1\right)=0</math>. Per la legge di annullamento del prodotto <math>2x-1=0 \Rightarrow x=\tfrac 1 2\ \vee \ 4x^2+2x+1=0</math> ma l’equazione di secondo grado non ha soluzioni reali essendo <math>\Delta <0</math>. Pertanto l’unica soluzione è <math>x=\tfrac 1 2</math>, quindi <math>\text{I.S.}=\left\{\tfrac 1 2\right\}</math>.</p></li>
<li><p><math> 2x^7+3=2 </math>.</p>
<p>In forma normale <math>2x^7+1=0</math>. Si trova così l’unica soluzione reale <math>x=\sqrt[7]{-\tfrac 1 2}=-\sqrt[7]{\tfrac 1 2}</math>.</p></li>
<li><p><math>3x\cdot \left(x^4-1\right)=4\cdot (1+x)-(7x+4)</math>.</p>
<p>Sviluppando i calcoli si ottiene <math>3x^5=0 \Rightarrow x^5=0 \Rightarrow x=0</math>, cioè una sola soluzione reale con molteplicità <math>5</math>.</p></li>
<li><p><math>x^3+3=0</math>.</p>
<p>L’equazione ha l’unica soluzione reale <math>x=-\sqrt[3]3</math>. Spieghiamo il risultato scomponendo la somma di cubi <math>\left(x\right)^3+\left(\sqrt[3]3\right)^3=0 \Rightarrow \left(x+\sqrt[3]3\right) \left(x^2-x\sqrt[3]3+\sqrt[3]{3^2}\right)=0</math>. Per la legge di annullamento del prodotto otteniamo: <math>\left(x+\sqrt[3]3\right)=0 \Rightarrow x=-\sqrt[3] 3</math> e <math>x^2-\sqrt[3]3 x+\sqrt[3]{3^2}=0</math> che non ha soluzioni reali essendo <math>\Delta <0</math>.</p></li></ul>

----

== Equazioni trinomie ==

Se <math>n=2</math> l’equazione è detta ''biquadratica'' e si presenta nella forma&nbsp;&nbsp;<math>ax^4+bx^2+c=0</math>.

----

'''ESEMPIO 7.''' Risolvere le seguenti equazioni biquadratiche.<br />

<ul>
<li><p><math> x^4-5x^2+4=0 </math>.</p>
<p>L’equazione è biquadratica; facciamo un cambio di incognita ponendo <math>x^2=t</math>; l’equazione diventa <math>t^2-5t+4=0</math> che ha due soluzioni reali distinte <math>t_1=1\;\vee \;t_2=4</math>. Per determinare le soluzioni dell’equazione assegnata teniamo conto della sostituzione fatta. Da <math>t_1=1</math> otteniamo <math>x^2=1</math> con soluzioni <math>x_1=-1\;\vee\; x_2=+1</math> e da <math>t_2=4</math> otteniamo <math>x^2=4</math> con soluzioni <math>x_1=-2\;\vee\; x_2=+2</math>. Pertanto l’equazione assegnata ha quattro soluzioni reali distinte e <math>\text{I.S.}=\{-1\text{, }+1\text{, }-2\text{, }+2\}</math>.</p></li>
<li><p><math> 2x^4+3x^2-2=0 </math>.</p>
<p>L’equazione è biquadratica, ponendo <math>x^2=t</math> diventa <math>2t^2+3t-2=0</math> che ha per soluzioni <math>t_1=-2\;\vee\; t_2=\tfrac 1 2</math>. Ritornando alla sostituzione iniziale, da <math>t_1=-2</math> otteniamo <math>x^2=-2\Rightarrow \text{I.S.}=\emptyset </math> e da <math>t_2=\tfrac 1 2</math> otteniamo <math>x^2=\tfrac 1 2</math> con soluzioni <math>x_1=-\sqrt{\tfrac 1 2}\;\vee\; x_2=+\sqrt{\tfrac 1 2}</math> e razionalizzando <math>x_1=-\tfrac{\sqrt 2} 2\;\vee\; x_2=+\tfrac{\sqrt 2} 2</math>.</p></li>
<li><p><math> x^4-\tfrac{16} 9x^2=0 </math>.</p>
<p>L’equazione è biquadratica incompleta; si può determinare l’insieme soluzione raccogliendo <math>x^2</math> a fattore comune, ottenendo così <math>x^2\left(x^2-\tfrac{16} 9\right)=0</math> e per la legge di annullamento del prodotto possiamo concludere <math>x^2=0\;\vee\; x^2=\tfrac{16} 9</math> da cui <math>\text{I.S.}=\left\{0\text{, }-\tfrac 4 3\text{, }+\tfrac 4 3\right\}</math>.</p></li></ul>

----

L’equazione biquadratica <math>{ax}^4+{bx}^2+c=0</math>

* ha quattro soluzioni reali distinte se il discriminante dell’equazione risolvente è positivo e se risultano positivi anche i rapporti <math>-\tfrac b a</math> e <math>\tfrac c a</math> che indicano rispettivamente la somma e il prodotto delle sue soluzioni;
* ha due soluzioni reali distinte se il discriminante dell’equazione risolvente è positivo e se risulta negativo il rapporto <math>\tfrac c a</math> che indica il prodotto delle sue soluzioni;
* non ha soluzioni reali se il discriminante dell’equazione risolvente è positivo e se risulta positivo il rapporto <math>\tfrac c a</math> e negativo il rapporto <math>-\tfrac b a</math>;
* non ha soluzioni reali se il discriminante dell’equazione risolvente è negativo.

Per stabilire il numero di soluzioni di un’equazione biquadratica si può anche utilizzare la regola dei segni di Cartesio:

* <math>\Delta >0</math> e due variazioni si hanno 4 soluzioni reali;
* <math>\Delta >0</math> una permanenza e una variazione si hanno 2 soluzioni reali;
* <math>\Delta =0</math>&nbsp;e&nbsp;<math>-\tfrac b{2a}>0</math> si hanno due soluzioni reali; <math>-\tfrac b{2a}<0</math> nessuna soluzione reale;
* <math>\Delta <0</math> nessuna soluzione reale.

=== Equazioni trinomie con n maggiore di 2 ===

----

'''ESEMPIO 8.''' Risolvere le seguenti equazioni trinomie.<br />

<ul>
<li><p><math> x^6-4x^3+3=0 </math>.</p>
<p>Ponendo <math>t=x^3</math> abbiamo l’equazione risolvente <math>t^2-4t+3=0</math>, le cui soluzioni reali sono <math>t_1=1</math>, <math>t_2=3</math>; per ricavare i valori di <math>x</math> è sufficiente risolvere le due equazioni binomie <math>x^3=1</math> e <math>x^3=3</math>, trovando così le soluzioni reali per l’equazione assegnata <math>x_1=1\;\vee\; x_2=\sqrt[3]3</math>;</p></li>
<li><p><math> x^8-x^4-2=0 </math>.</p>
<p>Ponendo <math>t=x^4</math> arriviamo all’equazione <math>t^2-t-2=0</math> da cui <math>t_1=2</math> e <math>t_2=-1</math>; pertanto le due equazioni binomie da risolvere sono: <math>x^4=2</math> e <math>x^4=-1</math>. Quindi <math>x^4=2\Rightarrow x^2=-\sqrt 2\;\vee\; x^2=\sqrt 2</math> e di queste due, solo la seconda ha soluzioni reali e precisamente <math>x_1=\sqrt[4]2 \;\vee\; x_2=-\sqrt[4]2</math>; la prima equazione binomia <math>x^4=-1</math> non ha invece soluzioni reali. Concludendo: <math>\text{I.S.}=\left\{-\sqrt[4]2\text{, }\sqrt[4]2\right\}</math>.</p></li></ul>

----

== Equazioni che si risolvono con sostituzioni ==

Molte altre equazioni si possono risolvere con opportune sostituzioni.

----

'''ESEMPIO 9.''' Risolvere la seguente equazione <math> \left(x^2-4\right)^4-1=0.</math><br />

Sostituendo <math>t=x^2-4</math> l’equazione diventa <math>t^4-1=0.</math> È un’equazione binomia che ha per soluzioni <math>t_1=-1</math>, <math>t_2=+1</math>. Sostituendo questi valori nella relazione <math>t=x^2-4</math> si ha: <math>x^2-4=-1\Rightarrow x^2=3\Rightarrow x_{1\text{,}2}=\pm \sqrt 3\quad\text{ e }\quad x^2-4=+1\Rightarrow x^2=5\Rightarrow x_{3\text{,}4}=\pm \sqrt 5.</math> 

----

== Equazioni reciproche ==

'''DEFINIZIONE 2.''' Un’equazione è detta ''reciproca di prima specie'' se, posta nella forma canonica <math>p(x)=0</math>, il polinomio <math>p(x)</math> ha i coefficienti dei termini estremi e quelli dei termini equidistanti dagli estremi ''uguali''. 

'''DEFINIZIONE 3.''' Un’equazione è detta ''reciproca di seconda specie'' se, posta nella forma canonica <math>p(x)=0</math>, il polinomio <math>p(x)</math> ha i coefficienti dei termini estremi e quelli dei termini equidistanti dagli estremi ''opposti''. In particolare, se <math>p(x)</math> ha grado <math>2k</math> (pari), il coefficiente di <math>x^k</math> è nullo. 

Dalle definizioni si ha che:

* <math>x^3-2x^2-2x+1=0</math> è un’equazione di terzo grado reciproca di prima specie;
* <math>3x^4+5x^3-4x^2+5x+3=0</math> è un’equazione di quarto grado reciproca di prima specie;
* <math>-7x^4+5x^3-5x+7=0</math> è un’equazione di quarto grado reciproca di seconda specie;
* <math>3x^5+2x^4+6x^3-6x^2-2x-3=0</math> è un’equazione di quinto grado reciproca di seconda specie;
* <math>-2x^4+8x^3+3x^2-8x+2=0</math> è un’equazione di quarto grado, ma non è reciproca di seconda specie, in quanto il coefficiente di secondo grado dovrebbe essere nullo.

Il seguente teorema mette in luce una importante proprietà di cui godono queste equazioni.

'''TEOREMA 1.''' (delle radici reciproche) Se <math>\lambda</math> è una radice non nulla di un’equazione reciproca di qualunque grado, allora anche <math>\tfrac 1{\lambda}</math> è radice dell’equazione.

Consideriamo il polinomio dell’equazione reciproca di prima specie

<math>p(x)=a_0x^n+a_1x^{n-1}+a_2x^{n-2}+ \ldots +a_2x^2+a_1x+a_0.</math>


''Ipotesi'':&nbsp;<math>x=\lambda</math> è una radice dell’equazione <math>p(x)=0</math>;

''Tesi'':&nbsp;<math>x=\tfrac 1{\lambda}</math> è una radice dell’equazione <math>p(x)=0</math>.

''Dimostrazione'':&nbsp;Sappiamo che se <math>x=\lambda</math> è una radice di <math>p(x)=0</math> allora <math>p(\lambda)=0</math>, cioè

<math>p(\lambda)=a_0\lambda ^n+a_1\lambda ^{n-1}+\ldots +a_1\lambda +a_0=0.</math>

Scriviamo il polinomio con <math>x=\tfrac 1{\lambda }</math>

<math>\begin{aligned}
p\left(\tfrac 1{\lambda }\right)&=a_0\left(\tfrac 1{\lambda }\right)^n+a_1\left(\tfrac 1{\lambda }\right)^{n-1}+\ldots +a_1\left(\tfrac 1{\lambda }\right)+a_0\\
&=\tfrac 1{\lambda ^n} \left(a_0+a_1\lambda +\ldots +a_1\lambda ^{n-1}+a_0\lambda ^n \right)\\\end{aligned}</math>

dove nell’ultimo passaggio abbiamo messo in evidenza il termine <math> \left(\tfrac 1{\lambda }\right)^n </math> (è consentito perché per ipotesi <math>\lambda</math> non è nullo). Confrontando le scritture di <math>p(\lambda)</math> e <math>p\left(\tfrac 1{\lambda }\right)</math> risulta

<math>p\left(\tfrac 1{\lambda }\right)=\tfrac 1{\lambda ^n} p(\lambda)=0</math>

Quindi anche <math>\tfrac 1{\lambda }</math> è una radice di <math>p(x)=0</math>.

Dimostra tu il teorema per le equazioni di seconda specie.

=== Equazioni di terzo grado reciproche di prima specie ===

Ricordiamo che secondo la regola del resto, il valore trovato (zero) ci assicura che il polinomio al primo membro è divisibile per <math>x+1</math>; con la divisione polinomiale o con la regola di Ruffini possiamo scrivere <math>a_0x^3+a_1x^2+a_1x+a_0=(x+1)\cdot \left(a_0x^2+(a_1-a_0)x+a_0\right)=0</math> da cui, per la legge di annullamento del prodotto, possiamo determinare le soluzioni dell’equazione assegnata.

Un modo alternativo per determinare l’insieme soluzione dell’equazione reciproca di prima specie consiste nel raccogliere parzialmente i due coefficienti <math>a_0</math> e <math>a_1</math> in modo da ottenere <math>a_0\left(x^3+1\right)+a_1\left(x^2+x\right)=0</math> da cui <math>a_0(x+1)\left(x^2-x+1\right)+a_1x(x+1)=0</math> e raccogliendo il binomio <math>(x+1)</math> ritroviamo la fattorizzazione precedente: <math>(x+1) \left(a_0x^2+(a_1-a_0)x+a_0\right)=0</math>.

----

'''ESEMPIO 10.''' Risolvere le seguenti equazioni di terzo grado reciproche di prima specie.<br />

<ul>
<li><p><math>x^3-5x^2-5x+1=0</math>.</p>
<p>Si tratta di un’equazione di terzo grado reciproca di prima specie. Una radice è <math>x=-1</math>, per cui possiamo fattorizzare il polinomio al primo membro eseguendo la divisione polinomiale e ottenere <math>(x+1)\left(x^2-6x+1\right)=0</math>. Per la legge di annullamento del prodotto otteniamo la radice <math>x=-1</math> già nota e, risolvendo l’equazione <math>x^2-6x+1=0</math> troviamo le altre radici <math>x_2=3+2\sqrt 2</math>&nbsp;&nbsp;e&nbsp;&nbsp;<math>x_3=3-2\sqrt 2</math>. Quindi <math>\text{I.S.}=\left\{-1\text{, }3+2\sqrt 2\text{, }3-2\sqrt 2\right\}</math>.</p>
<p>Notiamo che <math>x_2</math> e <math>x_3</math> sono tra loro reciproche: <math>x_2 \cdot x_3=1</math> cioè <math>(3+2\sqrt 2)\cdot (3-2\sqrt 2)=1</math>.</p></li>
<li><p><math>3x^3-5x^2-5x+3=0</math></p>
<p>L’equazione assegnata è reciproca di terzo grado e di prima specie; ammette dunque <math>x=-1</math> come radice. Infatti <math>p(-1)=3(-1)^3-5(-1)^2-5(-1)+3=\ldots</math> Il polinomio al primo membro si può scomporre con la regola di Ruffini cioè <math>(x+1)\left(3x^2-8x+3\right)=0</math>; per la legge di annullamento del prodotto avremo <math>x+1=0\Rightarrow x=-1</math>, come già noto, e <math>3x^2-8x+3=0</math> con soluzioni <math>x_2=\ldots </math> e <math>x_3=\ldots</math> Quindi <math>\text{I.S.}=\{\ldots\ldots\ldots \}</math>.</p></li></ul>

----

=== Equazioni di terzo grado reciproche di seconda specie ===

Queste equazioni hanno la seguente struttura:

<math>a_0x^3+a_1x^2-a_1x-a_0=0.</math>

Una radice dell’equazione è <math>x=1</math>, basta verificare sostituendo tale valore al posto della <math>x</math> nel polinomio al primo membro. Si ottiene: 

<math>p(1)=a_0(1)^3+a_1(1)^2-a_1(1)-a_0=a_0+a_1-a_1-a_0=0.</math>

Procedendo come nel caso precedente si può ottenere la scomposizione in fattori del polinomio al primo membro: <math>(x-1)\cdot \left(a_0x^2+(a_0+a_1)x+a_0\right)=0</math> e quindi determinare l’<math>\text{I.S.}</math> dell’equazione assegnata applicando la legge di annullamento del prodotto.

----

'''ESEMPIO 11.''' Risolvere le seguenti equazioni di terzo grado reciproche di seconda specie.<br />

<ul>
<li><p><math> 2x^3-7x^2+7x-2=0 </math>.</p>
<p>È un’equazione di terzo grado reciproca di seconda specie, i coefficienti infatti sono opposti a due a due. Una radice è <math>x_1=1</math> infatti <math>p(1)=2-7+7-2=0</math>. Applicando la regola di Ruffini per scomporre il polinomio di terzo grado si ottiene <math>(x-1)\left(2x^2-5x+2\right)=0</math>. Per la legge di annullamento del prodotto abbiamo la radice <math>x=1</math>, già nota, e risolvendo <math>\left(2x^2-5x+2\right)=0</math> si ricavano le altre due radici: <math>x_2=2</math>&nbsp;&nbsp;e&nbsp;&nbsp;<math>x_3=\tfrac 1 2</math>. Dunque <math>\text{I.S.}=\left\{1\text{, }2\text{, }\tfrac 1 2\right\}</math>.</p></li>
<li><p><math> 2x^3-9x^2+9x-2=0 </math>.</p>
<p>L’equazione assegnata è reciproca di terzo grado e di seconda specie perché ha i coefficienti opposti a due a due, quindi ammette <math>x=+1</math> come radice. Infatti <math>p(1)=\ldots</math> Applichiamo la regola di Ruffini per scomporre in fattori il polinomio di terzo grado. Il polinomio si scompone in <math>(x-1)\left(2x^2- \ldots \ldots\right)=0</math>. Per la legge di annullamento del prodotto avremo <math>x-1=0\Rightarrow x=1</math>, come già noto, e <math>2x^2-7x+2=0</math> con soluzioni <math>x_2=\ldots </math> e <math>x_3=\ldots </math>. Quindi <math>\text{I.S.}=\{\ldots \ldots \ldots \}</math>. L’equazione assegnata ha tre soluzioni reali di cui le due irrazionali sono l’una il reciproco dell’altra.</p></li></ul>

----

=== Equazioni di quarto grado reciproche di prima specie ===

Rientrano in questa classificazione le equazioni del tipo: 

<math>a_0x^4+a_1x^3+a_2x^2+a_1x+a_0=0.</math>

Prima di tutto osserviamo che <math>x=0</math> non può essere una radice in quanto, se lo fosse, sarebbe nullo il termine noto, cioè <math>a_0=0</math> e di conseguenza sarebbe nullo anche il coefficiente di <math>x^{4}</math> quindi il grado dell’equazione diventerebbe 3 o inferiore. Questa premessa ci consente di dividere per <math>x^2</math> ottenendo l’equazione equivalente <math>a_0 x^2+a_1x+a_2+\tfrac{a_1} x+\tfrac{a_0}{x^2}=0</math> e raccogliendo a fattori parziali si ha <math>a_0\left(x^2+\tfrac 1{x^2}\right)+a_1\left(x+\tfrac 1 x\right)+a_2=0</math>.

Ponendo&nbsp;&nbsp;<math>t=x+\tfrac 1 x</math>&nbsp;&nbsp;si ha&nbsp;&nbsp;<math>t^2=\left(x+\tfrac 1 x\right)^2\Rightarrow t^2=x^2+\tfrac 1{x^2}+2 \Rightarrow x^2+\tfrac 1{x^2}=t^2-2</math>.

Sostituendo nell’equazione otteniamo la seguente equazione di secondo grado equivalente a quella data: <math>a_0\left(t^2-2\right)+a_1t+a_2=0</math>, ovvero

<math>a_0t^2+a_1t+a_2-2a_0=0.</math>

Una volta trovate, se esistono (reali), le radici <math>t_1</math> e <math>t_2</math> di questa equazione, possiamo determinare le corrispondenti radici dell’equazione iniziale risolvendo le due equazioni fratte <math>x+\tfrac 1 x=t_1</math>&nbsp;&nbsp;e&nbsp;&nbsp;<math>x+\tfrac 1 x=t_2</math>&nbsp;&nbsp;nell’incognita <math>x</math>, rispettivamente equivalenti a 

<math>x^2-t_1x+1=0\qquad\text{e}\qquad {x}^2-t_2x+1=0.</math>

Queste ultime equazioni hanno soluzioni reali se e solo se <math>|t|\ge 2</math>. Infatti, risolvendo rispetto a <math>x</math> l’equazione <math>x+\tfrac 1 x=t</math>, troviamo: <math>x^2-tx+1=0</math> e calcolando il discriminante <math>\Delta =t^2-4</math> vediamo che ci sono soluzioni reali se e solo se <math>t^2-4\ge 0</math> ovvero se e solo se <math>t\le -2 \;\vee\; t\ge 2</math> cioè <math>|t|\ge 2</math>.

----

'''ESEMPIO 12.''' Risolvere le seguenti equazioni di quarto grado reciproche di prima specie.<br />

<ul>
<li><p><math>x^4-4x^3+5x^2-4x+1=0</math>.</p>
<p>Si tratta di un’equazione di quarto grado reciproca di prima specie. Dividiamo per <math>x^2</math>, otteniamo <math>x^2-4x+5-4\tfrac 1 x+\tfrac 1{x^2}=0</math>. Raccogliendo in fattori comuni come nella regola abbiamo <math>\left(x^2+\tfrac 1{x^2}\right)-4\left(x+\tfrac 1 x\right)+5=0</math>. Ponendo <math>t=x+\tfrac 1 x</math> otteniamo l’equazione <math> \left(t^2-2\right)-4t+5=0</math> ovvero <math>t^2-4t+3=0</math> da cui <math>t_1=1</math> e <math>t_2=3</math>. Il primo valore <math>t_1</math> non dà soluzioni reali poiché l’equazione <math>x+\tfrac 1 x=1</math> ha il discriminante negativo mentre l’equazione <math>x+\tfrac 1 x=3</math> ha due soluzioni reali distinte <math>x_1=\tfrac{3+\sqrt 5} 2</math> e <math>x_2=\tfrac{3-\sqrt 5} 2</math>.</p></li>
<li><p><math> 2x^4+3x^3-16x^2+3x+2=0 </math>.</p>
<p>Dividiamo ambo i membri dell’equazione per <math>x^2</math>, certamente diverso da zero e otteniamo: <math>2x^2+3x-16+3\cdot \tfrac 1 x+2\cdot \tfrac 1{x^2}=0</math>. Mettiamo in evidenza <math> 2 </math> nel primo e quinto addendo e <math> 3 </math> tra il secondo e quarto addendo: <math>2\cdot \left(x^2+\tfrac 1{x^2}\right)+3\cdot \left(x+\tfrac 1 x\right)-16=0</math>. Ponendo <math>x+\tfrac 1 x=t</math> otteniamo l’equazione <math>2(t^2-2)+3t-16=0\Rightarrow 2t^2+3t-20=0</math> che ha come soluzioni <math>t_1=-4\vee t_2=\tfrac 5 2</math>. Poiché <math>|t|\ge 2</math> le equazioni <math>x+\tfrac 1 x=t_1</math> e <math>x+\tfrac 1 x=t_2</math> hanno entrambe soluzioni reali distinte, pertanto <math>\text{I.S.}=\left\{-2-\sqrt{3}\text{, }-2+\sqrt{3}\text{, }\tfrac 1 2\text{, }2\right\}</math>.</p></li></ul>

----

=== Equazioni di quarto grado reciproche di seconda specie ===

Fanno parte di questa classe le equazioni del tipo:

<math>a_0x^4+a_1x^3-a_1x-a_0=0</math>

in cui il coefficiente di <math>x^2</math> è nullo. Per risolvere questa equazione, raccogliamo a fattore parziale <math>a_0</math> e <math>a_1</math> ottenendo: <math>a_0\left(x^4-1\right)+a_1\left(x^3-x\right)=0 \Rightarrow a_0\left(x^2-1\right)\left(x^2+1\right)+a_1x\left(x^2-1\right)=0</math>.

Raccogliendo a fattore comune totale si ha:

<math>\left(x^2-1\right)\left[a_0\left(x^2+1\right)+a_1x\right]=0\quad\Rightarrow \quad\left(x-1\right)\left(x+1\right)\left(a_0x^2+a_1x+a_0\right)=0.</math>

Per la legge di annullamento del prodotto si hanno quindi le due radici <math>x_1=1</math>, <math>x_2=-1</math> e le eventuali radici reali dell’equazione di secondo grado <math>a_0x^2+a_1x+a_0=0</math>.

----

'''ESEMPIO 13.''' Risolvere l’equazione <math>x^4-8x^3+8x-1=0</math>.<br />

Si tratta di un’equazione di quarto grado reciproca di seconda specie, si osservi che il coefficiente di secondo grado è nullo e che gli altri coefficienti sono a due a due opposti. Raccogliendo a fattore comune parziale abbiamo

<math>(x^4-1)-8x(x^2-1)=0\quad\Rightarrow\quad (x^2-1)(x^2+1)-8x(x^2-1)=0.</math>

Mettendo poi in evidenza il binomio <math>\left(x^2-1\right)</math> abbiamo <math>\left(x^2-1\right)\left(x^2-8x+1\right)</math>. Risolvendo le equazioni <math>x^2-1=0</math> e <math>x^2-8x+1=0</math>, otteniamo tutte le radici:

<math>x_1=1\;\vee\; x_2=-1\;\vee\; x_3=4+\sqrt{15}\;\vee\; x_4=4-\sqrt{15}</math>

e quindi

<math>\text{I.S.}=\left\{-1\text{, }1\text{, }4+\sqrt{15}\text{, }4-\sqrt{15}\right\}.</math>

----

=== Equazioni di quinto grado reciproche di prima specie ===

Fanno parte di questa classe le equazioni del tipo:

<math>a_0x^5+a_1x^4+a_2x^3+a_2x^2+a_1x+a_0=0.</math>

Con il raccoglimento parziale otteniamo:

<math>a_0\left(x^5+1\right)+a_1\left(x^4+x\right)+a_2\left(x^3+x^2\right)=0.</math>

Applichiamo ora la formula per la scomposizione della somma di potenze ottenendo 

<math>a_0(x+1)\left(x^4-x^3+x^2-x+1\right)+a_1x(x+1)\left(x^2-x+1\right)+a_2x^2(x+1)=0.</math>

Raccogliendo <math>(x+1)</math> ricaviamo:

<math>(x+1)\left[a_0\left(x^4-x^3+x^2-x+1\right)+a_1x\left(x^2-x+1\right)+a_2x^2\right]=0</math>

e quindi l’equazione diventa:

<math>(x+1)\left[a_0x^4+(a_1-a_0)x^3+(a_2-a_1+a_0)x^2+(a_1-a_0)x+a_0\right]=0.</math>

Per la legge di annullamento del prodotto si determina la soluzione reale <math>x=-1</math> e con i metodi analizzati in precedenza si risolve l’equazione di quarto grado reciproca di prima specie:

<math>\left(a_0x^4+(a_1-a_0)x^3+(a_2-a_1+a_0)x^2+(a_1-a_0)x+a_0\right)=0.</math>

----

'''ESEMPIO 14.''' Risolvere l’equazione <math>6x^5+x^4-43x^3-43x^2+x+6=0.</math><br />

L’equazione è di quinto grado reciproca di prima specie. Una radice è <math>x_1=-1</math> e l’equazione può essere scritta come:

<math>(x+1)\left(6x^4-5x^3-38x^2-5x+6\right)=0.</math>

Risolvendo l’equazione di quarto grado reciproca di prima specie

<math>6x^4-5x^3-38x^2-5x+6=0\text{,}</math>

si trovano le altre quattro radici:

<math>x_2=-2\text{,}\quad x_3=-\tfrac 1 2\text{,}\quad x_4=3\text{,}\quad x_5=\tfrac{1}{3}</math>

quindi

<math>\text{I.S.}=\left\{-1\text{, }-2\text{, }-\tfrac 1 2\text{, }3\text{, }\tfrac 1 3\right\}.</math>

----

=== Equazioni di quinto grado reciproche di seconda specie ===

Fanno parte di questa classe le equazioni del tipo: 

<math>a_0x^5+a_1x^4+a_2x^3-a_2x^2-a_1x-a_0=0.</math>

Con il raccoglimento parziale si ottiene

<math>a_0\left(x^5-1\right)+a_1\left(x^4-x\right)+a_2\left(x^3-x^2\right)=0.</math>

Applichiamo ora la formula per la scomposizione della differenza di potenze ottenendo: 

<math>a_0(x-1)\left(x^4+x^3+x^2+x+1\right)+a_1x(x-1)\left(x^2+x+1\right)+a_2x^2(x-1)=0.</math>

Raccogliendo il binomio <math>(x-1)</math> si ottiene

<math>(x-1)\left[a_0\left(x^4+x^3+x^2+x+1\right)+a_1x\left(x^2+x+1\right)+a_2x^2\right]=0</math>

e quindi

<math>(x+1)\left[a_0x^4+(a_1-a_0)x^3+(a_2-a_1+a_0)x^2+(a_1-a_0)x+a_0\right]=0.</math>

Una radice è <math>x=1</math> e le altre provengono dall’equazione di quarto grado reciproca di prima specie:

<math>a_0x^4+(a_1+a_0)x^3+(a_2+a_1+a_0)x^2+(a_1+a_0)x+a_0=0.</math>

----

'''ESEMPIO 15.''' Risolvere l’equazione <math>x^5+2x^4-5x^3+5x^2-2x-1=0</math>.<br />

È un’equazione di quinto grado reciproca di seconda specie. Una radice è <math>x_1=1</math> e l’equazione può essere scritta come:

<math>(x-1)\left(x^4+3x^3-2x^2+3x+1\right)=0.</math>

Risolvendo l’equazione di quarto grado reciproca di prima specie

<math>x^4+3x^3-2x^2+3x+1=0\text{,}</math>

si trovano altre due radici reali:

<math>x_2=-2-\sqrt 3\quad\text{e}\quad x_3=-2+\sqrt 3.</math>

Pertanto

<math>\text{I.S.}=\left\{+1\text{, }-2-\sqrt 3\text{, }-2+\sqrt 3\right\}.</math>

----

=== Equazioni reciproche di sesto grado ===

----

'''ESEMPIO 16.''' Risolvere l’equazione <math>-x^6+6x^5+6x^4-6x^2-6x+1=0</math>.<br />

Si tratta di un’equazione di sesto grado reciproca di seconda specie (si osservi che il termine di terzo grado è nullo); l’equazione ammette per radici <math>x_1=1</math> e <math>x_2=-1</math>. Possiamo quindi dividere il polinomio per il binomio <math>\left(x^2-1\right)</math>, ottenendo come quoziente <math>-x^4+6x^3+5x^2+6x-1</math>. Si tratta allora di risolvere un’equazione di quarto grado reciproca di prima specie. Si trovano in questo modo altre due radici reali: <math>x_3=\tfrac{7+\sqrt 45}{2}</math>&nbsp;&nbsp;e&nbsp;&nbsp;<math>x_4=\tfrac{7-\sqrt 45} 2.</math>

----