ГЛАВА 8 НЕКОТОРЫЕ ПРИМЕНЕНИЯ СРАВНЕНИЙ
ГЛАВА 8
НЕКОТОРЫЕ ПРИМЕНЕНИЯ СРАВНЕНИЙ
§ 1. Проверка вычислений
Как мы уже упоминали, создателем теории сравнений был немецкий математик Карл Фридрих Гаусс. Его знаменитая работа по теории чисел «Арифметические исследования» появилась в 1801 году, когда ему было 24 года. В первых главах этой книги рассказывается о теории сравнений. Однако здесь следует упомянуть, что следы теории сравнений можно обнаружить за несколько столетий до Гаусса. Некоторые из них присутствуют в древних правилах проверки арифметических вычислений. Они составляют существенную часть инструкции по арифметическим операциям эпохи Ренессанса. Некоторые из них используются до сих пор, а из всего того, что нам известно об их происхождении, можно сказать, что их корни лежат в античности.
Мы не знаем, каким образом эти правила были впервые введены, однако попытаемся указать один из возможных путей, на котором они могли быть открыты. Вернемся к временам счетных досок. На таком абаке каждая цифра в числах, которые участвовали в вычислениях, обычно выкладывалась с помощью фишек, камней, палочек или орехов, причем каждая группа отмечала количество единиц, десятков, сотен и т. д. в соответствии с местом их нахождения. В нашей десятичной системе число
N = an10n + an-110n-1 +… + a2102 + a110 + a0 = (an, an-1…, a2, a1, a0)10 (8.1.1)
потребовало бы для своей записи
SN = an + an-1 +… + а2 + а1 + а0 (8.1.2)
фишек. Это число мы называем суммой цифр числа N.
Теперь предположим, что мы хотим выполнить на доске простое действие, а именно: сложить два числа N и M. Тогда мы должны отметить на доске также второе число
M = (bm, bm-1, …, b2, b1, b0)10,
у которого на тех же линиях лежит
SM = bm + bm-1 + … + b2 + b1 + b0
складываемых фишек. На некоторых линиях может теперь лежать больше, чем по 9 фишек. Операция, необходимая для нахождения числа N + М, состоит в замене десяти фишек на одной линии одной фишкой на следующей линии. И так нужно продолжать до тех пор, пока такой процесс возможен. На каждом шаге заменяют десять фишек одной-единственной и таким образом происходит потеря девяти фишек на доске. Итак, мы видим, что если сложение выполнено правильно, то число фишек, остающихся на доске, должно удовлетворять условию
SN+M ? SN + SM (mod 9), (8.1.3)
т. е. количество фишек, находящихся на доске, должно отличаться от первоначального общего числа фишек на число, кратное 9. Эта проверка (8.1.3) до сих пор сохранила свое старое название «выбрасывание девяток».
После того как это правило было открыто, не составило труда заметить, что оно также применимо при сложении нескольких чисел, при вычитании и при умножении; в последнем случае, в соответствии с (8.1.3),
SM SN ? SMN (mod 9). (8.1.4)
Теоретическое доказательство этих правил является легкой задачей при использовании сравнений. Очевидно, что
1 ? 1, 10 ? 1, 102 ? 1, 103 ? 1… (mod 9); (8.1.5)
таким образом, из (8.1.1) и (8.1.2) мы делаем вывод, что
N ? SN (mod 9). (8.1.6)
Поэтому из правил сравнений, которые мы установили в § 3 главы 7, ясно, что
SN ± SM ? N ± М ? SN ± M,
SN • SM = N •M ? SN•M (mod 9).
Правило «выбрасывания девяток» чаще всего применяется к умножению. Возьмем в качестве примера числа
M = 3119, N = 3724 (8.1.7)
и их произведение
М • N = 11 614 156.
Это вычисление не может быть верным, так как если бы оно было верным, то мы имели бы, что
M ? SM ? 3 + 1 + 1 + 9 ? 5 (mod 9),
N ? SN ? 3 + 7 + 2 + 4 ? 7(mod 9)
и MN ? SMN ? 1 + 1 + 6 + 1 + 4 + 1 +5 + 6 ? 7 (mod 9).
Но 5 • 7 = 35 ? 7 (mod 9).
В действительности же это произведение равно MN = 11 615 156.
В средневековых школах ученики имели строгий наказ обязательно проводить проверку своих упражнений. Поэтому в рукописях, сохранившихся с тех времен, мы видим множество знаков, похожих на эмблему из скрещенных костей. Такой знак для нашего примера выглядит так, как на рис. 18.

Рис. 18.
Здесь числа 5 и 7, лежащие слева и справа, означают остатки чисел М и N (по модулю 9), а верхнее число 8 является остатком вычисленного произведения MN. Оно должно проверяться с помощью произведения остатков начальных чисел, записываемого в нижней части.
Здесь
5 • 7 = 35 ? 8 (mod 9).
Рис. 19.
Такая проверка «скрещенных костей» была совершенно обычной в ранних изданиях учебников арифметики (рис. 19), например, в английских учебниках семнадцатого и восемнадцатого веков. Конечно, существует возможность, что вычисления содержат ошибку, необнаруживаемую методом «выбрасывания девяток», но тогда мы знаем, что ошибка является «ошибкой по модулю 9».
Ясно, что и при другом основании системы счисления можно использовать простейшую проверку. Для числа
M = mnbn + mn-1bn-1 +… + m2b2 + m1b + m0,
записанного при основании b, как и в (8.1.5), мы имеем
1 ? 1, b ? 1, b2 ? 1… (mod (b — 1));
поэтому, как и раньше,
М ? SM = mn + mn-1 +… + m2 + m1 + m0 (mod (b — 1)),
и проверочное правило остается прежним.
Это, по-видимому, совершенно тривиальное замечание применимо даже в нашей обычной десятичной системе. Мы упоминали в § 5 главы 7, что если мы разобьем цифры десятичного числа на группы по три, то тогда эта группировка может рассматриваться как представление числа при основании b = 103 = 1000. Аналогично, если группировать цифры в пары, то это соответствует представлению числа при основании b = 102 = 100.

Рис. 20.
Взяв числа 3119 и 3724 вновь в качестве примера и записав
M = 31 19, N = 37 24, MN = 11 61 51 56,
мы находим
M ? 31 + 19 = 50 (mod 99), N ? 37 + 24 = 61 (mod 99),
MN ? 11 +61+ 51+56 = 179 ? 80 (mod 99).
Здесь наша проверка «скрещенных костей» будет такой, как на рис. 20, потому что, как легко видеть, 50 • 61 ? 80 (mod 99).
Эта проверка более эффективна, чем «выкидывание девяток», потому что модули в этом случае гораздо больше и вероятность, что ответ будет правильным, соответственно гораздо больше. Другими словами, «ошибка по модулю 99» менее вероятна, чем «ошибка по модулю 9».
Более 800 000 книг и аудиокниг! 📚
Получи 2 месяца Литрес Подписки в подарок и наслаждайся неограниченным чтением
ПОЛУЧИТЬ ПОДАРОКЧитайте также
Гипотеза: некоторые мегалитические сооружения «Античности» изготовлены из бетона
Гипотеза: некоторые мегалитические сооружения «Античности» изготовлены из бетона Излагаемые ниже соображения и факты нам сообщил доктор геолого-минералогических наук профессор И.В. Давиденко (г. Москва).Проблема измельчения пород и руд в древности решалась по образцу
§ 4. Некоторые задачи, связанные с системами счисления
§ 4. Некоторые задачи, связанные с системами счисления Обсудим несколько задач, связанных с системами счисления, которые имеют отношение к выбору оснований систем счисления, удобных для машинного счета. Предположим, что мы имеем дело с обычным настольным арифмометром,
§ 2. Некоторые свойства сравнений
§ 2. Некоторые свойства сравнений Способ, которым мы записываем сравнения, напоминает нам уравнения, и в действительности, сравнения и алгебраические уравнения имеют много общих свойств. Простейшими из них являются три следующих свойства:a ? a (mod m); (7.2.1)это является
§ 3. Алгебра сравнений
§ 3. Алгебра сравнений Из алгебры мы помним, что уравнения можно складывать, вычитать, умножать. Точно такие же правила справедливы для сравнений. Предположим, что мы имеем сравненияa ? b (mod m), с ? d (mod m). (7.3.1)По определению, это означает, чтоa = b + mk, c = d + ml, (7.3.2)где k и l — целые
§ 4. Возведение сравнений в степень
§ 4. Возведение сравнений в степень Предположим вновь, что имеется сравнениеa ? b (mod m).Как мы только что видели, можно умножить это сравнение на себя, получива2 ? b2 (mod m).Вообще можно, умножив это сравнение на себя нужное количество раз, получитьan ? bn (mod m)для любого целого
Глава 7 Запоминающаяся глава для запоминания чисел[9]
Глава 7 Запоминающаяся глава для запоминания чисел[9] Наиболее часто мне задают вопрос о моей памяти. Нет, сразу скажу я вам, она у меня не феноменальная. Скорее, я применяю систему мнемотехники, которая может быть изучена любым человеком и описана на следующих страницах.
Глава 3
Глава 3 14. Гусеница и Ящерка Билль. Гусеница считает, что и она, и Ящерка Билль не в своем уме. Если бы Гусеница была в здравом уме, то мнение о том, что и она, и Ящерка Билль не в своем уме, было бы ложно. Следовательно, Гусеница (будучи в здравом уме) не могла бы придерживаться
Глава 1
Глава 1 graphics46 Кто Джон?Чтобы узнать, кто из двух братьев Джон, спросите одного из них: «Джон правдив?» Если он ответит «да», это должен быть Джон, независимо от того, солгал он или сказал правду. Если же он ответит «нет», значит, он не Джон. И вот как это подтверждается.Ответив
Глава 2
Глава 2 graphics48 1. История перваяШляпник заявил, по существу, что повидло украл либо Мартовский Заяц, либо Соня. Если Шляпник солгал, значит ни Мартовский Заяц, ни Соня повидла не крали. Раз Мартовский Заяц кражи не совершал, то он, следовательно, сказал на суде правду.
Глава 3
Глава 3 graphics50 14. Гусеница и Ящерка БилльГусеница убеждена в том, что и она, и Ящерка Билль оба не в своем уме. Если бы Гусеница была в своем уме, то ее суждение о том, что оба они из ума выжили, было бы ложным. Раз так, то Гусеница (будучи в своем уме) вряд ли всерьез могла быть
Глава 4
Глава 4 26. Сколько пирожков?Сколько бы пирожков ни оказалось у Сони, назовем это количество одна порция. Итак, у Сони одна порция пирожков. У Мартовского Зайца вдвое больше пирожков, чем у Сони (в условиях задачи говорится, что Соня получила лишь половину того, что досталось
Глава 7
Глава 7 graphics54 64. Первый раундЕсли бы братец говорил правду, его звали бы Траляля и у него была бы карта черной масти. Но он не может говорить правду, если у него в кармане карта черной масти. Поэтому он лжет. Это означает, что у него действительно карта черной масти, а
Глава 9
Глава 9 Для всех решений в этой главе назовем первого подсудимого А, второго — Б и третьего — В. graphics56 78. Кто виновен?Нам дано, что солгал тот, кто был виновен. Если бы это был Б, он сказал бы правду, признав свою вину, поэтому Б не может быть виновным. Если бы виновным был А, то
Глава 11
Глава 11 88. ВопросДа, эти утверждения действительно следуют из теории Черного Короля. Начнем с Утверждения 1. Предположим, некто считает, что он бодрствует. Он либо на самом деле бодрствует, либо спит. Предположим, он на самом деле бодрствует. Тогда его суждение верно, но