Вычисляем значения основных симметрических функций от корней данного полинома.
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];
Находим окончательные результаты преобразований
