Большая Советская Энциклопедия (АР)
Шрифт:
После доказательства переместительного (см. Коммутативность), сочетательного (см. Ассоциативность) и распределительного (см. Дистрибутивность) (по отношению к сложению) законов действия умножения дальнейшее построение теории арифметических действий над натуральными числами не представляет уже принципиальных затруднений. Если оставаться на том же уровне абстракции, то дробные числа приходится вводить как пары целых чисел (числитель и знаменатель), подчинённые определённым законам сравнения и действий (см. Дробь).
Построение Грасмана было завершено в дальнейшем
Аксиомы Пеано: 1) 1 есть натуральное число; 2) следующее за натуральным числом есть натуральное число; 3) 1 не следует ни за каким натуральным числом; 4) если натуральное число а следует за натуральным числом b и за натуральным числом с, то b и с тождественны; 5) если какое-либо предложение доказано для 1 и если из допущения, что оно верно для натурального числа n, вытекает, что оно верно для следующего за п натурального числа, то это предложение верно для всех натуральных чисел. Эта аксиома — аксиома полной индукции — даёт возможность в дальнейшем пользоваться грасмановскими определениями действий и доказывать общие свойства натуральных чисел.
Эти построения, дающие решение задачи обоснования формальных положений А., оставляют в стороне вопрос о логической структуре А. натуральных чисел в более широком смысле слова, с включением тех операций, которые определяют собой приложения А. как в рамках самой математики, так и в практической жизни. Анализ этой стороны вопроса, выяснив содержание понятия количественного числа, вместе с тем показал, что вопрос об обосновании А. тесно связан с более общими принципиальными проблемами методологического анализа математических дисциплин. Если простейшие предложения А., относящиеся к элементарному счёту объектов и являющиеся обобщением многовекового опыта человечества, естественно укладываются в простейшие логической схемы, то А. как математическая дисциплина, изучающая бесконечную совокупность натуральных чисел, требует исследования непротиворечивости соответствующей системы аксиом и более детального анализа смысла вытекающих из неё общих предложений.
Лит.: Клейн Ф., Элементарная математика с точки зрения высшей, пер. с нем. т. 3 изд., т. 1, М.—Л., 1935; Арнольд И. В., Теоретическая арифметика, 2 изд., М., 1939; Беллюстин В. К., Как постепенно дошли люди до настоящей арифметики, М., 1940; Гребенча М. К., Арифметика, 2 изд., М., 1952; Берман Г. Н., Число и наука о ней, 3 изд., М., 1960; Дептяан И. Я., История арифметики, 2 изд., М., 1965; Выгодский М. Я., Арифметика и алгебра в Древнем мире, 2 изд., М., 1967.
И. В. Арнольд.
Арифметическая прогрессия
Арифмети'ческая прогре'ссия, последовательность чисел (a1, a2, ..., an), из которых каждое следующее получается из предыдущего прибавлением постоянного числа d, наз. разностью А. п. (например, 2, 5, 8, 11, ... ; d = 3). Если d > 0, то А. п. называется возрастающей, если d < 0, —
Арифметический треугольник
Арифмети'ческий треуго'льник, треугольник Паскаля, треугольная числовая таблица для составления биномиальных коэффициентов (см. Ньютона бином). По бокам А. т. стоят единицы, внутри — суммы двух верхних чисел.
В (n + 1)-й строке А. т. — биномиальные коэффициенты для разложения бинома (а + b)n. А. т. приведён в книге Б. Паскаля «Трактат об арифметическом треугольнике» (1665).
Лит.: Успенский В. А., Треугольник Паскаля, М., 1966.
Рис. к статье Арифметический треугольник.
Арифметическое среднее
Арифмети'ческое сре'днее, число (
Например, А. с. чисел 3, 5, 7 равно (3 + 5 + 7)/3 = 5.
Арифметическое устройство
Арифмети'ческое устро'йство (АУ), одно из основных устройств электронной цифровой вычислительной машины (ЦВМ), в котором непосредственно выполняются арифметические и логические операции над числами. Выполнение любой арифметической или логической операции в АУ сводится по существу к последовательному выполнению ряда элементарных операций или микроопераций: установка в «нуль» любых разрядов блоков АУ, приём кода числа или отдельного разряда, выдача кода, получение инверсной (обратной) величины кода числа, сложение кодов, сдвиг кода в сторону младших или старших разрядов числа и т.д.
К арифметическим операциям относятся сложение, вычитание, умножение, деление и извлечение корня. Последние два действия, а также возведение в степень, определение логарифмов, тригонометрических функций и т.п. часто выполняются по стандартным подпрограммам. Основная операция ЦВМ — сложение, к которому сводятся все арифметические операции. Например, вычитание числа В из числа А заменяется сложением с помощью соотношения А– В = А + (-В), в котором оба числа могут быть представлены прямым, обратным или дополнительным кодом (см. Код в вычислительной технике); умножение сводится к многократному суммированию множимого; деление — к последовательному нахождению цифр частного с помощью сложения и вычитания.