Шараф ад-Дин ат-Туси | |
---|---|
Рожденный | Шараф ад-Дин аль-Мухаффар ибн Мухаммад ибн аль-Мухаффар аль-Туси около 1135 г. Тус , современный Иран |
Умер | около 1213 г. |
Занятие | Математик |
Эра | Золотой век ислама |
Шараф ад-Дин аль-Мухаффар ибн Мухаммад ибн аль-Мухаффар аль-Туси ( персидский : شرفالدین مظفر بن محمد بن مظفر توسی ; ок. 1135 Тус, Иран – ок. 1213 Иран ) [1] более известный как Шараф ад-Дин ат-Туси или Шараф ад-Дин ат-Туси , [2] был иранским математиком и астрономом Золотого века ислама (во времена Средний возраст ). [3] [4]
Аль-Туси, вероятно, родился в Тусе, Иран . О его жизни известно немного, за исключением того, что можно найти в биографиях других ученых [5] и того, что большинство математиков сегодня могут проследить свою родословную до него. [6]
Около 1165 года он переехал в Дамаск и преподавал там математику. Затем он жил в Алеппо в течение трех лет, прежде чем переехать в Мосул , где он встретил своего самого известного ученика Камаль ад-Дина ибн Юнуса (1156-1242). Камаль ад-Дин позже стал учителем другого известного математика из Туса, Насир ад-Дина ат-Туси . [5]
По словам Ибн Аби Усайбии , Шараф ад-Дин был «выдающимся знатоком геометрии и математических наук, не имевшим себе равных в свое время». [7] [a]
Аль-Туси приписывают выдвижение идеи функции, однако его подход не был очень явным, решающий шаг алгебры к динамической функции был сделан спустя 5 столетий после него немецким энциклопедистом Готфридом Лейбницем. [8] Шараф ад-Дин использовал то, что позже стало известно как « метод Руффини — Хорнера », для численного приближения корня кубического уравнения . Он также разработал новый метод определения условий, при которых определенные типы кубических уравнений будут иметь два, одно или ни одного решения. [5] Для аль-Туси «решение» означало «положительное решение», поскольку возможность того, что ноль или отрицательные числа будут считаться истинными решениями, в то время еще не была признана. [9] [10] [11] Рассматриваемые уравнения можно записать, используя современные обозначения, в виде f ( x ) = c , где f ( x ) — кубический многочлен, в котором коэффициент при кубическом члене x 3 равен −1 , а c положительно. Мусульманские математики того времени разделили потенциально разрешимые случаи этих уравнений на пять различных типов, определяемых знаками других коэффициентов f ( x ) . [b] Для каждого из этих пяти типов аль-Туси записал выражение m для точки, где функция f ( x ) достигает своего максимума , и дал геометрическое доказательство того, что f ( x ) < f ( m ) для любого положительного x, отличного от m . Затем он пришел к выводу, что уравнение будет иметь два решения, если c < f ( m ) , одно решение, если c = f ( m ) , или ни одного, если f ( m ) < c . [12]
Аль-Туси не дал никаких указаний на то, как он открыл выражения m для максимумов функций f ( x ) . [13] Некоторые ученые пришли к выводу, что аль-Туси получил свои выражения для этих максимумов, «систематически» взяв производную функции f ( x ) и установив ее равной нулю. [14] [15] Однако этот вывод был оспорен другими, которые указывают, что аль-Туси нигде не записывал выражение для производной, и предлагают другие правдоподобные методы, с помощью которых он мог открыть свои выражения для максимумов. [16] [17]
Величины D = f ( m ) − c , которые могут быть получены из условий аль-Туси для числа корней кубических уравнений путем вычитания одной стороны этих условий из другой, сегодня называются дискриминантом кубических многочленов, полученных путем вычитания одной стороны соответствующих кубических уравнений из другой. Хотя аль-Туси всегда записывает эти условия в формах c < f ( m ) , c = f ( m ) или f ( m ) < c , а не в соответствующих формах D > 0 , D = 0 или D < 0 , [17] Рошди Рашед тем не менее считает, что его открытие этих условий продемонстрировало понимание важности дискриминанта для исследования решений кубических уравнений. [18]
Шараф ад-Дин проанализировал уравнение x 3 + d = b ⋅ x 2 в форме x 2 ⋅ ( b - x ) = d , заявив, что левая часть должна по крайней мере равняться значению d для того, чтобы уравнение имело решение. Затем он определил максимальное значение этого выражения. Значение меньше d означает отсутствие положительного решения; значение, равное d, соответствует одному решению, в то время как значение больше d соответствует двум решениям. Анализ этого уравнения Шарафом ад-Дином был заметным достижением в исламской математике , но его работа не получила дальнейшего развития в то время ни в мусульманском, ни в европейском мире. [19]
«Трактат об уравнениях» Шарафа ад-Дина ат-Туси был описан Рошди Рашедом как открытие начала алгебраической геометрии . [20] Это подверглось критике со стороны Джеффри Оукса, который утверждал, что Аль-Туси не изучал кривые с помощью уравнений, а скорее уравнения с помощью кривых (так же, как это делал аль-Хайям до него) и что изучение кривых с помощью уравнений берет свое начало с Декарта в семнадцатом веке. [21] [22]
Шараф ад-Дин изобрел линейную астролябию , иногда называемую «Посохом Туси». Хотя ее было легче построить и она была известна в аль-Андалусе , она не получила большой популярности. [7]
Астероид главного пояса 7058 Аль-Туси , открытый Генри Э. Холтом в Паломарской обсерватории в 1990 году, был назван в его честь. [23]