Una equació de segon grau, anomenada també equació quadràtica, és una equació polinòmica on el grau més alt dels diversos monomis que la integren és 2. La seva expressió general és:[1]
Per comprovar si aquestes solucions són també reals, es pot fer observant el discriminant de l'equació, que correspon al terme dins l'arrel quadrada: .
A l'Índia, el 628 dC el matemàtic Brahmagupta va donar la primera forma explícita (tot i que encara no del tot general ni algebraica) per a solucionar l'equació de segon grau. El manuscrit Bakhshali de datació incerta (però anterior al segle xi dC) conté una fórmula algebraica per a solucionar equacions de segon grau, com també es troba en l'obra del matemàtic Sridhara (probablement del segle X dC). Finalment, va ser el matemàtic indiBhaskara II (segle XII dC) qui va donar la fórmula general amb dues arrels.
A l'occident europeu, el matemàtic jueu-catalàSavasorda (1070, Barcelona- 1136, Provença) va ser el primer a donar la fórmula que soluciona completament l'equació de segon grau. En el seu llibre en hebreuHibbur hameixihá uehatixbòret (Llibre de Geometria), Savasorda estudia per separat tres casos en funció del signe dels coeficients:
Primer cas. Del quadrat es resta un nombre de vegades la longitud del costat (4 vegades a l'exemple que posa Savasorda) i queda un nombre positiu.
Segon cas. Al quadrat se li suma un nombre de vegades la longitud del costat.
Tercer cas. D'un nombre de vegades el costat es resta el quadrat i queda un nombre positiu.[Cal aclariment]
En aquest tercer cas Savasorda observa que poden haver-hi dues solucions:
«
Aquesta qüestió i les que li són semblants admeten dues solucions, puix si hom et diu: Llevo de la suma dels 4 costats l'àrea, i em resta 4 menys quart, hom trobarà que el quadrat fa un colze i mig o dos colzes i mig
Des de Catalunya es va difondre a la resta d'Europa gràcies a la traducció al llatí amb el títol de Liber embadorum, feta per Plató de Tívoli.
Obtenció de la fórmula
En els llibres de text actuals es dona la fórmula per coneguda i es presenta una demostració elegant que permet verificar que la fórmula, efectivament, dona els resultats de l'equació. Aquesta demostració va ser publicada per primer cop el 1896 pel matemàtic aficionat nord-americà Henry Heaton.[4]
Una altra manera més pedagògica és seguir un camí equivalent al que es va seguir en la història a base de combinar la solució geomètrica de completar el quadrat amb la notació algebraica.
També es pot arribar a la fórmula que resol l'equació fent un canvi de variable per tal d'eliminar el terme en x i poder-la resoldre directament extraient l'arrel quadrada del terme independent.
Demostració
Per a aïllar la x d'una equació de segon grau del tipus
En primer lloc es prepara l'equació per facilitar la manipulació geomètrica:
A partir d'aquí es representen gràficament els termes i es manipulen per tal d'obtenir un quadrat a l'esquerra:
Ara, ja es podrà calcular l'arrel quadrada dels termes de l'esquerra (perquè formen un quadrat) i es continua algebraicament fins a trobar la fórmula que dona les dues solucions generals.
Obtenció per canvi de variable
Un altre mètode, que es pot emprar en equacions polinòmiques de qualsevol grau, per tal de transformar-les en una altra equació però amb el segon terme igual a zero, és fer un canvi de variables adequat. En el cas de l'equació de segon grau si el segon terme és igual a zero la solució és immediata i llavors només cal desfer el canvi de variable. Es planteja un canvi de variable del tipus:
Substituint, l'equació original queda:
Perquè el segon terme s'anul·li cal triar de forma que:
Substituint, i resolent l'equació transformada surt:
I desfent el canvi de variable:
Aplicació a equacions de grau superiors
Certes equacions de grau superior es poden transformar en equacions de segon grau i resoldre-les d'aquesta manera. Les equacions de la forma , anomenades equacions biquadrades, es resolen amb el canvi de variable . Però hi ha altres casos en què es poden aplicar tècniques semblants, per exemple l'equació de 6è grau en x:
Es pot reescriure com:
O, de forma equivalent, com una equació de segon grau d'una nova variable u:
on
Resolent l'equació de segon grau en u resulten les dues solucions:
Així
Tot seguit cal trobar les tres arrels cúbiques de 2 + 2i – les altres tres solucions de x seran les seves conjugades – reescrivint el cantó dret a base de fer servir la fórmula d'Euler:
(donat que e2kπi = 1), dona les tres solucions:
Fent servir les fórmules d'Euler un altre cop, conjuntament amb les identitats trigonomètriques -com ara -, i sumant els complexos conjugats, s'obté la col·lecció completa de solucions:
i
Fórmula alternativa
En algunes situacions és preferible expressar les arrels en una forma alternativa.
Aquesta alternativa requereix que c sigui diferent de zero; si c és zero, la fórmula dona, correctament, zero com una de les arrels, però falla en donar cap segona arrel diferent de zero. En compte d'això, una de les dues eleccions de ∓ produeix un error de divisió per zero, que és indefinit.
Si c és diferent de zero el resultat és el mateix que amb l'expressió habitual:
Aquesta forma alternativa pot reduir la pèrdua de precisió en el càlcul numèric de les arrels, cosa que pot ser un problema si una de les arrels és molt més petita que l'altra en magnitud absoluta. El problema de la possibilitat que c sigui zero es pot evitar fent servir un enfocament mixt:
Un algorisme amb una implementació curosa de la solució de l'equació de segon grau, si fa servir aritmètica de coma flotant, per produir un resultat robust, difereix una mica de les dues fórmules. Suposant que el discriminant, , sigui positiu i b diferent de zero, el codi serà quelcom com el que segueix.
Aquí sgn(b) és la funció signe, on sgn(b) és 1 si b és positiu i −1 si b és negatiu; el seu ús assegura que les quantitats que se sumen són del mateix signe, evitant la cancel·lació catastròfica (pèrdua de dígits significatius en restar dues magnituds molt semblants). El càlcul de r₂ fa servir el fet que el producte de les arrels és c/a.
Fórmules de Viète
Les fórmules de Viète donen una relació senzilla entre les arrels d'un polinomi i els seus coeficients. En el cas del polinomi de segon grau, adopten la següent forma:
i
La primera fórmula dona una expressió interessant quan es vol dibuixar la gràfica d'una funció polinòmica de segon grau. Com que la gràfica és simètrica respecte d'una línia vertical que passa pel vèrtex, quan hi ha dies arrels reals, la coordenada x del vèrtex es troba en el punt mitjà entre les dues arrels. Per tant la coordenada x del vèrtex ve donada per l'expressió:
La coordenada y del vèrtex es pot trobar, un cop se sap la coordenada x, a base de substituir en la funció, això dona
Discriminant
En la fórmula de la solució general de l'equació de segon grau, de l'expressió de dins del signe arrel quadrada:
Se'n diu el discriminant de l'equació de segon grau.
Una equació de segon grau amb coeficients reals pot tenir, o bé una o dues arrels reals, o bé dues arrels complexes diferents (conjugades). En aquest cas el discriminant determina el nombre i la classe de les arrels. Hi ha tres casos:
Si el discriminant és positiu, hi ha dues arrels reals diferents. Pel cas d'equacions de segon grau amb coeficients enters, si el discriminant és un quadrat perfecte, llavors les arrels són nombres racionals—en els altres casos poden ser irracionals quadràtics.
Si el discriminant és zero, hi ha exactament una arrel i és un nombre real. De vegades se'n diu arrel doble, el seu valor és:
Si el discriminant és negatiu, no hi ha arrels reals. En canvi hi ha dues arrels complexes (no reals) que són conjugades entre si:
Per tant, les arrels són diferents si i només si el discriminant és diferent de zero, i les arrels són reals si i només si el discriminant és no negatiu.
Generalitzacions
La fórmula i la seva demostració continuen sent correctes si els coeficients a, b i c són nombres complexos, o de forma més general, nombres de qualsevol cos de característica diferent de 2. (si un cos té característica 2, l'element 2a és un zero i és impossible dividir entre ell.)
De la fórmula, s'ha d'entendre com qualsevol dels dos elements, el quadrat dels quals és
Si tals elements existeixen. En alguns cossos, alguns elements no tenen arrels quadrades i d'altres en tenen dues; només el zero té exactament una arrel quadrada, excepte en cossos de característica 2. Fixeu-vos que fins i tot si un cos no té arrel quadrada per algun nombre, sempre hi ha una extensió del cos que sí que en té, per tant la fórmula de l'equació de segon grau sempre té sentit com una fórmula en aquest cos estès.[Cal aclariment]
Característica 2
En un cos de característica 2, la fórmula de l'equació de segon grau, que descansa en el fet que 2 sigui diferent de zero, no es manté. Considereu el polinomi mònic de segon grau
Sobre un cos de característica 2. Si b = 0, llavors la solució es redueix a extreure una arrel quadrada, per tant la solució és
I fixeu-vos que només hi ha una arrel quadrada doncs
En resum,
Vegeu residu quadràtic per a més informació sobre extraure arrels quadrades en cossos finits.
En el cas que b ≠ 0, hi ha dues arrels diferents, però si el polinomi és irreductible, no es poden expressar en termes d'arrels quadrades de nombres en el cos de coeficients. En comptes d'això, es defineix la 2-arrelR(c) de c com una arrel del polinomi , un element del cos de descomposició d'aquest polinomi. Es verifica que R(c) + 1 també és una arrel. En termes de l'operació 2-arrel, les dues arrels de l'equació de segon grau (no mònica) són
i
Per exemple, sia a un generador multiplicatiu del grup d'unitats de F₄, el cos de Galois d'ordre quatre (així a i a + 1 són arrels de sobrer F₄). Perquè , és l'única solució de l'equació de segon grau . Per altra banda, el polinomi és irreductible sobre F₄, però parteix sobre F16, on té les dues arrels ab i ab + a, on b és una arrel de en F16.
Vedic Mathematics: Sixteen Simple Mathematical Formulae from the Vedas, by Swami Sankaracarya (1884-1960), Motilal Banarsidass Indological Publishers and Booksellers, Varnasi, India, 1965; reprinted in Delhi, India, 1975, 1978. 367 pages.