Ричард Манкевич - История математики. От счетных палочек до бессчетных вселенных

• Название: История математики. От счетных палочек до бессчетных вселенных
• Автор: Ричард Манкевич
• Издательство: Ломоносовъ
• Жанр: Научпоп
• Год: 2011
• ISBN: 978-5-91678-097-0

Эта книга, по словам самого автора, — «путешествие во времени от вавилонских „шестидесятников“ до фракталов и размытой логики». Таких «от… и до…» в «Истории математики» много. От загадочных счетных палочек первобытных людей до первого «калькулятора» — абака. От древневавилонской системы счисления до первых практических карт. От древнегреческих астрономов до живописцев Средневековья. От иллюстрированных средневековых трактатов до «математического» сюрреализма двадцатого века…

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

---

Извлечение квадратного и кубического корней начинается с определения порядка величины корня путем осмотра, и затем по очереди вычисляется каждая цифра. В примере из «Девяти глав» вычисляется квадратный корень из 71 824. Легко понять, что значение квадратного корня находится между 200 и 300, и потому ясно, что это число из трех знаков — abc — где а равно 2. Таким образом, задача заключается в том, чтобы вычислить значения b и с. Объяснение процедуры вычисления, согласно Лю Хуэю, исходит из геометрии. Квадрат анализируется специфическим способом. Установив, что корень больше 200, мы удаляем из схемы квадрат 200 х 200, оставляя L-образную форму, называемую «гномоном». Затем мы находим максимальное значение десятков, которое вписывается в гномон. Это число 60, и в результате возникает следующий L-образный гномон. Процесс продолжается до тех пор, пока не будет получено требуемое решение. Если ответ — не целое число, процесс или продолжается до получения необходимого количества десятичных значений, или остаток дается в виде дроби. Та же самая техника используется для вычисления кубического корня — куб расчленяется аналогичным образом.

Эта геометрическая техника эквивалентна использованию биномиального разложения, числовые коэффициенты которого могут быть выражены тем, что сейчас известно как треугольник Паскаля. Этот алгебраический метод активно применялся в одиннадцатом столетии и, возможно, еще ранее, позволяя китайцам вычислить корень любой n-й степени, какой им было нужно. И снова неясно, был ли треугольник Паскаля получен из индийских источников или открыт самостоятельно. Каждый шаг извлечения квадратного корня требует решения квадратного уравнения. Аналогично извлечение корней более высокого порядка, например кубического корня, требует решения уравнений более высокого порядка, или полиномиалов. Соответственно подобный метод мог использоваться для того, чтобы решить любой полиномиал без применения геометрической структуры гномонов. Как и в других культурах, одного корня было всегда достаточно, и мы не можем сказать, знали ли китайцы о том, что полиномиал мог иметь несколько решений. Уравнения не записывались в терминах переменной воде «х», они выражались только в терминах числовых коэффициентов, которые выкладывались на вычислительной доске. Похоже, китайцев не интересовало, конечно или бесконечно решение, — алгоритм был одинаково эффективен в обоих случаях, и вычисление заканчивалось в тот момент, когда достигалась требуемая точность.

В «Девять глав» также входят задачи, представляющие собой системы линейных уравнений с более чем одним неизвестным. Лю Хуэй заявляет в своем комментарии, что общий метод трудно объяснить без обращения к конкретному примеру. В этом методе коэффициенты системы уравнений представлены счетными палочками, разложенными в виде матрицы. Затем с числами производятся определенные манипуляции, чтобы устранить некоторые из коэффициентов, оставляя явные числовые решения. Это очень похоже на современный метод, известный как Гауссово исключение (по имени математика Карла Фридриха Гаусса), но китайцы не развили идею до вычисления детерминанта матрицы, так что, возможно, более корректно расценивать конфигурацию счетных палочек не как матрицу, а как таблицу.

Есть также важная работа по неопределенным уравнениям, где существует несколько возможных ответов — иногда бесконечное их множество. В книге представлены два типа задач: первая — задача на остаток, вторая известна как «задача о сотне домашних птиц». Задача о сотне домашних птиц в самом разном виде встречается в самых разных уголках средневекового мира — в европейских, арабских и индийских текстах. В «Десяти канонах» сказано, что петушки стоят 5 цянь, курицы — 3 цянь, а 3 цыпленка — 1 цянь. Если 100 птиц куплены за 100 цянь, сколько каких птиц было куплено? Приводятся три решения. Одно из них — 4 петушка, 18 куриц и 78 цыплят. (Есть решение с отсутствующим элементом, когда можно купить 25 куриц и 75 цыплят, но ни одного петушка.) Эти ответы правильные, но объяснение, похоже, неверное.

При описании задачи на остаток приводится и результат, и общий метод, но снова без объяснения. В этой задаче, согласно описанию в «Девяти главах», приобретается неизвестное число предметов. Если посчитать их по три, остается две штуки, если посчитать их по пять штук, остается три, а если считать их по семь штук, остается два. Цель состоит в том, чтобы найти число купленных предметов. Решение скорее методологическое, чем объяснительное. В целом для решения задачи требуется найти наибольший общий сомножитель для чисел 3, 5 и 7. Странно, но в следующий раз эта же задача упоминается только в тринадцатом веке в работе Цинь Цзюшао.

Цинь Цзюшао родился в городе Аньюэ (ныне в провинции Сычуань). Его отец занимал множество различных административных постов, включая должность заместителя директора Дворцовой библиотеки. Цинь Цзюшао изучал астрономию в столице, Ханьчжоу, но в 1234 году вступил в армию, чтобы противостоять монгольским захватчикам. Это были десять тяжелых лет. В 1244 году он вернулся и стал «придворным чиновником с широкими полномочиями» (это высокий титул) в префектуре Цзянькан (ныне Нанкин), однако в том же году Цинь Цзюшао удалился от службы на три года, чтобы оплакать смерть матери. Вероятно, именно в этот период он составил свой труд «Шу шу цзю чжан» («Девять книг по математике»), структура которого напоминает «Десять канонов», но несколько сложнее.

В «Шу шу цзю чжан» описываются методы решения задач индивидуального сравнения и ряда одновременных сравнений, как в случае задачи на остаток. Сравнения, возможно, лучше известны в форме модульной арифметики (арифметические операции над абсолютными значениями чисел). Решения соответствуют тому, что теперь известно как китайская теорема остатка. Цинь Цзюшао утверждает, что он научился этому методу у составителей календарей, работавших в Императорском Астрономическом бюро в Ханьчжоу, но там использовали правило, не понимая его. Это правило было выведено для того, чтобы решить проблему сопоставления различных циклов вроде лунного месяца, солнечного года и искусственного шестидесятеричного цикла. Фактически даже Гаусс, который вновь открыл метод пять столетий спустя, использовал для примера задачи с календарными циклами. Неясно, где Цинь Цзюшао на самом деле узнал это правило. Подлинное новаторство первоклассного математика заключается в выходе за пределы традиции комментариев. Он применил давнюю китайскую вычислительную традицию для решения реальных проблем.

6. Математические сутры

Древнейшие свидетельства о наличии математики в Азии мы видим в следах цивилизации Хараппы, существовавшей в долине Инда; они датируются концом четвертого — началом третьего тысячелетия до нашей эры. Хотя самые ранние документы довольно трудно расшифровать, понятно, что это торговые счета, с весами и размерами, с особой ссылкой на передовую технологию производства кирпичей. Приблизительно в 1500-х годах до нашей эры культура Хараппы была уничтожена захватчиками с севера. Их называли ариями. Они были пастухами, говорили на индоевропейском языке, предшественнике санскрита и многих современных языков. Первая письменная кодификация языка была сделана великим филологом Панини в четвертом веке до нашей эры. Он в одиночку сумел сделать санскрит понятным языком, кодировавшим мысли целого субконтинента в течение более чем двух тысяч лет. Если можно сказать, что греческая математика проистекает из философии, то корни индийской математики уходят в лингвистику.

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

Самый ранний текст «Шульба-сутры» был написан приблизительно в 800–600 годах до нашей эры, еще до кодификации санскрита Панини. Геометрия выросла из потребности соответствовать размеру, форме и ориентации алтарей, определенных в священных текстах «Вед». Абсолютная точность была столь же важна для эффективности ритуала, как и правильное произнесение мантр. Геометрия выражена тремя основными способами: явно сформулированные геометрические теоремы; процедуры, необходимые для того, чтобы строить различные формы алтарей; алгоритмы, связанные с предыдущими двумя группами. Самая важная теорема — теорема Пифагора прямоугольных треугольников.