Рассматривается линейная система 

, матрица 

 положительно определена, обе матрицы 

 симметричны  и не зависят от времени. Эта система Лагранжева с лагранжианом 

.
Система, очевидно эквивалентна следующей 

. Матрицы 

 это матрицы квадратичных форм, матрица 

 это матрица линейного оператора: у формы 

 подняли индекс с помощью метрики 

.
Ищутся собственные векторы и собственные числа оператора 

 или, по свойствам определеителя, последнее равенство эквивалентно 

. 
Собственные векторы оператора 

 образуют базис, ортогональный в смысле метрики 

. Если еще этот базис отнормировать, то в нем 

 и матрица 

 -- диагональна.
Эквивалентно, можно выбрать ортонормированный в смысле 

 базис, а потом ортогональной заменой перейти в базис, в котором форма 

 диагональна.
-- Вс авг 24, 2014 11:36:02 --возводить матрицы в степень 1/2 не требуется 
