Пусть дана система линейных уравнений (СЛАУ) a11x1+⋯+a1nxn=b1⋅⋅⋅⋅⋅⋅⋅am1x2+⋯+amnxn=bm}, где a11,a1n,am1,amn — числовые коэффициенты, x1,x2,x3 — переменные, b1,bm — свободные члены.
Обозначим матрицу-столбец неизвестных (X), матрицу коэффициентов при неизвестных (A) и столбец правых частей (B): X=‖x1⋮xn‖,A=‖a11⋯a1n⋅⋅⋅am1⋯amn‖,B=‖b1⋮bm‖.
Соотношения, задаваемые системой, запишем в виде матричного уравнения (A⋅X=B): ‖x1⋮xn‖⋅‖a11⋯a1n⋅⋅⋅am1⋯amn‖=‖b1⋮bm‖.
Исходя из вышеуказанного уравнения получаем, что каждый его столбец-решение является частным решением системы. Данное утверждение двойственно. Также можно утверждать, что каждое частное решение системы, записанное в виде столбца, будет решением матричного уравнения.
Теорема. Пусть задана СЛАУ от n неизвестных с квадратной невырожденной матрицей над полем P. Тогда общее решение такой системы содержит лишь одно частное решение (x01,x02,⋯,x0n)∈Pn, которое находится по формуле x0i=ΔiΔ,i=1,…,n, где Δ — определитель матрицы системы, а Δi — определитель, получаемый из этой матрицы заменой i-го столбца столбцом свободных членов системы.
Докажем теорему, воспользовавшись матричным уравнением A⋅X=B: ‖x1⋮xn‖⋅‖a11⋯a1n⋅⋅⋅am1⋯amn‖=‖b1⋮bm‖.
Единственность. Пусть имеется решение уравнения X0. Тогда A⋅X0=B. Так как определитель матрицы отличен от нуля можем быть уверены, что существует обратная к A матрица A−1. Умножим обе части равенства слева на A−1: A−1⋅(A⋅X0)=(A−1⋅A)⋅X0=E⋅X0=X0=A−1⋅B. Следовательно, если решение существует, то оно неизбежно будет равно A−1⋅B.
Существование. Сделаем замену: X0=A−1⋅B. Подставим в уравнение: A⋅(A−1⋅B)=(A⋅A−1)⋅B=E⋅B=B. Делаем вывод что, решение существует. Используя явное представление обратной матрицы, можем показать явный вид решения: A−1⋅B=Δ−1⋅‖A11…An1⋅⋅⋅A1n…Ann‖⋅‖b1⋮bn‖=Δ−1⋅‖n∑j=1Aj1⋅bj⋮n∑j=1Ajn⋅bj‖.
Заменив соответствующий столбец из определителя матрицы системы столбцом свободных членов системы, получим суммы, представляющие собой искомые нами определители. Теорема доказана.
Алгоритм решения СЛАУ методом Крамера
- Находим определитель матрицы искомой системы Δ=|a11⋯a1n⋅⋅⋅am1⋯amn|. Определитель обязательно должен быть отличен от нуля.
- Находим определители матриц Δxn=|a11a12⋯b1a21a22⋯b2⋮⋮⋱⋮an1an2⋯bn|, в которых k-ые столбцы (k=1,2,…,n) заменены на столбец свободных членов системы.
- Вычисляем неизвестные переменные по формуле: xn=ΔxnΔ.
- Выполняем проверку решения, подставив xk(k=1,2,…,n) в исходную систему. Все уравнения системы должны быть тождественно равны.
Некоторые следствия из теоремы Крамера
Следствие 1. Если определитель матрицы из коэффициентов системы равен нулю и все определители «вспомогательных» (в которых i-ый столбец заменен на столбец свободных членов) матриц равны нулю, то система имеет бесконечное количество решений.
Следствие 2. Если определитель матрицы из коэффициентов системы равен нулю, но хотя бы один из определителей «вспомогательных» матриц отличен от нуля, то система не имеет решений.
Следствие 3. Если определитель матрицы из коэффициентов системы отличен от нуля, то система имеет решение, причём единственное.
Примеры решения задач
-
Решить систему уравнений методом Крамера {2x1−x2−x3=43x1+4x2−2x3=113x1−2x2+4x3=11
Решение
-
Решить систему уравнений методом Крамера {ax—3y=12x+ay=2
Решение
-
Решить систему уравнений методом Крамера {x1+x2+2x3=−12x1−x2+2x3=−44x1+x2+43=−2
Решение
-
Найти количество решений у системы уравнений {2x1+3x2−x3=34x1+6x2−2x3=63x1−x2+2x3=−1
Решение
-
Решить систему уравнений методом Крамера {2x1+6x2+4x3=8x1+5x2+4x3=8x1+5x2+7x3=17
Решение
Тест на знание темы «Теорема Крамера».
Смотрите также
- Личный конспект, составленный на основе лекций Белозерова Г.С.
- Курош А.Г., Курс высшей алгебры М.: Наука, 1972, 10-ое издание, Глава 1, § 7, «Теорема Крамера» (стр. 53 — 59)
- Фадеев Д.К. Лекции по алгебре: Учебное пособие для вузов. — М.: Наука. Главна редакция физико-математической литературы, 1984.-416с. (стр. 106 — 108)
- Фадеев Д.К., Соминский И.С. Сборник задач по высшей алгебре М.: Наука, 1972, 10-ое издание, Глава 3, § 1, «Теорема Крамера» (стр. 56)