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