История арифметикиИстория арифметики охватывает период от возникновения счёта до формального определения чисел и арифметических операций над ними с помощью системы аксиом. Арифметика — наука о числах, их свойствах и отношениях — является одной из основных математических наук. Она тесно связана с алгеброй и теорией чисел. Причиной возникновения арифметики стала практическая потребность в счёте, простейших измерениях и вычислениях. Первые достоверные сведения об арифметических знаниях обнаружены в исторических памятниках Вавилона и Древнего Египта, относящихся к III—II тысячелетиям до н. э. Большой вклад в развитие арифметики внесли греческие математики, в частности пифагорейцы, которые пытались с помощью чисел определить все закономерности мира. В Средние века основными областями применения арифметики были торговля и приближённые вычисления. Арифметика развивалась в первую очередь в Индии и странах ислама и только затем пришла в Западную Европу. В XVII веке мореходная астрономия, механика, более сложные коммерческие расчёты поставили перед арифметикой новые запросы к технике вычислений и дали толчок к дальнейшему развитию. Теоретические обоснования представления о числе связаны в первую очередь с определением натурального числа и аксиомами Пеано, сформулированными в 1889 году. За ними последовали строгие определения рациональных, действительных, отрицательных и комплексных чисел. Дальнейшее расширение понятия числа возможно только при отказе от одного из арифметических законов. Возникновение арифметикиЕсли в двух множествах (наборах предметов) каждый элемент одного набора имеет единственную пару в другом наборе, то эти множества равномощны[2]. Такое фактическое сравнение, когда предметы раскладывались в два ряда, использовалось ещё первобытными племенами при обмене[3], оно даёт возможность устанавливать количественные соотношения между группами объектов и не требует понятия числа[4]. В дальнейшем появились естественные эталоны счёта, например, пальцы рук, а затем и множества-эталоны, такие как руки. С появлением эталонов, символизирующих конкретные числа, и связывают возникновение понятия числа. При этом число предметов сравнивали с Луной в небе, количеством глаз, количеством пальцев на руке. Позднее многочисленные эталоны заменились на один наиболее удобный, обычно им становились пальцы рук и/или ног[3]. Следующим шагом было появление общего понятия натурального числа, отделённого от конкретных предметов. Натуральное число возникло как идеализация конечного множества однородных, устойчивых и неделимых предметов (людей, овец, дней и т. п.)[5]; соответственно и действия с числами первоначально отражали реальные действия с такими множествами (объединение, разделение и т. п.). Для праиндоевропейского языка, использовавшего десятеричную систему счисления, уже реконструированы названия числительных до ста включительно[6]. Лебег по этому поводу заметил: «Возможно, что если бы люди имели одиннадцать пальцев, была бы принята одиннадцатиричная система счисления»[3]. Для записи результатов счёта использовали зарубки на дереве или костях, узелки на верёвках — искусственные эталоны счёта[3][7][8]. Лучевая кость молодого волка с 55 зарубками на ней была найдена в 1937 году около деревни Дольни-Вестонице (Чехия). Возраст находки составляет около 5 тысяч лет (по другим данным, около 30 тысяч лет[1]), долгое время она была старейшей известной записью числа[7]. Б. А. Фролов, специалист по палеолиту из Новосибирска, видит в графике орнаментов верхнего палеолита, начиная с памятников из Дольни-Вестонице, многие свидетельства о том, что люди этой эпохи чётко различали определённые количества одинаковых элементов и особенно часто подчёркивали некоторые количества: по 5 или 7 предметов, а также кратные им (особенно 10 и 14)[9]. При наименовании чисел использовались либо неразложимые наименования (такие числа получили название узловые), либо составленные из узловых наименований — алгоритмические[10]. При этом комбинирование алгоритмических чисел основано на арифметических операциях, осуществляемых над узловыми числами[11]. Нумерация, так же как и названия чисел, основана на одном из трёх принципов[7]:
Помимо указанных выше, в ряде источников упоминается также принцип, основанный на делении[12][13]. Древние математические тексты и системы счисленияДревний ЕгипетОсновные сведения по египетской математике базируются на папирусе Ахмеса, который является конспектом египетского писца Ахмеса (XVIII—XVII века до н. э.), а также Московском папирусе. Оба папируса относятся к эпохе Среднего царства. Информации о математических текстах Нового царства, так же как и Раннего и Древнего царств, не сохранилось[14]. Математические папирусы Древнего Египта были составлены для учебных целей[14], они содержат задачи с решениями, вспомогательные таблицы и правила действий над целыми числами и дробями, встречаются арифметические и геометрические прогрессии, а также уравнения[8][15]. Египтяне пользовались десятичной системой счисления[16]. Иероглифическая нумерация была аддитивной со специальными знаками для и так далее до десяти миллионов, в то время как в иератическом письме появились знаки для чисел от одного до девяти, для десятков, сотен и тысяч, а также специальные знаки для дробей вида , или аликвотных дробей[17]. Египетские математические тексты особое внимание уделяли вычислениям и возникающим при этом трудностям, от которых во многом зависят методы решения задач. Египтяне использовали такие арифметические операции, как сложение, удвоение и дополнение дроби до единицы. Любое умножение на целое число и любое деление без остатка проводились с помощью многократного повторения операции удвоения, что приводило к громоздким вычислениям, в которых участвовали определённые члены последовательности [18]. В Египте нашли применение только аликвотные дроби, а все остальные дроби разлагались на сумму аликвотных. В папирусе Ахмеса представлены таблицы таких разложений для дробей вида , остальные вычисления с дробями делались при помощи операции удвоения[19]. При определении площади квадрата, объёма куба или нахождении стороны квадрата по его площади египтяне сталкивались с возведением в степень и извлечением корня, хотя названия этих операций ещё не было[18]. ВавилонВавилонские клинописные математические тексты использовали шестидесятеричную систему счисления, характерную ещё для шумер[20], и представляли собой учебные пособия, которые включали таблицы умножения для чисел от до , а также таблицы обратных чисел, таблицы квадратов и кубов чисел натурального ряда, таблицы вычисления процентов, дроби с основанием [8][16]. Известно более трёхсот табличек с текстами математических задач и числовыми таблицами[21]. Для Вавилона характерно широкое применение таблиц[22][23]. В Вавилоне впервые появляется последовательная позиционная нумерация. Первые пятьдесят девять чисел записывались с повторением знаков единиц и десятков нужное число раз. Аналогичным образом записывались числа, кратные шестидесяти, слева от первого набора. Позднее такое расположение распространилось на любые числа вида и . Кроме того, вавилоняне ввели знак, обозначающий ноль при записи числа[24][23]. Сложение и вычитание в Вавилоне были аналогичны данным действиям в десятичной позиционной системе с тем отличием, что переход в следующий разряд был необходим как для основания системы, так и для единиц и десятков. Из-за большого основания вавилоняне пользовались не единой таблицей умножения до , которая бы содержала большое число элементов, а множеством таблиц произведений чисел от до на числа , называемые также «заглавными». Операции деления у вавилонян не было, поэтому большое внимание было уделено составлению таблицы обратных величин, то есть чисел, образующихся при делении на . В случае деления, дающего бесконечную дробь, сначала писалось, что обратного числа нет, а позднее стало даваться приближённое значение[22]. При решении арифметических задач вавилоняне опирались на пропорции и прогрессии. Они знали формулу суммы членов арифметической прогрессии, правила для суммирования геометрической прогрессии, решали задачи на проценты[25]. В Вавилоне знали множество пифагоровых троек, для поиска которых, вероятно, пользовались неизвестным общим приёмом. В целом задача нахождения целых и рациональных решений уравнения относится к теории чисел[26]. Геометрические задачи привели к необходимости приближённого извлечения квадратных корней, которое они выполняли, используя правило и итерационные методы для дальнейшего приближения результата[ком. 1][27]. Древняя ГрецияПервоначально греки пользовались аттической нумерацией, которая использовала знаки для чисел [28]. Эту систему описал грамматик и историк Геродиан во II веке н. э. С помощью аттической нумерации записывались результаты вычислений на счётной доске абаке. Со временем аттическую нумерацию заменила компактная буквенная, или ионическая[29]. Ионическая нумерация использовала 24 буквы греческого алфавита и три вышедшие из обращения буквы для обозначения единиц от до , десятков от до и сотен от до (вышедшие из обращения буквы использовались для обозначения чисел [28]). Чтобы отличать числа от букв над ними ставили черту. Для записи числа использовали тот же символ, что и для единицы, но со штрихом слева снизу. Это напоминает позиционную систему, но окончательного перехода не произошло[30]. Считается, что такая система затрудняла сложные вычисления[8], однако в 1882 году французский историк математики Поль Таннери пришёл к выводу, что при правильном подходе греческая система нумерации не сильно отличается от десятичной по скорости вычислений[31]. Развитие древнегреческой арифметики связано с пифагорейской школой. Пифагорейцы полагали поначалу, что отношение любых двух отрезков можно выразить через отношение целых чисел, то есть геометрия представляла собой арифметику рациональных чисел. Использование аналогичных отношений в гармонии и музыке привело пифагорейцев к выводу, что все закономерности мира можно выразить с помощью чисел, а арифметика нужна для того, чтобы сформулировать отношения и построить модель мира[32]. В частности, пифагореец Архит писал[33]: «Арифметика, по [моему] мнению, среди прочих наук весьма выделяется совершенством знания; да и геометрии [она совершеннее, так как] она яснее, чем геометрия, рассматривает любой [предмет]». Пифагорейцы рассматривали только целые положительные числа и полагали число собранием единиц. Единицы были неделимы и располагались в виде правильных геометрических тел. Пифагорейцам характерно определение «фигурных чисел» («треугольных», «квадратных» и других). Изучая свойства чисел, они разбили их на чётные и нечётные (как признак делимости на два), простые и составные. Вероятно, именно пифагорейцы с помощью только признака делимости на два смогли доказать, что если — простое число, то — совершенное число. Доказательство изложено в «Началах» Евклида (IX, 36), только в XVIII веке Эйлер доказал, что других чётных совершенных чисел не существует, а вопрос о бесконечности числа совершенных чисел до сих пор не решён. Также пифагорейцы вывели формулу и нашли бесконечное множество целых решений уравнения , так называемых пифагоровых троек[34] (вывод первой формулы определения пифагоровых троек приписывают Платону, который уделял большое внимание арифметике, или науке о числах[35]). Известно, что у пифагорейцев существовало учение о рациональных числах, или отношениях отрезков, но само оно не сохранилось[36]. Вместе с тем им принадлежит доказательство несоизмеримости диагонали и стороны единичного квадрата. Данное открытие означало, что отношений целых чисел недостаточно для выражения отношений любых отрезков и что на этом основании невозможно строить метрическую геометрию[37]. Первое учение об иррациональностях принадлежит Теэтету, ученику Сократа. Он определил, что для квадрата, площадь которого выражается целым неквадратным числом, сторона является несоизмеримой стороне единичного квадрата, иными словами, определил иррациональности вида , аналогичным образом он определил иррациональность вида для единичного куба[38]. Общая теория делимости появилась в 399 году до н. э. и принадлежит, по-видимому, также Теэтету. Евклид посвятил ей книгу VII и часть книги IX «Начал». В основе теории лежит алгоритм Евклида для нахождения общего наибольшего делителя двух чисел. Следствием алгоритма является возможность разложения любого числа на простые сомножители, а также единственность такого разложения. Закон однозначности разложения на простые множители является основой арифметики целых чисел. Алгоритм Евклида позволяет определить неполные частные разложения рационального числа в непрерывную дробь. Вместе с тем понятие непрерывной дроби в Древней Греции не возникло[38]. Следуя Евклиду, для рациональных чисел, в отличие от целых, всегда возможно деление. В Греции умели оперировать дробями вида , складывать и вычитать их, приводя к общему знаменателю, умножать и делить, а также сокращать. В теоретических построениях греки исходили из неделимости единицы и говорили не о долях единицы, а об отношении целых чисел. Для этих отношений было определено понятие пропорциональности, которое разбивало все отношения на непересекающиеся классы. В Древней Греции для этого определялась наименьшая пара из всех, имеющих одинаковое отношение, или пара, в которой числа взаимно просты, что соответствует понятию несократимой дроби[36]. Проблемы построения конечной меры и определения действительного числа обнажили научный кризис в V веке до н. э., выходом из которого занимались все философские школы Древней Греции. Показать все трудности, возникающие при решении этих проблем, удалось Зенону Элейскому в его парадоксах, или апориях[39]. Новые основы математики предложил Евдокс Книдский. Он сформулировал более общее, чем число, понятие геометрической величины — например, отрезка, площади, объёма. Для однородных величин Евдокс определил с помощью аксиом отношение порядка, а также ввёл аксиому, известную как аксиома Архимеда. Такой подход позволил определять произвольные отношения величин, что решало известные тогда проблемы несоизмеримости. Вместе с тем Евдокс не сформулировал аналога аксиомы непрерывности, из-за чего вопрос соизмеримости остался не до конца решённым. Евдокс также не определял для величин арифметические операции[40]. Окончательно объединил понятия числа и величины (точнее, отношения величины к единичному эталону) Ньютон, Исаак в «Универсальной арифметике» (1707)[41]. Вместе с тем построения Евдокса настолько близки более позднему определению действительного числа, данному Дедекиндом, что Липшиц спрашивал последнего в одном из писем о том, что он сделал нового[40]. После завоеваний Александра Македонского центр греческой науки сместился в Александрию[42]. Основополагающим трудом того времени являются «Начала» Евклида, состоящие из тринадцати книг. Книга V посвящена теории отношений Евдокса, книга VI — связи отношений с операцией умножения отрезков, или построению параллелограммов, книги VII—IX — теории целых и рациональных чисел, также рассматриваемых как отрезки, книга X — классификации иррациональностей по Теэтету[43]. В работе Архимеда «Псаммит» был разработан метод для выражения сколь угодно больших чисел. Его конструкция позволяет построить числа первого порядка (до ), затем второго порядка (от до ) и далее, при этом она может быть продолжена и далее. Архимед также показывает, что число песчинок в сфере, диаметр которой менее чем в раз превосходит диаметр Земли, не превышает , иными словами является конечным[44][45]. В дальнейшем древнегреческая арифметика, как и математика в целом, пришла в упадок[46]. Новые знания появляются только в I—II веках н. э.[47] В III веке Диофант начал построение алгебры с опорой не на геометрию, а на арифметику. Диофант также расширил числовую область на отрицательные числа[48]. Работы Диофанта по решению неопределённых уравнений в рациональных числах стоят на стыке теории чисел и алгебраической геометрии[49]. Древний РимРимская система нумерации была мало приспособлена для вычислений. Римские числовые знаки возникли до появления алфавита и не происходят от его букв. Считается, что первоначально числа от 1 до 9 обозначались соответственным числом вертикальных чёрточек, а их перечёркивание означало удесятерение числа (отсюда число X). Соответственно, чтобы получить число 100, палочку перечёркивали два раза. Впоследствии произошло упрощение системы[50]. В настоящее время она применяется в специальных случаях — XIX век, Екатерина II, VI съезд и др. КитайВо II веке н. э. были созданы «Трактат об измерительном шесте» (по астрономии) и «Математика в девяти книгах» (книга для землемеров, инженеров, чиновников и торговцев) — наиболее древние из дошедших до нас математических сочинений Китая. Вместе с ещё рядом книг, написанных в III—IV веках, они образовывали «Десять классических трактатов», которые долгое время переиздавались без изменений[51]. До XIV века математика Китая представляла собой набор вычислительных алгоритмов для решения на счётной доске[52]. В основе китайской нумерации лежит мультипликативный принцип: разряды записываются сверху вниз или слева направо, при этом за числом тысяч идёт знак тысячи, далее за числом сотен — знак сотни, за числом десятков — знак десятка — и в конце число единиц. Для выполнения арифметических действий использовалась счётная доска, предвестник суаньпаня, и счётные палочки. На счётной доске применялась позиционная запись. При этом, по словам китайского математика III века Сунь-Цзы, «в методах, которые употребляются при обычном счёте, прежде всего [следует] познакомиться с разрядами: единицы вертикальны, десятки горизонтальны; сотни стоят, тысячи лежат; тысячи и десятки выглядят одинаково, десятки тысяч и сотни тоже»[53]. Арифметические операции сложения и вычитания, производимые на счётной доске, не требовали дополнительных таблиц, для умножения же существовала таблица от до . Действия умножения и деления производились начиная со старших разрядов, при этом промежуточные результаты удалялись с доски, что делало проверку невозможной. Поначалу умножение и деление были независимыми операциями, но затем Сунь-Цзы отметил их взаимную обратность[54]. Практически одновременно с целыми числами появились и дроби, причём уже ко II веку до н. э. операции с дробями были хорошо разработаны. Для сложения и вычитания использовалось произведение знаменателей, умножение определялось геометрически как площадь прямоугольника, деление же было связано с задачей о дележе, при этом число участников дележа могло быть дробным. В V веке н. э. Чжан Цю-цзянь заменил деление на дробь умножением на перевёрнутую, при этом дробь воспринималась как пара чисел, чему способствовало применение счётной доски. Уже в III веке н. э. в Китае появляются десятичные дроби, с помощью которых давалось приближённое значение иррациональных величин[55]. В Китае умели решать задачи с помощью правила двух ложных положений, которое европейцы приписывали индийской науке. При подстановке двух различных величин в левой части уравнения в правой получаются два различных значения, из которых при помощи пропорции можно было найти решение для . Китайцы использовали вариант, когда в правой стороне имеются избыток и недостаток[56]. Для решения систем линейных уравнений необходимо было введение отрицательных чисел. На доске они выделялись палочками другого цвета, а на письме другими чернилами или косой чертой. Кроме того, отрицательные числа имели особое название. Для них были сформулированы правила выполнения операций вычитания и сложения, причём вычитание было определено в первую очередь. Поначалу отрицательные числа использовались только в процессе счёта и к концу вычислений удалялись с доски, затем китайские учёные стали толковать их как долг или недостачу[57]. Арифметика в СредневековьеВ Средние века математика развивается в первую очередь в исламских странах, Византии и Индии и только затем приходит в Западную Европу. Одними из основных областей математики в это время являются коммерческая арифметика, приближённые вычисления и учения о числе[58]. ИндияПозиционная система счисления (десять цифр, включая ноль) была введена в Индии. Она позволила разработать сравнительно простые правила выполнения арифметических операций[8]. Учёные полагают, что в Индии позиционная система впервые появилась не позже начала нашей эры. Однако в связи с тем, что индийцы использовали хрупкие материалы для письма, документальных памятников этого периода не сохранилось. Подлинным документом, использующим позиционную нумерацию, считается Бакхшалийская рукопись[англ.], которая относится к XII веку[59]. Для целых чисел в Индии использовалась десятичная система. Сначала это были цифры в письме кхароштхи, которые писались справа налево, а затем в письме брахми, которые писались слева направо. Оба варианта использовали аддитивный принцип для чисел до 100 и мультипликативный — далее. Однако в брахми использовались специальные знаки для чисел от 1 до 9. На основе этой системы были разработаны современные цифры письма деванагари (или «божественного письма»), которые стали применяться в десятичной позиционной системе. К 595 году относится первая запись числа, в которой применяются девять цифр, нуля ещё не было. Для удобства вычислений Ариабхата предложил записывать цифры знаками санскритского письма. В 662 году христианский епископ Сирии Север Себохт писал: «Я не стану касаться науки индийцев … их системы счисления, превосходящей все описания. Я хочу лишь сказать, что счёт производится с помощью девяти знаков»[60]. Основными арифметическими действиями в Индии считались сложение, вычитание, умножение, деление, возведение в квадрат и куб, извлечение квадратных и кубических корней, для которых были разработаны правила. Вычисления проводились на счётной доске с песком или пылью или просто на земле и записывались палочкой. Промежуточные выкладки стирались, что приводило к невозможности проверки с помощью обратной операции, вместо чего использовалась проверка с помощью девятки[61]. Индийцы знали дроби и умели совершать операции над ними, пропорции, прогрессии[62]. Уже с VII века н. э. они пользовались отрицательными числами, интерпретируя их как долг, а также иррациональными числами[63]. Они занимались суммированием числовых рядов, в частности, примеры арифметических и геометрических прогрессий имеются в «Ведах», а в XVI веке Нараяна Пандит[англ.]) произвёл более общие суммирования[64]. Индийские математики Ариабхата, Брахмагупта и Бхаскара решали диофантовы уравнения вида в целых числах. Кроме того, они решали в целых числах уравнения вида , что было наивысшим достижением индийских математиков в области теории чисел. Впоследствии это уравнение и его частный случай при привлекли внимание Ферма, Эйлера, Лагранжа. Предложенный Лагранжем метод нахождения решения был близок к индийскому[65]. Страны исламаВ IX—X веках научным исламским центром был Багдад, в котором работали ал-Хорезми, Хаббаш аль-Хасиб, ал-Фаргани, Сабит Ибн Курра, Ибрахим ибн Синан, ал-Баттани. Позднее возникли новые научные центры в Бухаре, Хорезме и Каире, в которых работали Ибн Сина, аль-Бируни и Абу Камил ал-Мисри, а затем в Исфахане и Мераге, где работали Омар Хайям и Насир ад-Дин ат-Туси. В XV веке новый научный центр был образован в Самарканде, в нём работал Гияс ад-Дин ал-Каши. Математические центры северо-западного побережья Африки и Пиренейского полуострова сыграли большую роль в распространении знаний в Европу[66]. У арабов было два типа нумерации: буквенная и десятичная позиционная. Буквенная нумерация хоть и похожа на древнегреческую, но восходит к древнесемитскому алфавиту[67]. В начале IX века Мухаммед ибн-Муса ал-Хорезми написал книгу «Об индийском счёте». Учебник содержал решения практических задач «различного рода и сорта» и был первой книгой, написанной с использованием позиционной системы счисления, до этого цифрами пользовались только для вычислений на счётной доске[68][67]. В XII веке Аделардом (Англия) и Иоанном Севельским (Испания) были сделаны два перевода книги на латинский язык[69]. Её оригинал не сохранился, но в 1857 году под названием «Алхорезми об индийском числе» был издан найденный латинский перевод[68]. В трактате описывается выполнение с помощью индийских цифр на счётной доске таких арифметических действий, как сложение, вычитание, удвоение, умножение, раздвоение, деление и извлечение квадратного корня[70]. Умножение дробей, как и деление, рассматривалось с помощью пропорций: умножить на было равносильно поиску такого , что . Данная теория являлась основой арабской арифметики. Однако при этом существовало и другое исчисление дробей, представлявшее любую дробь в виде суммы аликвотных дробей[71]. В 952—953 годах Абу-л-Хасан Ахмад ал-Уклидиси в своей «Книге разделов об индийской арифметике» использовал десятичные дроби при делении нечётных чисел пополам и некоторых других вычислениях, однако эта книга не оказала влияния на дальнейшее развитие. В начале XV века ал-Каши намеревался построить систему дробей, в которой все операции проводятся как с целыми числами и которая доступна тем, кто не знает «исчисления астрономов»[71]. В 1427 году ал-Каши описал систему десятичных дробей, которая получила распространение в Европе после сочинений Стевина в 1585 году[8]. Таким образом, ал-Каши сформулировал основные правила действий с десятичными дробями, формулы перевода их в шестидесятеричные и обратно[71]. В работах ал-Хорезми встречается приём извлечения квадратного корня, извлечением кубических корней занимался Кушьяр ибн Лаббана, общей разработкой приёмов вычисления корней занимался Омар Хайям. Первое описание извлечения корней любой степени из целого числа встречается в книге ат-Туси «Сборник по арифметике с помощью доски и пыли» (1265). Схема по существу совпадает со схемой Горнера, предложенной в XIX веке, когда дробная часть корня находится приближённо в виде . Кроме того, ат-Туси приводит таблицу биномиальных коэффициентов в форме, аналогичной треугольнику Паскаля[72]. Большое внимание в арабских странах уделялось иррациональным числам и приближённым вычислениям. Ал-Хорезми производил простейшие операции с радикалами, которые представлялись более простыми, чем несоизмеримые отрезки, используемые в Древней Греции. Теория пропорций подверглась критическому анализу. В частности, Омар Хайям в 1077 году в трактате «Комментарии к трудностям во введениях книги Евклида» говорил, что древнегреческое определение не отражает истинной сути пропорций. Хайям дал новое определение пропорции, ввёл отношения «больше» и «меньше», обобщил понятие положительного действительного числа. Отрицательные числа не пользовались популярностью у арабских математиков[73]. Для решения задач арабы пользовались тройным правилом, пришедшим из Индии и описанным наряду с рядом других приёмов в «Книге об индийских рашиках» аль-Бируни, правилом двух ложных положений, пришедшим из Китая и получившим теоретическое обоснование в «Книге о правиле двойного ложного положения» Куста ибн Лукка[74]. Успехи исламской науки в теории чисел менее значительны. Они умели решать уравнения первой и второй степени в целых числах, знали правила построения пифагоровых троек, а также впервые высказали утверждение, что уравнение в общем виде неразрешимо в рациональных числах, что является частным случаем великой теоремы Ферма. Приведённое доказательство этого утверждения не сохранилось[75]. Первым византийским христианским математиком был Анфимий, живший в VI веке. Византийская арифметика находилась под влиянием произведений арабских и древнегреческих математиков. Михаилу Пселлу, жившему в XI веке, принадлежит сочинение по арифметике, в котором он касается классификации чисел и отношений, а также приводит названия степеней, называя при этом «первым невыразимым», а — «вторым невыразимым», что говорит о том, что Пселл знал и использовал мультипликативную систему, в которой показатели степеней выражаются произведением, а не сложением, как было ранее. Максиму Плануду, жившему в XIII веке, принадлежат комментарии к «Арифметике» Диофанта, а также «Арифметика по образцу индийцев». В XIV веке Иоанн Педиасим написал несколько сочинений по арифметике, осветив её трудные вопросы, Николай Равда привёл способ вычисления на пальцах и приближённый способ извлечения квадратных корней, а Исаак Аргир, дал комментарии к первым шести книгам «Начал» Евклида и построил таблицу извлечения квадратных корней для чисел до 102 с использованием шестидесятеричных дробей[76]. АмерикаВ Центральной Америке в основном использовалась двадцатиричная система счисления. Жрецы майя с Юкатана создали её искусственно и использовали для календарных расчётов. В ней второй разряд был неполным и доходил только до [77]. В качестве дополнительного основания использовалось число [78]. Календарь майя представлял собой позиционную систему, где на каждой позиции располагалось божество с определённым количеством знаков. При письме божества не изображали, а для обозначения пустого разряда использовали символ в виде открытой раковины[79] или глаза[80][81]. В Южной Америке для записи чисел использовалась узловая нумерация, или кипу[82]. Арифметические расчёты проводились с помощью юпаны, которая представляет собой аналог абака[83], однако в связи с особенностями системы счисления арифметика, не связанная с астрономическими расчётами, получила слабое развитие[84]. Западная ЕвропаВ эпоху раннего феодализма в Западной Европе потребности в науке не выходили за пределы вопросов практической арифметики и геометрии. Книги содержали начальные сведения о семи свободных искусствах, включая арифметику. Наиболее популярными были сочинения Боэция, датируемые VI веком, который в числе прочего перевёл на латинский язык «Арифметику» Никомаха с собственными числовыми примерами и часть «Начал» Евклида без строгих доказательств[85]. Через Испанию и Сицилию в X веке начали завязываться научные связи с арабским миром. В это время Каталонию посетил учёных монах Герберт, ставший позднее папой Сильвестром II. Ему приписываются такие сочинения, как «Книжка о делении чисел» и «Правила счёта на абаке». В обеих книгах числа пишутся словами или римскими цифрами[85]. Герберт называл вычислителей на абаке «абацистами»[86]. В XII—XIII веках в Европе появились латинские переводы арабских книг по арифметике. Основные переводы были сделаны с арабского на территории Пиренейского полуострова в Толедо под покровительством архиепископа Раймонда I, а также в Барселоне и Сеговии. Приверженцы представленной в книгах десятичной позиционной нумерации стали называться «алгористами» по имени математика ал-Хорезми в латинской форме[86]. Постепенно новая система взяла верх[69][87]. Основным её преимуществом явилось упрощение арифметических операций. Вместе с тем в Германии, Франции и Англии новые цифры не употреблялись до конца XV века[87]. Далее переводов пошёл итальянец Леонардо Пизанский (Фибоначчи), живший в XIII веке. В своём основном труде «Книга абака», написанном в 1202 году, он выступил сторонником индийской системы нумерации и считал приёмы абацистов отклонением от верного пути. Пять глав книги посвящены арифметике целых чисел. Фибоначчи использовал нуль как настоящее число, проводил проверку с помощью девятки, знал признаки делимости на 2, 3, 5, 9, приводил дроби к общему знаменателю с помощью наименьшего общего кратного знаменателей, излагал тройное правило, правила пяти, семи, девяти величин и другие правила пропорций, решал задачи на смешение, оперировал суммированием рядов, включая один из возвратных рядов, или ряд Фибоначчи, разъяснял способы приближённого вычисления квадратных и кубических корней. В «Книге абака» приводятся вместе с доказательствами разнообразные методы и задачи, которые широко использовались в сочинениях поздних математиков[88]. Преподавателю Оксфордского университета магистру Томасу Брадвардину (начало XIV века), ставшему впоследствии архиепископом Кентерберийским, принадлежит книга «Теоретическая арифметика», которая является сокращённым вариантом «Арифметики» Боэция. Кроме того, этот мыслитель в своих работах по механике использовал «половинное» отношение, на основе которого французский математик Николай Орем развил учение о дробных показателях степеней в своём трактате «Алгоризм отношений», а также подошёл к понятию иррационального показателя[89][90], которое можно заключать между достаточно близкими целыми и дробными, и осуществил обобщение возведения в степень на положительные дробные показатели. Работы Орема были напечатаны только в XIX веке[90]. В 1484 году увидела свет рукопись французского бакалавра медицины Никола Шюке «Наука о числах в трёх частях», в которой он, в частности, сопоставляет произведение членов арифметической прогрессии и сумму членов геометрической прогрессии, предвосхищая логарифмы, предлагает число считать корнем первой степени из себя самого, а также использует отрицательные и нулевой показатели степени[91]. В 1487 году Пачоли написал свою «Сумму [знаний] по арифметике, геометрии, отношениям и пропорциональности». В книге, изданной в Венеции в 1494 году, Пачоли изложил различные приёмы арифметических действий, пользуясь при этом алгебраическими символами. Сложение Пачоли обозначал знаком , а вычитание — . Кроме того, он использовал для отрицательного числа выражение «меньше нуля» и сформулировал правило, по которому меняются знаки при умножении чисел[92]. В работе Кардано «Великое искусство» в XVI веке было введено понятие мнимых величин, или софистических. Хотя сам Кардано считал их бесполезными, они были использованы Рафаэлем Бомбелли для решения кубических уравнений, который также ввёл правила умножения мнимых и действительных чисел[93]. В том же веке в Европе получают распространение десятичные дроби. Они появляются в работах Франсуа Виета, Иммануила Бонфиса, Симона Стевина. В 1585 году в книге «Десятая» последний агитировал за повсеместное использование десятичных дробей. В том же году[94] в работе «Арифметика» он дал принципиально новое определение иррациональному числу как «с помощью чего выражается количество всякой вещи». Стевин считал иррациональные и отчасти отрицательные числа такими же настоящими, как и дроби, а также полагал делимой единицу[95]. Штифель в своей «Полной арифметике» вводит определение и алгоритм деления отношения на отношение[96], он также даёт геометрическое толкование отрицательных чисел («ниже, чем ничего») и проводит аналогию между введением отрицательных и иррациональных чисел[97]. В 1569 году французский профессор Пётр Рамус, которому указом короля было запрещено выступать с критикой Аристотеля, написал «Курс математики в тридцать одной книге», в котором пытался дать математике новое обоснование, основанное не на геометрии, а на арифметике[98]. Арифметика Нового времениВ XVII веке мореходная астрономия, механика, более сложные коммерческие расчёты поставили перед арифметикой новые запросы к технике вычислений и дали толчок к дальнейшему развитию. Десятичная арифметика и расширение понятия числаЗначительному изменению подверглось понятие числа. Если ранее к области чисел в большинстве своём относили только положительные рациональные числа, то начиная с XVI века всё более признавались иррациональные и отрицательные числа. В «Геометрии» Декарта 1637 года устанавливается связь между арифметикой и геометрическими построениями, причём числовые величины, вопреки Евклиду, фактически лишаются размерности и отделяются от геометрии. Отношение любой величины к единичному эталону является в данном случае эквивалентом действительного числа, при этом рассуждения оставались верны как для соизмеримых, так и для несоизмеримых отрезков, последние сам Декарт называл «глухими числами» (nombres sourds). Ньютон в своих лекциях также делит числа на три вида: целые (измеряются единицей), дробные (кратные доли единицы) и иррациональные (несоизмеримые с единицей). С 1710 года такое определение числа прочно входит во все учебники[99]. Периодические дроби появились ещё в работе «Десятичный счёт» (Logistica decimalis) И. Г. Бейера в 1603 году. Работу над ними продолжил Валлис в «Трактате по алгебре» в 1685 году, где он определил, что для несократимой дроби число цифр периода меньше или равно . Валлис, кроме того, показал конечность дроби со знаменателем вида , он также знал, что невозможно иррациональные числа выразить периодическими дробями[100]. В начале XVII века Непер изобрёл логарифмы. Применение логарифмов и десятичных дробей, включение в арифметику понятия иррационального числа как последовательности рациональных приближений расширили область применения арифметики к концу XVII века и определили фундаментальное значение науки для изучения непрерывных величин[8]. В XVIII веке продолжились работы с десятичными дробями, в частности с бесконечными и периодическими десятичными дробями. Тот факт, что любая периодическая дробь является рациональным числом, а также, что любая несократимая дробь, содержащая в знаменателе отличные от двух и пяти простые делители, разлагается в периодическую, доказал в середине XVIII века Ламберт. В работе Гаусса «Арифметические исследования» с помощью теории степенных вычетов представлены более глубокие свойства периодических дробей. Вместе с тем в учебниках того времени десятичные дроби затрагиваются мимоходом или не упоминаются вовсе. Непрерывными дробями занимался Эйлер, который впервые представил приёмы преобразования бесконечных непрерывных дробей в бесконечные ряды, а затем посвятил им целую главу в первом томе своего «Введения в анализ бесконечных» в 1748 году. Эйлеру принадлежит доказательство того, что всякое рациональное число может быть представлено в виде конечной непрерывной дроби, а также, что периодическая непрерывная дробь с единицами в числителях является корнем квадратного уравнения. Обратное было доказано Лагранжем в 1768 году[100]. В XVIII веке у Эйлера и его учеников арифметика приобретает современные формы[8]. Жирар и Декарт геометрически интерпретировали отрицательные числа противоположно направленными отрезками. Несмотря на то, что уже Декарт считал отрицательные корни уравнений, наряду с положительными, действительными корнями (в противовес мнимым), некоторые свойства отрицательных чисел долгое время оставались неясными[101]. 1 сентября 1742 года Эйлер в письме Николаю I Бернулли впервые высказал утверждение, что корни любого алгебраического уравнения имеют вид . В 1747 году в «Размышлениях об общей причине ветров» Даламбер показал, что . В «Исследованиях о мнимых корнях» Эйлер тем не менее определяет мнимое число как такое, которое «ни больше нуля, ни меньше нуля, ни равно нулю», а «нечто невозможное». При этом он доказывает теорему, что всякое мнимое число образовано суммой действительного числа и произведения действительного числа на . Задача решалась для отдельных функций, круг операций над мнимыми числами очерчен не был. Кроме того, были проблемы с геометрическим толкованием мнимых чисел[102]. Первую попытку сделал Валлис, который полагал мнимые числа отрезками, перпендикулярными вещественным[101], затем была работа Генриха Кюна в 1753 году, в которой он считал мнимым числом сторону квадрата с отрицательной площадью[102]. Развить определение Валлиса удалось Весселю и Аргану только на рубеже XVIII—XIX веков[101]. Создание и развитие теории чиселВ 30-х годах XVII века Ферма выделил теорию чисел как отдельную область арифметики, по его мнению, лишь слегка затронутую Евклидом и, возможно, Диофантом. Ферма занимался решением диофантовых уравнений и делимостью целых чисел. Он сформулировал ряд утверждений без доказательства, в частности малую[103] и великую теоремы Ферма[104]. Ферма не написал никакого специального труда по теории чисел, его предложения сохранились лишь в переписке, а также в виде замечаний к «Арифметике» Диофанта[105]. Только через 70 лет работы Ферма привлекли внимание Эйлера, который занимался теорией чисел несколько десятилетий[105]. Ей посвящено четыре с половиной тома 30-томной математической серии Эйлера[106]. Эйлер занимался обобщением малой теоремы Ферма, а также доказательством великой теоремы Ферма для случая . Эйлер первым начал применять для задач теории чисел аппарат других разделов математики, в первую очередь математического анализа. Он сформулировал метод производящих функций, тождество Эйлера, а также задачи, связанные со сложением простых чисел[107]. Считается, что именно после работ Эйлера теория чисел стала отдельной наукой[108]. Проблемы обоснования арифметикиС работами Лобачевского по геометрии связан процесс критического пересмотра основ математики, который случился в XIX веке. Ещё в XVIII веке начались попытки дать теоретические обоснования представлениям о числе. Поначалу это касалось только арифметики натуральных чисел, для которой применялись различные аксиомы и определения, зачастую избыточные и недостаточные одновременно, во многом заимствованные из «Начал» Евклида. Также обстояло дело с основными законами арифметики: коммутативный и ассоциативный законы для умножения и сложения упоминались довольно часто, дистрибутивный закон относительно сложения для умножения — реже, а все пять законов — крайне редко. Лейбниц первый поставил задачу дедуктивного построения арифметики и, в частности, показал необходимость доказательства равенства «два плюс два равно четыре» в своих «Новых опытах о человеческом разуме» в 1705 году. В попытках решить этот вопрос свои аксиомы представили Вольф в 1770 году, Шульц в 1790 году, Ом в 1822 году, Грассман в 1861 году и, наконец, Пеано в 1889 году[109]. Сложность выделения основных положений арифметики связана с простотой её начальных положений. Только в середине XIX века Грассман выбрал систему основных аксиом, определяющих сложение и умножение. Система позволяла вывести остальные положения арифметики как логическое следствие из аксиом. На основе аксиом были доказаны коммутативный, ассоциативный и дистрибутивный законы сложения и умножения, введено понятие дроби как пары целых чисел с определёнными законами сравнения и действий. Работа Грассмана была продолжена Пеано[8]. Были и дальнейшие попытки приблизиться к полному теоретическому обоснованию арифметики натуральных чисел, в частности работы Гильберта, пока в 1932 году Гёдель не доказал теорему о неполноте[109]. Аналогичным образом были попытки дать теоретическое обоснование рациональным дробям, для которых выделялись две концепции: равные доли единицы или отношение двух однородных величин[109]. Для рациональных дробей необходимо было доказать верность равенств и ( — натуральное число), которые использовались при сложении, вычитании и сокращении дробей. Равенство было тривиальным в теории отношений, но совсем не очевидным в независимой от неё концепции. Вместе с тем его просто считали верным[110]. Арифметика дробей была обоснована Ж. Таннери в 1894 году, в его модели дроби представлялись парами целых чисел[102]. В 1758 году в «Первых основаниях арифметики, геометрии, плоской и сферической тригонометрии и перспективы» Кестнер выступил за обоснование всех арифметических понятий через целое число. Таким образом, он определил, в порядке следования в книге, натуральные числа, дроби, отрицательные числа, десятичные дроби, иррациональные числа и только затем теорию отношений. Операции над иррациональными числами стали исследовать, опираясь на их приближения рациональными дробями. При этом существование иррациональных чисел принималось заранее, а сами они трактовались как пределы последовательности рациональных чисел. Для иррациональных чисел пользовались определением Ньютона как отношения несоизмеримых величин (подобное определение дал и Эйлер). Аналогичным образом трактовал иррациональные числа П. А. Рахманов в «Новой теории содержания и пропорции геометрически соизмеримых и несоизмеримых количеств, и в последнем случае основанной на теории пределов». И только во второй половине XIX века появляются строгие теории действительного числа, сформулированные Мерэ, Кантором, Дедекиндом и Вейерштрассом[110]. В формировании теории отрицательных чисел основную проблему составляло утверждение, что отрицательное число меньше нуля, то есть меньше, чем ничего. Строгое определение отрицательных чисел отсутствовало, при этом были попытки сформулировать правила знаков («минус на плюс даёт минус» и «минус на минус даёт плюс»). Французский математик Карно в 1813 году писал: «Метафизика правила знаков при более глубоком изучении её обнаруживает, пожалуй, бо́льшие трудности, чем метафизика бесконечно малых количеств; это правило никогда не было доказано вполне удовлетворительным образом, и, по-видимому, оно даже не может быть доказано достаточно удовлетворительно». Первые попытки сформулировать теорию отрицательных чисел были сделаны в середине XIX века и принадлежат Гамильтону и Грассману[111]. Полное геометрическое толкование комплексных чисел было предложено Каспаром Весселем в «Опыте об аналитическом представлении направления и его применениях, преимущественно к решению плоских и сферических многоугольников» в 1799 году. Вессель хотел работать с направленными отрезками на плоскости с помощью алгебраических операций, но для вещественных чисел они позволяли только изменить направление на противоположное, а не задать произвольное направление. Вессель использовал основные единицы , , , и, используя правила умножения, заключил, что . Работы Весселя оставались незамеченными около 100 лет. За это время своё толкование мнимых чисел представили Жан Робер Арган в 1813—1814 годах, Шайсс в 1831 году в «Теории биквадратичных вычетов», а также Гамильтон в 1832 году, который построил арифметическую теорию, рассматривая комплексные числа как пары действительных[102]. Вессель пытался обобщить теорию на трёхмерное пространство, но это ему не удалось. Вопрос оставался открытым до тех пор, пока Гамильтон не построил теорию кватернионов, при умножении которых не выполняется коммутативный закон. При этом исследования Вейерштрасса, Фробениуса и Пирса показали, что отказаться от какого-либо из арифметических законов придётся при любом расширении понятия числа за пределы комплексных чисел[102]. История арифметики в РоссииНа Руси использовали аналог древнегреческой нумерации с использованием букв кириллицы или глаголицы. Вместе с тем, в отличие от многих народов, которые придали числовые значения новым буквам, на Руси за малым исключением продолжали использовать буквы греческого алфавита или похожие. Числа писались в том же порядке, что и произносились, то есть в числе 15 сначала шёл знак для пяти, а потом для десятка, в то время как в числе 25 — сначала для 2, а потом для 5. Наибольшее распространение получила кириллическая нумерация[112]. Арифметика в России называлась щётная мудрость, или «Чёрная книга», откуда произошло чернокнижие. Книги по арифметике мало кто мог прочитать и понять, так как они содержали арифметические правила и выкладки и были составлены из малопонятных знаков[31]. XI веком датируются математические задачи из юридического сборника «Русская Правда» — первый дошедший до нас математический документ Древней Руси, содержащий задачи о приплоде скота, количестве зерна и сена, собираемого с определённой площади. Дальнейшее развитие науки было остановлено монголо-татарским нашествием[113]. В конце XVI века появилась «Книга, рекома по гречески Арифметика, по-немецки Алгорисма, а по-русски — Цифирная счетная мудрость», которая, по мнению Карамзина, и была первой русской арифметикой[114]. Считается, что арабские цифры были введены в России после первого заграничного путешествия Петра I[115], когда он в 1698 году привёз из Лондона морских офицеров. Одним из офицеров был Фергарсон, который, как полагают, ввёл в России арабские цифры[114]. Но на самом деле они пришли в Россию задолго до Петра, в 1647 году в Москве по указу царя Алексея Михайловича был напечатан русский воинский устав, в котором использовались арабские цифры. Книги же, напечатанные на русском языке за пределами России, содержали арабские цифры с начала XVI века. При этом в тексте использовалась славянская нумерация, а для вычислений — арабская[116]. В 1682 году в Москве была напечатана первая книга математического содержания «Считание удобное, которым всякий человек купующий или продающий зело удобно изыскати может, число всякие вещи», которая содержала таблицы умножения до 100 и использовала славянскую нумерацию. Второе издание этой книги, выпущенное в 1714 году в Петербурге, было напечатано гражданским шрифтом и арабскими цифрами. В 1699 году в Амстердаме вышла книга «Краткое и полезное руковедение в аритметыку, или во обучение и познание всякого счёту в сочетании всяких вещей» — первый учебник арифметики на русском языке. Книга была составлена Ильёй Фёдоровичем Копиевичем (или Копиевским) по заказу архангельских купцов. Она не удовлетворила заказчиков и распространения не получила[116]. В России первый учебник арифметики Леонтия Магницкого был напечатан в 1703 году[115]. В «Арифметике» Магницкого, вслед за остальной Европой, используется счёт по числу пальцев на руках: числа от 1 до 9 названы «перстами», нуль — «низачто», десятки — «составами», а остальные числа — «сочинениями»[ком. 2][117]. ПримечанияКомментарии
Источники
Литература
|