Система алгебраических уравнений называется совместной если

Система алгебраических уравнений называется совместной если

линейных уравнений называется совместной, если у неё есть хотя бы одно решение, и несовместной, если решений нет. В примере 14 система совместна, столбик является её решением:

Это решение можно записать и без матриц: x = 2, у = 1.

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

Пример 15. Система является неопределённой. Например, . являются её решениями. Читатель может найти и много других решений этой системы.

Научимся решать системы линейных уравнений сначала в частном случае. Систему уравнений AX = B будем называть крамеровской, если её основная матрица А — квадратная и невырожденная. Другими словами, в крамеровской системе число неизвестных совпадает с числом уравнений и |A| = 0.

Теорема 6 (правило Крамера). Крамеровская система линейных уравнений имеет единственное решение, задаваемое формулами:

где Δ = |A| — определитель основной матрицы, Δi — определитель, полученный из A заменой i-го столбика столбиком свободных членов.

Доказательство проведём для n = 3, так как в общем случае рассуждения аналогичны.

Итак, имеется крамеровская система:

Допустим сначала, что решение системы существует, т. е. имеются

Умножим первое . равенство на алгебраическое дополнение к элементу aii, второе равенство — на A2i, третье — на A3i и сложим полученные равенства:

Системы линейных алгебраических уравнений

Системой линейных алгебраических уравнений с неизвестными называется система уравнений вида

Числа называются коэффициентами системы ; — свободными членами , — неизвестными . Количество уравнений в системе может быть меньше, больше или равно числу неизвестных.

Решением системы называется упорядоченная совокупность чисел такая, что после замены неизвестных соответственно числами каждое уравнение системы превращается в верное числовое равенство. Система называется совместной , если она имеет хотя бы одно решение. Если система не имеет ни одного решения, то она называется несовместной .

Система (5.1) называется однородной , если все свободные члены равны нулю:

В отличие от однородной, систему общего вида (5.1) называют неоднородной .

Систему (5.1) принято записывать в матричной форме. Для этого из коэффициентов системы составляем матрицу системы

свободные члены записываем в столбец свободных членов

а неизвестные — в столбец неизвестных

Матричная запись неоднородной системы уравнений (5.1) имеет вид

Матричную запись (5.3) системы уравнений можно представить в эквивалентной форме

Тогда решение системы представляется столбцом и удовлетворяет равенству

т.е. столбец свободных членов является линейной комбинацией столбцов матрицы системы.

Относительно системы уравнений нас интересуют ответы на следующие вопросы:

1. Совместна система или нет?

2. Если система совместна, то имеет ли она единственное решение или нет?

3. Если решение единственное, то как его найти?

4. Если система имеет бесконечно много решений, то какова структура множества решений?

5. Как в бесконечном множестве решений системы определить одно решение, наилучшее с практической точки зрения?

6. Если система несовместна, то как определить ее приближенное решение?

Правило Крамера

Рассмотрим случай, когда число уравнений равно числу неизвестных , т.е. систему

где матрица системы — квадратная n-го порядка:

Ее определитель обозначим

Теорема 5.1 (правило Крамера). Если определитель матрицы системы линейных уравнений с неизвестными отличен от нуля, то система имеет единственное решение, которое находится по формулам

где — определитель матрицы, полученной из матрицы системы заменой i-го столбца столбцом свободных членов, т.е.

В самом деле, рассмотрим систему (5.6) как матричное уравнение . Так как определитель матрицы отличен от нуля, по теореме 4.2 заключаем, что матричное уравнение имеет единственное решение:

где — обратная матрица. Запишем i-й элемент столбца , учитывая, что в i-й строке присоединенной матрицы стоят алгебраические дополнения i-го столбца матрицы

Заметим, что в скобках записано разложение определителя по i-му столбцу, т.е. , что и требовалось доказать.

1. На практике при больших правило Крамера не применяется, так как вычисление определителя n-го порядка требует большого числа арифметических операций. Поэтому применяются более экономичные алгоритмы. Обычно, правило Крамера используется, когда нужно найти только несколько неизвестных (например, одну) среди многих. В теоретических исследованиях правило Крамера незаменимо и используется весьма продуктивно.

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

Пример 5.1. Решить систему линейных уравнений с помощью правила Крамера

Решение. Составим матрицу системы . Вычислим ее определитель

Так как определитель отличен от нуля, система имеет единственное решение (см. теорему 5.1). Находим определители и неизвестные

Условие совместности системы линейных уравнений

Рассмотрим систему (5.3) линейных уравнений с неизвестными. Составим блочную матрицу, приписав к матрице справа столбец свободных членов. Получим расширенную матрицу системы :

Эта матрица содержит всю информацию о системе уравнений, за исключением обозначений неизвестных.

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

Необходимость следует из равенства (5.5) и следствия 1 теоремы 3.3. Если система имеет решение, то столбец свободных членов есть линейная комбинация столбцов матрицы системы. Поэтому при вычеркивании столбца Ь из расширенной матрицы ее ранг не изменяется. Следовательно, .

Для доказательства достаточности нужно использовать теорему о базисном миноре. Из равенства следует, что базисный минор матрицы является базисным минором расширенной матрицы . Поэтому столбец является линейной комбинацией столбцов базисного минора матрицы , а, значит, и всех столбцов матрицы . Следовательно, существуют числа , удовлетворяющие условию (5.5), т.е. система совместна.

Замечание 5.2. Теорема Кронекера-Капелли дает лишь критерий существования решения системы, но не указывает способа отыскания этого решения.

Пример 5.2. Определить, имеет ли система уравнений решения

Решение. Составим матрицу системы и расширенную матрицу системы

Ранг матрицы равен 2, так как она имеет не равные нулю миноры второго порядка и третья строка этой матрицы равна сумме первых двух строк. Следовательно, третью строку можно вычеркнуть, при этом ранг матрицы не изменится. Ранг расширенной матрицы равен трем, так как она имеет не равный нулю минор третьего порядка, например, минор, составленный из первого, второго и последнего столбцов расширенной матрицы

Следовательно, . Поэтому система несовместна (не имеет решений).

Теорема Кронекера-Капелли. Исследование систем линейных уравнений на совместность. Первая часть.

Исследовать систему линейных агебраических уравнений (СЛАУ) на совместность означает выяснить, есть у этой системы решения, или же их нет. Ну и если решения есть, то указать сколько их.

Нам понадобятся сведения из темы «Система линейных алгебраических уравнений. Основные термины. Матричная форма записи». В частности, нужны такие понятия, как матрица системы и расширенная матрица системы, поскольку именно на них опирается формулировка теоремы Кронекера-Капелли. Как обычно, матрицу системы будем обозначать буквой $A$, а расширенную матрицу системы – буквой $\widetilde$.

Система линейных алгебраических уравнений совместна тогда и только тогда, когда ранг матрицы системы равен рангу расширенной матрицы системы, т.е. $\rang A=\rang\widetilde$.

Следствие из теоремы Кронекера-Капелли

Заметьте, что сформулированная теорема и следствие из неё не указывают, как найти решение СЛАУ. С их помощью можно лишь выяснить, существуют эти решения или нет, а если существуют – то сколько.

Исследовать СЛАУ $ \left \ <\begin& -3x_1+9x_2-7x_3=17;\\ & -x_1+2x_2-4x_3=9;\\ & 4x_1-2x_2+19x_3=-42. \end\right.$ на совместность. Если СЛАУ совместна, указать количество решений.

Чтобы выяснить наличие решений заданной СЛАУ, используем теорему Кронекера-Капелли. Нам понадобятся матрица системы $A$ и расширенная матрица системы $\widetilde$, запишем их:

Способ №1. Вычисление рангов по определению.

Согласно определению, ранг – это наивысший порядок миноров матрицы, среди которых есть хоть один, отличный от нуля. Обычно исследование начинают с миноров первого порядка, но здесь удобнее приступить сразу к вычислению минора третьего порядка матрицы $A$. Элементы минора третьего порядка находятся на пересечении трёх строк и трёх столбцов рассматриваемой матрицы. Так как матрица $A$ содержит всего 3 строки и 3 столбца, то минор третьего порядка матрицы $A$ – это определитель матрицы $A$, т.е. $\Delta A$. Для вычисления определителя применим формулу №2 из темы «Формулы для вычисления определителей второго и третьего порядков»:

$$ \Delta A=\left| \begin -3 & 9 & -7 \\ -1 & 2 & -4 \\ 4 & -2 & 19 \end \right|=-21. $$

Итак, есть минор третьего порядка матрицы $A$, который не равен нулю. Минор четвёртого порядка составить невозможно, так как для него требуется 4 строки и 4 столбца, а в матрице $A$ всего 3 строки и 3 столбца. Итак, наивысший порядок миноров матрицы $A$, среди которых есть хотя бы один не равный нулю, равен 3. Следовательно, $\rang A=3$.

Задача решена. Какие недостатки и преимущества имеет данный способ? Для начала поговорим о плюсах. Во-первых, нам понадобилось найти всего один определитель. После этого мы сразу сделали вывод о количестве решений. Обычно в стандартных типовых расчётах даются системы уравнений, которые содержат три неизвестных и имеют единственное решение. Для таких систем данный метод очень даже удобен, ибо мы заранее знаем, что решение есть (иначе примера не было бы в типовом расчёте). Т.е. нам остаётся только показать наличие решения наиболее быстрым способом. Во-вторых, вычисленное значение определителя матрицы системы (т.е. $\Delta A$) пригодится после: когда станем решать заданную систему методом Крамера или с помощью обратной матрицы.

Однако метод вычисления ранга по определению нежелательно применять, если матрица системы $A$ является прямоугольной. В этом случае лучше применить второй метод, о котором пойдёт речь ниже. Кроме того, если $\Delta A=0$, то мы ничего не сможем сказать о количестве решений заданной неоднородной СЛАУ. Может, СЛАУ имеет бесконечное количество решений, а может – ни одного. Если $\Delta A=0$, то требуется дополнительное исследование, которое зачастую является громоздким.

Подводя итог сказанному, отмечу, что первый способ хорош для тех СЛАУ, у которых матрица системы квадратна. При этом сама СЛАУ содержит три или четыре неизвестных и взята из стандартных типовых расчетов или контрольных работ.

Способ №2. Вычисление ранга методом элементарных преобразований.

Какие преимущества второго способа? Главное преимущество – это его универсальность. Нам совершенно неважно, является ли матрица системы квадратной или нет. Кроме того, мы фактически провели преобразования прямого хода метода Гаусса. Осталось лишь пару действий, и мы смогли бы получить решение данной СЛАУ. Честно говоря, второй способ нравится мне более первого, но выбор – это дело вкуса.

Ответ: Заданная СЛАУ совместна и определена.

$$ \left( \begin 1 & -1 & 2 & -1\\ -1 & 2 & -3 & 3 \\ 2 & -3 & 5 & -4 \\ 3 & -2 & 5 & 1 \\ 2 & -1 & 3 & 2 \end \right) \begin \phantom<0>\\r_2+r_1\\r_3-2r_1\\ r_4-3r_1\\r_5-2r_1\end\rightarrow \left( \begin 1 & -1 & 2 & -1\\ 0 & 1 & -1 & 2 \\ 0 & -1 & 1 & -2 \\ 0 & 1 & -1 & 4 \\ 0 & 1 & -1 & 4 \end \right) \begin \phantom<0>\\\phantom<0>\\r_3-r_2\\ r_4-r_2\\r_5+r_2\end\rightarrow\\ $$ $$ \rightarrow\left( \begin 1 & -1 & 2 & -1\\ 0 & 1 & -1 & 2 \\ 0 & 0 & 0 & 2 \\ 0 & 0 & 0 & 2 \\ 0 & 0 & 0 & 0 \end \right) \begin \phantom<0>\\\phantom<0>\\\phantom<0>\\ r_4-r_3\\\phantom<0>\end\rightarrow \left( \begin 1 & -1 & 2 & -1\\ 0 & 1 & -1 & 2 \\ 0 & 0 & 0 & 2 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end \right) $$

Расширенная матрица системы приведена к ступенчатому виду. Ранг ступенчатой матрицы равен количеству её ненулевых строк, поэтому $\rang\widetilde=3$. Матрица $A$ (до черты) тоже приведена к ступенчатому виду, и ранг её равен 2, $\rang=2$.

Ответ: система несовместна.

Приводим расширенную матрицу системы к ступенчатому виду:

$$ \left( \begin 2 & 0 & 7 & -5 & 11 & 42\\ 1 & -2 & 3 & 0 & 2 & 17 \\ -3 & 9 & -11 & 0 & -7 & -64 \\ -5 & 17 & -16 & -5 & -4 & -90 \\ 7 & -17 & 23 & 0 & 15 & 132 \end \right) \overset> <\rightarrow>$$ $$ \rightarrow\left( \begin 1 & -2 & 3 & 0 & 2 & 17\\ 2 & 0 & 7 & -5 & 11 & 42\\ -3 & 9 & -11 & 0 & -7 & -64\\ -5 & 17 & -16 & -5 & -4 & -90 \\ 7 & -17 & 23 & 0 & 15 & 132 \end \right) \begin \phantom<0>\\ r_2-2r_1 \\r_3+3r_1 \\ r_4+5r_1 \\ r_5-7r_1 \end \rightarrow \left( \begin 1 & -2 & 3 & 0 & 2 & 17\\ 0 & 4 & 1 & -5 & 7 & 8\\ 0 & 3 & -2 & 0 & -1 & -13\\ 0 & 7 & -1 & -5 & 6 & -5 \\ 0 & -3 & 2 & 0 & 1 & 13 \end \right) \begin \phantom<0>\\ \phantom<0>\\4r_3+3r_2 \\ 4r_4-7r_2 \\ 4r_5+3r_2 \end \rightarrow $$ $$ \rightarrow\left( \begin 1 & -2 & 3 & 0 & 2 & 17\\ 0 & 4 & 1 & -5 & 7 & 8\\ 0 & 0 & -11 & 15 & -25 & -76\\ 0 & 0 & -11 & 15 & -25 & -76 \\ 0 & 0 & 11 & -15 & 25 & 76 \end \right) \begin \phantom<0>\\ \phantom<0>\\\phantom <0>\\ r_4-r_3 \\ r_5+r_2 \end \rightarrow \left( \begin 1 & -2 & 3 & 0 & 2 & 17\\ 0 & 4 & 1 & -5 & 7 & 8\\ 0 & 0 & -11 & 15 & -25 & -76\\ 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 \end \right) $$

Мы привели расширенную матрицу системы и саму матрицу системы к ступенчатому виду. Ранг расширенной матрицы системы равен трём, ранг матрицы системы также равен трём. Так как система содержит $n=5$ неизвестных, т.е. $\rang\widetilde=\rang\lt$, то согласно пункту №2 следствия из теоремы Кронекера-Капелли данная система является неопределённой, т.е. имеет бесконечное количество решений.

Ответ: система является неопределённой.

Во второй части мы разберём примеры, которые нередко включают в типовые расчёты или контрольные работы по высшей математике: исследование на совместность и решение СЛАУ в зависимости от значений параметров, входящих в неё.