booro писал(а):
Хм, а как его искать-то? Не могу понять, у меня мозг атрофировался

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

входит в него линейным образом, работать надо только с квадратичной формой

. Её матрица -- это

ну и т.д.
Ну а если лень возиться со всякими там собственными векторами, то можно просто нарисовать график

. И тогда из соображений симметрии очевидно, что к каноническому виду приводит поворот на 45 градусов. Т.е. замена, предложенная предыдущим оратором (только делённая на корень из двух).