Матеріал з Вікіпедії — вільної енциклопедії.
Теорема Кронекера — Капеллі — критерій сумісності системи лінійних алгебраїчних рівнянь:
дорівнює рангу її розширеної матриці ![\ B=[A | \bold{b}].](https://upload.wikimedia.org/math/7/e/d/7ed91e03ef7749e93983acb50ba9db4a.png)
Причому система має єдиний розв'язок, якщо ранг дорівнює кількості невідомих, і нескінченно багато розв'язків, якщо ранг менше кількості невідомих.
Нехай СЛАР сумісна, тоді існує розв'язок:
дорівнює рангу її розширеної матриці ![\ B=[A | \bold{b}].](https://upload.wikimedia.org/math/7/e/d/7ed91e03ef7749e93983acb50ba9db4a.png)
Причому система має єдиний розв'язок, якщо ранг дорівнює кількості невідомих, і нескінченно багато розв'язків, якщо ранг менше кількості невідомих.
Необхідність
такий, що
Тобто, стовпець
є лінійною комбінацією стовпців матриці 
Отже

Достатність
Нехай
Візьмемо у матриці
будь-який базисний мінор. Так як
, то він буде базисним мінором і для матриці 
Тоді згідно з теоремою про базисний мінор, останній стовпець матриці
буде лінійною комбінацією базисних стовпчиків, тобто стовпців матриці 
Отже, стовпець вільних членів системи є лінійною комбінацією стовпців матриці
коефіцієнти такої лінійної комбінації і будуть розв'язком СЛАР.

Немає коментарів:
Дописати коментар
Примітка: лише член цього блогу може опублікувати коментар.