Омар Хайям - [54]

Вторая и третья книги «Комментариев к трудностям во введениях книги Евклида» посвящены теории отношений. Хайям подтверждает правильность знаменитого определения тождества двух отношений в пятой книге «Начал», в которой Евклид сравнивает произвольные равнократные первой и третьей и, соответственно, второй и четвертой величин, образующих пропорцию.

Это определение, однако, с его точки зрения, страдает существенным недостатком, ибо не выявляет «истинный смысл пропорции». Хайям считал, что определение Евклида не конкретизирует измерительных аспектов отношений, которые представляли практический интерес для математики мусульманских стран. Поэтому свою задачу он видел в формулировании такого определения равенства отношений, которое непосредственно отражало бы числовую функцию отношения. Хайям намеревался соединить общую теорию отношений пятой книги, пригодную и для непрерывных соизмеримых величин, и теорию отношений чисел седьмой книги. При этом Хайям пошел по новому и оригинальному пути: он доказывает эквивалентность Евклидовых определений тождества и неравенства отношений с новыми.

В основе исходного определения Хайяма лежит процесс отыскания наибольшей общей меры и соответствующий алгоритм Евклида. Доказывая эквивалентность определений Евклида и собственного, Омар Хайям приходит к выводу о наличии существенного пробела в теории отношений — отсутствие общей теории о существовании четвертой пропорциональной к трем данным величинам, которую Евклид доказал в шестой книге только для частного случая отрезков. С точки зрения Хайяма, существует прямая связь этой теоремы с непрерывностью и доказывает ее на основании еще одного из «принципов, заимствованных у философа»: «величины можно делить до бесконечности, то есть они не состоят из неделимых» (кстати, это положение Аристотеля будет играть важную роль и в его философских трактатах). Для обоснования этой теоремы Хайям доказывает, что величина принимает каждое значение, промежуточное между какими-либо двумя ее значениями. Хотя для этого приведенного принципа недостаточно, здесь важна сама принципиальная идея.

Третья книга «Комментариев» посвящена проблеме составления отношений, недостаточно развитых у Евклида. Это учение представляло для математиков стран ислама особую важность в связи с возможными приложениями к теории музыки и, главное, тригонометрии. Здесь Омар Хайям отходит от концепции о числе Аристотеля. Признавая, что число в собственном смысле — это натуральное число, собрание единиц, он предлагает ввести более широкое абстрактное понятие о числе как о действительном положительном числе. При этом Хайям теоретически обосновывает давнюю практику математиков. Ведь «вычислители и землемеры часто говорят: половина единицы или треть ее или какая-нибудь другая доля ее, в то время как единица неделима… предполагают единицу делимой. Они часто говорят: корень из пяти, корень из десяти и т. д. — их слова, действия и измерения изобилуют этими выражениями».

Для большинства математиков и философов Древней Греции было характерно восприятие числа исключительно как меры дискретных множеств предметов или меры непрерывных величин, состоящих из однородных с ними величин, равных между собой. Расцвет астрономии, огромные и регулярные вычислительные работы по составлению тригонометрических и астрономических таблиц, успехи числовой алгебры — все это привлекло внимание к иррациональным числам (1/5) как законному объекту математики.

Хайям, развивая тенденцию на объединение отношений и чисел, первый со всей определенностью формулирует и новую, более общую концепцию действительного (положительного) числа. Он вводит и обосновывает понятие общей абстрактной числовой величины, указывая на практическую значимость такого расширения понятия числа. Хайям подчеркивает, что новая, вводимая им единица является делимой, — только у практиков эта единица всякий раз являлась именованной и могла рассматриваться как множество других более мелких единиц, а у Хайяма это — отвлеченная числовая единица. В итоге у Хайяма каждому отношению ставится в соответствие некоторое действительное (положительное) число и отношения вместе с числами приобретают функции измерения любых величин.

За Хайямом в теории отношений и учении о числе последовал Насир ад-Дин ат-Туси. В Европе единое понятие действительного (положительного и отрицательного) числа впервые появляется в конце XVI века. Строгие теории действительного числа появились только в конце XIX века. В третьей книге у Хайяма есть следующий отрывок: «Что касается отнимания отношения, упоминаемого в музыке, то на самом деле при внимательном рассмотрении оно оказывается разновидностью присоединения, и метод изучения — тот же самый для обладающего проницательным умом и хорошей интуицией. Мы коснулись этого вопроса в „Комментариях к трудностям“ Книги о музыке». Упоминаемая Хайямом работа не сохранилась. Скорее всего это были комментарии к «Большой книге о музыке» аль-Фараби, с творчеством которого Хайям был хорошо знаком.

Те, в ком страсти волнуются, мысли кипят, —

Все на свете понять и изведать хотят.