Выражаем данный симметрический многочлен через основные симметрические функции

Вычисляем значения основных симметрических функций от корней данного полинома.

T={-1,-4,1};

Находим значение данного симметрического многочлена от корней данного многочлена.

R[[1]]

-35

Пример 3.6.3 Найти сумму пятых степеней корней следующего многочлена

.

Решение.

<<Algebra`SymmetricPolynomials`

Вычисляем значения основных симметрических функций от корней данного полинома.

T={1,-2,-3,1};

Находим сумму пятых степеней корней данного полинома

R[[1]]

Пример 3.6.4. Пусть основные симметрические функции от переменных , основные симметрические функции от переменных . Найти зависимость между ними.

Решение.

Строим первых пять основных симметрических функций пятого порядка.

T=Table[Coefficient[f[x],x,6-n],{n,2,6}];

<<Algebra`SymmetricPolynomials`

Выражаем первые четыре основные симметрические функции пятого порядка через основные симметрические функции четвёртого порядка.

Пусть - рациональная функция с рациональными коэффициентами ( и - многочлены ). Предположим далее, что - корень уравнения , где - неприводимый над полем рациональных чисел многочлен степени . Пусть - остальные корни многочлена Ставится задача: найти многочлен степени меньше с рациональными коэффициентами и такой, что выполняется равенство

.

Для решения поставленной задачи умножим числитель и знаменатель дроби

на :

.

Знаменатель полученной дроби будет симметрической функцией от корней многочлена . Следовательно, она выражается через основные симметрические функции от корней этого многочлена. Поэтому, в силу соотношения (3.6.2) будет рациональным числом. В числителе произведение будет рационально выражаться через основные симметрические функции от и и, следовательно, ( мы этот факт проверили на конкретном примере, хотя он справедлив и в общем случае ) через основные симметрические функции от и . Выразив через коэффициенты многочлена по формулам (3.6.2), мы получим в числителе многочлен от с рациональными коэффициентами. Обозначим полученный многочлен через . Если степень полученного многочлена не меньше , то делим его на :

.

Отсюда находим

).

Разделив на полученный ранее знаменатель, мы найдём решение рассматриваемой задачи.

Пример 3.6.5. Пусть - корень уравнения

.

Освободиться от иррациональности в знаменателе следующей дроби

Решение.

Вводим заданные функции

f[x_]=x^2-5*x+3;

g[x_]=x^2+7*x+1;

u[x_]=x^3+7*x^2+3*x+1;

Находим значения основных симметрических функций от корней многочлена f[x]

Преобразуем знаменатель данной дроби.

<<Algebra`SymmetricPolynomials`

a=R1[[1]]/.R;

R3=Expand[R3/.R];

Находим окончательные результаты преобразований