Тут я больше показываю, что делать, а кто виноват - в основном оставляю за кадром. Если будут интересны подробности, почему так - пишите, объясню.
Привести к каноническому виду квадратичную форму
и получить матрицу перехода к базису, в котором она будет иметь канонический вид.
Составляем матрицу квадратичной формы (1):
Находим собственные значения этой матрицы (я не буду писать, как это делается, ладно?): , , . Все они имеют кратность 1, значит, для каждого надо найти один собственный вектор. Собственные векторы будут такие:
Так как они принадлежат разным собственным значениям, они уже ортогональны и разводить их не надо. Их надо нормировать на единицу, т.е. получить из них новую тройку векторов:
Полученные по этой формуле векторы будут такими:
Теперь составляем из координат этих векторов матрицу перехода:
Проверим матрицу на ортогональность: нетрудно (долго, но нетрудно) сосчитать, что ; при . Значит, функции перехода к новым переменным будут такие:
Диагональный вид квадратичной формы будет такой: . Для получения канонического вида придётся воспользоваться неортогональными преобразованиями базиса: , новые переменные назовём при этом , и будет канонический вид таким: . Матрица перехода от базиса к базису будет выглядеть так: