Система совместная если лямбда не равно
Эта страничка поможет решить Системы Линейных Алгебраических Уравнений (СЛАУ) методом Гаусса, матричным методом или методом Крамера, исследовать их на совместность (теорема Кронекера-Капелли), определить количество решений, найти общее, частное и базисные решения.
Введите коэффициенты при неизвестных в поля. Если Ваше уравнение имеет меньшее количество неизвестных, то оставьте пустыми поля при переменных, не входящих в ваше уравнение. Можно использовать дроби ( 13/31 ).
- Оставляйте лишние ячейки пустыми для ввода неквадратных матриц.
- Элементы матриц - десятичные (конечные и периодические) дроби: 1/3 , 3,14 , -1,3(56) или 1,2e-4 ; либо арифметические выражения: 2/3+3*(10-4) , (1+x)/y^2 , 2^0,5 (= 2 ) , 2^(1/3) , 2^n , sin(phi) или cos(3,142rad) .
- Используйте ↵ Ввод , Пробел , ← ↑ ↓ → , ⌫ и Delete для перемещения по ячейкам, Ctrl ⌘ Cmd + C / Ctrl ⌘ Cmd + V - для копирования матриц.
- Перетаскивайте матрицы из результата (drag-and-drop), или даже из текстового редактора.
- За теорией о матрицах и операциях над ними обращайтесь к страничке на Википедии.
Установить, совместна ли система линейных уравнений, с помощью теоремы Кронекера-Капелли часто можно быстрее, чем с помощью метода Гаусса, когда требуется последовательно исключать неизвестные. Основана эта теорема на использовании ранга матрицы.
Теорема Кронекера-Капелли о совместности системы. Система линейных алгебраических уравнений совместна тогда и только тогда, когда ранг матрицы этой системы равен рангу её расширенной матрицы, то есть чтобы .
Здесь матрица A (матрица системы) - это матрица, составленная из коэффициентов при неизвестных:
В свою очередь матрица В (расширенная матрица) - это матрица, полученная присоединением к матрице системы столбца из свободных членов:
Ранги этих матриц связаны неравенством , при этом ранг матрицы В может быть лишь на одну единицу больше ранга матрицы A.
Следствие из теоремы Кронекера-Капелли о числе решений. Пусть для системы m линейных уравнений с n неизвестными выполнено условие совместности, то есть ранг матрицы из коэффициентов системы равен рангу её расширенной матрицы. Тогда верно следующее.
- Если ранг матрицы равен числу неизвестных (), то система имеет единственное решение.
- Если ранг матрицы системы меньше числа неизвестных (), то система имеет бесконечно много решений, а именно: некоторым n - r неизвестным можно придавать произвольные значения, тогда оставшиеся r неизвестных определятся уже единственным образом.
Если ранг матрицы системы линейных уравнений равен числу уравнений, то есть , то система совместна при любых свободных членах. В этом случае ранг расширенной матрицы также равен m, так как ранг матрицы не может быть больше числа её строчек.
В ходе доказательства теоремы Кронекера-Капелли были получены явные формулы для решений системы (в случае её совместности). Если уже известно, что система совместна, то, чтобы найти её решения, необходимо:
1) отыскать в матрице системы A ранга отличный от нуля минор порядка, равного рангу матрицы системы, то есть ранга r;
2) отбросить те уравнения, которые соответствуют строкам матрицы A, не входящим в минор ;
3) члены с коэффициентами, не входящими в , перенести в правую часть, а затем, придавая неизвестным, находящимся в правой части, произвольные значения, определить по формулам Крамера оставшиеся r неизвестных из системы r уравнений с отличным от нуля определителем .
Пример 1. Следуя теореме Кронекера-Капелли, установить, совместна ли система уравнений
Если система совместна, то решить её.
Решение. Вычисляем ранг матрицы этой системы и ранг расширенной матрицы. В обоих случаях он равен 3. Следовательно, система линейных уравнений совместна. Так как ранг матрицы системы меньше числа неизвестных, то система имеет бесконечно много решений: одно неизвестное может быть взято произвольно. Минор
отличен от нуля, поэтому последнее уравнение отбрасываем и неизвестному придаём произвольное значение .
Оставшиеся неизвестные определяются из системы
Решая последнюю систему по формулам Крамера или иным способом, находим
Присоединяя сюда , получаем все решения данной системы линейных уравнений.
Пример 2. Следуя теореме Кронекера-Капелли, установить, совместна ли система уравнений
Если система совместна, то решить её.
Решение. Вычисляем ранг матрицы этой системы:
Следовательно, ранг системы равен 3. Определим ранг расширенной матрицы:
Это означает, что ранг расширенной матрицы также равен 3. Следовательно, система совместна, а так как число неизвестных равно рангу матрицы системы, то она имеет единственное решение. Для решения можем использовать первые три уравнения:
— это объединение из n линейных уравнений, каждое из которых содержит k переменных. Записывается это так:
Многие, впервые сталкиваясь с высшей алгеброй, ошибочно полагают, что число уравнений обязательно должно совпадать с числом переменных. В школьной алгебре так обычно и бывает, однако для высшей алгебры это, вообще говоря, неверно.
— это последовательность чисел ( k 1, k 2, . kn ), которая является решением каждого уравнения системы, т.е. при подстановке в это уравнение вместо переменных x 1, x 2, . xn дает верное числовое равенство.
Соответственно, решить систему уравнений — значит найти множество всех ее решений или доказать, что это множество пусто. Поскольку число уравнений и число неизвестных может не совпадать, возможны три случая:
Переменная xi называется , если она входит только в одно уравнение системы, причем с коэффициентом 1. Другими словами, в остальных уравнениях коэффициент при переменной xi должен быть равен нулю.
Если в каждом уравнении выбрать по одной разрешенной переменной, получим набор разрешенных переменных для всей системы уравнений. Сама система, записанная в таком виде, тоже будет называться разрешенной. Вообще говоря, одну и ту же исходную систему можно свести к разным разрешенным, однако сейчас нас это не волнует. Вот примеры разрешенных систем:
Обе системы являются разрешенными относительно переменных x 1, x 3 и x 4. Впрочем, с тем же успехом можно утверждать, что вторая система — разрешенная относительно x 1, x 3 и x 5. Достаточно переписать самое последнее уравнение в виде x 5 = x 4.
Теперь рассмотрим более общий случай. Пусть всего у нас k переменных, из которых r являются разрешенными. Тогда возможны два случая:
- Число разрешенных переменных r равно общему числу переменных k : r = k . Получаем систему из k уравнений, в которых r = k разрешенных переменных. Такая система является совместной и определенной, т.к. x 1 = b 1, x 2 = b 2, . xk = bk ;
- Число разрешенных переменных r меньше общего числа переменных k : r k . Остальные ( k − r ) переменных называются свободными — они могут принимать любые значения, из которых легко вычисляются разрешенные переменные.
Так, в приведенных выше системах переменные x 2, x 5, x 6 (для первой системы) и x 2, x 5 (для второй) являются свободными. Случай, когда есть свободные переменные, лучше сформулировать в виде теоремы:
Обратите внимание: это очень важный момент! В зависимости от того, как вы запишете итоговую систему, одна и та же переменная может быть как разрешенной, так и свободной. Большинство репетиторов по высшей математике рекомендуют выписывать переменные в лексикографическом порядке, т.е. по возрастанию индекса. Однако вы совершенно не обязаны следовать этому совету.
- Если задать значения свободным переменным ( x r + 1 = t r + 1, x r + 2 = t r + 2, . xk = tk ), а затем найти значения x 1, x 2, . xr , получим одно из решений.
- Если в двух решениях значения свободных переменных совпадают, то значения разрешенных переменных тоже совпадают, т.е. решения равны.
В чем смысл этой теоремы? Чтобы получить все решения разрешенной системы уравнений, достаточно выделить свободные переменные. Затем, присваивая свободным переменным разные значения, будем получать готовые решения. Вот и все — таким образом можно получить все решения системы. Других решений не существует.
Вывод: разрешенная система уравнений всегда совместна. Если число уравнений в разрешенной системе равно числу переменных, система будет определенной, если меньше — неопределенной.
И все бы хорошо, но возникает вопрос: как из исходной системы уравнений получить разрешенную? Для этого существует метод Гаусса.
Система несовместна, если главный определитель равен нулю, а хотя бы один из вспомогательных определителей отличен от нуля.
Главный определитель вашей системы равен λ+2, следовательно необходимое значение λ предполагается равным -2.
Подставив в главный определитель вместо столбца, содержащего λ, столбец свободных членов, убеждаемся, что получившийся вспомогательный определитель не равен 0.
Читайте также: