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

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

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

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

Формула

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

Дерево решений Сначала равенство рангов, затем число неизвестных

Сравнение rank A и rank[A|b] отвечает на вопрос существования, а сравнение общего ранга с n отвечает на вопрос единственности.

Теорема разделяет несовместные, определенные и неопределенные системы.

Обозначения

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

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

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

Ограничения

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

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

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

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

После проверки совместности нужно решить второй вопрос: сколько решений. Если общий ранг равен числу неизвестных n, все переменные ведущие и решение единственно. Если общий ранг меньше n, остаются свободные переменные, и решений бесконечно много. Поэтому теорема Кронекера-Капелли часто используется вместе с формулой числа свободных переменных n - rank A.

Для пользователя теорема полезна тем, что превращает длинное рассуждение о системе в проверяемый алгоритм: посчитать два ранга, сравнить их, затем сравнить общий ранг с числом неизвестных.

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

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

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

Критерий совместности через ранги связывают с Леопольдом Кронекером и Альфредо Капелли. Энциклопедические источники указывают, что версия Кронекера содержалась в его берлинских лекциях 1883-1891 годов, а Капелли, по-видимому, первым сформулировал результат в близком современному виде с использованием термина ранг матрицы в работе 1892 года. Эта история важна для сайта: теорема не является абстрактным украшением, она выросла из попытки точно сформулировать, когда система линейных уравнений совместна. Современная запись rank A = rank[A|b] делает этот критерий коротким и удобным для вычислений. Она также показывает переход от отдельных приемов исключения к общей теории, где один и тот же критерий работает для квадратных, прямоугольных и параметрических систем.

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

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

Пример

Исследуем систему x + y = 3, 2x + 2y = 6, x - y = 1. Первые два уравнения зависимы: второе является удвоенным первым, поэтому они дают одно независимое условие. Третье уравнение добавляет еще одно независимое условие. После приведения расширенной матрицы получаем две ненулевые строки и одну нулевую строку, значит rank A = 2. Правая часть согласована: зависимое второе уравнение имеет правую часть 6, то есть удвоенную правую часть первого. Поэтому rank[A|b] = 2. Ранги равны, система совместна. Более того, при двух неизвестных и ранге 2 решение единственно: из x + y = 3 и x - y = 1 получаем x = 2, y = 1.

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

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

Практика

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

Применить критерий совместности

Условие. У системы rank A = 2, rank[A|b] = 3. Сколько решений имеет система?

Решение. По теореме Кронекера-Капелли система совместна только при равенстве рангов. Здесь ранги различаются, значит в расширенной матрице есть противоречивое условие.

Ответ. Решений нет

Определить тип совместной системы

Условие. У системы с четырьмя неизвестными rank A = rank[A|b] = 2. Что можно сказать о решениях?

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

Ответ. Бесконечно много решений, две свободные переменные

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

Encyclopedia of Mathematics, Kronecker-Capelli theorem
Karol Pak, Solutions of Linear Equations, Formalized Mathematics, 2008
Jim Hefferon, Linear Algebra, Chapter One: Linear Systems

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

Математика

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

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

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

Математика

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

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

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

Математика

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

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

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