Арифметика

Арифме́тика (др.-греч. ἀριθμητική, arithmētikḗ — от ἀριθμός, arithmós «число») — раздел математики, изучающий числа, их отношения и свойства. Предметом арифметики является понятие числа (натуральные, целые, рациональные, вещественные, комплексные числа) и его свойства. В арифметике рассматриваются измерения, вычислительные операции (сложение, вычитание, умножение, деление) и приёмы вычислений. Изучением свойств отдельных целых чисел занимается высшая арифметика, или теория чисел. Теоретическая арифметика уделяет внимание определению и анализу понятия числа, в то время как формальная арифметика оперирует логическими построениями предикатов и аксиом. Арифметика является древнейшей и одной из основных математических наук; она тесно связана с алгеброй, геометрией и теорией чисел^[1][2].

Арифметика
Ганс Себальд Бехам, XVI век

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

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

С наступлением Нового времени мореходная астрономия, механика, усложнившиеся коммерческие расчёты выдвинули новые требования к технике вычислений и дали толчок к дальнейшему развитию арифметики. В начале XVII века Непер изобрёл логарифмы, а затем Ферма выделил теорию чисел в самостоятельный раздел арифметики. К концу века сформировалось представление об иррациональном числе как о последовательности рациональных приближений, а в течение следующего столетия благодаря трудам Ламберта, Эйлера, Гаусса арифметика включила в себя операции с комплексными величинами, приобретя современный вид.

Последующая история арифметики ознаменована критическим пересмотром её основ, попытками дедуктивного её обоснования. Теоретические обоснования представления о числе связаны, в первую очередь, со строгим определением натурального числа и аксиомами Пеано, сформулированными в 1889 году. Непротиворечивость формального построения арифметики была показана Генценом в 1936 году.

Основам арифметики издавна и неизменно уделяется большое внимание в начальном школьном образовании.

Предмет арифметики

Джузеппе Пеано в 1889 году сформулировал аксиомы натуральных чисел

Предметом арифметики являются числовые множества, свойства чисел и действия над числами^[3]. К ней также относят вопросы, связанные с техникой счёта, измерениями^[4], происхождением и развитием понятия числа^[1]. Арифметика изучает, в первую очередь, натуральные числа и дроби^[5]. На основе аксиоматической структуры множества натуральных чисел осуществляется построение других числовых множеств, включая целые, действительные и комплексные числа, проводится их анализ^[1]. Иногда в рамках арифметики рассматривают также кватернионы и другие гиперкомплексные числа. Вместе с тем, из теоремы Фробениуса следует, что расширение понятия числа за пределы комплексной плоскости без потери каких-либо его арифметических свойств невозможно^[6][7].

К основным действиям над числами относят сложение, вычитание, умножение и деление^[3], реже — возведение в степень, извлечение корня^[4] и решение численных уравнений^[3]. Исторически список арифметических действий также включал собственно счёт, удвоение (помимо умножения), деление на два и деление с остатком (помимо деления), поиск суммы арифметической и геометрической прогрессий^[8]. Джон Непер в своей книге «Логистическое искусство» разделил арифметические действия по ступеням: на низшей ступени находятся сложение и вычитание, на следующей — умножение и деление, далее — возведение в степень и извлечение корней^[9]. Известный методист И. В. Арнольд к операциям третьей ступени относил также логарифмирование^[10]. Традиционно арифметикой называют выполнение операций над различными объектами, как то: «арифметика квадратичных форм», «арифметика матриц»^[1].

Собственно математические расчёты и измерения, необходимые для практических нужд (пропорции, проценты, тройное правило), относят к низшей, или практической арифметике^[3], в то время как логический анализ понятия числа относят к теоретической арифметике^[1]. Свойства целых чисел, деление их на части, построение непрерывных дробей являются составной частью теории чисел^[1], которую долгое время считали высшей арифметикой^[3]. Арифметика также тесно связана с алгеброй, которая изучает собственно операции без учёта особенностей и свойств чисел^[1][11]. Такие арифметические действия, как возведение в степень и извлечение корней, являются технической частью алгебры. В этой связи, вслед за Ньютоном и Гауссом, алгебру принято считать обобщением арифметики^[3][4]. Вообще говоря, чётких границ между арифметикой, элементарной алгеброй и теорией чисел не существует. В БСЭ сказано: «Алгебра изучает, пользуясь буквенными обозначениями, общие свойства числовых систем и общие методы решения задач при помощи уравнений; арифметика занимается приёмами вычислений с конкретно заданными числами, а в своих более высоких областях (см. Чисел теория) — более тонкими индивидуальными свойствами чисел»^[12].

Как и прочие академические дисциплины, арифметика сталкивается с принципиальными методологическими проблемами; для неё необходимо исследование вопросов непротиворечивости и полноты аксиом^[3]. Логическими построениями формальной системы предикатов и аксиом арифметики занимается формальная арифметика^[2].

Простейшие понятия

Порядковый счёт, натуральные числа

Одно яблоко, два яблока, три яблока. Натуральные числа

Основная статья: Натуральное число

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

Порядковый счёт связан со счётом группами, содержащими определённое равное количество элементов — например, счёт десятками яблок. Обычно это пальцы на двух руках (основание равно ${\displaystyle 10}$), но в исторических источниках встречаются группировки по ${\displaystyle 5,11,12,20,40,60,80}$. Количество элементов в группе служит основанием для системы счисления^[11].

Числовой ряд, получаемый при счёте, называют натуральным, а его элементы — натуральными числами. Понятие натурального ряда впервые появилось в работах греческого математика Никомаха в I веке н. э., а натурального числа — у римского автора Боэция в конце V — начале VI века. Всеобщее употребление термина начинается с работ Д’Аламбера в XVIII веке. Архимед в своей работе «Псаммит» указал, что числовой ряд можно продолжать неограниченно, но вместе с тем заметил, что для реальных задач достаточно небольшого отрезка^[13]. Деление натуральных чисел на чётные и нечётные приписывают пифагорейцам, оно также присутствует в египетском папирусе Ринда. Пифагорейцы также определили простые и составные числа^[14].

Сложение, умножение, возведение в степень

${\displaystyle 3+2=5}$

Основные статьи: Сложение, Умножение и Возведение в степень

Для натуральных чисел естественным образом определены операции сложения и умножения. При объединении двух наборов, содержащих некоторое количество предметов, новый набор будет иметь столько предметов, сколько было в первых двух наборах вместе. Если первый набор содержал ${\displaystyle 3}$ предмета, а второй — ${\displaystyle 2}$ предмета, то их сумма будет содержать ${\displaystyle 3+2=5}$ предметов. Указанное действие носит название сложения и является простейшей бинарной операцией^[4]. Для проверки корректности суммы таблицу сложения знать не обязательно, достаточно пересчитать предметы^[15].

Многократное сложение элементов нескольких одинаковых множеств не зависит от порядка этих множеств, что позволило определить другую бинарную операцию — умножение^[4]. Помимо умножения, в древности существовало отдельное арифметическое действие — удвоение, или умножение на два^[16].

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

Основные законы арифметики

Переместительный закон умножения

Основные статьи: Коммутативная операция, Ассоциативная операция и Дистрибутивность

Про свойства этих операций сформулированы пять законов, которые считаются основными законами арифметики^[17]:

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

${\displaystyle a+b=b+a}$

${\displaystyle a\cdot b=b\cdot a}$

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

${\displaystyle (a+b)+c=a+(b+c)}$

${\displaystyle (a\cdot b)\cdot c=a\cdot (b\cdot c)}$

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

${\displaystyle (a+b)\cdot c=a\cdot c+b\cdot c}$

Помимо основных законов арифметики, для натуральных чисел выполняются также законы монотонности сложения и умножения^[18][19], в алгебраической форме записываемые так:

${\displaystyle a+b>a+c}$ при ${\displaystyle b>c}$;

${\displaystyle a\cdot b>a\cdot c}$ при ${\displaystyle b>c}$ и ${\displaystyle a>0}$.

Термин «коммутативный» для переместительного закона ввёл в 1814 году французский математик Сервуа. Термин «ассоциативный» для сочетательного закона ввёл в 1853 году Гамильтон^[17].

Пуанкаре рассматривал все арифметические операции и законы с точки зрения интуиции. Утверждая, что законы очевидным образом выполняются для малых чисел, и используя правило индукции, можно прийти к выводу, что они выполняются для всех чисел. При другом подходе интуитивно выполнимыми считаются не все, а только простейшие законы, в то время как дальнейшее доказательство связано с логическими построениями^[20]. Очевидными принимались переместительный и сочетательный законы^[17]. Распределительный, или дистрибутивный закон в своих «Началах» доказывал ещё Евклид, используя геометрический метод^[21].

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

• Дистрибутивность — распределительный закон для операции возведения в степень:

${\displaystyle a^{n+m}=a^{n}a^{m}}$

• он же, в случае вычитания, приобретает форму дроби:

${\displaystyle a^{n-m}={a^{n} \over {a^{m}}},\quad n>m}$

• Повторное возведение в степень раскрывается как перемножение степеней:

${\displaystyle \left(a^{n}\right)^{m}=a^{nm}}$.

Обратные операции

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

Вычитание: отрицательные числа

Основные статьи: Вычитание, Отрицательное число и Целое число

${\displaystyle 5-2=3}$

Вычитание — это операция, обратная сложению: разностью двух чисел ${\displaystyle 5}$ и ${\displaystyle 2}$ является ${\displaystyle x}$ из уравнения ${\displaystyle 2+x=5}$^[4]. Обозначается операция вычитания знаком «−» и записывается в виде ${\displaystyle 5-2=3}$. Для выполнения операции применяли два приёма: отсчитывание от уменьшаемого числа единиц вычитаемого или подбор такого числа, прибавление которого к вычитаемому давало бы уменьшаемое^[16].

Операция вычитания, если её применять ко всем парам натуральных чисел, а не только к таким, которые могли бы быть суммой и слагаемым в рамках операции сложения, позволяет выйти за пределы натурального ряда, то есть разность двух натуральных чисел не обязательно является натуральным числом — в результате вычитания может получиться ноль или вовсе отрицательное число. Отрицательные числа уже невозможно рассматривать как количество предметов, на числовой оси они расположены левее ноля. Множество чисел, получившееся добавлением к натуральным числам отрицательных чисел и числа ноль, носит название множества целых чисел. Ноль и множество натуральных чисел называются неотрицательные целые числа^[4]. При умножении, чтобы определить, положительным или отрицательным будет произведение чисел, используют «правило знаков»^[22].

Отрицательные числа считали ненастоящими и бессмысленными очень многие математики вплоть до XIX века, что, однако, не мешало их повсеместному формальному использованию. Впервые понятие отрицательных чисел появилось в Индии, где их толковали как «долг» (положительные числа — «имущество»). Распространение же отрицательные числа получили только в XVII веке^[23]. Термин «вычитание» появился ещё у Боэция, термины «вычитаемое» и «уменьшаемое» ввёл в обиход Вольф в 1716 году, «разность» — Видман в 1489 году^[16]. Современное обозначение знаками «+» и «−» было также введено Видманом в конце XV века.

Деление: рациональные числа

Основные статьи: Деление (математика) и Рациональное число

Деление 20 на 4

Обратной к операции умножения является операция деления. Первое определение деления — это поиск числа, которое содержится в делимом столько раз, сколько единиц содержится в делителе. Такое определение дано в учебниках арифметики XIV века — например, ${\displaystyle 20:4=5}$. Деление считалось очень сложной и громоздкой операцией. Современный способ деления, использующий частичные произведения делителя на отдельные разряды частного (деление столбиком), представлен в итальянском манускрипте 1460 года^[16].

Для натуральных чисел, не являющихся множителем и произведением, известна операция деление с остатком (а определение собственно остатка от деления также называется деление по модулю). Также существует множество способов, упрощающих деление в различных частных случаях или позволяющих проверить делимость на то или иное число. Например:

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

Операция деления, если делить не только те числа, которые можно получить умножением натуральных чисел, и при этом не выделять остаток, так же как и вычитание, позволяет выйти за пределы множества натуральных чисел. При делении могут получиться дроби, которые невозможно без остатка сократить до целого. Числа, соответствующие таким дробям, называются рациональными. За счёт осознания основанных на делении рациональных чисел происходит ещё одно расширение перечня известных видов чисел. Исторически сначала появилось понятие дроби, а затем отрицательного числа^[24]. Такой же порядок принят в школьном курсе^[25].

Используется две формы записи дробей — в виде числителя и знаменателя, разделённых горизонтальной или наклонной чертой и часто сокращаемых до минимальных чисел, и в виде цифр дробной части, размещаемых после знака-разделителя целой и дробной части в позиционной записи числа. Например, результат деления 10 на 20 может быть записан как ${\displaystyle {\frac {10}{20}}=10/20=5/10=1/2=0{,}5}$.

Числовая ось

Извлечение корня: иррациональные и комплексные числа

Основные статьи: Корень (математика), Логарифм, Иррациональное число, Комплексное число и Вещественное число

Одна из двух обратных для возведения в степень операций — извлечение корня, или поиск числа, которое при возведении в соответствующую степень будет давать известный результат. То есть, говоря алгебраически, это поиск корня для уравнения вида ${\displaystyle x^{a}=b}$. Вторая обратная операция — поиск логарифма (корня для уравнения вида ${\displaystyle a^{x}=b}$). К арифметике, как правило, относят лишь вычисление корня второй степени — квадратного корня.

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

Ещё в Древней Греции было известно о существовании несоизмеримых отрезков, как минимум, на примере сторон и диагонали квадрата со стороной, принятой за единицу, и проводились попытки получить для них точные числовые значения, что нашло отражение в «Началах» Евклида. Вещественные числа стали объектом исследований только в XVII—XVIII веках. Во второй половине XIX века Дедекинд, Кантор и Вейерштрасс сформулировали свои конструктивные способы определения вещественного числа^[26].

Для операции извлечения корня известно следующее правило^[4]:

${\displaystyle a^{n \over m}={\sqrt[{m}]{a^{n}}}}$.

Дальнейшее расширение множества чисел было связано с невозможностью извлечения квадратного корня из отрицательного числа. С подобной задачей сталкивались в древности при решении квадратных уравнений, и такие уравнения просто считали неразрешимыми. В первой половине XVI века стали выражать решения таких уравнений через корни из отрицательных чисел и называть такие корни «мнимыми», «невозможными», «воображаемыми» и т. д.^[27]

Практическая арифметика

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

• Простейшие счётные устройства
• 
  Римский абак
• 
  Китайский суаньпань
• 
  Юпана инков
• 
  Русские счёты

Точные методы

Начиная с XV века предлагались разные алгоритмы для осуществления арифметических операций над многозначными числами, которые отличаются характером записи промежуточных вычислений^[1]. Арифметические алгоритмы построены на действующей позиционной системе счисления, когда любое положительное действительное число ${\displaystyle x}$ единственным образом представимо в виде

${\displaystyle x=(a_{n-1}a_{n-2}\dots a_{1}a_{0},a_{-1}a_{-2}\dots )_{b}=\sum _{k=-\infty }^{n-1}a_{k}b^{k}}$, где ${\displaystyle a}$ — очередная цифра записи числа ${\displaystyle x}$, ${\displaystyle b}$ — основание системы счисления, ${\displaystyle n}$ — число разрядов целой части числа ${\displaystyle x}$.

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

${\displaystyle 7\cdot 12=7\cdot (10+2)=70+14=70+(10+4)=(70+10)+4=80+4=84,}$

в котором используются распределительный и сочетательный законы^[29].

Потребность в быстрых и точных вычислениях привела к созданию простейших счётных устройств: абака, суаньпаня, юпаны или счёт. Следующим шагом было создание Отредом в 1622 году логарифмической линейки, которая позволяет производить умножение и деление^[30].

Компьютерная арифметика

Копия вычислительной машины Шиккарда

Кнут считал арифметические действия «уделом компьютеров»^[31]. Первые вычислительные машины, которые позволяли механизировать четыре арифметических действия, были сконструированы в XVII веке. «Арифметическая машина» Шиккарда, как он сам её называл, была построена в 1623 году. Операции сложения и вычитания производились посредством вращения цилиндров, специальные цилиндры были также для умножения и деления. Кроме того, машина могла переносить десятки. Машина Паскаля была разработана им в 1642 году для помощи отцу в выполнении финансовых расчётов. Она имела тот же принцип действия, что и машина Шиккарда. Основную часть машины составлял механизм переноса десятков. Вместе с тем, ремесленное изготовление таких машин всё ещё оставалось невыгодным^[32]. Попытки усовершенствовать арифмометр продолжались весь XVIII век, но только в XIX веке применение арифмометров получило широкое распространение^[33].

В XX веке на смену арифмометрам пришли электронные вычислительные машины. В их основе лежат алгоритмы, которые используют наименьшее число элементарных операций для выполнения арифметических действий^[1]. Компьютерная арифметика включает алгоритмы выполнения операций над числами с плавающей запятой, дробями и очень большими числами^[31].

Измерение

Помимо предметов, которые подлежат пересчёту, существуют предметы, которые можно измерить — в первую очередь, это длина и масса^[34].

Как и при счёте, первыми мерами длины у человека были пальцы рук. Затем расстояние стали мерить шагами, двойными шагами, милями (тысяча двойных шагов), стадиями. Кроме того, для измерения длины использовали локти, ладони, сажени, дюймы. В различных регионах устанавливались свои системы мер, которые редко были кратны десяти^[35]. Многообразие мер, в частности, позволяло обойтись без использования дробей^[36][37]. Торговая арифметика включала в себя умение оперировать величинами (денежными единицами, единицами мер и весов) в недесятичной системе счисления^[38].

В конце XVIII века французским революционным правительством на основании временного, а затем и архивного (законом 10 декабря 1799 года) метра была принята метрическая система мер (окончательно Франция перешла на неё с 1 января 1840 года). Вместе с метром был определён и килограмм. В основе метрической системы лежит десятичная система. Именно это обстоятельство позволило ей распространиться почти на весь мир (исключение составляют Великобритания и США). По указу специального Международного бюро мер и весов, расположенного в Париже, в 1888 году из сплава платины и иридия были изготовлены международный метр и международный килограмм — эталоны мер и весов. Помимо мер времени и угла, все остальные единицы мер также связаны с десятичной системой^[39].

Приближённые методы

Исторически приближённые вычисления возникли при поиске длины диагонали единичного квадрата, но получили широкое распространение при переходе к десятичной системе и использовании конечных десятичных дробей вместо иррациональных чисел и чисел, выраженных бесконечной периодической дробью^[40].

Для оценочных вычислений используют, в первую очередь, законы монотонности. Например, чтобы определить порядок произведения ${\displaystyle 567\cdot 134}$, можно воспользоваться следующей оценкой: ${\displaystyle 560\cdot 130<567\cdot 134<570\cdot 140}$^[29].

Теория чисел

Теория чисел, или высшая арифметика, — это наука о целых числах, которая возникла из арифметических задач, связанных с делимостью чисел^[41]. Элементарная теория чисел имеет дело с проблемами, которые решают элементарными методами, обычно без использования мнимых чисел. К ней относят теорию делимости, теорию сравнений, неопределённые уравнения, разбиение на слагаемые, приближения рациональными числами, цепные дроби^[42]. Основная теорема арифметики — о разбиении числа на простые сомножители единственным образом — также является частью элементарной теории чисел^[43].

Отдельные подклассы целых чисел, такие как простые, составные, квадратные, совершенные числа, были выделены ещё древними греками. Они вывели формулы для определения пифагоровых троек, наибольшего общего делителя, показали бесконечность числа простых чисел. Диофант провёл систематизацию задач, связанных с целыми числами. Работы Диофанта были продолжены Ферма в XVII и Эйлером в XVIII веке. Ферма занимался решением уравнений в целых числах и сформулировал без доказательства малую и великую теоремы Ферма. Эйлер, продолжая исследования Ферма, доказал малую теорему и частный случай великой теоремы Ферма. Он впервые применил математический анализ для решения задач теории чисел и создал аналитическую теорию чисел. Эйлер определил производящие функции, на основе которых были построены круговой метод^[англ.] и метод тригонометрических сумм^[41].

В настоящее время, помимо элементарной и аналитической теории чисел, существуют такие разделы, как аддитивная, алгебраическая, вероятностная, метрическая теории чисел^[41].

Теоретическая арифметика

В современной математике построение теории представляет собой выбор базовых свойств, или аксиом, из которых требуется вывести все положения теории, или теоремы, с помощью общепринятой логики^[44]. Теоретическое построение арифметики оперирует алгебраическими понятиями. Сложность выделения основных определений арифметики связана с простотой её начальных положений. Пеано, опасаясь ложного ассоциативного ряда при использовании слов, проводил доказательства исключительно на языке символов, опираясь только на принятые им предварительные положения. Кантор и Дедекинд связали числа с множествами и абстрактными отношениями над ними^[20]. Теория множеств рассматривает арифметические действия как особые отношения между тройками элементов, в которых один элемент определяется через два других, или алгебраические операции^[45]. Говоря о теории множеств, Клейн заметил, что при этом подходе развитие теории становится «отвлечённым и мало доступным»^[20].

Натуральные числа

В 1810 году чешский математик Больцано определил действие сложения для натуральных чисел. Независимо от него подобное определение дали немецкие математики Грассман в 1861 году и Ганкель в 1869 году^[46]. «Энциклопедия элементарной математики» предлагает следующее определение сложения натуральных чисел^[47]:

Определение. Сложением натуральных чисел называется такое соответствие, которое каждой паре натуральных чисел ${\displaystyle a}$ и ${\displaystyle b}$ сопоставляет одно и только одно натуральное число ${\displaystyle a+b}$, обладающее следующими свойствами: ${\displaystyle a+1=a'}$ для любого ${\displaystyle a}$, ${\displaystyle a+b'=(a+b)'}$ для любых ${\displaystyle a}$ и ${\displaystyle b}$.

Сложение натуральных чисел всегда выполнимо и однозначно^[47].

Умножение, как и сложение, определили независимо Больцано, Грассман и Ганкель^[46]. «Энциклопедия элементарной математики» предлагает следующее определение умножения натуральных чисел^[48]:

Определение. Умножением натуральных чисел называется такое соответствие, которое каждой паре натуральных чисел ${\displaystyle a}$ и ${\displaystyle b}$ сопоставляет одно и только одно натуральное число ${\displaystyle ab}$ (или ${\displaystyle a\cdot b}$), обладающее следующими свойствами: ${\displaystyle a\cdot 1=a}$ для любого ${\displaystyle a}$, ${\displaystyle a\cdot b'=a\cdot b+a}$ для любых ${\displaystyle a}$ и ${\displaystyle b}$.

Умножение натуральных чисел всегда выполнимо и однозначно^[48].

В 1891 году Пеано представил аксиомы для натуральных чисел (в других источниках упоминается также 1889 год)^[11][46]. С тех пор аксиомы претерпели очень небольшое изменение.

Определение. Натуральными числами называются элементы всякого непустого множества ${\displaystyle \mathbb {N} }$, в котором для некоторых элементов ${\displaystyle a}$ и ${\displaystyle b}$ существует отношение «${\displaystyle b}$ следует за ${\displaystyle a}$», для которого выполняются следующие аксиомы[49]: Существует число ${\displaystyle 1}$, не следующее ни за каким числом, то есть ${\displaystyle a'\neq 1}$ для любого числа ${\displaystyle a}$. Для любого числа ${\displaystyle a}$ существует следующее число ${\displaystyle a'}$ и при том только одно, то есть из ${\displaystyle a=b}$ следует ${\displaystyle a'=b'}$. Любое число следует не более чем за одним числом, то есть из ${\displaystyle a'=b'}$ следует ${\displaystyle a=b}$. Любое множество ${\displaystyle M}$ натуральных чисел, обладающее свойствами: ${\displaystyle 1}$ принадлежит ${\displaystyle M}$ и если число ${\displaystyle a}$ принадлежит ${\displaystyle M}$, то следующее число ${\displaystyle a'}$ также принадлежит ${\displaystyle M}$, содержит все натуральные числа, то есть совпадает с ${\displaystyle \mathbb {N} }$.

Целые числа

«Энциклопедия элементарной математики» предлагает следующее определение вычитания натуральных чисел^[50]:

Определение. Вычитанием натуральных чисел называется такое соответствие, которое каждой паре натуральных чисел ${\displaystyle a}$ и ${\displaystyle b}$ сопоставляет число ${\displaystyle a-b}$, обладающее следующим свойством: ${\displaystyle (a-b)+b=a}$.

Вычитание натуральных чисел выполнимо, только когда ${\displaystyle a>b}$, если разность существует, то она единственна^[50]. Расширение натуральных чисел за счёт свойств сложения и вычитания приводит к понятию целых чисел^[51].

Определение. Кольцом целых чисел называется минимальное кольцо ${\displaystyle \mathbb {Z} }$, содержащее множество ${\displaystyle \mathbb {N} }$ всех натуральных чисел и обладающее следующими свойствами[52]: Сложение и умножение натуральных чисел совпадают с одноимёнными операциями над этими числами в кольце ${\displaystyle \mathbb {Z} }$; Кольцо ${\displaystyle \mathbb {Z} }$ не содержит отличного от него подкольца, содержащего множество ${\displaystyle \mathbb {N} }$. Элементы кольца ${\displaystyle \mathbb {Z} }$ называются целыми числами.

Кольцо ${\displaystyle \mathbb {Z} }$ существует и является единственным с точностью до изоморфизма, а каждый его элемент равен разности натуральных чисел. При построении кольца используют множество пар натуральных чисел вида ${\displaystyle (a,\;b)}$. Для пар определяют эквивалентность, сложение и умножение следующим образом^[52]:

• ${\displaystyle (a,\;b)}$ эквивалентно ${\displaystyle (c,\;d)}$ тогда и только тогда, когда ${\displaystyle a+d=b+c,}$
• ${\displaystyle (a,\;b)+(c,\;d)=(a+c,\;b+d),}$
• ${\displaystyle (a,\;b)\cdot (c,d)=(ac+bd,\;ad+bc).}$

Рациональные числа

«Энциклопедия элементарной математики» предлагает следующее определение деления натуральных чисел^[50]:

Определение. Делением натуральных чисел называется такое соответствие, которое каждой паре натуральных чисел ${\displaystyle a}$ и ${\displaystyle b}$ сопоставляет число ${\displaystyle a:b}$, обладающее следующим свойством: ${\displaystyle (a:b)\cdot b=a}$.

Деление натуральных чисел выполнимо, только когда ${\displaystyle a\,\vdots \,b}$ (${\displaystyle a}$ кратно ${\displaystyle b}$), если частное существует, то оно единственно^[50]. Расширение целых чисел за счёт понятий умножения и деления приводит к определению рациональных чисел^[51]. Ещё в 1710 году Вольф высказал требование, что уже известные законы выполнения арифметических действий с целыми числами не могут напрямую применяться для дробей и должны получить своё обоснование. Само обоснование было разработано только в XIX веке с использованием принципа постоянства формальных законов^[53].

Определение. Полем рациональных чисел называется минимальное поле ${\displaystyle \mathbb {Q} }$, содержащее кольцо ${\displaystyle \mathbb {Z} }$ целых чисел и обладающее следующими свойствами[25]: сложение и умножение целых чисел совпадают с одноимёнными операциями над числами в поле ${\displaystyle \mathbb {Z} }$; поле ${\displaystyle \mathbb {Q} }$ не содержит отличного от него самого подполя, содержащего ${\displaystyle \mathbb {Z} }$. Элементы поля ${\displaystyle \mathbb {Q} }$ называются рациональными числами.

Поле ${\displaystyle \mathbb {Q} }$ существует и является единственным с точностью до изоморфизма, а каждый его элемент равен частному целых чисел. Как и для целых чисел, при построении поля рациональных чисел используют множество пар ${\displaystyle (a,\;b)}$, но теперь уже целых чисел, при этом ${\displaystyle b\neq 0}$. Для пар определяют эквивалентность, сложение и умножение следующим образом^[25]:

• ${\displaystyle (a,\;b)}$ эквивалентно ${\displaystyle (c,\;d)}$ тогда и только тогда, когда ${\displaystyle ad=bc,}$
• ${\displaystyle (a,\;b)+(c,\;d)=(ad+bc,\;bd),}$
• ${\displaystyle (a,\;b)\cdot (c,d)=(ac,\;bd).}$

Действительные числа

Во второй половине XIX века было представлено три различных теоретических построения действительных чисел. Наиболее популярным является построение Дедекинда. Кантор в своём построении использовал теорию пределов^[54].

Определение. Полем действительных чисел называется непрерывное поле ${\displaystyle \mathbb {R} }$, содержащее в качестве подполя поле ${\displaystyle \mathbb {Q} }$ рациональных чисел. Элементы поля ${\displaystyle \mathbb {R} }$ называются действительными числами[55].

Поле ${\displaystyle \mathbb {R} }$ существует и является единственным с точностью до изоморфизма, а каждый его элемент равен пределу последовательности рациональных чисел^[55].

Комплексные числа

Определение. Полем комплексных чисел называется минимальное поле ${\displaystyle \mathbb {C} }$, содержащее поле ${\displaystyle \mathbb {R} }$ действительных чисел и элемент ${\displaystyle i}$ такой, что ${\displaystyle i^{2}=-1}$, обладающее следующими свойствами[56]: сложение и умножение целых чисел совпадают с одноимёнными операциями над числами в поле ${\displaystyle \mathbb {R} }$; поле ${\displaystyle \mathbb {C} }$ не содержит отличного от него самого подполя, содержащего ${\displaystyle \mathbb {R} }$. Элементы поля ${\displaystyle \mathbb {C} }$ называются комплексными числами.

Поле ${\displaystyle \mathbb {C} }$ является алгебраически замкнутым. При построении поля комплексных чисел используют множество упорядоченных пар ${\displaystyle (a,\;b)}$. Для пар определяют эквивалентность, сложение и умножение следующим образом:

• ${\displaystyle (a,\;b)}$ эквивалентно ${\displaystyle (c,\;d)}$ тогда и только тогда, когда ${\displaystyle a=c}$ и ${\displaystyle b=d}$,
• ${\displaystyle (a,\;b)+(c,\;d)=(a+c,\;b+d),}$
• ${\displaystyle (a,\;b)\cdot (c,\;d)=(ac-bd,\;bc+ad).}$

Формальная арифметика

Логико-математическое построение носит название формальной арифметики^[57]. Переход к логике связан с подходом школы Гильберта, который рассматривал вместо чисел абстракции и полагал для них верными основные арифметические законы^[20]. Для обоснования арифметики было предложено несколько вариантов аксиоматики. Помимо системы аксиом Пеано, в которой определены и сложение, и умножение, существует система аксиом Пресбургера, в которой определено только сложение, а также аксиомы, в которых определены сложение, умножение и возведение в степень. Зачастую в качестве аксиом включают все свойства операций^[58][59]. Все эти аксиоматические теории основаны на множестве целых чисел и не включают в себя парадоксы теории множеств. Другие исследовательские подходы выводят арифметику из аксиом теории множеств или математической логики^[44]. Для удобства исследования аксиомы записывают на специальном формальном языке математической логики^[57]. Он содержит ${\displaystyle 0}$, числовые переменные, символы (${\displaystyle =,+,\cdot ,'}$) и логические связки (${\displaystyle \And ,\leftarrow ,\forall ,\exists ,\lor ,{\mathcal {e}}}$), постулатами являются постулаты предикатов исчисления^[2]. Аксиома индукции представляет собой бесконечный набор аксиом, который нельзя заменить никаким конечным множеством^[57].

В идеале базовый набор аксиом должен обладать тремя качествами^[11]:

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

Арифметика натуральных чисел имеет большое значение для обоснования математических теорий: из её непротиворечивости следует непротиворечивость арифметики действительных чисел, которая в свою очередь позволяет, пользуясь методом моделей, показать непротиворечивость евклидовой геометрии и геометрии Лобачевского^[11][44]. Доказательством непротиворечивости арифметики в системе Пеано и родственных ей аксиоматических системах безуспешно занимался Гильберт в начале XX века. После открытия в 1930 году теоремы Гёделя о неполноте стало ясно, что в подобных простых системах это невозможно. Доказательство непротиворечивости было проведено в 1936 году Генценом с использованием разновидности трансфинитной индукции^[57].

Для исследования независимости каждая аксиома по очереди заменяется на противоположную и затем строится модель, где полученный набор аксиом выполняется. Если заменённая аксиома зависима, то есть логически вытекает из других аксиом, то замена её на противоположную, очевидно, приводит к противоречивой системе аксиом, и построение модели невозможно. Таким образом, если модель удаётся построить, то соответствующая аксиома независима^[60]. Таким способом было доказано, что все аксиомы Пеано независимы одна от другой^[61].

Средствами формальной арифметики, которая строится на аксиомах Пеано, можно записать теоремы теории чисел, которые доказываются, не используя средства математического анализа, а также рекурсивные функции и их свойства^[2]. Она эквивалентна аксиоматической теории множеств Цермело — Френкеля без аксиомы бесконечности. Вместе с тем доказанная в 1929 году теорема Гёделя о полноте показала, что аксиоматика Пеано неполна, то есть существуют арифметические теоремы, которые нельзя ни доказать, ни опровергнуть. В то время как арифметика полна относительно формул вида ${\displaystyle \exists x_{1}\dots \exists x_{k}(P=Q)}$, существуют теоремы вида ${\displaystyle \forall x_{1}\dots \forall x_{9}(P\neq Q)}$, которые выражают истинное суждение, но их невозможно вывести^[57]. Удалось найти и конкретные примеры теорем: теорема Гудстейна, теорема Париса–Харрингтона и другие.

Исторический очерк

Основная статья: История арифметики

Древние математические тексты и системы счисления

Часть папируса Райнда

Египетские математические тексты особое внимание уделяли вычислениям и возникающим при этом трудностям, от которых во многом зависели методы решения задач. Математические папирусы Древнего Египта были составлены для учебных целей^[62], они содержали задачи с решениями, вспомогательные таблицы и правила действий над целыми числами и дробями, встречаются арифметические и геометрические прогрессии, а также уравнения^[11]. Египтяне пользовались десятичной системой счисления^[63]. Египтяне знали такие арифметические операции, как сложение, удвоение и дополнение дроби до единицы. Любое умножение на целое число и деление без остатка проводились с помощью многократного повторения операции удвоения, что приводило к громоздким вычислениям, в которых участвовали определённые члены последовательности ${\displaystyle 1,2,4,8,16,...}$^[15]. В Египте нашли применение только аликвотные дроби, или доли единицы (${\displaystyle 1/n}$), а все остальные дроби разлагались на сумму аликвотных^[64]. При определении площади квадрата, объёма куба или нахождении стороны квадрата по его площади египтяне сталкивались с возведением в степень и извлечением корня, хотя названия этим операциям ещё не было^[15].

Вавилонские цифры

Вавилонские клинописные математические тексты использовали шестидесятеричную систему счисления, характерную ещё для шумеров^[65], и представляли собой учебные пособия, которые включают таблицы умножения для чисел от ${\displaystyle 1}$ до ${\displaystyle 59}$, а также таблицы обратных чисел, таблицы квадратов и кубов чисел натурального ряда, таблицы вычисления процентов, дроби с основанием ${\displaystyle 60}$^[11][63]. При решении арифметических задач вавилоняне опирались на пропорции и прогрессии. Они знали формулу суммы ${\displaystyle n}$ членов арифметической прогрессии, правила для суммирования геометрической прогрессии, решали задачи на проценты^[66]. В Вавилоне знали множество пифагоровых троек, для поиска которых, вероятно, пользовались неизвестным общим приёмом. В целом задача нахождения целых и рациональных решений уравнения ${\displaystyle x^{2}+y^{2}=z^{2}}$ относится к теории чисел^[67]. Геометрические задачи привели к необходимости приближённого извлечения квадратных корней, которое они выполняли, используя правило ${\displaystyle {\sqrt {a^{2}+r}}\approx a+{\frac {r}{2a}}}$ и итерационные методы для дальнейшего приближения результата^{[ком. 1]}.

Лист из «Арифметики» Диофанта (рукопись XIV века). В верхней строке записано уравнение: ${\displaystyle x^{3}\cdot 8-x^{2}\cdot 16=x^{3}}$

Древнейшие греческие математические тексты относятся к XIV—VII векам до н. э.^[69] Первоначально греки пользовались аттической нумерацией, которую со временем заменила компактная буквенная, или ионическая^[70]. Развитие древнегреческой арифметики принадлежит пифагорейской школе. Пифагорейцы полагали поначалу, что отношение любых двух отрезков можно выразить через отношение целых чисел, то есть геометрия представляла собой арифметику рациональных чисел. Они рассматривали только целые положительные числа и определяли число как собрание единиц. Изучая свойства чисел, они разбили их на чётные и нечётные (как признак делимости на два), простые и составные, нашли бесконечное множество пифагоровых троек^[71]. В 399 году до н. э. появилась общая теория делимости, которая принадлежит, по-видимому, Теэтету, ученику Сократа. Евклид посвятил ей книгу VII и часть книги IX «Начал». В основе теории лежит алгоритм Евклида для нахождения общего наибольшего делителя двух чисел. Следствием алгоритма является возможность разложения любого числа на простые сомножители, а также единственность такого разложения^[72].

Вместе с тем пифагорейцам принадлежит доказательство несоизмеримости диагонали и стороны единичного квадрата. Данное открытие означало, что отношений целых чисел недостаточно для выражения отношений любых отрезков и на этом основании невозможно строить метрическую геометрию^[73]. Первое учение об иррациональностях принадлежит Теэтету. Алгоритм Евклида позволяет определить неполные частные разложения рационального числа в непрерывную дробь. Вместе с тем понятие непрерывной дроби в Древней Греции не возникло^[72]. В III веке Диофант начал построение алгебры с опорой не на геометрию, а на арифметику. Диофант также расширил числовую область на отрицательные числа^[74].

Римская система нумерации была мало приспособлена для вычислений. Римские числовые знаки возникли до появления алфавита и не происходят от его букв. Считается, что первоначально числа от ${\displaystyle 1}$ до ${\displaystyle 9}$ обозначались соответственным числом вертикальных чёрточек, а их перечёркивание означало удесятерение числа (отсюда число ${\displaystyle X}$). Соответственно, чтобы получить число ${\displaystyle 100}$, палочку перечёркивали два раза. Впоследствии произошло упрощение системы^[75]. В настоящее время она применяется в основном для обозначения порядковых чисел.

До XIV века математика Китая представляла собой набор вычислительных алгоритмов для решения на счётной доске^[76]. Арифметические операции сложения и вычитания, производимые на счётной доске, не требовали дополнительных таблиц, для умножения же существовала таблица от ${\displaystyle 1\times 1}$ до ${\displaystyle 9\times 9}$. Действия умножения и деления производились начиная со старших разрядов, при этом промежуточные результаты удалялись с доски, что делало проверку невозможной. Поначалу умножение и деление были независимыми операциями, но затем Сунь Цзы отметил их взаимную обратность^[77]. В Китае умели решать задачи с помощью правила двух ложных положений^[78], а для решения систем линейных уравнений были введены отрицательные числа. Поначалу они использовались только в процессе счёта и к концу вычислений удалялись с доски, затем китайские учёные стали толковать их как долг или недостачу^[79].

Арифметика в Средневековье

Индийские цифры (I век н. э.) и соответствующие им современные цифры

Позиционная система счисления (десять цифр, включая ноль) была введена в Индии. Она позволила разработать сравнительно простые правила выполнения арифметических операций^[11]. Основными арифметическими действиями в Индии считались сложение, вычитание, умножение, деление, возведение в квадрат и куб, извлечение квадратных и кубических корней, для которых были разработаны правила. Вычисления проводились на счётной доске с песком или пылью или просто на земле и записывались палочкой^[80]. Индийцы знали дроби и умели совершать операции над ними, пропорции, прогрессии^[81]. Уже с VII века н. э. они пользовались отрицательными числами, интерпретируя их как долг, а также иррациональными числами^[82].

Страница латинского перевода книги «Об индийском счёте»

В начале IX века Мухаммед ибн-Муса ал-Хорезми написал книгу «Об индийском счёте». Учебник содержал решения практических задач «различного рода и сорта» и был первой книгой, написанной с использованием позиционной системы счисления, до этого цифрами пользовались только для вычислений на счётной доске^[83][84]. В XII веке Аделардом и Иоанном Севельским были сделаны два перевода книги на латинский язык^[85]. Её оригинал не сохранился, но в 1857 году под названием «Алхорезми об индийском числе» был издан найденный латинский перевод^[83]. В трактате описывается выполнение с помощью индийских цифр на счётной доске таких арифметических действий, как сложение, вычитание, удвоение, умножение, раздвоение, деление и извлечение квадратного корня^[86]. Умножение дробей, как и деление, рассматривалось с помощью пропорций: ${\displaystyle a}$ умножить на ${\displaystyle b}$ было равносильно поиску такого ${\displaystyle q}$, что ${\displaystyle q:a=b:1}$. Эта теория являлась основой арабской арифметики. Однако при этом существовало и другое исчисление дробей, представлявшее любую дробь в виде суммы аликвотных дробей^[87]. Для решения задач арабы пользовались тройным правилом, пришедшим из Индии и описанным наряду с рядом других приёмов в «Книге об индийских рашиках» аль-Бируни, правилом двух ложных положений, пришедшим из Китая и получившим теоретическое обоснование в «Книге о правиле двойного ложного положения» Кусты ибн Лукки^[88].

Через Испанию и Сицилию в X веке начали завязываться научные связи Европы с арабским миром. В это время Каталонию посетил учёный монах Герберт, ставший позднее папой Сильвестром II. Ему приписывают такие сочинения, как «Книжка о делении чисел» и «Правила счёта на абаке». В обеих книгах числа написаны словами или римскими цифрами^[89]. Герберт называл вычислителей на абаке «абацистами». В XII—XIII веках в Европе появились латинские переводы арабских книг по арифметике. Приверженцы представленной в книгах десятичной позиционной нумерации стали называться «алгористами» по имени арабского математика ал-Хорезми в латинской форме^[90]. В начале XIII века в Западной Европе существовали две системы счисления: старая, основанная на абаке и поддерживаемая Гербертом, и новая, позиционная индийская система, поддерживаемая Леонардо Фибоначчи. Постепенно новая система взяла верх^[85][91]. Основным её преимуществом является упрощение арифметических операций. Вместе с тем в Германии, Франции и Англии новые цифры не употреблялись до конца XV века. Более полное вытеснение старой нумерации произошло только в XVI—XVII веках^[91].

В 1427 году ал-Каши описал систему десятичных дробей, которая получила повсеместное распространение после сочинений Стевина в 1585 году^[11]. Стевин хотел как можно шире распространить десятичную систему. Именно поэтому он написал свои сочинения на французском и фламандском языках, а не на латыни. Кроме того, он стал энергичным поборником введения десятичной системы мер^[37].

Арифметика Нового времени

Арифметические таблицы. 1835

В XVII веке мореходная астрономия, механика, более сложные коммерческие расчёты поставили перед арифметикой новые запросы к технике вычислений и дали толчок к дальнейшему развитию. Значительному изменению подверглось понятие числа. Если ранее к области чисел в большинстве своём относили только положительные рациональные числа, то начиная с XVI века всё более признавались иррациональные и отрицательные числа. Ньютон в своих лекциях делит числа на три вида: целые (измеряются единицей), дробные (кратные доли единицы) и иррациональные (несоизмеримые с единицей). С 1710 года такое определение числа прочно входит во все учебники^[92].

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

С работами Лобачевского по геометрии связан процесс критического пересмотра основ математики, который случился в XIX веке. Ещё в XVIII веке начались попытки дать теоретические обоснования представлениям о числе. Лейбниц первый поставил задачу дедуктивного построения арифметики и, в частности, показал необходимость доказательства равенства «два плюс два равно четыре» в своих «Новых опытах о человеческом разуме» в 1705 году. В попытках решить этот вопрос свои аксиомы представили Вольф в 1770 году, Шульц — в 1790 году, Ом — в 1822 году, Грассман — в 1861 году и, наконец, Пеано — в 1889 году^[93].

В 1758 году в «Первых основаниях арифметики, геометрии, плоской и сферической тригонометрии и перспективы» Кестнер выступил за обоснование всех арифметических понятий через целое число. Таким образом он определил, в порядке следования в книге, натуральные числа, дроби, отрицательные числа, десятичные дроби, иррациональные числа и только затем теорию отношений^[94]. В формировании теории отрицательных чисел основную проблему составляло утверждение, что отрицательное число меньше нуля, то есть меньше, чем ничего^[95].

Полное геометрическое толкование комплексных чисел было предложено Каспаром Весселем в «Опыте об аналитическом представлении направления и его применениях, преимущественно к решению плоских и сферических многоугольников» в 1799 году. Вессель пытался обобщить теорию на трёхмерное пространство, но это ему не удалось. Вопрос оставался открытым до тех пор, пока Гамильтон не построил теорию кватернионов, при умножении которых не выполняется коммутативный закон. При этом исследования Вейерштрасса, Фробениуса и Пирса показали, что отказаться от какого-либо из арифметических законов придётся при любом расширении понятия числа за пределы комплексных чисел^[96].

Арифметика в образовании

Образование арифметических понятий тесно связано с процессом счёта. В его основе лежат такие элементы мыслительной деятельности, как умение узнавать предмет; различать предметы; разделять совокупность предметов на элементы, равноправные при счёте (иными словами, пользоваться единицей счёта); умение располагать элементы последовательно, упорядочивать их, что приводит к счёту различных по качеству предметов и образованию понятия числа. Подобные процессы можно наблюдать при усвоении понятий детьми^[11].

Боэций об арифметике^[97]

Итак, какую же из дисциплин нужно изучать первой, если не ту, что является началом и выполняет как бы роль матери по отношению к другим [дисциплинам]? Такова как раз арифметика. Она предшествует всем другим не только потому, что сам Бог, творец этого мироздания, взял её первой за образец своего мыслеполагания и по её [принципу] устроил всё, что через числа силой творящего Разума обрело гармонию в установленном порядке, но и потому арифметика объявляется предшествующей, что если устранить предшествующие по своей природе сущности, тотчас же устраняются и последующие. Если гибнут последующие, то ничего в статусе предыдущей субстанции не меняется.

Стандарты начального образования предполагают навыки счёта и сравнения чисел до миллиона, работу с основными единицами измерения и соотношениями между ними, выполнение четырёх основных арифметических операций (устно до 100 и письменно до 10 000), а также деления с остатком, поиск значения числового выражения, состоящего из нескольких арифметических действий^[98][99]. Школьный материал подаётся с помощью наглядных представлений. В первом классе дети имеют дело с числовыми образами и количествами предметов, счёт идёт до 20. Во втором классе вводят десятичную систему, позиционную систему, таблицу умножения, счёт идёт до 100. В третьем классе изучают арифметические действия с многозначными числами. Дальнейшим шагом идёт переход к буквенным обозначениям, иными словами — от конкретного к абстрактному. Именно с этого, по мнению Клейна, и начинается математика^[100]. Трудность изучения арифметики в начальной школе заключается в том, что необходимо осуществлять счёт отвлечённо от природы предметов^[101].

Обучение в средней школе связано с расширением понятия числа, вводят дроби и действия над ними, отрицательные числа, иррациональные числа^[102]. Действительные и комплексные числа, а также алгоритм Евклида и основную теорему арифметики относят к полному среднему образованию. Согласно Российскому Федеральному государственному образовательному стандарту, «Содержание раздела „Арифметика“ служит базой для дальнейшего изучения учащимися математики, способствует развитию их логического мышления, формированию умения пользоваться алгоритмами, а также приобретению практических навыков, необходимых в повседневной жизни»^[103].

В современном мире математическая грамотность является одной из основных целей образования. Она включает в себя, в частности, умение совершать арифметические действия, проводить подсчёты и измерения^[104]. Вопросами математической грамотности детей и взрослых занимаются такие организации, как ЮНИСЕФ и ЮНЕСКО^[105][106].

Вместе с тем долгое время обучение арифметическим действиям сводилось к механическому выполнению образцов. В Древнем Китае большое внимание уделялось обучению математике, включая сдачу экзаменов. В Императорской академии математика изучалась семь лет. Однако классические математические трактаты рассматривались как догма и переиздавались без изменений^[107].

В Европе систематические упражнения на сложение, вычитание, умножение и деление были предложены Тартальей в XVI веке, но они ещё долгое время не входили в обиход^[108]. Кроме того, в Средние века существовали правила для решения большого числа частных арифметических задач. В некоторых учебниках встречается до 26 таких правил, при этом они могут не совпадать от учебника к учебнику^[109]. Некоторые правила не потеряли своей актуальности до сих пор. К ним относятся пропорции (дроби рассматривались как отношения двух чисел, что приводило к рассмотрению пропорций для совершения операций), проценты^[110].

Арифметика является четвёртым из семи свободных искусств по уровню обучения. Ей предшествует тривиум, состоящий из Грамматики, Риторики и Диалектики, а сама она является старшей наукой в квадривиуме, к которому также относятся Геометрия, Музыка и Астрономия^[111]. С появлением первых европейских университетов математика преподавалась на факультетах искусства как квадривиум и была вспомогательной дисциплиной. Первые лекции по арифметике были прочитаны магистром Венского университета Иоганном из Гмундена в 1412 году^[112].

Арифметика в философии и искусстве

Мартин де Вос. Семь сестёр. 1590 г.

После того как пифагорейцы использовали отношения целых чисел для выражения геометрических отношений отрезков, а также аналогичных отношений в гармонии и музыке, они пришли к выводу, что все закономерности мира можно описать с помощью чисел, а арифметика нужна для того, чтобы выразить отношения и построить модель мира^[113]. Вместе с тем одним из открытий пифагорейцев является то, что отношений целых чисел недостаточно для выражения отношений любых отрезков (диагональ и сторона квадрата несоизмеримы) и на этом основании невозможно строить метрическую геометрию^[73]. Проблемы построения конечной меры и определения действительного числа обнажили научный кризис в V веке до н. э., выходом из которого занимались все философские школы Древней Греции. Показать все трудности, возникающие при решении этих проблем, удалось Зенону Элейскому в его парадоксах, или апориях^[114].

Марциан Капелла в своём трактате «Свадьба Философии и Меркурия» создал визуальные образы всех семи искусств и в том числе Арифметики. Искусства олицетворяли женщины с соответствующими атрибутами, которые сопровождались известными представителями сферы. Арифметика держит в своих руках скрижаль, исписанную цифрами, или абак. Её сопровождает Пифагор^[115].

Счёт был одним из испытаний Будды. После соревнований в стрельбе из лука, беге и плавании математик Арйюна велел ему назвать все численные степени больше ${\displaystyle 10^{9}}$. Будда назвал двадцать две степени до ${\displaystyle 10^{53}}$ (только нечётные степени имели названия), и это был только первый счёт, во втором счёте Будда продолжил до ${\displaystyle 10^{421}}$. Следующим заданием Будда посчитал число атомов в миле, а затем и во Вселенной^[116]. Подобные «числовые лестницы» встречаются неоднократно в индийской религиозной поэзии, при этом слова для обозначения чисел могут различаться. Назначение таких лестниц — подняться над миром смертных. В индийской книге «Лилаватистара» описываются состязания между женихами госпожи земли, прекрасной Гопы, в письменности, арифметике, борьбе и искусстве метания стрел. Испытаниям в арифметике посвящена значительная часть произведения^[117].

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

Примечания

Комментарии

1. Пусть необходимо найти корень из ${\displaystyle N=a^{2}+r}$, ${\displaystyle a}$ — первое приближение с недостатком, ${\displaystyle b=N/a}$ — приближение с избытком. Второе приближение образуется по формуле среднего арифметического ${\displaystyle a_{1}=(a+b)/2}$, и ему соответствует ${\displaystyle b_{1}=N/a_{1}}$, и так далее)^[68].

Источники

1. Виноградов И. М. Арифметика // Математическая энциклопедия. — М.: Советская энциклопедия, 1977. — Т. 1.
2. Виноградов И. М. Арифметика формальная // Математическая энциклопедия. — М.: Советская энциклопедия, 1977. — Т. 1.
3. Арифметика, наука // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб., 1890—1907.
4. MacDuffee C. C. Arithmetic (англ.). Encyclopædia Britannica. Дата обращения: 20 марта 2012. Архивировано 21 марта 2012 года.
5. АРИФМЕ́ТИКА : [арх. 27 июня 2017] / Ю. В. Нестеренко, М. К. Потапов // Анкилоз — Банка. — М. : Большая российская энциклопедия, 2005. — С. 221-222. — (Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов ; 2004—2017, т. 2). — ISBN 5-85270-330-3.
6. Арнольд, 1938, с. 3—5.
7. Понтрягин, 1986, с. 4—6.
8. Беллюстин В. Глава 12. Число и порядок действий, знаки и определения // Как постепенно дошли люди до настоящей арифметики. — М.: Типография К. Л. Меньшова, 1909. Архивировано 21 октября 2012 года.
9. Депман, 1965, с. 195—199.
10. Арнольд, 1938, с. 151—156.
11. Арифметика // Большая советская энциклопедия : [в 30 т.] / гл. ред. А. М. Прохоров. — 3-е изд. — М. : Советская энциклопедия, 1969—1978.
12. Алгебра // Большая советская энциклопедия : [в 30 т.] / гл. ред. А. М. Прохоров. — 3-е изд. — М. : Советская энциклопедия, 1969—1978.
13. Депман, 1965, с. 21—25.
14. Депман, 1965, с. 129—130.
15. История математики, т. I, 1970, с. 23—24.
16. Депман, 1965, с. 212—232.
17. Депман, 1965, с. 204.
18. Арифметика, 1951, с. 142.
19. Клейн, 1987, с. 23—26.
20. Клейн, 1987, с. 26—35.
21. Арифметика, 1951, с. 77—79.
22. Клейн, 1987, с. 37—44.
23. Арифметика, 1951, с. 157.
24. Клейн, 1987.
25. Арифметика, 1951, с. 172—178.
26. Арифметика, 1951, с. 188—201.
27. Арифметика, 1951, с. 227.
28. Клейн, 1987, с. 35—36.
29. Клейн, 1987, с. 23—25.
30. АРИФМЕТИКА // Энциклопедия Кольера. — Открытое общество. — 2000.
31. Кнут, с. 216.
32. История математики, т. II, 1970, с. 66—67.
33. История математики, т. III, 1972, с. 42—45.
34. Клейн, 1987, с. 45—49.
35. Депман, 1965, с. 263—267.
36. Boyer & Merzbach, 2010, Arithmetic and logistic.
37. Арифметика, 1951, с. 57—71.
38. Кнут, с. 216, 221.
39. Депман, 1965, с. 275—285.
40. Клейн, 1987, с. 49—57.
41. Виноградов И. М. Чисел теория // Математическая энциклопедия. — М.: Советская энциклопедия, 1977. — Т. 5.
42. Виноградов И. М. Элементарная теория чисел // Математическая энциклопедия. — М.: Советская энциклопедия, 1977. — Т. 5.
43. Арнольд, 1938, с. 413—415.
44. Аксиоматический метод // Большая советская энциклопедия : [в 30 т.] / гл. ред. А. М. Прохоров. — 3-е изд. — М. : Советская энциклопедия, 1969—1978.
45. Арифметика, 1951, с. 100—107.
46. Депман, 1965, с. 117—126.
47. Арифметика, 1951, с. 135—138.
48. Арифметика, 1951, с. 139—142.
49. Арифметика, 1951, с. 133.
50. Арифметика, 1951, с. 150—151.
51. Арифметика, 1951, с. 172—179.
52. Арифметика, 1951, с. 160—167.
53. Депман, 1965, с. 258—262.
54. Арифметика, 1951, с. 188.
55. Арифметика, 1951, с. 202.
56. Арифметика, 1951, с. 228.
57. Формальная арифметика // Большая советская энциклопедия : [в 30 т.] / гл. ред. А. М. Прохоров. — 3-е изд. — М. : Советская энциклопедия, 1969—1978.
58. Avigad, 2003, p. 260.
59. Нечаев, 1975, с. 52—53.
60. Нечаев, 1975, с. 48.
61. Нечаев, 1975, с. 68—72.
62. История математики, т. I, 1970, с. 19—20.
63. Депман, 1965, с. 49—52.
64. История математики, т. I, 1970, с. 25.
65. История математики, т. I, 1970, с. 34.
66. История математики, т. I, 1970, с. 40.
67. История математики, т. I, 1970, с. 50.
68. История математики, т. I, 1970, с. 46—47.
69. Депман, 1965, с. 53—54.
70. История математики, т. I, 1970, с. 62.
71. История математики, т. I, 1970, с. 68—69.
72. История математики, т. I, 1970, с. 74—76.
73. История математики, т. I, 1970, с. 73.
74. История математики, т. I, 1970, с. 144—146.
75. Депман, 1965, с. 57—58.
76. История математики, т. I, 1970, с. 178.
77. История математики, т. I, 1970, с. 160—161.
78. История математики, т. I, 1970, с. 163—164.
79. История математики, т. I, 1970, с. 167—169.
80. История математики, т. I, 1970, с. 183—185.
81. История математики, т. I, 1970, с. 185.
82. История математики, т. I, 1970, с. 190—191.
83. Депман, 1965, с. 72—78.
84. История математики, т. I, 1970, с. 209—210.
85. Депман, 1965, с. 90—94.
86. История математики, т. I, 1970, с. 211—212.
87. История математики, т. I, 1970, с. 212—214.
88. История математики, т. I, 1970, с. 218—219.
89. История математики, т. I, 1970, с. 254—256.
90. История математики, т. I, 1970, с. 256—257.
91. Арифметика, 1951, с. 50—57.
92. История математики, т. II, 1970, с. 34—36.
93. История математики, т. III, 1972, с. 47—49.
94. История математики, т. III, 1972, с. 49—52.
95. История математики, т. III, 1972, с. 52—56.
96. История математики, т. III, 1972, с. 61—66.
97. Боэций. I, 1 // Основы арифметики. Архивировано 27 января 2013 года.
98. Примерная основная образовательная программа образовательного учреждения. Начальная школа  (неопр.). Федеральный государственный образовательный стандарт. Дата обращения: 5 декабря 2012. Архивировано из оригинала 30 октября 2012 года.
99. Примерная основная образовательная программа образовательного учреждения. Начальная школа / сост. Е. С. Савинов. — 4-е. — М.: Просвещение, 2013. — С. 32—35. — 223 с. — ISBN 9785090264167. Архивировано 24 августа 2013 года. Архивированная копия  (неопр.). Дата обращения: 6 декабря 2012. Архивировано 24 августа 2013 года.
100. Клейн, 1987, с. 20—23.
101. Депман, 1965, с. 1—3, 103—109.
102. Клейн, 1987, с. 37.
103. Примерные программы по учебным предметам. Математика  (неопр.). Федеральный государственный образовательный стандарт. Дата обращения: 5 декабря 2012. Архивировано из оригинала 19 января 2013 года.
104. Грамотность, математические способности и навыки решения задач в технологически развитом обществе  (неопр.). Национальный исследовательский университет Высшая школа экономики. Дата обращения: 5 декабря 2012. Архивировано из оригинала 7 октября 2013 года.
105. Defining Quality in Education (англ.). ЮНИСЕФ. Дата обращения: 5 декабря 2012. Архивировано из оригинала 15 октября 2012 года.
106. Education for All Goals (англ.). ЮНЕСКО. Дата обращения: 5 декабря 2012. Архивировано 25 октября 2012 года.
107. История математики, т. I, 1970, с. 157.
108. Депман, 1965, с. 199—203.
109. Депман, 1965, с. 305.
110. Депман, 1965, с. 306.
111. Liberal Arts (англ.). Encyclopædia Britannica. Дата обращения: 20 марта 2012. Архивировано 18 апреля 2012 года.
112. История математики, т. I, 1970, с. 259—260.
113. История математики, т. I, 1970, с. 67.
114. История математики, т. I, 1970, с. 88—89.
115. Семь свободных искусств  (неопр.). Simbolarium. Дата обращения: 20 марта 2012. Архивировано из оригинала 31 августа 2014 года.
116. Меннингер, 2011, с. 176—179.
117. Арифметика, 1951, с. 49.
118. Меннингер, 2011, с. 82.

Литература

• Арнольд И. В. Теоретическая арифметика. — М.: Государственное учебно-педагогическое издательство, 1938. — 481 с.
• Депман И. Я. История арифметики. — М.: Просвещение, 1965. — 400 с.
• Клейн Ф. Элементарная математика с точки зрения высшей. — М.: Наука, 1987. — Т. I: Арифметика. Алгебра. Анализ. — 432 с.
• Кнут Д. Э. Арифметика // Искусство программирования. — М. — Т. II. — 830 с.
• Меннингер К. История цифр. Числа, символы, слова. — М.: ЗАО Центрполиграф, 2011. — 543 с. — ISBN 9785952449787.
• Нечаев В. И. Числовые системы. — М.: Просвещение, 1975. — 199 с.
• Понтрягин Л. С. Обобщения чисел. — М.: Наука, 1986. — 120 с. — (Библиотечка «Квант»).
• Серр Ж.-П. Курс арифметики / пер. с франц. А. И. Скопина под ред. А. В. Малышева. — М.: Мир, 1972. — 184 с.
• История математики: в 3 т / под редакцией А. П. Юшкевича. — М.: Наука, 1970. — Т. I: С древнейших времён до начала Нового времени.
• История математики: в 3 т / под редакцией А. П. Юшкевича. — М.: Наука, 1970. — Т. II: Математика XVII столетия.
• История математики: в 3 т / под редакцией А. П. Юшкевича. — М.: Наука, 1972. — Т. III: Математика XVIII столетия.
• Энциклопедия элементарной математики. Книга первая. Арифметика / под редакцией П. С. Александрова, А. И. Маркушевича и А. Я. Хинчина. — М.—Л.: Государственное издательство технико-теоретической литературы, 1951. — 448 с.
• Avigad, Jeremy. Number theory and elementary arithmetic // Philosophia Mathematica. — 2003. — Vol. 11, № 3. — P. 257—284. (англ.)
• Boyer C. B., Merzbach U. C. A History of Mathematics. — John Wiley & Sons, 2010. — 640 p. (англ.)

Ссылки

• Арифметика на mathworld.wolfram.com (англ.)