Чтобы превратить выражение в симметрический многочлен, нужно выразить его через симметрические многочлены и . Симметрический многочлен — это многочлен, который остаётся неизменным при любом перестановке его переменных.
Для начала вспомним несколько полезных соотношений:
^2 - 2xy = s_1^2 - 2s_2).
= s_1 = s_1^2 - 3xy) = s_1).
^2 - 2x^2y^2 = ^2 - 2s_2^2).
Теперь применим аналогичный подход для .
Мы знаем, что:
Используя уже известные результаты, можно выразить через симметрические многочлены:
Тогда:
Теперь упростим выражение:
Раскроем скобки и упростим:
Сгруппируем и упростим:
Итак, представлено в виде симметрического многочлена через и :
Таким образом, данное выражение теперь выражено через симметрические многочлены и .