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

Материальные свидетельства, по которым можно изучать этот самый ранний период в истории математики, немногочисленны и неполны. Поэтому приходится привлекать данные общей истории культуры человечества и лингвистики.

 

Общие начала математики

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

Запас чисел на ранних ступенях был весьма ограничен, он удлинялся лишь постепенно. А с употреблением все больших и больших чисел возникали и развивались их символы, а сами числа образовывали системы.

В каждой из иероглифических непозиционных систем счисления строится система так называемых узловых чисел (чаще всего 1, 10, 100, 1000…). Каждое такое число имеет индивидуальный символ — иероглиф. Остальные числа (их называют алгоритмическими) образуются приписыванием с той или другой стороны узлового числа других узловых чисел и повторением их. Так, система чисел, ныне известная как римская, имеет систему узловых чисел: I, V, X, L, С, D, М. Ее происхождение неизвестно. Построена по десятичному признаку с заметным влиянием пятеричной системы, а между тем в латинском языке никаких следов пятеричной системы нет, а значит, цифры заимствованы римлянами у другого народа.

Выполнять арифметические действия над многозначными числами в этой записи очень трудно. Тем не менее, римская нумерация преобладала в Италии до XIII века, а в других странах Западной Европы — до XVI века.

К иероглифической системе относятся и алфавитные системы счисления. В них буквы алфавита, взятые группами по 9, используются соответственно для обозначения единиц, десятков и сотен. Каждой букве при этом дается отличительный знак (титл, черточки над цифрами), указывающий, что буква используется как число. Если букв алфавита было недостаточно, привлекали дополнительные знаки. Типичный пример алфавитной системы — византийская, арабская, славянская. А это и понятно: они вышли из одного источника.

Историки науки считают, что в древнейшее время в Греции применялась так называемая аттическая нумерация, при которой числа 1, 2, 3, 4 обозначались черточками | || ||| ||||. Число 5 записывалось знаком П (древнее начертание буквы «пи», с которой начинается слово «пенте» — пять); числа 6, 7, 8, 9 обозначались П|, П||, П|||, П||||. Число 10 обозначалось Д (начальной буквой слова «дека» — десять). Числа 100, 1000 и 10 000 обозначались Н, X, М — начальными буквами соответствующих слов. Числа 50, 500, 5000 обозначались комбинациями знаков 5 и 10, 5 и 100, 5 и 1000.

Это система очень напоминает римскую, ведь и числа римского счета I, V, X, L, С, D, М одновременно были буквами, и к ним тоже добавляются «палочки». Причем римская система применялась в Европе до перехода на так называемые арабские, а на самом деле индийские цифры, имевшие почти современный вид; Византия перешла на них в XII веке, на 200 лет раньше Западной Европы. Можно предположить, что аттическая была навязана грекам Византии латинянами, после захвата ими Царьграда и Греции в ходе 4-го Крестового похода 1204 года.

После аттической нумерации греки якобы выбрали другую, ионийскую систему, — полагают историки. В ней числа от 1 до 9 обозначаются первыми девятью буквами алфавита. Числа 10, 20, 30…., 90 — следующими девятью буквами. Числа 100, 200…., 900 — последними девятью буквами. А мы напомним, что эту систему в IX веке позаимствовали из Византии славяне, так что в Византии она могла быть не позже, а раньше аттической.

Славянские цифры

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

Со временем сформировались позиционные недесятичные, а затем десятичная система. К позиционным недесятичным системам относится вавилонская, к позиционной десятичной — индийская. О них мы поговорим чуть позже.

Люди в разных местах и в разное время постепенно накапливали эмпирические знания, развивая ремесло, земледелие, обмен и торговлю. Эти знания подвергались систематизации; так выделился особый вид понятий и методов решения задач. Пересчет элементов конечных множеств, а также упорядочивание этих элементов привели к понятию натурального числа, как количественного, так и порядкового. Сравнение масс предметов, объемов сосудов, расстояний дали понятие величины. Изучение формы изделий, зданий, земельных участков вывело к понятию геометрической фигуры, как части геометрического пространства (само слово «геометрия» в переводе с греческого означает «землемерие»).

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

Ведь создание математической науки есть прежде всего переход к абстракциям. Вместо счета стрел, голов скота и т. д. родилось абстрактное понятие числа. Стало возможным предварять непосредственное оперирование с вещами оперированием с их упрощенными, схематическими изображениями и наименованиями (символами).

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

Прежде всего началась арифметика. Предмет ее составляют не числа, а система чисел с ее связями и законами, да и сама арифметика может быть определена как наука об отношениях между числами. Само же слово арифметика происходит от греческого «искусство счета» (арифмос — число, и техне — искусство). Что касается слова математика, то от греческого mathema — значение, наука, знание. С толкованием определения математики и сегодня не все достаточно ясно. Довольно сильной является традиция ее трактовки не столько как науки, сколько как языка науки.

 

О математике древнего Египта

Все наши познания о древнеегипетской математике основаны главным образом на двух больших папирусах математического характера и на нескольких небольших отрывках.

Один из больших папирусов носит название математического папируса Ринда (по имени обнаружившего его ученого) и находится в Лондоне. Он имеет приблизительно 5,5 метра в длину и 32 сантиметра в ширину. Другой большой папирус, почти такой же длины и 8 сантиметров в ширину, находится в Москве. Содержащиеся в них математические сведения относят примерно к 2000 году до н. э.

Папирус Ринда содержит 84 задачи прикладного характера. При решении этих задач производятся действия с дробями, вычисляются площади прямоугольника, треугольника, трапеции и круга, объемы параллелепипеда, цилиндра, размеры пирамид. Имеются также задачи на пропорциональное деление, а при решении одной задачи находится сумма геометрической прогрессии.

В Московском папирусе собраны решения 25 задач. Большинство их такого же типа, как и в папирусе Ринда. Кроме того, в одной из задач правильно вычисляется объем усеченной пирамиды с квадратным основанием, а в другой содержится самый ранний в математике пример определения площади кривой поверхности: вычисляется боковая поверхность корзины, то есть полуцилиндра, высота которого равна диаметру основания.

При изучении этих папирусов обнаруживается, что у древних египтян сложилась определенная система счисления: десятичная иероглифическая. Для узловых чисел вида 10^ к (к = 0, 1, 2…, 7) установлены индивидуальные иероглифы. Алгоритмические числа записывались комбинациями узловых чисел. С помощью этой системы египтяне справлялись со всеми вычислениями, в которых употребляются целые числа. Что касается дробей, то египтяне понимали дроби только как доли единицы: употреблялись лишь дроби аликвотные (вида 1/n) и некоторые индивидуальные, как, например, 2/3, 3/4. Все результаты, которые должны были выражаться дробями вида т/n, выражались суммой дробей. Для облегчения этих операций были составлены специальные таблицы, например таблица чисел вида 2/n (n = 3…., 101).

Сложились также определенные приемы производства математических операций с целыми числами и дробями. При умножении, например, преимущественно используется способ постепенного удвоения одного из сомножителей и складывания подходящих частных произведений (отмечены звездочкой) (12х12)

1 12

2 24

*4 48

*8 96

вместе 144

При делении также используется процедура удвоения и последовательного деления пополам. Деление, по-видимому, было самой трудной математической операцией для египтян; в нем наблюдается самое большое разнообразие приемов.

Приведем пример одной из задач.

«Сало. Годовой сбор 10 беша. Какой ежедневный сбор? Обрати 10 беша в ро. Это будет 3200. Обрати год в дни. Это будет 365. Раздели 3200 на 365. Это 8 2/3 1/10 1/2190. Обрати».

Производится постепенный подбор частного. 8 дает разницу между истинным и частичным делимым: 3200–2920 = 280. Сомножитель 2/3 дает: 365х 2/3 = 243 1/3. Еще до 280 не хватает 36 2/3. Очередной подбор 1/10 дает уже разницу в 1/6 (так как 36 2/3 — 36 1/2 = 1/6). Остается только подобрать число, которое, будучи умножено на 365, дало бы 1/6. Это 1/2190. Таким образом, частное отыскивается постепенным подбором, для которого еще нет единого метода.

Часто встречается операция, называемая «хау» («куча»), соответствующая решению линейного уравнения вида

ах + bх +… сх = d.

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

 

Византийская математика

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

Новым было то, что Фалес впервые попытался логически свои выводы обосновать. Тем самым он положил начало дедуктивной математики — той, которая впоследствии была превращена в стройную и строгую систему знаний.

Затем метод доказательства был усовершенствован и развит учеными пифагорейской школы, которые доказали, в частности, утверждение, называемое теперь теоремой Пифагора. Пифагорейцы предприняли первую попытку свести геометрию и алгебру того времени к арифметике. Они считали, что «все есть число», понимая под словом «число» лишь натуральные числа.

Однако натуральных чисел и дробей оказалось недостаточно для того, чтобы выразить длину диагонали квадрата со стороной 1. Анализ полученного доказательства привел к исследованию начальных вопросов теории чисел (четности и нечетности натуральных чисел, разложения чисел на простые множители, свойств взаимно простых чисел и т. д.). Византийские математики эллинского периода предприняли попытку обосновать всю математику на основе геометрических понятий. Они истолковывали, например, сложение величин, как сложение отрезков, а умножение — как построение прямоугольника с заданными сторонами.

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

Пифагор первый заметил, что сила и единство науки основаны на работе с идеальными объектами. Например, прямая линия — это не тетива натянутого лука и не луч света: ведь они имеют небольшую толщину, а линия толщины не имеет. То же относится к геометрической плоскости и поверхности воды в спокойном озере, или к числу 5 и пяти пальцам на руке. Идеальные объекты (будь то числа или фигуры) встречаются только в математическом рассуждении.

Все природные тела и процессы суть искаженные подобия идеальных тел и движений, а закономерности идеальных объектов выражаются с помощью чисел. Короче говоря: числа правят миром через свойства геометрических фигур! Но если так, то любые свойства чисел приобретают особое (даже мистическое) значение. Есть числа четные, а есть нечетные; есть простые, и есть составные. И еще есть дроби, то есть отношения натуральных чисел; их Пифагор из осторожности называл не числами, а «величинами».

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

Наряду с геометрическим доказательством теоремы Пифагора был найден способ отыскания неограниченного ряда троек «пифагоровых» чисел, то есть троек чисел, удовлетворяющих соотношению a^ 2 + b^ 2 = c^ 2 и имеющих вид: п, (n^ 2  — 1)/2, (n^ 2 + 1)/2 , где п — нечетное. Было открыто много математических закономерностей теории музыки.

Едва ли не первой открытой иррациональностью явился 2^ 1/2 . Можно предполагать, что исходным пунктом этого открытия были попытки найти общую меру с помощью алгоритма последовательного вычитания, известного под именем алгоритма Евклида. Возможно, что некоторую побудительную роль сыграла задача математической теории музыки: деление октавы, приводящей к решению пропорции 1: п = п: 2. Не последнюю роль, по-видимому, играл и характерный для пифагорейской школы общий интерес к проблемам теории чисел.

Вслед за иррациональностью 2^ 1/2 были открыты многие другие иррациональности. Так, Архит доказал иррациональность чисел вида [n(n+1)]^ 1/2 . Теодор из Кирены установил иррациональность квадратного корня из чисел 3, 5, 6…, 17.

Появление иррациональностей означало для неокрепшей греческой математики одновременное появление серьезных трудностей как в теоретико-числовом, так и в геометрическом плане. Была фактически поставлена под удар вся теория метрической геометрии и теория подобия. Но коль скоро открытие иррациональности показало, что совокупность геометрических величин (например, отрезков) более полна, чем множество рациональных чисел, то представилось целесообразным это более общее исчисление строить в геометрической форме. Это исчисление было создано; в литературе оно получило название геометрической алгебры.

Первичными элементами геометрической алгебры являлись отрезки прямой: работой с ними были определены все операции исчисления. Сложение интерпретировалось приставлением отрезков, вычитание — отбрасыванием от отрезка части, равной вычитаемому отрезку. Умножение отрезков приводило к построению двумерного образа; произведением отрезков а и b считался прямоугольник со сторонами а и b. Произведение трех отрезков давало параллелепипед, а произведение большего числа сомножителей в геометрической алгебре не могло быть рассматриваемо. Деление оказывалось возможным лишь при условии, что размерность делимого больше размерности делителя. Оно интерпретировалось эквивалентной задачей приложения площадей. Метод приложения площадей был распространен и на случаи решения задач, сводящихся к квадратным уравнениям.

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

Среди других задач, не имевших решения этими методами, наиболее известны проблемы трисекции угла и квадратуры круга.

История задачи об удвоении куба — пример того, как происходит обогащение математических методов. Из-за этой задачи конические сечения вошли в математику, став средством решения задач, не поддающихся циркулю и линейке. Впрочем, для решения задачи удвоения куба применялись и другие способы. Эратосфен, например, построил прибор (мезолабий), удобный для приближенного удвоения куба. Однако ни один из методов не имел столь большого влияния на развитие античной математики, как конические сечения.

Позже, с развитием алгебры, постановка задачи приобрела алгебраическую форму: может ли операция извлечения кубического корня из рационального числа быть сведена к конечному числу извлечений квадратного корня? Сомнение в возможности такого решения задачи высказал впервые в 1637 году Декарт. Но только еще через 200 лет задача удвоения куба получила окончательное разрешение. В 1837 году Ванцель доказал, что кубические иррациональности не принадлежат ни полю рациональных чисел, ни его расширению посредством присоединения квадратичных иррациональностей.

Второй знаменитой задачей античной древности была задача о трисекции угла, то есть о разделении произвольного угла на три равные части. Эта задача, как и предыдущая, сводится к решению кубического уравнения. Поэтому для нас полностью понятно, что многочисленные попытки произвести трисекцию угла с помощью только циркуля и линейки не могли быть успешными.

Трисекция угла имела столь же длинную историю, как и удвоение куба. Сведение ее к кубическому уравнению было осознано только в IX–Х веках н. э.

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

Решение проблемы растянулось на много веков. Только в конце XVIII века И. Ламберт и А. Лежандр сумели доказать, что чисто «пи» не является рациональным числом. Трансцендентность же этого числа, то есть тот факт, что оно не может быть корнем никакого алгебраического уравнения с целыми коэффициентами, была доказана в 1882 году Линдеманом.

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

Появление иррациональностей обусловило необходимость создания общей теории отношений, способной дать определения и ввести операции, применимые как для рациональных, так и для иррациональных величин. Первоначальной основой этой теории стал алгоритм попеременного вычитания, известный как алгоритм Евклида.

В случае, если члены отношения соизмеримы, то алгоритм обрывается. Несоизмеримость не дает конечного алгоритма.

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

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

Попытки систематизировать полученные при решении различных конкретных задач результаты предпринимались в византийской математики неоднократно. И успех, в отличие от других областей естествознания, был достигнут в математике потому, что она уже достаточно далеко ушла от реальности и научилась вычленять идеальные объекты и работать с ними. Что интересно, логика работала только в математике; когда хотели ее применить к обычной жизни, тут же сталкивались с различными противоречиями.

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

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

«Начала» состоят из тринадцати книг, каждая из которых состоит из последовательности теорем. Иногда к этим книгам добавляют книги №№ 14 и 15, принадлежащие другим авторам и близкие по содержанию к последним книгам Евклида. Первой книге предпосланы определения, аксиомы и постулаты. Определения имеются и в некоторых других книгах (2–7, 10, 11). Аксиом и постулатов в других книгах «Начал» нет.

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

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

В различных изданиях «Начал», а ранее того переписчиками и комментаторами, система аксиом и постулатов Евклида видоизменялась и дополнялась. То, что мы имеем ныне, если угодно, результат большого количеств проб и ошибок многих исследователей. Так что, как и многие книги того времени, Евклид — это не имя человека, а некое название труда.

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

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

Однако о математической стороне подобных высказываний и исследований почти ничего не известно. Гораздо больше известно о возражениях противников этих идей. Мы имеем в виду апории Зенона, те логические парадоксы, к которым приводят попытки получать непрерывные величины из бесконечного множества бесконечно малых частиц.

Среди апорий наиболее известны:

а) дихотомия, то есть невозможность осуществить движение, так как путь может быть делим до бесконечности (пополам, еще раз пополам и т. д.) и поэтому надо последовательно преодолевать бесконечное множество участков пути;

б) Ахиллес, который не может догнать черепаху, так как ему надо последовательно достигать тех мест, где только что находилась черепаха, тем самым исчерпывать бесконечную последовательность отрезков пути;

в) полет стрелы делается невозможным, если время считать суммой дискретных мгновений, а пространство — суммой дискретных точек.

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

Одним из самых ранних методов такого рода является метод исчерпывания. Изобретение его обычно приписывают Евдоксу, а примеры употребления находятся в двенадцатой книге «Начал» Евклида и в ряде сочинений Архимеда. Метод исчерпывания применялся при вычислении площадей фигур, объемов тел, длин кривых линий, нахождении подкасательных к кривым и т. п.

Однако метод был еще весьма несовершенным; и он развивался только в связи с конкретными задачами. Он не приобрел вида абстрактного метода, имеющего развитую систему исходных понятий и единообразные алгоритмы. Единственность предела доказывалась для всякой задачи заново. Этот недостаток не был частным, случайным. Дело в том, что всякая попытка ввести доказательство раз и навсегда для определенного, достаточно широкого класса задач, неизбежно влекла за собой необходимость дать рациональное объяснение понятию бесконечно близкого приближения, бесконечно малой величины и т. п. Трудностей, связанных с этим, математики того времени не могли преодолеть.

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

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

Может показаться, что методы интегральных сумм древних и определенного интегрирования имеет много общего. Это происходит оттого, что мы излагаем его современным языком. Но это не так.

Метод интегральных сумм древних опирается на интуитивное, строго не определенное понятие площади и не использует арифметико-алгебраического аппарата. В нем не введены и не определены необходимые общие понятия: предела, интеграла, бесконечной суммы, и не изучены условия применимости высказываемых теорем. Словом, метод применяется индивидуально для каждой конкретной задачи без выделения и оформления его общетеоретических основ.

Наряду с методом интегральных сумм в математике были разработаны и другие, которые ретроспективно могут быть оценены как дифференциальные методы. Примером может служить метод нахождения касательной к спирали в сочинении Архимеда «О спиралях».

Но широкое использование этот метод получил значительно позже, когда в XVI–XVII веках Паскаль, Барроу и Лейбниц создавали свое исчисление дифференциалов. Поэтому не исключено, что работы Архимеда имеют даже существенно более позднее происхождение, чем мы можем предположить. Ведь они послужили исходным пунктом многих исследований ученых-математиков XVI и XVII веков. Лейбниц, один из основателей математического анализа, по этому поводу писал: «Изучая труды Архимеда, перестаешь удивляться успехам современных математиков».

Вернемся к коническим сечениям. Интерес к ним возрастал по мере увеличения количества решаемых с их помощью задач. Свойства конических сечений стали предметом специального теоретического исследования; им был посвящен ряд сочинений. Однако, подобно тому, как это имело место и с «Началами» Евклида, все эти сочинения были забыты, когда появился труд александрийцы Аполлония «Конические сечения».

Первые четыре книги этого труда сохранились на греческом языке, следующие три в арабском переводе, а последняя книга утеряна. Апполоний первым ввел эллипс, параболу и гиперболу как произвольные плоские сечения произвольных конусов с круговым основанием и детально исследовал их свойства. Метод Апполония состоял в отнесении кривой к какому-либо ее диаметру и сопряженным с ним хордам, и предвосхищал созданный в XVII веке метод координат. «Конические сечения» Апполония оказали огромное влияние на развитие наук Нового времени — астрономии, механики, оптики. Из положений Апполония исходили при создании аналитической геометрии Декарт (1596–1650) и Ферма (1601–1655).

Мы видим, что большинство математических теорий до какого-то времени имело своим предметом геометрические объекты. Дело в том, что геометрические величины представлялись имеющими преимущество наибольшей общности в классе математических величин. Хотя, разумеется, нет оснований утверждать, что геометрические формы исчерпывали всю совокупность форм математической деятельности. Греки Византии в практической области применяли большой комплекс арифметико-вычислительных методов. Этот комплекс проникал и в теоретические работы, дополняя теорию арифметико-алгебраическими и теоретико-числовыми элементами.

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

Чтобы устранить подобное несовершенство и показать неограниченную продолжаемость натурального ряда чисел, Архимед написал специальное сочинение под названием «Псаммит» (исчисление песка), в котором показывается, что система чисел может быть продолжена сколь угодно далеко и может служить для пересчета любого конечного множества предметов.

Система чисел Архимеда построена по десятичному принципу: единицы (монады), десятки (декады), сотни (гекады), тысячи (хилиады), десятки тысяч (мириады) и т. д. Мириада затем рассматривается как основа счета до числа мириады мириад (10^8). Числа от 1 до 10^8 образуют первую октаду (от слова восемь), а числа, в нее входящие, называются первыми. Далее следуют вторая октада, третья и т. д., до октады чисел октадных, замыкающей первый период. Она является исходной единицей второго периода, далее следуют единицы чисел третьего периода, четвертого и так до октады чисел октадных октадного периода.

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

Чтобы сделать задачу возможно более определенной, Архимед, исходя из гелиоцентрических воззрений Аристарха Самосского, представляет Вселенную как шар, в центре которого находится Солнце. Радиус шара считается от Солнца до неподвижных звезд. Для дальнейшего уточнения задачи принимается, что диаметр Вселенной во столько же раз больше диаметра солнечной системы, во сколько раз этот последний больше диаметра Земли. Архимед использует экспериментальные данные астрономов, округляя их в сторону увеличения.

Единица измерения Вселенной — песчинка, принята за 0,0001 зернышка мака, которых требуется 40 штук, чтобы сравняться с шириной человеческого пальца. Подсчеты, произведенные Архимедом, показали, что искомое число песчинок будет не больше чем 10^63, или тысячи (10^3) мириад (10^4) чисел восьмых (10^78) первого периода.

Однако уровень вычислительно-практических приложений многих развитых математических теорий оставался все же сравнительно низким. Это объясняется оторванностью от практики, принудительностью геометрической формы, ограничением совокупности применяемых методов, отсутствием тригонометрии. Требования астрономии к математике с достаточной силой сказались несколько позже.

Официальная история удивляется, что после Евклида, Архимеда и Аполлония наступило время как бы деградации византийской математики. Такой взгляд происходит от неправильного понимания авторства и времени написания этих трудов.

Считается, что после разгрома Александрийского научного центра в VI веке остался последний центр античной науки — Афины, который так же был со временем разгромлен. На самом деле «переезд науки» в Афины — это история Афин под властью крестоносцев, XIII–XV века. Здесь произошла встреча западноевропейской, арабской и остатков византийской культуры.

В более позднее время постепенно интерес смещается в сторону практических вычислительных методов и задач. Образцом работ подобного направления являются математические работы Герона из Александрии, в особенности его «Метрика». Стиль последней — рецептурный: для определенных классов задач формулируются правила, справедливость которых подкрепляется примерами.

В «Метрике» содержатся правила для точного и приближенного определения площадей геометрических фигур и объемов тел, правила численного решения квадратных уравнений и извлечения (преимущественно приближенного) квадратных и кубических корней. В частности, в ней приводится известная формула Герона для вычисления площади треугольника по трем его сторонам

S = [р(р-а)(р-b)(р-с)]^ 1/2 ,

где а, b, с — стороны, p= (а + b + с)/2.

Наконец, значительную часть содержания «Метрики» составляет описание приемов землемерия и геодезических инструментов.

Значение прикладной вычислительной стороны математики еще более подчеркивается той большой и все возрастающей работой, которую математики вынуждены были вести для составления астрономических таблиц. Среди последних особо значительное место занимают таблицы хорд Птолемея, где данные приведены через каждые 30 от 0 до 180°.

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

Символика Диофанта основана на сокращении слов, и в истории развития алгебраической символики она знаменует переход от словесных выражений алгебраических зависимостей (риторическая алгебра) к сокращениям этих выражений (синкопическая алгебра). Следующей ступенью развития стала чисто символическая алгебра.

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

Общая теория диофантовых уравнений первой степени ах+b=1, где а и b — взаимно простые целые числа, была построена в XVII веке французским математиком Баше де Мезириаком (1587–1638). Он также издал в 1621 году сочинения Диофанта на греческом и латинском языках со своими комментариями. Над созданием общей теории диофантовых уравнений 2-й степени трудились многие выдающиеся ученые: П. Ферма, Дж. Валлис, Л. Эйлер, Ж. Лагранж и К. Гаусс. В результате их усилий к началу XIX века было в основном исследовано общее неоднородное уравнение 2-й степени с двумя неизвестными и с целыми коэффициентами.

Имя Диофанта прочно закрепилось и в той части теории чисел, которая изучает приближения действительных чисел рациональными числами; эти приближения так и называются диофантовыми.

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

Если сравнивать разные «части» традиционной истории, сразу видно, что умением плавать по морю и строить города ромеи (византийцы) не уступали своим предкам-эллинам; в государственных делах они так же были впереди многих государств. И при этом историки науки нам говорят, что ромеи не унаследовали от эллинов любовь к натурфилософии и к точным наукам. Оказывается, для них главным видом интеллектуальной деятельности стало богословие. Монахи и императоры косо смотрели на «языческую премудрость» эллинов. И в завершение, ликвидировали последний оплот знания — Академию в Афинах.

В результате возникает необъяснимый феномен: тысячелетняя Византийская империя, не знающая математики. Но загадки нет, если правильно понять, где и когда развивалось то, что мы называем математикой Древней Греции.

 

О математике Китая

Сведения о математических познаниях китайцев в древности крайне скудны и разрознены. Самым ранним математическим сочинением, если не считать трактата о чжоу-би (солнечных часах), называют трактат «Математика в девяти книгах». Считается, что это сочинение появилось как своеобразный итог математических достижений Китая к началу нашей эры. Известно даже имя автора, государственного деятеля и ученого Чжан Цаня (152 год до н. э.), собравшего и систематизировавшего все известные к его времени математические знания. Вместе с тем признается, что «Математика в девяти книгах» неоднократно подвергалась переработкам и дополнениям: в I веке до н. э. этим занимался Гэн Чоу-чан, в III веке н. э. — Лю Хуэй, в VI Чжень Луань, и в VII Ли Чун-фэн. Были и другие.

В результате трактат приобрел вид своеобразной математической энциклопедии с неоднородным содержанием. В VII–Х веках он сделался основным учебником для поступающих на государственную службу и классическим сочинением, на который опирались ученые-математики в своих исследованиях. И эта дата тоже сомнительна, но согласимся с тем, что это памятник Х века.

Книги, составляющие трактат, имели вид отдельных свитков. Они посвящены различным темам, преимущественно практического характера. Различие объясняют тем, что разные книги предназначались для чиновников разных ведомств: землемеров, инженеров, астрономов, сборщиков налогов и т. п. Позднейшие дополнения вносились в книги не по признаку математической общности, а по единству темы. То есть это некоторая солянка сборная из сведений, неизвестно откуда взявшихся.

Изложение — догматическое: формулируются условия задач (всего 246 задач) и даются ответы к ним. После группы однотипных задач приводится алгоритм их решения, состоящий или из общей формулировки правила, или из указаний последовательных операций над конкретными числами. Объяснений, определений, доказательств нет. То есть это справочник, не показывающий, на основании каких работ он составлен.

Книга первая называется «Измерение полей». Единицей измерения служит прямоугольник со сторонами 15 и 16 бу (то есть шагов, приблизительно равных 133 сантиметрам). Площади прямолинейных фигур вычисляются верно. При вычислении площадей круга, сектора и кольца принимается, что число «пи» = 3. Площадь сегмента вычисляется как площадь трапеции, большее основание которой совпадает с основанием сегмента, а меньшее основание и высота — каждое равно высоте сегмента.

Используемая при этом система счисления — десятичная иероглифическая. Числа делятся на классы по 4 разряда в каждом. Особого знака нуля при такой системе записи, очевидно, не требуется. (Нуль действительно появился значительно позднее, только в XII веке.) Чтобы придать большую общность постановке основной задачи об измерении площадей, в первой книге введены простые дроби и арифметические действия над ними. Правила действий — обычные; особенностью является только то, что при делении дробей требуется предварительное приведение их к общему знаменателю.

Но вот что настораживает. Употребляемое в первой книге значение «пи» = 3 не соответствует китайской традиции не только Х, но и VI века. Считается, что китайские математики того времени умели и более точно вычислять значения «пи». Например, в I веке до н. э. у Лю Синя дается значение «пи» = 3,1547, во II веке н. э. у Чжан Хэна «пи» определено, как 10^1/2 (3,162). Чжан Хэн считал, что квадрат длины окружности относится к квадрату периметра описанного квадрата, как 5 к 8. В III веке при вычислении сторон вписанных многоугольников Лю Хуэй нашел, что «пи» = 3,14. Он исходил из предложения, что площадь круга аппроксимируется снизу площадями вписанных многоугольников. Для аппроксимации сверху площади этих многоугольников увеличиваются на сумму прямоугольников, описанных вокруг остаточных сегментов.

Дойдя до 192-угольника, Лю Хуэй получил, что «пи» = 3,14. Некоторые авторы утверждают, что Лю Хуэй продолжил вычисления далее до 3072-угольника и получил значение 3,14159. В V веке Цзу Чун-чжи, по свидетельству Вей Ши (643 год), дал для «пи» значение 3,1415927. Ну, и как все это согласовать с тем, что китайцы даже в Х веке не знали, как вычислять значение «пи»?

Книга вторая — «Соотношение между различными видами зерновых культур», отражает старинную практику взимания налогов зерном, измеряемым в объемных мерах, и расчетов при переработке этого зерна. Математические задачи, возникающие при этом, — это задачи на тройное правило и пропорциональное деление. Ко второй книге была позднее добавлена группа задач на определение стоимости предметов, число которых берется как целое, так и дробное.

Задачи на пропорциональное деление, деление пропорционально обратным значениям чисел, а также простое и сложное тройное правило составляют содержание и следующей, третьей книги — «Деление по ступеням». Правил суммирования арифметических прогрессий здесь еще нет, хотя, по утверждениям тех же историков науки, они известны китайцам с VI века (трактат Чжан Цзю-цзяна).

В четвертой книге вначале речь идет об определении стороны прямоугольника по данным площади и другой стороне. Затем излагаются правила извлечения квадратных и кубических корней, нахождения радиуса круга по его площади. Правила сформулированы специально для счетной доски. Подкоренное число делится на разряды соответственно по 2 или по 3 знака, затем последовательно подбирается очередное число корня и дается правило перестройки палочек на счетной доске.

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

Книга шестая — «Пропорциональное распределение», начинается группой задач о справедливом (пропорциональном) распределении налогов. Математические методы здесь те же, что в книге 3, где речь шла о распределении доходов между чиновниками различных классов, — пропорциональное деление, простое и сложное тройное правило. Кроме того, в шестую книгу входит серия задач на суммирование отдельных арифметических прогрессий и задач на совместную работу лиц с разной производительностью.

«Избыток-недостаток» — так называется седьмая книга. В ней подобраны задачи, приводящиеся к линейным уравнениям и их системам, и разработан способ их решения, совпадающий с методом двух ложных положений. Задачи и в этом случае накапливались в возрастающей степени трудности. Метод тоже еще не сформулирован четко и имеет много разновидностей частного характера.

Усовершенствование складывающихся в седьмой книге правил решения систем линейных уравнений и распространение их на системы с большим числом неизвестных изложены в правиле фан-чэн, которому посвящена вся восьмая книга. Задачи этой книги приводят к системам до пяти совместных уравнений линейных с положительными корнями. Для всех систем установлен единый алгоритм вычисления корней — упомянутый фан-чэн.

Дело в том, что в процессе преобразований матрицы системы китайские ученые ввели отрицательные числа. Для их сложения и вычитания и было введено специальное правило, которое можно перевести как правило «плюс-минус». Так как все вычисления, в том числе и преобразования матрицы, производились на счетной доске, то для обозначения отрицательных чисел применялись счетные палочки другого цвета или формы, а в случае записи применялись иероглифы разных цветов.

Расширение понятия числа в связи с нуждами обобщения созданного алгоритма является характерной особенностью развития математики. Те же стремления обеспечить общность решения в радикалах уравнений 2–4 степени привели в Италии к введению в XVI веке мнимых чисел. Что же касается приоритета китайских математиков относительно правила фан-чэн, то он был бы бесспорен, если бы мы не знали, что отрицательные числа в явном виде появились в Европе в конце XV века в сочинениях Н. Шюке, и что очень много европейских новинок было привезено в Китай иезуитами в XVI веке.

Практическую основу последней книги «Математики в девяти книгах» составляют задачи определения недоступных расстояний и высот с помощью теоремы Пифагора и свойств подобных треугольников. Математически эта книга особенно интересна общей, алгебраической формулировкой правил. Помимо элементарных способов применения теоремы Пифагора, в ней имеется способ нахождения пифагорейских троек, то есть целочисленных решений уравнения x^ 2 +y^ 2 =z^ 2 . Некоторые задачи приводят к полным квадратным уравнениям, а правила их решения эквивалентны общеупотребительным и ныне формулам.

Например, задача № 11 о размерах двери, относительно которой известны диагональ и разность между длиной и шириной, сводится к двум уравнениям. Выводов и доказательств, как уже было упомянуто, в рассматриваемом трактате нет.

Мы остановились так подробно на обзоре содержания «Математики в девяти книгах» потому, что это сочинение является самым значительным и даже, пожалуй, единственным крупным памятником древней китайской математики. И зная любовь китайцев к своим приоритетам, и стремление всё свое объявлять древним, полагаем, что он был создан позже прихода европейцев в Китай.

Сами же историки объявляют, что с XIV века в Китае начинается длительный период застоя в развитии наук. Добытые ранее знания не развиваются и даже забываются. Математика существует преимущественно за счет усвоения иностранных знаний. И лишь потом науками вновь занялись, и сразу вспомнили свои древние открытия. Как же это произошло?

В 1583 году в Китай пришел иезуит-миссионер М. Риччи, а затем сюда потянулись и другие. Видимо, не без их содействия в 1606 году в Китае впервые появились издания «Начал» Евклида, в 1650 году — таблицы логарифмов Влакка. Оригинальное же развитие китайской науки все еще было «прекратившимся». Спрашивается, а было ли оно раньше? Математики-специалисты китайского происхождения всегда готовились к научной деятельности за границей, да в большинстве случаев оттуда в Китай и не возвращались.

 

О математике Индии

В средневековой математике Индии преобладали вычислительно-алгоритмические методы и отсутствовали попытки построения дедуктивных систем. Геометрия индийцев — также практическая. И это не удивительно, так как в основном всё сюда приносилось из других мест, в том числе и наука — сначала вместе с религиозными эмигрантами из Византии, а потом с деятелями мусульманской экспансии. Соединение здесь различных потоков знания дало свои результаты, и весьма неплохие результаты.

Индийские математики ввели понятие нуля и широко использовали отрицательные числа, проводили исследования по комбинаторике (Ариабхатта, якобы V век). Они создали десятичную систему записи натуральных чисел и разработали правила операций над записанными так числами. Эту запись чисел стали применять математики многих восточных стран, откуда она попала в Европу. Индусы начали оперировать с иррациональными количествами так же, как с рациональными, без геометрического их представления, в отличие от византийских греков. У них были специальные обозначения для алгебраических действий, включая извлечение корня. Именно благодаря тому, что индусские и среднеазиатские ученые не смутились различием иррациональных и рациональных количеств, они смогли преодолеть «засилие» геометрии, и открыли путь развитию алгебры.

Но и в Индии есть мифический период в развитии математики. Согласно традиции, самыми ранними памятниками математической культуры индийцев являются религиозные книги: сутры и веды. Их происхождение относят к VIII–VII векам до н. э. В них приводились геометрические построения, составляющие важную часть ритуальных условий при постройке культовых сооружений: храмов, алтарей и прочего, а потому в них можно найти первые способы квадрирования кругов и применение теоремы Пифагора. Видимо, как следствие архитектурных требований решалась и арифметическая задача о нахождении пифагоровых троек натуральных чисел.

Числовая система с древних времен определилась как десятичная. Столь же рано определилась склонность к оперированию большими числами, нашедшая отражение в легендах. Будда, например, отличался феноменальным умением считать; он строил числовые десятичные системы до 10^54, давая наименования каждому разряду. Женихи прекрасной богини Земли, добиваясь ее руки, обязаны были соревноваться в письме, арифметике, борьбе и стрельбе из лука. Победитель соревнования Сарватасидда придумал, в частности, шкалу чисел, идущих в геометрической прогрессии со знаменателем 100, до числа с 421 нулем. Пристрастие к операциям с большими числами сохранялось в течение всей истории математики в Индии. Но мы не знаем, к какому реально периоду времени эти труды относятся.

Появление позиционного принципа в индийской математике относят к V веку. Отныне числовое значение каждой цифры определялось ее местом влево от конца цифрового ряда. Передвижение цифры на одно место увеличивало ее числовое значение в 10 раз. В соответствии с десятичным принципом индийцы разработали знаки для 9 цифр и десятый знак, нуль. Знак нуля (шунья — пустой) сначала обозначался точкой, потом кружком. И кстати, по некоторым другим сведениям, первые записи с нулем датируются 876 годом.

Арабы (раньше всего в Багдадском халифате) узнали о математических открытиях индийцев в VIII веке благодаря торговым и дипломатическим сношениям. Сразу же подхваченная арабами цифровая система стала известна в Западной Европе под названием арабской к XII веку, по-видимому, через арабские владения в Испании. Слово сифр, впоследствии принятое в европейских странах для обозначения цифр вообще, исходно значило по-арабски нуль. В английском языке до сих пор слово cipher означает нуль, цифру, шифр.

Наиболее яркий период развития, оставивший самые значительные образцы математической литературы, это V–XII века. В это время трудились выдающиеся индийские ученые, математики и астрономы: Ариабхатта (считается, что он жил в конце V века), Брахмагупта (считается, что он родился в 598 году), Магавира (IX век), Бхаскара Акарья (родился в 1114 году) и другие.

Ариабхатта дал наиболее точное в то время определение числа «пи» — 3,1416, вычислил значение корней второй и третьей степени. Для понятия корень он использовал перевод греческого слова basis, обозначавшего одновременно основание и корень. В XII веке это понятие было переведено на латынь словом radix (корень), из которого во многие языки вошли понятия корень и радикал.

Брахмагупта в стихотворной форме написал огромное сочинение в 20 книгах «Усовершенствованная наука Брамы». Он излагал основы арифметики и геометрии, алгебры и метрология; занимался действиями над целыми числами и дробями и извлечением корней. Он решал задачи на бассейны и смеси; посвятил место суммированию рядов, планиметрии, вычислению различных объемов, задачам неопределенного анализа и задачам комбинаторики.

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

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

Индийские математики ввели в расчеты и правильно трактовали понятие отрицательного числа. Это пример, как иной подход к проблеме позволяет получать другие результаты. Ведь византийцы работали с отрезками прямых, представить себе отрезок отрицательной длины невозможно. Да и нулевой отрезок имеет мало смысла.

Другое дело — индийская математика. Брахмагупта разъясняет, что числа могут трактоваться либо как имущество, либо как долг. Правила операций с числами тогда таковы: сумма двух имуществ есть имущество, двух долгов — долг, имущества и долга — их разность, которая либо долг, если он больше, либо имущество, если оно больше, либо нуль, если они равны. Сумма нуля и долга есть долг, имущества и нуля — имущество. Произведение двух имуществ или двух неимуществ есть имущество; результат произведения имущества на долг представляет убыток. То же правило справедливо и при делении. Квадрат имущества, или долга, есть имущество; имущество имеет два корня: один составляет прибыль, другой — долг. Корня убытка не существует, ибо таковой не может быть квадратом. Однако, вводя отрицательные числа, индийские математики не использовали их как равноправные элементы математики, считая их только чем-то вроде логических возможностей, потому что, по выражению Бхаскары, люди с ними не согласны.

Развитие методов решения задач неопределенного или диофантова анализа представляет одно из высших достижений индийской математики. Причина заинтересованности математиков Индии в решении подобных задач лежит, по-видимому, в необходимости изучения периодически повторяющихся явлений, обильные примеры чего дает астрономия. В самом деле, вопрос о периоде времени, состоящем одновременно из целого числа дней (х) и целого числа лет (у), приводит к неопределенному уравнению: 10 960 у = 30 х. Другие вопросы, например, о периоде совпадения некоторых явлений, приводят к полным неопределенным уравнениям. Индийские ученые умели находить целочисленные решения различных видов неопределенных уравнений 1-й и 2-й степени.

Но характерная форма изложения, при которой не воспроизводится ни хода рассуждений, ни доказательства, не дает возможности судить о теоретико-числовых методах индийских математиков. Однако то немногое, что известно, показывает на наличие ряда теоретико-числовых методов.

Индийская геометрия тоже носит все черты практического подхода к делу. Есть чертежи, есть правила, но иногда правил нет, а под чертежом написано только: «смотри!». Некоторый интерес представляют тригонометрические таблицы, в которых хорды заменены полухордами. При этом вводятся в рассмотрение по существу тригонометрические функции: синусы, косинусы и синусы-верзусы (sinvers а = 1 — cos а).

Индийский математик Варахамихира заменил хорду (дживу) в тригонометрии половинной хордой. В его «Пангасиддханте» использовались понятия котиджива и уткра-маджива. Все эти понятия в VIII веке заимствовали арабские математики; термин джива они изменили на джиба, а затем и на джайб — впадина, изгиб, излучина. Этот термин был переведен с арабского языка на латинский в его буквальном значении словом sinus. Cosinus — сокращение от complementisinus (дополнение синуса).

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

В заключение еще раз отметим, что как о китайской, так и об индийской математике мы располагаем вообще очень ограниченным запасом сведений.

 

О математике древнего Вавилона

Во-первых, мы будем называть Вавилоном комплекс государств, которые, по мнению традиционной истории, сменяли друг друга на территории междуречья Тигра и Евфрата. От этих государств дошло до нас около ста тысяч глиняных табличек с записями, сделанными клинописью. Однако табличек с текстами математического содержания известно только около 50, а математических таблиц без текста — около 200.

Клинописный текст ВМ 85 194 содержит 16 задач с решениями. Задачи относятся к плотинам, валам, колодцам, водяным часам и земельным работам. Четвертая задача, снабженная чертежом, относится к круговому валу. 14-я задача рассматривает усеченный конус. Объем его определяется умножением высоты на полусумму площадей верхнего и нижнего оснований.

Вавилонская система имеет два основных элемента: «клин» V с числовым значением 1 и «крючок» < с числовым значением 10. Повторением этих знаков можно записать числа от 1 до 59. Любое число записывается слева направо по принципу N = a (0) 60^ 0 + a (1) 60^ 1 +…

Таким образом, система счисления оказывается позиционной 60-ричной. Однако эта система не знает нуля. При отсутствии промежуточного разряда употреблялся специальный знак, игравший роль нуля. Но отсутствие низшего разряда не обозначалось. Таким образом, число, обозначающееся тремя единицами, можно было считать и как 3, и как 180, и как 10 800, и т. д. Различить их можно было только по смыслу текста.

Запись 3 могла также означать 3/60, 3/3600 и т. д., подобно тому, как числа 0,3, 0,03, 0,003 и т. д. в десятичной системы. Вот что значит наличие позиционной системы и отсутствие нуля!

Наряду с 60-ричной системой нумерации вавилоняне пользовались и десятичной системой, но она не была позиционной. В ней, кроме знаков для 1 и 10, существовали знаки для 100, 1000 и 10 000.

Вообще возникновение такой системы не очень понятно. Возможно, шестидесятеричная система существовала здесь и раньше, но люди, умевшие писать, были людьми другой культуры и поэтому, сохранив шестидесятеричную систему, стали использовать не 12-ричную, а десятичную. Это могло произошло и под влиянием Византии, где шестидесятеричная система выводится из геометрии. Самое простое — делить окружность на шесть частей, которые потом делятся на 10 частей. Как бы то ни было, мы сегодня не знаем, когда и как возникла здесь шестидесятеричная система. На этот счет строились много гипотез, но ни одна пока не доказана.

Интересно, что хотя шестидесятеричная запись целых чисел не получила распространения за пределами ассиро-вавилонского царства, шестидесятеричные дроби проникли далеко за эти пределы: в страны Ближнего Востока, Средней Азии, в Северную Африку и Западную Европу. Они широко применялись, особенно в астрономии, вплоть до изобретения десятичных дробей, то есть до начала XVII века. Следы шестидесятеричных дробей сохраняются и поныне в делении углового и дугового градуса, а также часа на 60 минут и минуты на 60 секунд.

Содержание табличек показывает, что на основе этой системы были созданы многие единообразные правила арифметических действий как с целыми числами, так и с дробями. Для облегчения действий существовали таблицы умножения (от 1х1 до 60х60). При перемножении больших чисел с помощью таблицы находились частичные произведения, которые затем складывались. Деление производилось с помощью таблиц обратных значений. А кроме них, использовали таблицу квадратов целых чисел, их кубов, обращенные таблицы (квадратных корней), таблицы чисел вида n^ 2 + n^ 3 и т. д.

В ряде вавилонских текстов содержится исчисление процентов (на самом деле это не проценты как одна сотая часть числа, а одна шестидесятая часть числа) за долги, пропорциональное деление. Ряд текстов посвящены решению задач, которые с современной точки зрения сводятся к уравнениям 1-й, 2-й и даже 3-й степени.

Б.Л. ван дёр Варден классифицировал все приемы решения задач в вавилонских табличках. Он пришел к выводу, что эти приемы эквивалентны приемам решения всего десяти видов уравнений и их систем. Наконец, в 1945 году Нейгебауер и Сакс опубликовали расшифровку чрезвычайно интересной таблички, хранящейся в библиотеке Колумбийского университета (США). В ней оказался перечень прямоугольных треугольников с рациональными сторонами, то есть троек пифагоровых чисел x^ 2 + y^ 2 = z^ 2 .

Геометрические знания вавилонян содержали помимо общих типов задач также начатки измерения углов и тригонометрических соотношений. В основном, впрочем, они тоже состояли из вычислений площадей и объемов прямолинейных фигур, обычных для элементарной геометрии. Площадь круга вычислялась по формуле S = c^ 2/12 (где с — длина окружности), откуда получается плохое еще приближение «пи» = 3.

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

 

Математика арабоязычного мира

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

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

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

Поэтому многие восточные правители и целые династии проводили политику государственного покровительства наукам. В аппарате государственного управления появились специально оплачиваемые ученые. Для них строились обсерватории, собирались библиотеки из древних сочинений, которые разыскивались всюду и переводились на арабский язык, привлекали на службу византийцев.

В результате сложилась своеобразная система математических знаний. В нее влились и данные ранней византийской науки, то есть классические трактаты Евклида, Архимеда, Аполлония и других, но также получили свое развитие сведения из математики Индии, а также коренного населения стран Ближнего и Среднего Востока.

Освоение и переработка многочисленных источников, как и подготовка квалифицированных математиков потребовали, разумеется, немалого времени. Поэтому для арабской математики (как мы ее иногда называем, несмотря на необоснованность этого термина, так как ее развивали ученые разных национальностей) характерна пестрота в постановке задач, в методах их решения и даже в символике. Она получила так много оригинальных черт, что сделалась качественно отличной от своих источников.

Рассмотрим характерные особенности математики средневекового Востока и достигнутый уровень математических наук, без разделения математики по отдельным странам ввиду специфичности предмета и не разработанности темы.

Арабские цифры

В вычислительной практике арабов равноправно действовали обе системы счисления: десятичная абсолютная и шестидесятеричная. Первая была воспринята из Индии и быстро получила широкое распространение. Позже посредством арифметического трактата Хорезми (IX век) «Об индийских числах», переведенного в XII веке на латинский язык, десятичная система стала известной в Европе.

Параллельно с десятичной сохранялась и регулярно употреблялась в астрономических обсерваториях шестидесятеричная система счисления. В духе математиков Вавилона составлялись и использовались вспомогательные таблицы, вроде таблицы умножения (от 1х1 до 60х60). Даже в сравнительно позднее время (ок. 1427) в обсерватории Улугбека под городом Самаркандом были в употреблении обе системы, а для удобства вычислений были разработаны правила перевода из одной в другую. Регулярные правила существовали для вычислений с дробями, простыми и десятичными.

В Западной Европе десятичные дроби были введены только около 1585 года фламандским математиком и инженером С. Стевином. Вообще применение многих приемов, отработанных арабами до Х века, как, например, приближенного извлечения корней, отмечено в Европе лишь с середины XVI века.

Преобладание вычислительной части математики оказало влияние на трактовку многих теоретических вопросов. Особенно интересен вопрос о понимании алгебраических иррациональностей, стремление к оперированию с которыми характерно для всей арабской математики. В сочинениях Хорезми уже встречаются операции над квадратичными иррациональностями; Аль-Кархи (XI век) ввел многие преобразования иррациональностей. Аль-Баки (ок. 1100), как и Аль-Кархи, комментировал десятую книгу «Начал» Евклида, поясняя ее теоремы числовыми примерами.

В силу такого подхода и частого применения вычислений иррациональностей грань между рациональными числами и иррациональностями начинает стираться. К представлению о числе как о собрании единиц прибавились представления об отношениях непрерывных величин. Была установлена адекватность геометрической несоизмеримости с арифметической иррациональностью. В математике вместо двух обособленных понятий, — числа и отношения, возникла новая, более широкая концепция действительного положительного числа. Уже в XIII веке этот факт был констатирован с полной определенностью; Насирэддин (1201–1274) писал:

«Каждое из отношений может быть названо числом, которое определяется единицей так же, как один из членов этого отношения определяется другим из этих членов».

Можно сказать, что идея создания единой концепции действительного числа путем объединения рациональных чисел и отношений, появившаяся у математиков Византии, получила на Ближнем Востоке известное завершение. В Европе же подобная идея не появлялась довольно долго. Только с XVI века бурное развитие вычислительных средств начало приводить ученых к ее осознанию, а с достаточной степенью общности она была высказана лишь И. Ньютоном в 70-х годах XVII века (опубликована в 1707) в его «Всеобщей арифметике»:

«Под числом мы понимаем не столько множество единиц, сколько отвлеченное отношение какой-нибудь величины к другой вели

чине того же рода, принятой нами за единицу. Число бывает трех видов: целое, дробное и иррациональное. Целое число есть то, что измеряется единицей; дробное — кратной долей единицы; иррациональное число несоизмеримо с единицей».

Великий поэт и математик Омар Хайям (ок. 1048 — ок. 1122) и Насир-ад-дин ад-Туси (1201–1274) явно указывали, что каждое отношение величин, все равно, соизмеримых или нет, может быть названо числом. Величие этих достижений становится особенно ясным, если заметить, что полное признание отрицательных чисел европейскими математиками было достигнуто очень не скоро. Например, Ф. Виет (1540–1603), которому алгебра многим обязана, избегал отрицательных чисел, а в Англии протесты против отрицательных чисел раздавались даже в XVIII веке.

В XI веке тюрки-сельджуки захватили большую часть Ирана и византийских владений в Малой Азии. На этих землях народы осваивали и развивали наследие всех предшественников, и византийцев, и арабов. Омар Хайям писал стихи по-персидски, научные трактаты по-арабски, а в служебных делах пользовался тюркским языком. Потерпев неудачу в прямом поиске корней произвольного кубического уравнения, он открыл несколько способов приближенного вычисления этих корней, предлагая сделать это, используя хорошо знакомые кривые. Как только (в XVII веке) Рене Декарт добавил к ней вторую идею — описать любую кривую с помощью чисел, родилась аналитическая геометрия, в которой решение алгебраических уравнений слито воедино с теорией чисел и с наглядной геометрией.

Предчувствуя эту связь, Омар Хайям поставил много интересных вычислительных опытов. Он нашел приближенные способы деления окружности на 7 или 9 равных частей; составил подробные таблицы синусов и с большой точностью вычислил число «пи». Он догадался, что это число иррациональное, и даже не квадратичное — но доказать не смог. Не удались Хайяму и попытки доказать пятый постулат Евклида о параллельных прямых.

Влияние алгоритмически-вычислительной направленности арабской математики отразилось и на ее структуре. В ней сравнительно быстро, впервые в истории, выделилась в качестве самостоятельной математической науки алгебра. В этом факте нашло свое выражение слияние элементов алгебраического характера математики различных народов, например: геометрическая алгебра византийцев, группировка однотипных задач и попытка выработать для каждой группы единый алгоритм в Вавилоне, вычислительные задачи индийцев, приводившие к уравнениям 1-й и 2-й степени, и т. п.

В трудах математиков средневекового Востока эти алгебраические элементы были впервые выделены, собраны в новый специальный отдел математики, сформулирован предмет этого нового отдела науки и построена систематическая теория. В качестве примера такого подхода приведем высказывание Омара Хайяма:

«Алгебра есть научное искусство. Ее предмет — это абсолютное число и измеримые величины, являющиеся неизвестными, но отнесенные к какой-либо известной вещи так, что их можно определить; эта известная вещь есть количество или индивидуально определенное отношение, и к этой известной вещи приходят, анализируя условия задачи; в этом искусстве ищут соотношения, связывающие данные в задачах величины с неизвестной, которая вышеуказанным образом составляет предмет алгебры. Совершенство этого искусства состоит в знании математических методов, с помощью которых можно осуществить упомянутое определение как числовых, так и геометрических неизвестных… Алгебраические решения… производятся лишь с помощью уравнения, то есть приравниванием одних из этих степеней другим».

Европейские ученые начали знакомиться с алгеброй в начале XII века, а источником их сведений явилось сочинение «Китаб аль-Джебр валь-Мукабала» Мухаммеда бен-Муса ал-Хорезми, жившего в первой половине IX веке. Название в переводе означает: книга об операциях джебр (или гебр, восстановление) и кабала (приведение). Первая из операций, имя которой послужило названием для алгебры и служит до сего времени, состоит в переносе членов уравнения из одной стороны в другую. Вторая есть операция приведения подобных членов уравнения. Решение уравнений рассматривается как самостоятельная наука.

Книга Хорезми пользовалась большой известностью. Термин алгебра укоренился в математике. Осталось в этой науке и имя автора (аль-Хорезми) в латинизированном виде: алгоритм. Вначале это слово обозначало фамилию, затем нумерацию по позиционной системе, а теперь — всякую систему вычислений, производимых по строго определенным правилам и заведомо приводящих к решению поставленной задачи. В ходе развития науки изменялось содержание понятий, вложенных в эти термины, но термины сохранились.

Но сам Хорезми никогда не высказывался о своем приоритете в алгебре. Видимо, оба приема — джебр и кабала — были уже широко распространены в его время.

Алгебраические арабские трактаты IX–XV веков, помимо решения уравнений 1-й и 2-й степени, включали в себя и кубические уравнения. К последним приводили разнообразные задачи:

а) рассечение шара плоскостью;

б) трисекция угла;

в) отыскание стороны правильного 9-угольника;

г) отыскание стороны правильного 7-угольника, и другие.

Одна из задач оптики: найти на данной окружности такую точку, чтобы луч, падающий из данной точки A, отразился в другую заданную точку В, приводила к уравнению 4-й степени.

В методах решения кубических уравнений отразилось многообразие средств, обычно присущее математике арабских ученых. Численные же решения уравнений развивались, начиная со способа проб (разработан Бируни, 972–1048) до изящного итерационного, быстро сходящегося, метода (Каши, ок. 1420).

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

Используя этот разнородный материал, математики стран Ближнего Востока и Средней Азии ввели все основные тригонометрические линии. В связи с задачами астрономии они составили таблицы тригонометрических функций с большой частотой и высокой точностью. Данных накопилось при этом так много, что стало возможным изучать свойства плоских и сферических треугольников, способы их решений. Получилась стройная система тригонометрии как плоской, так и сферической. Ее представляет, например, сочинение Насирэддина (1201–1274) «Трактат о полном четырехстороннике».

Тригонометрия в математике средневекового Востока приобрела положение отдельной математической науки. Из совокупности вспомогательных средств астрономии она преобразовалась в науку о тригонометрических функциях в плоских и сферических треугольниках и о способах решения этих треугольников. Алгоритмически-вычислительные средства стали играть в ней преобладающую роль. Оставался один только шаг: введение специфической символики, чтобы тригонометрия приобрела привычный нам аналитический облик. Однако для этого шага понадобилось много времени! Дальнейшее развитие эта наука получила со второй половины XVI века в Европе, в первую очередь под влиянием запросов мореплавания и астрономии. В конце этого века появилось и название науки, «тригонометрия», от греческих слов измерение треугольников.

В ряду геометрических сочинений обращают на себя внимание глубокие исследования по основаниям геометрии. В сочинениях Хайяма и Насирэддина мы находим попытки доказательства постулата о параллельных, основанные на введении эквивалентных этому постулату допущений. Имена этих математиков с полным правом могут быть помещены историками в длинном ряду предшественников неевклидовой геометрии.

Примерно в середине XV века развитие математических наук в описываемых нами здесь арабских регионах замедляется и прекращается. Причины этого явления лежат вне математики: они — в наступившем экономическом разобщении обширных территорий, о которых шла речь выше.

 

Математика европейского Средневековья

В Западной Европе математика не имеет столь древнего происхождения, как в странах Ближнего и Дальнего Востока. Заметные успехи появились тут лишь в эпоху позднего Средневековья и особенно Возрождения. А основной организационной предпосылкой развития математики в Европе стало открытие учебных заведений. Одно из первых организовал во французском городе Реймсе Герберт (940–1003), позже ставший римским папой с именем Сильвестр II.

Французский монах Герберт из Орильяка — первый профессиональный ученый католической Европы. В 970-е годы он поселился в Барселоне, выучил арабский язык и начал беседовать с учеными иноверцами обо всем на свете. Астрономия и арифметика, изготовление бумаги и музыкальных инструментов, во всем этом жители Андалузии превосходили лучших мастеров Франции или Италии, и все это Герберт старался перенять. Через пять лет он сделал очередной шаг: направился в центр Андалузии — Кордову, и три года учился у местных мудрецов. Ему не раз предлагали принять ислам. Но у него была другая цель: соединить арабскую мудрость, ученость древних греков и римлян с христианским богословием; сделать этот сплав достоянием всех католиков.

Вернувшись во Францию, Герберт устроил в городе Реймсе училище по своему вкусу. В нем юноши обучались латыни и греческому, а желающие — также арабскому и древнееврейскому языкам. Кроме этого, преподавались астрономия и музыка, арифметика на основе арабских цифр. Все необходимые приборы строил сам Герберт с помощью учеников. Гербер привез с собой много книг из-за Пиренеев; это были Платон и Аристотель, Евклид и Птолемей, множество арабских рукописей.

В реймской школе Герберта, кроме прочих наук, учили счету с применением счетной доски — абака, которую усовершенствовали путем замены пустых жетонов, каждый из которых имел значение единицы, на жетоны с написанными на них цифрами.

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

Многие европейские правители стремились отдать своих сыновей в учение к Герберту. В 996 году один из его питомцев (Роберт II) получил корону Франции; Герберт был назначен епископом Реймса, и этот город на века стал церковным центром Франции. В 999 году другой его ученик (Оттон III) стал императором Священной Римской империи. Тут уж Герберту пришлось стать римским папой.

В Риме нового папу многие восприняли, как чернокнижника. Ведь он удивительно быстро считает с помощью арабской доски — абака, и не пользуется римскими цифрами! Да еще умеет предсказать исход бросания костей в игре! Он сам следит за движением звезд, строит благозвучные органы, а богословских споров избегает. Небывалый человек на престоле святого Петра!..

Не хватало широких контактов между католическим и исламским мирами. Они начались только в эпоху Крестовых походов — в самом конце XI века, когда кастильские рыцари захватили половину Пиренейского полуострова и его древнюю столицу Толедо. Вскоре туда потянулись многие последователи Герберта из Орильяка: Аделяр из Бата в Англии, Герардо из Кремоны в Италии. Все они стремились перевести на общедоступную латынь с арабского или греческого языков труды древних ученых Эллады и Рима. Аделяр перевел «Начала» Евклида и ряд книг Хорезми. Герардо открыл для католиков Аристотеля и Птолемея.

Длинное название книги Птолемея («Мегале Математике Синтаксис») арабы сократили до первого слова: получилось «Величие» — Аль-Магест. Новым европейцам понравилось второе слово в этом названии — «Учение» (Математика). И вот с XII века все европейцы называют так науку о числах и фигурах.

В XII–XIII веках появились в Европе университеты. Самыми первыми были итальянские в Болонье, Салерно и других городах. Вслед за ними открылись университеты в Оксфорде и Париже (1167), Кембридже (1209), Неаполе (1224), Праге (1347), Вене (1367).

Эти учебные заведения были безраздельно подчинены церкви. Уровень математических познаний выпускников был низок; во многих европейских университетах вплоть до XVI века от лиц, претендовавших на звание магистра, по математике требовалась только клятва, что он знает шесть книг евклидовых «Начал».

В 1202 году Европа получила первый собственный учебник арифметики для широкого читателя, «Книга Абака». Его составил Леонардо Фибоначчи из Пизы (1180–1240). Арифметике он учился в Алжире у местных мусульман. Позднее Фибоначчи написал учебник «Практическая геометрия» и «Книгу квадратов». В них впервые были изложены на латыни правила действий с нулем и отрицательными числами, а также появились знаменитые числа Фибоначчи.

В «Книге об абаке» 15 отделов. В первых семи изложены исчисление целых чисел по позиционной десятичной системе и операции с обыкновенными дробями. Отделы 8–11 содержат приложения к коммерческим расчетам: простое и сложное тройное правило, пропорциональное деление, задачи на определение монетных проб. (помните об алхимии). Разнообразный набор задач, решаемых с помощью простого и двойного ложных положений, суммированием арифметических прогрессий и квадратов натуральных чисел, нахождением целочисленных решений неопределенных уравнений первой степени, составляет отделы 12 и 13. Предпоследний, 14-й отдел посвящен вычислению квадратных и кубических корней и операциям с «биномиями». Завершается «Книга об абаке» 15-м отделом, содержащим краткое изложение алгебры и альмукабалы, близкой к алгебре Хорезми, а также задачи на непрерывные числовые пропорции и геометрические задачи, сводящиеся к приложению теоремы Пифагора.

Время, протекшее после работ Леонардо Фибоначчи вплоть до эпохи Возрождения, в историю математики не внесло ярких идей и больших открытий. Однако в эти столетия в математике происходил интересный и малоизученный процесс накапливания предпосылок. Но что более важно, шла подготовка собственных кадров. Математические знания распространялись среди все более широких кругов ученых, а наличие большого числа поставленных и осознанных, но еще не решенных теоретических и практических задач влекло к новому научному подъему.

В этих условиях наметились два главных направления развития математики: серьезное усовершенствование алгебраической символики и оформление тригонометрии как особой науки.

Еще современник Фибоначчи генерал доминиканского монашеского ордена Иордан Неморарий (род. 1237) изображал с помощью букв произвольные числа. Впрочем, буквенного исчисления из этого не получилось, так как результат любой операции над двумя буквами обязательно обозначался третьей буквой (a+b=c, ab=d и т. д.).

Профессор Парижского университета Николай Орезм (1328–1382) обобщил понятие степени, введя дробные показатели степени, правила производства операций над ними и специальную символику, предваряя фактически идею логарифма.

В конце XV века бакалавр Парижского университета Н. Шюке, помимо дробного показателя степени, ввел также отрицательные и нулевые показатели, отрицательные числа, а также внес усовершенствования в алгебраическую символику. В этой символике нет еще специального символа для неизвестного, а большинство символов образовано путем сокращения слов. Например, m — сокращение слова minus. Знаком корня служит R x от слова radix, корень, знаком сложения — р.

В Англии развивал теорию ученый богослов, Роберт Гросетест («Головастый»), епископ Линкольна (1175–1253), увлекавшийся к тому же оптикой. Он начал суммировать бесконечные ряды чисел, и вскоре научился отличать сходящийся ряд от расходящегося. Но и расходиться ряд может с разной скоростью. Гросетест заметил, что сумма натуральных чисел растет гораздо медленнее, чем сумма их квадратов, а сумма квадратов — медленнее, чем сумма последовательных степеней двойки. Так первый из христиан проник в область бесконечно больших и бесконечно малых величин, вторым после Архимеда, на четыре столетия опережая Ньютона.

Гросетест считал, что античных классиков (особенно Аристотеля) нужно изучать в подлиннике, а не по дурным переводам на латынь, сделанным к тому же с арабских переводов. Поэтому Гросетест пригласил в Англию ученых греков — беглецов из Константинополя, разоренного крестоносцами в 1204 году. Так в Оксфорде и Кембридже появились первые греческие профессора.

Среди учеников Гросетеста оказались выдающийся алхимик Роджер Бэкон (один из изобретателей пороха) и граф Симон де Монфор — организатор первого выборного парламента в Англии.

Коллегой и соперником Роберта Гросетеста на европейском континенте стал другой богослов — Фома Аквинский (1225–1274), решивший следовать Аристотелю и Евклиду, чтобы изложить всю христианскую ученость в виде цепи определений, аксиом и теорем.

Жан Буридан (1300–1358) был профессором Парижского университета (Сорбонны). Многим известны рассказы о буридановом осле. Этот осел из теории ученого стоял между двух одинаковых кормушек с сеном, и не мог решить, откуда поесть. И сдох. Эти мысленные эксперименты дают представление о попытках развития принципов доказательства.

Еще один профессор Сорбонны, Раймонд Луллий (1235–1315), прочел книги Аристотеля и Евклида глазами инженера; в результате появилась идея машины, автоматически выполняющая все арифметические действия с числами и логические операции над любыми утверждениями. Это был первый проект механического счетного устройства. Построить его Луллию не удалось: слишком низок был тогда уровень механического ремесла во всем мире.

Большой вклад в формально-символическое усовершенствование алгебры внесли в XV и XVI веках математики Южной Германии. Они разработали несколько систем символов, более удобных для записи математических действий, а некоторые из них высказали в своих сочинениях идеи, близкие к понятию логарифма.

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

В XV веке, когда дальние плавания стали возможны, когда изученный мир стал расширяться и представления о нем быстро изменялись, резко возрос интерес к астрономии. Это была пора, непосредственно предшествующая открытию Америки (1492), первому плаванию вокруг Африки (1498), первому кругосветному плаванию (1519), открытию и доказательству гелиоцентрической теории Коперника (1473–1543). В 1461 году в Европе появилось сочинение «Пять книг о треугольниках всякого рода», в котором впервые тригонометрия была отделена от астрономии и трактована как самостоятельная часть математики. Написал его немецкий математик Иоганн Мюллер (1436–1476), более известный как Региомонтан.

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

Региомонтан продолжил начатую ранее другими учеными работу по составлению таблиц тригонометрических функций. Его таблица синусов имела частоту через каждую минуту и точность до седьмого знака. Для этого величину радиуса образующей окружности он брал равной 10^7, так как десятичные дроби еще не были известны. Он ввел в европейскую практику тригонометрические функции, получившие в XVII веке названия тангенса и котангенса, составив таблицу их значений.

В 1482 году в Венеции была впервые напечатана (по латыни) книга Евклида «Начала». С этого момента для математиков кончилось Средневековье и началось Новое время.

 

В XVI веке европейские математики сумели, наконец, сравниться в мудрости с византийцами и превзойти их там, где успехи византийцев были не велики: в решении уравнений.

 

Уравнения разных степеней

Ровесник Леонардо да Винчи, профессор Сципион дель Ферро из Болоньи (ум.1526) посвятил всю жизнь решению различных алгебраических уравнений. Затруднения, связанные с неудобными обозначениями неизвестных величин, были огромны.

Как мы показали выше, важнейшие достижения математиков средневековой Европы относились к области алгебры, к усовершенствованию ее аппарата и символики. Региомонтан обогатил понятие числа, введя радикалы и операции над ними. Это позволяло ставить проблему решения возможно более широкого класса уравнений в радикалах. И в этой именно области были достигнуты первые успехи — решены в радикалах уравнения 3-й и 4-й степени.

Ход событий, связанных с этим открытием, освещается в литературе разноречиво. В основном он таков. Профессор университета в Болонье Сципион дель Ферро вывел формулу для нахождения положительного корня конкретных уравнений вида х^ 3 + рх = q (p>0, q >0) . Он держал ее в тайне, приберегая как оружие против своих противников в научных диспутах, но перед смертью сообщил эту тайну своему родственнику и преемнику по должности Аннибалу делла Наве и ученику своему — Фиоре.

В начале 1535 года должен был состояться научный поединок между Фиоре с Николо Тарталья (1500–1557). Последний был талантливым ученым, выходцем из бедной семьи, зарабатывавшим себе на жизнь преподаванием математики и механики в городах Северной Италии. Узнав, что Фиоре владеет формулой Ферро и готовит своему противнику задачи на решение кубических уравнений, Тарталья сумел заново открыть эту формулу.

На диспуте Фиоре предложил Тарталье несколько вопросов, требующих умения решать уравнения третьей степени. Но Тарталья уже нашел раньше сам решение таких уравнений и, мало того, не только одного того частного случая, который был решен Ферро, но и двух других частных случаев. Тарталья принял вызов, и сам предложил Фиоре свои задачи. Результатом состязания было полное поражение последнего. Тарталья решил предложенные ему задачи в продолжение двух часов, между тем как Фиоре не мог решить ни одной задачи, предложенной ему (с обеих сторон было 30 задач).

Вскоре Тарталья смог решать уравнения вида х^ 3 = рх + q (p>0, q >0) . Наконец он сообщил, что уравнения вида х^ 3 + q = px сводятся к предыдущему виду, но не дал способа сведения. Тарталья долго не публиковал своего результата. Причин этому было две: во-первых, та же причина, которая останавливала и Ферро. Во-вторых, невозможность справиться с неприводимым случаем. Последний состоит в том, что есть уравнения х^ 3 = рх + q которые имеют действительный положительный корень. Однако формула Тартальи не давала решения в том случае, когда надо было извлекать корень из отрицательных чисел, так как не было возможности правильно трактовать мнимые числа, получающиеся при этом. Неприводимый случай появлялся у Тартальи и в уравнениях вида х^ 3 + q = px .

Однако его труд не пропал даром. С 1539 года кубическими уравнениями начинает заниматься Кардано (1501–1576). Услышав об открытии Тартальи, он приложил много усилий, чтобы выманить тайну у осторожного и недоверчивого ученого для публикации в своей книге «Великое искусство, или о правилах алгебры». Только когда Кардан поклялся над Евангелием и дал честное слово дворянина, что не откроет способа Тартальи для решения уравнений и даже запишет его в виде непонятной анаграммы, Тарталья согласился раскрыть свою тайну. Он показал правила решений кубических уравнений, изложив их в стихах, причем довольно туманно.

Однако Кардан не только понял эти правила, но и нашел доказательства для них. Невзирая на данное им обещание, он опубликовал способ Тартальи, и способ этот известен до сих пор под именем «правила Кардана». А книга появилась в 1545 году.

Вскоре было открыто и решение уравнений четвертой степени. Итальянский математик Д. Колла предложил задачу, для решения которой известных до той поры правил были недостаточно, а требовалось умение решать биквадратные уравнения. Большинство математиков считало эту задачу неразрешимою. Но Кардан предложил ее своему ученику Луиджи Феррари, который решил задачу, и даже нашел способ решать уравнения четвертой степени вообще, сводя их к уравнениям третьей степени.

Столь быстрые и поразительные успехи в нахождении формулы решения уравнений 3-й и 4-й степени поставили перед математиками проблему отыскания решений уравнений любых степеней. Огромное число попыток, усилия виднейших ученых не приносили успеха. В поисках протекло около 300 лет. Только в XIX веке Абель (1802–1829) доказал, что уравнения степени п>4, вообще говоря, в радикалах не решаются.

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

Плодотворная и смелая попытка справиться с неприводимым случаем принадлежит итальянскому математику и инженеру Р. Бомбелли из Болоньи. В сочинении «Алгебра» (1572) он ввел формально правила действий над мнимыми и комплексными числами.

 

Алгебраическая символика

Рост содержания математических знаний всегда связан с развитием математической символики. Последняя, если она достаточно хорошо отражает реальную сущность математических операций, активно воздействует на математику и сама приобретает оперативные свойства. Единую систему алгебраических символов, последовательно проведенную, первым дал, по-видимому, Виета.

Франсуа Виета (1540–1603) — французский математик, юрист по образованию и роду деятельности. Главный труда его жизни — «Введение в искусство анализа», огромное и чрезвычайно обстоятельно написанное сочинение по новой алгебре.

Правда, он не был полностью завершен.

Замысел Виеты определялся следующими соображениями: крупные успехи итальянских математиков в решении уравнений 3-й и 4-й степени достигнуты благодаря применению эффективных алгебраических приемов. Но число отдельных видов алгебраических уравнений огромно и растет, достигнув, например, у Кардано шестидесяти шести; каждый из видов требовал особых приемов. Необходимо найти общие методы подхода к решению алгебраических уравнений; последние должны рассматриваться в возможно более общем виде с буквенными коэффициентами. Кроме того, необходимо сочетать эффективность алгебраических приемов со строгостью геометрических построений, хорошо знакомых Виете.

Благодаря созданной им символике впервые появилась возможность выражения уравнений и их свойств общими формулами. Объектами математических операций стали не числовые задачи, а сами алгебраические выражения. Именно этот смысл вкладывал Виета в характеристику своего исчисления как «искусства, позволяющего хорошо делать математические открытия». Символы Виеты были вскоре усовершенствованы его младшими современниками, особенно Гэрриотом (1560–1621).

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

Алгебраисты завершили символическое оформление своей науки и пробовали формулировать и решать проблемы общей теории алгебраических уравнений. Тригонометрия отделилась от астрономии, ее результаты получили достаточную степень общности. Полностью освоено геометрическое наследие древних. Математика постоянных величин к концу XVI века завершала цикл своего формирования.

Центр тяжести научных исследований сместился в область переменных величин. В математике наступал новый период.

 

Аналитическая геометрия Декарта

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

В XVII веке начало учению о перспективе и проективной геометрии было положено в сочинениях Ж. Дезарга (1593–1661) и Б. Паскаля (1623–1662). Первую научную форму приобрела теория вероятностей, особенно благодаря открытию Я. Бернулли (1654–1705) простейшей формы закона больших чисел. Элементарная математика приобрела завершенную форму благодаря исчезновению риторической алгебры и замене ее символической, а также изобретению логарифмов.

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

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

Природой материи, утверждал Декарт, является ее трехмерная объемность; важнейшими свойствами ее — делимость и подвижность. Эти же свойства материи должна отображать математика. Она не может быть либо численной, либо геометрической. Она должна быть универсальной наукой, в которую входит все, относящееся к порядку и мере. Все содержание математики должно рассматриваться с единых позиций, изучаться единым методом; само название науки должно отражать эту ее всеобщность. Декарт предложил назвать ее универсальной математикой (Mathesis universalis).

Эти общие идеи конкретизировались к 1637 году, когда вышло в свет знаменитое Декартово «Рассуждение о методе», в котором, помимо общей характеристики метода естественнонаучных исследований, выделены в отдельные части приложения метода к диоптрике, метеорам и к математике. Последняя часть носит название «Геометрия»; она и представляет для нас наибольший интерес.

В основу всей «Геометрии» Декарта положены две идеи: введение переменной величины и использование прямолинейных (декартовых) координат. Переменная величина вводится в двоякой форме, в виде текущей координаты точки, движущейся по кривой, и в виде переменного элемента множества чисел, соответствующих точкам данного координатного отрезка. А сама «Геометрия» Декарта состоит из трех книг. Первая — «О задачах, которые можно построить, пользуясь только кругами и прямыми линиями», начинается с кратких разъяснений общих принципов. Затем следуют правила составления уравнений геометрических кривых.

Природа говорит с нами на языке математики. Вернее сказать, природа обращается к нам сразу на многих диалектах единого математического языка. Мы называем эти диалекты арифметикой, геометрией, алгеброй или математическим анализом, но не всегда чувствуем их единство, а многих диалектов мы еще не знаем.

Следующее открытие связано с именем Кеплера.

Иоганн Кеплер (1571–1630) вошел в большую науку в 1600 году, когда императорский астроном Тихо Браге принял его на работу в Пражскую обсерваторию. Тщательно наблюдая за движением планет среди звезд в течение 30 лет, Браге накопил огромный запас точных данных, но не мог привести их в единую систему. Он быстро отверг давнюю геоцентрическую модель Птолемея и недавнюю гелиоцентрическую модель Коперника (в которой сохранилась система эпициклов, введенных Гиппархом). Но каковы истинные траектории полета планет в пространстве? В каком режиме они движутся по этим кривым? Браге поручил Кеплеру разобраться в движении Марса: оно более всего противоречит здравому смыслу, ибо временами Марс вдруг останавливается среди планет и пятится назад.

Кеплер сразу догадался: если орбита Марса не может быть окружностью, то, скорее всего, она — эллипс. Кажущееся движение Марса вспять можно объяснить просто: Солнце находится не в центре эллипса, а сдвинуто куда-то вбок. Куда? Видимо, в фокус эллипса, самую замечательную точку, связанную с этой кривой. Но в каком режиме движется Марс по своему эллипсу, можно выяснить только путем громоздких расчетов. Эта работа заняла у Кеплера 8 лет; он испытал и отверг около 20 разных гипотез, пока не нашел (в 1609 году) истинную: за равные отрезки времени вектор, соединяющий Солнце с Марсом, заметает в плоскости их общего движения секторы равной площади.

Чтобы справиться с огромным объемом вычислений, Кеплеру пришлось сделать два замечательных изобретения. Во-первых, он научился заменять умножение многозначных чисел сложением их логарифмов. Во-вторых, Кеплер научился вычислять путь, пройденный планетой за данное время, по известной (переменной) скорости планеты.

Переход от чисел к их логарифмам и обратно требует громоздких и точных таблиц. Сначала Кеплер составлял их сам; но в 1614 году появились подробные таблицы логарифмов Чарльза Непера. За 20 лет упорного труда этот шотландец рассчитал не только логарифмы чисел, но и логарифмы значений всех тригонометрических функций: они постоянно встречаются в астрономических расчетах.

 

Логарифмический метод

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

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

Ценность логарифмического метода состоит в том, что он сводит умножение и деление чисел к сложению и вычитанию — действиям менее трудоемким. Возведение в степень, извлечение корня, а также и ряд других вычислений (например, тригонометрических) также значительно упрощаются.

Выясним идею метода на примерах.

Пусть требуется помножить 10 000 на 100 000. Конечно, мы не станем выполнять этого действия по схеме умножения многозначных чисел. Мы просто сосчитаем число нулей в множимом (4) и множителе (5), сложим эти числа (4+5=9) и сразу напишем произведение 1 000 000 000 (9 нулей). Законность такого вычисления основана на том, что сомножители суть (целые) степени числа 10: множится 10^n на 10^m; при этом показатели степеней складываются. Точно так же сокращенно выполняется и деление степеней десяти, здесь деление заменяется вычитанием показателей. Но так можно делить и умножать лишь немногие числа. Например, в пределах первого миллиона можно брать (не считая 1) лишь 6 чисел: 10, 100, 1000, 10 000, 100 000, 1 000 000. Чисел, допускающих подобное умножение и деление, будет гораздо больше, если взять вместо основания 10 другое, более близкое к 1. Возьмем, например, основание 2 и составим таблицу его первых 12 степеней.

Показатели степеней мы будем теперь называть логарифмами, а степени — просто числами.

Чтобы перемножить какие-либо два числа, достаточно сложить два их логарифма. Например, чтобы найти произведение 32 и 64, сложим стоящие рядом с 32 и 64 числа 5 и 6; 5+6 ==11. У числа 11 находим результат: 2048. Чтобы разделить 4096 на 256, возьмем числа 12 и 8; вычитаем: 12–8 = 4. У числа 4 находим ответ: 16. Если ввести нулевую и отрицательную степени числа 2, то можно будет выполнять и деление меньших чисел на большие.

Хотя среди степеней числа 2 гораздо меньше пробелов, чем среди степеней числа 10, все же в таблице нет очень многих чисел. Поэтому практического значения и эта таблица не может иметь. Но если за основание взять число, гораздо более близкое к 1, чем число 2, то этот дефект будет устранен.

Примем, например, за основание число 1,00001. В пределах между 1 и 100 000 окажется свыше миллиона (1 151 292) его последовательных степеней. Если мы округлим значения этих степеней, сохранив лишь шесть значащих цифр, то среди миллиона округленных результатов окажутся все целые числа от 1 до 100 000. Правда, это будут лишь приближенные значения степеней. Но так как при умножении и делении пятизначных целых чисел нас будут интересовать только первые пять знаков результата, то составленные таблицы позволят перемножать, делить и т. д. пятизначные целые числа, а следовательно, и десятичные дроби, имеющие пять значащих цифр.

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

Швейцарец Бюрги (ок. 1590) составил первую таблицу логарифмов. Несколько позднее и независимо от него составил свои таблицы логарифмов шотландец Непер, который брал за основание число, очень близкое к единице. Но Бюрги опубликовал свою работу лишь в 1620 году, а таблицы Непера появились раньше, в 1614 году.

В настоящее время в таблицах логарифмов кладется в основание число 10, что дает ряд вычислительных преимуществ (так как наша нумерация — десятичная). При этом для получения целых чисел приходится брать дробные степени числа 10.

Идея составления таблицы десятичных логарифмов принадлежит Неперу и его сотруднику англичанину Бриггу. Они совместно начали работу по пересчету прежних таблиц Непера на новое основание 10. После смерти Непера Бригг продолжил и закончил эту работу, и опубликовал ее полностью в 1624 году, поэтому десятичные логарифмы называются иначе бригговыми.

Таблицы Непера открыли путь к автоматизации всех арифметических вычислений; первым шагом в этом направлении стала привычная нам логарифмическая линейка.

Ее изобрел в 1622 году англичанин Вильям Оутред. При этом он использовал десятичные логарифмы. Следующие шаги в автоматизации вычислений сделали француз Блез Паскаль (1642) и немец Вильгельм Лейбниц (1671). Паскаль построил первый механический арифмометр, выполняющий сложение и вычитание многозначных чисел. Арифмометр Лейбница позволил также умножать и делить многозначные числа. Следующий важный шаг в развитии вычислительной техники был сделан только в ХХ веке, когда появились компьютеры.

 

Цифровые механизмы

Историю цифровых устройств начать следует со счетов. Подобный инструмент был известен у всех народов. Древнегреческий абак (доска или «саламинская доска» по имени острова Саламин в Эгейском море) представлял собой посыпанную морским песком дощечку. На песке проводились бороздки, на которых камешками обозначались числа. Одна бороздка соответствовала единицам, другая — десяткам и т. д.

Если в какой-то бороздке при счете набиралось более 10 камешков, их снимали и добавляли один камешек в следующем разряде. Более поздней конструкцией была мраморная доска с выточенными желобками и мраморными шариками.

У китайцев в основе счета лежала не десятка, а пятерка, рамка китайских счетов суан-пан имеет более сложную форму. Она разделена на две части: в верхней части на каждом ряду располагаются по 5 косточек, в нижней части — по две. Таким образом, для того чтобы выставить на этих счетах число 6, ставили сначала косточку, соответствующую пятерке, и затем прибавляли одну в разряд единиц.

У японцев это же устройство для счета носило название серобян. Это — IX век н. э.

Леонардо да Винчи (1452–1519) создал эскиз 13-разрядного суммирующего устройства с десятизубными кольцами. По его чертежам в наши дни американская фирма по производству компьютеров в целях рекламы построила работоспособную машину.

Шотландский математик Джон Непер (1550–1617) изобрел таблицы логарифмов, что очень упростило деление и умножение, ибо для умножения двух чисел достаточно сложить их логарифмы. Тот же Непер предложил в 1617 году другой (не логарифмический) способ перемножения чисел. Инструмент, получивший название палочки (или костяшки) Неппера, состоял из разделенных на сегменты стерженьков, которые можно было располагать таким образом, что при сложении чисел в прилегающих друг к другу по горизонтали сегментах получался результат умножения этих чисел.

Вильгельм Шиккард, востоковед и математик, профессор Тюбинского университета, в письмах своему другу Иоганну Кеплеру описал устройство «часов для счета», счетной машины с устройством установки чисел и валиками с движком и окном для считывания результата. Шел 1623 год. Эта машина могла только складывать и вычитать (в некоторых источниках говорится, что могла еще умножать и делить). Это была первая механическая машина. В наше время по его описанию построена ее модель.

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

Счетная шестерня при помощи храпового механизма (передающего прямое движение и не передающего обратного) соединялись с рычагом. Отклонение рычага на тот или иной угол позволяло вводить в счетчик однозначные числа и суммировать их. В машине Паскаля храповой привод был присоединен ко всем счетным шестерням, что позволяло суммировать и многозначные числа.

Англичане Роберт Биссакар в 1654, а независимо от него в 1657 году С. Патридж разработали прямоугольную логарифмическую линейку, конструкция которой в основном сохранилась до наших дней.

Немецкий философ, математик, физик Готфрид Вильгейм Лейбниц (1646–1716) создал «ступенчатый вычислитель» — счетную машину, позволяющую складывать, вычитать, умножать, делить, извлекать квадратные корни. При этом использовалась двоичная система счисления. Это был более совершенный прибор, в котором использовалась движущаяся часть (прообраз каретки) и ручка, с помощью которой оператор вращал колесо. Изделие Лейбница постигла печальная судьба предшественников: если им кто-то и пользовался, то только домашние Лейбница и друзья его семьи, поскольку время массового спроса на подобные механизмы еще не пришло. Машина являлась прототипом арифмометра, который был востребован с 1820 года до 60-х годов ХХ века.

 

Переход к современной математике

Успехи Кеплера в расчете пройденного планетой пути по известной скорости ее движения, о чем мы говорили в одной из предыдущих главок, стали первым шагом в новой науке — интегральном исчислении. Сам Кеплер воспринимал его просто: как способ вычисления площади фигуры, ограниченной плоской кривой, либо объема тела, ограниченного данной поверхностью. В 1615 году он опубликовал книгу со странным названием: «Новая стереометрия винных бочек, по преимуществу — австрийских». Это был первый сборник задач на вычисление интегралов; он содержал около ста разных примеров с подробными решениями.

Одна строчка в таблице интегралов от функций соответствует огромной таблице логарифмов чисел! Из этого видно, что для будущей математики исчисление функций гораздо важнее привычной арифметики и алгебры чисел. В новом мире функций, кроме арифметики и алгебры, действуют особые операции. Первые две из них — проведение касательной прямой к данной кривой и вычисление площади, которую ограничивает кривая — угадал еще Архимед. Теперь Кеплер разработал удобную технику решения второй задачи. Но исчислять кривые так же просто и непринужденно, как числа, Кеплер не умел. Революцию в этом ремесле произвел в 1637 году другой великий математик, француз Рене Декарт.

В отличие от Кеплера, Декарт не любил долгих расчетов. Он предпочитал наглядно-геометрические рассуждения и хотел работать этим методом с любыми сложными кривыми, а не только с прямыми и окружностями, как делал Евклид. Для этой работы полезно уметь складывать, вычитать и умножать кривые между собой так же, как мы это делаем с числами.

Пьер Ферма из Тулузы (1601–1665) по основной профессии был юристом, а математикой занимался на досуге, читая книги классиков или современников и размышляя о тех задачах, которые те не заметили или не сумели решить. Понятно, что при таком способе работы Ферма ни в одной области науки не был первым. В математический анализ он вошел вслед за Архимедом и Кеплером, в аналитическую геометрию — вслед за Декартом, в теорию вероятностей вслед за Паскалем, а в теорию чисел — вслед за Диофантом. Но в каждом случае Ферма добавлял в уже готовую или только рождающуюся науку столь важные открытия, что превзойти его результаты могли только гении, порою много десятилетий спустя.

Например, Ферма заинтересовался простой задачей: при каких условиях функция достигает минимума или максимума в данной точке? Оказалось, что необходимо простое условие: производная от функции в этой точке должна быть равна нулю. В наши дни этот факт известен каждому старшекласснику. Но Ферма, распространив свое открытие на функции, зависящие от многих переменных, пришел к замечательному физическому открытию: свет движется по траектории, на которой производная по времени равна нулю. Значит, время движения света вдоль этой траектории — минимальное!

Лишь сто лет спустя Пьер Мопертюи и Леонард Эйлер открыли аналог принципа Ферма в механике; это стало первым шагом к объединению механики с оптикой в рамках квантовой теории.

Теорию чисел Ферма строил почти в одиночестве; из всех его современников только англичанин Джон Валлис интересовался ею. Но Ферма имел важное преимущество перед Валлисом и перед своим античным предшественником, Диофантом. Он хорошо знал аналитическую геометрию и оперировал уравнениями так же свободно, как числами. Поэтому он легко доказал «малую теорему Ферма» и узнал, что существуют конечные поля вычетов — системы чисел, устроенные (в смысле арифметики) еще удобнее, чем множество целых чисел.

Развивая этот успех, Ферма заинтересовался пифагоровыми тройками чисел, целыми решениями уравнения (х^ n + у^ n = z^ n ). Существуют ли целые решения уравнений (х^ n + у^ n = z^ n ) при n > 2? Диофант не нашел ни одного решения для n = 3. Ферма доказал, что таких решений не может быть. Оставалось обобщить метод Ферма для других простых показателей: 5, 7, 11… К сожалению, Ферма не стал проводить в этих случаях подробные расчеты, и поэтому не увидел удивительных алгебраических препятствий на своем пути. Например, при n = 5 необходимо использовать комплексные числа: это первым заметил в конце XVIII века Адриен Лежандр, а Ферма всю жизнь сомневался в полезности таких чисел! Далее, при n = 23 доказательство «большой теоремы Ферма» натолкнулось на неоднозначное разложение комплексных чисел определенного вида на простые множители. Эту новую революцию в алгебре вызвал Эрнст Куммер в середине XIX века.

Не было тогда научных журналов для публикации новых открытий; все крупные ученые Европы узнавали о новых достижениях своих коллег из взаимной переписки. Они регулярно сообщали всем своим корреспондентам о том, какие факты открыли их далекие коллеги. Если новый факт привлекал чье-то внимание, то от автора требовали письменного доказательства. В противном случае сообщение повисало в воздухе.

Такой «любительский» стиль коллективной работы в науке был неизбежен и даже удобен, пока во всей Европе одновременно работали два-три десятка крупных ученых. Как только их стало больше — общую работу пришлось организовать с помощью научных учреждений.