{"id":317,"date":"2003-08-13T00:00:00","date_gmt":"2003-08-12T22:00:00","guid":{"rendered":""},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T22:00:00","slug":"317","status":"publish","type":"post","link":"https:\/\/www.vialattea.net\/content\/317\/","title":{"rendered":"Come si ottengono le formule risolutive delle equazioni di 3<sup>o<\/sup> e 4<sup>o<\/sup> grado?  E come si dimostra che oltre il quarto grado non esistono formule risolutive?"},"content":{"rendered":"<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">La domanda posta richiede una risposta pi\u00f9 lunga,<br \/>\napprofondita e elaborata di quanto \u00e8 opportuno trattare in questo<br \/>\nspazio, quindi in questa pagina riporto solo i fatti salienti e passaggi<br \/>\npi\u00f9 delicati mettendo in evidenza gli aspetti generali dell&#8217;argomento<br \/>\nevitando i noiosi calcoli, per i quali rimando ai  siti elencati alla fine di<br \/>\nquesta breve esposizione. <\/font><\/p>\n<p><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><br \/><\/font><\/p>\n<p align=\"left\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><b>Nozioni generali sulle equazioni algebriche<\/b><\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0Considerato un polinomio<br \/>\n<i>P<sub>n<\/sub><\/i>(<i>x<\/i>)\u00a0=\u00a0<i>a<sub>n<\/sub>x<sup>n<\/sup><\/i>\u00a0+\u00a0<i>a<\/i><sub><i>n<\/i>-1<\/sub><i>x<\/i><sup><i>n<\/i>-1<\/sup>\u00a0+\u00a0&#8230;\u00a0+\u00a0<i>a<\/i><sub>1<\/sub><i>x<\/i>\u00a0+\u00a0<i>a<\/i><sub>0<\/sub><br \/>\ndi grado <i>n<\/i>, \u00e8 detto <i>zero<\/i> di<br \/>\n<i>P<sub>n<\/sub><\/i>(<i>x<\/i>) un qualsiasi numero <i>z<\/i> (reale o<br \/>\ncomplesso) per il quale si abbia<br \/>\n<i>P<sub>n<\/sub><\/i>(<i>z<\/i>)\u00a0=\u00a0<i>a<sub>n<\/sub>z<sup>n<\/sup><\/i>\u00a0+\u00a0<i>a<\/i><sub><i>n<\/i>-1<\/sub><i>z<\/i><sup><i>n<\/i>-1<\/sup>\u00a0+\u00a0&#8230;\u00a0+\u00a0<i>a<\/i><sub>1<\/sub><i>z<\/i>\u00a0+\u00a0<i>a<\/i><sub>0<\/sub>\u00a0=\u00a00.<br \/>\nRisulta subito evidente che, in base alla definizione appena enunciata, la<br \/>\nricerca degli zeri di <i>P<sub>n<\/sub><\/i>(<i>x<\/i>) \u00e8 equivalente<br \/>\nalla ricerca delle soluzioni (radici) dell&#8217;equazione algebrica: <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><i>a<sub>n<\/sub>x<sup>n<\/sup><\/i>\u00a0+\u00a0<i>a<\/i><sub><i>n<\/i>-1<\/sub><i>x<\/i><sup><i>n<\/i>-1<\/sup>\u00a0+\u00a0&#8230;\u00a0+\u00a0<i>a<\/i><sub>1<\/sub><i>x<\/i>\u00a0+\u00a0<i>a<\/i><sub>0<\/sub>\u00a0=\u00a00.<br \/>\n\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0(1) <\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">Si pu\u00f2 facilmente dimostrare che se <i>z<\/i> \u00e8<br \/>\nuno zero di <i>P<sub>n<\/sub><\/i>(<i>x<\/i>) allora il polinomio<br \/>\n<i>x<\/i>\u00a0&#8211;\u00a0<i>z<\/i> divide <i>P<sub>n<\/sub><\/i>(<i>x<\/i>) e<br \/>\nviceversa, se <i>x<\/i>\u00a0&#8211;\u00a0<i>z<\/i> divide<br \/>\n<i>P<sub>n<\/sub><\/i>(<i>x<\/i>), allora <i>z<\/i> \u00e8 uno zero di<br \/>\n<i>P<sub>n<\/sub><\/i>(<i>x<\/i>).  Se indichiamo con<br \/>\n<i>P<\/i><sub><i>n<\/i>-1<\/sub>(<i>x<\/i>) il polinomio quoziente di questa<br \/>\ndivisione, pu\u00f2 capitare che <i>z<\/i> sia anche uno zero di questo<br \/>\npolinomio e in tal caso si dimostra che il polinomio<br \/>\n(<i>x<\/i>\u00a0&#8211;\u00a0<i>z<\/i>)<sup>2<\/sup> divide<br \/>\n<i>P<sub>n<\/sub><\/i>(<i>x<\/i>): in tal caso, <i>z<\/i> \u00e8 detto <i>zero<br \/>\ndi molteplicit\u00e0 <\/i>2.  In generale, se<br \/>\n(<i>x<\/i>\u00a0&#8211;\u00a0<i>z<\/i>)<sup><i>k<\/i><\/sup> divide<br \/>\n<i>P<sub>n<\/sub><\/i>(<i>x<\/i>), allora <i>z<\/i> \u00e8 detto <i>zero di<br \/>\nmolteplicit\u00e0 k<\/i> e, in analogia a tale terminologia, <i>z<\/i>,<br \/>\n\u00e8 detta <i>soluzione k-upla<\/i> dell&#8217;equazione (1).  Il <i>teorema<br \/>\nfondamentale dell&#8217;algebra<\/i> afferma che <i>P<sub>n<\/sub><\/i>(<i>x<\/i>)<br \/>\nammette esattamente <i>n<\/i> zeri, a patto di considerare ciascuno di essi<br \/>\ncon la propria molteplicit\u00e0, ossia, se <i>z<\/i><sub>1<\/sub>,<br \/>\n<i>z<\/i><sub>2<\/sub>, &#8230;, <i>z<sub>m<\/sub><\/i> sono zeri di<br \/>\nmolteplicit\u00e0 rispettivamente <i>k<\/i><sub>1<\/sub>,<br \/>\n<i>k<\/i><sub>2<\/sub>, &#8230;, <i>k<sub>m<\/sub><\/i>, allora<br \/>\n<i>k<\/i><sub>1<\/sub>\u00a0+\u00a0<i>k<\/i><sub>2<\/sub>\u00a0+\u00a0&#8230;\u00a0+\u00a0<i>k<sub>m<\/sub><\/i>\u00a0=\u00a0<i>n<\/i><br \/>\ne <i>P<sub>n<\/sub><\/i>(<i>x<\/i>) si pu\u00f2 scrivere nel seguente modo:<br \/>\n<\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><img decoding=\"async\" src=\"..\/..\/esperti\/mat\/polinomi\/eq001.gif\" alt=\"\"\/><\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">Un altro risultato importante \u00e8 che se<br \/>\n<i>z<\/i>\u00a0=\u00a0<i>a<\/i>\u00a0+\u00a0i<i>b<\/i> \u00e8 una radice<br \/>\ncomplessa di <i>P<sub>n<\/sub><\/i>(<i>x<\/i>), allora anche il suo complesso<br \/>\nconiugato <i>z&#8217;<\/i>\u00a0=\u00a0<i>a<\/i>\u00a0&#8211;\u00a0i<i>b<\/i> \u00e8 una<br \/>\nradice di <i>P<sub>n<\/sub><\/i>(<i>x<\/i>); da questo segue immediatamente che<br \/>\nse <i>n<\/i> \u00e8 dispari l&#8217;equazione (1) ammette almeno una soluzione<br \/>\nreale, mentre se <i>n<\/i> \u00e8 pari essa potrebbe ammettere solo<br \/>\nsoluzioni complesse non reali. <\/font><\/p>\n<p><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><br \/><\/font><\/p>\n<p align=\"left\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><b>Equazione di terzo grado<\/b><\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0Considerata l&#8217;equazione<br \/>\ndi terzo grado <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><i>ax<\/i><sup>3<\/sup>\u00a0+\u00a0<i>bx<\/i><sup>2<\/sup>\u00a0+\u00a0<i>cx<\/i>\u00a0+\u00a0<i>d<\/i>\u00a0=\u00a00<br \/>\n\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0(2), <\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">per quanto prima asserito si possono verificare i seguenti<br \/>\ncasi: <\/font><\/p>\n<ul><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><\/p>\n<li>\n<p align=\"justify\">3 soluzioni reali distinte <i>z<\/i><sub>1<\/sub>,<br \/>\n<i>z<\/i><sub>2<\/sub>, <i>z<\/i><sub>3<\/sub>;<\/p>\n<\/li>\n<li>\n<p align=\"justify\">3 soluzioni reali coincidenti, ossia un&#8217;unica soluzione<br \/>\n<i>z<\/i> di molteplicit\u00e0 3 (radice tripla);<\/p>\n<\/li>\n<li>\n<p align=\"justify\">3 soluzioni reali di cui due coincidenti, ossia una<br \/>\nradice doppia <i>z<\/i><sub>1<\/sub> e una radice semplice<br \/>\n<i>z<\/i><sub>2<\/sub>;<\/p>\n<\/li>\n<li>\n<p align=\"justify\">1 soluzione reale <i>z<\/i><sub>1<\/sub> e due soluzioni<br \/>\ncomplesse coniugate <i>z<\/i><sub>2<\/sub>, <i>z&#8217;<\/i><sub>2<\/sub>.<\/p>\n<\/li>\n<p><\/font><\/ul>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">Operando la sostituzione<br \/>\n<i>y<\/i>\u00a0=\u00a0<i>x<\/i>\u00a0+\u00a0<i>b<\/i>\u00a0\/\u00a03<i>a<\/i>,<br \/>\nl&#8217;equazione (2) diviene: <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><i>y<\/i><sup>3<\/sup>\u00a0+\u00a03<i>py<\/i>\u00a0&#8211;\u00a02<i>q<\/i>\u00a0=\u00a00<br \/>\n\u00a0\u00a0\u00a0\u00a0con <img decoding=\"async\" align=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/eq002.gif\" alt=\"\"\/>,<br \/>\n\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0(3) <\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">alla quale si d\u00e0 il nome di <i>equazione<br \/>\ndepressa<\/i>.  Operando la sostituzione<br \/>\n<i>y<\/i>\u00a0=\u00a0(<i>z<\/i>\u00a0&#8211;\u00a0<i>t<\/i>) essa diventa <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">(<i>z<\/i>\u00a0&#8211;\u00a0<i>t<\/i>)<sup>3<\/sup>\u00a0+\u00a03<i>p(<i>z<\/i>\u00a0&#8211;\u00a0<i>t<\/i>)<\/i>\u00a0&#8211;\u00a02<i>q<\/i>\u00a0=\u00a00.<br \/>\n\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0(4) <\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">Tenendo presente che comunque si scelgano due numeri<br \/>\ncomplessi <i>z<\/i> e <i>t<\/i>, \u00e8 sempre verificata l&#8217;identit\u00e0<br \/>\n(<i>z<\/i>\u00a0&#8211;\u00a0<i>t<\/i>)<sup>3<\/sup>\u00a0+\u00a03<i>zt<\/i>(<i>z<\/i>\u00a0&#8211;\u00a0<i>t<\/i>)\u00a0&#8211;\u00a0(<i>z<\/i><sup>3<\/sup>\u00a0&#8211;\u00a0<i>t<\/i><sup>3<\/sup>)\u00a0=\u00a00,<br \/>\ne confrontando quest&#8217;ultima con la (4), abbiamo che <i>z<\/i> e <i>t<\/i><br \/>\ndevono soddisfare il seguente sistema: <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><img decoding=\"async\" align=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/eq003.gif\" alt=\"\"\/><br \/>\n\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0(5)<\/p>\n<p><\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">Dalla prima della (5) si ricava<br \/>\n<i>t<\/i>\u00a0=\u00a0<i>p<\/i>\u00a0\/\u00a0<i>z<\/i> e dalla seconda<br \/>\n<i>z<\/i><sup>3<\/sup>\u00a0&#8211;\u00a0(<i>p<\/i>\u00a0\/\u00a0<i>z<\/i>)<sup>3<\/sup>\u00a0=\u00a02q<br \/>\nda cui<br \/>\n<i>z<\/i><sup>6<\/sup>\u00a0&#8211;\u00a02<i>qz<\/i><sup>3<\/sup>\u00a0&#8211;\u00a0<i>p<\/i><sup>3<\/sup>\u00a0=\u00a00,<br \/>\nche con la sostituzione <i>u<\/i>\u00a0=\u00a0<i>z<\/i><sup>3<\/sup> diventa<br \/>\nun&#8217;equazione di secondo grado nell&#8217;incognita <i>u<\/i>,<br \/>\n<i>u<\/i><sup>2<\/sup>\u00a0&#8211;\u00a02<i>qu<\/i>\u00a0&#8211;\u00a0<i>p<\/i><sup>3<\/sup>\u00a0=\u00a00.<br \/>\nRisparmiandoci inutili e tediosi calcoli diciamo solamente che una volta<br \/>\ntrovate le due soluzioni <i>u<\/i><sub>1<\/sub> e <i>u<\/i><sub>2<\/sub> si<br \/>\ncalcolano <img decoding=\"async\" align=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/eq004.gif\" alt=\"\"\/> e<br \/>\n<i>t<\/i><sub>1<\/sub>\u00a0=\u00a0p\u00a0\/\u00a0<i>z<\/i><sub>1<\/sub>,<br \/>\n<i>t<\/i><sub>2<\/sub>\u00a0=\u00a0p\u00a0\/\u00a0<i>z<\/i><sub>2<\/sub> da cui si<br \/>\nricava <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><img decoding=\"async\" src=\"..\/..\/esperti\/mat\/polinomi\/eq005.gif\" alt=\"\"\/> <\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">Osserviamo che queste due soluzioni coincidono (attenzione:<br \/>\nsono la stessa soluzione, non si tratta una radice di molteplicit\u00e0 2).<br \/>\nInfatti, <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><img decoding=\"async\" src=\"..\/..\/esperti\/mat\/polinomi\/eq006.gif\" alt=\"\"\/> <\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">Come per\u00f2 detto in precedenza, un&#8217;equazione di terzo<br \/>\ngrado ammette 3 soluzioni, quindi dobbiamo cercare le altre due.  Per fare<br \/>\nci\u00f2 indichiamo con <i>s<\/i> l&#8217;unica soluzione fino a questo momento<br \/>\ntrovata, <img decoding=\"async\" align=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/eq007.gif\" alt=\"\"\/>; poniamo <img decoding=\"async\" align=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/eq008.gif\" alt=\"\"\/> e <img decoding=\"async\" align=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/eq009.gif\" alt=\"\"\/> e dividiamo l&#8217;equazione<br \/>\n(3) per il polinomio (<i>y<\/i>\u00a0&#8211;\u00a0<i>s<\/i>), ottenendo in questo<br \/>\nmodo l&#8217;identit\u00e0<br \/>\n<i>y<\/i><sup>2<\/sup>\u00a0+\u00a0<i>sy<\/i>\u00a0+\u00a0(<i>s<\/i><sup>2<\/sup>\u00a0+\u00a03<i>p<\/i>)\u00a0=\u00a00,<br \/>\nla quale \u00e8 un&#8217;equazione di secondo grado.  Risolvendo quest&#8217;equazione<br \/>\ne tenendo presente che, come si pu\u00f2 dimostrare (vi risparmio i<br \/>\ncalcoli), <img decoding=\"async\" align=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/eq010.gif\" alt=\"\"\/> si ottengono le tre soluzioni<br \/>\ncercate dell&#8217;equazione (3): <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><img decoding=\"async\" src=\"..\/..\/esperti\/mat\/polinomi\/eq011.gif\" alt=\"\"\/> <\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">Infine, ricordando che<br \/>\n<i>y<\/i>\u00a0=\u00a0<i>x<\/i>\u00a0+\u00a0<i>b<\/i>\u00a0\/\u00a03<i>a<\/i>, si<br \/>\nottengono le soluzioni dell&#8217;equazione (2):  <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><img decoding=\"async\" align=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/eq012.gif\" alt=\"\"\/><br \/>\n\u00a0\u00a0\u00a0\u00a0con \u00a0\u00a0\u00a0\u00a0<img decoding=\"async\" align=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/eq013.gif\" alt=\"\"\/><\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">Il fatto che nella seconda e nella terza soluzione compaia<br \/>\nun numero immaginario (la radice quadrata di -3) non implica necessariamente<br \/>\nche le due radici siano complesse, cos\u00ec come la prima radice<br \/>\npu\u00f2 essere complessa anche se dalla sua espressione questo termine non<br \/>\nappaia esplicitamente.  Tutto dipende dai valori che assumono <i>p<\/i> e<br \/>\n<i>q<\/i>, quindi <i>A<\/i> e <i>B<\/i>. Un ruolo importante lo svolge il<br \/>\n<i>discriminante<\/i> <img decoding=\"async\" valign=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/Delta.gif\" alt=\"\"\/><br \/>\n\u00a0=\u00a0<i>q<\/i><sup>2<\/sup>\u00a0+\u00a0<i>p<\/i><sup>3<\/sup> e in<br \/>\nparticolare:<\/p>\n<p><\/font><\/p>\n<ul><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><\/p>\n<li>\n<p align=\"justify\"><img decoding=\"async\" valign=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/Delta.gif\" alt=\"\"\/>\u00a0&gt;\u00a00,<br \/>\nallora <i>A<\/i> e <i>B<\/i> sono reali; tali sono anche la loro somma e la<br \/>\nloro differenza.  Ne segue che in questo caso l&#8217;equazione ha una radice reale<br \/>\ne due radici complesse coniugate.<\/p>\n<\/li>\n<li>\n<p align=\"justify\"><img decoding=\"async\" valign=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/Delta.gif\" alt=\"\"\/>\u00a0=\u00a00,<br \/>\nallora <i>A<\/i> e <i>B<\/i> sono reali ed uguali; l&#8217;equazione ha tre radici<br \/>\nreali delle quali due coincidenti (la seconda e la terza delle formule).  Se<br \/>\npoi <img decoding=\"async\" valign=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/Delta.gif\" alt=\"\"\/>\u00a0=\u00a00 perch\u00e9<br \/>\n<i>p<\/i>\u00a0=\u00a0<i>q<\/i>\u00a0=\u00a00, le tre le radici sono<br \/>\ncoincidenti nel valore <i>x<\/i>\u00a0=\u00a0&#8211;<i>b<\/i>\u00a0\/\u00a03<i>a<\/i>.<\/p>\n<\/li>\n<li>\n<p align=\"justify\"><img decoding=\"async\" valign=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/Delta.gif\" alt=\"\"\/>\u00a0&lt;\u00a00,<br \/>\nallora le tre radici sono reali e distinte.<\/p>\n<\/li>\n<p><\/font><\/ul>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">L&#8217;aspetto pi\u00f9 strano in quest&#8217;ultimo caso \u00e8<br \/>\nche, per trovare i valori reali delle tre radici, occorre trattare i numeri<br \/>\ncomplessi che compaiono sotto il segno delle radici cubiche. <\/font><\/p>\n<p><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><br \/><\/font><\/p>\n<p align=\"left\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><b>Equazione di quarto grado<\/b><\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0Passiamo adesso alla<br \/>\nrisoluzione delle equazioni di quarto grado <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><i>ax<\/i><sup>4<\/sup>\u00a0+\u00a0<i>bx<\/i><sup>3<\/sup>\u00a0+\u00a0<i>cx<\/i><sup>2<\/sup>\u00a0+\u00a0<i>dx<\/i>\u00a0+\u00a0e\u00a0=\u00a00<br \/>\n\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0(8) <\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">(ipotizziamo che sia <i>a<\/i>\u00a0&gt;\u00a00, posizione che<br \/>\nnon lede la generalit\u00e0 del procedimento).  Con il cambio di variabile<br \/>\n<i>x<\/i>\u00a0=\u00a0<i>y<\/i>\u00a0&#8211;\u00a0<i>b<\/i>\u00a0\/\u00a04<i>a<\/i>, si<br \/>\nottiene <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><img decoding=\"async\" src=\"..\/..\/esperti\/mat\/polinomi\/eq014.gif\" alt=\"\"\/> <\/font><\/p>\n<p><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">la quale, dopo vari calcoli diviene: <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><i>y<\/i><sup>4<\/sup>\u00a0+\u00a02<i>Ay<\/i><sup>2<\/sup>\u00a0&#8211;\u00a0<i>By<\/i>\u00a0&#8211;\u00a0<i>C<\/i>\u00a0=\u00a00<br \/>\n<\/font><\/p>\n<p><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">con <img decoding=\"async\" align=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/eq015.gif\" alt=\"\"\/> <\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0Aggiungendo<br \/>\n<i>A<\/i><sup>2<\/sup> ad entrambi i membri si ha <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><i>y<\/i><sup>4<\/sup>\u00a0+\u00a02<i>Ay<\/i><sup>2<\/sup>\u00a0+\u00a0<i>A<\/i><sup>2<\/sup>\u00a0=\u00a0<i>A<\/i><sup>2<\/sup>\u00a0+\u00a0<i>By<\/i>\u00a0+\u00a0<i>C<\/i>;<br \/>\n<\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">tenendo presente che al primo membro si ha un quadrato<br \/>\nperfetto, abbiamo <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">(<i>y<\/i><sup>2<\/sup>\u00a0+\u00a0<i>A<\/i>)<sup>2<\/sup>\u00a0=\u00a0<i>A<\/i><sup>2<\/sup>\u00a0+\u00a0<i>By<\/i>\u00a0+\u00a0<i>C<\/i>.<br \/>\n<\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">Aggiungendo poi<br \/>\n<i>w<\/i><sup>2<\/sup>\u00a0+\u00a02<i>Aw<\/i>\u00a0+\u00a02<i>wy<\/i><sup>2<\/sup>,<br \/>\ncon <i>w<\/i> da determinare in modo che al secondo membro si abbia un<br \/>\nquadrato, otteniamo <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">(<i>y<\/i><sup>2<\/sup>\u00a0+\u00a0<i>A<\/i>\u00a0+\u00a0<i>w<\/i>)<sup>2<\/sup>\u00a0=\u00a02<i>wy<\/i><sup>2<\/sup>\u00a0+\u00a0<i>By<\/i>\u00a0+\u00a0(<i>w<\/i><sup>2<\/sup>\u00a0+\u00a02<i>Aw<\/i>\u00a0+\u00a0<i>A<\/i><sup>2<\/sup>\u00a0+\u00a0<i>C<\/i>).<br \/>\n<\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">Affinch\u00e9 al secondo membro ci sia un quadrato<br \/>\nperfetto deve risultare che il suo discriminante (rispetto a <i>y<\/i>) sia<br \/>\nuguale a 0, ossia <img decoding=\"async\" valign=\"middle\" src=\"..\/..\/esperti\/mat\/polinomi\/Delta.gif\" alt=\"\"\/>\u00a0=\u00a0<i>B<\/i><sup>2<\/sup>\u00a0&#8211;\u00a08<i>w<\/i>(<i>w<\/i><sup>2<\/sup>\u00a0+\u00a02<i>Aw<\/i>\u00a0+\u00a0<i>A<\/i><sup>2<\/sup>\u00a0+\u00a0<i>C<\/i>)\u00a0=\u00a00<br \/>\nda cui <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">8<i>w<\/i><sup>3<\/sup>\u00a0+\u00a016<i>Aw<\/i><sup>2<\/sup>\u00a0+\u00a08(<i>A<\/i><sup>2<\/sup>\u00a0+\u00a0<i>C<\/i>)<i>w<\/i>\u00a0&#8211;\u00a0<i>B<\/i><sup>2<\/sup>\u00a0=\u00a00<br \/>\n<\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">la quale \u00e8 un&#8217;equazione di terzo grado, ed ammette<br \/>\nalmeno una soluzione reale che indichiamo con <i>W<\/i>, per cui si ha<br \/>\n(<i>y<\/i><sup>2<\/sup>\u00a0+\u00a0<i>A<\/i>\u00a0+\u00a0<i>W<\/i>)<sup>2<\/sup>\u00a0=\u00a02<i>W<\/i>(<i>y<\/i>\u00a0+\u00a0<i>B<\/i>\u00a0\/\u00a04<i>W<\/i>)<sup>2<\/sup><br \/>\ne, ponendo <i>H<\/i>\u00a0=\u00a0(2<i>W<\/i>)<sup>1\/2<\/sup>,<br \/>\n(<i>y<\/i><sup>2<\/sup>\u00a0+\u00a0<i>A<\/i>\u00a0+\u00a0<i>W<\/i>)<sup>2<\/sup>\u00a0=\u00a0<i>H<\/i><sup>2<\/sup>(<i>y<\/i>\u00a0+\u00a0<i>B<\/i>\u00a0\/\u00a04<i>W<\/i>)<sup>2<\/sup>,<br \/>\nche fornisce  due equazioni di secondo grado: <\/font><\/p>\n<p align=\"center\">\n<p><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><i>y<\/i><sup>2<\/sup>\u00a0+\u00a0<i>Hy<\/i>\u00a0+\u00a0(<i>A<\/i>\u00a0+\u00a0<i>W<\/i>\u00a0&#8211;\u00a0<i>HB<\/i>\u00a0\/\u00a04<i>W<\/i>)\u00a0=\u00a00,<br \/>\n<br \/>\n<i>y<\/i><sup>2<\/sup>\u00a0&#8211;\u00a0<i>Hy<\/i>\u00a0+\u00a0(<i>A<\/i>\u00a0+\u00a0<i>W<\/i>\u00a0+\u00a0<i>HB<\/i>\u00a0\/\u00a04<i>W<\/i>)\u00a0=\u00a00,<\/p>\n<p><\/font><\/p>\n<p><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">le quali, risolte, danno le soluzioni cercate. <\/font><\/p>\n<p><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><br \/><\/font><\/p>\n<p><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><b>Equazioni di grado superiore al quarto. <\/b><\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0L&#8217;equazione algebrica<br \/>\n(1) si dice <i>risolubile per radicali<\/i> se le sue soluzioni sono<br \/>\nottenibili con un numero finito di operazioni razionali (addizioni,<br \/>\nsottrazioni, moltiplicazioni, divisioni) ed estrazioni di radice.  Le<br \/>\nequazioni di secondo, terzo e quarto grado sono risolubili per radicali.  Nel<br \/>\ntentativo di trovare le soluzioni delle equazioni di grado superiori al<br \/>\nquarto i matematici hanno scoperto le seguenti relazioni tra i coefficienti<br \/>\ndell&#8217;equazione (1) e le sue radici <i>z<\/i><sub>1<\/sub>,<br \/>\n<i>z<\/i><sub>2<\/sub>, &#8230;, <i>z<sub>n<\/sub><\/i>: <\/font><\/p>\n<p align=\"center\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><img decoding=\"async\" src=\"..\/..\/esperti\/mat\/polinomi\/eq016.gif\" alt=\"\"\/><\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">Queste relazioni, dovute a Viete, risultano fondamentali<br \/>\nnella dimostrazione (che qui omettiamo per la sua complessit\u00e0, in<br \/>\nquanto fa uso dei concetti di strutture algebriche quali i campi, gruppi di<br \/>\nsimmetria e gruppi ciclici) del <\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><b>Teorema (di Abel-Ruffini): <\/b><i>in generale,<br \/>\nun&#8217;equazione di grado superiore al quarto (n<\/i>\u00a0<img decoding=\"async\" valign-middle=\"\" src=\"..\/..\/esperti\/mat\/polinomi\/ge.gif\" alt=\"\"\/>\u00a05<i>) non \u00e8 risolubile per radicali. <\/i><\/font><\/p>\n<p align=\"justify\"><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">Questo teorema non afferma che <i>qualunque<\/i> equazione di<br \/>\ngrado <i>n<\/i>\u00a0<img decoding=\"async\" valign-middle=\"\" src=\"..\/..\/esperti\/mat\/polinomi\/ge.gif\" alt=\"\"\/>\u00a05 non \u00e8<br \/>\nrisolubile per radicali, ma che <i>esistono<\/i> equazioni non risolubili per<br \/>\nradicali.  Per esempio,<br \/>\n<i>x<\/i><sup>5<\/sup>\u00a0+\u00a0<i>x<\/i>\u00a0+\u00a01\u00a0=\u00a00 non<br \/>\n\u00e8 risolubile per radicali, mentre<br \/>\n<i>x<\/i><sup>5<\/sup>\u00a0&#8211;\u00a0<i>x<\/i><sup>4<\/sup>\u00a0&#8211;\u00a0<i>x<\/i>\u00a0+\u00a01\u00a0=\u00a00<br \/>\nlo \u00e8. <\/font><\/p>\n<p><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><br \/><\/font><\/p>\n<p><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\"><b>Bibliografia e approfondimenti <\/b><\/font><\/p>\n<p><font size=\"2\" face=\"Verdana, Arial, Helvetica, sans-serif\">\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0<a href=\"http:\/\/www.matematicamente.it\/approfondimenti\/Equcub.doc\" target=\"_blank\">http:\/\/www.matematicamente.it\/approfondimenti\/Equcub.doc<\/a><br \/>\n\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0<a href=\"http:\/\/web.unife.it\/altro\/tesi\/A.Montanari\/algebra.htm\" target=\"_blank\">http:\/\/web.unife.it\/altro\/tesi\/A.Montanari\/algebra.htm<\/a><br \/>\n\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0<a href=\"http:\/\/www.mbservice.it\/scuola\/tartaglia\/le_equazioni_di_terzo_grado.htm\" target=\"_blank\">http:\/\/www.mbservice.it\/scuola\/tartaglia\/le_equazioni_di_terzo_grado.htm<\/a><br \/>\n\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0<a href=\"http:\/\/www.dimi.uniud.it\/%7Egorni\/Dispense\/TerzoGrado.pdf\" target=\"_blank\">http:\/\/www.dimi.uniud.it\/~gorni\/Dispense\/TerzoGrado.pdf<\/a><\/font><\/p>\n","protected":false},"excerpt":{"rendered":"<p>[&#8230;]<\/p>\n","protected":false},"author":272,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[65],"tags":[],"class_list":["post-317","post","type-post","status-publish","format-standard","hentry","category-algebra"],"_links":{"self":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/posts\/317","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/users\/272"}],"replies":[{"embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/comments?post=317"}],"version-history":[{"count":0,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/posts\/317\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/media?parent=317"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/categories?post=317"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/tags?post=317"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}