Укрощение бесконечности. История математики от первых чисел до теории хаоса - [6]

Важный раздел математики, лежащий на поверхности, – арифметика. Но с появлением карманных калькуляторов, способных рассчитывать стоимость покупок или величину налогов, ее оттеснили еще дальше. По крайней мере, многие из нас всё еще отдают себе отчет в том, что арифметика есть где-то там. Мы живем в полной зависимости от чисел, будь то расчеты доходов и налогов, общение с людьми в другом полушарии, исследование поверхности Марса или испытание нового лекарственного средства. Всё это уходит корнями в Древний Вавилон, к писцам и учителям, изобретавшим эффективные способы изображать числа и оперировать ими. Они использовали свои познания в арифметике в двух направлениях: в приземленной деятельности простых людей (например, измерение земельных наделов или подсчет налогов) и в возвышенной работе человеческого разума (предсказание солнечных затмений или движения планет в небесной сфере).

Сегодня мы поступаем так же. Мы используем простейшие вычисления, незначительные даже для арифметики, для сотен мелких дел: добавления в нужной концентрации средства от паразитов в пруд с золотыми рыбками, покупки нужного числа рулонов новых обоев для спальни, составления маршрута таким образом, чтобы потратить меньше бензина и сэкономить. А наша культура использует высшую математику в науке, технологиях и всё больше в торговле. Изобретение цифр и арифметического счета наряду с обретением речи и письма занимает законное место среди достижений, которые отличают нас от обучаемых обезьян.

Глава 2. Логика формы

Первые шаги в геометрии

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

Начала геометрии

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

Табличка YBC 7289 с клинописными числами

Увлечение математиков формами имеет долгую историю. Даже на вавилонских табличках мы находим диаграммы. Например, на табличке с регистрационным номером YBC 7289 есть квадрат с двумя диагоналями. Его стороны отмечены клинописными символами, означающими 30. Выше на одной из диагоналей стоит 1;24,51,10, а под нею 42;25,35, которое равно произведению первого числа на 30, а также длине этой диагонали. Таким образом, 1;24,51,10 – длина диагонали меньшего квадрата со стороной, равной единице. Теорема Пифагора утверждает, что она равна корню квадратному из 2, и мы обозначаем его как √2. 1;24,51,10 приближает √2 с точностью до шести цифр после запятой.

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

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

Пифагор

Сегодня мы принимаем как должное то, что математика дает нам ключи к законам существования природы. Первые систематизированные записи об этом пришли к нам от пифагорейцев – приверженцев мистического культа, датируемого промежутком между 600 и 400 гг. до н. э. Его основатель Пифагор родился около 569 г. до н. э. на Самосе. Место и дата его смерти покрыты мраком, но в 460 г. до н. э. основанный им культ подвергся нападкам и искоренению, а тайные места сборищ были уничтожены. В одном из них, доме Мило в Кротоне, более 50 захваченных пифагорейцев вырезали на месте. Многие из выживших сбежали в Фивы в Верхнем Египте. Не исключено, что одним из этих людей был сам Пифагор. Но даже если это всего лишь красивая выдумка, мы практически ничего не знаем о Пифагоре наверняка. Имя его у всех на слуху, главным образом из-за знаменитой теоремы о прямоугольном треугольнике, но мы даже не уверены, доказал ли ее он сам.