Utente:Lupo rosso/Sandbox/vvdimostrazione per soluzione di equazione algebrica di terzo grado

Lupo Rosso

La cubica di equazione
$x^{3}-15x-4=0$

Si definisce equazione di terzo grado o cubica quell'equazione polinomiale in cui il grado massimo dell'incognita è il terzo. Nella forma canonica, si presenta come

$ax^{3}+bx^{2}+cx+d=0\,$

la prima soluzione generale dell'equazione di terzo grado si deve al matematico italiano Scipione del Ferro, ma lo scopritore per così dire ufficiale è Girolamo Cardano, dal quale la formula prende il nome.

Cenni storici da rivedere

Sin dai tempi della matematica babilonese erano noti i metodi risolutivi delle particolari equazioni di terzo grado che possono essere ricondotte ad un'equazione di secondo grado. I greci riuscivano a risolvere geometricamente alcune equazioni di terzo grado tramite l'uso delle coniche, metodo reso famoso dall'aneddoto della duplicazione dell'altare di Apollo. Durante l'età della matematica araba, Omar Khayyam credeva che, a parte i casi riducibili, non esistesse un metodo risolutivo generale per le equazioni di terzo grado, opinione che ancora Luca Pacioli riportava nella sua opera del 1494 Summa de arithmetica, geometria, proportioni et proportionalità.

Un primo procedimento risolutivo di buona generalità venne scoperto da Scipione del Ferro; la data esatta di questa scoperta resta ignota, ma egli la comunicò in fin di vita (ca. 1526) ad un suo allievo, Antonio Maria Flor, detto Floridus in latino.

Niccolò Fontana detto Tartaglia già nel 1541 sapeva risolvere problemi implicanti equazioni di terzo grado: quando si diffuse la voce, Floridus e Tartaglia si sfidarono a vicenda, ognuno sottoponendo all'altro trenta "questioni" da risolvere entro una certa data. Quando arrivò il giorno stabilito, Tartaglia aveva risolto tutti problemi di Floridus, ma questi nemmeno uno. All'epoca infatti i numeri negativi non venivano usati, ricorrendo a diversi metodi risolutivi con soli numeri positivi: Floridus conosceva solamente un metodo per coefficienti positivi, ossia per equazioni della forma

$x^{3}+px=q\,$

mentre Tartaglia gli aveva sottoposto tutti problemi con coefficienti negativi, e nella forma

$x^{3}+px^{2}=q\,$

probabilmente riconducendo questo caso al precedente. Era infatti noto che, se il coefficiente di terzo grado è l'unità, allora quello di secondo grado cambiato di segno è la somma delle radici.

Sorse poi nel 1545 un'aspra polemica tra Tartaglia, Gerolamo Cardano e Ludovico Ferrari, cui si deve la soluzione generale dell'equazione di quarto grado, circa la paternità della soluzione. Venuto a sapere della vittoria su Floridus, Cardano aveva invitato Tartaglia a recarsi da lui nella città di Milano, con la vaga promessa di trovargli un mecenate. Tartaglia non aveva fonti di reddito stabili forse a causa della balbuzie, causatagli da una sciabolata ricevuta da ragazzo durante l'assalto di Brescia da parte di truppe francesi nel 1512. Il difetto, a cui si deve anche il soprannome autoimpostosi di Tartaglia, lo rendeva inadatto all'insegnamento, per cui l'offerta venne accettata. Cardano era un medico di fama europea, tanto che venne chiamato in Scozia per diagnosticare il malanno dell'Arcivescovo di St. Andrews. Tartaglia dunque rivelò a Cardano il procedimento che conosceva sotto vincolo di segretezza: Tartaglia infatti intendeva pubblicare la sua scoperta a coronamento del suo trattato sull'algebra, la traduzione degli Elementi del matematico greco Euclide.

Cardano e Ferrari a quel punto lavorarono sul materiale fornito loro dal Tartaglia, andando oltre le sue scoperte e riuscendo a fornire una dimostrazione rigorosa della soluzione; è proprio in questo periodo che Ferrari risolve l'equazione di quarto grado. Il procedimento risolutivo individuato dal matematico bolognese richiedeva però la soluzione dell'equazione di terzo grado scoperta da Tartaglia, e che non poteva essere pubblicata a causa della promessa fatta da Cardano. Dopo qualche tempo tuttavia, quest'ultimo venne a sapere delle precedenti deduzioni di Scipione del Ferro e si recò quindi presso Annibale della Nave, genero di del Ferro e suo successore alla cattedra di matematica dell'Università di Bologna, nella speranza di riuscire a carpire le informazioni di cui aveva bisogno. Il della Nave mostrò a Cardano il manoscritto sul quale il suocero aveva annotato la soluzione dell'equazione, la stessa trovata da Tartaglia; fu così che Cardano, sentendosi svincolato dalla promessa fatta, pubblicò il risultato noto come formula di Cardano.

Pur se figlio illegittimo, astrologo, eretico e giocatore incallito, non di meno Cardano era un rispettabile professore a Bologna e Milano, tanto che ebbe una pensione dal Papa. Non era certamente uno stinco di santo, dato che uno dei figli gli avvelenò la moglie, l'altro divenne criminale e lo stesso Ferrari, suo segretario, morì forse avvelenato dalla propria sorella. Tuttavia fu uno scrittore prolifico nel campo della medicina, delle scienze naturali e della matematica. Con l'uscita dell'Artis Magnae sive de regulis algebraicis nel 1545, in cui vennero pubblicate le soluzioni per le equazioni di terzo e quarto grado, divampò la polemica con Tartaglia. Pur riconoscendo la paternità delle rispettive scoperte a Ferrari e Tartaglia, quest'ultimo non sopportò il torto subito e abbandonò Milano.

Metodo risolutivo

Sia Cardano, che Tartaglia, che altri algebristi italiani rinascimentali pubblicarono loro metodi per la risoluzione delle equazioni di 3° grado. Tempo dopo Vieta, dopo l'introduzione dei coefficienti letterali, pubblicò nell'Isagoge un metodo molto lineare, che prevede la risoluzione di un'equazione di terzo grado completa riducendola, tramite una multipla sostituzione delle variabili, ad una particolare equazione quadratica. Il procedimento è il seguente. Un'equazione del tipo

$x^{3}+ax^{2}+bx+c=0\,$

si riconduce alla forma

$y^{3}+py+q=0\,\quad [1]$

che coincideva di fatto con quella delle prime equazioni risolte da del Ferro; infatti, se si pone

$x=y-{\frac {a}{3}}$

si ottiene un'equazione in $y$ ridotta in cui manca il termine di secondo grado. A questo punto si effettua un'ulteriore sostituzione: si ponga

$y=z-{\frac {p}{3z}}$

dopo alcuni calcoli, e dopo aver moltiplicato per $z^{3}$, si ottiene l'equazione in questa forma

$z^{6}+qz^{3}-{\frac {p^{3}}{27}}=0$

dove

${\begin{cases}p=-{\frac {a^{2}}{3}}+b\\q={\frac {2a^{3}}{27}}-{\frac {a\times b}{3}}+c\end{cases}}$

che è un'equazione trinomia in $z^{3}$, riconducibile a una quadratica in $t$ effettuando la sostituzione

$\,z^{3}=t$

e che può essere risolta agevolmente. Il risultato del procedimento è appunto la formula di Cardano

$y={\sqrt[{3}]{-{q \over 2}+{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}}+{\sqrt[{3}]{-{q \over 2}-{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}}$

da cui : $x=y-{a \over 3}$

Operativamente per la risoluzione si deve ricondurre l'equazione di terzo grado alla 1), ponendo $x=y-{\frac {a}{3}}$ . Le soluzioni della 1), equazioni di terzo grado, sono le seguenti tre nel caso che siano reali le due seguenti

$Uc=(-{\frac {q}{2}}+D^{\frac {1}{2}})^{\frac {1}{3}}$

$Vc=(-{\frac {q}{2}}-D^{\frac {1}{2}})^{\frac {1}{3}}$

avendo indicato con D quindi nel caso con D maggiore od uguale a zero.

$D={q^{2} \over 4}+{p^{3} \over 27}$

ovvero il radicando della radice quadrata all'interno della cubica

${\begin{cases}y_{1}=u+v\\y_{2}=-{\frac {u+v}{2}}+i\cdot {\frac {u-v}{2}}\cdot {\sqrt {3}}\\y_{3}=-{\frac {u+v}{2}}-i\cdot {\frac {u-v}{2}}\cdot {\sqrt {3}}\end{cases}}$

dove $i\,$ è l'unità immaginaria ($i^{2}=-1\,$) e $u\,$ e $v\,$:

$u={\sqrt[{3}]{-{q \over 2}+{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}}$,

e

$v={\sqrt[{3}]{-{q \over 2}-{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}}$.

Per verifica, deve risultare $u\cdot v=-{\frac {p}{3}}$.Quindi, noti i coefficienti dell'equazione di terzo grado si ricavano per sostituzione $p$ e $q$ della forma ridotta. Da questi, tramite $u$ e $v$, si arriva alle tre soluzioni dell'equazione ridotta, e poi a quelle di terzo grado. Avendo posto $x=y-{\frac {a}{3}}$, vale che:

$x_{i}=y_{i}-{\frac {a}{3}}$, con $i=1,2,3\,$.

Si noti che non possono esistere tre soluzioni reali se il contenuto della radice quadrata, dentro la cubica, è maggiore od uguale a zero in quanto la radice cubica di un numero reale ammette una ed una sola soluzione reale, e due complesse coniugate, e da tale unica soluzione reale scaturità la radice reale dell'equazione da cui si deduce che le tre radici reali le avremo se e solo se il contenuto della radice quadrata dentro la cubica è minore di zero in senso stretto

$y={\sqrt[{3}]{-{q \over 2}+{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}}+{\sqrt[{3}]{-{q \over 2}-{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}}$

«Infatti ogniqualvolta le tre radici di un’equazione di terzo grado erano reali e diverse da zero la formula di Tartaglia e Cardano portava inevitabilmente a radici quadrate di numeri negativi, ma poiché si sapeva che il risultato ultimo doveva essere un numero reale per raggiungerlo diventava necessaria una qualche comprensione dei numeri immaginari.»

La formula di Cardano contiene la soluzione reale dell'equazione di terzo grado, le altre due sono numeri complessi coniugati. I numeri complessi , gia' conosciuti , erano oggetto di discussione all'epoca del matematico Cardano ma non era ancora stata elaborata una teoria che ne consentisse un comune uso nella pratica della matematica .

«L’idea di servirsi di numeri immaginari per operare con radici quadrate di numeri negativi nella risoluzione di equazioni è però precedente e coinvolge la storia di molti matematici del Cinquecento: Scipione dal Ferro (1465-1526) e il suo allievo Antonio Maria Flor, Niccolò Fontana detto Tartaglia (1500-1557), Girolamo Cardano (1501-1576) e Raffaele Bombelli (1526-1572) i quali in quegli anni lavorano, discutono, si sfidano, gareggiano e litigano riguardo la scoperta e la paternità della formula risolutiva delle equazioni di terzo grado.»

Problemi relativi alle soluzioni

Cardano incontrò però alcune difficoltà, dati i metodi dell'epoca, a trattare casi come

$x^{3}=15x+4\,$

Infatti applicando la formula risolutiva si trova

$x={\sqrt[{3}]{2+11{\sqrt {-1}}}}+{\sqrt[{3}]{2-11{\sqrt {-1}}}}$

e la radice di un numero negativo non si sapeva trattare. Però, cercando una soluzione con i metodi geometrici di Omar Khayyam, si trova che una soluzione è $\,x=4\,$ e di conseguenza altre due soluzioni sono ottenibili risolvendo la $\,x^{2}+4x+1=0\,$. Quindi l'equazione ha tre radici reali, ovvero si ha la fattorizzazione

$x^{3}-15x-4=(x-4)\cdot (x+2-{\sqrt {3}})\cdot (x+2+{\sqrt {3}})\,$

mentre la formula risolutiva porta a numeri non reali.

In generale si incorre in numeri non reali con equazioni della forma (1) per le quali

$\left({p \over 3}\right)^{3}<-\left({q \over 2}\right)^{2}$

Questa disuguaglianza caratterizza quello che veniva chiamato caso irriducibile, caso ritenuto intrattabile. Gli autori posteriori (primo fra tutti Rafael Bombelli) riprenderanno questi risultati giungendo alla introduzione dei numeri complessi, entità indispensabili per disporre di un procedimento generale per la risoluzione delle equazioni di terzo grado a coefficienti reali. I numeri complessi si sono poi rivelati fondamentali per moltissimi altri sviluppi matematici, in particolare per il teorema fondamentale dell'algebra.

Un caso particolare

Se è vera l'equazione

$(ad-bc)/a^{2}=A=0,$

allora abbiamo ovviamente almeno una soluzione perché l'equazione della cubica sarà così rappresentabile:

$ax^{3}+bx^{2}+cx+d=(x+b/a)\cdot (x^{2}+c/a),$

È quindi supponibile che una eventuale equazione universale per la risoluzione delle cubiche si possa presentare nella forma

$(x+b/a+BA^{n})\cdot (x^{2}-CxA^{m}+c/a+DA^{l})$

Appendice:dimostrazione soluzione

inizio dimostrazione

partiamo da qui

$x=y-{\frac {a}{3}}$

[ NB questa formuletta si ottiene annullando la derivata seconda della funzione di terzo grado da cui scaturisce l'equazione di terzo grado in quanto mediante il calcolo integro differenziale utilizzando la Serie_di_Taylor si sviluppa la funzione di terzo grado da cui scaturisce l'equazione di terzo grado e dopo si puo' azzerare uno dei qualsivoglia termini facendo una traslazione di assi che porti a zero il termine che si desidera azzerare :e' ovvio che questo metodo generale per togliere termini alle equazioni algebriche è assai posteriore all'epoca di Cardanoinoltre sia ben chiaro che si può fare questa manovra su ogni termini a parte quello di grado più alto altrimenti si andrebbe contro il teorema fondamentale dell'algebra

$f(x)=\sum _{n=0}^{\infty }{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}$ .

nel caso in studio

$ax^{3}+bx^{2}+cx+d=f(x)\,$

per cui derivata prima : $3*ax^{2}+2*bx+c\,$

derivata seconda:$2*3*ax+2*b\,$

derivata terza:$2*3*a\,$

derivata quarta:$0\,$

$(x-a)^{3}*2*3*a+(x-a)^{2}*(2*3*ax+2*b)+(x-a)*(3*ax^{2}+2*bx+c)+f(a)=f(x)\,$

trascurando il fatto che è impossibile farla sul termine di grado più alto '] dopo aver fatto sostituzione che ci porta

$y^{3}+py+q=0\,\quad [1]$

$p=-{\frac {a^{2}}{3}}+b\,$

$q={\frac {2a^{3}}{27}}-{\frac {ab}{3}}+c\,$

dove $a\;$ , $b\;$ , $c\;$ sono coefficienti di

$x^{3}+ax^{2}+bx+c=0\,$

ovvero equazione di terzo grado divisa per il primo coefficiente in modo tale da aver $1\;$come coefficiente di $x^{3}\,$.

poniamo $y=u+v\,$

tale sostituzione viene fatta perchè introducendo due incognite in una sola equazione avrei infinite soluzione fissandone a piacere una e calcolandone l'altra e per un ottimo matematico quali i primi studiosi dell'eqauzione era facile prevedere che tale sostituzione portava a due pezzi separati per cui imponendli pari a zero si perviene ad un sistema che permette di arrivare ad un nyumero finito di soluzioni che scelti seguendo le condizioni poste sia dall'equazione che dall'algebra in generale daranno come somma le soluzione dell'equazioni ovvero le tre radici

$0=y^{3}+py+q=(u+v)^{3}+p(u+v)+q=u^{3}+3u^{2}v+3uv^{2}+v^{3}+p(u+v)+q=(u3+v3+q)+(u+v)(3uv+p)\,$

le soluzioni di u e v i che soddisfa la [1] saranno daricercare fra le soluzioni del sistema seguente

$u*v=-{\frac {p}{3}},\quad [2]$.

$u^{3}+v^{3}=-q\,$

in quando soddisfacendo tale sistema è soddisfatta la condizione di nullita' della [1]

artifizi per soluzione

elevando al cubo [2]

arriveremo al sistema

$u^{3}v^{3}=-{\frac {p^{3}}{27}}\,$.

$u^{3}+v^{3}=-q\,$

e sostituendo

$z^{2}+qz-{\frac {p}{27}}=0\,$. utilizando l'incognita di supporto z che fornirà soluzioni per u e v

avremo u e v

$u^{3}=-{\frac {q}{2}}+{\sqrt[{2}]{{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}\,$.

$v^{3}=-{\frac {q}{2}}-{\sqrt[{2}]{{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}\,$.

da cui ottengo

$y={\sqrt[{3}]{-{q \over 2}+{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}}+{\sqrt[{3}]{-{q \over 2}-{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}},\quad [3]$.

NB:facciamo una premessa per render chiaro il risultato di tre soluzioni per una radice cubica consideriamo per esempio: $8^{\frac {1}{3}}={\sqrt[{3}]{8}}\,$ notazione esponenziale per radice cubica presenta tre soluzioni che valgono:

$x_{2}=2*(-{\frac {1}{2}}+{\frac {j(3^{\frac {1}{3}})}{2}})=1+j3^{\frac {1}{3}}$

$x_{3}=2*(-{\frac {1}{2}}-{\frac {j(3^{\frac {1}{3}})}{2}})=1-j3^{\frac {1}{3}}$

oltre ovviamente che $x_{1}=2\,$

ricordando che

per$K=0\,$ , $\cos 0+j\sin 0=1\,$;

per $K=1\,$ avremo ${\frac {2\pi }{3}}$ e quindi $\cos {\frac {2\pi }{3}}+j\sin {\frac {2\pi }{3}}$

per $K=2\,$ avremo ${\frac {4\pi }{3}}$ e quindi $\cos {\frac {2\pi }{3}}+j\sin {\frac {4\pi }{3}}$

ovvero la radice cubica di un numero reale ha tre soluzioni di cui una reale e due complesse coniugate e se il radicando delle radici cubiche della [3] riscritta sotto è reale avremo proprio questa condizione che ci fornirà il caso di soluzione più semplice per l'equazione di terzo grado , piu' complesso risulta il caso in cui nei radicandi compaiano radici quadrate di numeri negativi ;lo vedremo in seguito

$y={\sqrt[{3}]{-{q \over 2}+{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}}+{\sqrt[{3}]{-{q \over 2}-{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}},\quad [3]$.

uso dei numeri complessi per dimostrazione di soluzione

un esponenziale di grado $1/n\,$ ovvero radice di grado ennesimo ha $n\,$ soluzioni nel caso specifico di $8^{(}1/3\,$)avremo una radice reale che varra' $-2\;$ mentre le altre due sono complese coniugate . Per comprendere ciò serve un richamo alla notazione esponenziale per un numero complesso

Un numero complesso può essere visto come un punto del piano cartesiano. Una rappresentazione di questo tipo si chiama diagramma di Argand. Nella figura si vede che

$z=x+iy=r(\cos \varphi +i\sin \varphi )$

essendo $\cos \varphi$ e $\sin \varphi$ funzioni trigonometriche. Le formule inverse per $x>0$ sono:

$r={\sqrt {x^{2}+y^{2}}}$

$\varphi =\arctan {\frac {y}{x}}$

Per $x<0$ vale invece l'uguaglianza:

$\varphi =\arctan {\frac {y}{x}}+\pi$

Usando la formula di Eulero, possiamo esprimere $z$ come

$z=r(\cos \varphi +i\sin \varphi )=re^{i\varphi }$

tramite la funzione esponenziale. Qui $r$ è il modulo (o valore assoluto o norma) e $\varphi$ è l'argomento di $z$. L'argomento è determinato da $z\,$ se è inteso nell'intervallo $(0\;,2\pi )$, altrimenti è definito solo a meno di somme con $2k\pi \,$ per qualche intero $k\,$.

per cui $8=|8|*e^{j(2k\pi )}\,$ con $k\,$ intero positivo quindi per avere tre radici metteremo K=0;K=1;K=2 e poi varemo la radice cubica di |8|=8 e separatamente le radici cubiche dell'esponenziale che per sua intrinseca proprieta' si fa dividendo per 3 l'argomento quindi

per$K=0\,$ , $\cos 0+j\sin 0=1\,$;

per $K=1\,$ avremo ${\frac {2\pi }{3}}$ e quindi $\cos {\frac {2\pi }{3}}+j\sin {\frac {2\pi }{3}}$

per $K=2\,$ avremo ${\frac {4\pi }{3}}$ e quindi $\cos {\frac {2\pi }{3}}+j\sin {\frac {4\pi }{3}}$

i risultati complessi son due numeri complessi che van moltiplicati per |8|^1/3=2 e ci forniscono le due radici complesse

$x_{2}=2*(-{\frac {1}{2}}+{\frac {j(3^{\frac {1}{3}})}{2}})=-1+j3^{\frac {1}{3}}$

$x_{3}=2*(-{\frac {1}{2}}-{\frac {j(3^{\frac {1}{3}})}{2}})=-1-j3^{\frac {1}{3}}$

proseguimento procedimento dimostrazione

ottenute ricordanco che se $z=x+iy\,$ che in notazione trigonometrica $z=(\cos \left(0\right)+i*\sin \left(0\right))*p$ ed in notazione esponenziale $e^{\left(i*0\right)}*p$.

Quindi ponendo 8 in notazione esponenziale come numero complesso si trovano le radici e cio' vale per qualsivoglia radica cubica.

ricordando: $y=u+v\,$.

[3] qui nuovamente riportata per semplicita'

$y={\sqrt[{3}]{-{q \over 2}+{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}}+{\sqrt[{3}]{-{q \over 2}-{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}},\quad [3]$.

fornisce 9 valori [combinando ogni singola radice di un radicando con le tre dell'altro radicando per l'incognita in quanto ogni radice cubica ne fornisce 3] e, fra questi nove valori, ne debbono essere scelti solo tre per il teorema fondamentale dell'algebra, si considerano validi unicamente quelli che soddisfano

$u*v=-{\frac {p}{3}}\,$.

prendo il primo radicale fra quelli trovati e lo chiamo u1 poi calcolo:

$v1=-{\frac {p}{3*u1}}\,$

inoltre $y1=u1-{\frac {p}{3*u1}}\,$ tratta dalla generica $y=u+v\,$.

NB: Prendo il primo radicale è in questo senso , i valori di u1 sono tre da considerare per cui se uno solo è reale debbo prendere quello in quanto mi fornirà l'unica soluzione reale in quanto v1 sarà reale pure lui conseguentemente e percio' $y1=u1+v1\,$ [1 nel senso di prima radice calcolata]sarà reale.

Non e' possibile trovare treradici reali s i radicandi della [3] sono reali in quanto la radice cubica di un numero reale ho solo una soluzione reale e due complesse coniugate per cui le soluzioni reali si troveranno quando i radicandi della [3] saranno nel campo complesso e questo è l'unico caso di tre soluzioni reali, per il teorema fondamentale dell'algebra non ho alternative le soluzioni reali sono una o tre perchè il teorema non ammette l'esistenza di una sola radice complessa in quanto se vi è radice complessa $a+jb\,$ esiste inequivocabilmente la sua coniugata $a-jb\,$;

Se vi è una sola radice reale e l'ho trovata posso passare ad un abbassamento di grado dal terzo al secondo dividendo la funzione di terzo grado da cui scaturisce l'equazione di terzo grado presa in considerazione per il binomio formato dalla differenza fra la incognia y e la radice trovata quindi avro' una funzione di secondo grado da cui scaturisce l'equazione di secondo grado che mi darà senza problemi le due radici complese coniugate.

NB:ricordo quanto gia' detto: il risultato di tre soluzioni per una radice cubica $8^{\frac {1}{3}}\,$ notazione esponenziale per radice cubica presenta tre soluzioni:

$x_{1}=2\,$

$x_{2}=2*(-1+{\frac {j(3^{\frac {1}{3}})}{2}})\,$

$x_{3}=2*(-1-{\frac {j(3^{\frac {1}{3}})}{2}})\,$

ottenute ricordanco che se $z=x+iy\,$ che in notazione trigonometrica si scrive $z=(\cos \left(0\right)+i*\sin \left(0\right))*p$ ed in notazione esponenziale $e^{\left(i*0\right)}*p$. Quindi ponendo $z=8+i0\,$ in notazione esponenziale si trovano le radici e cio' vale per qualsivoglia radica cubica.

in pratica il problema tramite l'abbassamento di grado ( se e solo i radicandi della [3] sono reali ) è risolto in maniera piuttosto semplice per cui iniziamo a discutere i vari casi ed il più complicato è quello con radicandi nel campo complesso che da le soluzioni tutte reali e che non permette soluzione tramite abbassamento di grado

Studio vari casi

indichiamo con $D\;$

${q^{2} \over 4}+{p^{3} \over 27}$

Con D indico cio' che sta sotto la radice quadrata all'interno della radice cubica della [3]

$y={\sqrt[{3}]{-{q \over 2}+{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}}+{\sqrt[{3}]{-{q \over 2}-{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}},\quad [3]$.

premettiamo

tre soluzioni reali le avremo con [D] minore di zero e questo è il caso piu' complesso mentre invece avremo una soluzione reale e due complesse coniugate se [D] maggiore o uguale a zero e questo è per l'appunto il caso in cui l'abbassamento di grado per pervenire ad una equazione di secondo grado è la scorciatoia piu' facile --Lupo rosso

Poniamo D maggiore o uguale a zero da cui fra tutti radicali ce ne deve essere uno reale sempre per il teorema fondamentale dell'algebra per cui una radice reale della equazione di terzo grado devo averla , per quanto detto sulla radice cubica gli altri radicali saranno complessi per cui trovato $u_{r}$ radice cubica reale negativa utilizzando

$u*v=-{\frac {p}{3}},\quad [2]$.

troveremo

$v_{r}$ e sommandole avremo la radice reale dell'equazione di terzo grado

NBricordiamo adesso che la radice cubica di -1ha come tre risultati

$-1\,$;

$(\cos \left({\frac {2\pi }{3}}\right)+i*\sin \left({\frac {2\pi }{3}}\right))$;

e la sua complessa coniugata per forza esistente

$(\cos \left({\frac {2\pi }{3}}\right)-i*\sin \left({\frac {2\pi }{3}}\right))$;

ci servirà quanto detto sopra per proseguire

cio' premesso calcoliamo le radici complesse di u

chiamando:

$Uc=(-{\frac {q}{2}}+D^{\frac {1}{2}})^{\frac {1}{3}}$

che altro non è che la radice cubica reale del primo radicale di

$y={\sqrt[{3}]{-{q \over 2}+{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}}+{\sqrt[{3}]{-{q \over 2}-{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}},\quad [3]$.

avremo:

$u_{1}=|Uc|*(-{\frac {1}{2}}+j(3^{\frac {1}{3}}*{\frac {1}{2}}))$

ed $u_{2}=|Uc|*(-{\frac {1}{2}}-j(3^{\frac {1}{3}}*{\frac {1}{2}}))$

chiamando

$Vc=(-{\frac {q}{2}}-D^{\frac {1}{2}})^{\frac {1}{3}}$

che altro non è che la radice cubica reale del secondo radicale di

$y={\sqrt[{3}]{-{q \over 2}+{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}}+{\sqrt[{3}]{-{q \over 2}-{\sqrt[{2}]{{q^{2} \over 4}+{p^{3} \over 27}}}}},\quad [3]$.

avremo

$v_{1}=|Vc|*(-{\frac {1}{2}}+j(3^{\frac {1}{3}}*{\frac {1}{2}}))$

$v_{2}=|Vc|*(-{\frac {1}{2}}-j(3^{\frac {1}{3}}*{\frac {1}{2}}))$

abbiamo 4 modi [in quanto abbiamo $u_{1}\;,u_{2}\;,v_{1}\;,v_{2}\,$ di fare $u+v\,$] e ne sceglieremo 2 ovvero quelli che soddisfano $u*v=-{\frac {p}{3}},\quad [2]$.

che saranno le radici complese coniugate cercate

$u_{r}$ radice cubica reale positiva trovato $v_{r}$ e formata la soluzione completa ; come già detto il metodo più semplice è eseguire un abbasamento di grado pervenendo ad un equazione di secondo grado una volta calcolata la radice reale

poniamo D minore di zero in senso stretto

le radici cubicche saranno complesse cio' signifiva $u_{1}\;$ , $u_{2}\;$ , $u_{3}\;$ , $v_{1}\;$ , $v_{2}\;$ , $v_{3}\;$; ed essendo numeri complessi il metodo di calcolo migliore è quello di esprimerli tramite modulo ed angolo e non tramite notazione cartesiane a causa proprio della presenza di radici

$R=|-q/2+j*(-D)^{\frac {1}{2}}|$

e' il modulo nel piano complesso cartesiano del cosidetto vettore che indica il numeo complesso ; $\varphi =\arctan {\frac {y}{x}}$ e' l'angolo di inclinazione relativo all'asse X nel piano complesso cartesiano del cosidetto vettore che indica il numeo complesso $z=R(\cos \varphi +i\sin \varphi )=Re^{i\varphi }$

$u_{1}=Re^{(i/3)\varphi }$

$u_{2}=Re^{((i+2*\pi )/3)\varphi }$

$u_{3}=Re^{((i+4*\pi )/3)\varphi }$

$v_{1}=Re^{(i/3)\varphi }$

$v_{2}=Re^{((i+2*\pi )/3)\varphi }$

$v_{3}=Re^{((i+4*\pi )/3)\varphi }$

con simboli semplificati

$u_{1}=Re,{i/3)\varphi }$

$u_{2}=Re,{((i+2*\pi )/3)\varphi }$

$u_{3}=Re,{((i+4*\pi )/3)\varphi }$

$v_{1}=Re,{i/3)\varphi }$

$v_{2}=Re,{((i+2*\pi )/3)\varphi }$

$v_{3}=Re,{((i+4*\pi )/3)\varphi }$

ricordando $y=u+v\,$ le tre soluzioni saranno

$y_{1}\;,y_{2}\;,y_{3}\;,$

$y_{1}=u_{1}+v_{1}\,$

$y_{2}=u_{2}+v_{2}\,$

$y_{3}=u_{3}+v_{3}\,$

tutte e tre reali in quanto la somma di 2 numeri complessi coniugati è reale

e soddisfano la $u*v=-{\frac {p}{3}},\quad [2]$. in quanto il prodotto di 2 numeri complessi coniugati è reale e i casi suddetti sodisfano la condizione risolutiva

Un metodo pratico per la soluzione di caso particolare

E' stato inventato da A.Demanet nel 1898 e tratta il caso particolare

$ax^{3}+bx^{2}+cx+d=0\,$

in cui $a=1\,$ , $b=o\,$ , $c=1\,$, $d<0\,$ e si basa sulla teoria dei vasi comunicanti usando un vaso a cono rovesciato collegato ad uno cilindrico introducendo le vaso a cono rovesciato un cilindro di calibrato volume il volume del liquido rovesciato dal vaso cilindrico ci fornisce un numero proporzionale alla soluzione dell'equazione , problemi di tensione superficiale essendo il vaso cilindrico tenuto a livello di traboccamento possono rendere meno accurata la precisione della soluzione.

uno schizzo

ponendo l'equazione in modo semplificato

$x^{3}+x=c\,$ ;

il cono nello "schizzo " ha un rapporto fra raggio della base r ed altezza H del cono siffatto

$r/H=3/\pi ^{(}1/2)\,$

ricordando che il volume del cono vale

$V=\pi \cdot r^{2}\cdot {H \over 3}\,$

sostituendo troviamo il volume del cono pari ad $H^{3}\,$ che indicheremo con $x^{3}\,$ mentre imponendo la superficie di base del cilindro unitaria il volume del cilindro si potra' indicare con $x\,$

Vacqua=volume d’acqua rovesciato = Va, con Vt=volume d’acqua nel tubo= Vt;con x il livello , avremo la successiva equazione:

$x^{3}+x+Vt=Va\,$

$x^{3}+x=Va-Vt\,$

formalmente identico a

$x^{3}+x=c\,$ ;

il livello comune ai due vasi comunicanti è la radice reale della equazione di terzo grado.

Voci correlate

• Funzione cubica
• Equazione di primo grado
• Equazione di secondo grado
• Equazione di quarto grado
• Teorema fondamentale dell'algebra

Bibliografia e riferimenti

• Carl Boyer, Storia della matematica. 1976, Mondadori. ISBN 8804334312