В «Трактате о доказательствах задач алгебры и алмукабалы» (перс. «Рисала фи-ль-бара̄хӣн ‘ала̄ маса̄’иль аль-джабр ва-ль-мука̄бала») Омар Хайям совершил прорыв в алгебре, систематизировав кубические уравнения и предложив геометрические методы их решения с помощью конических сечений (парабол, гипербол, окружностей).
Омар Хайям в своём труде дал классификацию 25 канонических видов уравнений. Из них 6 видов были известны ещё ал-Хорезми, 5 сводились к ним, а 14 — это кубические уравнения, для которых Хайям впервые дал геометрические методы решения.
Омар Хайям классифицировал квадратные уравнения, опираясь на традиции ал-Хорезми, и выделял шесть основных типов квадратных уравнений, в зависимости от наличия и расположения членов (квадрат, линейный член и свободный член). Для каждого типа он предлагал конкретные методы решения, главным образом используя метод «дополнения до квадрата».
Примечание: Хайям, как и ал-Хорезми (IX век), рассматривал только положительные коэффициенты и корни.
Ниже приведена таблица с пятью видами уравнений, которые по классификации Хайяма имеют степень 3 или 4, но допускают понижение порядка путём деления на x, x^2 или замены переменной, и сводятся к квадратным уравнениям:
Омар Хайям придумал гениальный геометрический способ решения кубических уравнений — без сложных формул, только с помощью построения кривых!
Ниже приведена таблица с полным списком 14 типов кубических уравнений. Для каждого из этих уравнений Хайям подбирал пару конических сечений (параболы, гиперболы, окружности), пересечение которых давало геометрическое решение уравнения. Решение сводилось к построению на плоскости соответствующих кривых и нахождению их точек пересечения, что позволяло определить положительный корень.
Эта классификация стала основой для дальнейшего развития алгебры в трудах Шараф ад-Дина ат-Туси и европейских математиков Возрождения.
Почему Хайям не использовал y=x^3?
- Сложность построения
В XI веке не было координатной системы (её придумали только в XVII веке!), и кривые строили с помощью циркуля и линейки.- Параболу y=x^2 или гиперболу x/y=k можно было задать геометрически (например, как сечения конуса).
- А вот y=x^3 не является коническим сечением — её сложно точно начертить без алгебры.
- Неочевидность пересечений
Хайям искал положительные вещественные корни (отрицательные числа тогда не использовались).- Кривые вроде параболы y=x^2 и окружности x^2+y^2=R давали наглядные точки пересечения.
- Кубическая парабола y=x^3 ведёт себя «неудобно»: она слишком быстро растёт и сложнее пересекается с другими кривыми.