Определение. Линейное [преобразование $A$ вещественного n-мерного евклидова пространства называется ортогональным преобразованием, если оно сохраняет скалярное произведение векторов, т. е.
$$ (Ax, Ay) = (x, y) \qquad qquad (9)
для всех $x, y \in R.$
Полагая в равенстве (9) $x = y, $ получаем
$$ |Ax|^2 = |x|^2, \qquad \qquad (10)$$
т. е. ортогональное преобразование сохраняет длины векторов.
Упражнение. Доказать, что условие (10) является достаточным условием ортогональности линейного преобразования.
Теорема 4. Пусть в n-мернос пространстве $R$ заданы две квадратичные формы $A(x; x)$ и $B(x; x)$, причем форма $B(x; x)$ положительно определенная. Тогда в $R$ существует базис, в котором обе эти квадратичные формы записываются в виде суммы квадратов.
Пусть в n-мерном евклидовом пространстве задана симметричная билинейная форма $A(x; y).$ Как было показано выше, каждой симметричной ьилинейной форме $A(x; y)$ соответствует такое линейное самосопряженное преобразование $A,$ что $A(x; y) = (Ax, y).$
-- т. е. слева имя и через произвольное количество пробелов число баллов. Разберите эту строку получив имя пользователя как значение в переменной типа string и число баллов в переменной типа integer;
