§ 7. Симметрические многочлены

Определения и обозначения

Симметрический многочлен — многочлен от нескольких переменных, который не изменяется при любой перестановке этих переменных. Например, x² + y² остаётся тем же при замене x на y, а y на x. Это понятие нужно, чтобы замечать общую структуру выражения, а не рассматривать переменные по отдельности.

Элементарные симметрические многочлены составляют из переменных по определённому правилу: сначала берут сумму всех переменных, затем сумму всех произведений по две переменные, потом по три и так далее. Последним будет произведение всех переменных. Они служат основными «строительными блоками», через которые удобно записывать симметрические выражения.

Основная теорема о симметрических многочленах утверждает, что любой симметрический многочлен можно единственным образом представить как многочлен от элементарных симметрических многочленов. Например, выражение от x и y можно записать через x + y и xy. Благодаря единственности такое представление не является случайным и позволяет систематически преобразовывать выражения.

Как это устроено

Симметричность проверяют перестановкой переменных, потому что именно переменные могут быть неразличимыми в структуре выражения. Если при любой замене x на y, y на z и так далее многочлен не меняется, то он зависит от переменных не по отдельности, а только от их общего набора. Например, x² + y² при перестановке превращается в y² + x², а сумма имеет то же значение.

Элементарные многочлены устроены по числу перемножаемых переменных. Для двух переменных получаются x + y и xy, а для трёх к ним добавляются xy + xz + yz и xyz. Такое построение охватывает все возможные размеры групп переменных: по одной, по две, по три и до всех сразу.

Элементарные многочлены сами симметричны, поскольку перестановка меняет только порядок слагаемых и множителей. Например, после обмена x и y сумма xy + xz + yz превращается в yx + yz + xz. Так как yx = xy, а порядок слагаемых в сумме не важен, выражение снова совпадает с исходным.

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

Распознавать симметричность лучше по соответствию коэффициентов, а не по нескольким подстановкам. Если при перестановке x и y член x²y переходит в xy², коэффициенты при этих членах должны совпадать. Числовые проверки могут случайно дать одинаковые значения, но только сравнение преобразованных многочленов доказывает тождество.

Элементарные симметрические многочлены

В таблице элементы расположены по числу множителей в каждом произведении. Для двух переменных третий элемент отсутствует, поэтому последним снова оказывается xy; для трёх переменных третий и последний элементы совпадают. При большем числе переменных последовательность продолжается суммами произведений по 4, 5 и так далее переменных.

Чтобы пользоваться таблицей, сначала определите число переменных, а затем выберите нужные элементарные выражения. Например, для x, y и z обозначения часто сокращают: x + y + z, xy + xz + yz и xyz рассматривают как три базовые величины.

Разбор задач

1. Проверка симметричности

Условие: проверьте, является ли многочлен x² + y² симметрическим относительно x и y.

1. Поменяем переменные местами: x² + y² превращается в y² + x².
2. Сравним результат с исходным выражением. В сумме можно менять порядок слагаемых, поэтому y² + x² = x² + y².
3. Следовательно, после перестановки выражение не изменилось.

Ответ: многочлен x² + y² симметрический относительно x и y.

2. Представление через элементарные многочлены

Условие: представьте x² + xy + y² через элементарные симметрические многочлены.

1. Для двух переменных базовыми выражениями являются x + y и xy.
2. Раскроем квадрат суммы: (x + y)² = x² + 2xy + y².
3. Чтобы получить один, а не два члена xy, вычтем xy: (x + y)² − xy = x² + xy + y².

Ответ: x² + xy + y² = (x + y)² − xy.

3. Представление суммы кубов

Условие: представьте x³ + y³ + z³ через элементарные симметрические многочлены.

1. Обозначим S = x + y + z, P = xy + xz + yz и R = xyz.
2. Используем тождество S³ = x³ + y³ + z³ + 3SP − 3R, которое получается раскрытием куба суммы и объединением смешанных членов.
3. Перенесём дополнительные слагаемые в другую часть равенства: x³ + y³ + z³ = S³ − 3SP + 3R.
4. Вернём обозначения S, P и R, чтобы получить запись только через элементарные многочлены.

Ответ: x³ + y³ + z³ = (x + y + z)³ − 3(x + y + z)(xy + xz + yz) + 3xyz.

Типичные ошибки

Считать многочлен симметрическим только потому, что в нём встречаются все переменные, неверно. Например, x² + 2y² + z² содержит x, y и z, но при перестановке x и y меняется. Проверяйте, совпадают ли коэффициенты у членов, переходящих друг в друга.

Проверка только одной перестановкой или нескольких числовых подстановок не даёт общего доказательства. Выражение может случайно совпасть при выбранных числах, хотя как многочлен оно различается. Выполните буквенную замену и учитывайте все перестановки переменных.

Сумма попарных произведений xy + xz + yz не равна произведению xyz. В первой форме складываются три произведения по две переменные, а во второй перемножаются все три переменные. Сверяйте число множителей в каждом слагаемом с таблицей.

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

Связь с другими темами

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

Представление через элементарные многочлены связано с коэффициентами многочлена и его корнями. Поэтому эта тема помогает преобразовывать уравнения, составлять уравнения по заданным корням и решать задачи, где сами корни находить необязательно.

Что запомнить

• Симметрический многочлен не меняется при перестановке переменных.
• Для двух переменных элементарные симметрические многочлены — x + y и xy.
• Для трёх переменных они равны x + y + z, xy + xz + yz и xyz.
• Элементарные симметрические многочлены сами являются симметрическими.
• Любой симметрический многочлен выражается через элементарные симметрические многочлены.
• После преобразования полезно раскрыть скобки и проверить равенство.