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

Условие несовместности линейной системы

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

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

Формула

\operatorname{rank}A<\operatorname{rank}[A\mid b]

строка-противоречие Строка 0 = c как маркер несовместности

В ступенчатом виде противоречие видно как нулевая коэффициентная часть и ненулевая правая часть.

Если [0 0 ... 0 | c] имеет c != 0, расширенный ранг больше ранга коэффициентов.

Обозначения

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

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

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

Ограничения

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

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

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

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

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

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

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

Запишите систему в виде Ax = b.
Составьте расширенную матрицу [A|b].
Приведите ее к ступенчатому виду элементарными преобразованиями строк.
Сравните число ненулевых строк в коэффициентной части и во всей расширенной матрице.
Если rank A меньше rank[A|b], зафиксируйте вывод: система несовместна.

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

Проверка несовместности через строку 0 = c возникла из вычислительной практики исключения неизвестных задолго до современной матричной записи. Матричный язык XIX века позволил записывать этот признак компактнее: не нужно отдельно перечислять все возможные противоречивые строки, достаточно сравнить два ранга. В исторической линии, связанной с Кронекером и Капелли, этот критерий стал частью общего результата о совместности систем линейных уравнений. Сегодня условие rank A < rank[A|b] входит в первые темы университетской линейной алгебры, потому что оно соединяет метод Гаусса, понятие ранга и геометрию столбцового пространства. В этой форме признак особенно ценен: он объясняет не только факт ошибки, но и место, где правая часть перестает быть согласованной с коэффициентами.

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

Условие несовместности является следствием теоремы Кронекера-Капелли. Его корректно связывать не с отдельной вычислительной строкой, а с развитием рангового критерия совместности, где важны работы Леопольда Кронекера и Альфредо Капелли.

Пример

Пусть дана система x + y = 2, 2x + 2y = 5. Вторая левая часть ровно в два раза больше первой, но правая часть не равна 4. После преобразования R2 <- R2 - 2R1 получаем строку 0x + 0y = 1. В матрице коэффициентов эта строка нулевая, поэтому она не увеличивает rank A. В расширенной матрице строка [0, 0 | 1] ненулевая, значит rank[A|b] больше. Получается rank A = 1, rank[A|b] = 2. Геометрически это две параллельные прямые: левая часть задает одинаковое направление, но свободные члены сдвигают прямые так, что они не пересекаются.

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

Чаще всего ошибаются в моменте, когда нулевая строка слева превращается в ненулевую строку расширенной матрицы: ее нельзя выбрасывать как обычную нулевую строку. Еще одна ошибка - пытаться продолжать обратную подстановку после появления 0 = c; на этом этапе уже доказано, что решений нет. В задачах с параметрами опасно делить строку на выражение, которое может быть нулем: именно при таком значении параметра может возникнуть отдельный несовместный случай. Также нельзя делать вывод только по числу уравнений: две строки могут быть зависимыми, а противоречие появляется из-за правой части.

Практика

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

Найти противоречивую строку

Условие. После преобразований расширенная матрица системы приняла вид [[1, 3 | 4], [0, 0 | -2]]. Есть ли решения?

Решение. Во второй строке коэффициенты при неизвестных равны нулю, но правая часть равна -2. Это уравнение 0 = -2, невозможное при любых значениях неизвестных. Значит rank A = 1, а rank[A|b] = 2.

Ответ. Решений нет, система несовместна

Сравнить ранги

Условие. Для системы с тремя неизвестными найдено rank A = 2 и rank[A|b] = 3. Можно ли искать свободную переменную?

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

Ответ. Нельзя, система несовместна

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

18.06SC Linear Algebra notes, Linear systems and elimination
Jim Hefferon, Linear Algebra, Chapter One: Linear Systems
Encyclopedia of Mathematics, Kronecker-Capelli theorem

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

Математика

Ранг расширенной матрицы системы

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

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

Математика

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

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

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

Математика

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

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

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