2.3. Пифагорейская математика
Близкие идеи мы находим в пифагорейских исследованиях по геометрии и арифметике.
На первой из названных наук мы не будем останавливаться подробно. Приведем лишь некоторые соображения, касающиеся греческой геометрии вообще, имея в виду, что пифагорейцы, по-видимому, создали ее значительную часть.
Ведущей идеей в геометрии является идея равенства фигур. Основной операцией здесь является наложение линий и/или фигур и их сопоставление. Важным результатом геометрического рассуждения становится заполнение одной линии или фигуры организованной совокупностью других.
Рассмотрим, например, задачу об удвоении квадрата, решение которой приведено в диалоге Платона «Менон».
Сама задача состоит в том, чтобы построить квадрат, вдвое больший данного. Решение сводится к демонстрации, что именно таким квадратом, будет квадрат, сторона которого равна диагонали исходного квадрата. Это видно из приводимого рисунка.
Рис. 2. Задача удвоения квадрата
Мы видим, что исходный квадрат – ABCD – составлен из двух равных треугольников. Квадрат DBFE, построенный на диагонали исходного, составлен из четырех точно таких же треугольников. Поэтому он вдвое больше исходного.
Здесь мы видим общий метод решения задач: разделение некоторого целого на равные части и составление нового целого из тех же частей. При этом достигается возможность соизмерения двух целостностей. В приведенном примере прямоугольный треугольник, полученный при делении исходного квадрата диагональю, является общей мерой для двух квадратов. Сопоставление двух целых предметов достигается благодаря их составленности из соизмеримых частей, в конечном счете из многократно воспроизведенной части, являющейся общей мерой.
Однако не все оказывается так гладко. Пифагорейцам пришлось иметь дело с задачами, которые не решаются подобным способом. В таких задачах ни при каком разбиении на части одного целого не удается составить из этих частей другое. Иными словами, существуют несоизмеримые величины. Таковы, например, сторона и диагональ квадрата. Мы не будем приводить здесь доказательства их несоизмеримости, но попробуем описать существо проблемы. Ясно, что диагональ больше стороны. При этом она не превышает сторону в целое число раз: удвоив сторону квадрата, мы получим величину, превышающую диагональ. Если взять теперь половину стороны, то окажется, что две половины, как мы знаем, меньше диагонали, тогда как три вторых стороны ее превышают. Разбив сторону на три равные части, мы получим, что 4/3 стороны меньше диагонали, а 5/3 – больше. Точно также 5/4 стороны не достает для покрытия диагонали, 6/4 – уже избыток. Такой же результат получится и при более дробных делениях. На какие бы равные части мы ни разделили сторону, нам никогда не удастся составить из этих частей диагональ, мы всякий раз будем получать либо недостаток, либо превышение. Впрочем, чем более мелкие части мы будем использовать, тем меньше будет разница между диагональю и составленных из этих частей отрезков. Поскольку линия делима до бесконечности, то можно достичь сколь угодно точного приближения, но точного равенства – никогда.
Несоизмеримость явно связана с бесконечной делимостью. Она не могла бы возникнуть, если бы существовал некий предел делению, если бы мы могли выявить некий атом[44], из которого были бы составлены все геометрические величины. Такой атом был бы универсальной мерой, и несоизмеримость была бы невозможна. Но такого атома нет, и, соответственно, нет общей меры для всех геометрических величин. При решении каждой задачи мы должны выбирать особую меру, сообразно ее условиям. Но, оказывается, что найти такую меру не всегда возможно.
В геометрии, таким образом, мы опять имеем дело с пределом и беспредельным. Фигуры и линии ограничены, т. е. имеют предел, но бесконечно делимы, следовательно, включают беспредельное. Точки, ограничивающие линии, и линии, огранивающие фигуры, играют ту же роль, что отдельные голоса в музыке. Они разграничивают континуум, бесконечно делимую среду, вносят в нее структуру, определенность. Именно благодаря такому разграничению возникают соразмерные целостности, подобные тем, которые мы видели в задаче об удвоении квадрата. Но, как видим, в геометрии предел не всегда может совладать с беспредельным. «Прорываясь» в виде несоизмеримости, оно не позволяет нам достичь полной ясности при изучении геометрических фигур и величин.
Гораздо в большей степени удается достичь ясности в арифметике. Здесь мы имеем как раз то, что отсутствовало в геометрии – общую меру. Все числа соизмеримы, поскольку составлены из единиц. В этом собственно и состоит определение числа. По Евклиду, число есть «множество, составленное из единиц» (Евклид. Начала. VII. Опр. 2). Если же пользоваться пифагорейскими источниками, то сходное по сути, хотя и несколько более сложное, определение дает Никомах из Герасы: «Число есть ограниченное множество, или собрание единиц, или поток составленного из единиц количества»[45]. Единица не определяется никак. Она, в отличие от числа, неделима. Иными словами, в арифметике мы имеем ровно ту ситуацию, которую описывали выше. Этим арифметика принципиально отличается от геометрии. Впрочем, число также есть единство предела и беспредельного, но беспредельное проявляет себя здесь не через бесконечную делимость, а через неограниченное возрастание.
Рассмотрим некоторые важные особенности пифагорейской арифметики, опираясь на только что цитированный источник – трактат Никомаха из Герасы. Прежде всего, заметим, что его автор настаивает на неравноправном положении наук, почитая арифметику более значимой, чем все остальные, и даже называя ее «матерью всех наук»[46]. Аргументирует он это тем, что «с ее уничтожением уничтожаются все науки, сама же она не уничтожается вместе с ними». Ни геометрия, ни астрономия, ни музыка не могут изучаться без знания чисел. Числа же, упорядочивая и организуя все остальное, не зависят ни от чего. О числах при этом достигается наиболее ясное знание.
Начнем с классификации чисел. Единица, заметим, числом не является. Она есть начало всякого числа. Числа же, прежде всего, разделяются на четные и нечетные. Первые делятся на два равных, вторые же не могут быть разделены на два.
Четные числа, в свою очередь, разделяются на три вида: четно-четные, четно-нечетные, нечетно-четные. Определения этих видов таковы.
Четно-четные числа, по определению Никомаха, делятся на две равные части так, что получившиеся доли, в свою очередь, делятся пополам и это деление пополам можно продолжать до тех пор, пока не получится единица. Иными словами, речь идет о степенях двойки, т. е. числах 2, 4, 8,16, 32, 64…
Четно-нечетное число таково, что его половины уже не делятся на два. Таковы, например, 6,10,14,18, 22, 30. Этот вид четных чисел Никомах называет противоположным первому.
Наконец третий вид, который Никомах считает средним между двумя противоположностями – нечетно-четные числа – это числа, половины которых делятся пополам, и даже у некоторых половины половин делятся надвое, а у некоторых это деление можно продолжить и далее. Однако, в отличие от четно-четных чисел, это деление невозможно продолжить до единицы. Его конечным итогом всегда будет какое-то нечетное число (напомним, что единицу пифагорейцы числом не считали, а потому не считали ее нечетной). Таковы, например, числа 24, 28, 36, 40, 44.
Далее Никомах описывает свойства каждого из трех видов, чем мы здесь заниматься уже не будем. Заметим, что такая классификация четных чисел для современной математики не очень интересна, тогда как пифагорейцы явно придают ей большое значение. Чем же она важна? Я думаю, что некоторую подсказку мы получим, если посмотрим, как определяет эти виды чисел Евклид.
Четно-четное число есть четным числом измеримое четное число раз.
Четно-нечетное число есть четным числом измеримое нечетное число раз.
Нечетно-четное число есть нечетным числом измеримое четное число раз (Евклид. Начала. VII. Опр. 8-10).
Получается, что речь здесь, как и при изучении геометрических фигур, идет об измеримости. На этот раз одно число оказывается мерой для других. Помимо того, что все числа измеримы единицей и, следовательно, соизмеримы, между числами определенного вида можно найти дополнительную соизмеримость, т. е. можно измерить их общей мерой, отличной от единицы. Измеримость же есть составленность целого из частей, более того, определенная организация частей, составляющих целое. У каждого из трех видов четных чисел эта организация разная.
Туже мысль можно увидеть и в классификации нечетных чисел. Здесь так же различаются три вида, причем так, что два из них противоположны, а третий – промежуточный. Числа первого из этих видов называются «первичными и несоставными», второго – вторичными и составными. Числа третьего вида Никомах определяет как «сами по себе вторичные и составные, но по отношению к другим – первичные и несоставные».
