Кубическое уравнение
В алгебре кубическим уравнением с одной переменной называется уравнение вида
в котором а не равно нулю.
Решения этого уравнения называются корнями кубической функции, определяемой левой частью уравнения. Если все коэффициенты a , b , c и d кубического уравнения являются действительными числами нечетной степени , то оно имеет хотя бы один действительный корень (это верно для всех полиномиальных функций ). Все корни кубического уравнения можно найти следующими способами:
- алгебраически : точнее, они могут быть выражены кубической формулой, включающей четыре коэффициента, четыре основных арифметических действия , квадратные корни и кубические корни . (Это также верно для квадратных уравнений (второй степени) и четвертых уравнений (четвертой степени), но не для уравнений более высокой степени, согласно теореме Абеля – Руффини .)
- тригонометрически
- численные аппроксимации корней можно найти с помощью алгоритмов поиска корней, таких как метод Ньютона .
Коэффициенты не обязательно должны быть действительными числами. Многое из того, что описано ниже, справедливо для коэффициентов в любом поле с характеристикой , отличной от 2 и 3. Решения кубического уравнения не обязательно принадлежат тому же полю, что и коэффициенты. Например, некоторые кубические уравнения с рациональными коэффициентами имеют корни, которые представляют собой иррациональные (и даже недействительные) комплексные числа .
История [ править ]
Кубические уравнения были известны древним вавилонянам, грекам, китайцам, индийцам и египтянам. [1] [2] [3] вавилонские (20-16 вв. до н. э.) клинописные таблички с таблицами для вычисления кубов и кубических корней. Найдены [4] [5] Вавилоняне могли использовать таблицы для решения кубических уравнений, но не существует никаких доказательств, подтверждающих это. [6] Задача удвоения куба включает в себя простейшее и старейшее изученное кубическое уравнение, решение которого древние египтяне не считали. [7] В V веке до нашей эры Гиппократ свел эту проблему к задаче нахождения двух средних пропорциональных между одной линией и другой, в два раза превышающей ее длину, но не смог решить эту проблему с помощью циркуля и линейки . [8] задача, которая, как теперь известно, невыполнима. Методы решения кубических уравнений появляются в «Девяти главах математического искусства» , китайском математическом тексте, составленном примерно во II веке до нашей эры и прокомментированном Лю Хуэем в III веке. [2]
В III веке нашей эры греческий математик Диофант нашел целочисленные или рациональные решения для некоторых двумерных кубических уравнений ( диофантовых уравнений ). [3] [9] Считается, что Гиппократ, Менехм и Архимед приблизились к решению задачи удвоения куба с помощью пересекающихся конических сечений . [8] хотя историки, такие как Ревьель Нетц, спорят о том, думали ли греки о кубических уравнениях или просто о проблемах, которые могут привести к кубическим уравнениям. Некоторые другие, такие как Т. Л. Хит , который перевел все работы Архимеда, не согласны с этим, приводя доказательства того, что Архимед действительно решал кубические уравнения, используя пересечения двух коник , но также обсуждал условия, когда корни равны 0, 1 или 2. [10]
В VII веке времен династии Тан астроном-математик Ван Сяотун в своем математическом трактате под названием «Цзигу Суаньцзин» систематически установил и решил численно 25 кубических уравнений формы x. 3 + пикселей 2 + qx = N , 23 из них с p , q ≠ 0 и два из них с q = 0 . [11]
В XI веке персидский поэт-математик Омар Хайям (1048–1131) добился значительных успехов в теории кубических уравнений. В одной из первых статей он обнаружил, что кубическое уравнение может иметь более одного решения, и заявил, что его нельзя решить с помощью циркуля и линеек. Он также нашел геометрическое решение. [12] [а] В своей более поздней работе « Трактат о демонстрации проблем алгебры » он написал полную классификацию кубических уравнений с общими геометрическими решениями, найденными с помощью пересекающихся конических сечений . [13] [14] Хайям предпринял попытку вывести алгебраическую формулу извлечения кубических корней. Он написал:
«Мы пытались выразить эти корни с помощью алгебры, но потерпели неудачу. Однако, возможно, люди, которые придут после нас, добьются успеха». [15]
В XII веке индийский математик Бхаскара II без особого успеха предпринял попытку решения кубических уравнений. Однако он привел один пример кубического уравнения: x 3 + 12 х = 6 х 2 + 35 . [16] В XII веке другой персидский математик, Шараф ад-Дин ат-Туси (1135–1213), написал « Аль-Муадалат» ( «Трактат об уравнениях »), в котором рассматривались восемь типов кубических уравнений с положительными решениями и пять типов кубических уравнений. которые могут не иметь положительных решений. Он использовал то, что позже будет известно как « метод Руффини - Горнера », для численной аппроксимации корня кубического уравнения. Он также использовал концепции максимумов и минимумов кривых для решения кубических уравнений, которые могут не иметь положительных решений. [17] Он понимал важность дискриминанта кубического уравнения для поиска алгебраических решений определенных типов кубических уравнений. [18]
В своей книге «Флос » Леонардо де Пиза, также известный как Фибоначчи (1170–1250), смог точно аппроксимировать положительное решение кубического уравнения x. 3 + 2x 2 + 10 х = 20 . Записав вавилонскими цифрами, он дал результат: 1,22,7,42,33,4,40 (что эквивалентно 1 + 22/60 + 7/60). 2 + 42/60 3 + 33/60 4 + 4/60 5 + 40/60 6 ), что имеет относительную погрешность около 10 −9 . [19]
В начале 16 века итальянский математик Сципионе дель Ферро (1465–1526) нашел метод решения класса кубических уравнений, а именно уравнений вида x 3 + мх знак равно п . Фактически, все кубические уравнения можно привести к этому виду, если допустить, чтобы m и n были отрицательными, но отрицательные числа ему в то время не были известны. Дель Ферро держал свое достижение в секрете до тех пор, пока незадолго до своей смерти не рассказал о нем своему ученику Антонио Фиору.
В 1535 году Никколо Тарталья две задачи на кубические уравнения (1500–1557) получил от Зуанне да Кой и объявил, что может их решить. Вскоре ему бросил вызов Фиор, что привело к знаменитому состязанию между ними. Каждый участник должен был внести определенную сумму денег и предложить сопернику ряд задач. Тот, кто решит больше задач в течение 30 дней, получит все деньги. Тарталья получил вопросы в форме x 3 + mx = n , для чего он разработал общий метод. Фиор получил вопросы в форме x 3 + мх 2 = n , решить которую ему оказалось слишком сложно, и Тарталья выиграл состязание.
(1501–1576) уговорил Тарталью Позже Джероламо Кардано раскрыть свой секрет решения кубических уравнений. В 1539 году Тарталья сделал это только при условии, что Кардано никогда не раскроет это и что, если он действительно напишет книгу о кубиках, он даст Тарталье время для публикации. Несколько лет спустя Кардано узнал о предыдущей работе дель Ферро и опубликовал метод дель Ферро в своей книге Ars Magna в 1545 году, то есть Кардано дал Тарталье шесть лет на публикацию своих результатов (с благодарностью Тарталье за независимое решение).
В обещании Кардано Тарталье говорилось, что он не будет публиковать работы Тартальи, и Кардано чувствовал, что публикует работы дель Ферро, чтобы обойти обещание. Тем не менее, это привело к вызову Кардано со стороны Тартальи, который Кардано отрицал. В конце концов вызов принял ученик Кардано Лодовико Феррари (1522–1565). Феррари выступил лучше, чем Тарталья в соревновании, и Тарталья потерял и свой престиж, и свой доход. [20]
Кардано заметил, что метод Тартальи иногда требовал от него извлечения квадратного корня из отрицательного числа. Он даже включил расчет с этими комплексными числами в Ars Magna , но толком в нем не разобрался. Рафаэль Бомбелли подробно изучил этот вопрос. [21] и поэтому его часто считают первооткрывателем комплексных чисел.
Франсуа Вьет (1540–1603) независимо получил тригонометрическое решение кубической задачи с тремя вещественными корнями, а Рене Декарт (1596–1650) расширил работу Вьета. [22]
Факторизация [ править ]
Если коэффициенты кубического уравнения являются рациональными числами , можно получить эквивалентное уравнение с целыми коэффициентами, умножив все коэффициенты на общее кратное их знаменателей. Такое уравнение
с целыми коэффициентами называется приводимым, если многочлен в левой части является произведением многочленов более низких степеней. По лемме Гаусса , если уравнение приводимо, можно предположить, что коэффициенты имеют целые коэффициенты.
Найти корни приводимого кубического уравнения проще, чем решать общий случай. Фактически, если уравнение приводимо, один из факторов должен иметь степень один и, следовательно, иметь вид
где q и p являются взаимно простыми целыми числами . Тест на рациональный корень позволяет найти q и p путем рассмотрения конечного числа случаев (поскольку q должен быть делителем a , а p должен быть делителем d ).
Таким образом, один корень а остальные корни — это корни другого множителя, который можно найти полиномиальным делением в длину . Этот другой фактор
(Коэффициенты не кажутся целыми числами, но должны быть целыми числами, если p / q является корнем.)
Тогда остальные корни являются корнями этого квадратного многочлена и могут быть найдены с помощью квадратичной формулы .
Депрессивный кубический [ править ]
Кубики формы
говорят, что в депрессии. Они намного проще, чем обычные кубики, но имеют фундаментальное значение, поскольку изучение любой кубики можно свести к простой замене переменной на переменную пониженной кубики.
Позволять
быть кубическим уравнением. Изменение переменной
дает кубику (в t ), у которой нет члена в t 2 .
После деления на единицу получается депрессивное кубическое уравнение
с
Корни исходного уравнения связаны с корнями депрессивного уравнения соотношениями
Дискриминант и природа корней [ править ]
Природу (действительную или нет, различимую или нет) корней кубики можно определить без их явного вычисления, используя дискриминант .
Дискриминант [ править ]
Дискриминант — это многочлена кратный функция его коэффициентов, которая равна нулю тогда и только тогда, когда многочлен имеет корень или если он делится на квадрат непостоянного многочлена. Другими словами, дискриминант отличен от нуля тогда и только тогда, когда многочлен не содержит квадратов .
Если r 1 , r 2 , r 3 — три корня (не обязательно различных и вещественных ) кубики тогда дискриминант
Дискриминант депрессивной кубической является
Дискриминант общей кубики является
Это продукт и дискриминант соответствующей депрессивной кубики. Используя формулу, связывающую общую кубику и связанную с ней депрессивную кубику, это означает, что дискриминант общей кубики можно записать как
Отсюда следует, что один из этих двух дискриминантов равен нулю тогда и только тогда, когда другой также равен нулю, и, если коэффициенты действительны , два дискриминанта имеют одинаковый знак. Таким образом, одну и ту же информацию можно получить из любого из этих двух дискриминантов.
Чтобы доказать предыдущие формулы, можно использовать формулы Виеты, чтобы выразить все в виде полиномов от r 1 , r 2 , r 3 и a . Тогда доказательство приводит к проверке равенства двух многочленов.
Природа корней [ править ]
Если коэффициенты многочлена действительные числа , а его дискриминант не равно нулю, есть два случая:
- Если кубика имеет три различных действительных корня
- Если кубика имеет один действительный корень и два невещественных комплексно-сопряженных корня.
Это можно доказать следующим образом. Во-первых, если r — корень многочлена с вещественными коэффициентами, то его комплексно-сопряженный элемент также является корнем. Таким образом, невещественные корни, если они есть, встречаются как пары комплексно-сопряженных корней. Поскольку кубический многочлен имеет три корня (не обязательно различных) по фундаментальной теореме алгебры , по крайней мере один корень должен быть вещественным.
Как указано выше, если r 1 , r 2 , r 3 являются тремя корнями кубики , то дискриминант
Если три корня вещественны и различны, дискриминант является продуктом положительных действительности, то есть
только один корень, скажем, , r1 действительный, то r2 Если и r3 комплексно- сопряженными числами, из чего следует, что – , и , r3 – , чисто мнимое число таким образом ( r2 r2 – r3 являются ) 2 является реальным и отрицательным. С другой стороны, r 1 – r 2 и r 1 – r 3 являются комплексно-сопряженными числами, а их произведение вещественно и положительно. [23] Таким образом, дискриминант — это произведение одного отрицательного числа и нескольких положительных. То есть
Множественный корень [ править ]
Если дискриминант кубики равен нулю, кубика имеет кратный корень . Если, кроме того, его коэффициенты вещественны, то все его корни вещественны.
Дискриминант депрессивной кубической равен нулю, если Если p также равен нулю, то p = q = 0 , а 0 — тройной корень кубики. Если и p ≠ 0 , то кубика имеет простой корень
и двойной корень
Другими словами,
Этот результат можно доказать, разложив последнее произведение, или получить, решив довольно простую систему уравнений, возникающую на основе формул Виета .
Используя редукцию депрессивной кубики , эти результаты можно распространить на общую кубику. Это дает: Если дискриминант кубического равно нулю, то
- либо, если кубическая имеет тройной корень
- и
- или, если кубическая имеет двойной корень
- и простой корень,
- и таким образом
Характеристика 2 и 3 [ править ]
Приведенные выше результаты действительны, когда коэффициенты принадлежат к полю характеристики , отличной от 2 или 3, но должны быть изменены для характеристики 2 или 3 из-за задействованного деления на 2 и 3.
Приведение к депрессивной кубике работает для характеристики 2, но не для характеристики 3. Однако в обоих случаях проще установить и сформулировать результаты для общей кубики. Основным инструментом для этого является тот факт, что кратный корень является общим корнем многочлена и его формальной производной . В этих характеристиках, если производная не является константой, она представляет собой линейный полином в характеристике 3 и представляет собой квадрат линейного полинома в характеристике 2. Следовательно, для любой характеристики 2 или 3 производная имеет только один корень. Это позволяет вычислить кратный корень, а третий корень можно вывести из суммы корней, что обеспечивается формулами Виеты .
Отличие от других характеристик состоит в том, что в характеристике 2 в формуле двойного корня используется квадратный корень, а в характеристике 3 в формуле тройного корня используется кубический корень.
Формула Кардано [ править ]
Джероламо Кардано приписывают публикацию первой формулы решения кубических уравнений, приписывая ее Сципионе дель Ферро и Никколо Фонтана Тарталья . Формула применима к депрессивным кубикам, но, как показано в § Депрессивные кубики , она позволяет решать все кубические уравнения.
Результат Кардано состоит в том, что если
— кубическое уравнение такое, что p и q — действительные числа такие, что положительно (это означает, что дискриминант уравнения отрицателен), то уравнение имеет действительный корень
где и это два числа и
См. ниже § Вывод корней , где описаны несколько методов получения этого результата.
Как показано в § Природа корней , два других корня в данном случае являются недействительными комплексно-сопряженными числами. Позже было показано (Кардано не знал комплексных чисел ), что два других корня получаются умножением одного из кубических корней на примитивный кубический корень из единицы. а другой кубический корень - другим примитивным кубическим корнем из единицы То есть остальные корни уравнения и [24]
Если существует три действительных корня, но теория Галуа позволяет доказать, что, если нет рационального корня, корни не могут быть выражены алгебраическим выражением, включающим только действительные числа. Следовательно, уравнение в этом случае невозможно решить, зная время Кардано. Таким образом, этот случай получил название casus reducibilis , что на латыни означает «неприводимый случай» .
В casus reducibilis формулу Кардано все еще можно использовать, но при использовании кубических корней необходима определенная осторожность. Первый метод заключается в определении символов и как представление главных значений корневой функции (то есть корня, имеющего наибольшую действительную часть). При таком соглашении формула Кардано для трех корней остается действительной, но не является чисто алгебраической, поскольку определение главной части не является чисто алгебраическим, поскольку оно включает неравенства для сравнения действительных частей. Кроме того, использование главного кубического корня может дать неправильный результат, если коэффициенты являются недействительными комплексными числами. Более того, если коэффициенты принадлежат другому полю , то главный кубический корень вообще не определен.
Второй способ сделать формулу Кардано всегда правильной — это заметить, что произведение двух кубических корней должно быть – p /3 . Получается, что корень уравнения равен
В этой формуле символы и обозначают любой квадратный корень и любой кубический корень. Остальные корни уравнения получаются либо заменой кубического корня, либо, что то же самое, умножением кубического корня на примитивный кубический корень из единицы, то есть
Эта формула для корней всегда верна, за исключением случаев, когда p = q = 0 , при условии, что если p = 0 , квадратный корень выбирается так, что C ≠ 0 . Однако формула Кардано бесполезна, если так как корни являются кубическими корнями Точно так же формула бесполезна и в тех случаях, когда кубический корень не требуется, то есть когда кубический многочлен не является неприводимым ; это включает в себя случай
Эта формула верна также, когда p и q принадлежат любому полю характеристики , отличной от 2 или 3.
Общая кубическая формула [ править ]
Кубическая формула для корней общего кубического уравнения (при a ≠ 0 )
может быть выведено из каждого варианта формулы Кардано путем приведения к депрессивной кубике . Представленный здесь вариант справедлив не только для вещественных коэффициентов, но и для коэффициентов a , b , c , d, принадлежащих любому полю характеристики , отличной от 2 или 3. Если коэффициенты являются действительными числами, формула охватывает все комплексные решения , а не только настоящие.
Поскольку формула довольно сложная, стоит разбить ее на более мелкие формулы.
Позволять
(Оба и могут быть выражены как результирующие кубики и ее производных: является -1/8 , умноженное на a результат кубики и ее второй производной, и является −1/12 , умноженное на a результат первой и второй производных кубического многочлена.)
Тогда пусть
где символы и интерпретируются как любой квадратный корень и любой кубический корень соответственно (каждое ненулевое комплексное число имеет два квадратных корня и три кубических корня). Знак « ± » перед квадратным корнем равен « + » или « – »; выбор почти произволен, и его изменение равносильно выбору другого квадратного корня. Однако, если выбор дает C = 0 (это происходит, если ), то вместо него необходимо выбрать другой знак. Если оба варианта дают C = 0 , то есть если дробь 0/0 встречается ; в следующих формулах эту дробь следует интерпретировать как равную нулю (см. конец этого раздела).Одним из корней этих соглашений является
Два других корня можно получить, изменив выбор кубического корня в определении C или, что то же самое, умножив C на примитивный кубический корень из единицы , то есть ± √ –3/2 . –1 Другими словами, три корня
где ξ = –1 + √ –3 / 2 .
Что касается частного случая депрессивной кубической формулы, эта формула применима, но бесполезна, когда корни можно выразить без кубических корней. В частности, если формула показывает, что три корня равны что означает, что кубический полином можно разложить как Непосредственное вычисление позволяет проверить, что существование этой факторизации эквивалентно
Тригонометрические и гиперболические решения [ править ]
решение для трех Тригонометрическое действительных корней
Когда кубическое уравнение с действительными коэффициентами имеет три действительных корня, формулы, выражающие эти корни через радикалы, включают комплексные числа. Теория Галуа позволяет доказать, что когда три корня действительны и ни один из них не является рациональным ( casus reducibilis ), корни нельзя выразить через действительные радикалы. Тем не менее, чисто вещественные выражения решений могут быть получены с помощью тригонометрических функций , в частности, через косинусы и арккосинусы . [25] Точнее, корни депрессивной кубической
являются [26]
Эта формула принадлежит Франсуа Вьету . [22] Оно чисто вещественное, когда уравнение имеет три вещественных корня (т.е. ). В противном случае оно по-прежнему правильно, но включает в себя комплексные косинусы и арккосинусы, когда имеется только один действительный корень, и бессмысленно (деление на ноль), когда p = 0 .
Эту формулу можно напрямую преобразовать в формулу для корней общего кубического уравнения, используя обратную замену, описанную в § Депрессивная кубика .
Формулу можно доказать следующим образом: Исходя из уравнения t 3 + pt + q = 0 , положим t = u cos θ . Идея состоит в том, чтобы выбрать u так, чтобы уравнение совпадало с тождеством
Для этого выберите и разделим уравнение на Это дает
Объединяя с приведенным выше тождеством, получаем
и корни, таким образом,
Гиперболическое решение для одного вещественного корня [ править ]
Когда существует только один действительный корень (и p ≠ 0 ), этот корень можно аналогичным образом представить с помощью гиперболических функций , как [27] [28]
Если p ≠ 0 и неравенства справа не выполняются (случай трех вещественных корней), формулы остаются верными, но включают в себя комплексные величины.
Когда p = ±3 , приведенные выше значения t 0 иногда называют кубическим корнем Чебышева. [29] Точнее, значения, включающие косинусы и гиперболические косинусы, определяют, когда p = −3 , одну и ту же аналитическую функцию, обозначаемую C 1/3 ( q ) , которая является собственным кубическим корнем Чебышева. Значение, включающее гиперболические синусы, аналогично обозначается S 1/3 ( q ) , когда p = 3 .
Геометрические решения [ править ]
Решение Омара Хайяма [ править ]
Для решения кубического уравнения x 3 + м 2 x = n, где n > 0 , Омар Хайям построил параболу y = x 2 / m , круг, диаметр которого составляет отрезок [0, n / m 2 ] на положительной оси x , и вертикальная линия, проходящая через точку пересечения круга и параболы над осью x . Решение определяется длиной отрезка горизонтальной линии от начала координат до пересечения вертикальной линии и оси x (см. рисунок).
Простое современное доказательство состоит в следующем. Умножение уравнения на x / m 2 и перегруппировка терминов дает
Левая часть — это значение y. 2 на параболе. Уравнение окружности y 2 + х ( х - н / м 2 ) = 0 , правая часть — это значение y 2 по кругу.
Решение с трисектором угла [ править ]
Кубическое уравнение с действительными коэффициентами можно решить геометрически с помощью циркуля, линейки и трисектора угла тогда и только тогда, когда оно имеет три действительных корня. [30] : Тэм. 1
Кубическое уравнение можно решить с помощью построения циркуля и линейки (без трисектора) тогда и только тогда, когда оно имеет рациональный корень. Это означает, что старые задачи о трисекции угла и удвоении куба , поставленные древнегреческими математиками , не могут быть решены с помощью построения циркуля и линейки.
Геометрическая интерпретация корней [ править ]
Три действительных корня [ править ]
Тригонометрическое выражение корней Виета в случае трех действительных корней поддается геометрической интерпретации в терминах круга. [22] [31] Когда кубика записана в угнетенной форме ( 2 ) , t 3 + pt + q = 0 , как показано выше, решение можно выразить как
Здесь – угол в единичной окружности; принимая 1/3 этого ; угла соответствует извлечению кубического корня из комплексного числа добавление − k 2 π / 3 для k = 1, 2 находит остальные кубические корни; и умножив косинусы этих получившихся углов на корректирует масштаб.
Для случая без депрессии ( 1 ) (показанного на прилагаемом графике) случай с депрессией, как указано ранее, получается путем определения t такого, что x = t - б / 3 а, так что t = x + б / 3 а . Графически это соответствует простому сдвигу графика по горизонтали при изменении переменных t и x без изменения угловых соотношений. Этот сдвиг перемещает точку перегиба и центр круга на Y. ось Следовательно, сумма корней уравнения в t равна нулю.
Один настоящий корень [ править ]
В декартовой плоскости [ править ]
Когда график кубической функции строится в декартовой плоскости , если имеется только один действительный корень, это абсцисса ( координата x ) горизонтального пересечения кривой (точка R на рисунке). Дальше, [32] [33] [34] если комплексно-сопряженные корни записаны как g ± hi , то действительная часть g представляет собой абсциссу точки касания H касательной прямой к кубике, которая проходит через x -пересечение R кубики (то есть длина со знаком OM, отрицательная на рисунке). Мнимые части ±h представляют собой квадратные корни из тангенса угла между этой касательной и горизонтальной осью. [ нужны разъяснения ]
В сложной плоскости [ править ]
Имея один вещественный и два комплексных корня, эти три корня могут быть представлены как точки на комплексной плоскости, как и два корня производной кубической дроби. Между всеми этими корнями существует интересная геометрическая связь.
Точки комплексной плоскости, представляющие три корня, служат вершинами равнобедренного треугольника. (Треугольник равнобедренный, потому что один корень находится на горизонтальной (вещественной) оси, а два других корня, будучи комплексно-сопряженными, появляются симметрично выше и ниже вещественной оси.) Теорема Мардена гласит, что точки, представляющие корни производной кубические — это фокусы эллипса Штейнера треугольника — уникального эллипса, касающегося треугольника в середине его сторон. Если угол при вершине на действительной оси меньше π / 3 , то большая ось эллипса лежит на действительной оси, как и его фокусы, а значит, и корни производной. Если этот угол больше π / 3 , большая ось вертикальна, а ее фокусы, корни производной, являются комплексно-сопряженными. И если этот угол π / 3 , треугольник равносторонний, эллипс Штейнера — это просто вписанная окружность треугольника, его фокусы совпадают друг с другом в центре, лежащем на вещественной оси, и, следовательно, производная имеет повторяющиеся вещественные корни.
Группа Галуа [ править ]
Для данного кубического неприводимого полинома над полем K характеристики, отличной от 2 и 3, группа Галуа над K представляет собой группу полевых автоморфизмов , которые фиксируют K наименьшего расширения K ( поле расщепления ). переставлять корни многочленов, эта группа является либо группой S3 Поскольку эти автоморфизмы должны всех шести перестановок трех корней, либо группой A3 . трех круговых перестановок
Дискриминант ∆ кубики — это квадрат
где a — старший коэффициент кубики, а r 1 , r 2 и r 3 — три корня кубики. Как смена знака при замене двух корней, фиксируется группой Галуа только в том случае, если группа Галуа А 3 . Другими словами, группа Галуа является A 3 тогда и только тогда, когда дискриминант является квадратом элемента K .
Поскольку большинство целых чисел не являются квадратами, при работе над полем Q рациональных чисел группа Галуа большинства неприводимых кубических многочленов представляет собой группу S 3 с шестью элементами. Пример группы Галуа A 3 с тремя элементами дан p ( x ) = x 3 − 3 x − 1 , дискриминант которого равен 81 = 9 2 .
Происхождение корней [ править ]
В этом разделе объединены несколько методов вывода формулы Кардано .
Метод Кардано [ править ]
Этот метод принадлежит Сципионе дель Ферро и Тарталье , но назван в честь Джероламо Кардано , который впервые опубликовал его в своей книге Ars Magna (1545).
Этот метод применим к депрессивному кубическому t 3 + пт + q знак равно 0 . Идея состоит в том, чтобы ввести две переменные u и такой, что и подставить это в депрессивный куб, дав
В этот момент Кардано наложил условие Это удаляет третий член в предыдущем равенстве, что приводит к системе уравнений
Зная сумму и произведение u 3 и можно сделать вывод, что это два решения квадратного уравнения
так
Дискриминант этого уравнения есть , и если предположить, что оно положительное, действительные решения этого уравнения будут (после складывания деления на 4 под квадратным корнем):
Итак (без потери общности при выборе u или ):
Как сумма кубических корней этих решений является корнем уравнения. То есть
является корнем уравнения; это формула Кардано.
Это хорошо работает, когда но, если квадратный корень, фигурирующий в формуле, недействителен. Поскольку комплексное число имеет три кубических корня, неосторожное использование формулы Кардано даст девять корней, тогда как кубическое уравнение не может иметь более трех корней. Впервые это пояснил Рафаэль Бомбелли в своей книге «Алгебра» (1572 г.). Решение состоит в том, чтобы использовать тот факт, что то есть, Это означает, что необходимо вычислить только один кубический корень, что приводит ко второй формуле, приведенной в § Формула Кардано .
Остальные корни уравнения можно получить заменой кубического корня или, что то же самое, умножением кубического корня на каждый из двух примитивных кубических корней из единицы , которые равны
Замена Виеты [ править ]
Замена Виеты — это метод, введенный Франсуа Вьетом (Вьета — его латинское имя) в тексте, опубликованном посмертно в 1615 году, который непосредственно предоставляет вторую формулу § метода Кардано и позволяет избежать проблемы вычисления двух разных кубических корней. [35]
Начиная с пониженной куб. т 3 + pt + q = 0 , замена Виеты равна t = w – п / 3 ж . [б]
Замена t = w – p / 3 w превращает вдавленную кубику в
Умножение на w 3 , получаем квадратное уравнение относительно w 3 :
Позволять
— любой ненулевой корень этого квадратного уравнения. Если w 1 , w 2 и w 3 являются тремя корнями W кубическими , то корнями исходной кубической кубики являются w 1 − п / 3 ш 1 , ш 2 - п / 3 ш 2 и ш 3 - п / 3 ж 3 . Другой корень квадратного уравнения Это означает, что изменение знака квадратного корня меняет местами w i и — p / 3 w i для i = 1, 2, 3 и, следовательно, не меняет корни. Этот метод терпит неудачу только тогда, когда оба корня квадратного уравнения равны нулю, то есть когда p = q = 0 , и в этом случае единственный корень пониженной кубики равен 0 .
Метод Лагранжа [ править ]
В своей статье « Мысли об алгебраическом решении уравнений » [36] Жозеф Луи Лагранж представил новый метод единообразного решения уравнений низкой степени в надежде, что он сможет обобщить его для более высоких степеней. Этот метод хорошо работает для уравнений кубической и четвёртой степени , но Лагранжу не удалось применить его к уравнению пятой степени , поскольку он требует решения резольвентного многочлена степени не ниже шестой. [37] [38] [39] Помимо того, что никому ранее это не удавалось, это было первое указание на отсутствие алгебраической формулы для степеней 5 и выше; как было позже доказано теоремой Абеля-Руффини . Тем не менее современные методы решения разрешимых уравнений пятой степени в основном основаны на методе Лагранжа. [39]
В случае кубических уравнений метод Лагранжа дает то же решение, что и метод Кардано. Метод Лагранжа можно применить непосредственно к общему кубическому уравнению ax. 3 + бх 2 + cx + d = 0 , но вычисление проще с помощью депрессивного кубического уравнения t 3 + пт + q знак равно 0 .
Основная идея Лагранжа заключалась в том, чтобы работать с дискретным преобразованием Фурье корней, а не с самими корнями. Точнее, пусть ξ — примитивный корень третьей степени из единицы , то есть число такое, что ξ 3 = 1 и ξ 2 + ξ + 1 = 0 (при работе в пространстве комплексных чисел имеем но эта сложная интерпретация здесь не используется). Обозначая x 0 , x 1 и x 2 три корня кубического уравнения, которое необходимо решить, пусть
— дискретное преобразование Фурье корней. Если s 0 , s 1 и s 2 известны, корни могут быть восстановлены из них с помощью обратного преобразования Фурье, состоящего из обращения этого линейного преобразования; то есть,
По формулам Виеты известно , что s 0 равно нулю в случае вдавленной кубики, и — б / у для общей куб. Таким образом, только s 1 и s 2 необходимо вычислить . Они не являются симметричными функциями корней (обмен x 1 и x 2 меняет местами также s 1 и s 2 ), но некоторые простые симметричные функции s 1 и s 2 также симметричны относительно корней решаемого кубического уравнения. Таким образом, эти симметричные функции могут быть выражены через (известные) коэффициенты исходной кубики, и это позволяет в конечном итоге выразить s i как корни многочлена с известными коэффициентами. Это хорошо работает для любой степени, но в степенях выше четырех результирующий многочлен, корни которого составляют s i, имеет степень выше, чем степень исходного многочлена, и поэтому бесполезен для решения. Это причина того, что метод Лагранжа не работает в пятой степени и выше.
В случае кубического уравнения и являются такими симметричными полиномами (см. ниже). Отсюда следует, что и два корня квадратного уравнения Таким образом, решение уравнения можно завершить точно так же, как и методом Кардано, с и вместо тебя и
В случае депрессивного куба и в то время как в методе Кардано мы установили и Таким образом, вплоть до обмена u и у нас есть и Другими словами, в этом случае метод Кардано и метод Лагранжа вычисляют одно и то же, с точностью до трех раз во вспомогательных переменных, главное отличие состоит в том, что метод Лагранжа объясняет, почему эти вспомогательные переменные появляются в задаче.
Вычисление S и P [ править ]
Непосредственное вычисление с использованием соотношений ξ 3 = 1 и ξ 2 + ξ + 1 = 0 дает
Это показывает, что P и S являются симметричными функциями корней. Используя тождества Ньютона , их несложно выразить через элементарные симметрические функции корней, давая
где e 1 = 0 , e 2 = p и e 3 = − q в случае вдавленной кубики, и e 1 = − б / а , е 2 = c / a и e 3 = − д / а , в общем случае.
Приложения [ править ]
Кубические уравнения возникают и в других контекстах.
По математике [ править ]
- Трисекция угла и удвоение куба — две древние задачи геометрии , которые, как было доказано, неразрешимы с помощью линейки и циркуля , поскольку они эквивалентны решению кубического уравнения.
- Теорема Мардена утверждает, что фокусы любого эллипса Штейнера треугольника можно найти с помощью кубической функции, корнями которой являются координаты в комплексной плоскости трех вершин треугольника. Корнями первой производной этой кубики являются комплексные координаты этих фокусов.
- Площадь семиугольника правильного можно выразить через корни кубического. Кроме того, отношения длинной диагонали к стороне, стороны к короткой диагонали и отрицательное отношение короткой диагонали к длинной диагонали удовлетворяют определенному кубическому уравнению. Кроме того, отношение внутреннего радиуса к описанному радиусу семиугольного треугольника является одним из решений кубического уравнения. Значения тригонометрических функций углов, связанных с удовлетворяют кубическим уравнениям.
- Учитывая косинус (или другую тригонометрическую функцию) произвольного угла, косинус одной трети этого угла является одним из корней кубики.
- Решение общего уравнения четвертой степени опирается на решение его резольвентной кубики .
- Собственные значения 3×3 матрицы являются корнями кубического многочлена, который является характеристическим многочленом матрицы.
- Характеристическое уравнение постоянного коэффициента третьего порядка или Коши – Эйлера (равномерные переменные коэффициенты) линейное дифференциальное уравнение или разностное уравнение представляет собой кубическое уравнение.
- Точки пересечения кубической кривой Безье и прямой линии можно вычислить с помощью прямого кубического уравнения, представляющего кривую Безье.
- Критические точки функции четвертой степени находятся путем решения кубического уравнения (множество производных равно нулю).
- Точки перегиба функции пятой степени являются решением кубического уравнения (вторая производная приравнивается нулю).
В других науках [ править ]
- В аналитической химии уравнение Шарло , которое можно использовать для определения pH буферных растворов , можно решить с помощью кубического уравнения.
- В термодинамике уравнения состояния (которые связывают давление, объем и температуру веществ), например уравнение состояния Ван-дер-Ваальса , являются кубическими по объему.
- Кинематические уравнения , включающие линейные скорости ускорения, являются кубическими.
- Скорость сейсмических волн Рэлея является решением волнового кубического уравнения Рэлея .
- Установившаяся скорость транспортного средства, движущегося по склону с трением воздуха, для заданной входной мощности решается с помощью депрессивного кубического уравнения.
- Третий закон движения планет Кеплера является кубическим по большой полуоси.
Примечания [ править ]
- ^ В О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Омар Хайям» , Архив истории математики MacTutor , Университет Сент-Эндрюса, можно прочитать. Эта проблема, в свою очередь, привела Хайяма к решению кубического уравнения x 3 + 200 х = 20 х 2 + 2000 , и он нашел положительный корень из этой кубики, рассматривая пересечение прямоугольной гиперболы и круга. Затем путем интерполяции в тригонометрические таблицы было найдено приближенное численное решение . Геометрическое построение прекрасно подошло Омару Хайяму, так как это происходит при решении задачи геометрического построения. В конце своей статьи он говорит лишь, что для этой геометрической задачи, если приближений достаточно, то более простое решение можно получить, обратившись к тригонометрическим таблицам . Текстуально: Если искатель удовлетворен оценкой, он должен заглянуть в таблицу аккордов Альмагеста или таблицу синусов и синусов Обсерватории Мотмеда. Далее следует краткое описание этого альтернативного метода (семь строк).
- ^ Точнее, Виета ввел новую переменную w и наложил условие w ( t + w ) = п / 3 . Это эквивалентно замене t = p / 3 w – w , и отличается от использованной здесь замены только сменой знака w . Такая смена знака позволяет получить непосредственно формулы § формулы Кардано .
Ссылки [ править ]
- ^ Хойруп, Йенс (1992), «Текст Вавилонского погреба BM 85200 + НДС 6599, повторный перевод и анализ», Амфора: Праздничный сборник Ганса Вуссинга по случаю его 65-летия , Биркхойзер , стр. 315–358, doi : 10.1007/978- 3-0348-8599-7_16 , ISBN 978-3-0348-8599-7
- ^ Jump up to: Перейти обратно: а б Кроссли, Джон; ТУАЛЕТ. Лунь, Энтони (1999). Девять глав математического искусства: спутник и комментарий . Издательство Оксфордского университета. п. 176. ИСБН 978-0-19-853936-0 .
- ^ Jump up to: Перейти обратно: а б Ван дер Варден, Геометрия и алгебра древних цивилизаций, глава 4, Цюрих, 1983 г. ISBN 0-387-12159-5
- ^ Кук, Роджер (8 ноября 2012 г.). История математики . Джон Уайли и сыновья. п. 63. ИСБН 978-1-118-46029-0 .
- ^ Немет-Нежат, Карен Рея (1998). Повседневная жизнь в Древней Месопотамии . Издательская группа Гринвуд. п. 306 . ISBN 978-0-313-29497-6 .
- ^ Кук, Роджер (2008). Классическая алгебра: ее природа, происхождение и использование . Джон Уайли и сыновья. п. 64. ИСБН 978-0-470-27797-3 .
- ^ Гильбо (1930 , стр. 8) утверждает, что «египтяне считали решение невозможным, но греки подошли к решению ближе».
- ^ Jump up to: Перейти обратно: а б Гильбо (1930 , стр. 8–9)
- ^ Хит, Томас Л. (30 апреля 2009 г.). Диофант Александрийский: Исследование по истории греческой алгебры . Мартино Паб. стр. 87–91 . ISBN 978-1578987542 .
- ^ Архимед (8 октября 2007 г.). Работы Архимеда . Перевод Т.Л. Хита. Черновая печать. ISBN 978-1603860512 .
- ^ Миками, Ёсио (1974) [1913], «Глава 8 Ван Сяо-Дун и кубические уравнения», Развитие математики в Китае и Японии (2-е изд.), Нью-Йорк: Chelsea Publishing Co., стр. 53–56, ISBN 978-0-8284-0149-4
- ^ Статья Омара Хайяма, Scripta Math. 26 (1963), страницы 323–337.
- ^ Дж. Дж. О'Коннор и Э. Ф. Робертсон (1999), Омар Хайям , архив истории математики MacTutor , утверждают: «Кажется, сам Хайям был первым, кто разработал общую теорию кубических уравнений».
- ^ Гильбо (1930 , стр. 9) утверждает: «Омар Аль-Хей из Хорасана, около 1079 года нашей эры, больше всех сделал для того, чтобы возвести в метод решение алгебраических уравнений путем пересекающихся коник».
- ^ Берггрен, Дж. Л. (18 января 2017 г.). Эпизоды математики средневекового ислама . Спрингер. ISBN 978-1-4939-3780-6 .
- ^ Датта, Бибхутибхушан ; Сингх, Авадхеш Нараян (2004), «Уравнение высшей степени», История индуистской математики: Справочник , том. 2, Дели, Индия: Бхараттья Кала Пракашан, с. 76, ISBN 81-86050-86-8
- ^ О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Шараф ад-Дин аль-Музаффар аль-Туси» , Архив истории математики MacTutor , Университет Сент-Эндрюс
- ^ Берггрен, Дж. Л. (1990), «Инновации и традиции в Муадалате Шарафа ад-Дина аль-Туси», Журнал Американского восточного общества , 110 (2): 304–309, doi : 10.2307/604533 , JSTOR 604533
- ^ О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Фибоначчи» , Архив истории математики MacTutor , Университет Сент-Эндрюс
- ^ Кац, Виктор (2004). История математики . Бостон: Эддисон Уэсли. п. 220 . ISBN 9780321016188 .
- ^ Ла Нав, Федерика; Мазур, Барри (2002), «Чтение Бомбелли», The Mathematical Intelligencer , 24 (1): 12–21, doi : 10.1007/BF03025306 , S2CID 189888034
- ^ Jump up to: Перейти обратно: а б с Никаллс, RWD (июль 2006 г.). «Вьет, Декарт и кубическое уравнение» (PDF) . Математический вестник . 90 (518): 203–208. дои : 10.1017/S0025557200179598 . S2CID 124980170 .
- ^ Пратт, Орсон (1866). Новый и простой метод решения кубических и биквадратных уравнений: использование нескольких новых формул, значительно упрощающих этот отдел математической науки . Лонгманс, Грин, Ридер и Дайер. п. 13. ISBN 9781974130924 .
...если два корня мнимые, то произведение положительное...
- ^ «Решение депрессивного кубического уравнения» . Математическое решение . Проверено 23 ноября 2022 г.
- ^ Цукер, IJ (июль 2008 г.). «Кубическое уравнение — новый взгляд на неприводимый случай». Математический вестник . 92 : 264–268. дои : 10.1017/S0025557200183135 . S2CID 125986006 .
- ^ Шелби, Сэмюэл, изд. (1975). Стандартные математические таблицы CRC . ЦРК Пресс. ISBN 0-87819-622-6 .
- ^ Это формулы (80) и (83) Вайсштейна, Эрика В. «Кубическая формула». Из MathWorld — веб-ресурса Wolfram. http://mathworld.wolfram.com/CubicFormula.html , переписанный для обеспечения связной записи.
- ^ Холмс, Г.К., «Использование гиперболических косинусов при решении кубических многочленов», Mathematical Gazette 86. Ноябрь 2002 г., 473–477.
- ^ Абрамовиц, Милтон; Стегун, Ирен А., ред. Справочник по математическим функциям с формулами, графиками и математическими таблицами , Дувр (1965), гл. 22 с. 773
- ^ Глисон, Эндрю Маттей (март 1988 г.). «Трисекция угла, семиугольник и трискадекагон» (PDF) . Американский математический ежемесячник . 95 (3): 185–194. дои : 10.2307/2323624 . JSTOR 2323624 . Архивировано из оригинала (PDF) 19 декабря 2015 г.
- ^ Никаллс, RWD (ноябрь 1993 г.), «Новый подход к решению кубики: раскрыто решение Кардана» (PDF) , The Mathematical Gazette , 77 (480): 354–359, doi : 10.2307/3619777 , ISSN 0025-5572 , JSTOR 3619777 , S2CID 172730765 См. особенно. Рис. 2.
- ^ Энрикес, Гарсия (июнь – июль 1935 г.), «Графическая интерпретация комплексных корней кубических уравнений», American Mathematical Monthly , 42 (6): 383–384, doi : 10.2307/2301359 , JSTOR 2301359
- ^ Барр, К.Ф. (1918), «Дискуссии: относящиеся к графику кубического уравнения, имеющего комплексные корни», American Mathematical Monthly , 25 (6): 268–269, doi : 10.2307/2972885 , JSTOR 2972885
- ^ Ирвин, Фрэнк; Райт, Х.Н. (1917), «Некоторые свойства полиномиальных кривых», Annals of Mathematics , 19 (2): 152–158, doi : 10.2307/1967772 , JSTOR 1967772
- ^ ван дер Варден, Бартель Леенерт (1985), «От Вьета до Декарта», История алгебры: от аль-Хваризми до Эмми Нётер , Springer-Verlag , ISBN 3-540-13610-Х
- ^ Лагранж, Жозеф-Луи (1869) [1771], «Размышления об алгебраическом разрешении уравнений», в Серре, Жозеф-Альфред (ред.), Работы Лагранжа , том. III, Готье-Виллар, стр. 205–421
- ^ Прасолов Виктор; Соловьев, Юрий (1997), Эллиптические функции и эллиптические интегралы , Книжный магазин AMS, ISBN 978-0-8218-0587-9 , §6.2, с. 134
- ^ Клайн, Моррис (1990), Математическая мысль от древних до наших дней , Oxford University Press, США, ISBN 978-0-19-506136-9 , Алгебра в восемнадцатом веке: теория уравнений
- ^ Jump up to: Перейти обратно: а б Даниэль Лазард, «Решение квинтик в радикалах», в книге Олава Арнфинна Лаудаля , Рагни Пиене , «Наследие Нильса Хенрика Абеля» , стр. 207–225, Берлин, 2004. ISBN 3-540-43826-2
Ссылки [ править ]
- Гильбо, Люси (1930), «История решения кубического уравнения», Mathematics News Letter , 5 (4): 8–12, doi : 10.2307/3027812 , JSTOR 3027812
Дальнейшее чтение [ править ]
- Энглин, штат Вашингтон; Ламбек, Иоахим (1995), «Математика в эпоху Возрождения» , «Наследие Фалеса» , Спрингерс, стр. 125–131, ISBN. 978-0-387-94544-6 Ч. 24.
- Денс, Т. (ноябрь 1997 г.), «Кубики, хаос и метод Ньютона», Mathematical Gazette , 81 (492), Mathematical Association : 403–408, doi : 10.2307/3619617 , ISSN 0025-5572 , JSTOR 3619617 , S2CID 1251967 96
- Dunnett, R. (ноябрь 1994), «Ньютон-Рафсон и Кубический», Математическая газетта , 78 (483), Математическая ассоциация : 347–348, doi : 10.2307/3620218 , ISSN 0025-5572 , JSTOR 3620218 , S2CID 125643035
- Джейкобсон, Натан (2009), Основная алгебра , том. 1 (2-е изд.), Дувр, ISBN 978-0-486-47189-1
- Митчелл, Д.В. (ноябрь 2007 г.), «Решение кубиков путем решения треугольников», Mathematical Gazette , 91 , Mathematical Association : 514–516, doi : 10.1017/S0025557200182178 , ISSN 0025-5572 , S2CID 124710259
- Митчелл, Д.В. (ноябрь 2009 г.), «Степени φ как корни кубических чисел», Mathematical Gazette , 93 , Mathematical Association , doi : 10.1017/S0025557200185237 , ISSN 0025-5572 , S2CID 126286653
- Пресс, WH; Теукольский, С.А.; Феттерлинг, WT; Фланнери, BP (2007), «Раздел 5.6 Квадратные и кубические уравнения» , Численные рецепты: искусство научных вычислений (3-е изд.), Нью-Йорк: Cambridge University Press, ISBN 978-0-521-88068-8
- Рехтшаффен, Эдгар (июль 2008 г.), «Действительные корни кубик: явная формула для квазирешений», Mathematical Gazette , 92 , Mathematical Association : 268–276, doi : 10.1017/S0025557200183147 , ISSN 0025-5572 , S2CID 1258 70578
- Цукер, И. Дж. (июль 2008 г.), «Кубическое уравнение – новый взгляд на неприводимый случай», Mathematical Gazette , 92 , Mathematical Association : 264–268, doi : 10.1017/S0025557200183135 , ISSN 0025-5572 , S2CID 125986006
Внешние ссылки [ править ]
- «Формула Кардано» , Математическая энциклопедия , EMS Press , 2001 [1994]
- История квадратных, кубических и четвертых уравнений в архиве MacTutor .
- 500 лет НЕ преподавания КУБИЧЕСКОЙ ФОРМУЛЫ. С чем, по их мнению, ты не справишься? - на YouTube Видео от Mathologer об истории кубических уравнений и решении Кардано, а также о решении Феррари уравнений четвертой степени.