«Ekuazio linealetako sistema»: berrikuspenen arteko aldeak

ez dago edizio laburpenik
t (Autoritate kontrola jartzea)
{{HezkuntzaPrograma|Matematika}} [[Matematika|Matematikan]] eta [[Aljebra lineal|aljebra linealean]] '''ekuazio linealetako sistema''' bat, edo sistema lineal bat, [[Gorputz (matematika)|gorputz]] edo [[Eraztun (matematika)|eraztun]] [[Trukakortasun|trukakor]] batean definitutako [[Ekuazio lineal|ekuazio linealen]] multzo bat da (hau da, [[ekuazio]] guztiak lehenengo mailakoak dituen ekuazio-sistema). Hona hemen ekuazio linealetako sistema baten adibidea:
{{HezkuntzaPrograma|Matematika}}
[[Matematika]]n, '''ekuazio linealetako sistema''' bat [[ekuazio]] linealen multzo bat da, [[aldagai (argipena)|aldagai]] berdinen gainean, helburua sistemako [[ekuazio lineal]] guztiak betetzen dituzten ezezagun edo aldagaien balioa aurkitzea izanik. Ekuazio linealetako sistemen ebazpena [[aljebra]]n garrantzi handiko gaia da eta bere inguruan matematikaren alor zabal garatzen da. Adibide gisa, ekuazio linealetako sistema honetan:
::<math>\begin{matrix}
3x & + 2y & = & 16 \\
x & -y & = & 2
\end{matrix}</math>
 
soluzioa hau da: <math>x=4\ \ , \left y=2.\,</math>{
\begin{array}{rcrcrcr}
3 \,x_1 & + & 2\,x_2 & + & \,x_3 & = & 1 \\
2 \,x_1 & + & 2\,x_2 & + & 4 \,x_3 & = & -2 \\
- \,x_1 & + & \frac{1}{2} \,x_2 & - & \,x_3 & = & 0
\end{array}
\right .</math>
 
Ekuazio linealetako sistema hori ebaztearen helburua hiru ekuazioak betetzen dituzten <math>x_1,x_2 </math> eta <math>x_3 </math> [[Ezezagun|ezezagunen]] edo [[Aldagai (matematika)|aldagaien]] [[Ekuazioak ebaztea|balioak aurkitzea]] da.
''x=4'' eta ''y=2'' balioak sistemako ekuazioetan ordeztuz, berdintzak bete egiten direla egiaztatzen baita:
 
Ekuazio linealetako sistemen ebazpena [[Aljebra|aljebran]] garrantzi handiko gaia da.
::<math>\begin{matrix}
3 \times 4 & + 2 \times 2 & = & 16 \\
4 & -2 & = & 2
\end{matrix}</math>
 
Ekuazio linealetako sistemen problema matematikako problema zaharrenetarikoa da, eta aplikazio ugari ditu, hala nola [[Seinale digitalen prozesaketa|seinale digitalen prozesaketan]], estimazioan, aurresatean, programazio linealean eta [[Zenbakizko analisia|zenbakizko analisiko]] problema ez-linealen [[Hurbilketa|hurbilketetan]].
Nabarmendu behar da ekuazio linealetako sistema batean ez dagoela beti soluzio bat eta batzuetan soluzio bat baino gehiago ere izaten dela.
 
== Ebazpen-metodo sinpleakSarrera ==
Oro har, ''m'' ekuazio lineal eta ''n'' ezezagun dituen sistema bat honela idatz daiteke:
 
<math>{\displaystyle {\begin{matrix}a_{11}x_{1}&+a_{12}x_{2}&+\dots &+a_{1n}x_{n}&=b_{1}\\a_{21}x_{1}&+a_{22}x_{2}&+\dots &+a_{2n}x_{n}&=b_{2}\\\dots &\dots &\dots &\dots &\dots \\a_{m1}x_{1}&+a_{m2}x_{2}&+\dots &+a_{mn}x_{n}&=b_{m}\end{matrix}}{,}}</math>
Bi ezezagun dituzten ekuazio linealetako sistemetarako, metodo aljebraiko errazak erabil daitezke sistema ebazteko: ordezpen-, berdinketa- edo laburketa-metodoak.
 
non <math>{\displaystyle x_{1},\dots ,x_{n}}</math> ezezagunak diren, eta <math>a_{{ij}}\in {\mathbb {K}} </math> zenbakiak, sistemaren <math>{\displaystyle \mathbb {K} \ [=\mathbb {R} ,\mathbb {C} ,\dots ]}</math> gorputzaren gaineko koefizienteak. Sistema hori forma matrizialean berridatz daiteke:
=== Ordezpen-metodoa ===
 
<math>{\displaystyle {\begin{bmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}\end{bmatrix}}{\begin{bmatrix}x_{1}\\x_{2}\\\vdots \\x_{n}\end{bmatrix}}={\begin{bmatrix}b_{1}\\b_{2}\\\vdots \\b_{m}\end{bmatrix}}}</math>
Ezezagun bat edozein ekuaziotik askatu, bigarren ezezagunaren mendean utzi eta beste ekuazioan ordeztu. Horrela, bigarren ezezaguna bakarrik gertazen da ekuazio horretan. Bigarren ezezaguna askatu eta gero, lehenengo ezezaguna askatu egiten da ordezpena egiteko erabili den berdintza erabiliz. Adibidez,
 
Matrize bakoitza letra batez adierazten bada, honako adierazpena lortzen da:
::<math>\begin{matrix}
 
3x & + 2y & = & 16 \\
<math>{\displaystyle \mathbf {Ax} =\mathbf {b} } </math>
x & -y & = & 2
 
Adierazpen horretan, '''A''' da ''m''x''n'' dimentsioko [[matrize]] bat; '''x''', ''n'' luzerako zutabe-bektore bat, eta '''b''', ''m'' luzerako zutabe-bektore bat. Mota honetako sistemetan [[Gauss-Jordan algoritmo|Gauss-Jordan algoritmoa]] erabiltzen da, koefizienteak edozein gorputzetakoak izanda ere. '''A''' matrizea sistema lineal horren '''koefiziente-matrizea''' da; '''b''', sistemaren gai askeen bektorea, eta '''x''', sistemaren ezezagunen bektorea.
 
== Sistema lineal errealak ==
Atal honetan, <math>{\mathbb {R} }</math> gorputzaren gaineko ekuazio linealetako sistemen propietateak dira aztergai, hau da, koefiziente errealak dituzten ekuazio linealetako sistemak.
 
=== Adierazpen grafikoa ===
[[Fitxategi:PlaneIntersection.png|link=https://eu.wikipedia.org/wiki/Fitxategi:PlaneIntersection.png|thumb|223x223px|Paraleloak ez diren bi [[Plano|planoren]] ebakidura [[Zuzen (geometria)|zuzen]] bat da.]]
n ezezagun dituen sistema bat dagokion [[Euklidear espazio|espazio euklidearrean]] irudika daiteke.
 
Bi ezezaguneko sistemetan, sistemaren espazioa [[plano bidimentsionala]] da, eta ekuazio bakoitza [[Zuzen (geometria)|zuzen]] baten bidez adierazten da. Ekuazio horien bidez adierazitako zuzenek elkar mozten duten [[Puntu (geometria)|puntua]] (edo [[Lerro (geometria)|lerroa]]) da soluzioa. Zuzen guztiek elkar ebakitzen duten punturik existitzen ez bada, sistema bateraezina dela edo soluziorik ez duela esaten da.
 
Hiru ezezaguneko sistemen kasuan, berriz, espazio tridimentsionala da sistemaren espazioa, eta ekuazio bakoitza plano baten bidez adierazten da. Plano guztiek puntu batean elkar ebakitzen badute, puntu horren koordenatuak dira sistemaren soluzioa. Bestalde, plano guztien ebakidura zuzen bat edo plano bat bada, sistemak infinitu soluzio izaten ditu; zuzen edo plano horietako puntuen koordenatuak, hain zuzen ere.
 
Lau ezezagun edo gehiago dituzten sistemetan, adierazpen grafikorik ez da existitzen eta, ondorioz, problema hauek ez dira ikuspuntu horretatik aztertzen.
 
=== Sistema lineal motak ===
Ekuazio-sistemak horiek onar dezaketen soluzio kopuruaren arabera sailka daitezke. Horrela, honako kasu hauek ager daitezke:
 
* '''Sistema bateragarria''': soluzioa du; kasu horretan, gainera, honako hauek bereiz daitezke:
** '''Sistema bateragarri determinatua''': soluzio bakarra du.
** '''Sistema bateragarri indeterminatua''': infinitu soluzio onartzen ditu.
* '''Sistema bateraezina''': ez du soluziorik.
 
Honela geldituko da sailkapena:
 
Sistema bateraezinak, geometrikoki, elkar ebaki gabe gurutzatzen diren (hiper)planoak edo zuzenak dira. Sistema bateragarri determinatuak, aldiz, puntu bakar batean elkar ebakitzen duten (hiper)planoen edo zuzenen multzoak dira. Azkenik, sistema bateragarri indeterminatuak zuzen batean zehar [edo orokorrean dimentsio txikiagoko (hiper)plano bat] elkar ebakitzen duten (hiper)planoak dira. Aljebraikoki, sistema bateragarri determinatuen ezaugarri nagusia koefiziente-matrizearen [[Determinante|determinantea]] ezberdin zero dela da:
 
<math>{\displaystyle \mathrm {Sistema\;bateragarri\;determinatua} \Longleftrightarrow \det(\mathbf {A} )\neq 0}</math>
 
==== Sistema bat bateragarria den zehazteko algoritmoa ====
[[Rouche-Frobenius|Rouche-Frobenius-en teorema]]<nowiki/>ren bidez, ekuazio linealetako sistema bat bateragarria den edo ez jakin daiteke, sistemaren koefizienteen matrizearen heina eta matrize zabalduaren heina berdinak ote diren begiratuz. Demagun sistema bateragarria dela. Aurretik aipatutako bi matrize horien heinak berdinak badira eta hein horiek ezezagun kopuruarekin bat badatoz, orduan sistema hori sistema bateragarri determinatua izaten da; bestelakoan, sistema bateragarri indeterminatua.
 
 
==== Sistema bateragarri indeterminatuak ====
<math>{\displaystyle \mathbb {K} }</math> gorputzaren gaineko sistema bat bateragarri indeterminatua dela esaten da [[infinitu]] soluzio dituenean. Adibidez, sistema hau:
 
<math>\begin{cases}
x & + 2y & = & 1 \\
2x & + 4y & = & 2
\end{cases}</math>
 
Bi ekuazioek malda <math>-0,5</math> duen eta <math>(-1,1)</math> puntutik igarotzen den zuzena adierazten dute, eta, horregatik, bi ekuazioek zuzen horretako puntu guztietan egiten dute bat. Sistema, batetik, bateragarria da, soluzioa baduelako eta zuzenek puntu amankomunak dituztelako, baina, bestetik, indeterminatua, infinitu puntu amankomun dituztelako.
 
* Mota honetako sistemetan, soluzio orokorra aldagai bat edo gehiago beste aldagaien mende adieraztean datza. Sistema bateragarri indeterminatuetan, ekuazio bat, gutxienez, gainerakoen konbinazio lineal modura adieraz daiteke; hau da, linealki dependentea da.
* Sistema bat bateragarri indeterminatua izango bada, baldintza beharrezko hauek bete behar dira: sistemaren matrizearen determinantea zero izatea eta matrize zabalduaren heina ezezagun kopurua baino txikiagoa izatea.
 
<math>{\displaystyle \mathrm {Sistema\;bateragarri\;indeterminatua} \Longrightarrow \det(\mathbf {A} )= 0}</math>
 
* Aurreko bi baldintzetatik ondorioztatzen da sistema bateragarri indeterminatu baten soluzioen multzoa [[azpiespazio bektorial]]<nowiki/>a dela. Eta azpiespazio bektorial horren dimentsioa 0 autobalioaren anizkoiztasunaren berdina izango da.
 
==== Sistema bateraezinak ====
Sistema bat bateraezina dela esaten da soluziorik ez duenean. Adibidez, hurrengo sistema:
 
<math>\begin{cases}
x & + 2y & = & 4 \\
2x & + 4y & = & 1236
\end{cases}</math>
 
Grafikoki bi ekuazio horiek malda bera duten bi zuzen adierazten dituzte. [[Paralelo (geometria)|Paraleloak]] direnez, ez dute elkar ebakitzen, hau da, ez da existitzen bi ekuazioak betetzen dituen punturik.
 
Matematikoki sistema bat bateraezina da sistemaren matrizearen heina matrize zabalduaren heina baino txikiagoa denean. Hori gertatzeko baldintza beharrezkoa sistemaren matrizearen determinantea zero izatea da.
 
<math>{\displaystyle \mathrm {Sistema\;bateraezina} \Longrightarrow \det(\mathbf {A} )= 0}</math>
 
=== Sistema linealen ebazpen-metodoak ===
Bi ezezagun dituzten ekuazio linealetako sistemetarako, metodo aljebraiko errazak erabil daitezke sistema ebazteko: ordezkapen-, berdinketa- edo laburketa-metodoak.
 
==== Ordezkapen-metodoa ====
Ordezkapen-metodoa ekuazio bateko ezezagun bat bakantzean oinarritzen da; koefiziente txikiena duena aukeratu ohi da, eta, ondoren, beste ekuazioan ordezkatzen da haren adierazpena.
 
Bi ezezagun baino gehiago dituzten sistemetan, aukeratutako ezezaguna ekuazio guztietan ordezkatu behar da, askatu dugun ekuazioan izan ezik. Egoera horretan, hasierako sistemak baino ezezagun bat gutxiago eta ekuazio bat gutxiago dituen sistema lortzen da, eta behin eta berriz aplikatu ahal izango da metodo hau. Adibidez, demagun honako sistema ebatzi nahi dela ordezkapen-metodoaren bidez.
 
<math>\begin{cases}
3x & + y & = & 22 \\
4x & -3y & = & -1
\end{cases}</math>
 
Lehenengo ekuazioan, <math>{\displaystyle y}</math> ezezaguna aukeratzen da, koefiziente txikiena duen ezezaguna delako (horrela eragiketak errazagoak izango dira), eta bakandu egiten da. Honako ekuazioa lortzen da:
 
<math>\begin{matrix}
y & = & 22&-3x \\
\end{matrix}</math>
 
Hurrengo urratsean <math>{\displaystyle y}</math> ezezagunaren adierazpena beste ekuazioan ordezkatzen da, ezezagun bakarra <math>{\displaystyle x}</math> duen ekuazio bat lortzeko:
* x = 2+y (bigarren ekuazioa)
 
* 3(2+y)+2y = 16 (lehenengo ekuazioan ordeztuz)
<math>
* 6+3y+2y = 16 (eragiketak burutu)
4x - 3(22 - 3x) = -1 \Rightarrow 4x-66+9x=-1 \Rightarrow 13x-66=-1\Rightarrow 13x=65
* 5y = 10 (sinplifikatu)
</math>
* y = 2 (''y'' askatu)
 
* x = 2+y = 2+2 = 4 (bigarren ekuaziora itzuli eta ''x'' askatu)
Ekuazioa ebaztean, <math>{\displaystyle x=5}</math> emaitza lortzen da; balio hori hasierako bi ekuazioetako batean ordezkatuz, <math>{\displaystyle y=7}</math> lortzen da, eta, beraz, sistema ebatzita dago jada.
 
==== Berdinketa-metodoa ====
Berdinketa-metodoa ordezkatze-metodoaren kasu partikular gisa ikus daiteke. Bi ekuazioetan ezezagun bera bakantzen da eta, ondoren, bi ekuazioen eskuineko atalak berdindu egiten dira.
 
Berdinketa-metodoan adibide gisa erabilitako sisteman, esaterako, <math>{\displaystyle y}</math> ezezaguna bakantzen bada bi ekuazioetan, sistema hau lortzen da:
 
<math>\begin{cases}
y & = & 22 &-3x \\
y & = & \frac{4x+1}{3}
\end{cases}
 
 
</math>
 
Ikus daitekeenez, bi ekuazioek berdintzaren ezker aldean adierazpen bera dute. Orduan, berdintzaren eskuineko atalak berdinak izango dira:
 
<math>22-3x=\frac{4x+1}{3} \Rightarrow 3(22-3x)=4x+1 \Rightarrow 65=13x \Rightarrow x=5</math>
 
Behin <math>{\displaystyle x}</math> ezezagunaren balioa lortuta, haren balioa hasierako ekuazioetako batean ordezkatuz, <math>{\displaystyle y}</math> ezezagunarena lortzen da eta sistema ebatzita dago.
 
==== Laburketa-metodoa ====
Metodo hau sistema linealetan erabili ohi da, eta gutxi dira sistema ez-linealetarako erabiltzen diren kasuak. Bi ekuazio edo ezezagun dituzten sistemen laburketa-metodoaren prozedura bi ekuazioetako bat aldatzean datza. Ezezagunetako batek bi ekuazioetan koefiziente bera baina aurkako zeinukoa izatea  ([[Biderketa|biderketak]] erabiliz, gehienetan) lortzea da lehen urratsa. Jarraian, bi ekuazioak batzen dira, eta ezezagun hori deuseztatzen; horrela, ezezagun bakarreko ekuazio bat lortzen da. Ekuazio horren ebazpen-metodoa erraza da.  
 
Adibidez, hurrengo sisteman:
 
<math>\begin{cases}
2x &+ 3y &=& 5 \\
5x &+6y &=& 4
\end{cases}</math>
 
Lehenengo ekuazioa bider <math>-2</math> egitea nahikoa da <math>y </math> ezezaguna deuseztatzeko. Biderketa hori eginez, honako ekuazioa lortzen da:
 
<math>-2(2x+3y=5)\longrightarrow -4x-6y=-10</math>
 
Ekuazio hau sistemako bigarrenarekin batuz, <math>{\displaystyle y}</math> ezezaguna deuseztatu, eta ekuazio berri bat lortzen da, eta kasu honetan, ekuazio horrek <math>{\displaystyle x}</math> ezezagunaren balioa ematen digu zuzenean.
 
<math> \begin{array}{rrcr}
-4x & -6y & = & -10 \\
5x & +6y & = & 4 \\
\hline
x & & = & -6
\end{array}</math>
 
<math>x=-6</math>
 
Hurrengo urratsean, <math>{\displaystyle x}</math> ezezagunaren balioa ordezkatzen da hasierako bi ekuazioetako batean, eta <math>{\displaystyle y}</math>-ren balioa lortzen da. Kasu honetan, <math>{\displaystyle x}</math>-ren balioa lehenengo ekuazioan ordezkatuz:
 
<math> \left .
\begin{array}{rrcr}
2x & + 3y & = & 5 \\
x & & = & -6
\end{array}
\right \}
\quad \longrightarrow \quad
2(-6) + 3y = 5
\quad \longrightarrow \quad
y = \frac{17}{3}</math>
 
==== Metodo grafikoa ====
[[Fitxategi:FuncionLineal05.svg|link=https://eu.wikipedia.org/wiki/Fitxategi:FuncionLineal05.svg|thumb|(2,4) puntutik igarotzen diren [[Zuzen (geometria)|zuzenak]]]]
Sistemako ekuazio bakoitzaren grafikoa irudikatzean datza. Metodo hau, eskuz, [[Kartesiar koordenatu|koordenatu kartesiarretan]] baino ez da eraginkorra.
 
Ekuazio linealen sistema bat metodo honen bidez ebazteko jarraitu beharreko prozedura honakoa da:
 
# Bi ekuazioetan ezezagun bat bakandu.
# Lehen mailako ekuazio bakoitzari dagokion balio-taula eraiki.
# Bi zuzenak grafikoki adierazi koordenatu-ardatzetan.
# Azken urrats honetan hiru aukera daude:
## Bi zuzenek elkar ebakitzen badute, ebaki-puntuaren koordenatuak dira sistemaren soluzio bakarra; hau da, sistema bateragarri determinatua da.
## Bi zuzenak bat badatoz, sistemak infinitu soluzio ditu, zuzen horren puntu guztien koordenatuak, hain zuzen ere. Beraz, sistema bateragarri indeterminatua da.
## Bi zuzenak paraleloak badira, sistemak ez du soluzio errealik, baina baditu soluzio konplexuak.
 
==== Gauss Sebastian Velandia-ren metodoa ====
Gauss-en metodoa ''n'' ekuazioko eta ''n'' ezezaguneko sistema bat sistema mailakatu bilakatzean datza. Sistema mailakatu horretan, lehenengo ekuazioak ''n'' ezezagun izango ditu; bigarrenak ''n''-1 ezezagun, eta, modu berean jarraituz, azken ekuazioak ezezagun bakarra izango du. Horrela, erraza izango da azken ekuazioko ezezagunaren balioa kalkulatzea eta, hau erabiliz eta ekuazioetan gora igoz, gainerako ezezagunen balioak ere banan-banan kalkulatzea.{{froga|30 pertsona biltzen dira; hauen artean, gizonezkoak, emakumezkoak eta umeak daude. Emakumezkoen kopuruaren hirukoitzaren eta gizonezkoen kopuruaren batura umeen kopuruaren bikoitza baino 20 handiagoa da. Gainera, gizonezkoen eta emakumezkoen kopuruaren batura umeen kopuruaren bikoitza da. Planteatu eta ebatzi ekuazio-sistema.
 
<math>{\displaystyle x=gizonezkoen\;kopurua} </math>
 
<math>{\displaystyle y=emakumezkoen\;kopurua} </math>
 
<math>{\displaystyle z=ume\;kopurua} </math>
 
* Guztira, 30 pertsona dira.
 
<math> {\displaystyle x+y+z=30\;}
 
</math>
 
* Emakumezkoen kopuruaren hirukoitzaren eta gizonezkoen kopuruaren batura umeen kopuruaren bikoitza baino 20 handiagoa da.
 
<math> {\displaystyle x+3y=2z+20\;} </math>
 
* Gizonezkoen eta emakumezkoen kopuruaren batura umeen kopuruaren bikoitza da.
 
<math> {\displaystyle x+y=2z\;} </math>
 
Hiru ekuazioak elkartu eta ordenan jarri ondoren, sistema hau lortzen da:
 
<math>{\displaystyle \left\{{\begin{array}{l}x+y+z=30\\x+3y=2z+20\\x+y=2z\end{array}}\right.\quad \longrightarrow \left\{{\begin{array}{rrrcr}x&+y&+z&=&30\\x&+3y&-2z&=&20\\x&+y&-2z&=&0\end{array}}\right.} </math>
 
Gauss-en metodoa aplikatu, bigarren eta hirugarren ekuazioei lehenengoa kenduta:
 
<math>{\displaystyle \left\{{\begin{array}{rrrcr}x&+y&+z&=&30\\&2y&-3z&=&-10\\&&-3z&=&-30\end{array}}\right.} </math>
 
Kasu honetan, hirugarren ekuazioan <math>{\displaystyle y}</math> ezezaguna desagertu da, eta ondorioz, ez da eragiketa gehiago egin behar. Beraz, hirugarren ekuaziotik '' <math>{\displaystyle z=10}</math>'' lortzen da:
 
<math>{\displaystyle -3z=-30\longrightarrow \quad z={\cfrac {-30}{-3}}\longrightarrow \quad z=10} </math>
 
Lortutako <math>{\displaystyle z}</math>-ren balioa bigarren ekuazioan ordezkatuz, <math>{\displaystyle y=10}</math> lortzen da:
 
<math>{\displaystyle \left.{\begin{array}{rrcr}2y&-3z&=&-10\\&z&=&10\end{array}}\right\}\longrightarrow \quad 2y-30=-10\longrightarrow \quad 2y=20\longrightarrow \quad y=10} </math>
 
<math>{\displaystyle z}</math>-ren eta <math>{\displaystyle y}</math>-ren balioak lehenengo ekuazioan ordezkatuz, <math>{\displaystyle x=10}</math> lortzen da:
 
<math>{\displaystyle \left.{\begin{array}{rrrcr}x&+y&+z&=&30\\&y&&=&10\\&&z&=&10\end{array}}\right\}\longrightarrow \quad x+10+10=30\longrightarrow \quad x=30-10-10\longrightarrow \quad x=10} </math>
 
Beraz, sistemaren soluzioa hau da:
 
<math>{\displaystyle \left\{{\begin{array}{l}x+y+z=30\\x+3y=2z+20\\x+y=2z\end{array}}\right.\quad \longrightarrow \left\{{\begin{array}{l}x=10\\y=10\\z=10\end{array}}\right.} </math><br />|izenburua=Gauss-en metodoaren adibidea}}
 
===== Gauss-Jordan algoritmoa =====
Gauss-en metodoaren aldaera bat [[Gauss-Jordan algoritmo|Gauss-Jordan algoritmoa]] izenez ezagutzen da, eta ekuazio linealetako sistemetan soilik aplika daiteke. Metodo hau sistemaren [[Matrize zabaldu|matrize zabaldua]] oinarrizko transformazioen bidez matrize triangular bihurtzean datza; horrela, ezezagun bakarreko ekuazio bat lortzen da, non haren balioa lerro bereko koefizientea den. Prozesu hau aurreko laburketa-prozesuaren antzekoa da, baina era iteratu batean exekutatuta, ordena algoritmiko bati jarraituz.{{froga|Izan bedi honako ekuazio linealetako sistema hau:
 
<math>\begin{cases}
2x &+ y &- z &=& 8 \\
-3x &- y &+ 2z &=& -11 \\
-2x &+ y &+ 2z &=& -3 \\
\end{cases}</math>
 
Sistema horretako ekuazioak betetzen dituzten <math>{\displaystyle x,y}</math> eta <math>{\displaystyle z}</math>-ren balioak aurkitu nahi dira. Lehendabizi, matrize zabalduaren bidez, sistemaren koefizienteak adierazten dira. Era matrizialean, honela adierazten da:
 
<math>\left(\begin{array}{lcr}2 & 1 & -1 & 8 \\
-3 & -1 & 2 & -11 \\
-2 & 1 & 2 & -3 \\\end{array}\right)</math>
 
Ondoren, <math>{\displaystyle x}</math> ezezaguna deuseztatzen da. Horretarako, batetik, lehenengo lerroko koefizienteak <math>\frac{3}{2}</math>rekin biderkatzen dira, eta emaitza bigarren lerroko koefizienteei batzen zaie; batura bigarren lerroan ordezkatzen da; eta, bestetik, hirugarren lerroko koefizienteei lehenengo lerrokoak batzen zaizkie eta batura hirugarren lerroan ordezkatzen da.
 
<math>\left(\begin{array}{lcr}2 & 1 & -1 & 8 \\
0 & \frac{1}{2} & \frac{1}{2} & 1 \\
0 & 2 & 1 & 5 \\\end{array}\right)</math>
 
Hurrengo urratsean, <math>{\displaystyle y}</math> ezezaguna deuseztatzen da lehenengo eta hirugarren lerroetan. Horretarako, batetik, bigarren lerroko koefizienteak <math>-2</math>rekin biderkatzen dira, eta emaitza lehenengo lerroko koefizienteei batzen zaie; batura lehenengo lerroan ordezkatzen da; eta, bestetik, bigarren lerroko koefizienteak <math>-4</math>rekin biderkatzen dira, emaitza hirugarren lerroko koefizienteei batzen zaie eta batura hirugarren lerroan jartzen da.
 
<math>\left(\begin{array}{lcr}2 & 0 & -2 & 6 \\
0 & \frac{1}{2} & \frac{1}{2} & 1 \\
0 & 0 & -1 & 1 \\\end{array}\right)</math>
 
Azkenik, z ezezaguna lehenengo eta bigarren lerroetan deuseztatzen da. Horretarako, batetik, hirugarren lerroko koefizienteak <math>-2</math>rekin biderkatzen dira, eta lortutako emaitza lehenengo lerroko koefizienteei batzen zaie; batura lehenengo lerroan ordezkatzen da; eta, bestetik, hirugarren lerroko koefizienteak <math>\frac{1}{2}</math>rekin biderkatzen dira, eta emaitza bigarren lerroko koefizienteei batzen zaie; batura bigarren lerroan ordezkatzen da.
 
<math>\left(\begin{array}{lcr}2 & 0 & 0 & 4 \\
0 & \frac{1}{2} & 0 & \frac{3}{2} \\
0 & 0 & -1 & 1 \\\end{array}\right)</math>
 
Honakoa da matrize zabalduaren bidez lortzen den sistema:
 
<math>\begin{cases}
2x &=& 4 \\
\frac{y}{2}&=& \frac{3}{2} \\
-z &=& 1\\
\end{cases}</math>
 
Sistema honetatik abiatuz oso erraza da soluzioa lortzea.|izenburua=Gauss-Jordan algoritmoaren adibidea}}
 
==== Cramer-en erregela ====
[[Determinante]] eta matrize adjuntuen bidez kalkulatzen den sistema bateragarri determinatuen soluzio bat ematen du Cramer-en erregelak. Honela kalkulatzen da soluzioa:
 
<math>x_{j}=\frac{\det(A_{j})}{\det(A)}</math>,
 
non <math>A_{j}</math> baita A matrizean j zutabean b bektorea ordezkatzean lortzen den matrizea. Izan bedi bi ezezaguneko eta bi ekuazioko sistema:
 
<math>\begin{cases}
ax &+ by &=& e \\
cx &+ dy &=& f \\
\end{cases}</math>
 
Cramer-en erregelak soluzio hau ematen du:
 
<math>x=\frac{\left|
 
\begin{array}{cc}
 
e & b\\
 
f & d
 
\end{array}
 
\right| }{\left|
 
\begin{array}{cc}
 
a & b\\
 
c & d
 
\end{array}
 
\right|}=\frac{ed-bf}{ad-bc}</math>, <math>y=\frac{\left|
 
\begin{array}{cc}
 
a & e\\
 
c & f
 
\end{array}
 
\right| }{\left|
 
\begin{array}{cc}
 
a & b\\
 
c & d
 
\end{array}
 
\right|}=\frac{af-ec}{ad-bc}
</math>
 
Oharra: hasierako A matrizearen determinantea nulua denean, sistemaren soluzioak bi aukera ditu: infinitu soluzio izatea edo soluziorik ez izatea.
 
==== Zenbakizko algoritmoak ====
=== Berdinketa-metodoa ===
Gauss-Jordan algoritmoa kasu zehatz askotan erabili ohi den zenbakizko algoritmo bat da. Hala ere, geroago, eraginkorragoak diren beste hainbat algoritmo diseinatu dira <math>O(n^2)</math>–ko konplexutasun konputazionalarekin (n sistemako ekuazio kopurua izanik). Metodo erabilienak hauek dira:
 
* <math>Ax=b</math> itxurako problemen kasuan, A [[Toeplitz matrize|Toeplitz-en matrize]] simetrikoa bada, [[Levinsonen errekurtsibitatea|Levinson-en errekurtsibitate]]<nowiki/>[[Levinsonen errekurtsibitatea|a]]<nowiki/>ren metodoa edo honetatik eratorritako beste metodo bat erabil daiteke problema ebazteko. Levinson-en metodotik eratorritako metodoetako bat [[Schurren errekurtsibitatea|Schur-en errekur]]<nowiki/>[[Schurren errekurtsibitatea|tsibitatea]]<nowiki/>ren metodoa da. Schur-en errekurtsibitatea seinale digitalen prozesaketan asko erabiltzen da.<nowiki/><nowiki/><nowiki/><nowiki/>
Bi ekuazioetan ezezagun bera askatu, beste ezezagunaren mendean utziz, eta bi adierazpenak berdindu. Beste ezezaguna balioa aurkitu eta ondoren, hasierako ekuazioak erabiliz, lehenengoa askatu:
* <math>Ax=b</math> itxurako problemen kasuan, A [[Alderantzizko matrize|matrize singularra]] edo ia singularra bada, A matrizea [[balio singularren deskonposaketa]]<nowiki/>ren bidez hiru matrizeren biderketa gisa adierazten da.<nowiki/>
 
Ekuazio linealetan, soluzioak zenbaki arrazionalak, errealak, konplexuak edo <math>{\displaystyle \mathbb {K} }</math> gorputz bateko elementuak direnean, [[Cramer-en erregla|Cramer-en erregela]] erabil daiteke. Ekuazio asko dituzten sistemen kasuan, Cramer-en erregela konputazionalki oso garestia izan daiteke, eta, beraz, “ekonomikoagoak” (eragiketa gutxiago dituztenak) diren beste metodo batzuk erabili ohi dira, hala nola Gauss-Jordan algoritmoa eta [[Choleskyren deskonposaketa|Cholesky-ren deskonposaketa]]. Hauez gain, zeharkako metodo batzuk ere existitzen dira iterazioetan oinarritutakoak: esate baterako, [[Gauss-Seidelen metodoa|Gauss-Seidel-en metodoa]].
* x = (16-2y)/3 (lehenengo ekuazioan ''x'' askatu)
* x = 2+y (bigarren ekuazioan ''x'' askatu)
* 2+y = (16-2y)/3 (''x'' ezezagunaren adierazpenak berdindu)
* 6+3y = 16-2y (sinplifikatu)
* 5y = 10 (sinplifikatu)
* y = 2 (''y'' askatu)
* x = y+2 = 2+2 = 4 (''x'' askatu)
 
Soluzioen gorputza infinitua bada ([[zenbaki erreal]]<nowiki/>en edo [[Zenbaki konplexu|konplexu]]<nowiki/>en kasua), hiru egoera hauetako bat bakarrik gerta daiteke:
=== Laburketa-metodoa ===
 
Ekuazio bateko bi aldeak zenbaki batez biderkatzen da, ezezagun batek beste ekuazioko koefiziente bera izan dezan. Ekuazioen kenketa egin, geratzen den ekuazioan ezezagun bakarra askatu eta bi ekuazioetako batean ordeztuz, beste ezezaguna ere askatu:
 
* Sistemak ez du soluziorik (kasu honetan sistema gaindeterminatua dela edo bateraezina dela esaten da).
* 3x+2y=16 (lehenengo ekuazioa)
* Sistemak soluzio bakarra du (sistema bateragarri determinatua).
* 3x-3y=6 (bigarren ekuazioa bider 3)
* Sistemak infinitu soluzio ditu (sistema bateragarri indeterminatua).
* 3x-3x+2y-(-3y) = 16-6 (lehenengo ekuazioa ken bigarrena)
* 5y = 10 (sinplifikatu)
* y = 2 (''y'' askatu)
* x = y+2 = 2+2 = 4 (''x'' askatu)
 
== Ikus, gainera ==
 
* [[Ekuazio lineal|Ekuazio lineala]]
* [[Nahasketa-ebazkizun]]
* [[Ekuazio|Ekuazioa]]
 
== Kanpo estekak ==