Приведенная система вычетов.

Теорема: числа одного и того же кл.вычетов по mod m, имеют с ним один и тот же НОД.

Опр: НОД mod m и любого числа а из данного кл.вычетов по mod m называется НОД m и этого кл.вычетов.

Опр: Кл.вычетов а(mod m) называется вз.простым с mod m, если НОД кл.вычетов а и m =1, т.е. m и каждое число из кл.вычета а – вз.просты. Выберем из каждого кл.вычетов, вз.простое с m, по одному числу, получим систему вычетов, состовляющую часть ПСВ. Ее называют приведенной системой вычетов по mod m.

Опр: совокупность вычетов по mod m, взятых по одному из каждого вз.простых кл.вычетов поэтому модулю называется приведенной системой вычетов.

Пусть число кл.вычетов вз.простых m равно k, тогда любая совокупность kÎZ x₁,x₂,…,x_k попарно несравнимых с m и вз.простых с m, представляет собой приведенную систему вычетов.

Функция Эйлера: Обозначим через j(m) – число классов вычетов по mod m, вз.простых с m. Функция j(m) – числовая функция и получила название Эйлера. Выберем в качестве представителей классов вычетов 1,2,…,m-1,m, тогда j(m) – кол-во таких чисел j(m) из перечисленных, которые взаимнопросты с m и не превосходящие m. Вычисление: 1)если m – пр.число, тоф-ция Эйлера j(р)=р-1; 1,2,3,…,р-1 - поная система вычетов; р – простое число; 1,2,3,…,р-1 – вз.простые.

2)m=p^k, р – простое число, kÎN. j(р^k)=p^k-1(p-1).

3)ф-ция Эйлера мультипликативна, т.е. для (m,n)=1 j(m,n)= j(m)× j(n).

Теорема Эйлера: если а – такое число, что (a,m)=1,то a^j(m)º1(mod m).

Д-во: рассмотрим группу Г_m – группа делителей одного в кольце вычетов Z_n. Эта группа коммутативна и содержит j(m) элементов. Каждый элемент а группы Г_m порождает циклическую подгруппу, порядок S которой по теореме Лагранжа явл-ся делителем числа j(m)=st. Число s называется порядком класса вычетов а, а поскольку а^st=1, то a^j(m)= а^st =(а^s) ^t=1^t=1 Þ для любого класса вычетов а из Г_m выполняется равенство: a^j(m)=1. На языке сравнений a^j(m)=1(mod m).

Пр: пусть а=2, m=9; (2;9)=1; 2^j(9) º1(mod 9); j(9)=6; 2⁶º1(mod 9).

Малая теор. Ферма: если р - пр.число, аÎZ, (а,р)=1, то a^р-1º1(mod р).

j(р)=р-1. По теореме Эйлера a^j(р)=а^р-1 º1(mod р).

Следствие: если р – пр.число, аÎZ, то а^р ºа(mod р).

Линейные сравнения с одним неизвестным.

axºb(mod m) (1); a неº 0(mod m).

Теор.1: если (а,m)=1, то (1) имеет решение и притом единственное.

Теор.2: если (а,m)=1, то решение сравнения axºb(mod m) явл-ся класс xºb× a^j(m)-1 º 1(mod m). Д-во: по условию (а,m)=1 Þсравнение (1) - имеет единственное решение. Согласно Т. Эйлера a^j(m)º1(mod m). a^j(m)×bºb(mod m). Или а×a^j(m)-1×bºb(mod m). Сравнивая полученное сравнение с сравнением axºb(mod m), приходим к выводу, что xºb× a^j(m)-1 (mod m).

Теор.3: если (а,m) ¹1; (а,m)=d; d>1 и b не¶ d, то сравнение axºb(mod m) – решений не имеет.

Теорема4: если (а,m)=d; d>1 и b ¶ d, то сравнение axºb(mod m) – имеет d различных решений. Все эти решения образуют класс (m/d).

Уравнение с несколькими неизвестными имеет бесконечное множество решений, поэтому они называются неопределенными уравнениями (диафантовые). Покажем, что отыскание целочисленного решения 1 степени: ax+by=c (1), где a,b,сÎZ тесно связано с решением сравнений. Ограничимся решением, когда a,b¹0, x_0, y₀ какое – нибудь решение. Тогда ax₀+by₀=c Þ ax₀-с=-by₀ , т.о. (ax₀-с) ¶ b_, а по определению сравнения axºс(mod b). Обратно: пусть x₀ – это решение сравнения axºс(mod b) , тогда имеем, что (ax₀-с) ¶ b, а это означает, что существует целочисленное t, что выпол-ся: ax₀-с=bt Þ ax₀-bt=с; -t=y₀. ax₀+by₀=c, т.о. пара (x_0, y₀) явл-ся решением уравнения (1).

1. Линейные операторы. Собственные векторы и собственные значения линейного оператора, их свойства и отыскание.

Линейное отображение векторного пространства _pV в себя называется линейным оператором, т.е. линейный оператор – это гомоморфизм векторного пространства V в себя. Пример: рассмотрим векторное пространство _QR² и рассмотрим j: R²®R². (a, b) ^j®(2a, 2b). Свойства линейного оператора: Т.к. линейный оператор – это гомоморфизм, то выполняются все свойства гомоморфизма (j(q) = q, j(-а) = -j(а), линейно зависимая система переходит в линейно зависимую систему, образ линейной комбинации является линейной комбинацией образов с теми же коэффициентами). Частный случай линейного оператора: 1) пусть _pV – векторное пространство и отображение e: V®V – задано по правилу: e(х) = х. Данное отображение является линейным оператором. Этот оператор называют тождественным или единичным. 2) пусть _pV – векторное пространство и a - фиксированный элемент поля Р. Отображение e: V®V – задано по правилу: e(х) = aх. Данное отображение является линейным оператором. Этот оператор называют оператором гомотетией с коэффициентом a. Оператор гомотетии с коэффициентом a = 0 называется нулевым оператором. Оператор гомотетии коэффициентом a = 1 – есть оператор тождественный или единичный. 3) пусть L₁ и L₂ – подпространства пространства V, причем V = L₁ Å L₂. ("хÎV) ($!lÎL₁) ($!uÎL₂) х = l + u. Рассмотрим j: V®V, которое каждому вектору х ставит в соответствие его компоненту lÎL₁: х®lÎL₁. По свойствам подпространств j - линейный оператор и его называют оператором проектирования. 4) пусть _RF – векторное пространство действительных функций одной переменной х, определенных и неограниченно дифференцируемых на множестве R. Оператор D: F®F, ставящий в соответствие каждому элементу из F его производную, является линейным оператором. ("fÎF) D(f) = f ¢ = df/dx; D(f + g) = D(f) + D(g); (f + g)¢ = f ¢ +g¢; D(af) = aD(f); af = af ¢, где aÎR. Этот оператор называется оператором дифференцирования. Теорема: пусть _pV – векторное пространство и (е₁, е₂, …, е_n) – базис. Возьмем произвольную систему векторов: а₁, а₂, …, а_n пространства V. Тогда $! Линейное отображение j(е_i) = а_i, i = 1, …, n. Замечание: аналогичная теорема справедлива и для двух различных пространств. Множество векторов линейного пространства V, которое под действием линейного оператора j переходит в q, называется ядром линейного оператора и обозначается Kerj: Kerj = {aÎV/j(a) = q}. Т.е. ядро линейного оператора – это полный прообраз нулевого вектора при отображении j: Kerj = j^-1. Т.к. ядро линейного оператора – подпространство, то для конечномерного пространства V есть смысл говорить о размерности ядра линейного оператора. Размерность ядра линейного оператора называется дефектом линейного оператора и обозначается: dimKerj (или d). Образом линейного оператора называется множество всех векторов образа линейного оператора: j(V) = {bÎV/($aÎV) j(a) = b} и обозначается: Imj. Размерность образа линейного оператора называется рангом линейного оператора и обозначается: r(j) = dimImj. Теорема (о связи размерности векторного пространства с рангом и дефектом линейного оператора): Пусть j - линейный оператор конечномерного векторного пространства _pV. Сумма ранга и дефекта линейного оператора = размерности пространства V.

Пусть _pV – конечномерное векторное пространство. (1) е₁, е₂, …, е_n – базис пространства V. j - линейный оператор пространства V. Представим векторы j(е₁), j(е₂), …, j(е_n) в виде линейной комбинаций базиса (1): j(е₁) = a₁₁е₁ + a₂₁е₂ + …+ a_n1е_n, j(е₂) = a₁₂е₁ + a₂₂е₂ + …+ a_n2е_n, …, j(е_n) = a_1nе₁ + a_2nе₂ + …+ a_nnе_n. Матрица            

             a₁₁, a₂₁, …, a_n1

 М(j) = a₁₂, a₂₂, …,a_n2                                                   ,  

                      _{………………………..}

                      a_1n, a_2n, …,a_nn                                                               

k-тый столбец которой есть координатный столбец вектора j(е_k) относительно базиса (1) называется матрицей линейного оператора j относительно базиса (1). Каждому линейному оператору в заданном базисе соответствует матрица. В силу теоремы о задании линейного оператора с помощью отображения базиса справедлива и обратная: какова бы ни была квадратная матрица, ей соответствует некоторый линейный оператор j n-мерного линейного пространства. Действия над линейными операторами: 1) Суммой ЛО f и j будем называть отображение, определяемое формулой: (f + j)(а) = f(а) + j(а). Теорема: сумма ЛО пространства V есть ЛО этого пространства. 2)Если j - ЛО конечномерного векторного пространства и lÎР, то lj будем называть отображение, определяемое формулой: (lj)(а) = lj(а). 3) Пусть f и j - ЛО пространства V, произведением этих ЛО называется отображение, ставящее в соответствие элементу а из V: а®j(f(а)). (fj)(a) = j(f(a)) = f(j(a)).

Ненулевой вектор ЛО в _рV называется собственным вектором ЛО j, если $ такой скаляр l, что j(а) = lа. Число l при этом называют собственным значением вектора`j. Пример: (х, у)®(2х, 2у). Свойства СВ и СЗ: 1)СВ ЛО имеет ! СЗ относительно одного и того же ЛО. Д-во: МОП Пусть СВ`а ¹ q имеет 2 СЗ l₁ и l₂. j(а) = l₁а, j(а) = l₂а. Тогда в силу однозначности оператора j: l₁а = l₂а. а(l₁ - l₂) = q. l₁ - l₂ = 0, l₁ = l₂. 2) Если а₁, а₂, …, а_r – это линейно независимая система СВ ЛО j с одним и тем же СЗ l, то любая линейная комбинация этих векторов, в которой хотя бы один коэффициент ¹ 0, является СВ с тем же СЗ l. Д-во: рассмотрим вектор а = a₁а₁ + a₂а₂ + …+ a_ra_r, где a_iÎР, a_I ¹ q. Находим j(а) = j(a₁а₁ + a₂а₂ + …+ a_ra_r) = j(a₁а₁) + j(a₂а₂) + …+ j(a_ra_r) = a₁j(а₁) + a₂j(а₂) + …+ a_rj(a_r) = a₁lа₁ + a₂lа₂ + …+ a_rla_r = lа. 3) Все СВ ЛО конечномерного пространства V, имеющие одно и то же СЗ, вместе с q образуют линейное пространство. Это подпространство называют собственным подпространством пространства V. Теорема: пусть j- ЛО и lÎР и l - СЗ этого оператора. Множество всех СВ с СЗ l относительно j совпадает с множеством Ker(le - j)\{0}. Теорема: пусть j - ЛО векторного пространства V_n и относительно базиса е₁, е₂, …, е_n. Матрица этого оператора М(j) и число l являются СЗ ЛО j, тогда определитель: |М(j) - lЕ| = 0 (1). Уравнение (1) с переменной l называют характеристическим уравнением матрицы М(j) ЛО j. Т.о. задача по отысканию СВ ЛО j сводится к след. алгоритму: 1) зная М(j), составить характеристическое уравнение и решить его относительно переменной l. 2) найденные значения l₁, l₂, …, l_n подставить в систему, полученную из характеристического уравнения и определить вектор а = (a₁, a₂, …, a_n). Теорема: Если квадратные матрицы А и В подобны, то их характеристические уравнения совпадают. Следствие: характеристические уравнения матриц ЛО относительно различных базисов совпадают. Т.о. можно говорить о характеристическом уравнении ЛО, не указывая базис

Корни многочлена. Методы нахождения корней. Результант многочленов, его связь с корнями. Многочлены от нескольких переменных над полем. Симметрические многочлены. Основная теорема о симметрических многочленах.

Пусть f – произвольный многочлен из кольца А[x]. Пусть с – элемент из области целостности А. Сумму a_ncⁿ + a_n-1c^n-1 + … + a₁c + a₀ ,будем называть значением многочлена f и обозначать: f(c). Константа с называется корнем многочлена f, если f(c) = 0. Теорема Безу: пусть fÎА[x] и сÎА, тогда в кольце А[x] $ многочлен Q такое, что f = (x - c)q + f(c). Другая формулировка: остаток от деления многочлена f на двучлен х – с равен значению многочлена f от константу с. Теорема (критерий корня): Константа с является корнем многочлена f Û f\ двучлен (х - с). Д-во: Необходимость: пусть f – многочлен, для которого с – корень. Докажем, что f\(х - с). По теореме Безу f = (x - c)q + f(c) = (x - c)q. Достаточность: f\(x - c). Д-ть: с – корень. f\(x - c) Þ f = (x - c)q, f(c) = (c - c)q = 0. Читд. Схема Горнера – это аппарат, который позволяет найти результат от деления многочлена f на двучлен х – с. Пример: выполнить деление по схеме Горнера f(x) = 3x⁴ – 2x³ +5 на (х + 2):

3 -2 0  0 5

-2 3 -8 16 -32 69

3x⁴ – 2x³ +5 = (х + 2)(3x³ -8х² + 16х - 32) + 69.

fÎА[x], f ¹ 0, сÎА. Если с – корень многочлена f, то по критерию корня это означает, что f\(x - c) Þ f = (x - c)q. Если с – корень многочлена q, то q = (x - c)h, f = (x - c)²h, …. Может оказаться, что с – корень многочлена h и т.д. Наибольшая натуральная степень двучлена х – с, на которую делится многочлен f, называется порядком кратности корня с для многочлена f. Т.о. с является k-кратным корнем многочлена f Û f \(x - c)^k Ù f не делится на (x - c)^k+1. Константа с есть k-кратный корень многочлена f, если f = (x - c)^kj, j не делится на (x - c). Теорема: если многочлен f = a_nxⁿ + a_n-1x^n-1 + … + a₁x + a₀ÎZ[x] имеет несократимую дробь p/q корнем, то: 1) р – делитель а₀, а q – делитель а_n. 2) p – mq – делитель f(m) для "mÎZ. Следствие: Если p/q – корень, то f(1)\(p - q), a f(-1)\(p + q). Замечание: данная теорема является лишь необходимым условием существования корня, а поэтому с помощью 1 условия можно найти все возможные корни, с помощью 2 условия можно отбросить некоторые, но в конечном итоге все они должны быть проведены по схеме Горнера. Пример: Найти рац. корни многочлена 4х³ – 3х -1. р = {±1}, q = {1, 2, 4}. p/q = {±1, ±½, ±¼}. f(1) = 0. f(-1) = -2.

   4 0 -3 -1

-½ 4 -2 -2 0

-½ 4 -4 0

-½ 4 -6

Ответ: данный многочлен имеет 2 рац. корня: простой корень -1 и двукратный корень -½.  

Уравнением 3 степени называется уравнение вида: а₃х³ + а₂х² + а₁х + а₀ = 0 (1), где а₀, а₁, а₂, а₃ÎС, а₃ ¹ 0. Комплексное число a называется корнем этого уравнения, если а₃a³ + а₂a² + а₁a + а₀ = 0. Преобразуем (1): х³ + а₂х²/а₃+ а₁х/а₃ + а₀/а₃ = 0 (2). Уравнения (1) и (2) равносильны. (2¢): х³ + ах² + bх + c = 0. Делаем подстановку: х = у – а/3. (у – а/3)³ + а(у – а/3)² + b(у – а/3) + c = 0. Получим уравнение: у³ + у(-а²/3 + b) + (-a³/27 + a³/9 – ab/3 + c) = 0. (3): у³ + ру + q = 0. Такое уравнение называется приведенным кубическим уравнением. Пусть имеется уравнение (*):х³ + рх + q = 0. Будем искать корни этого уравнения в виде х = a + b. (a + b)³ + р(a + b) + q = 0; a³ + b³ + (a + b)(3ab + p) + q = 0. Потребуем, чтобы выполнялось условие: 3ab + p = 0 Û ab = -р/3. Тогда a³ + b³ = -q.

    a³ + b³ = -q, Û a³ + b³ = -q,

    ab = -р/3.           a³b³ = -р³/27.

Согласно формулам Виета a³ и b³ – есть корни квадратного уравнения: u² + qu - р³/27. Это уравнение называется разрешающим для уравнения (*). D = q² + 4p³/27; u_1,2 = (-q ± Ö(q² + 4p³/27))/2; a = ³Ö(-q/2 + Ö(q²/4 + p³/27)). b = ³Ö(-q/2 - Ö(q²/4 + p³/27)). Это формулы Кардана. Следствие: Корни уравнения (*) выражаются след. формулами: х₁ = a + b; х₂ = -(a + b)/2 + iÖ3(a - b)/2; x₃ = - (a + b)/2 - iÖ3(a - b)/2. Замечание: 1)Если D>0, то уравнение имеет 1 действительный корень и 2 мнимых сопряженных, 2) Если D=0, то уравнение имеет действительные корни и хотя бы 1 из них – кратный, 3) Если D<0, то все корни уравнения действительные и различны. Уравнением 4 степени называют одномерный предикат с переменной х такого вида: а₄х⁴ + а₃х³ + а₂х² + а₁х + а₀ = 0 (1), а₄ ¹ 0. Разделим на а₄: х⁴ + ах³ + bх² + cх + d = 0. Метод Феррари: 1 ШАГ: х⁴ + ах³ = -bх² - cх - d = 0. 2 ШАГ: Дополним левую часть до полного квадрата: (х²)² + 2х²·½х + а²х²/4 = а²х²/4 – bx² – cx – d; (x² + ½ax)² = а²х²/4 - bx² – cx – d. 3 ШАГ: снова дополним левую часть до полного квадрата, добавляя слагаемое с новой переменной у: (x² + ½ax)² + 2(x² + ½ax)у + у² = 2(x² + ½ax)у + у² + а²х²/4 - bx² – сх – d, (х² + ах/2 + y)² = x²(2y + a²/4 - b) + (ay - c)x + (y² - d) (*). Поскольку в левой части полный квадрат, то это уравнение имеет двукратный корень. А это возможно, когда у уравнения в правой части дискриминант = 0. Найдем: D = (ay - c)² – 4(2y + a²/4 - b)(y² - d) = 0. Найдем некоторый корень кубического уравнения относительно у. Пусть это число у₁. Подставим его в уравнение (*). В правой части подчеркнутого уравнения появится полный квадрат, т.е. правая часть уравнения примет вид: (х² + ах/2 + y₁)² = (sx + v)². Последнее уравнение преобразуется в дизъюнкцию двух уравнений: х² + ах/2 + y₁ = sx + v Ú х² + ах/2 + y₁ = -sx – v. 4 ШАГ: Решим полученные уравнения. Пусть f и g – это многочлены кольца Р[х]. Найдем условие, при котором эти полиномы обладают общим делителем положительной степени. Теорема: пусть f – полином: f = a₀xⁿ + a₁x^n-1 + …+ a_n и многочлен g = b₀x^m + b₁x^m-1 + …+ b_n. И по крайней мере 1 из коэффициентов а₀, b₀ отличен от 0. Полиномы f и g имеют общий делитель положительной степени в кольце Р[х] Û в Р[х] $ полиномы с и dÎР[х], удовлетворяющие условиям: 1) fc = gd, 2) c = c₀x^m-1 + c₁x^m-2 + …+ c_m-1, d = d₀x^n-1 + d₁x^n-2 + …+ d_n-1, 3) хотя бы 1 из полиномов с или d отличен от 0. Запишем условия 1 и 2 более подробно: 1) (a₀xⁿ + a₁x^n-1 + …+ a_n)(c₀x^m-1 + c₁x^m-2 + …+ c_m-1) = (b₀x^m + b₁x^m-1 + …+ b_n)(d₀x^n-1 + d₁x^n-2 + …+ d_n-1). Произведем умножение в обеих частях равенства и приравняем коэффициенты при одинаковых степенях переменной х, получим след. систему линейных уравнений: a₀c₀ = b₀d₀; a₁c₀ + a₀c₁ = b₁d₀ + b₀d₁; a₂c₀ + a₁c₁ + a₀c₂ = b₂d₀ + b₁d₁ + b₀d₂; …; a_nc_m-2 + a_n-1c_m-1 = b_md_n-2 + b_m-1d_n-1; a_nc_m-1 = b_md_n-1. Это есть система n+m однородных линейных уравнений с переменными c₀, c₁, …, c_m-1, d₀, d₁, …, d_n-1. Она имеет ненулевые решения Û определитель этой системы = 0. Для того, чтобы избежать появления минусов перед элементами матрицы определителя, можно перенеся правые части уравнений влево. Будем считать переменными c₀, c₁, …, c_m-1, -d₀, -d₁, …, -d_n-1. Кроме того транспонируем матрицу определителя, тогда определитель примет вид: R =

a₀ a₁ a₂ … a_n …                                                             

     a₀ a₁ a₂ … a_n …       m

           a₀ a₁ a₂ … a_n …

……………………………

b₀ b₁ b₂ … b_m …

     b₀ b₁ b₂ … b_m …      n

            b₀ b₁ b₂ … b_m …

……………………………                                                                                   

Результантом полиномов f и g называется определитель R. Полиномы f и g, у которого а₀ ¹ 0 или b₀ ¹ 0, имеют общий делитель положительной степени Û система линейных уравнений имеет ненулевые решения, т.е. когда определитель R = 0. Следствие: Если результант полиномов f и g = 0, то либо полиномы имеют общий делитель положительной степени, либо коэффициенты а₀, b₀ равны 0 и обратно. Пример: вычислить результант полиномов: f(x) = x³ – 3x² + 2x + 1; g(x) = 2x² – x – 1. R(f, g) = 1 -3 2 1 0  2 = 1 -3 2 1 0 = (-1)⁷· 1 -3 2 1    

    0 1 -3 2 1          0 1 -3 2 1         2 -1 -1 0

     2 -1 -1 0 0          2 -1 -1 0 0        0 2 -1 -1

     0 2 -1 -1 0          0 2 -1 -1 0       0  1 -1 1 

     0 0 2 -1 -1          0 1 -1 1 0

= … = -7. Ответ: не имеет общих делителей положительной степени.

Пусть имеется система уравнений, обозначим ее:

f(x, y) = 0,

g(x, y) = 0.

 Запишем каждое из уравнений f и g по убывающим степеням переменной. f(x, y) = a_n(y)xⁿ + a_n-1(y)x^n-1 +…+ a₁(y)x + a₀(y); g(x, y) = b_m(y)x^m + b_m-1(y)x^m-1 +…+ b₁(y)x + b₀(y). a_i(y), b_i(y) – многочлены над полем Р от переменной у. Найдем результант полиномов f и g – R(y). Если результант R(y) = 0, то уравнение есть результат исключения переменной х из системы уравнений.

Многочлены от нескольких переменных. Симметрические многочлены Пусть имеется некоторая область целостности А(область целостности К называется кольцом главных идеалов, если " этого кольца является главным). Рассмотрим кольцо многочленов от 1-ой переменной х₁ над областью целостности А, т.е. A[x₁], тогда элементы кольца можно представить в следующем виде: а_1*х₁ⁿ +…+ a_i*x₁+a_0, a_iÎA. Знаем, что кольцо А[x₁] является областью целостности, значит можно рассмотреть кольцо многочленов от 1-ой переменной х₂ над областью целостности А[x₁]. Тогда получим следующее (A[x₁])[x₂]=A[x₁,x₂]={b_n*x₂ⁿ+b_n-1*x₂^n-1+…+b_i*x₂+b₀ |b_iÎA[x₁]}={Sa_i1*a_i2*x₁ⁱ¹*x₂ⁱ² |a_i1i2ÎA}. Тогда кольцо A[x_1,x₂] также является областью целостности, а значит можно рассматривать кольцо многочленов от 1-ой переменной х₃ над областью целостности A[x_1,x₂]. Получим: A[x_1,….,x_n]. Его элементы можно представить следующим образом: S a_{i1 i2…in}* x₁ⁱ¹*x₂ⁱ²…x_nⁱⁿ | a_{i1 i2…in}ÎA, каждое слагаемое в этой записи называется одночленом. Степенью одночлена называется сумма показателей переменных, входящих в этот одночлен, т.е. i₁+…+i_n. Степенью многочлена будем называть наибольшую из степеней одночлена, входящих в этот многочлен. Однородным многочленом называется многочлен все одночлены которого имеют одинаковую степень. Утверждение любые многочлены, м. представлять в виде суммы однородных многочленов. Лексика графическая запись: Пусть имеется два одночлена: a=a*x₁ⁱ¹*x₂ⁱ²*…*x_nⁱⁿ ;b =b*x₁^k1*x₂^k2*…*x_n^kn Будем говорить, что одночлен a выше одночлена b, если $ такой номер s, что i1=k1,…,is-1=ks-1; is>k1. Обозначения: aýb. Th: Отношение «выше» на множестве одночленов является отношением транзитивности. Данная теорема говорит, что каждый последующий не выше предыдущего. Такую запись многочлена называют лексико графической записью. Первый одночлен многочлена называется высшим членом многочлена, др. словами этот одночлен выше др. одночленов данного многочлена. Th: (о высшем члене произведения многочлена) высший член произведения двух многочленов равен произведению высших членов сомножителей. Многочлен называется симметрическим если он не изменяется при любой биективной замене переменных. Среди всех симметрических многочленов выделяют основные элементарные симметрические многочлены: s₁(x₁…x_n)=x₁+…+x_n s₂(x₁…x_n)=x₁*x₂+x₁*x₃+…+x₁*x_n+x₂*x₃+…+x_n-1*x_n

s₃(x₁…x_n)= x₁*x₂*x₃+…+x_n-2* x_n-1*x_n

s_n(x₁…x_n)= x₁*x₂*…*x_n

Лемма1: Пусть имеется симметрический многочлен f и a=a*x₁^a1*x₂^a2*…*x_n^an  – его высший член, тогда a₁³ a₂³ …³a_n

Лемма2: Пусть имеется симметрический многочлен f и a=a*x₁^a1*x₂^a2*…*x_n^an –его высший член, тогда многочлен g=a*s₁^a1-a2*s₂^a2-a3*…*s_n-1^a(n-1)-an*s_n^an имеет тоже высший член a при переходе от s®x

Теорема: Любой симметрический многочлен от n неизвестных можно представить в виде многочлена от s₁* s₂*_…*s_n (т.е. осуществлять переход от x ®s) и такое представление ! с точностью до порядка следования сомножителей и слагаемых.

Алгоритм записи симметрического многочлена отs_i:

1. представить данный многочлен в виде суммы однородных многочленов

2. для каждого однородного слагаемого осуществить переход от x ®s следующим образом:

а) определить высший член этого многочлена

б) выписать систему показателей этого высшего члена

3. построить систему показателей так, чтобы каждая система соответствовала бы более низшему одночлену, а в сумме системы показатели равнялись

4. для каждой выписанной системы показателей составить многочлен от s по правилу Леммы2.

5. методом неопределенных коэффициентов найти коэффициент при переходе от x ®s