Equazione di terzo grado
In matematica viene detta equazione di terzo grado o cubica un'equazione che si presenta o può essere trasformata in forma polinomiale in cui il grado massimo dell'incognita è il terzo. Pertanto, la sua forma canonica è
Il primo metodo risolutivo generale per questa classe di equazioni è dovuto a Scipione del Ferro. Tuttavia, alla formula risolutiva viene normalmente associato il nome di Girolamo Cardano, che portò a compimento una serie di miglioramenti del metodo dovuti a vari autori della scuola algebrica italiana.
Indice |
[modifica] Cenni storici
Sin dai tempi della matematica babilonese erano noti metodi risolutivi per particolari equazioni di terzo grado, essenzialmente quelle 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
mentre Tartaglia gli aveva sottoposto tutti problemi con coefficienti negativi, e nella forma
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. Tartaglia dunque rivelò a Cardano il procedimento sotto forma di poesia: (tra parentesi la notazione attuale)
« Quando che'l cubo con le cose appresso [ ]Se agguaglia à qualche numero discreto [ Dapoi terrai questo per consueto El residuo poi suo generale ] » |
|
|
(Umberto Bottazzini, Paolo Rossi (a cura di), La "grande arte": l'algebra nel Rinascimento, Storia della Scienza Vol. 1.)
|
Successivamente Tartaglia sosterrà di aver fatto giurare a Cardano che non l'avrebbe mai reso pubblico ma il fatto è contestato dallo stesso Cardano. 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. Tenendo presente dalla poesia che
esprimendo il procedimento in un'unica formula si ottengono le note formule cardaniche:
Pur se figlio illegittimo, astrologo, eretico e giocatore incallito, Cardano era un rispettabile professore a Bologna e Milano, tanto che ebbe una pensione dal Papa. Egli 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, pur riconoscendo la paternità delle rispettive scoperte a Ferrari e Tartaglia, divampò la polemica con Tartaglia. Infatti questo non fu sufficiente per evitare le ire di Tartaglia che offese pubblicamente Cardano chiamandolo "huomo di poco sugo"[1]. Ferrari difese accanitamente il maestro e ne seguì una lunga disputa (dalla quale, comunque, Cardano si mantenne sempre neutrale). Sfidato pubblicamente da Ferrari, Tartaglia fu umiliato e sconfitto e poco dopo vide il ritiro del suo incarico di professore.
Cardano e Ferrari divennero improvvisamente famosi tuttavia nemmeno la loro fortuna durò a lungo: il figlio di Cardano fu condannato a morte per l'assassinio della moglie mentre l'altro suo figlio lo derubò per saldare i suoi debiti di gioco. Egli stesso venne poi imprigionato per aver calcolato l'oroscopo di Gesù Cristo; Ferrari invece, dopo aver perso le dita di una mano in una rissa, fu probabilmente avvelenato dalla sorella.
Negli anni successivi François Viète trovò un altro metodo di risoluzione: una volta eliminato il coefficiente di secondo grado si applica la sostituzione
che porta a un'equazione di secondo grado nella variabile
.[2]
[modifica] Metodo risolutivo
Sia Cardano che Tartaglia che altri algebristi italiani rinascimentali pubblicarono loro metodi per la risoluzione delle equazioni di 3º grado. Tempo dopo François Viète, dopo l'introduzione dei coefficienti letterali, pubblicò nell'Isagoge in artem analyticam 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
si riconduce nella forma
applicando la sostituzione
si ottiene così un'equazione nella forma precedentemente descritta le cui soluzioni sono
dove
e
sono le radici:
La formula per calcolare le soluzioni dell'equazione di terzo grado è quindi:
Bisogna ricordare che per il teorema fondamentale dell'algebra un'equazione di terzo grado deve avere 3 soluzioni, bisogna quindi valutare anche i risultati complessi delle radici.
Ora è necessario calcolare se, la quantità che sta sotto le radici quadrate, che chiameremo Δ, è positiva o negativa.
- Se Δ è maggiore di 0 le soluzioni dell'equazione saranno:
- Se Δ è minore di 0 bisognerà convertire nella forma trigonometrica
il numero complesso
- Se Δ è uguale a 0 le soluzioni dell'equazione saranno:
[modifica] Problemi relativi alle soluzioni
Cardano incontrò però alcune difficoltà, dati i metodi dell'epoca, a trattare casi come
Infatti applicando la formula risolutiva si trova
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 è
e di conseguenza altre due soluzioni sono ottenibili risolvendo l'equazione
Quindi l'equazione ha tre radici reali, ovvero si ha la fattorizzazione
mentre la formula risolutiva porta a numeri non reali.
In generale si incorre in numeri non reali con equazioni della forma
per le quali
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.
[modifica] Dimostrazione
[modifica] Trasformazione della formula generale in una formula con soluzioni note
La tecnica utilizzata per trovare la formula risolutiva di un'equazione di terzo grado è quella di trasformarla in un'equazione con soluzioni note. Se prendiamo l'identità:
ed eleviamo tutto al cubo otteniamo:
Abbiamo così costruito un'equazione di terzo grado della quale conosciamo la soluzione (
). Possiamo notare che l'equazione ottenuta non possiede il termine di secondo grado e
ha coefficiente 1. I passaggi successivi avranno l'obiettivo di trasformare una classica equazione di terzo grado in un'equazione simile a quella appena costruita.
Prendiamo quindi l'equazione di terzo grado e dividiamo tutti i termini per la costante
:
Abbiamo così portato il coefficiente di
uguale ad 1. Ora dobbiamo annullare il termine di secondo grado, eseguendo una traslazione del tipo
otteniamo:
sviluppando le potenze di binomio si può notare che il coefficiente del termine di secondo grado è uguale a:
per annullarlo possiamo eguagliarlo a zero e ottenere:
La sostituzione che dovremmo operare sarà quindi:
Eseguendo i calcoli otteniamo un'equazione della forma:
ove:
Abbiamo così trasformato una classica equazione di terzo grado in un'equazione con termine di secondo grado nullo e coefficiente del termine di terzo grado uguale ad 1. Ora dobbiamo rendere del tutto identiche l'equazione appena ottenuta con l'equazione iniziale di cui conoscevamo la soluzione. Per fare ciò dobbiamo eguagliare i termini di primo grado
e
e i termini noti
e
risolvendo il sistema:
Se eleviamo al cubo la prima equazione del sistema otteniamo:
Il sistema ci chiede di trovare due incognite la cui somma è
e il prodotto è
. Per risolvere un sistema del genere si può utilizzare l'equazione di secondo grado:
ove
e
rappresentano rispettivamente la somma e il prodotto delle nostre due incognite, risolviamo quindi l'equazione:
Dato che la soluzione della nostra equazione è
possiamo scrivere:
[modifica] Utilizzo dei numeri complessi per trovare le soluzioni dell'equazione
La formula risolutiva trovata presenta due radici cubiche che in campo reale hanno una sola soluzione ma in campo complesso ne hanno ben 3 ciascuna. Essa quindi fornisce in totale 9 soluzioni complesse 3 delle quali devono appartenere anche al campo reale per il teorema fondamentale dell'algebra. È da notare inoltre che la formula risolutiva presenta anche delle radici quadrate che in campo complesso hanno sempre 2 soluzioni che dovremmo sempre prendere in considerazione.
Chiamiamo quindi
con il simbolo Δ e studiamo i due casi.
[modifica] Primo caso Δ<0
Possiamo riscrivere la formula risolutiva nel modo seguente:
Per calcolare le radici cubiche possiamo convertire i numeri complessi
e
in forma trigonometrica. I due moduli quindi saranno uguali a:
gli angoli avranno la stessa ampiezza ma segno opposto dato che le parti immaginarie dei due numeri complessi sono opposte, li chiameremo quindi
e
.
Calcoliamo ora le radici cubiche dei numeri
e
. Il modulo risulterà uguale a:
e le radici saranno:
In teoria sarebbero possibili tutte le 9 soluzioni
ma in realtà solo in tre casi la somma ci restituisce un numero reale. Infatti esclusivamente nei casi
,
ed
la parte immaginaria si semplifica.
Quindi le soluzioni dell'equazione saranno:
[modifica] Secondo caso Δ>0
Nel caso in cui Δ sia maggiore di 0 la formula può essere riscritta come
Come nel caso precedente non bisogna soffermarsi sulle radici reali ma bisogna analizzare anche cosa avviene quando il risultato delle radici cubiche è complesso. Con un procedimento simile al precedente si può trovare che le tre soluzioni reali sono:
[modifica] Caso Δ=0
Nel caso particolare in cui Δ sia uguale a 0 si può ricavare dalle formule trovate che le soluzioni sono:
[modifica] Casi particolari
[modifica] x3+x=c
Un metodo di soluzione di tipo idraulico è stato trovato da A. Demanet nel 1898 e tratta il caso particolare[3][4]
in cui
L'equazione può essere, quindi, riscritta in modo semplificato eguagliando 
La soluzione si basa sulla teoria dei vasi comunicanti, mediante lo studio di un sistema formato da un vaso a cono rovesciato collegato ad uno cilindrico di eguale altezza, problemi di tensione superficiale possono rendere meno accurata la precisione della soluzione.
Ipotizziamo di avere il sistema descritto sopra, che l'area della base del cilindro sia pari a 1 e che il rapporto tra il raggio
del cono e la sua altezza
sia:
Ora se indichiamo con
e
rispettivamente il volume dell'acqua presente nel cono e nel cilindro, e con
l'altezza dell'acqua nei due recipienti[5] avremmo che:
e che
tenendo conto della relazione tra l'altezza e il raggio del cono si ha che:
Se indichiamo con
il volume dell'acqua presente nel tubo che collega i due vasi e con
il volume dell'acqua versata nei due vasi risulterà che:
se chiamiamo
otteniamo
Abbiamo così ottenuto un'equazione di terzo grado la cui soluzione sarà l'altezza, misurabile, dell'acqua in uno dei due vasi comunicanti.
Più in generale se chiamiamo con
ed
rispettivamente il raggio del cono e del cilindro,
l'altezza del cono e
l'altezza raggiunta dall'acqua si può ottonere l'equazione:
quindi scegliendo opportunamente i due recipienti possiamo risolvere anche un'equazione del tipo:
[modifica] d=bc/a
Se l'equazione di terzo grado possiede la particolare caratteristica di avere il termine noto uguale a
l'equazione si presenta nella formula:
in questo caso abbiamo immediatamente almeno una soluzione reale dato che la formula può essere vista come:
Una soluzione, quindi, sarà sicuramente
; le altre 2 saranno reali o no in base al segno di
.
[modifica] Note
- ^ Umberto Bottazzini, Paolo Rossi (a cura di), La "grande arte": l'algebra nel Rinascimento, Storia della Scienza Vol. 1, pag. 72.
- ^ Weisstein, Eric W. "Vieta's Substitution." From MathWorld -A Wolfram Web Resource
- ^ equazioni ad acqua università di Pisa
- ^ Italo Ghersi, Metodi fisici per la soluzione di equazioni algebriche in Matematica dilettevole e curiosa, Milano, Hoepli, 1913, pag. 253.
- ^ L'altezza dell'acqua nei due vasi sarà la stessa dato che non contengono due liquidi diversi
[modifica] Bibliografia
- Carl Boyer, Storia della matematica, Milano, Mondadori, 1976. ISBN 88-04-33431-2
- Italo Ghersi, Matematica dilettevole e curiosa Hoepli, 1988, quinta edizione.
[modifica] Voci correlate
- Funzione cubica
- Equazione di primo grado
- Equazione di secondo grado
- Equazione di quarto grado
- Teorema fondamentale dell'algebra
- Numero complesso
|
|




]
]
]
]
]
]
] ![x^3+px+q=0\ \Rightarrow x = \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}}} \,\!](http://upload.wikimedia.org/wikipedia/it/math/a/4/b/a4bde90e00b7b8a2a76c1dd167bce2eb.png)



![u=\sqrt[3]{-\frac{q}{2}+\sqrt{\frac{q^2}{4}+\frac{p^3}{27}}} \,\!](http://upload.wikimedia.org/wikipedia/it/math/1/a/9/1a942734eaf5731a6e609d7c49d4cc68.png)
![v=\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^2}{4}+\frac{p^3}{27}}} \,\!](http://upload.wikimedia.org/wikipedia/it/math/9/7/b/97bad84f8fef02bfa9d44c6731ee32d1.png)
![y=\sqrt[3]{-\frac{q}{2}+\sqrt{\frac{q^2}{4}+\frac{p^3}{27}}}+\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^2}{4}+\frac{p^3}{27}}} \,\!](http://upload.wikimedia.org/wikipedia/it/math/b/5/9/b59b19b2e35fb6dc5b48984366d78df9.png)



il numero complesso







![x = \sqrt[3]{2 +11\sqrt{-1}}+\sqrt[3]{2-11\sqrt{-1}} \,\!](http://upload.wikimedia.org/wikipedia/it/math/9/a/9/9a9f23f0054ae143afeaed7ef0c151fe.png)

















![u^3=\frac{-q+\sqrt{q^2+\frac{4p^3}{27}}}{2}=-\frac{q}{2}+\sqrt{\frac{q^2}{4}+\frac{p^3}{27}}\ \Rightarrow\ u=\sqrt[3]{-\frac{q}{2}+\sqrt{\frac{q^2}{4}+\frac{p^3}{27}}}](http://upload.wikimedia.org/wikipedia/it/math/a/2/3/a2374d8bd9c392d9dfbbccc212d8a1d3.png)
![v^3=\frac{-q-\sqrt{q^2+\frac{4p^3}{27}}}{2}=-\frac{q}{2}-\sqrt{\frac{q^2}{4}+\frac{p^3}{27}}\ \Rightarrow\ v=\sqrt[3]{-\frac{q}{2}-\sqrt{\frac{q^2}{4}+\frac{p^3}{27}}} \,\!](http://upload.wikimedia.org/wikipedia/it/math/8/e/b/8ebecaf62f27792b1fbffdc2bd0e90ce.png)
![y=u+v=\sqrt[3]{-\frac{q}{2}+\sqrt{\Delta}}+\sqrt[3]{-\frac{q}{2}-\sqrt{\Delta}} \,\!](http://upload.wikimedia.org/wikipedia/it/math/5/9/f/59fe6d4cb19ec2055ed25166d650da36.png)
![y=\sqrt[3]{-\frac{q}{2}+\sqrt{-1(-\Delta)}}+\sqrt[3]{-\frac{q}{2}-\sqrt{-1(-\Delta)}} \,\!](http://upload.wikimedia.org/wikipedia/it/math/d/7/a/d7a1f0158a60edc869ba08e60b983512.png)
![y=\sqrt[3]{-\frac{q}{2}\pm i\sqrt{-\Delta}}+\sqrt[3]{-\frac{q}{2}\pm i\sqrt{-\Delta}} \,\!](http://upload.wikimedia.org/wikipedia/it/math/b/6/2/b623de520f38e7ea37e0352a5b94e79e.png)

![\sqrt[3]{\rho}=\sqrt[3]{\sqrt{-\frac{p^3}{27}}}=\sqrt[3]{\left(\sqrt{-\frac{p}{3}}\right)^3}=\sqrt{-\frac{p}{3}} \,\!](http://upload.wikimedia.org/wikipedia/it/math/c/7/3/c73271406a89159a9c613782b5af47fc.png)
![\sqrt[3]{-\frac{q}{2}+i\sqrt{-\Delta}}= \begin{cases} \sqrt{-\frac{p}{3}}\cdot\left(\cos\frac{\theta}{3}+i\sin\frac{\theta}{3}\right) & (s_1)\\ \sqrt{-\frac{p}{3}}\cdot\left(\cos\frac{\theta+2\pi}{3}+i\sin\frac{\theta+2\pi}{3}\right) & (s_2)\\ \sqrt{-\frac{p}{3}}\cdot\left(\cos\frac{\theta+4\pi}{3}+i\sin\frac{\theta+4\pi}{3}\right) & (s_3)\\ \end{cases} \,\!](http://upload.wikimedia.org/wikipedia/it/math/6/0/3/603098ab61d0b229301143bb0784deb3.png)
![\sqrt[3]{-\frac{q}{2}-i\sqrt{-\Delta}}= \begin{cases} \sqrt{-\frac{p}{3}}\cdot\left(\cos\frac{\theta}{3}-i\sin\frac{\theta}{3}\right) & (s_4)\\ \sqrt{-\frac{p}{3}}\cdot\left(\cos\frac{\theta+4\pi}{3}-i\sin\frac{\theta+4\pi}{3}\right) & (s_5)\\ \sqrt{-\frac{p}{3}}\cdot\left(\cos\frac{\theta+2\pi}{3}-i\sin\frac{\theta+2\pi}{3}\right) & (s_6)\\ \end{cases} \,\!](http://upload.wikimedia.org/wikipedia/it/math/5/2/d/52d5af49ee14d570419375b3c33cf20d.png)
















