Математическая планета. Путешествие вокруг света

Чтобы построить квадрат, почти равный по площади восьмиугольнику, нужно найти число с такое, что с²  = 7х². Для целых с это уравнение не имеет решений, однако можно найти приближенное значение с примерно = x√7, например с = 8. Именно его использовали египтяне, получая очень близкие результаты: 7х² = 63,с² = 64.

Рей Пастор и Бабини считают, что египтяне вывели правило по результатам действий с дробными частями единицы. Так как требуется вычесть из диаметра его девятую часть, возникает вопрос: какую дробную часть диаметра вида 1/n, где n — натуральное, необходимо рассмотреть, чтобы найти длину стороны эквивалентного квадрата? Пусть диаметр окружности D = 1. Вычтем из него дробь 1/n и вычислим, каким должно быть значение n, чтобы при возведении этой разности в квадрат получалось число, близкое к площади круга с диаметром 1.

Математика с большой буквы

Значительная часть известной нам сегодня математики создана на основе традиций, заложенных Евклидом в его «Началах». Этот труд не просто сборник задач и решений. В нем описано математическое мышление, которое принималось за образец вплоть до середины XX века, пока Бертран Рассел не пошатнул сами его основы.

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

В предложении 1 описывается построение равностороннего треугольника на данном отрезке. Пусть дан отрезок АВ. Нужно построить с помощью циркуля окружность радиуса АВ с центром в точке А. Далее аналогично строится окружность с центром в точке В. Две построенные окружности пересекутся в точках Р и Q. Эти точки будут находиться на одинаковом расстоянии от А и В. Следовательно, треугольники АВР и ABQ равносторонние.

Критики отмечают, что в доказательстве используется аксиома о непрерывности линий, отсутствующая среди евклидовых постулатов. Если эта аксиома не выполняется, то построенные окружности необязательно пересекутся. Следовательно, «Начала» — это не исчерпывающий математический трактат, а продукт культуры, в котором изложены все известные на определенный момент времени знания, заимствованные из разных культур. Некоторые даже осмеливаются заявлять, что именно «Начала» научили нас мыслить математически. Однако математическая мысль вовсе не ограничивается триадой «аксиома — теорема — доказательство», она может принимать и другие формы. Несмотря на то что в «Началах» описывается ряд алгоритмов, в частности алгоритм вычисления наибольшего общего делителя двух натуральных чисел, нельзя сказать, что алгоритмы действительно составляют часть математической мысли, описанной в этом трактате. В разделе «Начал», посвященном алгебре, мы не встретим описания итеративных процессов, в которых последовательность приближений, найденных по определенному алгоритму, сходится к решению задачи. Эти идеи возникли позже и характерны для китайской, арабской и индийской культур. Евдокс, который, возможно, был современником Евклида, применил схожий подход в своих работах, которые, однако, не упоминаются в «Началах». Архимед, живший на 100 лет позже Евклида, вероятно, первым применил метод последовательных приближений для вычисления площади круга и получил самый точный результат своего времени. Понятие последовательности и ее сходимости спустя почти 2 тысячи лет дали начало анализу бесконечно малых. Возникает вопрос, как Евклид рассматривал анализ бесконечно малых: как процесс или как идею?

Бертран Рассел пошел дальше и заявил, что математика выводится из логики. Однако этот факт вовсе не означает, что логика — суть математики. Мы каждый день принимаем решения, которые можно обосновать при помощи логики, но не рассматриваем их как логические задачи. Мы принимаем решения с учетом множества факторов, и логика — лишь один из них. Мы очень часто опираемся на опыт, интуицию, аналогии, советы и бесчисленное множество других доводов, которые по истечении времени можно рационально обосновать. Но мы не всегда рассуждаем исключительно рационально. Так и математическая мысль и сама математика не сводятся к одной лишь логике.

Метод последовательных приближений