Теорема Штурма

СОДЕРЖАНИЕ

ВВЕДЕНИЕ

1. ЭЛЕМЕНТЫ ВЫСШЕЙ  АЛГЕБРЫ. НАХОЖДЕНИЕ КОРНЕЙ МНОГОЧЛЕНОВ  ВЫСШЕЙ СТЕПЕНИ

2. ЛИНЕЙНЫЕ УРАВНЕНИЯ  ВТОРОГО ПОРЯДКА

3. РЯД ШТУРМА (СИСТЕМА  ШТУРМА)

4. ТЕОРЕМЫ СРАВНЕНИЯ  ШТУРМА

5. ПРИМЕНЕНИЕ ТЕОРЕМ  ШТУРМА К РЕШЕНИЮ ШКОЛЬНЫХ  ЗАДАЧ

ЗАКЛЮЧЕНИЕ

СПИСОК ЛИТЕРАТУРЫ

 

 

 

 

 

 

 

 

 

 

 

ВВЕДЕНИЕ

    Штурм Жак Шарль Франсуа (Sturm J. Ch. F. – правильное произношение: Стюрм), родился 29 сентября 1803 года в Женеве. Был членом Парижской академии наук с 1836, а также иностранным членом – корреспондентом Петербургской академии наук с того же года. С 1840 года был профессором Политехнической школы в Париже.

Теорему Фурье ( Теорема о числе действительных корней между двумя данными пределами ), математика Жозефа Фурье (Joseph Fourier, 1768-1830), затмила более общая теорема, опубликованная Штурмом в Bull. mathem., 1829. Доказательство сам Штурм представил только в одной премированной работе 1835г. Коши Огюстен (Cauchy Augustin, 1789-1857) распространил теорему Штурма на комплексные корни (1831). [4,c.54]

Основные работы Жана Шарля  Штурма относятся к решению краевых  задач уравнений математической физики и связанной с этим задачей  о разыскивании собственных значений и собственных функций для  обыкновенны дифференциальных уравнений. (Задача Штурма-Лиувилля, о нахождении отличных от нуля решений дифференциальных уравнений :

-(p(t)u¢)¢+q(t)u=lu,

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

А₁u(a)+B₁u¢(a)=0, A₂u(b)+B₂u¢(b)=0,

(так называемых собственных  функций), а также о нахождении  значений параметра l (собственных значений), при которых существуют такие решения. При некоторых условиях на коэффициенты p(t), q(t) задача Штурма-Лиувилля сводилась к рассмотрению аналогичной задачи для уравнения вида: -u¢¢+q(x)u=lu).

Эта задача была впервые исследована Штурмом  и Жозефом Лиувиллем (Joseph Liouville, 1809-1882) в 1837г. и закончена в 1841 г.[3,c.12]

Также Жак  Штурм дал общий метод для  определения числа корней алгебраических уравнений, лежащих на заданном отрезке, названный правилом Штурма, который позволяет находить непересекающиеся интервалы, содержащие каждый по одному действительному корню данного алгебраического многочлена с действительными коэффициентами.

  Объектом исследования данной работы является изучение теоремы Штурма.

Предметом исследования является методика изучения многочленов.

Задачи:

-рассмотреть применение теоремы Штурма к решению школьных задач 

-привести методические рекомендации по проведению занятий по данной теме.

Методы исследования:

-анализ научной, учебной литературы;

-обобщение и систематизация теоретического материала;

-подбор методических разработок.

 

 

1. ЭЛЕМЕНТЫ ВЫСШЕЙ АЛГЕБРЫ. НАХОЖДЕНИЕ КОРНЕЙ МНОГОЧЛЕНОВ ВЫСШЕЙ СТЕПЕНИ

Многочлен (или полином) от n переменных — есть конечная формальная сумма вида

 

,

 

 где I = (i1,i2,...,in) есть  набор из целых неотрицательных чисел (называется мультииндекс), c_I — число (называемое "коэффициент многочлена"), зависящее только от мультииндекса I.

В частности, многочлен от одной переменной есть конечная формальная сумма вида

Коэффициенты многочлена обычно берутся из определённого коммутативного кольца R (чаще всего поля, например, поля вещественных или комплексных чисел).[6,c.34]

В случае, когда многочлен  имеет всего два ненулевых  члена, его называют двучленом или  биномом, в случае, когда многочлен  имеет всего три ненулевых  члена, его называют трёхчленом.

Полной степенью (ненулевого) одночлена  называется целое число

| I | = i₁ + i₂ + ... + i_n.

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

Многочлен, который можно  представить в виде произведения многочленов низших степеней с коэффициентами из данного поля, называется приводимым (над данным полем), в противном  случае — неприводимым. Неприводимые многочлены играют в кольце многочленов роль, сходную с ролью простых чисел в кольце целых чисел. Например, верна теорема: если произведение pq делится на неприводимый многочлен λ, то p или q делится на λ. Каждый многочлен, степени большей нуля, разлагается в данном поле в произведение неприводимых множителей единственным образом (с точностью до множителей нулевой степени).

Например, многочлен x⁴ + 2, неприводимый в поле рациональных чисел, разлагается на два множителя в поле вещественных чисел и на четыре множителя в поле комплексных чисел.[10,c.78]

Вообще, каждый многочлен  от одного переменного x разлагается  в поле вещественных чисел на множители  первой и второй степени, в поле комплексных  чисел — на множители первой степени (основная теорема алгебры).

Для двух и большего числа  переменных этого уже нельзя утверждать. Над любым полем для любого n > 2 существуют многочлен от n переменных, неприводимые в любом расширении этого поля. Такие многочлены называются абсолютно неприводимыми.

Корень многочлена над полем k – это элемент , который после подстановки его вместо x обращает уравнение в тождество.

Теорема Безу. Остаток от деления многочлена P(x) на двучлен x − a равен P(a). Предполагается, что коэффициенты многочлена содержатся в некотором коммутативном кольце с единицей (например, в поле вещественных или комплексных чисел).[9,c.73]

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

Поделим с остатком P(x) = (x − a)Q(x) + R(x). Так как degR(x) < deg(x − a) = 1, R(x) - многочлен степени 0. Подставляя a, поскольку (a − a)Q(a) = 0, имеем P(a) = R(x).

Другой вариант доказательства.

Запишем формулу Тейлора  для многочлена:

Берём x₀ = a. Теорема доказана.

Следствие. Число a является корнем многочлена p(x) тогда и только тогда, когда p(x) делится без остатка на двучлен x − a.

Число вещественных корней многочлена с вещественными коэффициентами степени n заведомо меньше либо равно n. При этом комплексные корни многочлена (если они есть) сопряжены, таким образом, многочлен четной степени может иметь только четное число вещественных корней, а многочлен нечётной – только нечётное.

Всякий многочлен p(x) с вещественными или комплексными коэффициентами имеет по крайней мере один, вообще говоря, комплексный, корень.

Теорема (основная теорема алгебры). Всякий отличный от константы многочлен с комплексными коэффициентами имеет корень в поле комплексных чисел.[5,c.21]

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

Немедленным следствием из теоремы  является то, что любой многочлен  степени n над полем комплексных  чисел имеет в нём ровно n корней, с учётом кратности корней.

Доказательство. У многочлена f(x) есть корень a, значит, по теореме Безу, он представим в виде (x − a)g(x), где g(x) — другой многочлен. Применим теорему к g(x) и будем применять её таким же образом до тех пор, пока на месте g(x) не окажется линейный множитель. На самом деле существует еще несколько прямых следствий.

Как предположение эта теорема  впервые встречается у немецкого  математика Питера Роуте. Первые доказательства основной теоремы алгебры принадлежат Жирару, 1629 г., и Декарту, 1637 г., в формулировке, отличной от современной. Маклорен и Эйлер уточнили формулировку, придав ей форму, эквивалентную современной: "Всякий многочлен с вещественными коэффициентами можно разложить в произведение линейных и квадратичных множителей с вещественными коэффициентами."[8,c.51]

Д'Аламбер первым в 1746 г. опубликовал доказательство этой теоремы. Его доказательство основывалось на лемме, что если для какого-нибудь x f(x)≠0, где f(x) — многочлен степени ≥1 , то найдется точка x1 такая, что |f(x1)|<|f(x)|. Доказательство это было бы совершенно строгим, если бы Д’Аламбер мог доказать, что где-то на комплексной плоскости значение модуля многочлена достигает наименьшего значения. Во 2-й половине XVIII века появляются доказательства Эйлера, Лапласа, Лагранжа и других. Во всех этих доказательствах предполагается заранее, что какие-то "идеальные" корни многочлена существуют, а затем доказывается, что по крайней мере один из них является комплексным числом. Гаусс первым дал доказательство без этого предположения (единственным недоказанным Гауссом предположением было то, что многочлен с действительными коэффициентами, принимающий как положительное, так и отрицательное значение, также имеет и корень, что весьма геометрически наглядно). Его доказательство, по существу, содержит построение поля разложения многочлена.[3,c.42]

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

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

Многочлен с вещественными  коэффициентами p(x) можно записать в  виде

 где 

— (в общем случае комплексные) корни многочлена p(x), возможно с  повторениями, при этом если среди  корней многочлена p(x) встречаются равные, то общее их значение называется кратным корнем.

Корни многочлена связаны  с его коэффициентами формулами Виета.

Формулы Виета — формулы, выражающие коэффициенты многочлена через его корни.

Этими формулами удобно пользоваться для проверки правильности нахождения корней многочлена, а также для  составления многочлена по заданным его корням.[3,c.90]

Если  — корни многочлена (каждый корень взят соответствующее его кратности число раз), то коэффициенты выражаются в виде симметрических многочленов от корней, а именно:

 

 

Иначе говоря ( − 1)^ka_k равно сумме всех возможных произведений из k корней.

Если старший коэффициент  многочлена , то для применения формулы Виета необходимо предварительно разделить все коэффициенты на a0 (это не влияет на значение корней многочлена). В этом случае формулы Виета дают выражение для отношений всех коэффициентов к старшему. Из последней формулы Виета следует, что если корни многочлена целочисленные, то они являются делителями его свободного члена, который также целочисленен.[1,c.38]

Доказательство осуществляется рассмотрением равенства

 

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

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

Пример. Квадратное уравнение

Сумма корней приведенного квадратного  уравнения равна второму коэффициенту с обратным знаком, а произведение корней равно свободному члену. Или

Если x₁ и x₂ — корни квадратного уравнения ax² + bx + c = 0 , то

 и  .

В частном случае, если a = 1 (приведенная форма x² + px + q = 0), то

x₁ + x₂ = − p и x₁x₂ = q.

Пример. Кубическое уравнение

Если x₁, x₂, x₃ – корни кубического уравнения p(X) = ax³ + bx² + cx + d = 0, то

2.ЛИНЕЙНЫЕ УРАВНЕНИЯ ВТОРОГО ПОРЯДКА

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

u"+ g(t)u' + f(t)u=h(t)                    (1.1)

или

(р (t) и')' + q (f) и = h(t).                 (1.2)

Из двух выражений (1.1) и (1.2) последнее является более общим, поскольку уравнение (1.1) может быть записано в виде

(p(t) и')'  + р(t) f(t)u= р (t) h (t),       (1.3)

если определить p(t) следующим образом:

                          (1.4)

при некотором a€J. Частичное обращение этого утверждения также верно, поскольку если функция р(t) непрерывно дифференцируема, уравнение (1.2) можно записать в виде

,

а это уравнение имеет  вид (1.1).

В случае, если функция р (t) непрерывна, но не имеет непрерывной производной, уравнение (1.2) не может быть записано в виде (1.1). Тогда уравнение (1.2) можно интерпретировать как линейную систему из двух уравнений первого порядка для неизвестного двумерного вектора :

, .      (1.5)

Другими словами, решение  и = и (t) уравнения (1.2) должно быть такой непрерывно дифференцируемой функцией, что функция р(t) u'(t) имеет непрерывную производную, удовлетворяющую (1.2). Если р(t) ¹ 0 и q(t), h(t) непрерывны, к системе (1.5), а потому и к уравнению (1.2) применимы стандартные теоремы существования и единственности для линейных систем (Мы можем рассматривать также более общие (т. е. менее гладкие) типы решений, если предполагать, например, только, что функции 1/p(t), q (t), h (t) локально интегрируемы.)[4,c.73]