Кубическое уравнение

Из Википедии, бесплатной энциклопедии
График кубической функции с тремя вещественными корнями (где кривая пересекает горизонтальную ось в точке y = 0 ). Показанный случай имеет две критические точки . Здесь функция и, следовательно, три действительных корня — это 2, -1 и -4.

В алгебре с кубическим уравнением одной переменной называется уравнение вида

в котором а не равно нулю.

Решения этого уравнения называются корнями кубической функции , определяемой левой частью уравнения. Если все коэффициенты a , b , c и d кубического уравнения являются действительными числами , то оно имеет хотя бы один действительный корень (это верно для всех полиномиальных функций нечетной степени ). Все корни кубического уравнения можно найти следующими способами:

Коэффициенты не обязательно должны быть действительными числами. Многое из того, что описано ниже, справедливо для коэффициентов в любом поле с характеристикой , отличной от 2 и 3. Решения кубического уравнения не обязательно принадлежат тому же полю, что и коэффициенты. Например, некоторые кубические уравнения с рациональными коэффициентами имеют корни, которые представляют собой иррациональные (и даже недействительные) комплексные числа .

История [ править ]

Кубические уравнения были известны древним вавилонянам, грекам, китайцам, индийцам и египтянам. [1] [2] [3] вавилонские (20-16 вв. до н. э.) клинописные таблички с таблицами для вычисления кубов и кубических корней. Найдены [4] [5] Вавилоняне могли использовать таблицы для решения кубических уравнений, но не существует никаких доказательств, подтверждающих это. [6] Задача удвоения куба включает в себя простейшее и старейшее изученное кубическое уравнение, решение которого древние египтяне не считали. [7] В V веке до нашей эры Гиппократ свел эту проблему к задаче нахождения двух средних пропорций между одной линией и другой, вдвое большей длины, но не смог решить эту проблему с помощью циркуля и линейки . [8] задача, которая, как теперь известно, невыполнима. Методы решения кубических уравнений появляются в «Девяти главах математического искусства» , китайском математическом тексте, составленном примерно во 2 веке до нашей эры и прокомментированном Лю Хуэем в 3 веке. [2]

В III веке нашей эры греческий математик Диофант нашел целочисленные или рациональные решения для некоторых двумерных кубических уравнений ( диофантовых уравнений ). [3] [9] Считается, что Гиппократ, Менехм и Архимед приблизились к решению задачи удвоения куба с помощью пересекающихся конических сечений . [8] хотя историки, такие как Ревьель Нетц, спорят о том, думали ли греки о кубических уравнениях или просто о проблемах, которые могут привести к кубическим уравнениям. Некоторые другие, такие как Т.Л. Хит , который перевел все работы Архимеда, не согласны с этим, приводя доказательства того, что Архимед действительно решал кубические уравнения, используя пересечения двух коник , но также обсуждал условия, когда корни равны 0, 1 или 2. [10]

График кубической функции f ( x ) = 2 x 3 3x 2 - 3 х + 2 = ( х + 1) (2 х - 1) ( х - 2)

В 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 являются тремя корнями кубики , то дискриминант

Если три корня вещественны и различны, дискриминант является продуктом положительных действительности, то есть

Если только один корень, скажем, r 1 , действительный, то r 2 и r 3 являются комплексно-сопряженными числами, из чего следует, что r 2 r 3 чисто мнимое число , и, таким образом, ( r 2 r 3 ) 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 нередуцируемый , что означает «неприводимый случай» на латыни .

В 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 на умноженный результат кубической величины и ее второй производной, и является −1/12 , a умноженное на результат первой и второй производных кубического многочлена.)

Тогда пусть

где символы и интерпретируются как любой квадратный корень и любой кубический корень соответственно (каждое ненулевое комплексное число имеет два квадратных корня и три кубических корня). Знак « ± » перед квадратным корнем равен « + » или « »; выбор почти произволен, и его изменение равносильно выбору другого квадратного корня. Однако, если выбор дает C = 0 (это происходит, если ), то вместо него необходимо выбрать другой знак. Если оба варианта дают C = 0 , то есть если фракция 0/0 встречается в следующих формулах; эту дробь следует интерпретировать как равную нулю (см. конец этого раздела). Одним из корней этих соглашений является

Два других корня можно получить, изменив выбор кубического корня в определении C или, что то же самое, умножив C на примитивный кубический корень из единицы , то есть –1 –3/2 . ± Другими словами, три корня

где ξ = –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 .

Геометрические решения [ править ]

Решение Омара Хайяма [ править ]

Геометрическое решение Омара Хайяма кубического уравнения для случая m = 2 , n = 16 , дающее корень 2 . Пересечение вертикальной линии на оси X в центре круга является случайностью иллюстрированного примера.

Для решения кубического уравнения 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

Кубическое уравнение можно решить с помощью построения циркуля и линейки (без трисектора) тогда и только тогда, когда оно имеет рациональный корень. Это означает, что старые проблемы трисекции угла и удвоения куба , поставленные древнегреческими математиками , не могут быть решены с помощью построения циркуля и линейки.

Геометрическая интерпретация корней [ править ]

Три действительных корня [ править ]

Для кубики ( 1 ) с тремя вещественными корнями корни представляют собой проекции на ось x вершин A , B и C равностороннего треугольника . Центр треугольника имеет ту же x координату , что и точка перегиба .

Тригонометрическое выражение корней Виета в случае трех действительных корней поддается геометрической интерпретации в терминах круга. [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 равна нулю.

Один настоящий корень [ править ]

В декартовой плоскости [ править ]

Наклон линии RA в два раза больше, чем у RH. Обозначая комплексные корни кубики как g ± hi , g = OM (здесь отрицательный) и h = tan ORH = наклон прямой RH = BE = DA .

Когда график кубической функции построен в декартовой плоскости , если имеется только один вещественный корень, это абсцисса ( координата 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 = − д / а , в общем случае.

Приложения [ править ]

Кубические уравнения возникают и в других контекстах.

По математике [ править ]

В других науках [ править ]

Примечания [ править ]

  1. ^ В О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Омар Хайям» , Архив истории математики MacTutor , Университет Сент-Эндрюс, можно прочитать. Эта проблема, в свою очередь, привела Хайяма к решению кубического уравнения x. 3 + 200 х = 20 х 2 + 2000 , и он нашел положительный корень из этой кубики, рассматривая пересечение прямоугольной гиперболы и круга. Затем путем интерполяции в тригонометрические таблицы было найдено приближенное численное решение . Геометрическое построение прекрасно подошло Омару Хайяму, так как это происходит при решении задачи геометрического построения. В конце своей статьи он говорит только, что для этой геометрической задачи, если приближений достаточно, то более простое решение можно получить, обратившись к тригонометрическим таблицам . Текстуально: Если искатель удовлетворен оценкой, ему остается заглянуть в таблицу аккордов Альмагеста или таблицу синусов и синусов Обсерватории Мотмеда. Далее следует краткое описание этого альтернативного метода (семь строк).
  2. ^ Точнее, Виета ввел новую переменную w и наложил условие w ( t + w ) = п / 3 . Это эквивалентно замене t = p / 3 w w , и отличается от использованной здесь замены только сменой знака w . Такая смена знака позволяет получить непосредственно формулы § формулы Кардано .

Ссылки [ править ]

  1. ^ Хойруп, Йенс (1992), «Текст вавилонского погреба BM 85200 + НДС 6599, повторный перевод и анализ», Амфора: Праздничный сборник Ганса Вуссинга по случаю его 65-летия , Биркхойзер , стр. 315–358, doi : 10.1007/978- 3-0348-8599-7_16 , ISBN  978-3-0348-8599-7
  2. ^ Перейти обратно: а б Кроссли, Джон; ТУАЛЕТ. Лунь, Энтони (1999). Девять глав математического искусства: спутник и комментарий . Издательство Оксфордского университета. п. 176. ИСБН  978-0-19-853936-0 .
  3. ^ Перейти обратно: а б Ван дер Варден, Геометрия и алгебра древних цивилизаций, глава 4, Цюрих, 1983 г. ISBN   0-387-12159-5
  4. ^ Кук, Роджер (8 ноября 2012 г.). История математики . Джон Уайли и сыновья. п. 63. ИСБН  978-1-118-46029-0 .
  5. ^ Немет-Нежат, Карен Рея (1998). Повседневная жизнь в Древней Месопотамии . Издательская группа Гринвуд. п. 306 . ISBN  978-0-313-29497-6 .
  6. ^ Кук, Роджер (2008). Классическая алгебра: ее природа, происхождение и использование . Джон Уайли и сыновья. п. 64. ИСБН  978-0-470-27797-3 .
  7. ^ Гильбо (1930 , стр. 8) утверждает, что «египтяне считали решение невозможным, но греки подошли к решению ближе».
  8. ^ Перейти обратно: а б Гильбо (1930 , стр. 8–9)
  9. ^ Хит, Томас Л. (30 апреля 2009 г.). Диофант Александрийский: Исследование по истории греческой алгебры . Мартино Паб. стр. 100-1 87–91 . ISBN  978-1578987542 .
  10. ^ Архимед (8 октября 2007 г.). Работы Архимеда . Перевод Т.Л. Хита. Черновая печать. ISBN  978-1603860512 .
  11. ^ Миками, Ёсио (1974) [1913], «Глава 8 Ван Сяо-Дун и кубические уравнения», Развитие математики в Китае и Японии (2-е изд.), Нью-Йорк: Chelsea Publishing Co., стр. 107–119. стр. 53–56, ISBN.  978-0-8284-0149-4
  12. ^ Статья Омара Хайяма, Scripta Math. 26 (1963), страницы 323–337.
  13. ^ Дж. Дж. О'Коннор и Э. Ф. Робертсон (1999), Омар Хайям , архив истории математики MacTutor , утверждают: «Кажется, сам Хайям был первым, кто разработал общую теорию кубических уравнений».
  14. ^ Гильбо (1930 , стр. 9) утверждает: «Омар Аль-Хей из Хорасана, около 1079 года нашей эры, больше всех сделал для того, чтобы возвести в метод решение алгебраических уравнений посредством пересекающихся коник».
  15. ^ Берггрен, Дж. Л. (18 января 2017 г.). Эпизоды математики средневекового ислама Спрингер. ISBN  978-1-4939-3780-6 .
  16. ^ Дутта, Бибхутибхушан ; Сингх, Авадхеш Нараян (2004), «Уравнение высшей степени», История индуистской математики: Справочник , том. 2, Дели, Индия: Бхараттья Кала Пракашан, с. 76, ISBN  81-86050-86-8
  17. ^ О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Шараф ад-Дин аль-Музаффар аль-Туси» , Архив истории математики MacTutor , Университет Сент-Эндрюс
  18. ^ Берггрен, Дж. Л. (1990), «Инновации и традиции в Муадалате Шарафа ад-Дина аль-Туси», Журнал Американского восточного общества , 110 (2): 304–309, doi : 10.2307/604533 , JSTOR   604533
  19. ^ О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Фибоначчи» , Архив истории математики MacTutor , Университет Сент-Эндрюс
  20. ^ Кац, Виктор (2004). История математики . Бостон: Эддисон Уэсли. п. 220 . ISBN  9780321016188 .
  21. ^ Ла Нав, Федерика; Мазур, Барри (2002), «Чтение Бомбелли», The Mathematical Intelligencer , 24 (1): 12–21, doi : 10.1007/BF03025306 , S2CID   189888034
  22. ^ Перейти обратно: а б с Никаллс, RWD (июль 2006 г.). «Вьет, Декарт и кубическое уравнение» (PDF) . Математический вестник . 90 (518): 203–208. дои : 10.1017/S0025557200179598 . S2CID   124980170 .
  23. ^ Пратт, Орсон (1866). Новый и простой метод решения кубических и биквадратных уравнений: использование нескольких новых формул, значительно упрощающих этот отдел математической науки . Лонгманс, Грин, Ридер и Дайер. п. 13. ISBN  9781974130924 . ...если два корня мнимые, то произведение положительное...
  24. ^ «Решение депрессивного кубического уравнения» . Математическое решение . Проверено 23 ноября 2022 г.
  25. ^ Цукер, IJ (июль 2008 г.). «Кубическое уравнение — новый взгляд на неприводимый случай». Математический вестник . 92 : 264–268. дои : 10.1017/S0025557200183135 . S2CID   125986006 .
  26. ^ Шелби, Сэмюэл, изд. (1975). Стандартные математические таблицы CRC . ЦРК Пресс. ISBN  0-87819-622-6 .
  27. ^ Это формулы (80) и (83) Вайсштейна, Эрика В. «Кубическая формула». Из MathWorld — веб-ресурса Wolfram. http://mathworld.wolfram.com/CubicFormula.html , переписанный для обеспечения связной записи.
  28. ^ Холмс, Г.К., «Использование гиперболических косинусов при решении кубических многочленов», Mathematical Gazette 86. Ноябрь 2002 г., 473–477.
  29. ^ Абрамовиц, Милтон; Стегун, Ирен А., ред. Справочник по математическим функциям с формулами, графиками и математическими таблицами , Дувр (1965), гл. 22 с. 773
  30. ^ Глисон, Эндрю Маттей (март 1988 г.). «Трисекция угла, семиугольник и трискадекагон» (PDF) . Американский математический ежемесячник . 95 (3): 185–194. дои : 10.2307/2323624 . JSTOR   2323624 . Архивировано из оригинала (PDF) 19 декабря 2015 г.
  31. ^ Никаллс, RWD (ноябрь 1993 г.), «Новый подход к решению кубики: раскрыто решение Кардана» (PDF) , The Mathematical Gazette , 77 (480): 354–359, doi : 10.2307/3619777 , ISSN   0025-5572 , JSTOR   3619777 , S2CID   172730765 См. особенно. Рис. 2.
  32. ^ Энрикес, Гарсия (июнь – июль 1935 г.), «Графическая интерпретация комплексных корней кубических уравнений», American Mathematical Monthly , 42 (6): 383–384, doi : 10.2307/2301359 , JSTOR   2301359
  33. ^ Барр, К.Ф. (1918), «Дискуссии: относящиеся к графику кубического уравнения, имеющего комплексные корни», American Mathematical Monthly , 25 (6): 268–269, doi : 10.2307/2972885 , JSTOR   2972885
  34. ^ Ирвин, Фрэнк; Райт, Х.Н. (1917), «Некоторые свойства полиномиальных кривых», Annals of Mathematics , 19 (2): 152–158, doi : 10.2307/1967772 , JSTOR   1967772
  35. ^ ван дер Варден, Бартель Леенерт (1985), «От Вьета до Декарта», История алгебры: от аль-Хваризми до Эмми Нётер , Springer-Verlag , ISBN  3-540-13610-Х
  36. ^ Лагранж, Жозеф-Луи (1869) [1771], «Размышления об алгебраическом разрешении уравнений», в Серре, Жозеф-Альфред (ред.), Работы Лагранжа , том. III, Готье-Виллар, стр. 205–421
  37. ^ Прасолов Виктор; Соловьев, Юрий (1997), Эллиптические функции и эллиптические интегралы , Книжный магазин AMS, ISBN  978-0-8218-0587-9 , §6.2, с. 134
  38. ^ Клайн, Моррис (1990), Математическая мысль от древних до наших дней , Oxford University Press, США, ISBN  978-0-19-506136-9 , Алгебра в восемнадцатом веке: теория уравнений
  39. ^ Перейти обратно: а б Даниэль Лазард, «Решение квинтик в радикалах», в книге Олава Арнфинна Лаудаля , Рагни Пиене , «Наследие Нильса Хенрика Абеля» , стр. 207–225, Берлин, 2004. ISBN   3-540-43826-2

Ссылки [ править ]

  • Гильбо, Люси (1930), «История решения кубического уравнения», Mathematics News Letter , 5 (4): 8–12, doi : 10.2307/3027812 , JSTOR   3027812

Дальнейшее чтение [ править ]

Внешние ссылки [ править ]