Доказательство. Мы уже показали, что а эта матрица, очевидно, симметрична. Кроме того,
Доказательство. Очевидно, что так как проектирует Обратно, если то Таким образом, эти два пространства совпадают.
6. Матрица является матрицей ортогонального проектирования на
Доказательство. Из тождества у мы заключаем, что Теперь можно применить полученные выше результаты, поменяв ролями
7. Если — симметричная идемпотентная -матрица, то она является матрицей ортогонального проектирования на
Доказательство. Представим вектор у в виде Тогда так что это есть разложение вектора у на ортогональные компоненты. Сформулированный результат вытекает теперь из (5).
8. Если то где -произвольная обобщенная обратная матрица для (т. е. если то
Доказательство. Пусть Тогда - решение уравнения уравнения Поэтому для мы имеем где
Таким образом, мы получили ортогональное разложение вектора у, в котором . Поскольку же то (в силу
9. Если в (8) столбцы матрицы X линейно независимы, то
Доказательство. Соотношение (9) вытекает из (8), но этот результат можно доказать и непосредственно. Действительно, где С — невырожденная матрица (в силу (3)), и