Системы линейных уравнений.ПравилоКрамера

Система m линейных уравнений с n неизвестными (или, линейная система) в линейной алгебре — это система уравнений вида

Здесь x ₁, x ₂, …, x_n — неизвестные, которые надо определить. a ₁₁, a ₁₂, …, a_mn — коэффициенты системы — и b ₁, b ₂, … b_m — свободные члены — предполагаются известными. Индексы коэффициентов (a_ij) системы обозначают номера уравнения (i) и неизвестного (j), при котором стоит этот коэффициент, соответственно^[1].

Система (1) называется однородной, если все её свободные члены равны нулю (b ₁ = b ₂ = … = b_m = 0), иначе — неоднородной.

Система (1) называется квадратной, если число m уравнений равно числу n неизвестных.

Решение системы (1) — совокупность n чисел c ₁, c ₂, …, c_n, таких что подстановка каждого c_i вместо x_i в систему (1) обращает все её уравнения в тождества.

Система (1) называется совместной, если она имеет хотя бы одно решение, и несовместной, если у неё нет ни одного решения.

Совместная система вида (1) может иметь одно или более решений.

Система линейных уравнений может быть представлена в матричной форме как:

или:

A x = B.

Если к матрице А приписать справа столбец свободных членов, то получившаяся матрица называется расширенной

Метод Крамера (правило Крамера) — способ решения квадратных систем линейных алгебраических уравнений с ненулевым определителемосновной матрицы (причём для таких уравнений решение существует и единственно).

Для системы n линейных уравнений с n неизвестными (над произвольным полем)

с определителем матрицы системы Δ, отличным от нуля, решение записывается в виде

(i-ый столбец матрицы системы заменяется столбцом свободных членов).
В другой форме правило Крамера формулируется так: для любых коэффициентов c₁, c₂, …, c_n справедливо равенство:

В этой форме формула Крамера справедлива без предположения, что Δ отлично от нуля, не нужно даже, чтобы коэффициенты системы были бы элементами целостного кольца (определитель системы может быть даже делителем нуля в кольце коэффициентов). Можно также считать, что либо наборы b ₁, b ₂,..., b_n и x ₁, x ₂,..., x_n, либо набор c ₁, c ₂,..., c_n состоят не из элементов кольца коэффициентов системы, а какого-нибудь модуля над этим кольцом. В этом виде формула Крамера используется, например, при доказательстве формулы для определителя Грама и Леммы Накаямы.