Математика. Утрата определенности.
Шрифт:
где a, b, c— длины сторон треугольника, p— его полупериметр. Вычисление площади треугольника по формуле Герона нередко приводит к иррациональным числам. Формула Герона замечательна еще в одном отношении: в отличие от греков эпохи высокой классики, которые считали бессмысленным произведение более чем трех чисел, поскольку ему нельзя было придать геометрический смысл, Герон был чужд подобных предрассудков. Во многих чистых и прикладных науках, развитых греческими учеными александрийского периода — составление календаря, измерение времени, навигационные расчеты, оптика, география, пневматика и гидростатика (гл. I), — иррациональные числа находили самое широкое применение.
Высшим достижением александрийцев стало создание Гиппархом и Птолемеем количественной астрономии — геоцентрической системы мира,
Арифметика и алгебра, столь свободно используемые александрийцами, которым они достались по наследству от египтян и вавилонян, были лишены логической основы. Птолемей и другие ученые александрийского периода, как правило, перенимали у древних египтян и вавилонян эмпирический подход к математике. Такие иррациональные числа, как , 2, 3 и другие, вводились некритически и в случае необходимости заменялись рациональными приближениями. Наиболее известный пример использования иррациональных чисел — приближенное вычисление Архимедом числа .По оценкам Архимеда, значение заключено между 3 1/ 7и 3 10/ 71. Независимо от того, знал или нет Архимед, что число иррационально, найденные им приближенные значения содержали нескончаемые нагромождения квадратных корней ([33], с. 266-270, 528-553), а извлечение квадратного корня чревато появлением иррациональных чисел, о чем не мог не знать Архимед.
Для нашего повествования возрождение александрийскими математиками египетской и вавилонской алгебры, не зависящей от геометрии, имеет ничуть не меньшее значение, чем свободное использование иррациональных чисел. Выдающуюся роль в «оживлении» старой традиции сыграли Герон и еще один представитель александрийской школы — Диофант (примерно III в.). И Герон, и Диофант считали, что алгебраические и арифметические задачи представляют самостоятельный интерес и что обращение к геометрии излишне, поскольку не придает ни большей значимости задачам, ни большей логичности решениям. Герон формулировал и решал алгебраические задачи чисто арифметическими средствами. Например, дан квадрат, такой, что сумма его площади и периметра равна 896 {65} ; требуется найти сторону квадрата. Чтобы решить квадратное уравнение, к которому сводится задача, Герон добавляет к обеим частям полученного равенства по 4 и извлекает из них квадратный корень. Герон не доказывает правильности своих действий, а лишь указывает, в какой последовательности их надлежит выполнить. В работах Герона имеется немало задач такого рода.
65
За единицу площади здесь принимается квадрат со стороной, равной единице длины. — Ред.
В своей «Геометрике» Герон говорит о сложении площади круга, длины окружности и диаметра. Разумеется, под этим он понимает сложение численных значений этих величин. Говоря об умножении квадрата на квадрат, Герон также имеет в виду вычисление произведения тех чисел, которыми выражаются площади квадратов. Тем самым Герон как бы осуществил перевод многого из того, что достигла геометрическая алгебра древних греков, на язык арифметических и алгебраических операций. Некоторые из задач, рассмотренных Героном и его ближайшими последователями, в точности совпадают с задачами, встречающимися в вавилонских и египетских текстах за 2000 лет до н.э. Следует подчеркнуть, что свои алгебраические работы греки излагали в описательной манере. Ни к какой символике они не прибегали. Не приводили они и доказательств правильности используемых приемов. Со времен Герона задачи, приводящие к уравнениям, стали довольно распространенным типом головоломок.
В александрийский период алгебра достигла своего наивысшего расцвета в трудах Диофанта. О происхождении и жизни этого ученого почти ничего не известно. К сожалению, труды Диофанта, намного превосходившие по глубине и значимости сочинения его современников, появились слишком поздно, чтобы оказать сколько-нибудь заметное влияние на развитие математики того времени; разрушительная волна (гл. II) уже надвигалась, погребая под собой греческую цивилизацию. Несколько книг, написанных Диофантом, безвозвратно утеряно, однако шесть частей величайшего сочинения Диофанта «Арифметика»,
Одной из значительных заслуг Диофанта является введение в алгебру некоторой символики. Поскольку мы располагаем не подлинными рукописями самого Диофанта, а лишь поздними (датируемыми не ранее чем XIII в.) копиями, трудно говорить с уверенностью, какими именно символами пользовался сам Диофант. Известно лишь, что он ввел символы, соответствующие нашим обозначениям x,степеням неизвестного xвплоть до x 6и 1/x.Появление такой символики замечательно само по себе, но еще больший интерес представляет введение степеней выше третьей, поскольку, как мы уже отмечали, греки классического периода игнорировали произведения более чем трех сомножителей, так как считали их не имеющими геометрического смысла. Но если подходить к умножению с чисто арифметических позиций, то произведения более трех сомножителей, разумеется, становятся вполне законными. Именно такой подход к произведениям трех и более чисел был избран Диофантом.
Свои решения Диофант излагал словесно — так, как мы пишем прозу. Все необходимые действия он производил исключительно арифметически, не прибегая к геометрии для иллюстрации или в подтверждение своих рассуждений. Произведение (x - 1)(x - 2)Диофант вычислял чисто алгебраически, как это делаем мы. Использовал он и алгебраические тождества, например равенство a 2– b 2 = (а - b)(a + b)и более сложные. Строго говоря, в своих вычислениях Диофант выполнял действия, основанные на использовании алгебраических тождеств, хотя сами тождества в явном виде у него не встречались.
Алгебра Диофанта обладала еще одной особенностью: Диофант охотно решал неопределенные уравнения, например одно уравнение с двумя неизвестными. Такие уравнения математики рассматривали и до Диофанта. Так, пифагорейцы нашли целочисленные решения уравнения {66} x 2+ y 2= z 2.Аналогичные уравнения рассматривались и в других сочинениях. Но Диофант был первым, кто предпринял систематические и обширные исследования неопределенных уравнений, став тем самым основателем нового раздела алгебры, называемого ныне диофантовым анализом. {67}
66
Формулы для решения в целых числах «пифагорова уравнения» x 2+ y 2= z 2обычно приписываются Платону, но реально они, безусловно, были известны ранее, скажем в школе пифагорейцев. Выдающийся знаток вавилонской математики, ученик Д. Гильберта Отто Нейгебауэр (р. 1899) предположил даже, что эти формулы (разумеется, без строго логического их обоснования) были известны еще в древнем Вавилоне, ибо иначе становится совершенно загадочной обнаруженная Нейгебауэром древневавилонская клинописная глиняная табличка, содержащая список ряда первых решений этого уравнения.
67
Диофантовым анализом(см. по этому поводу: Башмакова и Славутин [34]) обычно называют теорию решений неопределенных уравнений (т.е. уравнений, содержащих более одного переменного) в целыхчислах, тогда как Диофанта интересовала родственная проблема отыскания рациональныхрешений подобных уравнений.
Хотя применение алгебры снискало Диофанту широкую известность, нельзя не отметить, что он признавал только положительные рациональные корни и отбрасывал все остальные. Даже при решении квадратного уравнения с одним неизвестным, имеющего два положительных рациональных корня, Диофант приводил только один (больший) корень. Если же уравнение имело два отрицательных корня, иррациональные или комплексные, то Диофант отвергал такое уравнение, считая его неразрешимым. Если уравнение, имело иррациональные корни, то Диофант шаг за шагом, от конца к началу, прослеживал полученное решение и показывал, как изменить исходное уравнение, чтобы новое уравнение имело рациональные корни. В этом Диофант отличался от Герона и Архимеда. Герон был инженером, и возникавшие в его расчетах иррациональные числа не пугали его. Для Герона иррациональные величины были вполне приемлемыми, хотя он, разумеется, и заменял их рациональными приближениями. Архимед также стремился получить точные решения и, если ответы выражались иррациональными числами, указывал границы, в которых те были заключены.