Приведение пары квадратичных форм
Рассмотрим задачу выбора базиса в котором пара квадратичных форм имеют диагональный вид. Не все пары квадратичных форм можно одновременно привести к диагональному виду, например, формы
и xy привести нельзя.
Пусть даны квадратичные формы
и
, причем квадратичная форма
- положительно определена. Тогда введем скалярное произведение
и найдем ортонормированный базис, а затем приведем первую квадратичную форму к главным осям. Поскольку ортогональное преобразование не меняет скалярное произведение, то обе квадратичные формы будут приведены к каноническому виду.






