По формулам Крамера

Пусть дана система двух линейных уравнений с двумя переменными:

.

Умножим первое уравнение на a₂₂, второе уравнение на (-a₁₂) и сложим их. Получим уравнение (a₁₁a₂₂-a₂₁a₁₂)×x₁=b₁a₂₂-b₂a₁₂ .

Умножим первое уравнение на (-a₂₁), второе уравнение на a₁₁ и сложим их. Получим уравнение (a₁₁a₂₂-a₂₁a₁₂)×x₂=a₁₁b₂-a₂₁b₁.

Заметим, что ,

,

т.е. система имеет вид .

Если D¹0, то система имеет единственное решение , .

Если D=0, а D₁¹0 или D₂¹0 то система несовместная.

Если D=0, D₁=0 и D₂=0 , то система неопределенная и имеет бесконечное множество решений.

Теорема Крамера.Пусть D - определитель матрицы A системы n линейных уравнений с n переменными, D_j - определитель матрицы, полученной из матрицы A заменой j-го столбца столбцом свободных членов (j=1,2,...,n). Тогда, если D¹0, то система имеет единственное решение, определяемое по формулам

, , . . . , (формулы Крамера).

8. Решение системы n линейных уравнений с n переменными

с помощью обратной матрицы (вывод формулы X=A^-1B)

В матричной форме система n линейных уравнений с n переменными записывается в виде A×Х=B, где , , .

Если ½A½¹0, то существует обратная матрица А^-1. Умножая слева обе части матричного равенства A×Х=B на матрицу А^-1, получим А^-1(А×Х)=А^-1В. Но А^-1×(А×Х)= (А^-1×А)×Х=Е×Х=Х.

Следовательно, решением системы n линейных уравнений с n переменными методом обратной матрицы является матрица-столбец А^-1В.

9. Метод Гаусса решения системы n линейных уравнений с n переменными. Понятие о методе Жордана-Гаусса

Метод Гаусса - метод последовательного исключения переменных - заключается в том, что с помощью элементарных преобразований система уравнений приводится к равносильной системе треугольного вида, из которой последовательно, начиная с последней переменной, находятся все остальные переменные.

Пусть дана система n линейных уравнений с n переменными:

(1) .

Шаг 1.Предположим, что a₁₁¹0. Умножаем первое уравнение на , прибавляем его ко второму уравнению. Аналогично исключаем переменную x₁ из остальных уравнений:

(2) .

Шаг 2.Предположим, что a₂₂¹0. Исключаем переменную x₂ из всех уравнений, начиная с третьего.

После (n-1)-го шага получаем систему треугольного вида

(n) .

Переход от системы (1) к равносильной системе (n) называется прямым ходом метода Гаусса.

Если , то .

Далее, если , то .

Продолжая, находим все остальные переменные. Нахождение переменных из системы (n) называется обратным ходом метода Гаусса.

Замечание.Преобразования Гаусса удобно проводить не с самими уравнениями, а с матрицей их коэффициентов

,

называемой расширенной матрицей системы (1)

10. Система m линейных уравнений с n переменными. Теорема Кронекера-Капелли. Условия определенности и неопределенности совместной системы линейных уравнений

Пусть дана система m линейных уравнений с n переменными:

.

Теорема Кронекера-Капелли.Система линейных уравнений совместна тогда и только тогда, когда ранг матрицы системы равен рангу расширенной матрицы этой системы.

Для совместных систем линейных уравнений верны следующие теоремы:

1. Если ранг матрицы совместной системы равен числу переменных, то система имеет единственное решение.

2. Если ранг матрицы совместной системы меньше числа переменных, то система имеет бесконечное множество решений.

Замечание.На практике обычно производят (методом Гаусса) преобразования расширенной матрицы системы, что позволяет одновременно решить вопрос о совместности и определенности системы линейных уравнений.

11. Базисные (основные) и свободные (неосновные) переменные системы m линейных уравнений с n переменными. Базисное решение

Определение 1.Пусть r < n. r переменных x₁, x₂, ... , x_r называются основными (базисными), если определитель матрицы из коэффициентов при них отличен от нуля. Остальные n - r переменных называются неосновными (свободными).

Определение 2. Решение системы m линейных уравнений с n переменными, в котором все n - r неосновных переменных равны нулю, называется базисным.

Заметим, что совместная система m линейных уравнений с n переменными (m < n) имеет бесконечное множество решений, среди которых базисных решений конечное число, не превосходящее , где r £ m.