уравнений
Рассмотрим случай, когда число уравнений системы совпадает с числом неизвестных (т.н. квадратная система):
(1)
Матрицу, составленную из коэффициентов системы (1), А= (аij), называют основной матрицей системы, а её определитель Δ = det(A) называют определителем системы.
Теорема. Квадратная система (1) с отличным от нуля определителем имеет решение, и притом, единственное. Его можно найти по формулам
(2)
где Δ j – это определитель, получающийся из определителя Δ после замены в нем j- го столбца столбцом свободных членов системы (1).
Доказательство. Докажем сначала, что числа, определяемые формулами (2), дают решение системы (1). Возьмём левую часть i- го уравнения системы и подставим в нее эти числа, при этом определитель Δ j разложим по j- му столбцу:
Внутренняя сумма (т.е. множитель, стоящий возле bk) в полученном выражении либо равна определителюΔ, если k=i, либо равна 0, если k≠j. Значит во внешней сумме только i- е слагаемое отлично от нуля и вся эта сумма равна bi· Δ. Откуда получаем, что левая часть i- го уравнения при подстановке (2) равна , т.е. правой части этого уравнения. Итак, числа (2) дают решение системы (1).
Докажем теперь единственность решения (2), для чего предположим, что существуют числа с 1, с 2,…, сn такие, что:
(3)
есть система верных числовых равенств. Выполним с этими верными равенствами следующее: 1е умножим на алгебраическое дополнение элемента а 11, 2е – на дополнение элемента а 21 и т.д. и почленно сложим. Получим следующее:
(a 11 A 11 +a 21 A 21 +…+an 1 An 1) c 1 + (a 12 A 11 +a 22 A 21 +…+an 2 An 1) c 2 +…
…+ (a 1 n A 11 +a 2 n A 21 +…+annAn 1 ) cn=b 1 A 11 +b 2 A 2 1 +…+bnAn 1.
Первая скобка в левой части равна определителю Δ, а все остальные скобки равны 0. Правая же часть есть разложение определителя Δ1 по первому столбцу. Итак, мы получили
Δ· с 1 = Δ1.
Если же указанную процедуру повторить, взяв в качестве множителей алгебраические дополнения элементов а 12, а 22, …, аn 2, то получим
Δ· с 2 = Δ2
и так далее по аналогии Δ· сn = Δ n. Поскольку по условию Δ≠0, то полученные равенства эквивалентны соотношениям
что и означает, что у системы (1) нет других решений кроме тех, что даются формулами Крамера. Теорема доказана.
Значение формул Крамера заключается главным образом в том, что в тех случаях, когда они применимы, эти формулы дают явное выражение для решения системы через коэффициенты и свободные члены. Практическое использование формул Крамера связано с довольно громоздкими вычислениями определителей n- го порядка. К этому следует добавить, что, если коэффициенты уравнений и свободные члены представляют собой лишь приближенные значения каких-либо измеряемых физических величин или округляются в процессе вычислений, то использование формул Крамера может привести к большим ошибкам и в ряде случаев является нецелесообразным.
Замечание. Из полученных в процессе доказательства равенств
cj· Δ = Δ j, j =1,2,…, n
следует важный вывод:
если Δ=0, а хотя бы один из Δ1, Δ2,…, Δ n отличен от 0, то системы (1) решений не имеет; в случае же когда Δ=Δ1=Δ2=…=Δ n =0 система (1) может быть или несовместной, или неопределенной.
И еще один полезный вывод из теоремы: если однородная система n уравнений с n неизвестными имеет нетривиальное решение, то её определитель равен 0.