Задача такая:
Пусть квадратичная форма
- сумма элементов побочной диагонали матрицы
,
. Найти её канонический вид и матрицу перехода к каноническому базисуЕсли матрица

, где

- коэффициенты при базисном векторе

в некотором исходном базисе, то квадратичная форма записывается как

Произвольный элемент

обладает следующим свойством : он встречается ровно в двух произведениях из

, а именно в

и

Квадрат среди этих произведений появляется только в случае, когда

- нечётное, и при этом он ровно один : это

Собственно говоря, узнав всё это, я пытаюсь применить метод Лагранжа, переписав немного вид исходной суммы как

Беру например произведение

(пока для случая

чётного) и собираюсь делать стандартную замену; из всех слагаемых эта замена затронет ровно три :

,

и

. Что и записываю, выкинув из

все наборы приводящие к этим слагаемым:

(ну и далее применяю метод Лагранжа)
На первой итерации способ довольно удачный, но я до конца не уверен, проработает ли он на второй и до победного?
Другие идеи были :
- Ввести "линейную" нумерацию через изоморфизм из

в

- пока ни к чему кроме упрощённой нумерации не привело;
-

есть след матрицы

умноженной на матрицу, у которой все элементы нули, а на побочной диагонали - единицы;
Собственно говоря, если кто-то что-то может подсказать - поделитесь идеями....