Матриця

називається розширеною матрицею системи.

Розв'язком системи (1.4) називається впорядкований набір чисел , підстановка яких замість невідомих перетворює всі рівняння системи на арифметичні тотожності.

Система рівнянь називається сумісною, якщо вона має хоча б один розв’язок. Якщо ж система не має жодного розв’язку, то вона називається несумісною.

Позначимо через Х та В матриці-стовпці

,

складені з невідомих і вільних членів системи (1.4), тоді її матрична форма має вигляд

, (1.5)

 

Матричний метод, правило Крамера

 

Нехай в системі (1.4) кількість невідомих дорівнює кількості рівнянь , тоді основна матриця системи квадратна.

Якщо ( – визначник системи), то існує обернена до матриця і єдиний розв’язок системи можна знайти матричним методом за формулою

, (1.6)

або за формулами Крамера

(1.7)

де – визначники, що отримуються з визначника заміною
-го стовпця стовпцем вільних членів.

Розглянемо систему (1.4) лінійних рівнянь з невідомими у загальному випадку. Питання про сумісність такої системи розв'язує наступна теорема.

Теорема Кронекера-Капеллі.

Система лінійних рівнянь сумісна тоді і тільки тоді, коли ранг основної матриці дорівнює рангу розширеної матриці цієї системи, тобто

.

За цією теоремою, якщо ранги основної та розширеної матриць не рівні, то система несумісна й немає сенсу її розв'язувати. Якщо ранги матриць рівні, то система сумісна.

Для сумісних систем лінійних рівнянь можливі такі випадки:

1. Якщо ранг сумісної системи дорівнює кількості невідомих, тобто , то система (1.4) має єдиний розв'язок.

Система (1.4) має квадратну невироджену матрицю порядку і її єдиний розв'язок можна знайти матричним методом чи за формулами Крамера.

2. Якщо ранг сумісної системи менший від числа невідомих, тобто , то система (1.4) має безліч розв’язків. Її можна розв’язати методом Гаусса – методом послідовного виключення невідомих. При цьому розширена матриця системи за допомогою елементарних перетворень зводиться до трапецієподібної.

Вільні невідомих вибираються довільно, а базисні невідомих визначаються єдиним способом через вільні невідомі.