Pull to refresh

Алгоритм нахождения эквивалентных точек оси абсцисс функции многочлена

Reading time 4 min
Views 8.6K


Уважаемые хабровчане, приветствую! Продолжаем цикл околоматематических статей, предыдущая расположена тут. Напомню, что я лишь дилетант математики, занимающийся её морально-эстетической стороной, и мои идеи могут показаться вам неинтересными/бесполезными/etc. Итак:

Для начала верным шагом будет введение аксиоматики на счет термина «эквивалентности» в данном контексте:

  • Если некоторая координата оси абсцисс image из числового множества удовлетворяет следующему условию:

    image

    То считается, что image (то есть image эквивалентна image)

Такая аксиоматика в рамках этой статьи удобства ради, и, строго говоря, не совсем корректна.

И сразу бы неплохо ответить на традиционный вопрос: «извините, а зачем это надо?». Отвечаю — как минимум, для поиска остальных корней уравнения многочлена (перейдя от уравнения к функции), зная лишь один корень. А также многообразие менее очевидных вещей. Сейчас мы и займемся разрешением этой задачи, а затем приведем алгоритм в общем виде. Для заинтересовавшихся милости прошу под кат.

Отметим, что мы будем работать над следующим классом функций:

image

Для тех, кто не знает, что такое сигма, нужно пояснить, что это равносильно следующему:

image

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

image

Задача: зная один из корней уравнения (из любого числового множества — будь он хоть рациональным, хоть комплексным и т.д.), найти остальные корни уравнения. Да не просто найти, а путем решения уравнения меньшей степени!

Что же, самое время перейти от уравнения к функции:

image

А дальше, забавы ради, найдем все ненулевые производные функции:

image
image
image

Ну раз уж нашли, давайте и в ряд Тейлора функцию разложим (где image):

image

Дальше вспомним вышеописанную аксиоматику эквивалентности image для нашего контекста:

image [в силу равенства справедливо и image]

Ничего не напоминает? Правильно! Это же первый член разложения в ряд Тейлора для нашей функции. Тогда, очевидно, чтобы равенство было тождественным, остальные члены разложения должны обратиться в ноль. Иными словами:

image

Воспользуемся следующим очевидным правилом:

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

А мы как раз можем множитель image вынести за скобки:

image

Тогда:

  1. image

    не подойдет, т.к. image, ибо будет тавтология вида image

  2. image

Вот второй случай обращения в произведение в ноль нам вполне подойдет! Давайте же скорее подставим производные:

image

Подсократим немного:

image

И о чудо! Уравнение получилось второй степени (квадратное), в то время как исходное уравнение было кубическим (третей степени).

Решая его относительно image получим следующие корни:

image

Очевидно, из этого для нашей функции следует следующее:

image

Что это нам дает для нашего уравнения? А то, что зная один из корней уравнения, мы сможем найти остальные два (причем за квадратичную сложность).

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

Давайте рассмотрим на более конкретном примере:

image

Я знаю, что из корней искомого уравнение равен image. А если представить уравнение как кубическую функцию (по алгоритму, описанному выше), то получим следующее:

image

График выглядит следующим образом:


Тогда для нашего корня image:

image

То есть:

image

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

Также интересен тот факт, что из подобной формулы «эквивалентности» следуют условия (не)монотонности для многочлена n-ой степени. Сформировать его можно так:
При обнаружении в многочлене image четного радикала image (где image — любое подкоренное выражение) можно сформировать следующее свойство:

Если при любых image выполняется неравенство image, то график искомой функции является монотонным на всем множестве image. Также справедливо и обратное, если image.

Почему так? Да потому что если оное не выполняется, то мы просто напросто не сможем вычислить image из-за ОДЗ подкоренного выражения.

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

image

Перейдем от уравнения к функции:

image

Разложим функцию в ряд Тейлора, где image:

image

Нам необходимо найти image, следовательно:

image

Тогда:

  1. image

    не подойдет, т.к. image, ибо будет тавтология вида image

  2. image

Решим уравнение относительно image (степень которого меньше исходного), корни которого и будут эквивалентностью image.

Теперь, в частности, справедливо следующее:

  1. image
  2. image

Эквивалентные точки найдены.

Также не забываем про условие (не)монотонности и другие разнообразные следствия из искомого алгоритма. Также стоит отметить, что обычно условия монотонности определяют по ОДЗ радикала корней уравнения image. Напомню, что так можно искать не только «остальные корни», но и любые image, такие что:

image

Ещё стоит упомянуть что, согласно теореме Абеля — Руффини, алгоритм будет работать только до многочлена общего вида 5-ой степени включительно (т.к. корни уравнения высших порядков больше четвертой нельзя представить в виде рациональных функций (корней то бишь и т.д.).

Поставленную воскресную задачу мы выполнили, за сим отклоняюсь.

Спасибо за внимание!
Tags:
Hubs:
+16
Comments 27
Comments Comments 27

Articles