Рассмотрите систему линейных уравнений с параметром t: при каких t система имеет единственное решение, бесконечно много решений или не имеет решений, и как это визуализировать в пространстве
Обобщённый критерий. Для системы Ax=bA\mathbf{x}=\mathbf{b}Ax=b (коэффициентная матрица AAA, вектор правых частей b\mathbf{b}b, число неизвестных nnn): - Единственное решение: для квадратной AAA выполняется detA≠0\det A\ne 0detA=0. В общем эквивалентно rankA=rank[A∣b]=n\operatorname{rank}A=\operatorname{rank}[A|\mathbf{b}]=nrankA=rank[A∣b]=n. - Бесконечно много решений: rankA=rank[A∣b]<n\operatorname{rank}A=\operatorname{rank}[A|\mathbf{b}]<nrankA=rank[A∣b]<n (ранг равен, но меньше числа неизвестных). - Нет решений: rankA<rank[A∣b]\operatorname{rank}A<\operatorname{rank}[A|\mathbf{b}]rankA<rank[A∣b] (ранг увеличивается при добавлении столбца правых частей). Визуализация в пространстве: - В R2\mathbb{R}^2R2 система из двух линейных уравнений — это две прямые. Пересечения: одна точка ⇒\Rightarrow⇒ единственное решение; совпадающие прямые ⇒\Rightarrow⇒ бесконечно много решений; параллельные разные прямые ⇒\Rightarrow⇒ нет решений. - В R3\mathbb{R}^3R3 уравнения задают плоскости. Пересечение трёх плоскостей может быть точкой (единственное), прямой или плоскостью (бесконечно много), либо не пересекаться одновременно (нет решений). Короткие примеры. 1) Пример с уникальным/отсутствием решения: {x+ty=1,2x+(t+1)y=3.
\begin{cases} x+t y=1,\\[4pt] 2x+(t+1)y=3. \end{cases} {x+ty=1,2x+(t+1)y=3.
Детерминант коэффициентов: detA=1⋅(t+1)−2t=1−t\det A=1\cdot(t+1)-2t=1-tdetA=1⋅(t+1)−2t=1−t. Если t≠1t\ne 1t=1, то detA≠0\det A\ne0detA=0 — единственное решение. Если t=1t=1t=1, то системы: x+y=1, 2x+2y=3x+y=1,\;2x+2y=3x+y=1,2x+2y=3. Вторая строка не кратна первой по правой части (левая кратна, правая нет) ⇒ несовместна ⇒ нет решений. 2) Пример с бесконечно множеством решений: {x+ty=1,2x+2ty=2.
\begin{cases} x+t y=1,\\[4pt] 2x+2t y=2. \end{cases} {x+ty=1,2x+2ty=2.
Второе уравнение равно 222 раза первому как по коэффициентам и по правой части, поэтому ранги совпадают и меньше числа неизвестных ⇒ бесконечно много решений для любого ttt. Используйте проверку рангов или вычисление detA\det AdetA (для квадратных систем) для конкретной системы с параметром ttt.
- Единственное решение: для квадратной AAA выполняется detA≠0\det A\ne 0detA=0. В общем эквивалентно rankA=rank[A∣b]=n\operatorname{rank}A=\operatorname{rank}[A|\mathbf{b}]=nrankA=rank[A∣b]=n.
- Бесконечно много решений: rankA=rank[A∣b]<n\operatorname{rank}A=\operatorname{rank}[A|\mathbf{b}]<nrankA=rank[A∣b]<n (ранг равен, но меньше числа неизвестных).
- Нет решений: rankA<rank[A∣b]\operatorname{rank}A<\operatorname{rank}[A|\mathbf{b}]rankA<rank[A∣b] (ранг увеличивается при добавлении столбца правых частей).
Визуализация в пространстве:
- В R2\mathbb{R}^2R2 система из двух линейных уравнений — это две прямые. Пересечения: одна точка ⇒\Rightarrow⇒ единственное решение; совпадающие прямые ⇒\Rightarrow⇒ бесконечно много решений; параллельные разные прямые ⇒\Rightarrow⇒ нет решений.
- В R3\mathbb{R}^3R3 уравнения задают плоскости. Пересечение трёх плоскостей может быть точкой (единственное), прямой или плоскостью (бесконечно много), либо не пересекаться одновременно (нет решений).
Короткие примеры.
1) Пример с уникальным/отсутствием решения:
{x+ty=1,2x+(t+1)y=3. \begin{cases}
x+t y=1,\\[4pt]
2x+(t+1)y=3.
\end{cases}
{x+ty=1,2x+(t+1)y=3. Детерминант коэффициентов: detA=1⋅(t+1)−2t=1−t\det A=1\cdot(t+1)-2t=1-tdetA=1⋅(t+1)−2t=1−t.
Если t≠1t\ne 1t=1, то detA≠0\det A\ne0detA=0 — единственное решение.
Если t=1t=1t=1, то системы: x+y=1, 2x+2y=3x+y=1,\;2x+2y=3x+y=1,2x+2y=3. Вторая строка не кратна первой по правой части (левая кратна, правая нет) ⇒ несовместна ⇒ нет решений.
2) Пример с бесконечно множеством решений:
{x+ty=1,2x+2ty=2. \begin{cases}
x+t y=1,\\[4pt]
2x+2t y=2.
\end{cases}
{x+ty=1,2x+2ty=2. Второе уравнение равно 222 раза первому как по коэффициентам и по правой части, поэтому ранги совпадают и меньше числа неизвестных ⇒ бесконечно много решений для любого ttt.
Используйте проверку рангов или вычисление detA\det AdetA (для квадратных систем) для конкретной системы с параметром ttt.