Egyenlet forrásának megtekintése

{{egyert3|reakcióegyenlet}}

[[Fájl:First Equation Ever.png|250px|thumb|right|Egy igen korai (talán az első) ismert egyenlet, melyet az [[európai kultúrkör]]ben felírtak<!--mivel a szimbolikus algebra kialakulása a retorikusból soklépcsős és több százados folyamat volt, nehéz meghatározni, matematikai szórövidítések egy halmaza - melyeket már az ókorban is alkalmaztak - mikortól számít annyira szimbolikusnak, hogy már egyenletnek nevezhető-->, [[Robert Recorde]] ''The Whetstone of Witte'' c. értekezéséből ([[1557]]). Mai jelölésekkel átírva az egyenletet: <math>14x + 15 = 71</math>, megoldása 4.]]

Az '''egyenlet''' a [[matematika|matematikában]] [[egyenlőségjel]]lel összekapcsolt két [[kifejezés (algebra)|kifejezés]]. A két kifejezést az egyenlet bal és jobb oldalának nevezzük. Az egyenlet az [[algebra]], sőt az egész matematika egyik legfontosabb fogalma.

Például
<center><math> 3|x|+1 = 2 </math></center> egy egyszerűbb egyenlet, melynek bal oldala a „[[3 (szám)|3]] [[szorzás|·]] [[abszolút érték|<nowiki>|x|</nowiki>]] + [[1 (szám)|1]]” kifejezés, jobb oldala pedig az egyetlen számból álló „[[2 (szám)|2]]” kifejezés. Az ismeretlenek előtt álló állandó szorzókat gyakran az egyenlet '''együttható'''inak nevezzük.

Mint ahogy a kifejezések, ebből következően az egyenletek is többnyire (bár nem kötelezően) [[változó (matematika)|változókat]] vagy határozatlan mennyiségeket is tartalmaznak, melyeket ismeretleneknek nevezünk (a fenti példában az „<math>x</math>” az ismeretlen).

Az egyenletek, ill. egyenlőtlenségek többnyire kétféle alapvető helyzetben szoktak előkerülni:
# Egy, akár elméleti, akár gyakorlati probléma megfogalmazása során számszerű összefüggéseket sikerül feltárni a problémával kapcsolatos legfontosabb [[mennyiség]]eket leíró változók között, és a probléma valamely paraméterek konkrét értékének megkeresését igényli (például mennyi festékmennyiség kell adott [[terület (matematika)|területű]] fal lefestéséhez). Ez tipikusan a matematika alkalmazásának szituációja. Ilyenkor az egyenletek [[#A megoldás vagy gyök fogalma|megoldásán]] van a hangsúly.
# Inkább elméleti igényű az a feladat, amikor valamilyen - nem feltétlenül absztrakt - struktúra általános, mennyiségi jellegű leírása a cél. Például a [[tömegpont|mechanikai testek]] mozgása [[mozgásegyenlet]]ekkel, a hővezetés [[differenciálegyenlet]]ekkel stb. írható le a [[fizika|fizikában]], a matematikában pedig a [[alakzat (geometria)|geometriai alakzat]]ok adhatóak meg egyenletekkel (pl. egy [[origó]] középpontú, 1 sugarú [[kör (geometria)|kör]] egyenlete <math>x^2+y^2=1</math>). Ilyenkor az egyenletek által leírt összefüggések egyrészt akár fontosabbak is lehetnek, mint a megoldásuk, másrészt a megoldás folyamata meg is fordulhat (például egy [[parabola (görbe)|parabola]] egyenletét felírva, a megoldáshalmaz adott, és ehhez kell egyenletet keresni).

Ha mást nem mondunk, akkor az egyenletekben szereplő műveleti jelek és függvényjelek a [[Valós számok|valós]] vagy [[Komplex számok|komplex]] számokon értelmezett szokásos műveletek és függvények, a számok valós ill. komplex számok, és az ismeretlenek értéke is valós vagy komplex. Azonban természetesen más [[matematikai struktúra|struktúrákban]] is értelmezhető az egyenlet fogalma (amint ezt a hővezetés differenciálegyenleteinek példája is mutatja). Az egyenlet értelmezése és megoldása függ az illető alaphalmaztól, melyben értelmezve van.

Például a <math>6x=2</math> egyenletnek egészen más a jelentése és a megoldása, ha
# az egész számokon
# a valós számokon
# a <math>\mathbb{Z}_{10}</math> [[maradékosztály]] felett értelmezzük.
Ugyanis az első esetben nincs megoldás, a második esetben egy megoldás van, <math>x=\frac13</math>, a harmadik esetben két megoldás van: <math>x_1=2</math> és <math>x_2=7</math>).

Egy egyenletnek tehát ''csak adott struktúrán belül'' van jelentése.

== A megoldás vagy gyök fogalma ==

Az egyenlet megoldásán az ismeretlen(ek) mindazon értékeinek meghatározását értjük, amelyeket behelyettesítve az egyenletbe, annak két oldala egyenlővé válik. Ezeket az értékeket az egyenlet ''megoldásainak'' vagy ''gyökeinek'' nevezik.<ref>{{cite book |editor=Dr. Farkas Miklós |title=Matematikai kislexikon |origyear=1972 |publisher=Műszaki Könyvkiadó |location=Budapest |language=magyar}}</ref>

Például a fenti 3|x|+1 = 2 valós együtthatós egyenletnek két megoldása van, 1/3 és -1/3.

Mindazonáltal nem minden egyenlet tartalmaz ismeretlent. Például a
<center><math> 2(x+1) = 2x+2 </math></center>
egyenletet a szokásos módszerek szerint: a zárójel felbontásával és a [[mérlegelv]] alkalmazásával megoldva,
<center><math>
\begin{align}
2x+2 &= 2x+2 & /-2 \\
2x &= 2x & /-2x \\
0 &= 0\\
\end{align}
</math></center>
egyenlethez juthatunk. Ez utóbbi felfogható akár „nullismeretlenes” egyenletnek is (noha a szakirodalom nem szokta alkalmazni ezt a kifejezést). Az is látható, hogy az ekvivalens átalakítások akár csökkenthetik is ismeretlenek számát.

Az egyenlet megoldása és gyöke között különbség tehető, mint a következőkben le van írva:

Az <math>x^2-6x+9=0</math> egyenletnek egy megoldása van, a <math>3</math>, de két gyöke, amit a másodfokú egyenlet megoldóképlete ad : &nbsp;<math>x_1=\frac{-b+\sqrt{b^2-4ac}}{2a}</math> &nbsp;és&nbsp; <math>x_2=\frac{-b-\sqrt{b^2-4ac}}{2a}</math>&nbsp; gyanánt. A két gyök azonos (egybeesik), mert a [[diszkrimináns]] zéró.<ref>{{Cite web |url=http://www.bethlen.hu/matek/mathist/forras/Masodfoku_egyenlet_diszkriminansa.htm |title=Archivált másolat |accessdate=2013-12-02 |archiveurl=https://web.archive.org/web/20131202234823/http://www.bethlen.hu/matek/mathist/forras/Masodfoku_egyenlet_diszkriminansa.htm |archivedate=2013-12-02 }}</ref>

Az egyenlet megoldáshalmaza az a halmaz, amelynek elemei az egyenlet megoldásai.
Az egyenlet megoldásai az egyenlet azon gyökei, amelyek elemei az egyenlet értelmezési tartományának.

Két egyenlet [[ekvivalens]], azaz [[egyenértékű]], ha egyenlő a megoldáshalmaza és az értelmezési tartománya.

Az egyenletek megoldása során lehetőleg ekvivalens átalakításokat kell használni, de erre nincs mindig lehetőség. Lehet, hogy törtes egyenletet fel kell szorozni a nevezők legkisebb közös többszörösével, vagy négyzetre kell emelni. Kikötések segítségével a hamis gyökök kizárhatók, vagy ellenőrzéssel felismerhetők. Ami valamelyik kifejezésbe nem helyettesíthető be, az nem lehet megoldás még akkor sem, ha egyik oldalba sem helyettesíthető be. Célszerű azonban a lehetséges számítási hibák miatt minden egyenletmegoldást ellenőrizni, azaz visszahelyettesíteni az eredeti egyenletbe. Ügyelni kell arra, hogy ne veszítsünk gyököt, mivel azt utólag nem lehet megtalálni. Ezt szükség esetén esetszétválasztással kell megelőzni.

== Egyenletek osztályzása ==
=== Az ismeretlenek száma szerint ===

Az ismeretlenek száma szerint beszélünk egyismeretlenes, kétismeretlenes, illetve többismeretlenes egyenletről.

=== Az alaphalmaz szerint ===

Azzal a megállapítással összhangban, miszerint egy egyenletnek csak adott struktúrán belül van értelme, az egyenleteknek sokszor alaphalmazt adunk meg, melyben a megoldásokat keressük. Ez számtalanféleképp lehetséges, de a gyakorlatban elkülöníthető néhány fontos alaptípus és elnevezés:
# [[diofantoszi egyenlet]]ek: egész együtthatós <!--algebrai???--> egyenletek, melyek megoldásai [[egész számok]];
# komplex (változós vagy együtthatós) egyenletek: együtthatóik és megoldásaik [[komplex számok]];
# [[függvényegyenlet]]ek: függvényváltozókat tartalmaznak, vagyis megoldásaik - általában valós-valós - függvények. Speciális esetük a [[differenciálegyenlet|differenciál-]] és az [[integrálegyenlet]]ek. Nevezetes függvényegyenlet (a parciális differenciálegyenletek közé tartozó) pl. a [[Schrödinger-egyenlet]].
# [[mátrixegyenlet]]ek: az együtthatók és a megoldások [[Mátrix (matematika)|mátrixok]].
# [[differenciaegyenlet]]ek, melyek megoldásai sorozatok. Például <math>x_n - x_{n-1} - x_{n-2} = 0</math> egy másodrendű, lineáris differenciaegyenlet, melynek (egyik) megoldása a Fibonacci-sorozat.

A differenciálegyenletekben az ismeretlen egy függvény, és az egyenlet a függvény és valahányadik deriváltja között állapít meg összefüggést. A legmagasabb derivált adja meg az egyenlet rendjét. A természettudományos modellezés gyakran eredményez differenciálegyenleteket.

A [[közönséges differenciálegyenlet]]ekben a függvényt egy változó szerint deriválják. Például <math>f'(x) + x f(x) = 0</math> elsőrendű lineáris differenciálegyenlet.

A [[parciális differenciálegyenlet]]ekben a függvényt több változó szerint deriválják. Például <math> \frac{\partial f(x,t)}{\partial t} + \frac{\partial f(x,t)}{\partial x} = 0</math> elsőrendű parciális differenciálegyenlet.

A differenciálegyenletek keverednek is. Az integro-differenciálegyenletekben szerepelnek a függvény deriváltjai és integráljai. Az algebrai differenciálegyenletekben algebrai és differenciálegyenletekre jellemző kifejezések fordulnak elő, mint például az Euler-Lagrange-egyenlet a matematikai ingára:
:<math>\begin{align} \ddot{x}_1 & = 2 x_1 \lambda \\ \ddot{x}_2 & = 2 x_2 \lambda - 1 \\ 0 & = x_1^2 + x_2^2 - 1 \end{align}</math>

A sztochasztikus differenciálegyenletekben véletlen mennyiségek is szerepelnek. Például a Black-Scholes-egyenlet a pénzügyi matematikában:
<math> {\rm d}S_t = r S_t {\rm d}t + \sigma S_t {\rm d}W_t</math>

=== A megoldhatóság szerint ===

Ha egy egyenletnek az alaphalmaz minden eleme megoldása, '''azonosság'''nak nevezzük, ha viszont egyáltalán nincs megoldása az alaphalmazon, '''ellentmondás'''nak, vagy megoldhatatlannak. Ha van legalább egy megoldása, '''megoldható'''nak nevezzük.

Azonosságokra példák:
* <math>(a+b)+c=a+(b+c)</math> a valós és a komplex számokon; illetve Abel-csoportokban az additív jelöléssel.
* <math>(a+b)^2=a^2+2ab+b^2</math>, ahol <math>a,b</math> valós számok
* Euler-azonosság: <math>e^{i \varphi} = \cos\left(\varphi \right) + i \sin\left( \varphi\right)</math>, ahol <math>\varphi</math> valós.

A megoldhatóság függ az alaphalmaztól. Például:
:<math>x^2=2</math> megoldhatatlan a racionális számok körében. A valós számokon megoldható, és megoldásai <math>\lbrace \sqrt{2}, - \sqrt{2} \rbrace</math>. 
:<math>x^2=-2</math> megoldhatatlan a valós számok körében, de a komplex számokon igen, és megoldásai <math>\lbrace \sqrt{2}i, -\sqrt{2}i \rbrace</math>.

=== A műveletekkel való kifejezhetősége szerint ===

Legyen adott egy matematikai struktúra az A halmaz felett. Az A-ból A-ba képező valamely f függvény vagy kifejezhetőek az adott struktúra nyelvén (azaz csak a struktúrabeli műveleteket, az „alapműveleteket” tartalmazó, algebrai kifejezésekkel), vagy nem. Az előbbi esetben az f függvényt algebrainak nevezzük a struktúra felett, míg az utóbbi esetben transzcendensnek. Ilyen például az [[abszolútérték-függvény]] vagy a [[trigonometrikus függvények]] a valós számtest felett.

Az alsó- és középfokú oktatásban a valós számok körében gyakran előforduló egyenlettípusok:

* Algebrai egyenlet
** [[lineáris egyenletrendszer|Lineáris v. elsőfokú egyenlet]] <!--legfeljebb elsőfokú-->
** [[Másodfokú egyenlet]]
** [[Harmadfokú egyenlet]]
* Transzcendens egyenlet
** Abszolútértékes egyenlet
** Exponenciális egyenlet
** Trigonometrikus egyenlet

stb.
====Lineáris egyenletek====
A lineáris egyenletek legfeljebb elsőfokúak, és a <math>T\left(x\right) = a</math> alakra hozhatóak, ahol <math>a</math>-ban nem szerepel az ismeretlen. Továbbá :<math>T\left(\lambda x + \mu y\right) = \lambda T\left( x \right) + \mu T\left( y\right)</math>, valamilyen <math>\lambda, \mu</math> együtthatókkal. Vannak olyan egyenletek is, melyekben szerepelnek például másodfokú, egymást kiejtő tagok is, de amíg egyenletrendezéssel nem ejtik ki ezeket, addig az egyenlet nem számít lineárisnak.

Lineáris egyenleteket nemcsak számok, hanem vektorok körében is fel lehet írni, és az egyenletet vektortér fölött megoldani. Ekkor <math>T(x)</math> és <math>a</math> egy vektortér elemei, és a megoldást ebben a vektortérben vagy egy másik vektortérben lehet keresni. Megoldhatók a szuperpozíciós elv alapján: egy inhomogén egyenlet megoldása megkapható, mint a hozzá tartozó homogén egyenlet megoldásának és egy partikuláris megoldásnak összege. Ez a [[lineáris egyenletrendszer]]ekre is teljesül.

A linearitás miatt a homogén egyenletek, egyenletrendszerek mindig megoldhatók; egy megoldásuk a nulla, illetve a nullvektor. Ha egy homogén egyenlet megoldása egyértelmű, akkor egy inhomogén egyenlet megoldása is egyértelmű. Egy hasonló, de mélyebb kijelentés a [[Fredholm-alternatívák]].

====Polinomegyenletek====
A polinomegyenletekben polinomok szerepelnek, mindkét oldalon. Ha legalább az egyik foka egynél magasabb, akkor az egyenlet nemlineáris. 
A következő egyenletek számára léteznek megoldóképletek, illetve megoldhatók gyökjelekkel:
* másodfokú egyenlet, az <math>ax^2 + bx + c = 0</math> alakra rendezve, illetve a teljes négyzetté való kiegészítés módszerével
* harmadfokú egyenlet, az <math>ax^3 + bx^2 + cx + d = 0</math> alakra hozva;
* negyedfokú egyenlet, az <math>ax^4 + bx^3 + cx^2 + dx + e = 0</math> alakból kiindulva. Itt inkább az algoritmust használják, a megoldóképlet összetettsége miatt.
Ötödfokútól kezdve a polinomegyenletek nem oldhatók meg gyökjelekkel.
====Törtes egyenletek====
A törtes egyenletekben az ismeretlen megjelenik legalább egyik oldal nevezőjében, például
:<math>\frac{x+2}{x^2+3} = \frac{2}{x+1}</math>.
A megoldás útja a felszorzás a nevezőkkel, majd továbbszámolás a kapott polinomegyenlettel. Itt arra kell figyelni, hogy ragaszkodni kell az eredeti értelmezési tartományhoz, hiszen megoldásként adódhatnak olyan számok is, amelyek nem helyettesíthetők vissza. Felszorzás előtt kikötéseket kell tenni. Visszahelyettesítéskor ügyelni kell arra, hogy ami valamelyik kifejezésbe nem helyettesíthető be, az nem lehet megoldás még akkor sem, ha egyik oldalba sem helyettesíthető be.
====Gyökös egyenletek====
Gyökös egyenletekben legalább egy, az ismeretlennel alkotott kifejezés gyökjel alatt áll. Például
:<math>\sqrt{x} = 1-x</math>
A gyökös egyenletek tekinthetők speciális hatványegyenleteknek, <math>\tfrac1n</math> kitevővel. Megoldási módszerük egy gyökös kifejezés elkülönítése, és a megfelelő hatványra (a példában négyzetre) emelése. Ezzel a módszerrel az összes gyök kiküszöbölhető.

Ügyelni kell arra, hogy a páros hatványra emelés nem ekvivalens átalakítás, hamis gyököket hozhat be. Ezeket esetszétválasztással, kikötésekkel, de ellenőrzéssel is ki lehet zárni. Például a fenti egyenlet négyzetre emelése az <math>x = (1-x)^2</math> egyenletet eredményezi, melynek negatív gyöke hamis gyök. Nem lehet az eredeti egyenlet megoldása, mert az egyenlet bal oldala erre az értékre nem értelmezett.
====Exponenciális és logaritmikus egyenletek====
Exponenciális egyenletekben az ismeretlen legalább egyszer kitevőben szerepel. Például <math>2^{3x+2} = 4^{x+1}</math> exponenciális egyenlet. Logaritmikus egyenletekben az ismeretlen egy kifejezésének logaritmusa szerepel.

Az exponenciális egyenletek megoldhatók logaritmálással, logaritmusos egyenletek exponenciális vételével. A logaritmikus egyenletekhez kikötéseket kell tenni, mivel csak pozitív számnak van logaritmusa. A hamis gyökök ellenőrzéssel is kizárhatók.
====Trigonometrikus egyenletek====
A trigonometrikus egyenletekben az ismeretlen egy szögfüggvény argumentumában szerepel. Például <math>\sin(x) = \cos(x)</math>.

A trigonometrikus függvények ciklikussága miatt a trigonometrikus egyenletek megoldásai is ciklikusan ismétlődnek. Néha a megoldást egy ciklusra korlátozzák, ilyenkor az ismétlődés kizárt. A megoldások ciklikusságát egy egész paraméter bevezetésével fejezik ki:
:<math>x = \frac{\pi}{4} + \pi k</math> &nbsp;, ahol &nbsp; <math>k \in \mathbb{Z}</math>.

Amennyiben az egyenletben szereplő trigonometrikus függvény nem folytonos, úgy kikötéseket kell tenni. Hasonlósan, ha a folytonos trigonometrikus függvény a nevezőbe kerül. Az ellenőrzés is segít kizárni a hamis gyököket.

===Paraméteres egyenletek===
A paraméteres egyenletekben van legalább egy ismeretlen, melynek értékét ismertnek tételezik fel. Erre példák a megoldóképletek. Az <math>x^2+px+q \; = \; 0</math> másodfokú egyenlet megoldóképlete:
:<math>x_{1,2} \; = \; -\frac{p}{2}\pm \sqrt{\frac{p^2}{4}-q}</math>.
Itt a <math>p, q</math> paraméterek értéke attól az egyenlettől függ, melyre a megoldóképletet alkalmazzuk. Ha <math>4q \leq p^2</math>, akkor a megoldások valósak, különben komplexek.
===Definiáló egyenletek===
A definiáló egyenletek új szimbólumokat vezetnek be. Ekkor általában a definiálandó szimbólumot írják balra, majd egy („:=“) jelet írnak, és utána a definiáló kifejezést. A : a definiált szimbólum oldalán áll. Alternatívaként írnak egyenlőségjelet, és rá a def rövidítést, ekkor a definiálandó szimbólumnak a bal oldalon kell állnia.

Például, ha <math>f</math> függvény, akkor deriváltja az <math>x_0</math> helyen
:<math>f'(x_0) := \lim_{x \to x_0} \frac{f(x) - f(x_0)}{x - x_0}</math>
===Alak szerint===
A homogén egyenletek alakja 
:<math>T(x) = 0</math>,
tehát nincs bennük konstans tag. A <math>T</math> bal oldalt függvénynek tekintve, az egyenlet megoldása a bal oldal nullhelye, illetve gyöke. Ha az egyenlet nem homogén, akkor inhomogén. A lineáris egyenletrendszerek és a lineáris differenciálegyenletek körében a homogén rendszerek fontos szerephez jutnak.

A fixpontegyenletek alakja
:<math>T(x) = x</math>,
és megoldása a bal oldal, mint függvény fixpontja.

A sajátérték-problémák alakja
:<math>T(x) = \lambda x</math>,
ahol a <math>\lambda</math> sajátérték és az <math>x\neq 0</math> sajátvektor is ismeretlen, tehát ez egy többismeretlenes egyenlet. A sajátérték-problémának több alkalmazása is van, használják mátrixok elemzéséhez és felbontásához, továbbá a kvantummechanikában és a szerkezeti mechanikában is.
==Egyenlőségláncok==
Az egyenlőségláncokban nem két oldal van összekapcsolva egyenlőségjellel, hanem több kifejezés egyenlőségét követeljük meg. Ahhoz, hogy igazak legyenek, az összes egyenlőségnek teljesülnie kell. Például <math>17+3 = 20/2 = 10+7 = 17</math> hamis, viszont <math>17+3 = 40/2 = 10+10 = 20</math> igaz. Az értelmezést megkönnyítik az egyenlőség tulajdonságai.

Gyakran megtalálhatók becslésekben, egyenlőtlenségekkel együtt. Például <math>n\ge 3</math> esetén <math>2n^2 = n^2+n^2 \ge n^2+3n > n^2+2n+1 = (n+1)^2</math>.
==Egyenletrendszerek==
Ha több egyenlőség egyidejű teljesülését kívánjuk meg, akkor egyenletrendszerről beszélünk. Többnyire több ismeretlent tartalmaznak. 
===Lineáris egyenletrendszerek===
Egy egyenletrendszer lineáris, ha minden eleme lineáris. Például az
:<math>\begin{align} x+y+z &= 5 \\ 2x-z &= 13 \end{align}</math>

egyenletrendszer lineáris, az <math>x,y</math> és <math>z</math> ismeretlenekkel. Ha az együtthatókat mátrixként, a konstans tagokat vektorként fogjuk fel, akkor egyetlen egyenletet látunk, melynek megoldása vektor. A [[lineáris algebra]] ezt a felfogást támogatja. Így az egyenlet az
:<math> \mathbf{A} \cdot \mathbf{x} = \mathbf{b}</math>

alakot ölti, ahol <math>\mathbf{A}</math> az együtthatók mátrixa, <math>\mathbf{b}</math> a konstans tzagok vektora, és <math>\mathbf{x}</math> az ismeretlen vektor. A szorzás a mátrix-vektor szorzás. A fenti egyenletben tehát
:<math>\mathbf{A} = \begin{pmatrix}1&1&1 \\ 2&0&-1\end{pmatrix}</math>, &nbsp; <math>\mathbf{x} = \begin{pmatrix}x \\ y\\z\end{pmatrix}</math> &nbsp; és &nbsp; <math>\mathbf{b} = \begin{pmatrix}5\\ 13\end{pmatrix}</math>.

Az egyenletrendszer szinguláris, ha [[mátrix (algebra)|mátrix]]a [[szinguláris mátrix|szinguláris]]. Ezt jelzi, ha két sora, illetve oszlopa arányos. Ekkor az egyenletrendszer degenerált. A degeneráltság az alulhatározottság egyik oka. Egy másik ok, ha kevesebb az egyenlet, mint ahány ismeretlen van. Ekkor vagy nincs megoldás, vagy a megoldások alteret alkotnak.<ref name="vo.elte.hu">{{Cite web |url=http://www.vo.elte.hu/~dobos/teaching/fiznum2014/pres/02.pdf |title=Archivált másolat |accessdate=2019-10-09 |archiveurl=https://web.archive.org/web/20191009172728/http://www.vo.elte.hu/~dobos/teaching/fiznum2014/pres/02.pdf |archivedate=2019-10-09 }}</ref>

Ha több az egyenlet, mint az ismeretlen, akkor a rendszer általában ellentmondásos, megoldás nincs. Túlhatározottnak nevezik.<ref name="vo.elte.hu"/>

A nem degenerált eseteket [[Gauss-elimináció]]val, illetve [[LU-felbontás]]sal, a degenerált eseteket [[szinguláris ́érték-dekompozíció]]val oldják meg. Túlhatározott esetekben a [[legkisebb négyzetek módszere|legkisebb négyzetek módszerével]] keresnek közelítő megoldást. Dupla pontossággal legfeljebb néhány száz egyenletből álló rendszerek oldhatók meg. A numerikusan szinguláris mátrixokat is szingulárisként kezelik, különben hibát kapnak a kerekítési hibák miatt.<ref name="vo.elte.hu"/>

==Nemlineáris egyenletrendszerek==
Ha van a rendszerben nemlineáris egyenlet, akkor a rendszer nemlineáris. Például :<math>\left\{\begin{array}{rcl} 3x^2 + 2xy &=& 1 \\ \sin(x) \cdot \ln(y) &=& e^x \end{array}\right.</math>

nemlineáris az <math>x</math> és <math>y</math> ismeretlenekkel. Ezek megoldására nincs általános módszer. Előfordul, hogy nem lehet egzakt módszerrel kiszámolni a megoldást, hanem [[Newton-módszer]]rel közelítő megoldáshoz lehet jutni.

Egy ökölszabály szerint az egyértelmű megoldhatósághoz annyi egyenlet kell, ahány ismeretlen. Ez azonban nem biztos, hogy így van, például, ha magas fokszámú polinomok szerepelnek, akkor sok megoldás lehetséges. Az [[implicitfüggvény-tétel]] támogatja az ökölszabályt.

== Megoldási eljárások ==
A megoldás az a folyamat, amivel meghatározzuk az összes olyan helyettesítést, melyre az egyenlet igaz. Azt is mondjuk, hogy kielégíti, eleget tesz az egyenletnek. Az egyenlet megoldásai alkotják az egyenlet megoldáshalmazát. Az ellentmondások megoldáshalmaza üres.

Az egyes egyenletek megoldási módszerei egyenlettípustól függően nagyon különbözhetnek. Nemcsak egy differenciálegyenlet megoldásának menete különbözhet nagyon egy diofantosziétól, de már a legegyszerűbb valós együtthatós egyismeretlenes első- és másodfokú egyenletek megoldása is általában másféle gondolkodási műveleteket igényel.

Az egyenletek megoldásával kapcsolatos legfontosabb fogalmak: [[mérlegelv]], [[megoldóképlet]], [[közelítő megoldás]]. Mindezek a módszerek analitikus megoldás keresésére alkalmasak. Az ekvivalens átalakítások lényege az, hogy megőrizzék az eredeti egyenlet gyökeit, és új gyökök ne kerüljenek be. Van, hogy az analitikus megoldás nem található meg ekvivalens átalakításokkal, így adódhatnak hamis gyökök. Az ellenőrzés nemcsak a hamis gyökök kizárására, hanem a számolási hibák felismerésére is alkalmas. Az ellenőrzés azt jelenti, hogy a megtalált gyököket visszahelyettesítik az eredeti egyenletbe.

Nevezetes, egyenletformában is megfogalmazható, geometriai eredetű problémák, melyeknek nincs megoldása, vagy nem található meg analitikus vagy engedélyezett módszerekkel. Ilyen a [[körnégyszögesítés]] (közelítő megoldás lehetséges), [[kockakettőzés]] (közelítőleg lehetséges), illetve a [[Nagy Fermat-tétel]]ben szereplő egyenlet (ha van megoldás, akkor az nem fér számítógépbe). Sok más egyenlettel együtt ekkor a numerikus módszerek segíthetnek megoldást találni. Ismert eljárás a Newton-módszer, vagy a közelítő geometriai szerkesztések. A [[Galjorkin-módszer]] végtelen dimenziós terekben keres megoldást, ahol a közelítést véges dimenzióban adja meg.

Az egyenletek megoldásairól különböző állítások bizonyíthatók be akkor is, ha a megoldást (egyelőre) nem találjuk. Így lehet kérdés a megoldás létezése, egyértelműsége, vagy függése a paraméterektől. Ha ez a függés folytonos, akkor a probléma korrekt. Ez a numerikus megoldás szempontjából is fontos. Ezzel látható be az is, hogy a numerikus megoldás valóban a megfelelő megoldás közelítése.

== Az egyenletfogalom története ==

Az egyiptomiak és más ókori keleti népek az egyenleteket [[szöveges feladat]]ok formájában fogalmazták meg. Minthogy ismerték a természetes és a pozitív törtszámokat, az alaphalmaz általában a pozitív racionális számok halmaza volt.

A római korban [[Diophantosz]] kialakított egy szórövidítésekből álló pre-algebrai nyelvet, melyen „egyenleteket” írhatott fel. Problémái már nem geometriai motivációjúak voltak, mint görög elődei esetében. A negatív számokat ő sem fogadta el megoldásként. Megoldási módszere gyakran a [[hamis feltevés]] módszere volt. Általában megelégedett egyetlen megoldás megtalálásával.

A hindu [[Brahmagupta]] már elfogadta a negatív számokat (a mínuszjel nála a számjel fölé tett pont volt), adósság-vagyon formájában és a számegyenesen is interpretálta őket, és ennek segítségével nagy lépést tett a másodfokú egyenletek felírásában és megoldásában. A [[változó (matematika)|betűparaméter]] fogalmát még nem ismerte, így csak numerikus példákon keresztül tudott foglalkozni velük; a megoldáshoz általában teljes négyzetté kiegészítés segítségével jutott el.

[[Fibonacci]] idejéig Európában csak szöveges formában tudtak egyenleteket felírni, ám Fibonacci újra bevezette a hinduk által már többé-kevésbé elfogadott negatív számokat, a mintegy két évszázaddal utána következő [[Regiomontanus]] pedig - többek között - a gyökmennyiségeket, ami az irracionális számok és kifejezések diadala volt. [[Luca Pacioli|L. Pacioli]] és [[Nicolas Chuguet|N. Chuguet]] visszatértek a Diophantosz által már bevezetni kezdett szinkopált algebrai nyelvhez. Olaszországban mindeközben eljutottak a harmadfokú egyenlet megoldásáig, megkezdve a [[komplex számok]] fogalmának elterjedését.

[[René Descartes|R. Descartes]] a [[koordináta-rendszer]] és az analitikus geometria elterjesztésével megteremtette a kapcsolatot az alakzatok és az egyenletek között.

Az újkor végén óriási áttörést jelentettek [[Evariste Galois|E. Galois]] és [[Niels Henrik Abel|N. H. Abel]] – igaz, negatív jellegű (lehetetlenséget bizonyító) – eredményei a magasabbfokú algebrai egyenletek gyökkifejezésekkel való megoldhatatlanságáról.

== Hivatkozások ==
=== Kapcsolódó szócikkek ===

* [[egyenlet (elemi matematika)]]
* [[egyenlőtlenség]]
* [[nyitott mondat]]
<!--
* [[Lineáris egyenlet]]
* [[Másodfokú egyenlet]]
* [[Harmadfokú egyenlet]]
* [[Negyedfokú egyenlet]]
* [[Trigonometrikus egyenlet]]
* [[Differenciálegyenlet]]
* [[Paraméteres egyenlet]]
-->

== Források ==
* [http://erettsegi.com/matematika/mit-nevezunk-egyenletnek-mi-az-egyenlet-igazsaghalmaza-mikor-mondjuk-hogy-ket-egyenlet-equivalens/ Erettsegi.com]
* [https://web.archive.org/web/20100628180609/http://www.mathematika.hu/viewpage.php?page_id=10 Mathematika.hu]
* {{mathworld|urlname=Equation|title=Egyenlet}}
{{Wiktionary}}
{{Commonscat|Equations}}
* [https://web.archive.org/web/20150522220849/http://www.schule-bw.de/unterricht/faecher/mathematik/3material/sek1/algebra/gleich Landesbildungsserver Baden-Württemberg] – Az érettségihez szükséges egyenletek típusai, megoldásaik feladatokkal (német)
* {{citeweb | url=http://eqworld.ipmnet.ru/ | wayback=20040607111730 | title=The World of mathematical equations}} Átfogó angol oldal
* {{citeweb|title=Equation az Encyclopedia Of Math-ból|author=|url=https://www.encyclopediaofmath.org/index.php/Equation}}
* {{PlanetMath|title=Equation|id=Equation|author=J. Pahikkala}}
* [http://www.bbc.com/earth/story/20160120-you-decide-what-is-the-most-beautiful-equation-ever-written A 12 legszebb egyenlet] bbc.com
==Fordítás==
{{fordítás|de|Gleichung}}

== Jegyzetek ==
{{jegyzetek}}
== További információk ==
{{wikiszótár}}

{{Nemzetközi katalógusok}}
{{Portál|matematika}}

[[Kategória:Elemi algebra]]