From Wikipedia, the free encyclopedia
En matemàtiques, una equació de cinquè grau, també coneguda com a equació quíntica és una equació polinòmica de grau cinc. La seva forma general és:
ón són membres d'un cos, (típicament els nombres racionals, els nombres reals o els nombres complexos), i .
La derivada d'una funció quíntica és una equació quàrtica.
Trobar les arrels d'un polinomi — els valors de que satisfan l'equació — donats els seus coeficients ha estat un problema matemàtic prominent.
Resoldre equacions lineals, quadràtiques, cúbiques i quàrtiques mitjançant la seva factorització en radicals és relativament simple, existint fins i tot fórmules que porten directament a la solució. Tot i això, no existeix cap fórmula que permeti solucionar l'equació quíntica general en termes radicals. Això es coneix com el teorema d'Abel-Ruffini, publicat l'any 1824, i que va ser una de les primeres aplicacions de la teoria de grups a l'àlgebra. Aquest resultat també s'aplica en el cas d'equacions polinomials de major grau.
Des del punt de vista pràctic, les solucions analítiques (exactes) de les equacions polinomials són generalment innecessàries, existint mètodes numèrics com el mètode de Laguerre o el mètode de Jacobi-Traub, que solen ser els millors mètodes per trobar les arrels de polinomis de grau cinc i superior que sorgeixen en la pràctica. Tot i això, les solucions analítiques són útils de vegades per a certes aplicacions, i molts matemàtics han provat de desenvolupar-ne.
Algunes equacions de cinquè grau es poden resoldre factoritzant en radicals, com per exemple , que també es pot escriure com . Altres quíntiques, com no es poden factoritzar i resoldre d'aquesta manera. Évariste Galois va desenvolupar tècniques per determinar si una equació donada es podia resoldre per radicals, que van originar la teoria de Galois. Aquestes tècniques van ser aplicades per John Stuart Glashan, George Paxton Young, i Carl Runge l'any 1885 per trobar un criteri per tal de determinar si una quíntica donada era o no resoluble. Varen trobar que qualsevol quíntica resoluble irreductible en forma de Bring-Jerrard,
ha de tenir la següent forma:
on i són racionals. L'any 1994, Blair Spearman i Kenneth S. Williams van donar una alternativa,
per . La relació entre les parametritzacions de 1885 i 1994 es poden veure definint l'expressió
on
i usant el cas negatiu de l'arrel dona lloc, després de reescalar les variables, a la primera parametrització, mentre que el cas positiu porta a la segona, amb . És per tant condició necessària (però no suficient) que la quíntica resoluble irreductible
amb coeficients racionals satisfaci la corba quadràtica simple
per a algun racional a, y.
Com que és possible transformar qualsevol quíntica a la forma de Bring-Jerrard mitjançant transformacions de Tschirnhaus aquestes dues parametritzacions són condició necessària i suficient per a decidir si una quíntica és o no resoluble per radicals.
Una quíntica és resoluble utilitzant radicals si el grup de Galois de la quíntica (que és un subgrup del grup simètric S(5) de permutacions d'un conjunt de cinc elements) és un grup resoluble. En aquest cas la forma de les solucions depèn de l'estructura d'aquest grup de Galois.
Un exemple simple és l'equació , el grup de Galois de la qual és F(5), generat per les permutacions "(1 2 3 4 5)" i "(1 2 4 3)"; la seva única solució real és
Tot i així, per a altres grups de Galois resolubles, la forma de les arrels pot ser molt més complexa. Per exemple l'equació pertany al grup de Galois D(5) generat per "(1 2 3 4 5)" i "(1 4)(2 3)" i la seva solució requereix uns 600 símbols per tal de ser escrita.
Si el grup de Galois no és resoluble, aleshores el teorema d'Abel-Ruffini ens diu que per tal d'obtenir les arrels és necessari anar més enllà de l'aritmètica bàsica i les operacions d'extracció de radicals (la seva solució en aritmètica bàsica requeriria un nombre infinit de símbols). Cap al 1835, Jerrard demostrà que les quíntiques es podien solucionar mitjançant ultraradicals (també anomenats radicals de Bring), les arrels de per a valors reals d'. El 1858 Charles Hermite va demostrar que el radical de Bring es podia caracteritzar en termes de funcions theta de Jacobi i les seves funcions el·líptiques modulars associades, de manera similar a tal com les equacions cúbiques es poden resoldre mitjançant funcions trigonomètriques. De forma quasi simultània Leopold Kronecker va desenvolupar una forma més simple de derivar el resultat d'Hermite usant la teoria de grups. Més tard Felix Klein mostrà un mètode particularment elegant que relaciona les simetries de l'icosaedre, la teoria de Galois i les funcions el·líptiques modulars que apareixen en la solució d'Hermite, i desenvolupà la seva pròpia solució en termes de funcions hipergeomètriques generalitzades.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
![{\displaystyle x=1+{\sqrt[{5}]{2}}+{\sqrt[{5}]{4}}+{\sqrt[{5}]{8}}+{\sqrt[{5}]{16}}.}](http://wikimedia.org/api/rest_v1/media/math/render/svg/287aecd1cb688ce3b6ea99d2cef9abaa2b1332fd)
