CC BY
49
УДК 512.622 DOI 10.24147/2222-8772.2020.2.65-85
ЛОКАЛИЗАЦИЯ И НАХОЖДЕНИЕ РЕШЕНИЙ ТРЁХЧЛЕННЫХ АЛГЕБРАИЧЕСКИХ УРАВНЕНИЙ
Ю.В. Трубников
д.ф.-м.н., профессор, e-mail: [email protected] М.М. Чернявский
аспирант, e-mail: [email protected]
Витебский государственный университет им. П.М. Машерова, Витебск,
Республика Беларусь
Аннотация. В статье предложен новый простой метод локализации и определения числа действительных решений у произвольного трёхчленного алгебраического уравнения с действительными коэффициентами. Подробно с иллюстрациями рассмотрены все типы исследуемых уравнений. Для каждого типа получены условия существования кратных корней и приведены точные аналитические формулы для их вычисления. Также показано, что если трёхчленное уравнение с действительными коэффициентами имеет кратный корень, то значения всех иных корней могут быть без затруднений выражены через значение кратного с необходимой точностью.
Ключевые слова: алгебраические уравнения, трёхчленные уравнения, локализация корней, приближённое решение, действительный корень, кратный корень.
1. Постановка задачи и некоторые известные сведения
Трёхчленные алгебраические уравнения вида
хп + рхт + q = 0 (п> т> 0, р = 0, q = 0)
с произвольными действительными коэффициентами р и д возникают во многих приложениях, например, в некоторых задачах аэродинамики [1]. В подобных задачах актуальным является вопрос определения числа действительных корней трёхчленного уравнения и их локализация по коэффициентам р и д.
Рассмотрим кратко известные результаты в области исследований трёхчленных алгебраических уравнений. Значительная часть работ посвящена исследованию таких уравнений при помощи математического аппарата теории групп, в частности теории групп Галуа [2-6]. Отражённые там результаты представляют определённый теоретический интерес с точки зрения фундаментальной науки, однако мало полезны для исследователей, сталкивающихся в своей работе с непосредственным решением трёхчленных алгебраических уравнений.
На практике при выполнении технических расчётов широко распространено решение различных классов уравнений при помощи степенных рядов. Не являются исключением и трёхчленные алгебраические уравнения произвольных степеней [1,7,8]. Несмотря на удобство рядов в использовании (особенно при наличии мощной вычислительной техники) их применение зачастую не позволяет заметить новые теоретические факты и закономерности, что затрудняет проведение дальнейших исследований. Стоит также напомнить, что алгебраические уравнения пятой степени общего вида можно решать с помощью тэта-функций [9].
Существует также множество работ, в которых получены оценки расположения для комплексных корней у некоторых типов алгебраических трёхчленных уравнений, а также приводится описание областей их локализации [10-19]. Большинство данных работ посвящено изучению конкретных типов трёхчленных алгебраических уравнений с комплексными коэффициентами, однако полученные в них результаты не всегда полезны на практике.
Среди крупных исследований последних двух десятилетий, посвящённых анализу трёхчленных алгебраических уравнений с действительными коэффициентами, стоит выделить результаты, изложенные в монографии Г.П. Кутищева [20]. В той работе локализация и число действительных решений исследуемых уравнений определяется из анализа поведения некоторых функций, зависящих только от чисел т и п. Полученные там конструкции имеют громоздкий вид, что усложняет их использование. Авторами настоящей статьи в работе [21] был предложен более простой метод построения подобных функций, определяющих число действительных решений исходного трёхчленного уравнения. Текущая статья является естественным продолжением работы [21].
Цель данной статьи — получить необходимые и достаточные условия в терминах коэффициентов, дающие количество действительных корней трёхчленного уравнения произвольной степени, а также выяснить их расположение.
2. Основные результаты на примерах уравнений пятой степени
2.1. Рассмотрим алгебраическое уравнение
х5 + рх + д = 0 (р = 0,д = 0) (1)
с действительными коэффициентами р и д. Напомним, что уравнение (1) называют уравнением пятой степени в форме Бринга (иногда его называют нормальной формой Бринга-Жерара) [22, с. 189]. Подстановка х = кд/р (к = 0) приводит уравнение (1) к виду
к5 4 + кд + д = 0, (2)
р5
что позволяет выразить функцию к = к (р,д) в виде неявной зависимости через
коэффициенты уравнения (1):
„5
Р (3)
4 '
к + 1 д
Таким образом, количество действительных корней уравнения (1) и их локализация зависят от поведения функции
1,5
/ <*) = ш. (4)
На рисунке 1 изображён график функции (4).
40- /УЪ)
ЯЛ -
36 -
■ "
70 -
16 -
1П
б-
3 1 1 1 1 .4 1 Пв -2 ■ 0 2 0 1.2 8 2 2 2 ■ 8 :
1 -б - к
1П
-10 -
14 -
70 -
7А -
-30-
Рис. 1. График функции f (к) =
Так как производная этой функции имеет вид
_ к4 <4к + 5) 1 <к)_ <к + 1)2 '
т 5 3125
то её локальный минимум достигается при к* _ — 4 и равен ^Г5 , а прямая к _ —1 является вертикальной асимптотой. Такое поведение функции (4) позволяет установить следующий факт, сформулированный в теореме 1.
Теорема 1. Пусть р _ 0, д _ 0. Необходимым и достаточным условием существования трёх различных действительных корней уравнения (1) является неравенство — ^ > ЗЦ5; необходимым и достаточным условием существования действительного корня кратности 2 и другого простого действительного корня является равенство — ^ _ 355; необходимым и достаточным условием существования одного простого действительного
г>5 3125
корня является неравенство — ^ < З^бт •
Число 3125/256 = 55/44 и 12,20703.
Отметим, что используемая в данном разделе подстановка х = кд/р (к = 0) была ранее использована в работе Н.С. Астапова и И.С. Астапова [23] для исследования алгебраического уравнения третьей степени.
Для получения приближенных формул для вычисления действительных корней уравнения (1) мы можем разложить функцию к (¿), где 1 = в ряд Тейлора, взяв в качестве начальной точки точку в окрестности значения -р5/о4. Например, при £ = 1/2 получаем Л: (1/2) = 1. Приведём выражение отрезка ряда при таких начальных значениях
,,, 7 4 248 ( 1 \2 23696 ( 1 \3
Ы() и 9 + 9<+72»((-г) +Ш6К-V ■
Рассмотрим пример использования его для приближенного вычисления корня уравнения
х5 - 2,1х + 3 = 0.
Для данного уравнения £ = —р5/о4 = 0,5042100000. Подставляя это значение в выражение для отрезка ряда, получаем к = 1,001877171 и, учитывая подстановку х = кд/р, находим значение корня
х = —1,4312531019.
Подстановка этого значения в уравнение х5 — 2,1х+3 = 0 приводит к невязке —0,000325295. Другой удобной начальной точкой является точка Ь = 32/3. При этом (32/3) = 2, и аналогичные вычисления приводят к равенству
20 9 27 / 32\2 257013 / 32\3
и 13 + 208^ — 17576 V1 — + 304163225^ V1 ~ ) '
Например, для уравнения х5 — 2х + 1,3 = 0 значение Ь = — р5/q4 = = 11,20408949; к (г) = 2,022823 и, следовательно, х = —1,314834950. Значение невязки при таком значении х составляет —1,158 х 10-6.
Заметим, что в случае кратного корня выполняется равенство р= —5(4)4/5 и уравнение (1) принимает вид
/ 0\ 4/5
х5 — 5 (4) х + 1 = 0.
Число ¿ = (4)1/5 является его двукратным корнем. Учитывая равенство
ж5 - б(|уГ°х + q = x5 - 5t4х + 415 = (х - t)2 (х3 + 2tх2 + 3t2х + 4t3)
при помощи системы компьютерной математики Maple 2019 получаем выражения для остальных корней уравнения (1):
_ (35 + 15^6)2 + 2(35 + 15^6)1 - 5
х3 1
3(35 + W6)
3
_ (л/3 г — 1) (35 + 15л/6)3 + 5л/3г + 4(35 + 15л/6)3 +5
х4 --1
6(35 + 15^6)3 (^3г + 1) (35 + 15^6)2 +5^3 г — 4(35 + 15^6)3 — 5
х5
.
6(35 + 15л/б)' 2.2. Теперь рассмотрим уравнение
х5 + х2 + = 0.
(5)
Для этого уравнения можно выделить два подслучая: 1) р,д — одного знака; 2) Р,Ц — разных знаков.
Если р и д одного знака, то применяется подстановка х = к(д/р)1/2 (к = 0), которая приводит к равенству
к5
Так как
к2 + 1
(—У
и2 + 1^
(!)
5/2
к4 (3 к2 + 5) ( к2 + 1)2
то функция /( к) = является строго монотонной и, следовательно, при любом значении параметра уравнение (5) имеет единственный действительный корень.
/ «' ¡П
14-
1312-
109-
8-
6-
5-
\ з-
V, 21 -
1.5 -2.2 -2 -1.8 -1.5 -1.2 - -0.8 -9.4 -1-2- 0.1 0 3 0.5 0 7^.9 1111 1.1 1.3 1 1 1 1 1.7 1 922.1 2 1 ! 1 1 2.5 2.7
-5-
-6-7-
-8-9 -
-10-11 -
-13-
-14-15-
а)
б)
Рис. 2. Графики функций / (к) = и f (к) =
Для ознакомления приведём график рассматриваемой функции (см. рис. 2 а)).
Если р и д имеют разные знаки, то подстановка х _ к<—д/р)1/2 <к _ 0) приводит к равенству
к5 ( р N 5/2
•(—9
к2 — 1 д/
Так как
к5 V к4 <3к2 — 5)
С—)'
\к2 — 1)
— 1) <к — 1)2<к + 1)2; то точками, в которых достигаются локальные экстремумы функции рзу, являются точки ку _ у//|, к2 _ — у'Г. При этом
25^15 к5 25^15
5/2 25/15 / р\Ъ/2 _ 25/15
— 1 18 Ц — 1 18
На рисунке 2 б) изображён график функции f <к) _ к2-у. Таким образом, доказана теорема 2.
Теорема 2. Если коэффициенты р и д <р _ 0, д _ 0) имеют одинаковый
знак, то уравнение (5) имеет единственный действительный корень.
( \ 5/2
Если р и д разных знаков, то при выполнении неравенства д{ — >
^ уравнение (5) имеет три действительных решения. Аналогично, если
выполнено неравенство —^ < — 25/8II, то уравнение (5) имеет три действительных решения.
При выполнении одного из равенств 9(—|)5/2 _ ^ ,(—|) _ у8
уравнение (5) имеет кратный действительный корень кратности два и один простой действительный корень.
Наконец, если выполнено неравенство — ^ < 4(—?)5/2 < ^ то
уравнение (5) имеет ровно один действительный корень.
Например, для уравнения х5 + 5х2 — 3 ■ 22/3 _ 0 выполняется условие
^—^ _ —25/15. Непосредственно убеждаемся, что его действительными корнями являются числа
1 (52/3 — 22/3 . 5у/3 + 2 ■ 2у/3) , —2у/3, —2у/3. 3
1 /3
Далее заметим, что если р > 0, д < 0, то значение £ _ (— являет-
ся кратным корнем, и если выразить коэффициенты уравнения (5) через этот кратный корень, то получаем два тождества
ж5 + рх2 + д _ ж5 — 5{3Х2 + 3¿5 _ <х — ¿)2 ^ж3 + 2Ъх2 + 3£2ж + 3^ .
2 2 2
Тогда оставшиеся корни уравнения (5) выражаются через кратный корень следующим образом:
102 - 2 ■ 10 3 +4
xs =---t;
6
= i- 102 V3 + 2i ■ 101 - 102 +2 ■ 101 +8
Х4 = 12 t;
i ■ 102V3+2i ■ 101V3+ 102 - 2 ■ 101 - 8 X =-12-L
3. Нечётно-нечётные уравнения
Перейдём к общему случаю трёхчленного (триномиального) алгебраического уравнения с действительными коэффициентами.
Имеет место следующая классификация [20, с. 189]. В зависимости от чётности степеней неизвестного трёхчленные алгебраические уравнения подразделяются на 4 типа: нечётно-нечётные, нечётно-чётные, чётно-нечётные и чётно-чётные уравнения соответственно.
Пусть в уравнении
xn + pxm + q = 0 (n>m> 0, p = 0, q = 0) (6)
m, n — нечётные числа. Такие уравнения называются нечётно-нечётными уравнениями.
Тогда после подстановки x = k(qfp)1/m (k = 0) получаем равенство
kn sp\n/m
й)
km + 1 \q/
Функция /( k) = ¿J+Y, которую иногда называют определяющей, возрастает
при к > — 1 и имеет локальный минимум при к* = (^з^)11т. При этом
(п — т)пп/т
•/*.*/.• уп/т
( п — т) т
Таким образом, можно сделать вывод, что схематично все графики функций при произвольных нечётных т и п будут выглядеть похожими друг на друга. Например, на рисунке 3 изображён график функции /( к) = .
Таким образом, доказана теорема 3.
Теорема 3. Пусть р = 0, q = 0. Необходимым и достаточным условием существования трёх действительных различных корней уравнения (6) является неравенство
(р\п/т ( n - m) nn/m
Qj (n - m)n/mm
Рис. 3. График функции f (к) =
При этом если р и д отрицательны, то один из этих корней положителен, а два — отрицательны.
При выполнении равенства
р\ п/т (п — т) пп/т
й)
Ч ) (п — т)п/тт
существует один кратный корень х* кратности два, равный
х* = (—, и один простой корень.
Необходимым и достаточным условием существования единственного действительного корня является неравенство
( р\ п/т (п — т) пп/т 4 " <
Ч ) (п — т)п/тт
при этом локализация этого корня определяется выражением х = к(д/р)1/т (к> — 1, к = 0).
Например, уравнение х13 — 3х7 — 1 = 0 имеет действительные корни 1,2172; —0,87473; —1,1789.
Рассмотрим, например, случай п = 7, т =1. Кратный корень в этом случае
1 /6
равен Ь = (—у) . Тогда, выражая коэффициенты уравнения х1 + рх + д = 0 через кратный корень, получаем тождество
х7 + рх + д = х7 — 7?х + 6£7 = (х — г)2 (х5 + 2гх4 + 3И2х3 + 4Ъ3х2 + Ы4х + 6£5) . Для того чтобы решить уравнение
ж5 + 2^4 + 3И2х3 + 4Г3х2 + Ы4х + 6£5 = 0,
сделаем подстановку х = Ьу, тогда, приближённо решая уравнение
у5 + 2у4 + 3у3 + 4у2 + 5у + 6 = 0,
получаем его корни ух = 0,5516854635 + 1,253348860«; у2 = 0,5516854635 —
— 1,253348860ц уз = —0,8057864694 + 1,222904713«; у4 = —0,8057864694 —
— 1,222904713ц у5 = —1,491797988.
Корни уравнения х7 + рх + д = 0 в этом случае будут иметь вид
( р\1/6 ( р\1/6 ( р\1/6 х1 = х2 = 7) , хз = У1{— 7) , ..., х7 = ^—7) .
4. Нечётно-чётные уравнения
В данном разделе статьи рассмотрим нечётно-чётные уравнения (6) (п — нечётное, т — чётное). Чтобы у читателя не возникли сомнения по поводу истинности полученных результатов, рассмотрим подробнее все четыре возможные ситуации в зависимости от знаков и .
4.1. Пусть р > 0, д > 0. Тогда подстановка х = к(д/р)1/т (к = 0) приводит уравнение (6) к равенству
Гд\п/т д (д\п/т
кп(-) + ркт- + д = 0 & кп(-) + д(кт + 1) = 0.
Следовательно, окончательно имеем
, п/т
Г
(!)
кт + 1 \д
К точно такому же выражению приходим, полагая р < 0, д < 0.
Из последнего равенства вытекает теорема 4.
Теорема 4. Нечётно-чётные уравнения в случае, когда р и д одного знака, имеют единственный действительный корень. Этот корень отрицателен при положительных значениях коэффициентов р, д и положителен при отрицательных , .
В качестве примера, иллюстрирующего рассматриваемую ситуацию, приведём график функции /( к) = (см. рис. 4)).
4.2. Пусть р > 0, д < 0. После подстановки
х = к(—д/р)1/т = к(—д)1/т/р1/т (А; = 0) в уравнение (6) получаем
(_.ЛГ1/т (_п)т/т (_п\а/т
кп-+ркт-+ д = 0 & кп--д(кт — 1) = 0,
рп/т 1 рт/т * рп/т -1 4 ' '
fCk ! SU"
70-
ьи-
50-
..
4U-
3u-
m"
lu-
7 5 3 J^1 5 3 1 5
8 -б 4 lo" 0 1 Э 1 ¿.D ;н н j D D.J / /
k
-20-
ДП-
sn-
/и-
-ЙП-
Рис. 4. График функции f (к) =
^п ^п/т
^ 1- = Я—--Г" < 0,
кт — 1 (—о)п/т
то есть при р > 0, д < 0 нас будут интересовать значения определяющей функции / (к) = 1, лежащие в нижней полуплоскости. Если р < 0, д > 0, то подстановка
ж = к(—д/р)1/т = к д1/т/(—р)1/т (к = 0)
в уравнение (6) приводит к следующему:
пп/т пт/т пп/т
кп-- + ркт-- + д = 0 ^ кп-— — д (кт — 1) = 0,
( ^))п/т 1 ( г^)т/т А ( ^)п/т -1 4 ' '
Ьп (- г))п/т
= 9 ^^ > 0,
^.т _ 1 ^ цП/т '
то есть при р < 0, д > 0 нас будут интересовать значения определяющей функции / (к) = 1, лежащие в верхней полуплоскости. Так как
кп \ ' кп-1 [(п — т) кт — п\
( кп \ ' -1 )
2
кт — 1) (кт — 1) то в нечётно-чётном случае точкой локального минимума является значение
, / п \ 1/т , / „ \ 1/т
к* = (^т^) , а точкой локального максимума — значение к** = — .
При этом в точке локального минимума выполняется равенство
к™ п — т ( п ^ п/т
к™ — 1 m \п — m
(—) \п — m)
а в точке локального максимума равенство
k^ п — m ( п
к™ — 1 m \п — m
l **
(—)
п — m
n/m
Проиллюстрируем рассматриваемую ситуацию на примере функции /( к) = fcizr (см. рис. 5)).
Таким образом, установлена следующая теорема.
Теорема 5. Пусть р = 0, q = 0. Если р и q имеют разные знаки, то при выполнении одного из неравенств
п/т / \ п/т / \ п/т / \ п/т
п m п п m п
( р\п/т п — mf п \п/т ( р\
q[ — ) >- - , 1 — < — I
m п — m m п — m
уравнение (6) имеет три различных действительных решения. Если имеет место одно из равенств
п/т / \ п/т / \ п/т / \ п/т
п m п п m п
q(—P)nm = п — m( п ^"" д(—Р) =__, _
— m п— m — — m п— m
то уравнение (6) имеет двукратный действительный корень х (—)1/(га ^ и простой действительный корень. При выполнении двойного неравенства
/ \ п/т / \ п/т / \ п/т
п — m п п — m п
m \п — m) \ q) m \п — m)
уравнение (6) имеет единственный действительный корень.
Пусть выполнено равенство
\ п/т / \ п/т
^ п — m f п х
/ \ п/т / \ 1
( Р\ п — ml п \
\ 9/ m \п — m)
В этом случае для нечётно-чётных уравнений первоначальное уравнение приводится к виду
хп - п 1П-ШХШ + т г = 0,
т т
/ пт \1/(п—т)
где £ — кратный корень: £ = ( — .
Далее осуществим разложение на множители. Например, пусть п = 7, т = 2, тогда
х7 - 7¿5х2 + 5= 1(х - г)2 (2х5 + 4*х4 + 6Ь2х3 + 8Ь3х2 + 10*4х + 5*5) . Сделав подстановку х = ¿у, получаем приближённо корни уравнения
2у5 + 4у4 + 6у3 + 8у2 + 10у + 5 = 0 :
У! = 0,3807121627+ 1,308055916г; у2 = 0,3807121627 - 1,308055916«; уз = -0,9773621705 + 0,8453110167«; у4 = -0,9773621705 - 0,8453110167«;
У5 = -0,8066999845. Следовательно, корни уравнения х7 + рх2 + д = 0 определяются однозначно:
/ 2р \1/5 ( 2р \1/5 ( 2р \1/5 х1 = х2 = (") , х3 = -у ) , . . . , х7 = Ы - у) .
5. Чётно-нечётные уравнения (п — чётное, т — нечётное)
В этом случае подстановка х = к(д/р)1/т (к = 0) приводит к равенству
кп [р Я
(!)
п/т
кт + 1 \д
Так как
кп V кп~1 [(п - т) кт + п]
/ кп у
+ 1)
кт + 1^ (кт + 1)2 то локальный минимум этой определяющей функции достигается при к = 0, а локальный максимум при к* = (^Ь^)1/т < 0. В точке к* имеет место равенство
к™ т — п ( п \п/т
< 0.
(—У
т - п
к™ + 1 т \т - п, Эти факты означают, что справедлива теорема 6.
Теорема 6. Пусть р = 0, д = 0. При выполнении одного из неравенств
/ \ п/т / \ п/т / \ п/т
I I Р\ т — п ( п \
-д(-) > 0, -я (-) <- -
т т- п
уравнение (6) имеет два действительных решения. Если выполнено равенство
/ \ п/т / \ п/т
(Р\ Ш — П ! П \
ш \т — п) ,
то уравнение (6) имеет кратный корень х = (—^)1/п т\
Для определённой наглядности на рисунке 6 изображён график функции / = Ж+1.
,4
Рис. 6. График функции / (к) =
Рассмотрим подробнее случай, когда для чётно-нечётного уравнения выполнено равенство
/ \ п/т / \ п/т
(Р\ ш — П I П \
ш \т — п) ,
/ ют \1/(п—т)
то есть когда исходное уравнение имеет кратный корень £ = (—. В этом случае для чётно-нечётных уравнений первоначальное трёхчленное уравнение приводится к виду
хп--Г~тхт +-Г = 0.
т т
Например, пусть п = 6, т =1, тогда получим
х- — бг5х + = (х — г)2 (х4 + 2гх3 + зг2х2 + 4г3х + 5*4),
где х1 = х2 = £ = (—|)1/5 — значение кратного действительного корня.
Сделав подстановку х = Ьу, преобразуем выражение х4 + 2Ьх3 + 3£2ж2 + + 4Ь3х + 5Ь4 из правой части последнего равенства к виду у4 + 2у3 + 3у2 + 4у + 5. Несложно убедиться в том, что уравнение
у4 + 2у3 + 3у2 + 4у + 5 = 0
не имеет действительных корней. Заметим, что системы компьютерной математики Maple 2019 и Wolfram Mathematica 12 не генерируют значения корней данного уравнения в аналитическом виде через радикалы. Прямое использование некоторых известных методов решения алгебраических уравнений четвёртой степени позволяет получить аналитические выражения для корней в виде очень громоздких конструкций, которые не имеют особой практической ценности. Ниже представлены приближенные значения корней вышеупомянутого уравнения.
уг = 0,2878154796 + 1,416093080«; = 0,2878154796 - 1,416093080«
уз = -1,287815480 + 0,8578967583«; у4 = -1,287815480 - 0,8578967583«. Следовательно, корни уравнения х6 + рх + q = 0 определяются однозначно:
/ р \1/5 / р \1/5 / р \1/5 х1 = х2 = [-6) ,Х3 = Ц- 6) ,...,Х6 = Ц- 6) ■
6. Чётно-чётные уравнения (п, т — чётные)
Очевидно, что при положительных р,д чётно-чётное уравнение (6) действительных корней не имеет. При отрицательных р,д неравенство
кп /п\п/т
к -Ч1) > 0
кт + 1 \д
влечёт существование двух действительных решений.
Более сложная ситуация возникает, когда р и д имеют разные знаки. В этом случае подстановка х = к(-д/р)1/т (к = 0) приводит к равенству
кп _qf Р\
п/т
кт - 1 V 1J
и локальный минимум определяющей функции 1 достигается в точках
/ \ 1/т / \ 1/т
k*i = ( П ) > 1, к*2 = -[ П ) < -1. \п — т J \п — т J
Его значение
/ \ п/т
/(к*) = .
т п - т
Например, при п = 4, т =2, к* = л/2, f (к*) = 4. Приведём график функции /( к) = ^гтг (см. рис. 7)). Таким образом, справедлива теорема 7.
Теорема 7. Пусть р = 0, д = 0. Если р и д имеют разные знаки, то при выполнении неравенства
п/т / \ п/т
п — т п \
/ п/т п — п V
\ т — т)
уравнение (6) имеет четыре действительных решения, два из которых отрицательны, а два — положительны.
Если имеет место равенство (заметим, что р в этом случае должно быть отрицательным)
/ \ п/т / \ п/т
( Р\ п — Ш / П \
\ т — т) ,
то уравнение (6) имеет два кратных корня, кратность каждого из которых равна двум:
/ рт\ 1/(п-т) / рт\ 1/(п-т)
Х1 = г-^; , Ж2 = —.
При условии
\ п/т / \ п/т
р\ п — т / п х
( "Р\П/т п — т[ п \
0 <д( — - <- -
т \п — т/
<
уравнение (6) действительных корней не имеет. Наконец, если
п/т
-- < 0, <1/
то уравнение (6) имеет два действительных корня.
Рассмотрим подробнее случай, когда для чётно-чётного уравнения выполнено равенство
/ \ п/т / \ п/т
( р\ п — т ( п \
? — - =- - (Р< 0),
\ Я/ ш \п — т/
то есть когда исходное уравнение имеет два кратных действительных корня, кратность каждого из которых равна двум:
^ рт у/(п-т) ^ ^ рт ^1/{п-т)
U . , , . ,
п / \ п /
Обозначим £ = ¿1, тогда Ь2 = —. Выражая р и д из соотношений для ^ и Ь2 и подставляя в условие наличия двукратного корня, получим, что исходное чётно-чётное трёхчленное уравнение примет вид:
п П - т
хп--Г~тхт +-Ш = 0.
т т
Например, при п = 6, т = 4 получим
х6 - 3#х4 + ^6 = 1(х - ¿)2(х + I)2 (2х2 + Ф) .
Тогда корни уравнения х6 + рх4 + д = 0 (р < 0) в случае наличия кратности определяются однозначно:
х1 = х2 = / (-У)' хз = х4 = I)'
.V2
If 2Р\ .V2 If 2р\
х5 = Г ,Х6 = -гч Г
7. Аналитическая связь между модулем и аргументом комплексных корней трёхчленных алгебраических уравнений
Целью данного раздела является установление аналитической зависимости между модулем и аргументом комплексных корней трёхчленных алгебраических уравнений произвольной степени с действительными коэффициентами.
Сначала рассмотрим трёхчленное алгебраическое уравнение третьей степени с действительными коэффициентами р и q:
х3 + рх + д = 0 (р = 0, д = 0). (7)
Нас интересуют комплексные решения уравнения (7), записанные в тригонометрической форме, то есть числа вида
х = г (cos ф + i sin ф). (8)
Подставив выражение (8) в исходное уравнение (7), получим
г3 (cos 3 ф + i sin 3 ф) + pr (cos ф + i sin ф) + q = 0. (9)
Преобразуем уравнение (9) к виду
(г3 cos + pr cos р + q) + i (г-3 sin 3^ + pr sin ф) = 0. (10)
Последнее равенство эквивалентно системе уравнений:
г3 cos 3^ + pr cos р + q = 0; (11)
г3 sin3^ + pr sin p = 0. (12)
Из уравнения (12) выражаем р = —г2 sin 3р/ sin р и подставляем в уравнение (11):
3 г3 cos р sin3^
г cos 3^---+ q = 0,
sin р
что равносильно уравнению
3( sin р cos3^ — cos р sin3^\ 3
г - = — q г sin (—2р) = — q sin р,
\ sin р J
откуда окончательно получаем
Г3 = ^. (13)
2 cos р
Таким образом, мы получили очень простую связь между модулем и аргументом для комплексных решений уравнения (7) в случае наличия у него комплексно-сопряжённой пары корней. Сам по себе факт существования такой явной аналитической связи представляет определённый интерес.
Далее, действуя по аналогии, мы можем получить выражение, подобное формуле (13), для трёхчленного алгебраического уравнения произвольной степени с действительными коэффициентами вида (14)
хп + pxm + q = 0 (п > т, р = 0, q = 0) . (14)
Подставляя число х = г (cos р + i sin ф) в уравнение (14), получим
rn (cos пр + i sin пр) + prm (cos mp + i sin mp) + q = 0.
Выделяя действительную и мнимую составляющие левой части данного уравнения и приравнивая их к нулю, получим эквивалентную систему уравнений:
rn cos пр + prm cos mp + q = 0; (15)
rn sin пр + prm sin mp = 0. (16)
Из уравнения (16) выражаем p = —rn~m sin пр/ sin mp и подставляем в уравнение (15):
п rn~m sin пр m
r cos np--r cos mp + q = 0,
sin mp
что преобразуется к виду
п ¡ sin тр cos пр — cos тр sin пр
п Í sin тю cos пю — cos тю sin пю\ п . , ч
г - = — q ^ г sin (тр — пр) = — q sin тр,
\ sin тр J
откуда окончательно получаем
п q sin тр
г
sin ((п — т) ф)
Убедимся в справедливости последней формулы на примере. Пусть
х7 — 5х2 + 13 = 0. Приближенные значения его корней имеют вид:
X! « —1,260494631; ж2>3 « 1,274138351 ± 0,4488548137г;
х4,5 « 0,4076784747 ± 1,526928854«; х6,7 « —1,051569510 ± 1,075578775г.
Несложно убедиться в том, что для каждого из комплексных корней выполняется равенство г7 = 13 sin 2^/ sin 5^.
8. Заключение
Авторами данной статьи разработан простой и единообразный метод, позволяющий устанавливать число действительных решений трёхчленных алгебраических уравнений произвольной степени с действительными коэффициентами. Метод основан на том факте, что при помощи определённых подстановок трёхчленное уравнение приводится к уравнению с одним параметром, предста-вимым в виде явной функции от коэффициентов первоначального уравнения, и свойства решений исходного уравнения зависят только от значений этого параметра.
Во многих частных случаях зависимость решений от одного параметра позволяет находить удобные аналитические выражения для корней трёхчленного уравнения, а при дальнейшем развитии метода получать степенные ряды от этого параметра, что приводит к удобным аналитическим формулам приближённого нахождения решений.
Авторы надеются, что метод будет полезен математикам, которые в своей практической работе сталкиваются с необходимостью решать и исследовать трёхчленные уравнения.
ЛИТЕРАТУРА
1. Кравченко В.Ф. Аналитический метод решения трёхчленных алгебраических уравнений с помощью элементарных функций Кт // Учёные записки ЦАГИ. 1988. Т. 19, № 4. С. 135-144.
2. Cohen S.D., Movahhedi A., Salinier A. Galois Groups of Trinomials // Journal of Algebra. 1999. V. 222. P. 561-573.
3. Mukhopadhyay A., Murty M.R., Srinivas K. Counting squarefree discriminants of trinomials under abc // Proceedings of the American Mathematical Society. 2009. V. 137, No. 10. P. 3219-3226.
4. Bremner A., Spearman B.K. Cyclic sextic trinomials x6 + Ax + В // International Journal of Number Theory. 2010. V. 6, No. 1. P. 161-167.
5. Сергеев А.Э., Потёмкина Л.Н. Параметрические триномы со знакопеременной группой Галуа // Научный журнал КубГАУ. 2012. № 76(02). С. 216-225.
6. Patsolic J., Rouse J. Trinomials defining quintic number fields // International Journal of Number Theory. 2017. V. 13, No. 7. P. 1881-1894.
7. Eagle A. Series for all the Roots of a Trinomial Equation // The American Mathematical Monthly. 1939. V. 46, No. 7. P. 422-425.
8. Cella O., Lettl G. Power series and zeroes of trinomial equations // Aequationes Mathematicae. 1992. V. 43, No. 1. P. 94-102.
9. Прасолов В.В., Соловьёв Ю.П. Эллиптические функции и алгебраические уравнения. М. : Изд-во «Факториал», 1997. 288 с.
10. Kennedy E.C. Bounds for the Roots of a Trinomial Equation // The American Mathematical Monthly. 1940. V. 47, No. 7. P. 468-470.
11. Kim S.-H. Certain Trinomial Equation and Lacunary Polynomials // Communications of the Korean Mathematical Society. 2009. V. 24, No. 2. P. 239-245.
12. Szabo P.G. On the roots of the trinomial equation // Central European Journal of Operations Research. 2010. V. 18, No. 1. P. 97-104.
13. Theobald T., de Wolf T. Power series and zeroes of trinomial equations // Mathematische Annalen. 2016. V. 366, No. 1-2. P. 219-247.
14. Brilleslyper M.A., Schaubroeck L.E. Counting Interior Roots of Trinomials // Mathematics Magazine. 2018. V. 91, No. 2. P. 142-150.
15. Howell R., Kyle D. Locating trinomial zeros // Involve, a Journal of Mathematics. 2018. V. 11, No. 4. P. 711-720.
16. Koiran P. Root separation for trinomials // Journal of Symbolic Computation. 2019. V. 95, No. 1. P. 151-161.
17. Botta V., da Silva J.V. On the behavior of roots of trinomial equations // Acta Mathematica Hungarica. 2019. V. 157, No. 1. P. 54-62.
18. Bilu Y., Luca F. Trinomials with given roots // Indagationes Mathematica. 2020. V. 31, No. 1. P. 33-42.
19. Botta V. Roots of Some Trinomial Equations // Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. 2017. V. 5, No. 1. P. 1-5.
20. Кутищев Г.П. Решение алгебраических уравнений произвольной степени. М. : Издательство ЛКИ, 2019. 232 с.
21. Трубников Ю.В., Чернявский М.М. О распределении корней трёхчленных алгебраических уравнений произвольной степени // Вестник Витебского государственного университета. 2020. № 1(106). С. 21-33.
22. Прасолов В.В. Многочлены. М. : МЦНМО, 2014. 336 с.
23. Астапов Н.С., Астапов И.С. Сравнительный анализ решений алгебраических уравнений третьей и четвёртой степеней // Сибирский журнал чистой и прикладной математики. 2016. Т. 16, № 1. С. 14-28.
LOCALIZATION AND FINDING SOLUTIONS OF TRINOMIAL ALGEBRAIC
EQUATIONS
Yu.V. Trubnikov
Dr.Sc. (Phys.-Math.), Professor, e-mail: [email protected] M.M. Chernyavsky
Postgraduate Student, e-mail: [email protected]
Masherov Vitebsk State University, Vitebsk, Belarus'
Abstract. The article proposes a new simple method for localizing and determining the number of real solutions for an arbitrary trinomial algebraic equation with real coefficients. In detail, with illustrations, an analysis is made of all types of equations under study. For each type, conditions for the existence of multiple roots are obtained and exact analytical formulas for calculating them are given. For trinomial equations with a multiple root, it is shown that all other roots can be expressed through a multiple with the required accuracy.
Keywords: algebraic equations, trinomial equations, root localization, approximate solution, real root, multiple root.
References
1. Kravchenko V.F. Analiticheskii metod resheniya trekhchlennykh algebraicheskikh urav-nenii s pomoshch'yu elementarnykh funktsii Kmi. Uchenye zapiski TsAGI, 1988, vol. 19, no. 4, pp. 135-144. (in Russian)
2. Cohen S.D., Movahhedi A., and Salinier A. Galois Groups of Trinomials. Journal of Algebra, 1999, vol. 222, pp. 561-573.
3. Mukhopadhyay A., Murty M.R., and Srinivas K. Counting squarefree discriminants of trinomials under abc. Proceedings of the American Mathematical Society, 2009, vol. 137, no. 10, pp. 3219-3226.
4. Bremner A. and Spearman B.K. Cyclic sextic trinomials x6 + Ax + B. International Journal of Number Theory, 2010, vol. 6, no. 1. pp. 161-167.
5. Sergeev A.E. and Potemkina L.N. Parametricheskie trinomy so znakoperemennoi grup-poi Galua. Nauchnyi zhurnal KubGAU, 2012, no. 76(02), pp. 216-225. (in Russian)
6. Patsolic J. and Rouse J. Trinomials defining quintic number fields. International Journal of Number Theory, 2017, vol. 13, no. 7. pp. 1881-1894.
7. Eagle A. Series for all the Roots of a Trinomial Equation. The American Mathematical Monthly, 1939, vol. 46, no. 7. pp. 422-425.
8. Cella O. and Lettl G. Power series and zeroes of trinomial equations. Aequationes Mathematicae, 1992, vol. 43, no. 1, pp. 94-102.
9. Prasolov V.V. and Solov'ev Yu.P. Ellipticheskie funktsii i algebraicheskie uravneniya. Moscow, Faktorial Publ., 1997, 288 p. (in Russian)
10. Kennedy E.C. Bounds for the Roots of a Trinomial Equation, The American Mathematical Monthly, 1940, vol. 47, no. 7, pp. 468-470.
11. Kim S.H. Certain Trinomial Equation and Lacunary Polynomials. Communications of the Korean Mathematical Society, 2009, vol. 24, no. 2, pp. 239-245.
12. Szabo P.G. On the roots of the trinomial equation. Central European Journal of Operations Research, 2010, vol. 18, no. 1, pp. 97-104.
13. Theobald T. and de Wolf T. Power series and zeroes of trinomial equations. Mathematische Annalen, 2016, vol. 366, no. 1-2, pp. 219-247.
14. Brilleslyper M.A. and Schaubroeck L.E. Counting Interior Roots of Trinomials. Mathematics Magazine, 2018, vol. 91, no. 2, pp. 142-150.
15. Howell R. and Kyle D. Locating trinomial zeros. Involve, a Journal of Mathematics, 2018, vol. 11, no. 4, pp. 711-720.
16. Koiran P. Root separation for trinomials. Journal of Symbolic Computation, 2019, vol. 95, no. 1, pp. 151-161.
17. Botta V. and da Silva J.V. On the behavior of roots of trinomial equations. Acta Mathematica Hungarica, 2019, vol. 157, no. 1, pp. 54-62.
18. Bilu Y. and Luca F. Trinomials with given roots. Indagationes Mathematica, 2020, vol. 31, no. 1, pp. 33-42.
19. Botta V. Roots of Some Trinomial Equations. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics, 2017, vol. 5, no. 1, pp. 1-5.
20. Kutishchev G.P. Reshenie algebraicheskikh uravnenii proizvol'noi stepeni. Moscow, LKI Publ., 2019, 232 p. (in Russian)
21. Trubnikov Yu.V. and Chernyavskii M.M. O raspredelenii kornei trekhchlennykh algebraicheskikh uravnenii proizvol'noi stepeni. Vestnik Vitebskogo gosudarstvennogo universiteta, 2020, no. 1(106), pp. 21-33. (in Russian)
22. Prasolov V.V. Mnogochleny. Moscow, MTsNMO Publ., 2014, 336 p. (in Russian)
23. Astapov N.S. and Astapov I.S. Sravnitel'nyi analiz reshenii algebraicheskikh uravnenii tret'ei i chetvertoi stepenei. Sibirskii zhurnal chistoi i prikladnoi matematiki, 2016, vol. 16, no. 1, pp. 14-28. (in Russian)
Дата поступления в редакцию: 06.04.2020
