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




НазваниеTригонометрические многочлены
страница2/6
Дата13.10.2012
Размер1.12 Mb.
ТипДокументы
1   2   3   4   5   6
2 соs 3x - 3 cos 2x + 5 cos x | cos 2x + 2 cos x + 1

2 cos 3x + 2 cos x + 4(cos 2x + 1) + 4 cos x 4 cos x - 7

-7 cos 2x – cos x – 4

-7 cos 2x – 14 cos x -7

13 cos x + 3

Итак, частное равно 4 cos x – 7, а остаток 13 cos x + 3.

Теперь рассмотрим произвольные ТМ. В первых двух главах мы рассмотрели два вида СФ. Каждому из них соответствуют свои ступени(приводящие к одному и тому же понятию степени).

СФ 2 соответствуют n-ступени cos n-1x ( a cos x +b sin x) c a2+b2≠0 при n>0 и 0-ступени — константы, отличные от 0. Существование и единственность представления каждого ТМ в СФ 2 означает существование и единственность разложения каждого ненулевого, ТМ на ступени попарно различных степеней. Выкладки показывают, что нахождение по двум данным ступеням cos n-1x ( a cos x +b sin x)

и cosm-1x ( c cos x +d sin x), где n≥m, ступени h такой, что старшая степень произведения

cosm-1x ( c cos x +d sin x) h(x) совпадает с cos n-1x ( a cos x +b sin x), при n>m сводится к решению системы с неизвестными e и f, состоящей из уравнений ec-fd = a и ed + fc = b. Эта система линейная и её определитель равен c2 + d2. А так как c2 + d2≠ 0, то решение этой системы существует и единственно. При n=m ступень h(x) должна быть константой. То есть h(x) это такое е, отличное от 0, что cos n-1x ( a cos x +b sin x)≡е cos n-1x ( c cos x +d sin x) , откуда c=ea; d=eb. Такое е может и не существовать, но если уж оно существует, то при a2+b2≠0 оно единственно. Поэтому наши ступени позволяют выполнять деление уголком, причем шаг деления уголком может оказаться невыполнимым только если степень делимого на этом шаге равна степени делителя.

Пример. Пусть делимое f(x)= 2 cos3 x - 3 cos2x sin x + cos2x -2 sin x cos x = cos2x(2 cos x – sin x) + cos x (cos x - 2 sin x); делитель g(x) = 3 cos2x + sin x cos x – cos x + sin x -1 = cos x (3 cos x + sin x) + (-cos x + sin x) – 1. Выполним деление уголком.

Первый шаг. Нужно подобрать e и f так, чтобы старшая ступень (3 cos x + sin x)(e cos x +f sin x) совпадала с cos x(2 cos x – sin x). Как мы знаем, эти e и f -решения системы, состоящей из уравнений

3e – f = 2 ; e + 3 f = -1. Значит e=1/2; f = -(1/2). Умножаем делитель на (1/2)(cos x – sin x). Получаем

cos2 x (2 cos x – sin x) + (1/2)(1 – 4 sin x cos x) - (½) (cos x – sin x). Вычитаем полученный результат из делимого. Получаем промежуточный остаток cos2 x + (½) (cos x – sin x) + (½). Он имеет степень, равную степени делителя, причем коэффициенты их старших ступеней не пропорциональны.

Теперь рассмотрим ступени, соответствующие СФ 1. То есть n-ступени при n>0 – a cos nx + b sin nx, причем a2 + b2 не равно 0, а 0-ступени все отличные от 0 константы.

Выясним, как по заданным ступеням a cos nx + b sin nx и c cos mx + d sin mx с a2+b2≠0 и c2 + d2≠ 0 найти такую ступень h, чтобы старшая ступень ( c cos mx + d sin mx) h(х) совпадала с

a с. При m=n, как и для предыдущего вида ступеней, получаем, что h обязана быть константой, h(x)≡e, удовлетворяющей равенствам a=ce; b=de. При n>m ищем такие e и f, чтобы старшая ступень произведения ( c cos mx + d sin mx) ( e cos(n- m)x +f sin(n- m)x) совпадала с

a cos nx + b sin nx. Имеем

( c cos mx + d sin mx) ( e cos(n- m)x +f sin(n- m)x) ≡ ce cos mx cos(n- m)x + df sin mx sin(n- m)x +

de sin nx cos(n- m)x + cf cos mx sin(n- m)x ≡ (½) ce (cos nx + cos(n-2m)x) + (½) df (-cos nx + cos(n-2m)x) + (½) de (sin nx + sin (2m-n)x) + (½) cf (sin nx - sin (2m-n)x).

Старшая ступень этого ТМ - (½) (ce-fd) cos nx + (½) (ed+fc) sin nx. Получаем для нахождения e и f такую же систему, как для ступеней предыдущего вида, только правые части уравнений 2a и 2b, а не a и b. Значит мы всегда можем найти такие e и f.

Мы уже говорили, что деление с остатком зависит только от степеней. А не от ступеней. Поэтому при делении уголком ТМ от выбора ступеней будет зависеть только то, в каком виде мы получим результаты.

Упражнения к главе 3.


Упражнение 3.1. Можно ли разделить с остатком х4у на х2у2 а) если n-ступени — однородные многочлены n-ой степени? б) если n-ступени — многочлены вида xnf(y), где f(y) - произвольный ненулевой многочлен?

Упражнение 3.2. Разделите многочлен х4 — 1 на х+1. Как теперь можно сразу написать частное от деления х44 на х+у ?

Упражнение 3.3. Разделите с остатком cos 5x на cos 3x ( n-ступени - a cos nx ).

Упражнение 3.4. Разделите с остатком cos nx на cos mx.

Упражнение 3.5. Разделите cos 5x на sin 3x ( n-ступени - a cos nx + b sin nx).

Упражнение 3.6. Разделите с остатком cos nx на sin mx.

Упражнение 3.7. Разделите cos 2x на cos x + sin x.

Упражнение 3.8. При каких n и m можно разделить с остатком cos nx и sin nx на cos mx + sin mx?

Упражнение 3.9. При каком а sin 2x + a делится без остатка на cos x + sin x ?

Упражнение 3.10. Существует ли у cos 2x и sin 2x НОД — такой общий делитель, который делится без остатка на любой другой общий делитель?

Упражнение 3.11. Известно, что f12 + f22 ≡ 1 ( f1 и f2 - ТМ). Что вы можете сказать об общих делителях

f1 и f2?

Упражнение 3.12. Найдите НОД для а) cos nx и sin nx; б) cos nx +а sin nx и cos nx - а sin nx, где а -некоторое число.

Упражнение 3.13. Найдите все ТМ второй степени, которые делятся одновременно на cos x и sin x.

Упражнение 3.14.Приведите пример двух ТМ в торой степени, у которых нет НОД.


Глава 4.

Однородные тригонометрические многочлены.


Напомним, что обычные многочлены с несколькими переменными называют однородными, если в их представлении в виде суммы одночленов попарно различных степеней все одночлены имеют одну и ту же степень. По аналогии с многочленами определяют понятие однородной функции для произвольных функций от нескольких переменных. Всюду определенная функция f(x1; … ; xn) называется однородной,если для некоторого натурального числа k при всех t;x1; … ; xn выполняется равенство f(tx1; … ; txn) = tkf(x1; … ; xn).

Если ТМ f(x) представим в виде g(cos x; sin x), где g — однородный многочлен, то g(cos x; sin x) будем называть однородным видом этого ТМ, а сам f(x) будем называть однородным ТМ.

На самом деле однородные тригонометрические многочлены следовало бы называть тригонометрическими многочленами, приводимыми к однородному виду, т. к. они не являются однородными функциями. Среди ненулевых ТМ вообще нет однородных функций. Если бы даже не при всех t, а только при t=2 выполнялось f(cos tx; sin tx) ≡ tkf(cos x; sin x), то это противоречило бы тому, что степень ТМ f(cos 2x; sin 2x) в два раза больше степени 2kf(cos x; sin x).

Практически во всех пособиях по решению тригонометрических уравнений говорится о том, что sin2x; cos2x; sin 2x; cos 2x и 1 — однородные ТМ (1 является однородным ТМ потому, что 1≡ sin2x+cos2x).

Докажем, что на самом деле верно следующее утверждение.

Утверждение 4.1. ТМ можно представить в однородном виде в том и только в том случае, если его можно представить в виде суммы одночленов a coskx sinl x, где все числа k+l имеют одинаковую четность.

Необходимость нашего условия вытекает непосредственно из определения однородного вида. Действительно, если f(x) = g(cos x; sin x), где g — однородный многочлен, то есть все его одночлены имеют одну и ту же степень n, то g(cos x; sin x) — сумма одночленов вида a coskx sinl x, где все числа k+l равны n, и значит имеют одну и ту же четность — ту же, что четность степени g(x;y). (Заметим, что степень g не обязана быть степенью ТМ f(x), но четности этих степеней всегда совпадают.

Докажем достаточность. Пусть f(x) представлен в виде суммы одночленов a coskx sinl x , наибольшая из сумм k+l равна n и все числа k+l имеют ту же четность, что n. Тогда домножим каждый одночлен

a coskx sinl x , у которого k+l < n, на ( sin2x+ cos2x)m, где m=(1/2)(n-(k+l)). Тогда a coskx sinl x( sin2x+ cos2x)m= h(cos x; sin x), где h(y;z) = a ykzl(y2+z2)m — однородный многочлен степени k+l+2m=n. После раскрытия скобок и приведения подобных он будет состоять из одночленов одной и той же степени n.

Следствие. ТМ f(x) является однородным в том и только в том случае, если в его СФ аn cos nx + аn -1 cos (n-1)x + ... + a1 cos x + a0 все k, для которых ak2 + bk2 не равно 0, имеют одну и ту же четность. ( a0 мы при этом рассматриваем как a0 cos 0x + b0 sin 0x.)

Заметим теперь, что любой ТМ f(x)= аn cos nx + аn -1 cos (n-1)x + ... + a1 cos x + a0 легко превратить в ТМ g(y), представление которого в виде суммы слагаемых ck cos kx + dk sin kx содержит только слагаемые с четными k, заменой x=2y.

Теперь об уравнениях. Вы наверное, знаете(из пособия С.Львовского «Тригонометрия» или из других источников), что уравнение вида f(g(x); h(x))=0, где f — однородный многочлен от двух переменных, сводится к решению уравнений f(0;y)=0 и f(1;y)=0. Причем, так как многочлен f однородный, то решения f(0;y)=0 это либо все числа, либо только у=0. А именно, в случае g(x)≠0 решения f(g(x); h(x))=0 это все решения уравнений( h(x) / g(x) ) = ai , где a1,..., an – корни f(1;y)=0. В случае g(x)=0 решения (g(x); h(x))=0 это решения g(x) = h(x) = 0, если f(0;y)=0 только при у=0 и все решения g(x)=0, если f(0;y)=0 при всех у. В частности, если h(x) это sin x, а g(x) это cos x, то h(x) / g(x) это tg x.

Из тех же источников вы знаете, что уравнение a cos2x + b sin x cos x + c cos2x + d = 0 сводится к однородному заменой свободного члена d на d( sin2x+cos2x). Теперь мы знаем, что та же идея позволяет свести к однородному любое уравнение f(g(x); h(x))=0, где f(y;z) — многочлен, степени всех одночленов которого имеют одну и ту же четность. Причем степень соответствующего однородного многочлена g(y;z) не выше степени f(y;z) .Что же касается произвольного ТМ, то, сделав предварительно замену x=2y, мы можем привести f(cos 2y; sin 2y)=0 к однородному виду. Но, как мы знаем, замена х на 2у означает увеличение степени ТМ в 2 раза.

Итак, мы умеем превращать ТМ f(cos x; sin x) в g(cos (x/2); sin (x/2)), где с — однородный многочлен. Соответственно решение f(cos x; sin x) =0 сводится к решению g(cos (x/2); sin (x/2))=0 или

g(1;tg (x/2))=0. Это близко к тому, что предлагается обычно делать с помощью универсальной подстановки sin x = (2 tg (x/2))/(1+ tg2(x/2); cos x = (1-tg 2 (x/2))/(1+ tg2(x/2)). Поскольку замена х на x/2 повышает степень ТМ, то понятно, что переходить от cos x и sin x к tg (x/2) имеет смысл только если нельзя перейти просто к tg x, то есть если уравнение имеет вид f(cos x; sin x)=0, где f(y;z) содержит одночлены xkyl и с четным k+l, и с нечетным.

Мы видим, что сведение уравнения к однородному с последующей заменой (sin x )/ ( cos x) на tg x и сведение уравнения к рациональному уравнению относительно tg (x/2) - не такие разрозненные приемы, как может показаться с первого взгляда. В некотором смысле прием сведения к однородному уравнению оказывается не менее универсальным, чем применение универсальной подстановки.

Рассмотрим теперь один вопрос, ответ на который нам пригодится в следующей главе. Мы знаем, что если f и g -два многочлена с двумя переменными и f(cos x; sin x) ≡ g(cos x; sin x), то есть f(cos x; sin x) и g(cos x; sin x) – один и тот же ТМ, то совсем не обязательно f(y;z) и g(y;z) - один и тот же многочлен. А если многочлены f и g однородны? В общем случае по-прежнему не обязательно, чтобы f(y;z) ≡ g(y;z). Пример: sin2x+cos2x и 1. Докажем следующее

Утверждение 4.2. Если потребовать, чтобы f и g не только были однородными, но и имели одну и ту же степень, то из f(cos x; sin x) ≡ g(cos x; sin x) будет следовать f(y;z) ≡ g(y;z).

Действительно, если f и g однородны, то для того, чтобы f(y;z) ≡ g(y;z), достаточно, чтобы для каждой пары (a;b) c a2 + b2≠ 0 нашлась такая пропорциональная ей пара (ka;kb) c k≠0, что

f(ka;kb) = g(ka;kb). (Тогда f(a;b) = (1/kn) f(ka;kb)=(1/kn) g(ka;kb)=g(a;b), где n – степень многочленов f и g.) В качестве такой пары (ka;kb) мы всегда можем взять ( cos φ; sin φ), где φ — угол из промежутка [0; 2π[ c cos φ= a/(a2+b2)1/2; sin φ=b/(a2+b2)1/2.

Упражнения к главе 4.


Упражнение 4.1. Решите уравнение x4 – 3x2(x+1) + 2(x+1)2=0, используя однородное уравнение

y2-3yz+2z2=0.

Упражнение 4.2. Решите уравнение sin4 x -3 sin2 x cos x + 2 cos2 x=0.

Упражнение 4.3. Решите уравнение sin4 x -3 sin2 x ( cos x + 1) + 2 (cos x + 1)2 =0.

Упражнение 4.4. Преобразуйте к однородному виду ТМ соs4x+sin4x + a(cos2 x – sin2 x) + b и решите уравнение соs4x+sin4x + a(cos2 x – sin2 x) + b=0.

Упражнение 4.5. Преобразуйте к однородному виду ТМ 3sin3x + 4cos x sin2x – 2 cos2x sin x – 3cos3x sin x + 2cos x и решите уравнение sin3x + 4cos x sin2x – 2 cos2x sin x – 3cos3x sin x + 2cos x = 0.

Упражнение 4.6. Преобразуйте ТМ f(x)=3sin 2x + 2(sin x – cos x) -2 к однородному виду, предварительно сделав замену х=2у.

Упражнение 4.7. Верно ли, что если f(y;z) и g(y;z) однородные многочлены степеней m и n соответственно, где m
f(y;z) ≡ (y2 + z2)(n-m)/2 g(y;z) ?

Упражнение 4.8. Какое самое меньшее число осей симметрии х= φ в промежутке [0; 2π[ может иметь график однородного ТМ второй степени? Верно ли, что тригонометрический многочлен второй степени является однородным в том и только в том случае, если его график имеет не меньше двух вертикальных осей симметрии в промежутке [0; 2π[ ?

Глава 5.

Разложение тригонометрических многочленов на множители.


Напомним, что для обычных многочленов справедливы следующие две важные теоремы:

  1. (Аналог основной теоремы арифметики.) Каждый многочлен, имеющий степень, отличную от 0, можно разложить на простые(то есть многочлены, не разложимые в произведение двух многочленов меньших степеней) множители. Причем разложение единственно с точностью до порядка множителей и того, что различие между множителями f и cf, где с -константа, отличная от 0, считается несущественным.

  2. При рассмотрении обычных многочленов с действительными коэффициентами простыми являются только многочлены первой степени и многочлены второй степени с отрицательными дискриминантами.

Таким образом каждый многочлен ненулевой степени с действительными коэффициентами можно, причем единственным образом, разложить на множители первой степени и множители второй степени с отрицательными дискриминантами. Доказательство этого не конструктивно, то есть не объясняет, как конкретно нужно раскладывать. Точнее, оно использует неконструктивное доказательство существования у каждого многочлена ненулевой степени с действительными или комплексными коэффициентами по крайней мере одного комплексного корня. Зная этот корень и теорему Безу (точнее, ее следствие о том, что если многочлен f(x) имеет корень х0, то f(x) обязан делиться без остатка на х-х0), можно разделить исходный многочлен на х-х0 и тем самым свести задачу к разложению многочлена меньшей степени. (Если многочлен имеет действительные коэффициенты, а корень комплексный, x0=a+ib, то делить нужно сразу на (x-a-ib)(x-a+ib)=(x-a)2+b2.)

Вернемся к ТМ. Непосредственно теоремы об обычных многочленах мы можем применить только к ТМ вида f(cos x) и f(sin x), где f — обычный многочлен. Мы знаем, что f1(cos x)≡f2(cos x) в том и только в том случае, если f1(y)≡f2(y). Поэтому сразу получаем, что каждый КМ единственным образом раскладывается в произведение КМ первой степени и КМ второй степени a cos2x + b cos x + c таких, что b2-4ac<0.

Заметим, что отсюда следует, что если а — корень ТМ f(x), то этот ТМ делится без остатка на

cos x – cos a. Если же а — корень g(x)=f(cos x; sin x), то на cos x – cos a обязан делиться только gзач(x)≡g(x)g(-x).

Полезные сведения из теорем об обычных многочленах почти сразу извлекаются и для однородных ТМ. Но сначала сформулируем следствия из теорем о многочленах с одной переменной для однородных многочленов с двумя переменными:

Каждый однородный многочлен с двумя переменными х и у , имеющий степень, отличную от 0, можно разложить на простые однородные множители. Причем разложение единственно с точностью до порядка множителей и того, что различие между множителями f и cf, где с -константа, отличная от 0, считается несущественным. При этом простыми являются только однородные многочлены первой степени ax-by и многочлены второй степени ax2+byx+cy2 такие, что D=b2-4ac .

Получаем, что верно следующее

Утверждение 5.1. Каждый однородный ТМ, имеющий степень, отличную от 0, можно представить в виде произведения множителей первой степени a cos x – b sin x (или, что то же самое, sin(x-c)) и множителей a cos2x + b cos x sin x+ c sin2x таких, что b2-4ac<0, которые имеют именно вторую степень как ТМ.

(Если в разложение f(x;y) входит множитель ax2+byx+cy2 такой, что a cos2x + b cos x sin x+ c sin2x — ТМ нулевой степени, то его просто заменяем соответствующей константой.)

Теперь докажем

Утверждение 5.2.Разложение однородного ТМ на простые множители единственно, если не различать множители f и cf, где c — константа, и не обращать внимания на порядок множителей.

Прямо из единственности для обычных многочленов единственность для ТМ не следует по той причине, что из f1(cos x; sin x)≡f2(cos x; sin x) не следует f1(y;z)≡f2(y;z) даже для однородных f1 и f2. Но мы знаем, что если f1 и f2 — два однородных многочлена одной и той же степени, то из f1(cos x; sin x)≡f2(cos x; sin x) следует f1(y;z)≡f2(y;z). Этим мы и воспользуемся.

Пусть даны два разложения одного и того же однородного ТМ на простые однородные ТМ:

f1(cos x; sin x)...fn(cos x; sin x) ≡ g1(cos x ; sin x)... gn(cos x; sin x), причем fi(x;y) и gi(x;y) — однородные многочлены, степени которых совпадают со степенями ТМ fi( cos x;sin x) и gi(cos x;sin x) . (Для простых множителей первой степени a cos x – b sin x и ax-by это условие заведомо выполняется, а для

a cos2x + b cos x sin x+ c sin2x и ax2+byx+cy2 выполняется потому, что мы оставили в нашем разложении только те множители вида a cos2x + b cos x sin x+ c sin2x, которые не являются константами. Значит все они — ТМ второй степени. )

Имеем f1( x; у)...fn( x;у) и g1( x ; у)... gn( x; у) однородные многочлены тех же степеней, что и

f1(cos x; sin x)...fn(cos x; sin x) и g1(cos x ; sin x)... gn(cos x; sin x) соответственно, а значит, одной и той же степени. Следовательно f1( x; у)...fn( x;у) ≡ g1( x ; у)... gn( x; у) и можно воспользоваться единственностью разложения обычного многочлена с двумя переменными на простые множители.

Теперь вспомним, что каждый ТМ можно превратить в однородный, заменив х на 2у. Получаем Утверждение 5. 3. Каждый ТМ, не равный тождественно константе, можно представить в виде произведения множителей a cos( x/2) – b sin( x/2) с a2 + b2≠ 0 (или, что то же самое, вида sin ((x-c)/2)) и множителей вида

a cos2 (x/2) + b cos( x /2)sin( x/2)+ c sin2 (x/2) таких, что b2-4ac<0, являющихся ТМ второй степени от х/2, то есть не равных тождественно константе. Это разложение единственно. Если не различать множители f и cf, где с -константа, отличная от 0, и не обращать внимания на порядок множителей.

Рассмотрим теперь произвольные ТМ первой степени a cos x + b sin x + c, не обязательно однородные. Как мы знаем, каждый такой ТМ является однородным ТМ от х/2 второй степени:

a cos x + b sin x + c≡a(cos2(x/2) – sin2(x/2)) + 2b cos( x /2)sin( x/2) + c(cos2(x/2) + sin2(x/2))≡ (a+c) cos2 (x/2) +2 b cos( x /2)sin( x/2)+( c - a)sin2 (x/2).

Важно, что верно и обратное : каждый однородный ТМ от х/2 второй степени a cos2 (x/2) + b cos( x /2)sin( x/2)+ c sin2 (x/2) можно представить в виде a1 cos x + b1 sin x + c1:

a cos2 (x/2) + b cos( x /2)sin( x/2)+ c sin2 (x/2) ≡ a((1+ cos x)/2) + b ((sin x)/2) + c (1- cos x)/2)≡ ((a-c)/2) cos x + (b/2) sin x + ((c+a)/2) .

При этом a cos x + b sin x + c=0 имеет хоть один корень в том и толь ко в том случае, если (a+c) cos2 (x/2) +2 b cos( x /2)sin( x/2)+( c - a)sin2 (x/2) = 0 имеет хотя бы один корень, то есть когда b2-(c2-a2), то есть когда дискриминант (a+c) x2 + 2b xy + (c-a) y2 отличен от 0.

Итак, если a cos x + b sin x + c=0 не имеет корней, то есть a2 + b2< c2, то a cos x + b sin x + c≡g(cos(x/2); sin (x/2)), где g — однородный многочлен второй степени, не раскладывающийся на множители первой степени. Если a2 + b2= c2, то есть a cos x + b sin x + c≡с (cos(x-d) ± 1), то a cos x + b sin x + c≡(a1 cos (x/2) – b1 sin(x/2))2 для некоторых a1 и b1 таких, что a12 + b12 ≠0. Если же a2 + b2 > c2, то есть a cos x + b sin x + c≡с ( cos (x-d) – cos e) , где cos e≠± 1, то a cos x + b sin x + c можно представить в виде произведения (a1 cos (x/2) – b1 sin(x/2))(a2 cos (x/2) – b2 sin(x/2)) с непропорциональными (a1;b1) и (a2;b2).

Мы уже знаем, что каждый ТМ можно представить в виде (a1 cos (x/2) – b1 sin(x/2))...(am cos (x/2) – bm sin(x/2)) g1(cos(x/2); sin (x/2))...gk(cos(x/2); sin (x/2)), где gi(y;z)=ciyi2 + 2 diyz + eizi2 – однородные многочлены второй степени с di2-ciei<0 . Значит gi(cos(x/2); sin (x/2)) при обратной замене превращаются в ТМ вида a cos x + b sin x + c такие, что a2 + b2< c2, причем gi(cos(x/2); sin (x/2)) имеют вторую степень как ТМ от cos (x/2). Так как при замене х на 2у степень ТМ удваивается, то все произведение имеет четную степень. Но произведение g1(cos(x/2); sin (x/2))...gk(cos(x/2); sin (x/2)) тоже имеет четную степень. Значит и (a1 cos (x/2) – b1 sin(x/2))...(am cos (x/2) – bm sin(x/2)) имеет четную степень, то есть m четно. Группируя эти множители как угодно, лишь бы только парами, получим, что каждая пара дает множитель вида a cos x + b sin x + c такой, что a2 + b2≥ c2. Мы доказали

Утверждение 5.4. Любой ТМ , имеющий ненулевую степень, можно представить в виде произведения ТМ первой степени.

Вспомним теперь, что мы группировали множители аi cos (x/2) – bi sin(x/2) по парам произвольно. Поэтому понятно, что об единственности разложения на множители вида a cos x + b sin x + c речи быть не может. Например, рассмотрим произведение cos (x/2) sin(x/2)(cos (x/2) + sin(x/2))(cos (x/2) – sin(x/2)) . При группировке по парам cos (x/2) можно сгруппировать с любым из трех оставшихся множителей. Соответственно получим три варианта разложения на множители вида a cos x + b sin x + c:

(cos (x/2) sin(x/2))((cos (x/2) + sin(x/2))(cos (x/2) – sin(x/2))) = (1/2) sin x cos x ;

(cos (x/2)(cos (x/2) + sin(x/2))( sin(x/2(cos (x/2) – sin(x/2))=((1/2)(cos x + 1) +(1/2)(sin x))( (1/2)(sin x)-(1/2)(1-cos x))=1/4 (sin x + cos x +1)(sin x + cos x -1);

(cos (x/2)(cos (x/2) - sin(x/2))( sin(x/2(cos (x/2) + sin(x/2))=((1/2)(cos x + 1) -(1/2)(sin x))( (1/2)(sin x)+(1/2)(1-cos x))=1/4 ( cos x – sin x +1)(sin x - cos x -1).

Пусть теперь известно, что все корни a cos x + b sin x + c являются корнями некоторого ТМ f(x).

Обязательно ли f(x) делится на a cos x + b sin x + c ? Если a cos x + b sin x + c имеет 2 разных корня в

промежутке [0; 2π[, то есть если ,a2 + b2 > c2, то a cos x + b sin x + c= (a cos (x/2) – b sin (x/2)) (c cos (x/2)-

d sin(x/2)), где пары (a;b) и (c;d) не пропорциональны, то, благодаря единственности разложения ТМ на

простые ТМ от х/2, f(x) обязан делиться на a cos x + b sin x + c . Если же a cos x + b sin x + c имеет только один корень в [0; 2π[, то есть если a2+b2=c2, то a cos x + b sin x + c= (a cos (x/2) – b sin (x/2)) 2, и

ТМ может делиться на a cos (x/2) – b sin (x/2), но не делится на (a cos (x/2) – b sin (x/2)) 2.

Пример: sin x нельзя разделить на cos x + 1 даже с остатком.

Рассмотрим теперь вопрос, когда из делимости на два ТМ следует делимость на их произведение.

Для обычных многочленов делимость на произведение равносильна делимости на оба множителя в том и только в том случае, если эти множители взаимно просты. Поэтому сначала попробуем разобраться с взаимной простотой и наибольшими общими делителями. Напомним. Что в главе 3 мы назвали наибольшим общим делителем (НОД) двух ТМ такой их общий делитель, который делится без остатка на все их общие делители. Для однозначности потребуем, чтобы старший коэффициент НОД был равен 1. Рассмотрим следующие множества функций:

F0 – множество всех КМ , то есть множество всех четных ТМ;

F1 – множество всех однородных ТМ;

F - множество всех ТМ;

F2 – множество всех однородных ТМ от х/2.

Каждому из этих множеств соответствуют свои НОД. Причем в F0 , F1 и F2 НОД любых двух функций существует а в F для некоторых пар существует, а для некоторых — нет. При этом F0 – подмножество

F1 , F1 - подмножество F, а F — подмножество F2. Заметим , что хотя при переходе из F0 и F1 в F

и из F в F2 появляются новые функции, но при этом если f1(x) не делился без остатка на f2(x), то и после перехода не появится такая функция h(x), что f1(x) = f2(x)h(x). Докажем это.

Сначала докажем, что если f1 и f2 принадлежат F, f2 ненулевая функция, g принадлежит F2 и f1= f2 g , то на самом деле g принадлежит F. Действительно, F, как мы знаем, состоит из всех однородных ТМ от х/2 четных степеней. А если f1; f2 и g ТМ от х/2 и f1 и f2 имеют в F2 четные степени, то так как степень f1 равна сумме степеней f2 и g, то и степень g в F2 четна.

Теперь докажем, что если f1 и f2 принадлежат F1, f2 ненулевая функция, g принадлежит F и f1= f2 g , то на самом деле g принадлежит F1. Вспомним, что если f1 и f2 - однородные ТМ, то каждый из них можно представить в виде суммы ступеней ak cos kx + bk sin kx, где все k одной четности. Тогда при делении уголкомf1 на f2 в частном тоже будут получаться ступени со степенями одной и той же четности. Значит частное — однородный ТМ.

Докажем, что если f1 и f2 принадлежат F0, f2 ненулевая функция, g принадлежит F и f1= f2 g , то на самом деле g принадлежит F0. Действительно, F0 состоит из всех четных функций из F. А если f1 и f2 четные, то при всех х, при которых f2(x)≠0, g(-x)=f1(-x)/f2(-x)=f1(x)/f2(x)=g(x). Так как f2(x)=0 имеет только конечное число решений в [0;2π[, то g(-x)- g(x)=0 имеет в [0;2π[ бесконечно много решений. Значит g(-x)- g(x)≡ 0 , g(x) — четная функция.

Теперь рассмотрим любые два множества функций G1 и G2 такие, что G1 — подмножество G2 и если f1 и f2 принадлежат G1 и в G2 f1 делится на f2 без остатка, то частное всегда принадлежит G1 . Тогда если у f1 и f2 существует НОД в G2 и этот НОД является функцией из G1, то он обязан быть НОД и в G1.

Действительно, если g – НОД f1 и f2 в G2, то в в G2 g делится без остатка на все общие делители функций f1 и f2, в том числе и на все те, которые принадлежат G1 . Причем результаты деления на общие делители из G1 обязаны принадлежать G1. Это и означает, что g - наибольший общий делитель f1 и f2 и в G1.

Во множестве F2 , благодаря единственности разложения на простые множители, НОД существует у любой пары функций. Но для f1 и f2 из F их НОД в F2 не обязан быть функцией из F, так как НОД может иметь нечетную степень как ТМ от х/2. Пример: НОД(1- cos x ; sin x) в F2 это sin (x/2), так как

1- cos x = 2 sin2(x/2); sin x = 2 sin (x/2) cos(x/2). А поскольку 1- cos x и sin x ТМ первой степени, не получающиеся друг из друга умножением на число, их НОД в F равен 1. А можно ли и как по разложению на простые множители НОД (f1 ; f2) в F2 однозначно ответить на вопрос, существует ли

НОД (f1 ; f2) в F, и найти его, если он существует?

Покажем, что все зависит от количества множителей первой степени в разложении НОД (f1 ; f2) в F2 и от числа входящих в него множителей первой степени, не получающихся друг из друга умножением на константу. Если количество множителей первой степени четно, то НОД (f1 ; f2) в F2 принадлежит F, и значит является НОД (f1 ; f2) и в F. Если же оно нечетно, то возможны два случая.

Первый случай. НОД (f1 ; f2) в F2 равен sink((x-a)/2) g(x/2) ,где g(x/2) — произведение простых множителей второй степени; k нечетно. Тогда НОД (f1 ; f2) в F это ( с точностью до умножения на константу) sink-1((x-a)/2) g(x/2).

Второй случай. НОД (f1 ; f2) в F2 равен h(x) = sin ((x-a1)/2)...sin((x-ak)/2) g(x/2), где g(x/2) — произведение простых множителей второй степени; k нечетно, k>1 и sin(x-a2)/2) не получается из sin ((x-a1)/2) умножением на константу, то есть a2- a1 не кратно 2π. Пусть g1(x) получается выбрасыванием из h(x) первого множителя, а g2(x) — второго. Тогда разложение на простые множители в F2 как g1(x). так и g2(x), содержит четное число множителей. Значит g1(x) и g2(x) — ТМ от х, то есть принадлежат F. Допустим, что h1(x) – НОД (f1 ; f2) в F . Тогда h1(x) делится без остатка в F на g1(x) и g2(x). Но тогда разложение на простые множители h1(x) должно содержать в себе разложение h(x) . А чтобы h1(x) был из F, нужно, чтобы у него был еще какой-то простой множитель из F2, не входящий в разложение h(x). Это противоречит тому, что НОД (f1 ; f2) в F2 равен h(x).

Пусть теперь f1 и f2 принадлежат F1. Докажем, что их НОД в F2 всегда является НОД и в F1.

Заметим, что если ТМ f однороден, то f(x+π)≡f(x), если степень f четна, и f(x+π)≡-f(x), если степень f нечетна. Поэтому f(x) и f(x+π) должны одинаково раскладываться на простые множители в F2 . Значит, если в разложении f(x) есть простой в F2 множитель g(x), то так как в разложении f(x+π) есть (с точностью до умножения на константу) простой множитель g (x+π) , то либо g(x) и g (x+π) получаются друг из друга умножением на константу, либо g (x+π) входит в разложение f(x) . А так как для g(x)=sin((x-a)/2) имеем g (x+π) = cos((x-a)/2) – не получается из g(x) умножением на константу, то множители первой степени входят в разложение каждого из f1 и f2 парами - sin ((x-a1)/2) в паре с sin(x-a2)/2), где a2 отличается от a1 на нечетное кратное π. Значит НОД (f1 ; f2) в F2 является ТМ от х, то есть принадлежит F. Кроме того, sin((x-a)/2) sin((x+π-a)/2) =(1/2)sin(x-a) — однородный ТМ от х. А простые множители второй степени в F2, как мы знаем, записываются в виде a cos x + b sin x +c. Если с=0, то этот множитель однородный. А если нет, то у него в разложениях f1 и f2 есть пара a cos (x+ π) + b sin (x+ π) +c= - a cos x - b sin x +c. Имеем: (a cos x + b sin x +c)(- a cos x - b sin x +c)=с2- ( a cos x + b sin x )2

состоит после раскрытия скобок только из одночленов четных степеней, то есть это однородный ТМ от х. Значит НОД (f1 ; f2) в F2 принадлежит F1 и следовательно является НОД (f1 ; f2) и в F1 .

Заметим еще, что если в каком-то множестве функций НОД двух функций f1 и f2 удалось представить в виде f1g1+f2g2 , где g1 и g2 -функции из этого же множества(так бывает, если к f1 и f2 удается применить алгоритм Евклида), то этот НОД остается НОД и в любых более широких множествах функций при условии, если f не делилась без остатка на g в исходном множестве, то не делится и в расширенном. По этой причине НОД двух функций из F0 остается их НОД и в F и в F2.

Теперь попробуем ответить на вопрос, в каких из множеств F0;F1;F;F2 из того, что f(x) делится на f1(x)

и на f2(x) и f1(x) и f2(x) взаимно просты (то есть их НОД в этом множестве-константа 1) следует, что f(x) делится на f1(x) f2(x).

Так как в F0;F1; F2 разложение на простые множители единственно, то для этих множеств рассматриваемое свойство выполняется. А вот в F из взаимной простоты множителей ничего хорошего не следует. Например, sin x =2 sin(x/2) cos (x/2) и 1- cos x = 2 sin2(x/2) в F взаимно просты. Но удалив из их произведения 4sin3(x/2) cos(x/2) один множитель sin(x/2) и добавив любой множитель вида sin((x-a)/2)) , например, cos(x/2), получим: 4 sin2 (x/2) cos2(x/2) = sin2x делится на sin x и на 1- cos x, но не делится на sin x (1- cos x).

Теперь мы, наконец, можем доказать следующее

Утверждение 5.5. Если известно, что ТМ f(x) с делится без остатка на g(x)= a1 cos x + b1 cos x + c1 и на h(x)= a2 cos x + b2 sin x + c2, причем g(x) и h(x) не имеют общих корней и не получаются друг из друга умножением на константу, то f(x) обязательно делится на g(x)h(x).

Действительно, a1 cos x + b1 cos x + c1 и a2 cos x + b2 sin x + c2 в F2 имеют вторую степень. Поэтому они взаимно просты в F2 в том и только в том случае, если они не получаются друг из друга умножением на константу и не имеют общих простых делителей первой степени в F2, то есть не делятся в F2 на одно и то же sin((x-a)/2), то есть не имеют общих корней.

Выясним еще, как связаны между собой НОК одних и тех же ТМ в разных множествах F0;F1;F;F2 (НОК — общее кратное, на которое делятся все общие кратные. Для определенности старший коэффициент НОК равен 1).

В тех множествах, где выполняется единственность разложения на простые множители, то есть в F0;F1; F2 НОК находится как для целых чисел разложением на простые множители и верно соотношение

f1(x) f2(x) с точностью до множителя-константы равно НОД(f1(x); f2(x)) НОК(f1(x); f2(x)). Поэтому НОК в F 0 и в F1 всегда существует и не меняется при переходе в F2.

Что же касается связи НОК в F и в F2 , то , аналогично НОД, если НОК(f1(x); f2(x)) из F2 принадлежит F, то оно является НОК(f1(x); f2(x)) и в F. Это происходит в том случае, если НОК в F2 имеет четную степень. Если же степень НОК в F2 нечетна, то НОК в F не существует. Действительно, пусть h(x) – НОК (f1(x); f2(x)) в F2 , и h(x) не принадлежит F, то есть имеет нечетную степень в F2. . Тогда при любом а

sin((x-a)/2)h(x) — общее кратное f1(x) и f2(x), принадлежащее F, а все остальные их общие кратные получаются из общих кратных такого вида умножением на какие-то ТМ из F . Допустим, что существует НОК(f1(x); f2(x)) в F и оно имеет вид sin((x-a)/2)h(x) g(x). Но тогда, взяв общее кратное sin((x-а-π)/2))h(x), получаем, что оно не делится на sin((x-a)/2)h(x) g(x), так как не делится даже на sin((x-a)/2)h(x).

Итак, мы теперь кое-что знаем о связи между разложением ТМ f(x) на множители и корнями уравнения f(x)=0. Как и для обычных многочленов это помогает не столько решать уравнения, сколько раскладывать f(x) на множители, когда корни каким-то образом найдены (угаданы). Единственное, что помогает решать уравнения, это сведение решения уравнения к решению уравнения меньшей степени, если один из корней угадан. Этим мы займемся в следующей главе. А сейчас рассмотрим примеры разложения на простые множители ТМ, корни которых мы умеем находить.

Начнем с разложения cos nx на простые множители в F0, точнее на множители первой степени cos x – a. Мы знаем, что каждый КМ обязан раскладываться на множители вида cos x – a и a cos2x + b cos x +c такие, что b2 – 4ac < 0. А так как степень cos nx равна n, то если мы найдем n его корней x1,..., xn c разными cos x1,..., cos xn, то это будет означать, что cos nx раскладывается в произведение множителей первой степени cos x – cos x1,..., cos x – cos xn.

Имеем: cos nx =0 в том и только в том случае, если nx=(π/2) + k π, то есть х=( π(2k + 1) /(2n)), где k любое целое число. Получаем n корней в промежутке [0; π]: π/(2n); (3 π)/(2n); …; ((2n-1) π)/(2n). Значит cos nx = с ( cos x – cos ( π/(2n))) ( cos x – cos ((3 π)/(2n))... ( cos x – cos (((2n-1) π)/(2n)).

Найдем еще , чему равно с в этой формуле. Для этого найдем старшую ступень вида ak cos kx правой части. Мы знаем, что если старшие ступени двух ТМ равны а cos kx и b cos lx, то старшая ступень их произведения это ((ab)/2) cos(k+l)x. Соответственно если старшие ступени n множителей соответственно равны a1 cos k1x; …; an cos knx , то старшая ступень их произведения равна

((a1...an)/2n-1) cos (k1 + … + kn)x. Значит старшая ступень правой части это (c/2n-1) cos nx. А так как старшая ступень левой части cos nx, то c/2n-1=1; с= 2n-1.

Теперь разложим на множители sin (nx-a) (к такому виду, как мы знаем, приводятся b cos nx + c sin nx, если b2 + c2≠ 0). Так как это однородный ТМ степени n, то , чтобы разложить его на множители вида

sin(x-a), достаточно найти n его корней, попарные разности которых не кратны π. Имеем:

sin (nx-a)=0 в том и только в том случае, если nx-а= k π, то есть х=( πk + а) /n, где k любое целое число. Получаем требуемые n корней: a/n; ( π + а) /n; ( 2π + а) /n; … ; ( (n-1)π + а) /n. Значит

sin (nx-a) = c sin(x- a/n) sin(x- ( π + а) /n) sin (x- ( 2π + а) /n)... sin(x- ( (n-1)π + а) /n).

Как для cos nx, коэффициент с находим, сравнивая старшие ступени. Так как старшая ступень вида

ak cos kx + bk sin kx для sin (ix-a) sin(jx-b) это -(1/2)cos((i+j)-(a+b))=(1/2)(sin((i+j)x) - (a+b+( π/2))), то старшая ступень правой части это( 1/2n-1 )sin (nx-(( a/n) + ( ( π + а) /n) + … + ( ( (n-1)π + а) /n) + ( π/2)(n-1)))= ( 1/2n-1) sin (nx-a-((n-1)/2) π - ( π/2)(n-1)) )= (1/2n-1 )sin (nx-a- π(n-1))= (-1/2)n-1 sin (nx-a).

Так как старшая ступень левой части это сам sin (nx-a), то с=(-2)n-1. Так как cos x = - sin(x-( π/2)), то сразу получаем:

cos (nx-a) =(-2)n-1 (-1) sin(x- (a+( π/2))/n) sin(x- ( π + ( π/2)+ а) /n) sin (x- ( 2π +( π/2)+ а) /n)... sin(x- ( (n-1)π+( π/2) + а) /n).

Теперь разложим cos nx – cos a на простые множители в F0 и в F2.

При разложении в F2 никаких проблем не возникает, так как

cos nx – cos a = -2 sin ((nx-a)/2) sin ((nx+a)/2) = -2 sin ((n(x/2)-(a/2))sin ((n(x/2)+(a/2)), а sin (ny-a) мы уже умеем раскладывать. Разложение в F0 можно получить из разложения в F2 , группируя множители

sin ((x/2) -b) и sin ((x/2) + b) (sin (x/2) группируется сам с собой, что возможно потому, что cos nx – cos a четная функция, поэтому sin (x/2) обязан входить в это разложение четное число раз). Но удобнее раскладывать прямо в F0. Найдем корни.

cos nx – cos a=0 в том и только в том случае, если nx=±a + 2kπ , то есть x=(±a + 2kπ/n), где k любое целое число. При cos a≠±1, то есть a≠lπ, где l целое число, при k от 0 до (n-1) все cos(a + 2kπ/n) попарно различны. Действительно, чтобы проверить, что cos c ≠ cos d , достаточно проверить, что c+d и c-d не кратны π. Если бы ((a + 2kπ)/n) -( a + 2lπ)/n))=2mπ, то (k-l)/n=m, что невозможно, так как k≠ l и |k-l|
cos nx – cos a=с(cos x - cos(a/n))(cos x - cos(a+2π/n)) (cos x - cos(a+2(n-1)π/n)) .

Причем мы знаем, что старшая ступень вида ak cos kx правой части ( 1/2n-1) cos nx, значит с= 2n-1.

При cos a=±1 рассуждения с помощью которых мы вывели эту формулу, непосредственно не проходят из-за того, что в этом случае у cos nx – cos a нет n корней с попарно различными косинусами. Из равенств cos nx – 1=-2sin2 (nх/2) и cos nx+ 1=2 cos2(nx/2) мы видим, что (так как sin (x/2) и cos(x/2) имеют по n различных корней в [0;2 π[ ), во множестве F2 все корни cos a±1 имеют кратность 2. Но

c (cos x – cos (a/n))(cos x – cos (a+2π/n))... (cos x – cos (a+2(n-1)π/n)) при a=lπ имеет те же самые корни: cos x – cos( (lπ+2iπ)/n)= -2 sin ((x-(lπ+2iπ/n))/2)sin ((x+(lπ+2iπ/n))/2), а (lπ+2iπ)/n и -(lπ+2iπ)/n удовлетворяют cos nπ = cos lπ. При этом корни (lπ+2iπ)/n и (lπ+2jπ)/n отличаются друг от друга на

(2( i-j)π)/n, то есть их разность не кратна 2π при 0≤j
1   2   3   4   5   6

Похожие:

Tригонометрические многочлены icon2 Приближение функций многочленами [10 часов]
Аппроксимация мнк в различных базисах: базис «алгебраических» многочленов, ортогональные базисы (многочлены Лежандра, «факториальные»...
Tригонометрические многочлены iconИ дата консультации*
Выражения. Одночлены. Многочлены Одночлены и многочлены. Формулы сокращенного умножения
Tригонометрические многочлены iconСимметрические многочлены (СМ) и симметрические уравнения
Опр. Симметрическими называются многочлены, не изменяющиеся от круговой перестановки переменных. Так, например, см второго порядка...
Tригонометрические многочлены icon«Симметрические многочлены»
Ершова Т. И., к ф м н., доцент кафедры алгебры и теории чисел Ургпу, математический факультет
Tригонометрические многочлены iconПрезентация использования интерактивной доски во время проведения урока «Одночлены и многочлены»
Образовательное учреждение: Муниципальное общеобразовательное учреждение Больше-Кайбицкая средняя общеобразовательная
Tригонометрические многочлены iconI. Теоретические вопросы: Одночлены и многочлены. Действия над ними
Решение тригонометрических уравнений, приводимых к простейшим, и систем тригонометрических уравнений
Tригонометрические многочлены icon«сибирский федеральный университет»
Корни и канонические разложения многочленов над полями вещественных и комплексных чисел. Неприводимые многочлены над полями
Tригонометрические многочлены iconПрограмма государственного экзамена
Корни и канонические разложения многочленов над полями вещественных и комплексных чисел. Неприводимые многочлены над полями
Tригонометрические многочлены iconПрограмма междисциплинарного экзамена по специальности 010101 “Математика”
Корни и канонические разложения многочленов над полями вещественных и комплексных чисел. Неприводимые многочлены над полями
Tригонометрические многочлены iconЛабораторная работа булевы функции. Многочлены жегалкина
Цель работы: Изучить свойства булевых функций, методы построения днф, кнф, сднф, скнф, алгоритмы построения многочлена Жегалкина...
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница