Приведение квадратичной формы к каноническому виду с помощью ортогонального преобразования

Квадратичная форма - это та же функция, на вход которой мы подаем вектор, а получаем число. Но квадратичная форма дается в искривленных координатах. Тоже самое, что купить машину с погнутым бампером. А что мы делаем с таким бампером? Правильно, занимаемся кувалдингом. Здесь та же история, только мы все координаты выправляем, т.е. приводит к каноническому виду