Ecuación

Una **ecuación** ye una igualdá matemática ente dos espresiones alxebraiques, denominaes *miembros*, nes qu'apaecen valores conocíos o *[[datu|datos]]*, y desconocíos o *[[incógnita|incógnites]]*, rellacionaos por aciu operaciones matemátiques. Los valores conocíos pueden ser númberos, coeficientes o constantes; y tamién variables que la so magnitú pueda ser establecida al traviés de les restantes ecuaciones d'un *[[sistema d'ecuaciones|sistema]]*, o bien por aciu otros procesos. Les incógnites, representaes xeneralmente por lletres, constitúin los valores que pretende topase. Por casu, na ecuación:

=\overbrace{9+x}^{\text{segundu miembru}}||center}}

la variable x representa la incógnita, ente que'l coeficiente 3 y los númberos 1 y 9 son constantes conocíes. La igualdá plantegada por una ecuación va ser cierta o falsa dependiendo de los valores numbéricos que tomen les incógnites; puede afirmase entós qu'una ecuación ye una *igualdá condicional*, na que solo ciertos valores de les variables (incógnites) facer cierta.

Llámase *solución* d'una ecuación a cualquier valor individual de diches variables que la satisfaiga. Pal casu dau, la solución ye:

Resolver una ecuación ye atopar la so *dominio solución*, que ye'l conxuntu de valores de les incógnites pa los cualos la igualdá cumplir. Polo xeneral, los problemes matemáticos pueden espresase en forma d'una o más ecuaciones; sicasí non toles ecuaciones tienen solución, yá que ye posible que nun esista nengún valor de la incógnita que faiga cierta una igualdá dada. Nesi casu, el conxuntu de soluciones de la ecuación va ser vacíu y dizse que la ecuación nun ye resoluble. De la mesma, puede tener un únicu valor, o dellos, o inclusive infinitos valores, siendo cada unu d'ellos una solución *particular* de la ecuación. Si cualquier valor de la incógnita fai cumplir la igualdá (esto ye, nun esiste nengún valor pal cual nun se cumpla) la ecuación ye en realidá una identidá.

## Introducción

### Uso d'ecuaciones
La ciencia utiliza ecuaciones pa enunciar de forma precisa lleis; estes ecuaciones espresen rellaciones ente variables. Asina, en física, la ecuación de la dinámica de Newton rellaciona les variables fuercia F, aceleración a y masa m: F = ma. Los valores que son solución de la ecuación anterior cumplen la primer llei de la mecánica de Newton. Por casu, si considérase una masa m = 1&nbsp;kg y una aceleración a = 1&nbsp;m/s, la única solución de la ecuación ye F = 1&nbsp;kg·m/s = 1 Newton, que ye l'únicu valor pa la fuercia dexada pola llei.

Exemplos:
* Ecuación d'estáu
* Ecuación de movimientu
* Ecuación constitutiva

El campu d'aplicación de les ecuaciones ye inmensu, y por ello hai una gran cantidá d'investigadores dedicaos al so estudiu.

### Tipos d'ecuaciones
Les ecuaciones pueden clasificase según el tipu d'operaciones necesaries pa definiles y según el conxuntu de númberos sobre'l que se busca la solución. Ente los tipos más frecuentes tán:
* Ecuaciones alxebraiques
** De primer grau o *lliniales* 
** De segundu grau o *cuadráticas*
** Diofánticas o diofantinas
** Racionales, aquelles nes qu'unu o dambos miembros esprésense como un cociente de polinomios
* Ecuaciones trascendentes, cuando arreyen funciones non polinómiques, como les funciones trigonométriques, esponenciales, logarítmiques, etc.
* Ecuaciones diferenciales
** Ordinaries
** En derivaes parciales
* Ecuaciones integrales
* Ecuaciones funcionales

## Definición xeneral
Dada una aplicación  y un elementu  del conxuntu , resolver una **ecuación** consiste n'atopar tolos elementos  que verifiquen la espresión: . Al elementu  llámase-y incógnita. Una solución de la **ecuación** ye cualquier elementu  que verifique .

L'estudiu de les ecuaciones depende de les carauterístiques de los conxuntos y l'aplicación; por casu, nel casu de les ecuaciones diferenciales, los elementos del conxuntu  son funciones y l'aplicación  tien d'incluyir dalguna de les derivaes del argumentu. Nes ecuaciones matriciales, la incógnita ye una matriz. 

La definición que se dio inclúi les ecuaciones de la forma . «» denota la suma de funciones, entós  ye un grupu. Basta definir l'aplicación , con  l'inversu de  con al respective de la suma, pa tresformar la ecuación en .

### Conxuntu de soluciones

Dada la ecuación , el conxuntu de soluciones de la ecuación vien dau por , onde  ye la imaxe inversa de . Si  ye'l conxuntu vacíu, la ecuación nun ye soluble; si tien solo un elementu, la ecuación va tener solución única; y si  tien más d'un elementu, toos ellos van ser soluciones de la ecuación.

Na teoría d'ecuaciones diferenciales, nun se trata solo de pescudar la espresión esplícita de les soluciones, sinón determinar si una ecuación determinada tien solución y esta ye única. Otru casu nos que s'investiga la esistencia y unicidá de soluciones ye nos sistemes d'ecuaciones lliniales.

### Casos particulares

Una ecuación diofántica ye aquella que la so solución solo puede ser un númberu enteru, esto ye, nesti casu . Una ecuación funcional ye aquella na que dalgunes de les constantes y variables qu'intervienen nun son realmente númberos sinón funciones; y si na ecuación apaez dalgún operador diferencial llámase ecuación diferencial. Cuando  ye un cuerpu y  un polinomiu, tiense una ecuación alxebraica polinómica.

Nun sistema d'ecuaciones lliniales, el conxuntu  ye un conxuntu de vectores reales y la función ye un operador llinial.

### Esistencia de soluciones
En munchos casos, por casu nes ecuaciones diferenciales, una de les cuestiones más importantes ye determinar si esiste dalguna solución, ye dicir demostrar que'l conxuntu de soluciones nun ye'l conxuntu vacíu. Unu de los métodos más corrientes pa llogralo consiste n'aprovechar que'l conxuntu  tien dalguna topoloxía. Nun ye l'únicu: nos sistemes d'ecuaciones reales, recurrir a téuniques alxebraiques pa pescudar si estos sistemes tienen solución. Sicasí, l'álxebra escarez de recursos p'asegurar la esistencia de soluciones nes ecuaciones alxebraiques: p'asegurar que toa ecuación alxebraica con coeficientes complexos tien una solución, hai que recurrir al analís complexu y, poro, a la topoloxía.

### Propiedaes de la ecuaciones
El axoma fundamental de les ecuaciones ye 
Dos ecuaciones son equivalentes si les sos soluciones son les mesmes. Esto da llugar a les siguientes implicaciones.
* Si a los dos miembros d'una ecuación sumir una mesma cantidá positiva o negativa, la igualdá subsiste.

* Si a los dos miembros d'una ecuación réstase-yos una mesma cantidá, positiva o negativa, la igualdá subsiste.

* Si a los dos miembros d'una ecuación multiplicar por una mesma cantidá, positiva o negativa, la igualdá subsiste.

* Si a los dos miembros d'una ecuación estremar por una mesma cantidá non nula, positiva o negativa, la igualdá subsiste.

* Polo xeneral, si aplíquense funciones inyectivas a dambos miembros, la igualdá subsiste.

Otros dos operaciones respeten la igualdá pero pueden alteriar el conxuntu de soluciones:
* Simplificar factores comunes presentes en dambos llaos d'una ecuación que contienen variables. Esta operación tien d'aplicase con cuidu, porque'l conxuntu de soluciones puede trate amenorgáu. Por casu, la ecuación  tien dos soluciones:  y . Si estremen dambos llaos ente  pa simplifcarla llógrase la ecuación , pero la segunda solución perdióse.
* Si aplícase una función non inyectiva a entrambos llaos d'una ecuación, la ecuación resultante puede nun tener un conxuntu de soluciones más grande que la orixinal.
 
Amás, una igualdá ye una rellación d'equivalencia, colo cual cumplir les siguientes propiedaes.

* Propiedá reflexiva: .
Exemplu: 
* Propiedá simétrica: Si , entós . 
Exemplu: Si , entós . Si , entós . 
* Propiedá transitiva: Si  y , entós .
Exemplu: Si  y , entós . Si , y , entós .

## Ecuación alxebraica

Una ecuación alxebraica, polinómica o polinomial ye una igualdá ente dos polinomios. Por casu:

### Definición
Llámase **ecuación alxebraica** con una incógnita la ecuación que s'amenorga a lo que sigue

::.

onde  ye un númberu enteru positivu; , , , ..., ,  denominar *coeficientes* o *parámetros* de la ecuación y tómense daos;  nómase **incógnita** y ye buscada. El númberu  positivu llámase *grau* de la ecuación Pa definir un númberu alxebraicu considérense como coeficientes, númberos racionales.

### Forma canónica
Realizando una mesma serie de tresformamientos en dambos miembros d'una ecuación, puede consiguise qu'unu d'ellos amenórguese a cero. Si amás ordenar los términos según los esponentes a los que s'atopen alzaes les incógnites, de mayor a menor, llógrase una espresión denomada *forma canónica* de la ecuación. Frecuentemente suel estudiase les ecuaciones polinómiques a partir de la so forma canónica, ye dicir aquella que'l so primer miembru ye un polinomiu y que'l so segundu miembru ye cero.

Nel exemplu dau, sumando  y restando  en dambos miembros, y depués ordenando, llogramos:

### Grau
Denominar *grau* d'una ecuación polinomial al mayor esponente al que s'atopen alzaes les incógnites. Por casu 

Ye una ecuación de tercer grau porque la variable  alcuéntrase elevada *al cubu* nel mayor de los casos.

Les ecuaciones polinómiques de grau  d'una sola variable sobre los númberos reales o complexos, pueden resolvese pol métodu de los radicales cuando  (yá que nesos casos el grupu de Galois acomuñáu a los raigaños de la ecuación ye soluble). La solución de la ecuación de segundu grau ye conocida dende l'antigüedá; les ecuaciones de tercer y cuartu grau conocer dende los sieglos XV y XVI, y usen el métodu de radicales. La solución de la ecuación de quintu grau nun puede faese por aciu el métodu de radicales, anque puede escribise en términos de la función theta de Jacobi.

### Ecuación de primer grau
Dizse qu'una ecuación alxebraica ye de primer grau cuando la incógnita (equí representada pola lletra ) ta alzada a la potencia 1 (grau = 1), ye dicir que'l so esponente ye 1. 

Les ecuaciones de primer grau tienen la forma canónica: 

::
onde  y  tán nun conxuntu numbéricu (, ) con  distintu de cero.

La so solución ye senciella: x = -\tfrac{b}{a}. Esixe la resolución, la esistencia d'inversos multiplicativos.

#### Resolución d'ecuaciones de primer grau
Les ecuaciones polinómiques de primer grau resolver en tres pasos: transposición, simplificación y estene, desenvueltos de siguío por aciu un exemplu.

Dada la ecuación: 
::

##### Transposición
Primero arrexuntar tolos monomios qu'inclúin la incógnita  n'unu de los miembros de la ecuación, de normal nel esquierdu; y tolos términos independientes (los que nun tienen  o la incógnita del problema) nel otru miembru. Esto puede faese teniendo en cuenta que:

En términos coloquiales, dizse que: *si un términu ta sumando* (como  nel miembru de la derecha) *pasa al otru llau restando* ( a la izquierda); y *si ta restando* (como'l  de la esquierda), *pasa al otru llau sumando* ( a la derecha)

La ecuación va quedar entós asina:

::

Como puede trate, tolos términos que tienen la variable  quedaron nel primer miembru (a la izquierda del signu igual), y los que nun la tener, por ser solu constantes numbériques, quedaron a la derecha.

##### Simplificación
El siguiente pasu ye convertir la ecuación n'otra equivalente más simple y curtia. Si efectúase la simplificación del primer miembru:
:
Y simplificar el segundu miembru:
:
La ecuación simplificada va ser:
::

##### Estene
Agora ye cuando se llega al oxetivu final: que la incógnita quede aisllada nun miembru de la igualdá. Pa lo cual recuérdase que:

En términos coloquiales: *Pa estenar la , si un númberu ta multiplicando* (Ej: ) *y nun hai nengún otru términu sumando o restando nesi mesmu miembru, pásase dichu númberu al otru llau dividiendo* (\tfrac{n}{5}) *ensin camudar el so signu*. Y *si un númberu ta dividiendo* (Ex.: \tfrac{x}{2}), entós *pasa al otru llau multiplicando* () *ensin camudar el so signu*.

Al pasar el  dividiendo al otru llau, lo que tamos faciendo en realidá ye dividir dambos miembros ente . Entós, nel miembru onde taba'l  llogramos \tfrac{5}{5}, que s'anula quedando solo la  (dicimos que'l  que multiplicaba *sume* del primer miembru). Nel otru llau, sicasí, el  qu'amestamos dividiendo nun puede anulase (dicimos qu**apaez'' dividiendo como si hubiera ''pasáu'' d'un llau a otru cola operación ''convertida'' na so inversa).

Volviendo al exemplu, debemos entós ''pasar'' el númberu  al otru miembru y, como taba multiplicando, va facer dividiendo, ensin camudar de signu:

::<math>x= \tfrac{525}{95}</math>

L'exerciciu ta teóricamente resueltu, yá que tenemos una igualdá na que  equival al númberu <math>\tfrac{525}{95}</math>. Sicasí, tenemos de simplificar.

Puede resolvese la fraición (numberador estremáu ente denominador) si la resultancia fuera exauta; pero como nesti casu ye decimal () simplifícase y esa ye la solución:

::<math>x= \tfrac{105}{19}</math>

==== Exemplu de problema ====
Pongamos el siguiente problema: el númberu de banzones que tengo, más trés, ye igual al doble de los banzones que tengo, menos dos. ¿Cuántos banzones tengo? El primer pasu pa resolver esti problema ye espresar l'enunciáu como una **ecuación**:

:

Onde  ye la incógnita: ¿cuántos banzones tengo?

La ecuación podría lleese asina: ''<span style="color:#FF0000;"><u>El númberu de banzones que tengo</u></span>, más <span style="color:#0000CD;"><u>trés que me dan</u></span>, ye igual al <span style="color:#800000;"><u>doble de los mios banzones</u></span>, quitar <span style="color:#006400;"><u>dos</u></span>''.

L'enunciáu ta espresáu, pero nun podemos ver claramente cuál ye'l valor de ; pa ello sigue esti procedimientu: Primero pásense tolos términos que dependen de  al primer miembru y los términos independientes al segundu. Pa ello tenemos en cuenta que cualquier términu que se camuda de miembru camuda tamién de signu. Asina llogramos:

:

Que, simplificáu, resulta:

:

Esta espresión llévanos a una regla bien importante de l'álxebra, que diz que si modificamos igualmente dambos miembros d'una ecuación, la resultancia ye'l mesmu. Esto significa que podemos sumar, restar, multiplicar, estremar, alzar y aniciar los dos miembros de la ecuación pol mesmu númberu, ensin qu'esta sufra cambeos. Nesti casu, si multiplicamos dambos miembros por  vamos llograr:

:

El problema ta resueltu.

=== Ecuación de segundu grau ===

Les ecuaciones polinómiques de segundu grau tienen la forma canónica



Onde  ye'l coeficiente del ''términu cuadrático'' (aquel en que la incógnita ta alzada a la potencia 2),  ye'l coeficiente del ''términu llinial'' (el que tien la incógnita ensin esponentes, esto ye que ta alzada a la potencia 1), y  ye'l ''términu independiente'' (el que nun depende de la variable, esto ye que ta compuestu solo por constantes o númberos)
Cuando esta ecuación plantégase sobre  siempres se tienen dos soluciones:

}{2\mbox{a}}, \quad x_2 = \frac{-\mbox{b} - \sqrt{\mbox{b}^2 - 4\mbox{ac}}}{2\mbox{a}} </math>||left}}

Obviamente la condición por que la ecuación tenga solución sobre los númberos reales  ríquese que  y por que tenga soluciones sobre los númberos racionales  ríquese .

== Tipos d'ecuación alxebraica ==
Una **ecuación alxebraica** en  contién solo espresiones alxebraiques, como polinomios, espresiones racionales, radicales y otres. Una ecuación d'esti tipu llámase **ecuación condicional** si hai númberos nos dominios de les espresiones que nun seyan soluciones; por casu,  ye condicional porque'l númberu  (y otros) nun ye una solución. Si tou númberu de los dominios de les espresiones d'una ecuación alxebraica ye una solución, la ecuación llámase **identidá**.

== Historia ==
=== Antigüedá ===
Yá nel sieglu XVI e.C. los exipcios resolvíen problemes cotidianos que teníen que ver col repartu de cebera, de colleches y de materiales que yeren equivalentes a resolver **ecuaciones alxebraiques** simples de primer grau; como la notación alxebraica nun esistía usaben un métodu iterativu averáu llamáu'l «[[métodu de la falsa posición]]».

Los matemáticos chinos de principios de nuesa yera escribieron el llibru ''L'arte del cálculu'' nel que plantegaron diversos métodos pa resolver ecuaciones alxebraiques de primeru y segundu grau, según sistemes de dos ecuaciones con dos incógnites. 

El matemáticu griegu [[Diofanto d'Alexandría]] publicó la so Aritmética nel sieglu III tratando les ecuaciones de primer y segundu grau; foi unu de los primeros n'utilizar símbolos pa representar les ecuaciones. Tamién plantegó les ecuaciones con soluciones enteres, llamaes nel so honor [[ecuaciones diofánticas]].

=== Sieglos XV - XVI ===
Pasada la edá escura” medieval, l'estudiu de les ecuaciones alxebraiques esperimenta un gran impulsu. Nel sieglu XV taben a la orde del día los desafíos matemáticos públicos, con premios al vencedor; asina, un desafíu famosu enfrentó a dos matemáticos a resolver ecuaciones de tercer grau, el vencedor foi [[Niccolò Fontana Tartaglia]], espertu alxebrista.

Sobre mediaos del sieglu XVI los matemáticos italianos [[Girolamo Cardano]] y [[Rafael Bombelli]] afayaron que pa poder resolver toles ecuaciones de segundu, terceru y cuartu grau l'usu de los [[númberos imaxinarios]] yera indispensable. Cardano, enemigu acérrimo de Tartaglia, tamién topó métodos de resolución d'ecuaciones de cuartu grau. 

Nel mesmu sieglu'l matemáticu francés [[René Descartes]] popularizó la notación alxebraica moderna, na cual les constantes tán representaes poles primeres lletres del alfabetu, , , , … y les variables o incógnites poles postreres, , , . 
Nesta dómina enúnciense problemes d'ecuaciones que solo fueron resueltos anguaño, dalgunos que solo apocayá se resolvieron; ente ellos tenemos el [[últimu teorema de Fermat]], unu de los teoremes más famosos de la matemática, que nun foi demostráu hasta 1995 por [[Andrew Wiles]] y [[Richard_Lawrence_Taylor|Richard Taylor]].

=== Sieglos XVII-XVIII ===
Nel sieglu XVII [[Isaac Newton|Newton]] y [[Gottfried Leibniz|Leibniz]] publiquen los primeros métodos de resolución de les [[ecuaciones diferenciales]] qu'apaecen nos problemes de la [[dinámica]]. Probablemente'l primer llibru sobre estes ecuaciones foi “Sobre les construcciones d'ecuaciones diferenciales de primer grau” de Gabriele Manfredi (1707). Mientres el sieglu XVIII matemáticos pernomaos como [[Leonhard Euler]], [[Daniel Bernoulli]], [[Joseph Lagrange]] y [[Pierre Simon Laplace]] publiquen resultaos sobre [[ecuaciones diferenciales ordinaries]] y [[ecuaciones en derivaes parciales]].

=== Dómina moderna ===
A pesar de tolos esfuercios de les dómines anteriores, les ecuaciones alxebraiques de quintu grau y superiores aguantar a ser resueltes; solo consiguióse en casos particulares, pero nun s'atopaba una solución xeneral. A principios del sieglu XIX [[Niels Henrik Abel]] demostró qu'hai ecuaciones non resolubles; en particular amosó que nun esiste una fórmula xeneral pa resolver la ecuación de quintu grau; darréu [[Évariste Galois]] demostró, utilizando la so teoría de grupos, que lo mesmo puede afirmase de toa ecuación de grau igual o superior a cinco.

Mientres el sieglu XIX les ciencies físiques utilicen na so formulación ecuaciones diferenciales en derivaes parciales y/o ecuaciones integrales, como ye'l casu de la [[electrodinámica]] de [[James Clerk Maxwell]], la [[mecánica hamiltoniana]] o la [[mecánica de fluyíos]]. L'usu habitual d'estes ecuaciones y de los métodos de solución lleva a la creación d'una nueva especialidá, la [[física matemática]]. 

Yá nel sieglu XX la Física Matemática sigui ampliando'l so campu d'aición; [[Erwin Schrödinger|Schrödinger]], [[Wolfgang Ernst Pauli|Pauli]] y [[Paul Dirac|Dirac]] formulen ecuaciones diferenciales con funciones complexes pa la [[mecánica cuántica]]. [[Albert Einstein|Einstein]] utiliza **ecuaciones tensoriales''' pal so relatividá xeneral. Les ecuaciones diferenciales tienen tamién un ampliu campu d'aplicación en teoría económica.

Por cuenta de que la mayoría d'ecuaciones que se presenten na práutica son bien difíciles o inclusive imposibles de resolver analíticamente, ye habitual utilizar métodos numbéricos p'atopar raigaños averaos. El desenvolvimientu de la informática fai posible anguaño resolver en tiempos razonables ecuaciones de miles ya inclusive millones de variables usando algoritmos numbéricos.

## Ver tamién
* Ecuaciones alxebraiques
** Ecuación llinial (de primer grau)
** Ecuación de segundu grau
** Ecuación de tercer grau
** Ecuación de cuartu grau
** Ecuación de quintu grau
** Ecuación diofántica
** Sistema d'ecuaciones
* Teorema fundamental de l'álxebra
* Ecuación diferencial
* Ecuación química

## Notes
 


## Referencies

## Enllaces esternos

* La ecuación de primer grau, en refugues.cnice.mec.es