мы видели, что
строка
также не изменяется на этих шагах, так что первые строки
и
совпадают. Из первых
основных шагов имеем
откуда
учитывая свойство
в отношении перемножения (гл. 1, § 41). Приравнивая клетки в (18.2), получаем
тогда как из последнего разбиения в (18.3) находим
Эти последние пять уравнений дают нам значительное количество информации. Первое показывает, что
есть треугольное разложение
главной подматрицы порядка
матрицы
Поэтому, осуществляя метод Гаусса, получаем по очереди треугольное разложение каждой из главных подматриц
Далее, треугольные матрицы, соответствующие
главной подматрице
являются главными подматрицами окончательных треугольных матриц
Последнее уравнение из (18.4) и (18.5) показывает, что
так что
есть треугольное разложение квадратной матрицы порядка
в нижнем правом углу матрицы