Краткое содержание
В этом уроке изучаются корни многочленов степени больше двух. Из деления многочленов с остатком выводится синтетическое деление (схема Горнера), или правило Руффини, которое делит многочлен на с помощью одних лишь умножений и сложений и одновременно даёт значение , и устанавливается его связь с правилом Горнера. Доказывается теорема о рациональных корнях, которая сводит поиск рациональных корней многочлена с целыми коэффициентами к конечному списку кандидатов, и она применяется к полному разложению на множители многочленов степеней и , с учётом кратности корней и с повторным синтетическим делением. Доказываются две границы для действительных корней: граница Коши и граница, которую даёт само синтетическое деление; формулируется основная теорема алгебры и из неё выводится, что всякий действительный многочлен есть произведение линейных множителей и неприводимых квадратных множителей; наконец, выводятся формулы Виета для кубического многочлена.
Цели обучения
- Делить многочлен на с помощью синтетического деления и обосновывать, что схема даёт коэффициенты частного и остаток .
- Находить рациональные корни многочлена с целыми коэффициентами по теореме о рациональных корнях и применять её для доказательства иррациональности некоторых чисел.
- Полностью раскладывать на множители многочлены степеней и , определяя кратность каждого корня и заранее ограничивая промежуток, содержащий действительные корни.
- Связывать корни и коэффициенты кубического многочлена формулами Виета и описывать разложение действительного многочлена, которое гарантирует основная теорема алгебры.
- Формулировать прикладные задачи, приводящие к полиномиальному уравнению степени или , например о ватерлинии буя, и выбирать среди его корней те, которые имеют смысл в данном контексте.
Синтетическое деление
В уроке об алгебре многочленов была доказана теорема о делении многочленов с остатком: для двух многочленов и , где ненулевой, существуют единственные частное и остаток. Когда делитель равен , остаток есть постоянная, которая по теореме Безу (об остатке) равна ; а по теореме о множителе является корнем в точности тогда, когда этот остаток равен нулю. Поэтому поиск корней многочлена высокой степени требует многократного деления на делители такого вида. Синтетическое деление, называемое также правилом Руффини, сводит каждое такое деление к последовательности умножений и сложений над коэффициентами, без записи переменной.
Схема такова. В строку записывают коэффициенты , от старшей степени до свободного члена, включая нулевые, а слева число . Первый коэффициент сносят вниз; затем раз за разом умножают на последнее полученное число, записывают произведение под очередным коэффициентом и складывают их. Числа последней строки, кроме последнего, суть коэффициенты частного; последнее число есть остаток.
Разделить на . В многочлене нет члена с , поэтому его коэффициент, , нужно записать в строку: если его пропустить, сдвинутся все остальные. Обозначим через , , и коэффициенты частного, а через остаток.
Доказательство
Записываем коэффициенты от старшей степени к младшей, включая при , а слева число .
Сносим вниз первый коэффициент: это старший коэффициент частного.
Умножаем на полученное число и прибавляем произведение к очередному коэффициенту.
Повторяем операцию с только что полученным числом.
Ещё раз.
Последнее сложение даёт остаток.
Частное имеет степень , на единицу меньше степени делимого, и его коэффициенты стоят в последней строке; остаток равен , что совпадает с , как того требует теорема Безу.
То, что схема работает, не является случайностью примера; следующая теорема доказывает это в общем виде, сравнивая коэффициенты в равенстве деления с остатком.
Пусть есть многочлен степени , а есть действительное число. Если положить , затем для от до и, наконец, , то частное от деления на равно , а остаток равен .
Доказательство сравнивает коэффициенты обеих частей равенства деления с остатком; рисунок следует случаю .
Доказательство
По теореме о делении с остатком существуют единственные частное и остаток . Поскольку делитель имеет степень , остаток есть постоянная, и по правилу степени произведения частное имеет степень ; обозначим через его коэффициенты.
Раскрываем скобки: каждый коэффициент встречается дважды, умноженный на в члене степени и умноженный на в члене степени .
По принципу равенства многочленов коэффициенты при каждой степени в обеих частях равенства деления совпадают; среднее равенство выполняется для от до .
Выражаем неизвестные: первый коэффициент сносится вниз, а каждое из последующих чисел, как и остаток, равно коэффициенту плюс , умноженному на предыдущее число. Обратно, числа, определённые таким образом, удовлетворяют предыдущим равенствам и потому дают деление на ; по единственности частного и остатка они в точности совпадают с числами этого деления.
При подстановке в равенство деления значения первое слагаемое обращается в нуль: последнее число таблицы есть .
Синтетическое деление и правило Горнера
Правило Горнера, доказанное в уроке о позиционных системах счисления, вычисляет значение суммы степеней, начиная со старшего коэффициента и повторяя операцию «умножить на основание и прибавить очередной коэффициент». Именно это делает последняя строка синтетического деления с основанием : числа суть промежуточные результаты правила Горнера, применённого при , а последняя операция даёт значение многочлена.
Отсюда следует, что правило Горнера даёт второе доказательство теоремы Безу и что синтетическое деление есть одновременно самый экономный способ вычислить значение многочлена и разделить его: вычисление значения в точке стоит умножений и сложений, и тот же расчёт оставляет записанным частное. По теореме о множителе является корнем в точности тогда, когда последнее число таблицы равно .
Чтобы разделить на линейный делитель , где , достаточно заметить, что : делим на синтетическим делением, а полученное частное делим на ; остаток не меняется.
Загрузка содержимого…