تعبیر هندسی دستگاه ۳ معادله ۳ مجهولی. هر معادلهٔ ۳ مجهولی بیانگر یک صفحه است و جواب این دستگاه نقطهٔ تقاطع صفحات (سفید) است.
در ریاضیات، **دستگاه معادلات خطی** به معنی مجموعه‌ای از تعدادی معادلهٔ خطی است. برای مثال:

{\displaystyle {\begin{cases}3x&+&2y&-&z&=2\\2x&-&2y&+&4z&=-2\\-x&&&-&z&=0\end{cases}}}

یک دستگاه از ۳ معادلهٔ خطی با ۳ مجهول {\displaystyle x,y,z} است.

جواب یک دستگاه خطی به معنی مقداردهی به هر مجهول است به طوری که با جایگذاری آنها معادلات دستگاه برقرار باشند. جواب مثال مذکور {\displaystyle x=0,y=1,z=0} است. جواب یک دستگاه ممکن است یکتا نباشد یا ممکن است جوابی وجود نداشته باشد.

این مفهوم پایه و اساس جبر خطی است و نقش مهمی در مهندسی، فیزیک، شیمی، علوم کامپیوتر و اقتصاد دارد. الگوریتم‌های پیدا کردن جواب این دستگاه‌ها بخش مهمی از جبر خطی عددی است. برای سادگی حل سامانه‌های پیچیده، می‌توان دستگاهی از معادلات غیرخطی را با خطی‌سازی به یک دستگاه معادلهٔ خطی تقریب زد.

مجموعه جواب
-----------

یک حالت خاص که دستگاه سه معادله دو مجهولی جواب یکتا دارد
دو معادله سه‌مجهولی بی‌شمار جواب دارند (خط تقاطعشان)
جواب یک دستگاه معادلات خطی لزوماً یکتا نیست. به عنوان مثال {\displaystyle {\begin{cases}x=y\\x=z\end{cases}}} بی‌شمار جواب مثل {\displaystyle x=y=z=1} یا {\displaystyle x=y=z=2} و … دارد. به مجموعهٔ همهٔ جواب‌های ممکن یک دستگاه مجموعه جواب آن می‌گوییم. مجموعه جواب یک دستگاه ممکن است بی‌شمار یا تهی یا یکتا باشد. در صورتی که جوابی وجود نداشته باشد دستگاه را **متناقض** می‌نامیم.

اگر دو دستگاه مجموعه جواب یکسانی داشته باشند آن دو را معادل می‌گوییم. مثال:

دستگاه {\displaystyle {\begin{cases}x=y\\x=z\end{cases}}} با {\displaystyle {\begin{cases}x=y\\2x=2z\end{cases}}} **معادل** است.

### تعبیر هندسی

در یک دستگاه دو مجهولی {\displaystyle x,y}، هر معادله یک معادلهٔ خط در صفحه است. جواب یک دستگاه در تمام معادلات صدق می‌کند؛ یعنی جواب یک دستگاه نقطهٔ تقاطع این خطوط در صفحه است.

|  |  |  |
| --- | --- | --- |
|  |  |  |
| یک معادله | دو معادله | سه معادله |
| مجموعه جواب این دستگاه مجموعهٔ نقاط روی خط است | مجموعه جواب در این‌جا نقطهٔ تقاطع است (مگر این که دو خط موازی یا یکسان باشند) | در این حالت هیچ تقاطع مشترکی بین ۳ خط وجود ندارد (مگر در حالات خاص) |

در دستگاهی با سه مجهول، هر معادله یک معادله صفحه در فضای سه‌بعدی است.

تقاطع چند صفحه در فضا می‌تواند یک خط یا نقطه یا صفحه باشد. همچنین ممکن است نقطهٔ تقاطع مشترکی وجود نداشته باشد.

این تعبیر را می‌توان برای فضای {\displaystyle n}-بعدی نیز انجام داد (و در آن هر معادله معادلهٔ یک ابرصفحه خواهد بود).

در نتیجه یک دستگاه {\displaystyle n} معادله {\displaystyle n} مجهولی در حالت کلی جواب یکتا دارد. در صورتی که معادلات نسبت به هم وابسته باشند (حالت خاص) بی‌شمار جواب وجود خواهد داشت.

همچنین اگر تعداد معادلات بیشتر بود در حالت کلی جواب وجود ندارد و اگر کمتر بود بی‌شمار جواب وجود دارد.

فرم کلی
-------

در حالت کلی دستگاه با مجهول‌های {\displaystyle x\_{1},x\_{2},\ldots ,x\_{n}} و ضرایب {\displaystyle a\_{11},a\_{12},\ldots ,a\_{mn}} را می‌توان به فرم زیر نشان داد:

{\displaystyle {\begin{cases}a\_{11}x\_{1}+a\_{12}x\_{2}+\cdots +a\_{1n}x\_{n}&=b\_{1}\\a\_{21}x\_{1}+a\_{22}x\_{2}+\cdots +a\_{2n}x\_{n}&=b\_{2}\\&\ \ \vdots \\a\_{m1}x\_{1}+a\_{m2}x\_{2}+\cdots +a\_{mn}x\_{n}&=b\_{m}\end{cases}}}

### توصیف با ماتریس

با تعریف ماتریس‌های {\displaystyle A,X,B} به صورت زیر:

{\displaystyle A={\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}},\quad X={\begin{bmatrix}x\_{1}\\x\_{2}\\\vdots \\x\_{n}\end{bmatrix}},\quad B={\begin{bmatrix}b\_{1}\\b\_{2}\\\vdots \\b\_{m}\end{bmatrix}}}

می‌توان دستگاه مذکور را به صورت {\displaystyle AX=B} توصیف کرد. به {\displaystyle A} **ماتریس ضرایب** و به {\displaystyle X} ماتریس مجهول‌ها می‌گوییم.

با چسباندن {\displaystyle B} به {\displaystyle A} *ماتریس تکمیل* آن دستگاه به دست می‌آید:

{\displaystyle C={\begin{bmatrix}a\_{11}&a\_{12}&\cdots &a\_{1n}&b\_{1}\\a\_{21}&a\_{22}&\cdots &a\_{2n}&b\_{2}\\\vdots &\vdots &\ddots &\vdots &\vdots \\a\_{m1}&a\_{m2}&\cdots &a\_{mn}&b\_{m}\end{bmatrix}}}

اگر {\displaystyle C\_{1}} و {\displaystyle C\_{2}} **هم‌ارز سطری** باشند دستگاه‌های {\displaystyle A\_{1}X=B\_{1}} و {\displaystyle A\_{2}X=B\_{2}} با یکدیگر معادل خواهند بود.

اگر {\displaystyle B={\begin{bmatrix}0\\0\\\vdots \\0\end{bmatrix}}} باشد این دستگاه را **همگن** می‌نامیم.

### توصیف با بردار

یک بیان بسیار کاربردی دیگر به کمک بردار است. با تعریف بردارهای {\displaystyle a\_{i}} به صورت {\displaystyle a\_{i}={\begin{bmatrix}a\_{1i}\\a\_{2i}\\\vdots \\a\_{mi}\end{bmatrix}}} می‌توان دستگاه را به صورت ترکیب خطی نوشت:

{\displaystyle x\_{1}{\begin{bmatrix}a\_{11}\\a\_{21}\\\vdots \\a\_{m1}\end{bmatrix}}+x\_{2}{\begin{bmatrix}a\_{12}\\a\_{22}\\\vdots \\a\_{m2}\end{bmatrix}}+\cdots +x\_{n}{\begin{bmatrix}a\_{1n}\\a\_{2n}\\\vdots \\a\_{mn}\end{bmatrix}}={\begin{bmatrix}b\_{1}\\b\_{2}\\\vdots \\b\_{m}\end{bmatrix}}}

حل
--

برای حل دستگاه روشهایی وجود دارد که دو روش حذفی و جانشینی (جایگذاری) در ادامه توضیح داده شده‌اند.

روش حذفی:

در این روش هر یک از دو معادله مفروض را در عددی ضرب می‌کنیم که ضریب‌های یکی از مجهول‌ها در دو معادله قرینه شود، آنگاه طرفین دو معادله را نظیر به نظیر جمع می‌کنیم و ساده می‌کنیم، پس از پیدا شدن یکی از مجهول‌ها آن را در یکی از دو معادله قرار می‌دهیم و مجهول دیگر را به‌دست می‌آوریم.

روش جانشینی (جایگذاری):

در این روش از هر دو معادله x یا y را پیدا نموده و مساوی هم قرار می‌دهیم.

منابع
-----

1. 1 2 3 4 5  *Linear Algebra and Its Applications*. ج. sixth edition جلد. به کوشش David C. Lay, Steven R. Lay, Judi J. McDonald.
2. ↑  *Linear algebra done right*. ج. Third Edition جلد. به کوشش Sheldon Axler.

* جبر خطّی عددی (انگلیسی)

* Strang, Gilbert (۱۹ ژوئیه ۲۰۰۵), Linear Algebra and Its Applications (4th ed.), Brooks Cole, ISBN 978-0-03-010567-8

جستارهای وابسته
---------------

* جبر خطی

منابع بیشتر
-----------

* ویدیوهای آموزشی دستگاه معادلات خطی (جبر خطی پیش دانشگاهی) به زبان فارسی:

| * ن
* ب
* و
جبر خطی |
| --- |
| مفاهیم عمومی | 
* اسکالر (ریاضی)
* بردار
* فضای برداری
* ضرب اسکالر
* تصویر (بردار)
* اسپن و مولد
* نگاشت خطی
* Linear projection
* استقلال خطی
* ترکیب خطی
* پایه (جبر خطی)
* Column space
* Row space
* تعامد (جبر خطی)
* هسته(فضای پوچ)
* ویژه‌مقدار و ویژه‌بردار
* Outer product
* فضای ضرب داخلی
* ضرب داخلی
* ترانهاده
* الگوریتم گرام اشمیت
* دستگاه معادلات خطی

 | Three dimensional Euclidean space |
| جبر برداری | 
* ضرب خارجی
* Triple product
* Seven-dimensional cross product

 |
| جبر چندخطی | 
* Geometric algebra
* Exterior algebra
* Bivector
* Multivector

 |
| ماتریس | 
* Block
* Decomposition
* ماتریس وارون
* کهاد
* ضرب ماتریس
* رتبه (جبر خطی)
* تبدیل
* قاعده کرامر
* حذف گاوسی

 |
| ساختارهای جبر مجرد | 
* Dual
* Direct sum
* Function space
* خارج‌قسمت
* زیرفضا
* ضرب تنسوری

 |
| جبر خطی عددی | 
* ممیز شناور
* متلب
* Numerical stability
* Basic Linear Algebra Subprograms (BLAS)
* ماتریس خلوت
* Comparison of linear algebra libraries
* Comparison of numerical analysis software

 |
| 
* رده:جبر خطی
* Outline
* Portal
* Wikibook
* Wikiversity

 |

| * ن
* ب
* و
جبر خطی عددی |
| --- |
| اصول بنیادی | 
* ممیز شناور
* پایداری عددی
* BLAS

 |
| مساله‌ها | 
* ضرب ماتریس
* تجزیه ماتریس
* دستگاه معادلات خطی
* ماتریس خلوت

 |
| سخت‌افزارها | 
* حافظه نهان سی‌پی‌یو
* تی‌ال‌بی
* Cache-oblivious algorithm
* اس‌آی‌ام‌دی
* چندپردازشی

 |
| نرم‌افزارها | 
* Specialized libraries
* General purpose software

 |