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

, матрица

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

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

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

. Матрицы

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

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

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

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

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

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

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

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

и матрица

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

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

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