Математика / Матрицы, определители

Условие единственного решения линейной системы

Линейная система с n неизвестными имеет единственное решение, если она совместна и общий ранг равен числу неизвестных. Тогда все переменные ведущие, свободных параметров не остается.

Опубликовано: 12 мая 2026 г.Обновлено: 12 мая 2026 г.

Формула

\operatorname{rank}A=\operatorname{rank}[A\mid b]=n

ведущие столбцы Все n столбцов коэффициентов имеют ведущие позиции

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

Единственность = совместность плюс отсутствие свободных переменных.

Обозначения

$A$: матрица коэффициентов, m x n
$b$: столбец правых частей, m x 1
$n$: число неизвестных в системе, штук
$\operatorname{rank}A$: число ведущих переменных в совместной системе, штук

Условия применения

Система должна быть совместной: rank A = rank[A|b].
Число n должно означать именно количество неизвестных, а не количество уравнений.
Ранг должен быть посчитан по матрице коэффициентов после допустимых преобразований строк или через эквивалентные методы.

Ограничения

В квадратной системе это условие эквивалентно det A != 0, но в прямоугольной системе определитель всей матрицы может не существовать.
Если ранг равен числу уравнений, но меньше числа неизвестных, единственного решения нет.
Для численных матриц с почти зависимыми строками вывод об единственности может быть чувствителен к округлению.

Подробное объяснение

Единственное решение появляется тогда, когда система одновременно не противоречива и полностью определяет каждую неизвестную. Первое условие выражается равенством rank A = rank[A|b]. Оно говорит, что правые части согласованы с коэффициентами. Второе условие выражается равенством общего ранга числу неизвестных n. Оно говорит, что в ступенчатом виде у каждой переменной есть ведущая позиция.

Если ведущая позиция есть в каждом столбце коэффициентной матрицы, ни одну переменную нельзя выбрать произвольно. Значение первой переменной определяется системой, затем следующей, и так до конца. В квадратной невырожденной системе это видно через обратную матрицу: если A обратима, то x = A^{-1}b. Но ранговый критерий шире, потому что работает и для систем с большим числом уравнений, где уравнений может быть больше неизвестных, но все они согласованы.

Геометрически единственное решение означает, что все ограничения пересекаются в одной точке. В двух неизвестных это может быть пересечение двух непараллельных прямых; в трех неизвестных - пересечение плоскостей в одной точке. Если же остается хотя бы одно направление, вдоль которого можно двигаться, не нарушая уравнений, решение уже не единственное, а задается параметрами.

В практических расчетах этот критерий помогает понять, достаточно ли данных для точного восстановления неизвестных. Если ранг меньше n, данных не хватает для единственного ответа. Если ранги различаются, данные противоречивы. Только равенство обоих рангов числу неизвестных дает аккуратный вывод: решение существует и оно одно.

Как пользоваться формулой

Определите число неизвестных n.
Составьте A и [A|b].
Найдите rank A и rank[A|b].
Проверьте совместность: ранги должны быть равны.
Сравните общий ранг с n; если он равен n, решение единственно.

Историческая справка

Критерий единственного решения вырос из практики решения систем методом исключения. В вычислительных таблицах коэффициентов давно было видно: если после исключения каждая неизвестная получила ведущую позицию, решение можно восстановить однозначно. Современная запись через rank A = rank[A|b] = n связывает эту процедуру с теоремой Кронекера-Капелли и с понятием ранга. Она удобна тем, что одновременно охватывает квадратные системы с ненулевым определителем и прямоугольные системы, где определитель всей матрицы не подходит. Исторически это важный шаг от частного правила для матрицы 2 x 2 или 3 x 3 к общему критерию, который работает для любого числа уравнений и неизвестных.

Историческая линия формулы

Условие единственности является не отдельной именной формулой, а стандартным следствием рангового критерия совместности. В историческом контексте его уместно связывать с развитием метода исключения, теории ранга и теоремы Кронекера-Капелли.

Пример

Рассмотрим систему x + y = 3, x - y = 1. Матрица коэффициентов A = [[1, 1], [1, -1]], число неизвестных n = 2. После сложения уравнений получаем 2x = 4, значит x = 2; затем y = 1. В ранговой форме две строки независимы, поэтому rank A = 2. Расширенная матрица не добавляет противоречий, значит rank[A|b] = 2. Получили rank A = rank[A|b] = n = 2. Все переменные ведущие, и система задает одну точку пересечения двух прямых. Если бы один столбец не стал ведущим, появилась бы свобода выбора; если бы возникла строка 0 = c, решений не было бы совсем.

Частая ошибка

Главная ошибка - проверять только равенство rank A = rank[A|b] и сразу говорить об единственном решении. Равенство рангов означает лишь совместность. Для единственности нужно, чтобы общий ранг совпал с числом неизвестных. Вторая ошибка - подставлять вместо n число уравнений m. Например, система из двух уравнений с тремя неизвестными может иметь rank 2 и быть совместной, но она обычно имеет свободную переменную. Еще одна ошибка - применять determinant test к неквадратной матрице, где корректнее использовать ранг.

Практика

Задачи с решением

Определить единственность по рангам

Условие. В системе четыре неизвестных. Найдено rank A = rank[A|b] = 4. Сколько решений?

Решение. Ранги равны, значит система совместна. Общий ранг равен числу неизвестных n = 4, поэтому свободных переменных нет.

Ответ. Одно единственное решение

Не перепутать число уравнений и неизвестных

Условие. Система имеет 5 уравнений и 3 неизвестных. Найдено rank A = rank[A|b] = 3. Можно ли утверждать единственность?

Решение. Да. Для единственности сравнивают общий ранг с числом неизвестных, а не с числом уравнений. Здесь n = 3, общий ранг тоже 3.

Ответ. Да, решение единственное

Дополнительные источники

18.06SC Linear Algebra notes, Elimination with matrices
Jim Hefferon, Linear Algebra, Chapter One: Linear Systems
OpenStax Precalculus 2e, Systems of equations and matrices

Связанные формулы

Математика

Теорема Кронекера-Капелли

$\operatorname{rank}A=\operatorname{rank}[A\mid b]$

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

Математика

Число свободных переменных в линейной системе

$k=n-\operatorname{rank}A$

В совместной линейной системе число свободных переменных равно числу неизвестных минус ранг матрицы коэффициентов. Эти переменные становятся параметрами общего решения.

Математика

Условие бесконечного числа решений линейной системы

$\operatorname{rank}A=\operatorname{rank}[A\mid b]<n$

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