Размещено на http://www.allbest.ru/

Содержание

• Введение
• 1. Понятие симметрического многочлена
• 2. Задачи, решаемые с помощью симметрических многочленов
• 2.1 Уравнения
• 2.1.1 Уравнения высших степеней (возвратные)
• 2.1.2 Задания, связанные с квадратными уравнениями
• 2.1.3 Иррациональные уравнения
• 2.2 Неравенства и тождества
• 2.2.1 Неравенства
• 2.2.2 Доказательства тождеств
• 2.3 Системы уравнений
• 2.3.1 Системы уравнений от двух переменных
• 2.3.2 Системы уравнений от трех переменных
• Заключение
• Библиографический список

Введение

Каждый человек, исходя из своего житейского опыта, имеет какое-то представление о симметрии, поскольку это одно из самых распространенных явлений в природе, искусстве и науке. Однако обычно под симметрией понимается либо зеркальная симметрия, когда одна половина предмета зеркально-симметрична другой, либо центральная, как у буквы И. Такая симметрия означает, что есть преобразование (поворот), которое переводит предмет сам в себя.

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

Дать точное определение симметрии в общем случае не представляется возможным, поскольку она принимает свою конкретную форму в каждой области человеческой деятельности. Например, в искусстве симметрия проявляется в соразмерности и взаимосвязанности отдельных частей, образующих произведение. В классической механике она выражается в виде принципа относительности. Симметрия сыграла чрезвычайно важную роль при проведении исследований в физике микромира [7]. И не случайно крупнейший физик-теоретик академик А.Б. Мигдал в книге "Поиски истины" [8] утверждал, что "главными направлениями физики двадцатого века были поиски симметрии и единства картины мира".

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

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

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

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

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

1. Понятие симметрического многочлена

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

Определение 1. Многочлен P(x,y) от двух переменных называется симметрическим, если при замене x на y и y на x он не меняется.

Например, многочлен

является симметрическим, поскольку при замене x на y и y на x имеем тождество

.

В самом деле,

Простейшие симметрические многочлены от x и y

s₁ = x + y, s₂ = xy

называются элементарными (или основными) симметрическими многочленами.

Обобщение определения симметрических многочленов от n переменных осуществляется естественным путем. Например, симметрическим многочленом от трех переменных называется многочлен Q(x, y, z) от трех переменных, который не меняется при перестановке любых двух переменных, а элементарные симметрические многочлены определяются формулами

s₁ = x + y + z,

s₂ = xy + yz + xy,

s₃ = xyz.

Существует простой прием, позволяющий получать симметрические многочлены. Возьмем любой (вообще говоря, не симметрический) многочлен от и и подставим в него вместо и их выражения через x и y. Ясно, что при этом мы получим симметрический многочлен от x и y (ведь ни , ни не меняются при перестановке местами x и y, а потому не меняется и весь получившийся многочлен, выражающий через x+y и xy. Например, из многочлена получаем симметрический многочлен

Итак, если взять любой многочлен от и и подставить в него вместо и их выражения

, ,

то получится симметрический многочлен от x и y.

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

Рассмотрение примеров делает это предположение вероятным. Например, степенные суммы без труда выражаются через и :

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

Теорема 1 (о симметрических многочленах)

Всякий симметрический многочлен от n переменных можно представить в виде многочлена от элементарных симметрических многочленов, и это представление единственно.

Доказательство сформулированной теоремы проведем в два приема.

1. Сначала мы докажем теорему не для любых симметрических многочленов, а лишь для степенных сумм. Иными словами, мы установим, что каждую степенную сумму

можно представить в виде многочлена от и . С этой целью мы умножим обе части равенства

(1)

на .

Получим:

.

Таким образом,

.

Из этой формулы вытекает справедливость нашего утверждения. В самом деле, мы уже проверили, что степенные суммы и представляются в виде многочленов от и . Но если нам уже известно, что степенные суммы выражаются в виде многочленов от и , то, подставляя эти выражения в формулу (1), мы получим выражение степенной суммы через и . Иными словами, мы можем последовательно находить выражения степенных сумм через и : зная и , находим по формуле (1) затем и и т.д. Ясно, что рано или поздно мы получим выражение любой степенной суммы через и . Таким образом, наше утверждение доказано.

Формула (1), составляющая основу изложенного доказательства, позволяет не только утверждать, что как-то выражается через и , но также позволяет последовательно вычислять выражения степенных сумм через и . Построим таблицу выражений степенных сумм.

Таблица 1. Выражения степенных сумм через ,

Теперь нетрудно завершить доказательство теоремы. Любой симметрический многочлен от и y содержит (после приведения подобных членов) слагаемые двух видов.

Во-первых, могут встретиться одночлены, в которые и y входят в одинаковых степенях, т.е. одночлены вида . Ясно, что

,

т.е. одночлены этого вида непосредственно выражаются через .

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

А так как по доказанному степенная сумма представляется в виде многочлена от и , то рассматриваемый двучлен выражается через и .

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

Теорема полностью доказана.

Аналогично, симметрическая функция трёх переменных определяется как функция, которая не изменяет своего значения при произвольных перестановках своих аргументов, то есть

Для симметрических многочленов трёх переменных справедлива точно такая же теорема, как и для многочленов двух переменных, а именно:

Теорема 2. (о симметрических многочленах)

Любой симметрический многочлен от трёх переменных представим в виде функции от трёх основных симметрических многочленов:

Другими словами, для любого симметрического многочлена f (x,y) существует такая функция трёх переменных и (u,v,w), что

2. Задачи, решаемые с помощью симметрических многочленов

2.1 Уравнения

симметрический многочлен уравнение тождество

Многочлен вида

f(x)= a₀zⁿ+a₁z^n-1+… +a_n,

где a₀?0 называют возвратным, если в нем коэффициенты, равноудаленные от концов, совпадают, т.е. а ₀=а_n, a₁=a_n-1, a₂=a_n-2,…

Например, многочлен z⁵-3z⁴+2z³+2z²-3z+1 и т.д.

Уравнение f(z)=0, левая часть которого возвратный многочлен, называют возвратным.

Теорема: Всякий возвратный многочлен

f(z)=a₀z^2k+a₁z^2k-1+…+a_2k-1z+a_2k

четной степени 2k представляется в виде

f(z)=z_kh(у),

где у= z+1/z и h(у) - некоторый многочлен степени k от у. Всякий возвратный многочлен f(z) нечетной степени делится на z+1, причем частное представляет собой возвратный многочлен четной степени. (Теорема приводится без доказательства).

Выражения, заменяемые в возвратных многочленах через у для четных многочленов (уравнений):

z +1/z =у,

z²+1/z²=у²-2,

z³+1/z³=у³-3у,

z⁴+1/z⁴=у⁴-4у²+2,

z⁵+1/z⁵=у⁵-5у³+5у,

z⁶+1/z⁶=у⁶-6у⁴+9у²-2,

z⁷+1/z⁷=у⁷-7у⁵+14у³-7у,

z⁸+1/z⁸=у⁸-8у⁶+20у⁴-16у²+2,

z⁹+1/z⁹=у⁹-9у⁷+27у⁵-30у³+9у,

z¹⁰+1/z¹⁰=у¹⁰-10у⁸+35у⁶-50у⁴+25у²-2,

Степень возвратного многочлена, а значит и уравнения, определяется как самая высокая степень при одном одночлене всего многочлена. Для многочлена (уравнения) нечетной степени сначала проводится деление на z+1 (согласно теореме о возвратных многочленах нечетной степени), а затем уже заменяется выражениями от z.

2.1.1 Уравнения высших степеней (возвратные)

Задача: Решить уравнение

12z⁴-16z³-11z²-16z+12=0.

Решение: Это уравнение имеет в левой части возвратный многочлен, т.е. является возвратным и имеет четную степень 4. Преобразуем его левую часть:

12z⁴-16z³-11z²-16z +12 = z²(12z²-16z-11-16*1/z+12*1/z²) =

= z²[12(z²+1/z²)-16(z+1/z)-11] = z²[12(у²-2)-16у-11]=z²(12у²-16у - 35).

Так как z=0 не является корнем исходного уравнения, то мы приходим к квадратному уравнению относительно у:

12у²-16у-35=0.

Решим его.

Д=b²-4ac=16²-4*12*(-35)=256+1680=1936.

у₁= (-b+vД)/2a = (16+44)/2*12=60/24=5/2.

у₂ = (-b - vД)/2a= (16- 44)/2*12= -28/24= -7/6.

Таким образом, для нахождения корней первоначального уравнения мы получаем две системы:

z+ 1/z= -7/6, z+1/z= 5/2.

Решая их, получаем четыре корня исходного уравнения:

z_{1, 2}= (- 7±iv95)/12, z₃=2, z₄=Ѕ

Ответ: (- 7+iv95)/12; (- 7 - iv95)/12; 2; Ѕ.

Задача 2: Решить уравнение

4z¹¹+4z¹⁰-21z⁹-21z⁸+17z⁷+17z⁶+17z⁵+17z⁴-21z³-21z²+4z+4=0.

Решение: Это возвратное уравнение нечетной степени 11.

Согласно теореме разделим его левую часть на z+1:

4z¹¹+4z¹⁰-21z⁹-21z⁸+17z⁷+17z⁶+17z⁵+17z⁴-21z³-21z²+4z+4=

= (z+1) (4z¹⁰-21z⁸+17z⁶+17z⁴-21z²+4).

Таким образом, мы получили два уравнения (т.е. систему уравнений):



Первое имеет корень z₁= -1. Второе - представляет собой возвратное уравнение, левую часть которого мы преобразуем:

4z¹⁰-21z⁸+17z⁶+17z⁴-21z²+4=z⁵(4z⁵-21z³+17z+17*1/z - 21*1/z³+4*1/z⁵)=

= z⁵[4(z⁵+1/z⁵)-21(z³+1/z³)+17(z+1/z)]=z⁵[4(у⁵-5у³+5у)-21(у³-3у)+17у]=

=z⁵(4у⁵ - 41у³+100у).

Так как z=0 не является корнем исходного уравнения, то мы приходим к следующему уравнению:

4у⁵ - 41у³+100у = 0.

Вынесем у за скобки:

у (4у⁴ - 41у²+100) = 0.

у =0 или

4у⁴ - 41у²+ 100 = 0.

Решим биквадратное уравнение, заменяя

у² = t, у= ± vt,

4t² - 41t + 100 = 0.

Д=b²-4ac= (-41)²- 4 * 4 * 100 = 1681 - 1600 = 81

t_{1, 2} = (-b ± vД)/2a= (41±v81)/2*4 = (41±9)/8;

t₁ = 50/8 = 25/4,

t₂ = 32/8 = 4.

у_{1, 2} = ± v25/4 = ± 5/2, у_{3, 4} = ± v4 = ± 2.

Итак, мы получили пять корней:

у=0, у= 5/2, у= -5/2, у=2, у= -2;

Следовательно, мы имеем пять уравнений:

z+1/z=0, z+1/z= -5/2, z+1/z= 5/2, z+1/z= 2, z+1/z= - 2.

Решая их и учитывая корень z₁ = - 1, получим одиннадцать корней исходного уравнения:

z₁= -1, z₂=i, z₃= -i, z₄= -2, z₅= -Ѕ, z₆=2, z₇=Ѕ, z₈=z₉= -1, z₁₀=z₁₁=1.

Ответ: - i, -2, -1, -Ѕ, Ѕ, 1, 2, i.

2.1.2 Задания, связанные с квадратными уравнениями

Задание: Составить квадратное уравнение, корнями которого являются квадраты корней заданного уравнения

x²+6x+10 =0.

Решение: Пусть x₁, x_{2 -} корни исходного уравнения, y₁, y₂ - корни искомого уравнения, а p и q - коэффициенты искомого уравнения.

По теореме Виета:

сумма корней первого уравнения:

x₁+x₂=у₁= -b = -6,

а произведение этих корней:

x₁x₂= у₂ =c=10.

Аналогично, сумма корней второго уравнения:

y₁+y₂= -p,

а произведение этих корней:

y₁y = q.

По условию мы имеем:

y₁ = x₁², y₂ = x₂².

Поэтому

p= -(y₁+y₂)= -(x₁²+x₂²) = -S₂ = -(у₁²- 2у₂)= -16 и q=y₁y₂ = x₁²x₂² =у₂²= 100.

Таким образом, искомое уравнение имеет вид:

y^{2 -} 16y + 100 = 0.

Ответ: y²-16y+100 = 0.

2.1.3 Иррациональные уравнения

Задача: Решить иррациональное уравнение

⁴v97 - x + ⁴vx = 5.

Решение: Положим ⁴vx = y, ⁴v97 - x = z. Тогда исходное уравнение имеет вид:

y + z = 5.

Кроме того, мы имеем:

y⁴ + z⁴ = x+ (97 - x) = 97.

Таким образом, мы получили систему уравнений

Введем новые неизвестные у₁ = x+y, у₂ = xy. Теперь мы имеем систему уравнений:

из которой мы получаем для у₂ квадратное уравнение:

у₂² - 50у₂ +264 = 0.

Решим его. Пусть у₂ = t, t₂ - 50t + 264 = 0.

По теореме Виета получаем

Так что у₂ = 6 и у₂ = 44. Мы получили две системы уравнений:

Первая система имеет два решения:

Но y=⁴vx, и, следовательно, для первоначального x есть два решения:

x₁ = 16, x₂ = 81.

Вторая система дает для y и z (значит, и для x) еще два решения, правда комплексные, а для иррациональных уравнений берутся лишь действительные значения.

Ответ: 16, 81.

2.2 Неравенства и тождества

Метод симметрических многочленов также с успехом применяется для доказательства многих неравенств (от двух, трех и более переменных). Главным образом используются степенные суммы и следующая теорема.

Теорема: Пусть у₁ и у₂ - действительные числа. Для того, чтобы оба числа x, y,определяемые из системы уравнений



были действительными, необходимо и достаточно, чтобы у_1,у₂ удовлетворяли неравенству у₁² - 4у₂ ? 0. Равенство у₁² =4у₂ достигается лишь в случае, если x = y. Для того чтобы оба числа x, y были действительными и неотрицательными, необходимо и достаточно, чтобы числа у₁, у₂ удовлетворяли неравенствам

у₁² - 4у₂ ? 0, у₁ ?0, у₂ ?0.

(Теорема приводится без доказательства).

Для неравенств от двух переменных метод симметрических многочленов применяется так:

- заменяют симметрический многочлен f(x,y) его выражением через у₁ и у₂;

- заменяют у₂ выражением через у₁ и неотрицательную величину

z= у₁² - 4у₂,

т.е. подставляют

у₂ = ј (у₁² - z);

- получают многочлен от у₁ и z, и в зависимости от условия доказывают то, что нужно доказать (решить). Как правило, сделать это в отношении исходного неравенства значительно сложнее, для чего и применяется метод симметрических многочленов;

- иногда заменяют у₁² его выражением через у₁ и z, т.е.

у₁²= z + 4у₂.

Для любых действительных чисел x, y, z, справедливо неравенство у₁² ? 3у₂; равенство достигается лишь при x=y=z.

Тождество - это уравнение, которое удовлетворяется тождественно, т.е. справедливо для любых допустимых значений входящих в него переменных. Для того чтобы доказать тождество, необходимо преобразовывать одну из частей тождества до полного совпадения этих частей. Если обе части доказываемого тождества выражаются через разности a - b, b - c, c - a, то удобно сделать замену:

x= a - b, y= b - c, z = c - a;

тогда

x + y + z = (a - b) + (b - c) + (c - a) = 0.

2.2.1 Неравенства

Задача: Доказать, что если а и b - действительные числа, удовлетворяющие условию a + b ?c, то справедливы неравенства:

a² + b² = c²/2, a⁴ + b⁴ = c⁴/8, a⁸ + b⁸ = c⁸/128.

Доказательство:

Введем элементарные симметрические многочлены

у₁ = a+b, у₂ = ab.

Мы имеем:

S₂ = a² + b² = у₁² - 2у₂ = у₁² - 2*ј (у₁² -z) = Ѕ у₁² + Ѕz.

Так как z ? 0, а по условию задачи у₁ ? c, то S₂ = Ѕc², т.е.

a² + b² = Ѕc².

Применяя к полученному неравенству то же рассуждение, находим:

a⁴ + b⁴ = Ѕ(Ѕc²)²=?с ⁴.

Аналогично находим, что

a⁸ + b⁸ ? с ⁸/128.

Применяя метод математической индукции, можно таким путем доказать, что если a + b ? c и n- произвольное натуральное число, то

a²ⁿ + b²ⁿ ? (1/2^2n-1)*c²ⁿ.

Задача 2: Доказать, что для любых положительных чисел x,y,z справедливо неравенство у₁у₂ ? 9у_3.

Доказательство: Так как числа x,y,z положительны, то у₁>0, у₂>0, у₃>0. Поэтому неравенства

у₁² ? 3у₂, у₂² ? 3у₁у₃,

можно перемножить.

Мы получили

у₁²у₂² ? 9у₁у₂у₃.

Сокращая на положительную величину у₁у_2, мы и получаем требуемое неравенство у₁у₂ ? 9у_3. Равенство у₁у₂ = 9у_3, достигается лишь в том случае, если x=y=z.

2.2.2 Доказательство тождеств

Задача: Доказать тождество

(x+y+z)(xy+xz+yz) - xyz = (x+y)(x+z)(y+z).

Доказательство:

Левая часть тождества есть не что иное, как у₁у₂ - у₃.

Раскроем скобки в правой части тождества. Мы получаем:

(x+y)(x+z)(y+z)= x²y + x²z + y²x + xz² + y²z + yz² + 2xyz= O(x²y) + 2у₃=

=(у₁у₂-3у₃) + 2у₃ = у₁у₂ - у₃.

Итак, тождество доказано.

2.3 Системы уравнений

2.3.1 Системы уравнений от двух переменных

Задача: Решить систему уравнений:

Решение: Полагая

S₅=x⁵ + y⁵, у₁=x+y, у₂=xy,

получаем:

Подставив у₁ в первое уравнение, получим квадратное уравнение относительно у₂:

15у₂² - 135у₂ + 210 = 0 |: 15,

у₂² - 9у₂ + 14 = 0,

Решим его. Пусть у₂=t, тогда уравнение имеет вид t² - 9t + 14 = 0.

Тогда по теореме Виета получаем:

Итак, у₂=2 и у₂=7. Мы получили две системы уравнений:

Решая их методом подстановки, получим четыре системы решения первоначальной системы:

Ответ: (2;1); (1;2); (3/2 + (v19/2)*i; 3/2 - (v19/2)*i); (3/2 - (v19/2)*i; 3/2+ (v19/2)*i).

2.3.2 Системы уравнений от трех переменных

Задача: Решить систему уравнений

Решение:

Это - симметрическая система уравнений. Положим

x + y + z = u,

xy + xz + yz = v,

xyz = w.

Поскольку

x² + y² + z² = (x + y + z)² -2(xy + yz+xz), то x² + y² + z² = u² - 2v,

и, следовательно, заданная система имеет следующий вид:

Отсюда мы получаем u = 2, v =1, w = 0. Эта система полностью эквивалентна исходной системе. Для ее решения необходимо найти корни кубического уравнения

z³ - 2z² + z = 0:

Вынесем z за скобки. Получим:

Получили три корня. А решения первоначальной системы получаются путем перестановок этих корней.

Ответ: (0;1;1), (1;1;0), (1;0;1).

Заключение

Решение нестандартных заданий, задач повышенной сложности позволяет развивать логику мышления, а также повышает шансы учащегося на успешную сдачу экзамена по математике и более легкое обучение в ВУЗе. Одним из методов решения таких задач является метод применения симметрических многочленов. В данной работе были изучены основные понятия и факты теории симметрических многочленов от двух и трех переменных и применение их в решении уравнений, неравенств, доказательстве тождеств и систем уравнений.

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

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

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

Библиографический список

1. Алгебра и начала анализа. Учебник 11кл.//Авторы: Г.К. Муравин, О.В. Муравина. 2010 г. Изд-во: Дрофа.

2. Алгебра. Дополнительные главы к школьному учебнику. Учебник 8 кл. //Авторы: Ю.Н. Макарычев, Н.Г. Миндюк. 2010 г. Изд-во: Просвещение. Москва.

3. Болтянский В.Г., Виленкин Н.Я. Симметрия в алгебре. М.: Наука, 1967.

4. Дородницин В.А., Еленин Г.Г. Симметрия в решениях уравнений математической физики. М.: Знание, 1984. № 4.

5. Ибрагимов Н.Х. Азбука группового анализа. М.: Знание, 1989. № 8.

6. Ибрагимов Н.Х. Опыт группового анализа. М.: Знание, 1991. № 7.

7. Компанеец А.С. Симметрия в микро- и макромире. М.: Наука, 1978.

8. Мигдал А.Б. Поиски истины. М.: Молодая гвардия, 1983.

Размещено на Allbest.ru

...