دستگاه معادلات خطی

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

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


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

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

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

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

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

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

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

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

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

این تعبیر را می‌توان برای فضای <math>n
</math>-بعدی نیز انجام داد (و در آن هر معادله معادلهٔ یک ابرصفحه خواهد بود).

در نتیجه یک دستگاه <math>n
</math> معادله <math>n
</math> مجهولی در حالت کلی جواب یکتا دارد. در صورتی که معادلات نسبت به هم وابسته باشند (حالت خاص) بی‌شمار جواب وجود خواهد داشت.

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

## فرم کلی
در حالت کلی دستگاه با مجهول‌های x_1, x_2,\ldots,x_n و ضرایب a_{11}, a_{12}, \ldots, a_{mn} را می‌توان به فرم زیر نشان داد:

\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}

### توصیف با ماتریس
با تعریف ماتریس‌های 
A, X, B
 به صورت زیر:


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}


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

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


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}


اگر 
C_1
 و 
C_2
 **[[هم‌ارزی سطری|هم‌ارز سطری]]** باشند دستگاه‌های A_1 X = B_1 و A_2 X = B_2 با یکدیگر معادل خواهند بود.

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

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


 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 را پیدا نموده و مساوی هم قرار می‌دهیم.

## جستارهای وابسته
* جبر خطی

## منابع

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

* Strang, Gilbert (۱۹ ژوئیه ۲۰۰۵), Linear Algebra and Its Applications (4th ed.), Brooks Cole, 

## منابع بیشتر
* ویدیوهای آموزشی دستگاه معادلات خطی (جبر خطی پیش دانشگاهی) به زبان فارسی: https://web.archive.org/web/20121006154946/http://kelasedars.org/?cat=129

رده:جبر خطی عددی
رده:جبر خطی
رده:معادلات
رده:ویکی‌سازی رباتیک