В первой части мы рассматривали системы линейных алгебраических уравнений (СЛАУ), все коэффициенты которых были известны. В этой же части разберём СЛАУ, среди коэффициентов которых есть некий параметр. Для исследования СЛАУ на совместность станем использовать теорему Кронекера-Капелли. В процессе решения примеров на данной странице будем применять метод Гаусса или же метод Крамера. Сформулируем теорему и следствие из неё ещё раз:

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

Параметр $n$, использованный выше, равен количеству переменных рассматриваемой СЛАУ.

Исследовать СЛАУ $ \left \ <\begin& kx_1+2x_2+x_3=8;\\ & -x_1+x_2+2x_3=7;\\ & x_2+kx_3=5.\end\right.$ на совместность и найти решение системы в зависимости от значений параметра $k$.

Чтобы исследовать заданную систему на совместность, нам нужно найти ранг матрицы системы $A$ и ранг расширенной матрицы системы $\widetilde$. Сделать это можно несколькими путями. Стоит учесть, что в данном примере нам требуется не только исследовать систему на совместность, но и указать её решения. Мне кажется наиболее удобным в таких задачах применять метод Гаусса, однако это вовсе не является обязательным. Для разнообразия данный пример решим методом Гаусса, а следующий – методом Крамера. Итак, запишем и начнём преобразовывать расширенную матрицу системы. При записи расширенной матрицы системы поменяем местами первую и вторую строки. Это нужно для того, чтобы первым элементом первой строки стало число -1.

Мы привели расширенную матрицу системы к трапециевидной форме. Напомню, что до черты расположена преобразованная матрица матрица системы: $\left(\begin-1 & 1 &2\\0 & 1 & k\\ 0 & 0 & 1-k^2\end \right)$.

Каким бы ни было значение параметра $k$, полученная нами после преобразований матрица будет содержать не менее двух ненулевых строк (первая и вторая строки точно останутся ненулевыми). Вопрос о количестве решений зависит лишь от третьей строки.

В следствии из теоремы Кронекера-Капелли указаны три случая, и в данном примере легко рассмотреть каждый из них. Начнём с варианта $\rang A\neq\rang\widetilde$, при котором система не имеет решений, т.е. несовместна.

Ранги будут не равны друг другу лишь в одном случае: когда $1-k^2=0$, при этом $2k-2\neq<0>$. В этом случае преобразованная матрица системы будет содержать две ненулевых строки (т.е. $\rang A=2$), а преобразованная расширенная матрица системы будет содержать три ненулевых строки (т.е. $\rang \widetilde=3$). Иными словами, нам требуется решить систему уравнений:

Из первого уравнения имеем: $k=1$ или $k=-1$, однако $k\neq<1>$, поэтому остаётся лишь один случай: $k=-1$. Следовательно, при $k=-1$ система не имеет решений.

Рассмотрим второй пункт следствия из теоремы Кронекера-Капелли – ранги равны между собой, но меньше, чем количество переменных (т.е. меньше 3). Это возможно лишь в том случае, если последняя строка преобразованной расширенной матрицы системы полностью станет нулевой, т.е.

Система имеет бесконечное количество решений. Найдём эти решения. Подставим $k=1$ в преобразованную матрицу и продолжим операции метода Гаусса. Третью строку (она станет нулевой) просто вычеркнем:

Рассмотрим третий пункт следствия из теоремы Кронекера-Капелли – ранги равны между собой и равны количеству переменных. Это возможно лишь в том случае, если $1-k^2\neq<0>$, т.е. $k\neq<-1>$ и $k\neq<1>$. Продолжаем решение методом Гаусса:

Исследовать СЛАУ $\left\ <\begin& 2kx_1+x_2+x_3=0;\\ & x_1-x_2+kx_3=1;\\ & (k-6)x_1+2x_2-4x_3=-3.\end\right.$ на совместность и найти решение системы при тех значениях параметра, при которых она совместна.

Вновь, как и в предыдущем примере, для того, чтобы исследовать заданную систему на совместность, нам нужно найти ранг матрицы системы $A$ и ранг расширенной матрицы системы $\widetilde$. Чтобы исследовать систему на совместность и указать количество решений применим метод Крамера. Можно было бы решить и методом Гаусса, однако в предыдущем примере мы его уже использовали, поэтому для разнообразия решим задачу с помощью метода Крамера. Начнём с вычисления определителя матрицы системы. Этот определитель мы получим с помощью готовой формулы.

Нам остаётся исследовать совместность системы при условии $\Delta=0$. Это равенство возможно при $k=0$ или $k=1$.

Для наглядности я запишу здесь матрицу системы $A$ и расширенную матрицу системы $\widetilde$, подставив $k=1$:

Если $k=1$, то $\Delta=0$. Это значит, что $\rang≤2$. Рассмотрим миноры второго порядка матрицы $A$. Например, возьмём минор, образованный на пересечении строк №1, №2 и столбцов №1, №2: $M=\left|\begin2 & 1\\ 1 & -1\end\right|=-3$. Так как $M\neq<0>$, то ранг матрицы $A$ равен 2.

Разберём ещё один пример, в котором рассмотрим СЛАУ с четырьмя уравнениями.

Исследовать СЛАУ $ \left \ <\begin& kx_1+x_2+x_3+x_4=1;\\ & x_1+kx_2+x_3+x_4=1;\\ & x_1+x_2+kx_3+x_4=1;\\ & x_1+x_2+x_3+kx_4=1.\end\right.$ на совместность и найти решение системы в зависимости от значений параметра $k$.

Применим метод Гаусса. При записи расширенной матрицы системы поместим первую строку вниз, на место четвёртой строки. А дальше начнём стандартные операции метода Гаусса.

Здесь можно было бы остановиться и рассмотреть случаи $k=1$ и $k\neq<1>$ отдельно. Цель таких действий: разделить вторую, третью и четвёртую строки на $k-1$ при условии $k-1\neq<0>$. Однако пока что полученная нами матрица содержит не столь уж громоздкие элементы, поэтому сейчас отвлекаться на частности я не вижу смысла. Продолжим преобразования в общем виде:

Продолжим решение методом Гаусса. Так как $k\neq<1>$ и $\neq<-3>$, то $(1-k)(k+3)\neq<0>$. Следовательно, мы можем разделить вторую и третью строки на $1-k$, четвёртую строку – на выражение $(1-k)(k+3)$. С полученной после этого матрицей продолжим операции обратного хода метода Гаусса:

• При $k=-3$ система несовместна.
• При $k=1$ система является неопределённой. Общее решение системы: $\left\<\begin& x_1=-x_2-x_3-x_4+1;\\&x_2\in,\;x_3\in,\;x_4\in. \end\right.$
• При $k\neq<-3>$ и $k\neq<1>$ система является определённой. Решение системы: $x_1=x_2=x_3=x_4=\frac<1>$.