Teoria d'equacions

Évariste Galois proposa una condició necessària i suficient per saber si una equació polinòmica és resoluble o no per àlgebra. Respon així a una qüestió central de la teoria sense resoldre des de feia mil·lennis. El seu mètode subministra resultats innovadors i és l'origen de noves branques de l'àlgebra, que superen el marc de la teoria d'equacions.

En àlgebra, la teoria d'equacions és una expressió que es fa servir en història de la ciència.^[1] Designa els treballs que tenen per objectiu principal la resolució d'equacions polinòmiques^{[Nota 1]} o equivalents.^{[Nota 2]} Aquestes equacions, on X designa la incògnita, s'escriuen de la següent manera:^{[Nota 3]}

${\displaystyle a_{n}X^{n}+a_{n-1}X^{n-1}+\cdots a_{1}X+a_{0}=0\,}$,

L'estudi d'aquest tipus de qüestions es remunta als primers texts matemàtics coneguts, com per exemple el papir Rhind. Una primera aproximació permet resoldre l'equació en el cas que el grau del polinomi sigui estrictament més petit que cinc. Durant el Renaixement, amb l'estudi de les equacions cúbiques s'arriben a fer servir uns nous nombres.^{[Nota 4]} Aquests nous nombres es qualifiquen inicialment d'imaginaris i posteriorment de nombres complexos. No és fins més tard que aquests nombres intervenen com a solucions d'equacions de segon grau.

A partir de l'edat moderna, el polinomi també és considerat una funció. Aquest enfocament ofereix mètodes per determinar el nombre d'arrels reals, per localitzar les arrels (és a dir trobar regions on es troben) i per trobar aproximacions tan precises com es vulgui. Un dels seus resultats és el teorema fonamental de l'àlgebra, que diu que tota equació polinòmica no constant admet almenys una arrel en els nombres complexos.

Un punt de vista del segle xix consisteix a estudiar el conjunt de nombres més petit, tancat respecte de les quatre operacions i que contingui alhora els coeficients i les arrels d'una equació donada. Aquest enfocament queda recollit en la teoria de Galois. Ofereix una condició necessària i suficient per saber si una equació polinòmica es resol per les tècniques descrites pel primer enfocament o, en cas contrari, s'ha de limitar a aproximacions procedents de l'anàlisi. Fins al segle xix, la teoria d'equacions es confon amb l'àlgebra. Fonamentalment després de les aportacions de la teoria de Galois, l'àlgebra s'eixampla per tenir en compte noves qüestions. Aquesta teoria és a l'origen de diversos àmbits matemàtics, com la teoria dels grups, la d'anells o, fins i tot, la geometria algebraica.

Si no es precisa més concretament, el terme de teoria d'equacions designa generalment^{[Nota 5]} les equacions polinòmiques.^{[Nota 6]} En canvi, existeixen nombroses equacions que, sense ser algebraiques, són objecte d'una teoria. Llavors cal precisar la natura de l'equació, com en l'expressió teoria d'equacions diferencials.^{[Nota 7]} No existeix una teoria única que s'apliqui a tot tipus d'equacions, ja que formen un conjunt massa dispar.

Primers desenvolupaments

Diofant al llibre Arithmetica és el primer a descriure la incògnita en el sentit matemàtic del terme.

Tan enrere com es remunten els textos coneguts de matemàtiques s'hi troben qüestions que, adaptades al llenguatge actual, s'expressen en forma d'equacions algebraiques. En un papir de l'antic Egipte es llegeix: Quan l'escriba et diu que 10 és els 2/3 i l'1/10?^[2] el que es tradueix per 2/3x + 1/10x = 10.

Els Babilonis estudiaren en particular problemes que corresponen a equacions de segon grau. El seu llenguatge era geomètric; el valor que se cerca, que actualment denominem x, s'anomena costat i x² quadrat, però la seva formulació sovint és purament algebraica. Es pot llegir, sobre una tauleta d'argila: He sumat 7 vegades el costat del meu quadrat i 11 vegades l'àrea: 6 15,^{[Nota 8]} per descriure, en la numeració sexagesimal utilitzada pels Babilonis, l'equació 11x² + 7x = 6x60 + 15= 375. El sentit geomètric de la suma d'una àrea i d'una longitud és ambigua, tanmateix cap comentari no sosté una interpretació purament algebraica de la qüestió (dels nombres multiplicats i sumats). No es desenvolupa cap eina algebraica, no existeix cap incògnita que es pugui determinar amb l'ajuda d'un mètode de càlcul. Els egipcis resolgueren l'equació del primer grau per tempteig, amb l'ajuda del mètode de la falsa posició i els babilonis disposaven d'algorismes sense cap altra justificació que l'empírica, és a dir que finalment el valor trobat és la solució buscada.

Caldrà esperar més de dos mil·lennis a trobar un esbós d'una veritable "teoria". És desenvolupada de forma independent per tres cultures matemàtiques: Grècia, la civilització àrab i l'Índia. Diofant, un matemàtic del segle iii, formalitza l'arithme, una lletra que ell defineix de la següent manera:^[3] El nombre que posseeix una quantitat indeterminada d'unitats es diu l'arithme, i la seva marca distintiva és σ. Com aclareix més endavant l'arithme se suma i es multiplica: La inversa de l'arithme multiplicada pel biquadrat de l'arithme dona el cub de l'arithme.^[4] Això significa, en llenguatge actual, la inversa de x multiplicada per x⁴ i que el resultat és igual a x³. Aquest pas permet una verdadera formulació matemàtica de l'equació i, sobretot, una manera de resoldre-ho. Al segle viii, abans que Diofant fos traduït a l'àrab,^[5] el matemàtic d'origen persa Muhàmmad ibn Mussa al-Khwarazmí desenvolupà una idea anàloga. La seva incògnita s'anomenava say.^[6] Una altra vegada, el nou formalisme ofereix un mitjà de resolució de l'equació. R. Rashed comenta al respecte: [Amb Al-Khwarazmí] la noció base és la noció d'equació, que pot cobrir una classe infinita de problemes, geomètrics o aritmètics: la unitat ja no és l'objecte sinó que ho és l'operació mateixa.^[7] La mateixa idea també és present en el matemàtic indi Bhaskara II i queda recollida en la seva obra titulada Bījagaṇita.^[8]

Àlgebra àrab

Els polinomis d'al-Samaw'al representats en un quadre prefiguren una concepció purament abstracta de l'àlgebra.

Sovint es considera que el matemàtic Al-Khwarazmí va ser el fundador de la branca de les matemàtiques anomenada àlgebra. Des del punt de vista de l'etimologia, el títol del seu tractat sobre les equacions: Kitâb al-jabr wa al-muqâbala fa servir el terme al-jabr, que ha derivat en la paraula àlgebra. En àrab, al-jabr indica transformar una subtracció en un membre, en una addició a l'altre membre.^[9] amb l'objectiu d'obtenir únicament els coeficients positius. Per exemple:^[9] 2x² + 100 - 20x = 58, seguint aquest procediment, es transforma en 2x² + 100 = 58 + 20x. Dahan-Dalmedico i Peiffer precisen que el treball d'Al-Khwarazmí es pot concretar en: La partida de naixement d'una teoria de les equacions quadràtiques, en el conjunt dels nombres positius (gairebé sempre racionals), teoria que implica encara algunes llacunes.^[10] No és només l'etimologia el que justifica aquesta adjudicació a Al-Khwarazmí, ja que ell s'interessa per totes les equacions de segon grau, mentre que Diofant només intenta resoldre alguns casos particulars, amb solucions d'enters o racionals. Al-Khwarazmí té un procés més sistemàtic; l'objecte del seu tractat és oferir un mètode que permeti trobar amb certesa una solució de l'equació, si aquesta existeix.

Els progressos en teoria d'equacions no s'aturen amb Al-Khwarazmí. Ell és l'origen d'una escola matemàtica que es desenvolupa al llarg de diversos segles. El seu deixeble Abu-Kàmil dissipa una primera limitació. Al començament, les equacions que s'estudien són gairebé sempre amb coeficients racionals; Abu-Kàmil generalitza l'estudi als coeficients irracionals.^[10] La concepció inicial del nombre en els àrabs és heretada dels grecs i es limita a les fraccions. Les grandàries incommensurables, que corresponen als nostres irracionals, són proporcions entre longituds però no posseeixen l'estatus de nombre. Al-Khwarazmí els anomena gidr asamm, que significa arrel muda o cega.^[10] Dos segles més tard, per a matemàtics com Omar Khayyam, les fraccions i les proporcions incommensurables són tractades en els càlculs de la mateixa manera. Els dos conceptes s'anomenen al-adad, que significa nombre (els racionals es designen pel terme al-adad al muntiqa i els irracionals per al-adad al-summa), i la diferència és més que filosòfica.^[11]

Posteriorment es desenvolupen eines específiques que permeten un càlcul més senzill de les multiplicacions de polinomis. Samàwal les anota amb la forma d'una taula prefigurant, una representació propera al concepte modern de polinomi formal.

Geometria al servei de l'àlgebra

Article principal: Àlgebra geomètrica

Durant molts segles, els gnòmons i la geometria euclidiana foren el motor de la resolució d'equacions algebraiques.

La geometria, i particularment la dels Elements d'Euclides, té un paper fonamental en aquesta àlgebra naixent. En el cas d'una equació de segon grau i després de dividir entre el coeficient del monomi de segon grau, el monomi del segon grau pot ser vist com l'àrea d'un quadrat el costat del qual és la incògnita que se cerca. En el cas de l'equació de primer grau, s'interpreta el terme del primer grau com l'àrea d'un rectangle les dimensions del qual són la incògnita i el coeficient del monomi; la constant s'interpreta com l'àrea d'un quadrat perfectament determinat. Aquest enfocament permet a Euclides resoldre problemes de primer i segon grau.^{[Nota 9]} L'enfocament de l'anàlisi dels àrabs és diferent, ja que intenten resoldre una equació, en aquest cas particular, del segon grau. Tanmateix el nucli de la demostració és el mateix: una anàlisi d'una configuració geomètrica, construïda sobre la base d'un gnòmon. De manera metòdica, l'estudi del gnòmon permet establir les tres identitats notables font de la resolució de les equacions del segon grau.

L'enfocament emprat per estendre la teoria naixent de les equacions a l'equació cúbica també és geomètric, però aquesta vegada amb eines una mica diferents. Al-Khayyam es fixa que és possible interpretar l'arrel de l'equació cúbica com l'abscissa de la intersecció d'una circumferència i d'una paràbola,^{[Nota 10]} el que mostra ja l'ús del que es dirà més tard una referència cartesiana i permet observar la possible existència de diverses solucions.^[12] Dos segles més tard, aprofitant els progressos tant algebraics com geomètrics, Nassir-ad-Din at-Tussí desenvolupa diverses eines en el marc de l'equació cúbica. El discriminant li permet conèixer l'existència d'arrels positives en certes situacions,^[13] la derivació formal li permet localitzar les arrels i obtenir un mètode numèric, que és una variant del que s'anomena mètode de Ruffini-Horner, permet obtenir una aproximació de l'arrel amb una precisió tan gran com es vulgui.^{[Nota 11]}

Els mètodes matemàtics emprats, així com aquesta branca de la història de les matemàtiques, es desenvoluparan a l'article principal.

El segle xvi a Europa

Difusió des d'Itàlia

Article principal: Equació de tercer grau

Gerolamo Cardano generalitza la fórmula de Tartaglia; en aquesta generalització fa servir els nombres imaginaris per resoldre casos que fins llavors es qualificaven d'irreductibles.

A principis del segle xvi, a través dels textos de Fibonacci i, encara més, la Summa de Arithmetica, Geometria, Proportioni et Proportionalità (Venècia, 1494) de Luca Pacioli, la ciència i la cultura d'influència italiana tenen accés a l'essència del saber àrab. Els matemàtics de llavors s'apassionen per l'àlgebra i, sobretot, per un problema que havia quedat obert: trobar un mètode general i exacte de resolució de l'equació cúbica. Per l'expressió "exacta", s'entén una forma diferent d'una successió que convergeix cap a l'arrel. Aquests matemàtics cercaren una expressió anàloga a la de Muhàmmad ibn Mussa al-Khwarazmí o a la de Savasorda per la de segon grau que, amb l'ajuda d'arrels quadrades o cúbiques, arribés a donar la solució.

L'aspra competició que regnà entre els diferents matemàtics estimulà els candidats i promogueren l'aparició d'idees noves. Scipione del Ferro, en relació a l'equació X³ + aX = b, trobà com a fórmula de resolució

${\displaystyle x={\sqrt[{3}]{{\frac {b}{2}}+{\sqrt {\left({\frac {b}{2}}\right)^{2}+\left({\frac {a}{3}}\right)^{3}}}}}+{\sqrt[{3}]{{\frac {b}{2}}-{\sqrt {\left({\frac {b}{2}}\right)^{2}+\left({\frac {a}{3}}\right)^{3}}}}}}$

La fórmula deuria suscitar la sorpresa de l'època.^{[Nota 12]} Un càlcul algebraic en aquella època encara havia de quedar justificat per un suport geomètric. Un nombre agafa la seva justificació d'una longitud, d'una àrea o d'un volum. El signe ${\displaystyle -}$ no té sentit més que si una longitud se sostreu d'una de més gran. En la solució que proposa del Ferro, es retalla una "longitud" d'una altra longitud més petita.^{[Nota 13]} En aquesta època, l'objectiu és superar desafiaments, és a dir, resoldre equacions particulars;^[14] el rigor del mètode importa poc, en tant que finalment sigui possible verificar el resultat reemplaçant en l'equació x per la presumpta solució.

Encara continuava sense resoldre una qüestió: com resoldre l'equació X³ + a = bX? Aquesta vegada, el mètode semblava impracticable, ja que la grandària negativa que apareix hauria de correspondre a la superfície d'un quadrat (en el sentit geomètric del terme). Tartaglia, un dels especialistes de l'època en la matèria, qualificà l'equació d'"irreductible". Fou finalment Cardano qui troba la solució; n'hi havia prou amb no aturar els càlculs. Aquests estranys termes acabaren per desaparèixer.^[15] Per exemple, aplicant identitats notables com:^[16]

${\displaystyle (5+{\sqrt {-15}})(5-{\sqrt {-15}})=5^{2}-({\sqrt {-15}})^{2}=25+15=40}$

Amb aquestes aportacions, es franquejà una nova etapa. Si bé el significat precís de l'expressió √-1 restà misteriosa, es descobrí la idea de fer referència a un conjunt de nombres més gran per resoldre una qüestió de la teoria d'equacions. El 1540, un alumne de Cardano, Lodovico Ferrari, resolgué l'equació de quart grau.^[17] Bombelli proposà un formalisme que admetia l'existència de nombres negatius i imaginaris. La seva influència, comprovable pels comentaris de Stévin o la correspondència entre Leibnitz i Huygens, fou duradora.^[18]

Teoria d'equacions moderna

En inventar el càlcul emprant lletres, François Viète troba un llenguatge formal que dona a l'àlgebra la seva autonomia respecte a la geometria.

El començament d'una verdadera «teoria d'equacions» s'atribueix generalment a Viète, matemàtic francès de la fi del segle xvi.^[19] Si bé encara es nega a incorporar els avenços de Bombelli –és a dir, els nombres negatius i els nombres "imaginaris"–, obté tres resultats fonamentals que es poden resumir en l'ús de lletres per representar variables i coeficients i els sistemes de coordenades.

El resultat més celebrat és probablement el que ell anomenava la "lògica especiosa" i que actualment es qualifica de càlcul emprant lletres. Viète categoritza en dos grups l'ús de les lletres en matemàtiques:^[20]

• En relació a l'àlgebra, l'ús de les lletres s'estén i es perfecciona a Europa en el transcurs del segle xvi,^{[Nota 14]} però ja existia en l'obra de Diofant d'Alexandria: una lletra se suma o es multiplica i juga el paper d'incògnita en una equació. En geometria, aquest ús ha estat habitual ja des de l'antiguitat; una lletra designa una grandària o un objecte no especificat, un punt, una recta, una distància entre dos punts sobre una figura, etc. Els principis generals de resolució de les equacions no podien ser establerts més que amb l'ajuda de la geometria, com l'ús de gnòmons per a les identitats notables, després il·lustrats amb exemples d'equacions polinòmiques amb coeficients numèrics, que Viète considerà que pertanyien a la "lògica dels nombres".
• Viète introdueix una segona categoria de lletres per als coeficients. Aquests són també valors que es consideren com a fixats, fins i tot si no se'ls coneix; és el que ara s'anomena un paràmetre. Transportant a l'àlgebra un antic costum geomètric, Viète crea la "lògica especiosa". Aquest nou enfocament significa considerar una equació com una expressió del tipus: aX² + bX = c De fet, poder resoldre aquesta equació és poder ser capaç de resoldre totes les equacions del segon grau. Un únic cas general de lògica especiosa permet tractar una infinitat de casos particulars procedents de la lògica dels nombres.

La segona aportació de Viète consisteix en el desenvolupament d'un llenguatge simbòlic que permetia expressar de forma més simple una expressió polinòmica. Les idees de Viète permeten una expressió més límpida que la dels seus predecessors. El seu vocabulari, en part, és sempre actual. A ell se li deu la incorporació dels termes "coeficient"^[21] i "polinomi".^[22] Aquest formalisme va permetre expressar els primers resultats generals, en el sentit que són independents del grau del polinomi, com la relació entre els coeficients i les arrels d'un polinomi.

El sistema de notacions de Viète és reprès per Fermat i Descartes per a esdevenir, en paraules de Nicolas Bourbaki, en un sistema que «amb poques diferències, és el que utilitzem actualment.»^[23] Aquests treballs permeten una inversió de la jerarquia matemàtica. Fins a Viète, la teoria de les equacions era necessàriament una emanació de la geometria. L'únic mètode genèric de demostració es basava en l'obra Elements d'Euclides, i els càlculs claus, com les identitats notables, s'establien amb l'ajuda de consideracions geomètriques. El càlcul amb lletres va permetre alliberar l'àlgebra d'aquestes restriccions. Per Descartes, l'àlgebra, afegint-li de l'ús d'una referència cartesiana, esdevé una màquina que permet demostrar teoremes geomètrics. És una «extensió de la lògica, desproveïda de tota significació per ella mateixa, però indispensable pel maneig de les quantitats, i, en cert sentit, més fonamental fins i tot que la geometria.»^[24]

Càlcul infinitesimal

El mètode de Newton permet trobar una aproximació tan precisa com es vulgui del valor d'una arrel d'un polinomi.

La segona meitat del segle xvii és l'època del desenvolupament del càlcul infinitesimal. L'estudi de les trajectòries i dels moviments, impulsat des de la física, és a l'origen de noves idees.^[25] Per a aquest estudi, Isaac Newton intenta modelitzar la idea de variable amb l'ajuda del concepte de temps, que l'anomena fluent: Diré quantitat fluent, o simplement fluent, aquestes quantitats que considero com a augmentades gradualment i indefinida, i les representaré amb les últimes lletres de l'alfabet v, x, y i z.^[26]

Des del punt de vista de la teoria d'equacions, això significa reemplaçar la X de les fórmules emprades des de Diofant d'Alexandria, per una x que representa una quantitat que varia de menys a més infinit. El polinomi esdevé una funció i amb aquest títol gaudeix de noves propietats. Les eines associades al càlcul infinitesimal són el límit, la derivada i també la integral. El 1691, Michel Rolle els fa servir per establir un teorema, que indica que si a i b són dues arrels d'un polinomi P no constantment nul, existeix un valor c compres en l'interval a, b arrel del polinomi derivada de P,^[27] retrobant un resultat de Bhaskara II i Sharaf al-Dîn al-Tûsîau del segle xii.^[28] Una altra aplicació és un descobriment de Newton per al càlcul de les arrels, anomenat mètode de Newton.^[29] Consisteix a escollir un punt inicial, calcular la recta tangent del polinomi en aquest punt, trobar l'arrel de la recta tangent i després a reiterar.

Si bé aquests resultats aporten elements nous a la teoria d'equacions, no en formen part en sentit propi. Newton desenvolupa el seu mètode per als polinomis, però no és específica d'aquests sinó que permet avaluar un zero d'una funció derivable qualsevol, cosa de la qual Newton s'adonà, ja que llavors aplicà el seu mètode a funcions no polinòmiques. Llavors, el teorema de Rolle també es generalitza a qualsevol funció derivable, encara que la demostració d'aquest resultat dati de 1860.^{[Nota 15]} Altres resultats d'igual naturalesa, com el mètode de Ruffini-Horner per avaluar una arrel o el teorema de Sturm per localitzar la presència d'una solució en un interval, s'acaben de perfilar durant el segle xix.

Nombres imaginaris i nombres complexos

Els treballs de Leonhard Euler són a l'origen d'una comprensió millor dels nombres complexos, indispensable per a la teoria d'equacions.

Els nombres imaginaris van néixer en un entorn ambigu que les aportacions del càlcul infinitesimal van acabar dissipant. Per a Bombelli, un nombre imaginari és una longitud geomètrica a la qual s'ha "afegit" un dels quatre signes possibles: el "més" de les verdaderes longituds, el "menys", i dos més que ell anomena piu di meno i meno di meno que es correspon amb les nostres notacions i i -i.^[30]

Existeix una altra definició, més general però més vaga, que prové de Descartes. El 1637 fa servir per primera vegada el terme imaginari. Per expressar les relacions entre els coeficients i les arrels, descobertes per Viète, de vegades és necessari emprar nombres impossibles sigui perquè són "menors que res", fet que no té sentit per a una longitud, sigui perquè són "impossibles". Llavors, aquestes arrels han de ser imaginades: ... a vegades (són) només imaginaris; és a dir, que se'n pot imaginar sempre tant com s'ha dit en cada equació, però no hi mai cap quantitat que correspongui a la que s'imagina.^[31]

Aquestes dues definicions no semblen equivalents. En un cas, els nombres imaginaris es defineixen com a nombres complexos de la forma a + i.b. En l'altre, un nombre imaginari és qualsevol cosa que podria servir als càlculs intermedis d'una equació algebraica. Dahan-Dalmedico i Peiffer, descrivint així aquesta doble definició fan la següent precisió: «Des del seu origen, una ambigüitat presideix l'aparició d'aquest terme imaginari: d'una banda, l'accepció ideal de Descartes o fins i tot de Girard i, de l'altra, els nombres de la forma a + b√-1, amb a, b reals, que intervenen en les resolucions de les equacions de grau baix^[32] ».

El càlcul infinitesimal permet la selecció d'una definició precisa i fa possible que es resolguin les paradoxes aparents d'aquests estranys nombres. L'arrel quadrada posseeix la següent propietat algebraica: si a i b són dos nombres reals positius, √a.√b = √a.b, d'on resulta una primera paradoxa:^{[Nota 16]}

${\displaystyle -1={\sqrt {-1}}\cdot {\sqrt {-1}}={\sqrt {(-1)^{2}}}={\sqrt {1}}=1}$

A través dels desenvolupaments en sèrie, Leibniz aconseguí justificar algunes igualtats de Bombelli com:^[33]

${\displaystyle {\sqrt[{3}]{2+{\sqrt {-121}}}}+{\sqrt[{3}]{2-{\sqrt {-121}}}}=4}$

Els treballs de De Moivre posen en evidència una correspondència entre els imaginaris de Bombelli i la trigonometria.^{[Nota 17]} La fórmula d'Euler e^iπ + 1 = 0 dona les seves cartes de noblesa als nombres complexos de la forma a + i.b. Tobias Dantzig es fixa que aquesta fórmula conté «els símbols més importants: una unió misteriosa en la qual l'aritmètica hi està representada per 0 i 1, l'àlgebra per √-1, la geometria per π i l'anàlisi per e.»^[34] La lògica de Bombelli s'adoptà de manera ja definitiva.

Si bé aquests treballs no s'inclouen en l'àlgebra o en la teoria d'equacions, tot i així, són indispensables per comprendre la seva història i el seu contingut.

Teorema fonamental de l'àlgebra

Article principal: Teorema fonamental de l'àlgebra

Jean le Rond d'Alembert és el primera a sentir la necessitat de demostrar el Teorema fonamental de l'àlgebra.

La preponderància aconseguida pels nombres imaginaris exigí la necessitat d'una demostració, i fou Jean le Rond d'Alembert qui expressà per primera vegada aquesta necessitat en 1746.^[35] El teorema afirma que "tot polinomi no constant admet almenys una arrel complexa", i es donava per sobreentès que els coeficients eren nombres reals. La seva motivació no és per res algebraica, desitja integrar funcions racionals i per això fa servir una descomposició en fraccions parcials. La seva demostració procedeix de les seves preocupacions i és purament analítica. De manera immediata es considerà que la qüestió era important i el resultat exposat prengué el nom de teorema fonamental de l'àlgebra.

El terme «teorema fonamental de l'àlgebra» és coherent, ja que en aquesta època l'àlgebra es relaciona amb la teoria d'equacions. Però la prova de d'Alembert no era seductora. Primer de tot, dona per coneguts dos resultats, l'existència d'un mínim per una funció contínua definida sobre un conjunt compacte, i un teorema de convergència de sèries, actualment anomenat teorema de Puiseux. En aquella època, l'absència de tècniques topològiques i de coneixements sobre la convergència feia impossible una demostració completa. Llavors, l'ús exclusiu de l'anàlisi no semblava el mètode més adequat per demostrar el resultat fonamental de la teoria d'equacions.^[35]

Leonhard Euler reprengué la qüestió des d'una perspectiva algebraica, una herència d'al-Khawarizmi i de Viète. El seu objectiu era demostrar que les arrels, en el sentit de Descartes, són els nombres complexos en el sentit de Bombelli. En el cas del grau 4, la seva demostració fou rigorosa però inútil, perquè les fórmules de Ferrari ja establien el resultat. Per als altres casos, la demostració no fou més que parcial.^[36] El 1771, les aportacions de Lagrange n'aconseguiren omplir les llacunes existents.^[37] Aquest enfocament algebraic no va convèncer Gauss que indicà:

«	«La hipòtesi de base de la demostració és que tota equació posseeix efectivament n arrels possibles o impossibles. Si s'entén per possibles les reals i per impossibles, els complexos, aquest axioma és inadmissible ja que és justament el que es tracta de demostrar. Però si s'entén per possibles les quantitats reals i complexes i per impossibles tot el que falta perquè es tinguin exactament n arrels, aquest axioma és acceptable. Impossible significa llavors quantitat que no existeix en tot l'àmbit de les grandàries».	»
— [38]

Cap argument permetia donar de manera efectiva un sentit a la qüestió com ho va fer Descartes amb les arrels, que són tanmateix utilitzades en els càlculs de Lagrange. La primera demostració de Gauss es construí sobre el treball d'Alembert, però la comprensió de les funcions contínues encara era massa feble per a permetre una bona conclusió. Els treballs de Bolzano permeteren que Jean-Robert Argand redactés la primera demostració sòlida, tot i que ho feu a partir de les idees de d'Alembert.^[37] Poc temps després, Gauss trobà una demostració que aquest cop es basava en els treballs d'Euler i de Lagrange. La seva comprensió dels polinomis formals li va permetre el poder trobar una solució.^[39] Com totes les demostracions algebraiques del teorema conté una part analítica, és a dir, presenta l'existència d'una arrel si el grau del polinomi és senar.

El camí fins al teorema d'Abel

Primers tempteigs

Article principal: Mètode de Tschirnhaus

Si bé el descobriment del càlcul infinitesimal va permetre alguns avenços, no eren gaire algebraics, i en aquest sentit tan sols entraven d'una manera parcial dins la teoria d'equacions. Un avenç més important consistiria en el descobriment de "fórmules" equivalents a les d'al-Khawarizmi, Cardano o Ferrari, però aquesta vegada vàlides per a qualsevol grau. Primerament, fracassaren diverses temptatives, una mica empíriques, per part de Bézout, Tschirnhaus un amic de Leibniz i Euler.

Les eines eren similars; l'objectiu era transformar una equació de grau n fins a una forma canònica Xⁿ - c = 0. A partir d'aquesta forma canònica, l'equació encara no estava verdaderament resolta però els treballs de Moivre en trigonometria donaren expressions relativament simples. Una solució x _k s'escriu, si c és positiu:

${\displaystyle x_{k}={\sqrt[{n}]{c}}\left(\cos {\frac {2k\pi }{n}}+i\sin {\frac {2k\pi }{n}}\right)}$

Per això, el mètode va consistir a passar d'una equació amb una incògnita P(X) = 0 a dues equacions amb dues incògnites afegint la següent equació: Q(X) - Y = 0. Escollint adequadament el polinomi Q, era possible anul·lar els coeficients intermedis? Per a n igual a 2, 3 o fins i tot 4, aquest mètode conduïa a resoldre una equació d'un grau inferior, i d'acord amb els mètodes precedents. Però amb n igual a 5, l'equació a resoldre era de grau 120, i si bé es pot portar el seu grau a 24 amb altres artificis, el mètode no era concloent. El punt negre de la teoria continuava sent la resolució efectiva de l'equació polinòmica.^{[Nota 18]}

Vandermonde i l'equació ciclotòmica

Article principal: Polinomi ciclotòmic

Les arrels del polinomi ciclotòmic estan espaiades regularment sobre la circumferència goniomètrica complexa.

El 1771, Alexandre-Théophile Vandermonde aportà novetats sobre aquest delicat punt negre.^[40] La seva ambició era més modesta que la dels seus predecessors; ja no buscava resoldre l'equació algebraica en la seva integritat, sinó resoldre de manera única la que les temptatives precedents pretenien com a punt d'arribada, és a dir, Xⁿ - c = 0. Com el pas del coeficient 1 al coeficient c és trivial, es limità a l'equació Xⁿ - 1 = 0, anomenada ciclotòmica.^{[Nota 19]} El valor n es podia reduir als nombres primers, i la resolució del cas particular de n nombre primer permetia deduir-ne les solucions en el cas general.

S'arribà a conèixer una expressió trigonomètrica de la solució, fet que assegurava que les n arrels de l'equació fossin nombres complexos i, en aquest cas particular, el teorema fonamental de l'àlgebra ja quedava establert. Mancava encara trobar una fórmula algebraica capaç d'expressar-les. Per una fórmula algebraica, s'entén una expressió que contingui nombres racionals, la unitat imaginària i, les quatre operacions i les funcions arrels n-èsimes. El terme consagrat fou el de "resolució per radicals de l'equació algebraica".

El mètode de Vandermonde consistí a fer ús de polinomis amb diverses variables, i en particular dels polinomis simètrics, és a dir, els que són invariants per tota permutació de les variables (el valor del polinomi no canvia si es permuten els valors de les variables). Les relacions entre els coeficients i les arrels es podien llegir de la següent manera: n polinomis simètrics de n variables tenen una imatge coneguda de la n-tupla de les arrels, i aquestes imatges són els coeficients del polinomi. Aquest resultat fou una reformulació d'una observació de Viète. L'interès consistia en que aquests n polinomis simètrics són capaços de generar tots els polinomis simètrics, en el sentit que tot polinomi simètric es pot obtenir com una expressió on només intervenen sumes i productes de constants; per això, aquests polinomis s'anomenen polinomis simètrics elementals. A més a més, les imatges són particularment simples en el cas del polinomi cyclotòmic. Són totes nul·les, a excepció d'aquella associada al polinomi X₁...X_n, que val ±1 segons la paritat de n. Finalment, si les arrels es noten en l'ordre trigonomètric ξ₀ = 1, ξ₁, ξ₂,..., ξ_n hom troba que, ξ_j.ξ_k = ξ_j+k si j + k < n, i d'una altra manera, ξ_n-j-k.

El mètode de Vandermonde consistia a calcular sumes parcials d'arrels, que es podien expressar com a imatges de funcions racionals en polinomis simètrics. Això va permetre calcular les seves sumes parcials, després aplicar-hi una nova descomposició de cada suma en subsumes i calcular-ne aquestes subsumes. Amb reiteracions, existeix l'esperança d'obtenir les subsumes, compostes cadascuna d'una única arrel, i de concloure. Aquest mètode el portà a resoldre el cas on n és igual a 11; però un mètode genèric quedè fora de l'abast. Tanmateix, havia resolt una equació de 11^è grau que no tenia cap factorització evident diferent que aquella associada al terme (X - 1).^[41]

Per resoldre l'equació ciclotòmica d'un grau qualsevol, quedava encara un problema combinatori. Com es podien associar les arrels per fer-ne de les sumes parcials solucions d'equacions de graus menors? Aquest problema no va ser resolt per Vandermonde.

Síntesi de Lagrange

Lagrange posà seriosament en dubte la possibilitat d'una resolució algebraica de l'equació, per al cas general.

En la seva memòria de 1771,^[42] Lagrange realitzà una síntesi de tots els mètodes utilitzats en el passat per resoldre l'equació algebraica de grau petit. Amb l'ajuda d'aquesta síntesi, desenvolupà un mètode que s'aplicà als graus 2, 3 i 4. A més e més, mostrà que aquest mètode no podia ser aplicat en el cas general si el grau més era elevat. El seu enfocament, encara que no va conduir a cap resultat, fou en molts aspectes un veritable pas endavant.

Primer de tot, el mètode era prou general perquè totes les temptatives precedents no fossin més que casos particulars de la seva. Lagrange va concloure l'època dels mètodes empírics de Tschirnchaus o Euler, que necessàriament estaven destinats al fracàs.

Va reprendre la idea de Vandermonde de fer servir les funcions simètriques així com les relacions entre els coeficients i les arrels. També mostrà la importància de les n! permutacions de les arrels per a la resolució del cas general. Amb aquest objectiu va establir dos teoremes que prefiguraven la teoria de grups:

• El primer fou que les n! permutacions d'una n-tupla tenen com a imatge per a una funció de n variables un conjunt de cardinals amb un divisor d'n!. Aquest resultat és un avantpassat del que actualment s'anomena teorema de Lagrange sobre els grups.
• El segon concerneix a les funcions que ell qualifica de semblants i que són invariants pel mateix subgrup de permutació. Aquest resultat anticipà els teoremes sobre les successions de subgrups que es troben en la teoria de Galois o en el Teorema de Jordan-Hölder.

La conclusió de Lagrange és pessimista: «Per tant es dedueix que, si la resolució algebraica de les equacions de graus superiors al quart no és impossible, en deu dependre.»^[43] La idea d'una impossibilitat de la resolució algebraica de l'equació va ser plantejada. El camí estava traçat, o bé per trobar un mètode general per a la seva resolució, o bé per demostrar la inexistència d'un mètode d'aquest tipus. La solució residia en una anàlisi combinatòria de les possibles permutacions de les arrels. La conclusió fou anàloga a la de Vandermonde per al polinomi ciclotòmic, però aquesta vegada, era vàlida per al cas general.

Paral·lelament als treballs de Vandermonde i de Lagrange, els desenvolupaments de l'anàlisi van provocar una pèrdua d'interès vers el problema mil·lenari de la resolució d'una equació. En l'època dels matemàtics àrabs, aquesta resolució era un mètode basada en el càlcul numèric essencial. Al-Buruni desitjava resoldre l'equació cúbica per calcular sinus del terç de l'angle de 3r grau ja conegut.^[44] Amb els inicis del segle xix, l'anàlisi oferia ja mètodes molt més eficaços per calcular arrels. Els resultats de Lagrange mostrà que caldria, a més a més, o bé realitzar molts càlculs, o bé una gran idea per posar un punt final a aquesta qüestió. Calia considerar també que existia un gran risc de fracassar, un resultat decebedor per als que volien desenvolupar les matemàtiques.

Les aportacions de Gauss

Gauss va més enllà de les aportacions de Vanermonde sobre els polinomis ciclotòmics. Ho aconsegueix amb un enfocament estructural, que prefigura el futur de l'àlgebra.

Carl Friedrich Gauss, a principis del segle xix, va contribuir amb respostes a les qüestions de Vandermonde i a les de Lagrange. Va adonar-se que progressar en la teoria de les equacions suposava la tria de bones funcions racionals, invariants per a certes permutacions de les arrels. Lagrange ho va mostrar clarament i Vandermonde va emetre la hipòtesi que aquestes havien d'existir per a l'equació ciclotòmica. El nombre de permutacions es va observar que augmentaven ràpidament en funció del grau n del polinomi, existeix el factorial n, que ja dona 120 per al grau 5. L'enfocament aleatori imposava una quantitat de càlcul que ben aviat era prohibitiu. Gauss tingué en compte aquest resultat i canvià radicalment els mètodes d'anàlisi.

No va atacar el problema general, sinó únicament l'equació ciclotòmica, que ell anomenava «la teoria de la divisió de la circumferència».^[45] El seu mètode prefigura un progrés fonamental en les matemàtiques del segle xix, i actualment encara és vàlid. En lloc d'estudiar directament el polinomi, analitzà l'estructura del conjunt dels polinomis proveïts de la seva addició i de la seva multiplicació. Aquesta estructura posseïa un punts comuns amb l'estructura dels enters, i Gauss va concloure que aquesta branca de les matemàtiques «no pertany per ella mateixa a l'aritmètica, però els seus principis no poden ser pouats més que de l'aritmètica a la que transcendeix. Aquest resultat podrà semblar als geòmetres tan inesperat com les veritats noves que d'ell en deriven».^[45]

Per aritmètica transcendent Gauss entenia el que actualment s'anomena la teoria algebraica de nombres. En termes contemporanis, l'analogia prové del fet que si els coeficients són escollits en un cos commutatiu, l'anell dels polinomis i el dels enters són tots dos euclidians. Estudià els conjunts de polinomis escollint els coeficients de les formes més diverses. Quan es tracta de nombres enters, Gauss ha de desenvolupar un lema que porta el seu nom, que mostra el caràcter factorial d'aquesta estructura. Fa servir un dels seus descobriments, l'aritmètica modular, i també treballa sobre polinomis amb coeficients en els cossos finits. Aquest pas imposà l'ús del polinomi formal en detriment de la funció polinòmica, recuperant així la concepció innovadora de Viète sobre el polinomi.

Per escollir les bones permutacions, Gauss es fixà que aquestes estaven vinculades a l'estructura del grup multiplicatiu de les arrels o, més exactament, el dels seus automorfismes. En el cas del polinomi ciclotòmic, les arrels eren les arrels n-èsimes de la unitat i formaven un grup commutatiu. A diferència de Lagrange, Gauss va percebre la importància de la "llei" del grup, la qual li permetia combinar els diferents elements; Lagrange, per la seva banda, es limità a un simple recompte. Aquesta operació es va traduir en els sumatoris de Gauss, que feren possible trobar sense tempteig els sumatoris parcials imaginats per Vandermonde. Gauss aprofità aquest descobriment per resoldre una conjectura que havien intentat demostrar sense èxit Euler i Legendre:^[46] la llei de reciprocitat quadràtica.

Si bé Gauss va fer progressar la teoria d'equacions, el seu objectiu era ben diferent. Amb les seves contribucions, posà al dia una connexió inesperada entre la teoria de nombres i la d'equacions.

La solució d'Abel

Niels Henrik Abel demostrà la impossibilitat de la resolució per radicals de l'equació algebraica, en el cas general, de manera que posà fi a la cerca mil·lenària i central de la teoria d'equacions. Malauradament, el seu resultat va passar inadvertit.

Es va seguir estudiant com superar l'eventual impossibilitat de la resolució del cas general mitjançant radicals. Entre 1799 i 1804, Paolo Ruffini publicà quatre memòries que tractaven aquesta qüestió,^[47] i després el 1808 i 1813.^[48]

Per primera vegada, es posa de manifest d'una manera clara l'existència d'aquesta impossibilitat. La seva temptativa per verificar aquest fet seguia els passos iniciats per Lagrange i consistia a demostrar que l'ús d'una equació auxiliar no permetia baixar sistemàticament el grau de l'equació inicial, pel que fa al grau 5. Establí que, si una funció simètrica de cinc variables pren d'una manera estricta menys de cinc valors per permutacions de les variables,^[49] llavors no en pren més de dos. En conseqüència, si el mètode de Tschirnhaus funcionés, reduiria una equació del cinquè grau a una equació del segon grau, fet que no és possible en el cas general. Aquest enfocament tenia mancances.^[50] Res no indicava que un enfocament radicalment diferent dels que havia descrit Lagrange podria arribar a tenir èxit.^{[Nota 20]}

Per realitzar una conclusió més definitiva calia raonar de manera diferent de com ho havien fet Lagrange o Ruffini. Niels Abel ho expressa així: «..., s'ha proposat de resoldre les equacions sense saber si això és possible. En aquest cas, bé es podria arribar la resolució, encara que no fos de cap manera certa... En lloc de demanar una relació de la qual no se sap si existeix o no, cal preguntar-se si tal relació és, en efecte, possible.»^[51] El 1826, Abel parteix del resultat i suposa que existeixi una fórmula, la funció racional de radicals, que dona la solució d'una equació de grau 5. Sap que està en condicions d'expressar 5 arrels diferents i que, en conseqüència, posseeix un comportament precís respecte a les permutacions de les variables ja estudiades per Vandermonde, Lagrange i, després, per Cauchy.^{[Nota 21]} Abel demostrà que aquest comportament introdueix un element absurd.^[52]

Aquest resultat, que determinà la defunció de la teoria d'equacions, en aquell moment fou molt poc conegut. El seu article, enviat a Gauss, Legendre i Cauchy, no va interessar a ningú. Gauss, amb qui Abel desitjava trobar-se a Göttingen, no el va rebre.^[53] Des d'un punt de vista teòric, el resultat d'Abel representa, primer de tot, la mort de la teoria d'equacions, i l'interès de dedicar-se a una branca condemnada sembla limitat. I, a més, per què cal voler expressar les arrels en forma de radicals? En termes algebraics, com va ressaltar Gauss, és més simple notar les arrels x₁,..., x_n i l'expressió en forma de radicals està una mica passada de moda. En termes de càlcul numèric, aquest mètode és pesat, comparat amb el que permet l'anàlisi. N'hi ha prou amb mirar l'expressió de la part real d'una de les arrels de l'equació X ¹⁷ - 1 = 0, trobada per Gauss:

${\displaystyle {\mathfrak {Real}}\,x_{1}={\frac {1}{16}}\left(-1+{\sqrt {17}}+{\sqrt {34-2{\sqrt {1}}7}}+{\sqrt {68+12{\sqrt {17}}-2{\sqrt {34-2{\sqrt {1}}7}}-16{\sqrt {34+2{\sqrt {1}}7}}+2{\sqrt {578-34{\sqrt {1}}7}}}}\right)\,}$

Abel només descobrí una primera notorietat pòstuma amb el seu treball sobre les integrals el·líptiques, i no amb el seu treball sobre la teoria d'equacions.^{[Nota 22]}

Les teories de Galois

Obra de Galois

Article principal: Teoria de Galois

Évariste Galois va néixer el 1811, és a dir, vuit anys després d'Abel. Tenia 14 anys quan es va publicar el teorema del seu predecessor. Quan aconsegueix desenvolupar una nova demostració, probablement no està al corrent de l'article d'Abel.^[54] Certament, la via escollida va ser diferent de la d'Abel i segueix més la de Gauss que la de Lagrange o de Cauchy. S'interessà per les permutacions que deixen invariants tots els polinomis de diverses variables aplicades a les arrels, com Lagrange, Cauchy o Abel. Tanmateix, igual com Gauss, concentrà els seus esforços en l'estudi de la llei de composició. Galois precisà: «En el grup de permutacions què es tracten aquí, la disposició de les lletres no s'ha de considerar; tan sols les substitucions de lletres per les quals es passa d'una permutació a l'altre».^[55] A aquesta estructura l'anomenà grup formal, que la considerava consagrada per les permutacions, però que posseïa també una existència abstracta. A diferència de Gauss, no estudià el cas particular de l'equació ciclotòmica –que posseeix un grup molt simple, ja que és cíclic–, sinó el cas general.

Amb l'ajuda d'aquesta eina que ara anomenava grup de Galois, el matemàtic establí tres resultats: el teorema de l'element primitiu, el teorema fonamental de la teoria de Galois i una nova demostració del teorema d'Abel, més profunda que la precedent, ja que donà una condició necessària i suficient de resolubilitat. G. Verriest descriu els treballs del matemàtic en els termes següents: «... el tret genial de Galois és haver descobert que el nus del problema resideix no en la recerca directa de les magnituds a sumar, sinó en l'estudi de la naturalesa del grup de l'equació. Aquest grup (...) expressa el grau d'indiscernibilitat de les arrels (...). Ja no és doncs el grau d'una equació el que mesura la dificultat de resoldre-la sinó la naturalesa del seu grup».^[56] Una mica a la imatge de les reflexions de Lagrange, aquests tres teoremes completen la teoria d'equacions. Però, a més d'englobar els mètodes anteriors, Galois dona també una visió que permet comprendre la naturalesa de tota equació algebraica, resoluble o no.

Tot i axí, l'acollida que rebé fou encara més glacial que la de les contribucions d'Abel. Aquesta vegada, Cauchy no oblidà l'article que li havia enviat Galois, si no que el "perd" sense problemes. Una nova tramesa dels seus treballs sobre les equacions el·líptiques provocà el següent comentari: «El raonament no és prou clar, ni prou desenvolupat per permetre de jutjar-ne el rigor».^[57]

Naixement de l'àlgebra moderna

Camille Jordan fou el primer a fer servir l'expressió «teoria de Galois». Per a ell, els treballs d'aquest matemàtic conduí a l'anàlisi dels grups i a les aplicacions lineals, des del punt de vista estructural.

Sovint es fa servir l'atribut d'"inventor" o de "pare" de l'àlgebra moderna quan hom es refereix a Galois.^[58] Alain Connes, un especialista de l'àmbit, precisa: «Galois, a l'edat de 19 anys, té ja al seu actiu resultats matemàtics d'un abast incomparable que són la partida de naixement de les matemàtiques contemporànies».^[59] Per comprendre la raó de ser de tals paraules, és útil observar el nivell de l'àlgebra a mitjans del segle xix. El 1854, Serret publicà un llibre, Curs d'Àlgebra superior, on fa la següent definició: «L'àlgebra és, parlant amb propietat, l'anàlisi de les equacions; les diverses teories parcials que comprèn es relacionen totes, més o menys, amb aquest objecte principal».^[60] Aquesta visió, que apuntava ja Al-Khayyam en el seu gran tractat escrit al segle xi,^[44] havia quedat ja obsoleta a l'època de Gauss i, especialment, amb les aportacions de Galois.

Des d'Al-Khawarizmi i fins al final del segle xviii, la teoria d'equacions era una teoria de fórmules. Els mestres àrabs, tal com els del renaixement italià, procedien d'aquesta lògica per resoldre les equacions de graus inferiors o, amb l'ajuda d'un discriminant, establiren l'existència d'arrels múltiples. El llenguatge de Viète, no serví finalment més que per a expressar-los millor, la qual cosa va permetre trobar altres fórmules com les relacions entre coeficients i arrels. Lagrange, en les seves reflexions, entrà en aquesta tradició; fins i tot quan finalment n'establia el caràcter aleatori i aventurer per als graus més elevats.

La lògica de Galois representà una ruptura respecte d'aquesta herència mil·lenària. Liouville, que la redescobrí 11 anys després de la mort de l'autor, la presentà a l'Acadèmia de les Ciències amb les següents paraules: «Amb aquest mètode, verdaderament digne de l'atenció dels geòmetres, n'hi hauria prou amb ell sol per assegurar al nostre compatriota un rang entre el petit nombre dels savis que han merescut el títol d'inventor».^[61]

El que Galois posà en evidència foren, per sobre de tot, estructures. La primera, ja citada, és la de grup. El redescobriment de les idees de Galois les posà en primera línia. Cauchy publica més de vint-i-cinc articles sobre aquesta qüestió després de la presentació de Liouville, un dels quals portà el seu nom.^[62] El 1870, Camille Jordan publicà un llibre presentant els treballs de Galois essencialment com una teoria sobre grups.^[63] Un altre aspecte que no ha passat desapercebut és que per Galois els elements del grup són també simetries d'un espai geomètric.^{[Nota 23]} Aquest punt de vista analític, que es considera ara com a àlgebra lineal, és una de les idees fonamentals desenvolupada al llibre de Jordan. Aquests aspectes estructurals, a través de l'anàlisi dels divisors de la dimensió d'un espai vectorial, és la manera més simple de demostrar conjectures diverses vegades mil·lenàries, és a dir la trisecció de l'angle o la duplicació del cub. El títol del llibre de Jordan és en aquest sentit evocador: Traité des substitutions et des équations algébriques (Tractat de les substitucions i de les equacions algebraiques); el terme de substitució és, en efecte, el que es feia servir en aquell temps per designar una "aplicació lineal". Més tard, cap a finals del segle xix, com a conseqüència dels treballs de Dedekind i Kronecker, Weber identificà la teoria de Galois amb la dels cossos commutatius.^[64]

La lògica estructural iniciada per Galois rau en l'origen d'una profunda transformació, que no afecta únicament el perímetre de la teoria d'equacions que esdevindria l'àlgebra en el sentit contemporani del terme, sinó a tota la matemàtica.^{[Nota 24]}

Notes

1. Vegeu l'entrada "équations, théorie des Arxivat 2009-01-25 a Wayback Machine." a Enciclopèdia Encarta. (francès)
2. El terme "equivalent" s'aplica quan algunes transformacions permeten obtenir un altre equació polinòmica que tingui les mateixes solucions que l'equació original, o algunes més que després es poden descartar per una prova en l'equació original.
3. En àlgebra és freqüent l'ús de la indeterminada per modelitzar la incògnita. Vegeu Laurent Lafforgue, La théorie de Galois et l'arithmétique Arxivat 2013-10-04 a Wayback Machine. Institut des hautes études scientifiques
4. Vegeu el paràgraf Difusió a Europa
5. No obstant això es troben excepcions. Un contra exemple és el títol del volum III: Teoria d'equacions d'un llibre consagrat a l'anàlisi: J. Favart, Cours d'analyse de l'école polytechnique, Gauthier-Villars, 1963.
6. És, per exemple, l'elecció a l'article "Sobre la història del teorema fonamental de l'àlgebra: teoria d'equacions i càlcul integral", Archive for History of Exact Sciences, Vol. 42, núm. 2, pàg. 91 136.
7. Es troba per exemple de l'expressió Théorie analytique des équations différentielles ordinaires^{[Enllaç no actiu]} (Teoria analítica de les equacions diferencials ordinàries), en el programa dels cursos LMD de la universitat Pierre i Marie Curie a París.
8. Aquesta qüestió s'ha extret d'una tauleta conservada al Museu Britànic amb el número 13901: L'algèbre babylonienne Arxivat 2013-09-27 a Wayback Machine. (L'àlgebra babilònica), per l'IREM de Rennes. La notació 6 15 és ambigua; s'ha escollit una de les significacions possibles.
9. En aquest sentit, vegeu el Llibre II dels Elements d'Euclides.
10. Respecte a aquest tema vegeu l'article: Àlgebra geomètrica.
11. H. Bellosta indica: El seu successor Xàraf-ad-Din at-Tussí (segle xii) estudiarà de manera més rigorosa les condicions d'existència d'aquests punts d'intersecció, l'abscissa dels quals determina l'arrel positiva demanada; això el portarà a interessar-se per problemes de localització i de separació de les arrels i l'obligarà a definir la noció de màxim d'una expressió algebraica (introduint la derivada formal d'un polinomi). Una altra innovació d'al-Tûsî consisteix a tractar, al mateix temps que la resolució geomètrica, la resolució numèrica de les equacions del tercer grau. Per fer-ho desenvolupa una variant del mètode de Ruffini Horner. Vegeu A propos de l'histoire des sciences arabes(A propòsit de la història de les ciències àrabs), SMF Gazette, núm. 82, 1999
12. Dahan-Dalmedico i J. Peiffer precisen: Deuria... provocar grans progressos en la teoria de les equacions.... Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , p 105
13. El valor b/2 és més petit que √(b/2)² + (b/3)³, aquest nombre és doncs negatiu. Considerar llavors la longitud de l'aresta d'un cub que té aquest nombre negatiu de volum, procedeix d'una lògica incomprensible en aquella època.
14. Amb Michael Stifel, Jacques Peletier du Mans i Jean Borrel. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , p 109
15. Aquesta demostració és l'obra de Pierre-Ossian Bonnet: P. Appell, "Notice sur la vie et les travaux de Pierre Ossian Bonnet", Comptes rendus de l'Académie des Sciences, Vol. 117, 1893, pàg. 1013-1024
16. Aquesta paradoxa és una de les raons que exigeix l'ús del símbol i en lloc de l'ambigu √-1.
17. Vegeu la fórmula de De Moivre.
18. Aquest paràgraf correspon a les idees de la pàgina 113 de: Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. 
19. Si bé l'equació s'anomena ciclotòmica, el polinomi no. Una definició precisa es dona a l'article Polinomi ciclotòmic.
20. Lagrange precisa: Si les equacions d'un grau més gran que el quart no són impossibles, ha de dependre d'algunes funcions de les arrels, diferents de les precedents. J-L. Lagrange Réflexions sur la résolution algébrique des équations, Nouveaux mémoires de l'académie royale des sciences et belles lettres de Berlin, 1771, pàg. 357
21. Cauchy havia generalitzat el resultat de Ruffini al cas de n variables el 1815, Vegeu Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 118
22. Sobre els treballs d'Abel, es pot consultar el lloc web, extret del llibre: B. Hauchecorne, D. Surateau, Des mathématiciens de A à Z Arxivat 2008-11-22 a Wayback Machine., Ellipses, París, 1996 ISBN 2729846832
23. El terme de simetria s'ha de prendre aquí en el sentit d'automorfisme d'un espai vectorial de dimensió finita.
24. André Lichnerowicz utilitza els següents termes per descriure la "mutació on Galois pot ser pres com un símbol": En lloc de sotmetre's a les estructures i de reconèixer-les una mica a l'atzar, les matemàtiques s'esforçaran per dominar-les. Vegeu L'activité mathématique et son rôle dans notre conception du monde Arxivat 2013-09-21 a Wayback Machine., Sessió del 27 de febrer de 1965 al Col·legi de França

Referències

1. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380.  p 83
2. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , p 75.
3. Col·lectiu IREM-APMEP de Poitiers, (Institut de recherche sur l'enseignement en mathématiques - Association des professeurs de mathématiques de l'enseignement public), Histoire de symboles, capítol 12: "La première inconnue", 2003, Document en línia  PDF
4. P. Ver Eecke, Diophante d'Alexandrie. Les Six Livres Arithmétiques et le Livre des Nombres Polygones, Desclée de Brouwer Liège, 1926, p 2.
5. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 76
6. R. Rashed, Entre arithmétique et algèbre: recherches sur l'histoire des mathématiques arabes, París, Les Belles lettres, 1984
7. J. Dhombres, G. Beaujouan, G. Mazars, J.-C. Martzloff, R. Rashed. Le matin des mathématiciens, Berlín, 1985, pàg. 146 ISBN 9782701105338
8. L. Rodet. L'algèbre d'Al-Khârizmi et les méthodes indienne et grecque, llegir-lo a Gallica, p 24.
9. Christian Drouin. «Muhammad Al-Khâwârîzmî». [Consulta: 25 abril 2009].
10. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 85.
11. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 103.
12. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , p 95
13. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , p 97
14. Vegeu més informació sobre la qüestió a M. Bichaoui, L'histoire des équations du 3° degré Arxivat 2006-05-27 a Wayback Machine.(la Història de les equacions del 3° grau)
15. B. Hauchecorne, D. Surateau. Des mathématiciens de A à Z, Ellipses Paris, 1996 ISBN 2729846832
16. Aquesta cita s'ha extret de Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 106
17. "Lodovico Ferrari", Encyclopædia Britannica.
18. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 108
19. P. Freguglia. "Sur la théorie des équations algébriques entre le XVIe et XVIIe siècles", Bollettino di storia delle scienze matematiche, 1994, vol. 14, núm. 2, pàg. 259-298
20. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 109
21. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 110
22. F. Cajori. A History of Mathematics, Nova York, The Macmillan Co, 1919, pàg. 139
23. N. Bourbaki. Éléments d'histoire des mathématiques Springer, 2007 ISBN 3540339817, pàg. 71
24. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380.  p 111
25. Vegeu el capítol 5 de La limite: de l'impensé au concept Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 168
26. Cita de Isaac Newton a: Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 192
27. M. Blay. "Deux moments de la critique du calcul infinitésimal: Michel Rolle et George Berkeley. Études sur l'histoire du calcul infinitésimal", Rev. Histoire Sci., Vol 39, núm. 3, 1986, pàg. 223-253
28. T. A. Broadbent. "The History of Ancient Indian Mathematics by C. N. Srinivasiengar", The Mathematical Gazette, Vol 52, núm. 381, 1969, pàg. 307
29. I. Newton. De analysi per aequationes numero terminorum infinitas, W. Jones, Londres, 1711 (primera edició el 1669)
30. Franck Duffaud, Matemàtics italians del segle XVI consultat el 25 d'abril de 2009.
31. René Descartes, La géométrie 1637
32. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 249
33. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 253
34. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 254
35. B. Fine G. Rosenberg, The fundamental theorem of algebra, Springer 1997, ISBN 0387946578
36. L. Euler Recherches sur les racines imaginaires des équations Arxivat 2008-12-24 a Wayback Machine. Histoire de l'Académie Royale des Sciences et des Belles-Lettres de Berlin 1751
37. C. Gilain Sur l'histoire du théorème fondamental de l'algèbre: théorie des équations et calcul intégral, Archive for History of Exact Sciences, Vol. 42 núm. 2 pàg. 91, 136
38. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 252
39. Jean-Yves Briend, Le théorème fondamental de l'algèbre (versió moderna d'aquesta demostració a la número 5), Centre de matemàtiques i informàtica de d'Universitat de Provence Aix-Marseille, 30, Llegir-lo en línia Arxivat 2009-05-09 a Wayback Machine.  PDF
40. A. T. Vandermonde, Mémoire sur la résolution des équations, Histoire de l'Académie royale des sciences, 1771
41. J. Dieudonné, Abrégé d'histoire des mathématiques, 1700-1900, Hermann, 1996 ISBN 2705660240
42. Joseph-Louis Lagrange, Réflexions sur la résolution algébrique des équations, Nouveaux mémoires de l'académie royale des sciences et belles lettres de Berlin, 1771, Article online a Gallica
43. Prové de l'anàlisi següent: O. Gebuhrer Invitation à des réflexions sur la résolution algébrique des équations Arxivat 2014-05-04 a Wayback Machine. IREM de Strasbourg
44. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 94
45. Carl Friedrich Gauss, Disquisitiones arithmeticae, 1801 (pàgina XV a l'edició de 1807). Ha estat traduït al català per Griselda Pascual Xufré, Societat Catalana de Matemàtiques ISBN 8472833135 Article en línia a Gallica (francès)
46. Cyril bandelier. «Legendre, Gauss, Jacobi et les autres...». [Consulta: 25 abril 2009].
47. P. Ruffini, La théorie générale des équations dans laquelle il est démontré qu’il est impossible de donner les solutions générales des équations de degré strictement supérieur à 4, 1799; Sur la détermination des racines d'équations numériques de degré quelconque, 1804
48. J. J. O'Connor E. F. Robertson, Paolo Ruffini Arxivat 2008-11-21 a Wayback Machine., al lloc web de la Universitat de St Andrew
49. Nicolas Bourbaki, Éléments d'histoire des mathématiques, Springer-Verlag, (reedició el 2006) ISBN 3540339388, pàg. 104
50. Nicolas Bourbaki, Éléments d'histoire des mathématiques, Springer-Verlag, (reedició de 2006) ISBN 3540339388, pàg. 103
51. Seuil. Une Histoire des mathématiques - Routes et dédales (Points Sciences). DahanPfeiffer. ISBN 2020092380. , pàg. 118
52. N. Abel, "Démonstration de l'impossibilité de la résolution algébrique des équations générales qui passent le 4^ième degré", Journ. des Mathemat., de M. Crelle Volum I, pàg. 65
53. J. J. O'Connor; E. F. Robertson. Niels Henrik Abel Arxivat 2017-05-29 a Wayback Machine., Université de St Andrew.
54. P. Pesic, Abel's Proof: An Essay on the Sources and Meaning of Mathematical Unsolvability, MIT Press, 2004, pàg. 105 ISBN 0262661829
55. Extret d'Evariste Galois, "Sur les conditions de résolubilité des équations algébriques", 1846, Journal de Liouville.
56. G. Verriest, Œuvres Mathématiques d'Évariste Galois, 1951, Gauthier-Villars, París
57. Évariste Galois, 1999. Franck Duffaud, Une histoire des mathématiques, consultat el 25 abril 2009
58. Es troba una expressió d'aquesta naturalesa a un lloc web tan oficial com el de l'ambaixada de França al Vietnam Lancement du programme de bourses «Evariste Galois» Arxivat 2008-11-03 a Wayback Machine. Ambassade de France au Vietnam
59. A. Connes, La pensée d'Évariste Galois et le formalisme moderne Arxivat 2009-12-29 a Wayback Machine.
60. J. A. Serret, Cours d'Algèbre supérieur, Deuxième édition, 1854, p 1
61. J. Liouville, "Œuvres Mathématiques d'Évariste Galois Suivie d'un avertissement de Liouville", 1846, Journal de mathématiques pures et appliquées, Vol. XI.
62. Augustin Louis Cauchy, Sur le nombre de valeurs égale ou inégales que peut acquérir une fonction de n variables indépendantes, quand on permute ces variables entre elles d'une manière quelconque, 1845
63. C. Jordan, Traité des substitutions et des équations algébriques, 1870
64. Heinrich Weber, Théorie de Galois, 1893

Bibliografia

• Amy Dahan-Dalmedico, Jeanne Peiffer. Une Histoire des mathématiques - Routes et dédales, Seuil, coll. « Points Sciences », 1986 (ISBN 2-02-009138-0). El pla i el contingut general de l'article procedeixen en major part d'aquesta referència. Cada paràgraf s'ha enriquit amb referències més especialitzades.
• R. Rashed. Entre arithmétique et algèbre: recherches sur l'histoire des mathématiques arabes, París, Les Belles lettres, 1984. Els paràgrafs Àlgebra àrab i La geometria al servei de l'àlgebra procedeixen essencialment d'aquesta referència.
• P. Freguglia. Sur la théorie des équations algébriques entre le XVI et le XVII siècle, Bollettino di storia delle scienze matematiche, Vol. 14, núm. 2, pàg. 259-298, 1994. Aquesta referència completa el llibre Une Histoire des mathématiques - Routes et dédales pel que fa als paràgrafs Apropiació europea i Viète, Fermat i Descartes.
• Nicolas Bourbaki. Éléments d'histoire des mathématiques'. Sols s'han consultat tres capítols. S'han utilitzat per a la redacció dels paràgrafs: L'evolució de l'àlgebra, Càlcul infinitesimal i Polinomis i cossos commutatius. La seva lectura ha influenciat els paràgrafs Viète, Fermat i Descartes i Càlcul infinitesimal.
• D. Flament. Histoire des nombres complexes - Entre algèbre et géométrie, CNRS éditions, 2003 ISBN 2271061288. Aquesta referència cobreix un període que va del segle xiii al segle xix. Només s'ha consultat per al període cobert pel paràgraf Imaginaris i nombres complexos.
• B. Fine, G. Rosenberg. The fundamental theorem of algebra, Springer, 1997 ISBN 0387946578. Aquesta referència és la que cobreix el paràgraf Teorema fonamental de l'àlgebra.
• Jean Dieudonné (dir.). Abrégé d'histoire des mathématiques 1700-1900. Només han estat consultats els capítols L'anàlisi matemàtica al segle xviii, L'àlgebra i la geometria fins a 1840 i L'àlgebra des de 1840. Aquesta referència és la font complementària sobre l'última part de la història, que comença a partir del paràgraf Vandermonde i el polinomi cyclotomique.

Enllaços externs

• H. Bellosta. "A propos de l'histoire des sciences arabes", SMF Gaseta, núm. 82, 1999. (francès)
• C. Ehrhardt. Le mémoire d'Évariste Galois sur les conditions de résolubilité des équations par radicaux Bibnum: Texts fundadors de la ciència analitzats pels científics d'avui. (francès)