Доказательство. Если существует решение системы (3.8.1), то оно единственное

Лемма 2

Если существует решение системы (3.8.1), то оно единственное.

Доказываем от противного. Пусть существует два решения системы (3.8.1), т.е. имеем

, , .

Вычитая одно уравнение из другого, получим

, .

Отсюда следует, что вектор коллинеарен трем взаимно ортогональным векторам .

А это значит . Получили противоречие с исходной посылкой о том, что .

Лемма 2 доказана.

Объединяя результаты, сформулированные в леммах 1 и 2,приходим к следующей теореме.

Дата добавления: 2014-01-04