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

в 12:03, , рубрики: абсцисс, алгоритм, график, корни, математика, многочлен, производные, ряд Тейлора, функция, эквивалентность

Алгоритм нахождения эквивалентных точек оси абсцисс функции многочлена - 1
Уважаемыее, приветствую! Продолжаем цикл околоматематических статей, предыдущая расположена тут. Напомню, что я лишь дилетант математики, занимающийся её морально-эстетической стороной, и мои идеи могут показаться вам неинтересными/бесполезными/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
График выглядит следующим образом:
Алгоритм нахождения эквивалентных точек оси абсцисс функции многочлена - 36
Тогда для нашего корня 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-ой степени включительно (т.к. корни уравнения высших порядков больше четвертой нельзя представить в виде рациональных функций (корней то бишь и т.д.).
Поставленную воскресную задачу мы выполнили, за сим отклоняюсь.
Спасибо за внимание!

Автор: ParadoxFilm

Источник


* - обязательные к заполнению поля


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js