Задача такая:
Пусть квадратичная форма - сумма элементов побочной диагонали матрицы ,. Найти её канонический вид и матрицу перехода к каноническому базисуЕсли матрица
, где
- коэффициенты при базисном векторе
в некотором исходном базисе, то квадратичная форма записывается как
Произвольный элемент
обладает следующим свойством : он встречается ровно в двух произведениях из
, а именно в
и
Квадрат среди этих произведений появляется только в случае, когда
- нечётное, и при этом он ровно один : это
Собственно говоря, узнав всё это, я пытаюсь применить метод Лагранжа, переписав немного вид исходной суммы как
Беру например произведение
(пока для случая
чётного) и собираюсь делать стандартную замену; из всех слагаемых эта замена затронет ровно три :
,
и
. Что и записываю, выкинув из
все наборы приводящие к этим слагаемым:
(ну и далее применяю метод Лагранжа)
На первой итерации способ довольно удачный, но я до конца не уверен, проработает ли он на второй и до победного?
Другие идеи были :
- Ввести "линейную" нумерацию через изоморфизм из
в
- пока ни к чему кроме упрощённой нумерации не привело;
-
есть след матрицы
умноженной на матрицу, у которой все элементы нули, а на побочной диагонали - единицы;
Собственно говоря, если кто-то что-то может подсказать - поделитесь идеями....