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

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

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

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

Формула

\operatorname{rank}[A\mid b]

Сравнение рангов Правая часть может добавить противоречивую строку

Если после приведения слева нули, а справа ненулевое число, расширенная матрица имеет больший ранг, чем матрица коэффициентов.

Ранг [A|b] проверяет совместимость правых частей с коэффициентами системы.

Обозначения

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

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

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

Ограничения

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

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

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

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

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

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

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

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

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

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

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

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

Пример

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

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

Частая ошибка - считать только ранг A и делать вывод о системе без ранга расширенной матрицы. Другая ошибка - забыть, что строка [0, 0, 0 | 5] увеличивает ранг расширенной матрицы и означает противоречие. Третья ошибка - включать вертикальную черту как математический знак операции: она только отделяет правую часть. Еще одна ошибка - искать ранг по числу уравнений, хотя зависимые уравнения могут давать меньше независимых строк.

Практика

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

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

Условие. После преобразований получена матрица [[1, 2 | 3], [0, 0 | 4]]. Найдите rank A и rank[A|b].

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

Ответ. rank A = 1, rank[A|b] = 2

Проверить совместность по рангу

Условие. У системы rank A = 3 и rank[A|b] = 3. Можно ли по этим данным сказать, что система совместна?

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

Ответ. Да, система совместна

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

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

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

Математика

Расширенная матрица системы

$\left[A\mid b\right]$

Расширенная матрица [A|b] объединяет коэффициенты системы и правые части в одну таблицу. Она нужна для метода Гаусса, потому что при преобразовании строк меняются и коэффициенты, и правые части.

Математика

Ранг матрицы через миноры

$\operatorname{rank}A=\max\{r:\text{существует ненулевой минор порядка }r\}$

Ранг матрицы равен наибольшему порядку ненулевого минора. Он показывает, сколько строк или столбцов матрицы действительно независимы.

Математика

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

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

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