Кубическое уравнение
Куби́ческое уравне́ние — алгебраическое уравнение третьей степени, общий вид которого следующий:
Здесь коэффициенты — вещественные или комплексные числа.
Для анализа и решения кубического уравнения можно в декартовой системе координат начертить график левой части, полученная кривая называется кубической параболой (см. рисунки).
Кубическое уравнение общего вида может быть приведено к каноническому виду путём деления на и замены переменной В результате получается упрощённый вид уравнения:
где
Кубическое уравнение разрешимо в радикалах, см. Формула Кардано.
История
правитьДревний период
правитьКубические уравнения были известны ещё древним египтянам, вавилонянам, древним грекам, китайцам и индийцам[1][2]. Были найдены клинописные таблички Старовавилонского периода (XX—XVI век до н. э.), содержащие таблицы значений кубов и кубических корней[3][4]. Вавилоняне могли использовать эти таблицы для решения кубических уравнений, но не существует никаких свидетельств, что они это делали[5].
Задача удвоения куба использует простейшее и наиболее старое из кубических уравнений, и древние египтяне не верили, что решение его существует[6]. В пятом веке до нашей эры Гиппократ свёл эту задачу к нахождению двух средних пропорциональных между одним отрезком и другим, вдвое большим его, но не смог решить её с помощью циркуля и линейки[7], что, как теперь известно, невозможно сделать.
В III веке нашей эры древнегреческий математик Диофант нашёл целые и рациональные решения для некоторых кубических уравнений с двумя неизвестными (диофантовых уравнений)[2][8]. Считается, что Гиппократ, Менехм и Архимед подошли ближе к решению задачи об удвоении куба с помощью конических сечений[7], хотя некоторые историки, такие как Ревиэль Нетц (Reviel Netz), говорят о том, что неизвестно, думали ли греки о кубических уравнениях, или просто о задачах, которые могут привести к кубическим уравнениям. Другие, как, например, Томас Хит, переводчик и комментатор всех дошедших до нас трудов Архимеда, не соглашаются, указывая на свидетельства, что Архимед действительно решал кубические уравнения с помощью пересечения двух конусов[9].
Численные методы решения кубических уравнений появляются в китайском математическом тексте Математика в девяти книгах, составленном около второго столетия до нашей эры и прокомментированном китайским математиком Лю Хуэем в третьем столетии[1].
В VII веке во времена династии Тан астроном и математик Ван Сяотун[англ.] в своём математическом трактате, озаглавленном Цзигу Суаньцзин, изложил и решил 25 кубических уравнений вида , в 23 из которых , и в двух уравнениях [10].
Средневековье
правитьВ XI веке персидский поэт и математик Омар Хайям (1048—1131) сделал существенный прогресс в теории кубических уравнений. В ранних работах, посвящённых кубическим уравнениям, он обнаружил, что кубическое уравнение может иметь два решения (случай трёх корней остался им незамеченным[11]), и утверждал, что уравнение не может быть решено с помощью циркуля и линейки. Он также нашёл геометрическое решение[12][13]. В его более позднем труде, Трактат о демонстрации задач алгебры, он описал полную классификацию кубических уравнений с их общими геометрическими решениями, использующими пересечения конических сечений[14][15].
В XII столетии индийский математик Бхаскара II пытался решать кубические уравнения без особых успехов. Однако он привёл один пример решения кубического уравнения[16]:
В том же XII столетии персидский математик Шараф ад-Дин написал Al-Mu’adalat (Трактат об уравнениях), в котором говорится о восьми типах кубических уравнений с положительными решениями и о пяти типах, не имеющих положительных решений. Он использовал подход, который позднее стал известен как метод «Руффини — Горнера» для численной аппроксимации корня кубического уравнения. Он разработал также концепцию производной функции и экстремумов кривой для решения кубических уравнений, которые могут не иметь положительных значений[17]. Он понял важность дискриминанта кубического уравнения для нахождения алгебраического решения некоторых специальных видов кубических уравнений[18].
В средневековой Европе до XVI века успехов в решении кубических уравнений не было. Леонардо Пизанский, известный также как Фибоначчи (1170—1250), умел находить положительные решения кубического уравнения с помощью вавилонских цифр. Он указал решение что равно в стандартной записи и отличается от точного решения только на три триллионных[19].
Лука Пачоли в своём трактате «Сумма арифметики, геометрии, отношений и пропорций» (1494 год) писал, что общее решение кубических уравнений «столь же невозможно при современном состоянии науки, как и решение квадратуры круга циркулем и линейкой»[20].
Открытие дель Ферро — Тартальи
правитьВ начале XVI века итальянский математик Сципион дель Ферро нашёл общий метод решения важного класса кубических уравнений, а именно, уравнений вида с неотрицательными n и m. Фактически все кубические уравнения можно свести к такому виду, если допустить возможность для и быть отрицательными, но отрицательные числа в то время ещё не считались допустимыми. Дель Ферро держал своё открытие в секрете, пока не рассказал о нём перед своей смертью своему ученику Антонио Фиоре (Antonio Fiore).
В 1535 году Никколо Тарталья получил две задачи в виде кубических уравнений от Дзуанне да Кои (Zuanne da Coi) и объявил, что он их может решить. Он вскоре получил вызов от Фиоре на математическое соревнование, которое после его завершения стало знаменитым. Каждый из них должен был предложить определённое число задач сопернику для решения. Оказалось, что все задачи, полученные Тартальей, сводились к кубическим уравнениям типа . Незадолго до истечения срока Тарталье удалось разработать общий метод решения кубических уравнений этого типа (переоткрыв метод дель Ферро), а также обобщить его на два других типа ( и ). После этого он быстро решил все предложенные ему задачи. Фиоре же получил от Тартальи задачи из различных разделов математики, многие из которых оказались ему не под силу; в результате Тарталья выиграл соревнование.
Позднее Джероламо Кардано (1501—1576) неоднократно пытался убедить Тарталья раскрыть секрет решения кубических уравнений. В 1539 году ему это удалось: Тарталья сообщил свой метод, но при условии, что Кардано никому его не откроет до выхода книги самого Тартальи о кубических уравнениях, над которой он работал и где собирался опубликовать метод. Спустя шесть лет Тарталья так и не опубликовал свою книгу, а Кардано, узнав к тому времени о работах Ферро, счёл возможным опубликовать метод дель Ферро (с упоминанием имени Тартальи, как независимо его открывшего) в своей книге «Ars Magna» в 1545 году. Кардано оправдывался тем, что обещал не сообщать никому результаты Тартальи, а не дель Ферро. Тем не менее, Тарталья считал, что Кардано нарушил обещание и послал тому вызов на соревнование, который Кардано не принял. Вызов, в конце концов, принял ученик Кардано Лодовико Феррари (1522—1565), и оказался победителем[21].
Кардано заметил, что метод Тарталья иногда (а именно — при наличии трех действительных корней) требует извлечения квадратного корня из отрицательного числа. Он даже включил вычисления с этими комплексными числами в Ars Magna, но, на самом деле, до конца проблему не понял. Рафаэль Бомбелли изучал эту проблему детально, а потому считается первооткрывателем комплексных чисел.
Франсуа Виет (1540—1603) независимо вывел решение кубического уравнения с тремя действительными корнями. Его решение было основано на тригонометрической формуле
В частности, подстановка приводит уравнение
к виду
Позднее Рене Декарт (1596—1650) углубил работу Виета [22].
Корни уравнения
правитьЧисло , обращающее уравнение в тождество, называется корнем или решением уравнения. Оно является также корнем многочлена третьей степени, стоящего в левой части канонической записи.
Над полем комплексных чисел, согласно основной теореме алгебры, кубическое уравнение
всегда имеет 3 корня (с учётом кратности).
Так как каждый вещественный многочлен нечётной степени имеет хотя бы один вещественный корень, все возможные случаи состава корней кубического уравнения исчерпываются тремя, описанными ниже.
Эти случаи различаются с помощью знака дискриминанта:
Возможны три случая:
- Если тогда уравнение имеет три различных вещественных корня.
- Если то уравнение имеет один вещественный и пару комплексно сопряжённых корней если коэффициенты уравнения — вещественные числа и не обязательно комплексно сопряжённые в противном случае.
- Если тогда хотя бы два корня совпадают. Это может быть, когда уравнение имеет двойной вещественный корень и ещё один отличный от них вещественный корень; либо все три корня совпадают, образуя корень кратности 3. Разделить эти два случая помогает результант кубического уравнения и его второй производной: у многочлена есть корень кратности 3 тогда и только тогда, когда указанный результант также равен нулю.
По теореме Виета корни кубического уравнения связаны с коэффициентами следующими соотношениями[23]:
Делением указанных соотношений друг на друга можно получить ещё несколько соотношений:
Методы решения
правитьОбщие точные методы решения:
Для некоторых особых типов кубических уравнений существуют специальные методы решения. См., например:
Также можно применять численные методы решения уравнений.
Подстановка Виета
правитьКак указывалось выше, любое кубическое уравнение можно привести к виду:
Сделаем подстановку, известную как подстановка Виета:
В результате получим уравнение:
Умножив на , получим уравнение шестой степени от , которое, на самом деле, является квадратным уравнением от :
Решая это уравнение, получим . Если , и являются тремя кубическими корнями , то корни исходного уравнения можно получить по формулам
- и
Решение Омара Хайяма
правитьКак показано на графике, для решения уравнения третьей степени , где Омар Хайям построил параболу окружность, диаметром которой является отрезок положительной полуоси , и вертикальную прямую, проходящую через пересечение параболы и окружности. Решение определяется длиной горизонтального отрезка от начала координат до пересечения вертикальной прямой с осью .
Простое современное доказательство построения: умножаем на уравнение и группируем члены
Левая часть — это значение на параболе. Уравнение окружности, совпадает с правой частью уравнения и даёт значение на окружности.
См. также
правитьПримечания
править- ↑ 1 2 John Crossley, Anthony W.-C. Lun. The Nine Chapters on the Mathematical Art: Companion and Commentary. — Oxford University Press, 1999. — С. 176. — ISBN 978-0-19-853936-0.
- ↑ 1 2 Van der Waerden. Geometry and Algebra of Ancient Civilizations. — Zurich, 1983. — С. chapter 4. — ISBN 0-387-12159-5.
- ↑ Roger Cooke. The History of Mathematics. — John Wiley & Sons, 2012. — P. 63. — ISBN 978-1-118-46029-0.
- ↑ Karen Rhea Nemet-Nejat. Daily Life in Ancient Mesopotamia. — Greenwood Publishing Group, 1998. — P. 306. — ISBN 978-0-313-29497-6.
- ↑ Roger Cooke. Classical Algebra: Its Nature, Origins, and Uses. — John Wiley & Sons, 2008. — P. 64. — ISBN 978-0-470-27797-3.
- ↑ Guilbeau, 1930 утверждает, что «египтяне полагали, что решение невозможно, но греки подошли к решению ближе.»
- ↑ 1 2 Guilbeau, 1930
- ↑ Thomas L. Heath. Diophantus of Alexandria: A Study in the History of Greek Algebra. — Martino Pub, 2009. — ISBN 978-1578987542.
- ↑ Archimedes (translation by T. L. Heath). The works of Archimedes. — Rough Draft Printing, 2007. — ISBN 978-1603860512.
- ↑ Yoshio Mikami. The Development of Mathematics in China and Japan. — 2nd ed. — New York: Chelsea Publishing Co., 1974. — С. 53—56. — ISBN 978-0-8284-0149-4.
- ↑ История математики, том I, 1970, с. 225.
- ↑ Работа Омара Хайама, Scripta Math. 26 (1963), стр. 323—337
- ↑ в книге О’Коннора и Робертсона «Omar Khayyam», MacTutor History of Mathematics archive, University of St Andrews, можно прочитать Эта задача привела Хайама к кубическому уравнению x3 + 200x = 20x2 + 2000, и он нашёл положительный корень этого уравнения как пересечение равнобочной гиперболы и окружности. Приближённое численное решение было затем найдено путём интерполяции тригонометрических таблиц.
- ↑ J. J. O’Connor и E. F. Robertson (1999), Omar Khayyam Архивная копия от 1 марта 2012 на Wayback Machine, в архиве истории математики MacTutor[англ.], утверждают, «Хайям, похоже, был первым, кто задумался об общей теории кубических уравнений.»
- ↑ Guilbeau, 1930 утверждает, «Омар Аль Хей Хорасан около 1079 года сделал много по пути продвижения методов решения алгебраических уравнений с помощью пересекающихся конических сечений.»
- ↑ Datta, Singh. History of Hindu Mathematics. — Delhi, India, 2004. — С. 76,. — ISBN 81-86050-86-8. стр. 76, Equation of Higher Degree; Bharattya Kala Prakashan
- ↑ O’Connor, John J.; Robertson, Edmund F., «Sharaf al-Din al-Muzaffar al-Tusi», MacTutor History of Mathematics archive, University of St Andrews.
- ↑ J. L. Berggren. Innovation and Tradition in Sharaf al-Din al-Tusi's Muadalat // Journal of the American Oriental Society. — 1990. — Vol. 110. — Вып. 2. — P. 304—309. — doi:10.2307/604533.
- ↑ R. N. Knott and the Plus Team. The life and numbers of Fibonacci // Plus Magazine. — 2013.
- ↑ Андронов И. К. Математика действительных и комплексных чисел. — Просвещение, 1975. — С. 91—92. — 158 с.
- ↑ Victor Katz. A History of Mathematics. — Boston: Addison Wesley, 2004. — С. 220. — ISBN 9780321016188.
- ↑ R. W. D. Nickalls. Viète, Descartes and the cubic equation // Mathematical Gazette. — July 2006. — Т. 90. — P. 203—208.
- ↑ Бронштейн И. Н., Семендяев К. А. Справочник по математике. — Изд. 7-е, стереотипное. — М.: Государственное издательство технико-теоретической литературы, 1967. — С. 139.
Литература
править- Бронштейн И. Н., Семендяев К. А. Справочник по математике. — Изд. 7-е, стереотипное. — М.: Государственное издательство технико-теоретической литературы, 1967. — С. 138—139.
- История математики. С древнейших времен до начала Нового времени // История математики / Под редакцией А. П. Юшкевича, в трёх томах. — М.: Наука, 1970. — Т. I. — 352 с.
- Лекция 4 в Табачников С.Л.. Фукс Д.Б. Математический дивертисмент. — МЦНМО, 2011. — 512 с. — 2000 экз. — ISBN 978-5-94057-731-7.
- Guilbeau, Lucye (1930), "The History of the Solution of the Cubic Equation", Mathematics News Letter, 5 (4): 8—12, doi:10.2307/3027812, JSTOR 3027812
Ссылки
правитьДля улучшения этой статьи желательно:
|