Морис Клайн - Математика. Утрата определенности.
Хотя применение алгебры снискало Диофанту широкую известность, нельзя не отметить, что он признавал только положительные рациональные корни и отбрасывал все остальные. Даже при решении квадратного уравнения с одним неизвестным, имеющего два положительных рациональных корня, Диофант приводил только один (больший) корень. Если же уравнение имело два отрицательных корня, иррациональные или комплексные, то Диофант отвергал такое уравнение, считая его неразрешимым. Если уравнение, имело иррациональные корни, то Диофант шаг за шагом, от конца к началу, прослеживал полученное решение и показывал, как изменить исходное уравнение, чтобы новое уравнение имело рациональные корни. В этом Диофант отличался от Герона и Архимеда. Герон был инженером, и возникавшие в его расчетах иррациональные числа не пугали его. Для Герона иррациональные величины были вполне приемлемыми, хотя он, разумеется, и заменял их рациональными приближениями. Архимед также стремился получить точные решения и, если ответы выражались иррациональными числами, указывал границы, в которых те были заключены.
Нам не известно доподлинно, как Диофант пришел к своим уравнениям (см. [34]). Поскольку Диофант не пользовался геометрией, маловероятно, что он лишь переложил методы Евклида, приспособив их к решению квадратных уравнений. К тому же у Евклида не встречаются неопределенные уравнения: Диофант был первым из математиков, занявшихся систематическим исследованием таких уравнений. Мы не знаем, существовала ли преемственность в науке в конце александрийского периода, и поэтому нам трудно установить, в какой мере сказались на работах Диофанта идеи его древнегреческих предшественников. Использованные Диофантом методы решения уравнений имеют гораздо больше общего с традициями вавилонской математики. Ее влияние на Диофанта косвенно подтверждается и другими фактами. Однако алгебра Диофанта существенно отличается от вавилонской: Диофант ввел символику и стал систематически решать неопределенные уравнения. В целом деятельность Диофанта стала заметной вехой в истории алгебры.
Работы Герона и Диофанта, Архимеда и Птолемея по различным вопросам арифметики и алгебры не отличались по своему стилю от «рецептурных» текстов египтян и вавилонян, содержавших четкие указания относительно того, что и в какой последовательности следует делать. Дедуктивные, проводимые «по всей форме» доказательства геометрии Евклида, Аполлония и Архимеда были здесь преданы забвению. Все проблемы рассматривались индуктивно: автор указывал способ решения конкретной задачи, предположительно пригодный для решения более широкого круга задач, границы которого были нечетки. Нужно ли говорить, что при этом различные типы чисел (целые числа, дроби, иррациональные числа) вообще не определялись, если не считать маловразумительных определений целых чисел, предложенных Евклидом. Не существовало и аксиоматической основы, на которой можно было бы построить дедуктивную систему, пригодную для решения арифметических и алгебраических проблем.
Таким образом, греки завещали потомкам две совершенно различные математические науки: с одной стороны — дедуктивную, систематически развитую и излагаемую, хотя и не свободную от ошибок, геометрию, с другой — эмпирическую арифметику и алгебру как ее обобщение. Поскольку, согласно представлениям греческих мыслителей классического периода, математические результаты должны были выводиться дедуктивно и базироваться на явно заданной аксиоматической основе, возникновение независимых арифметики и алгебры, не обладающих собственной логической структурой, привело к одной из величайших аномалий в истории математики.
Индийцы и арабы, подхватившие эстафету развития математики после окончательного уничтожения арабами эллинистической (александрийской) греческой цивилизации, в еще большей мере нарушили концепцию математики, сложившуюся у греков классического периода. Подобно своим предшественникам — грекам, индийские и арабские математики использовали целые числа и дроби, но они, не колеблясь, оперировали и иррациональными числами. Именно они ввели новые, верные, правила сложения, вычитания, умножения и деления иррациональных чисел. Как же индийцам и арабам удалось придумать правила, лишенные логического обоснования и тем не менее оказавшиеся верными? Загадка решается довольно просто: индийцы и арабы рассуждали по аналогии. Так, правило √ab = √a∙√b они считали верным для любых чисел a и b, поскольку оно выполнялось, например, в случае √36 = √4∙√9. Фактически индийцы считали, не оговаривая этого специально, что с квадратными корнями из целых чисел можно обращаться так же, как с целыми числами.
Индийцы были менее изощренными математиками, чем греки, и не видели, какие логические трудности таятся в понятии иррационального числа. Интересуясь «рецептурной», или алгоритмической, стороной вычислений, индийцы не заметили те различия, которым греки придавали столь большое значение. Но производя сложение и вычитание, умножение и деление иррациональных чисел по таким же правилам, по каким производятся арифметические операции над рациональными числами, индийцы внесли посильный вклад в развитие математики. Кроме того, вся их арифметика была полностью независимой от геометрии.
Введя в обращение отрицательные числа для обозначения денежных долгов, или пассива, индийцы преумножили и без того многочисленные логические трудности математиков (положительные числа при таком подходе должны означать наличность, или актив). Первым ввел отрицательные числа Брахмагупта (около 628 г.), но он лишь сформулировал правила четырех арифметических действий над отрицательными числами, не приведя никаких определений, аксиом или теорем. Выдающийся индийский математик XII в. Бхаскара обратил внимание на то, что квадратный корень из положительного числа имеет два значения — положительное и отрицательное. Бхаскара рассмотрел также вопрос о квадратном корне из отрицательных чисел и пришел к выводу, что такой корень не существует, так как иначе его квадрат должен был бы быть отрицательным числом, а отрицательное число не может быть квадратом.
Далеко не все индийцы восприняли нововведение Бхаскары. Даже сам Бхаскара, приводя в качестве решений одной задачи два числа (50 и −50), утверждал: «Второе значение следует отбросить как неприемлемое, ибо люди не одобряют отрицательных решений». Тем не менее отрицательные числа вскоре после того, как они были введены, начали распространяться все шире.
Индийцам удалось достичь некоторых успехов и в алгебре. Для описания операций и неизвестных они ввели сокращенные слова и специальные символы, И хотя символика индийцев не была всеобъемлющей, их алгебра обладала определенными преимуществами по сравнению с алгеброй Диофанта. Решая задачу, индийцы указывали только основные этапы решения, не приводя никаких обоснований или доказательств. Отрицательные и иррациональные корни квадратных уравнений индийцы рассматривали наряду с положительными и рациональными корнями.
В действительности индийцы обращались с алгеброй еще более свободно, чем мы здесь говорили. Например, из тригонометрии известно, что sin2α + cos2α = 1 при любом угле α. Для Птолемея, одного из создателей тригонометрии и автора ее первого систематического изложения, это соотношение было геометрическим утверждением о соотношении между длинами хорд в окружности. Хотя, как мы отмечали, Птолемей свободно пользовался арифметикой, выражая неизвестные длины через известные, он в основном опирался на геометрию и приводимые им аргументы были геометрическими. Индийцы же оперировали с тригонометрическими отношениями, по существу, так, как мы сейчас, — для них это были просто числа. Вычисляя cos α по известному sin α, они свободно использовали соотношение sin2α + cos2α = 1, применяя затем простейшие преобразования своих формул. Таким образом, при выводе и записи соотношений между синусами и косинусами углов индийская тригонометрия полагалась не столько на геометрию, сколько на алгебру.
Мы видим, что арифметика и вычислительные возможности математики интересовали индийцев несравненно больше, чем дедуктивные схемы рассуждений, и что основной вклад они внесли именно в развитие арифметики и разработку практических приемов вычислений. Математику индийцы называли ганита, что означает «наука о вычислениях». Они предложили немало удобных методов вычислений и усовершенствовали известные ранее приемы счета, но, судя по всему, совсем не рассматривали доказательств. Индийцы пользовались определенными математическими правилами, не задумываясь над логической обоснованностью своих действий. Ни одну область математики индийцы не обогатили ни общими методами, ни радикально новыми идеями.
