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

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

Проверка девяткой основана на «законе остатков», гласящем: остаток от деления суммы на какое-либо число равен сумме остатков от деления каждого слагаемого на то же число; точно так же, остаток произведения равен произведению остатков множителей. С другой стороны, известно также [14] , что при делении числа на 9 получается тот же остаток, что и при делении на 9 суммы цифр этого числа; например, 758 при делении на 9 дает 2, и столько же получается в остатке от деления (7 + 5 + 8) на 9. Сопоставив оба свойства чисел, мы и приходим к приему проверки девяткой, т. е. делением на 9.

Пусть требуется проверить правильность сложения следующего столбца:

Составляем в уме сумму цифр каждого слагаемого, причем в получающихся числах также складываем цифры (это делается в самом процессе сложения цифр), пока, в конечном результате, не получим однозначного числа. Результаты эти (остатки от деления на 9) записываем, как показано на примере, рядом с соответствующим слагаемым. Складываем все остатки – получаем 8. Такова же должна быть сумма цифр итога (5339177), если действие выполнено верно: 5 + 3 + 3 + 9+1 + 7 + 7 после всех упрощений, равно 8 (точнее: «равноостаточно с 8»).

Проверка вычитания выполняется точно так же, если принять уменьшаемое за сумму, а вычитаемое и разность – за слагаемое. Например: 

4 + 6 = 10, т. е. 1.

Не сложна и проверка умножения, как видно из следующего примера: 

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

Проверка деления по этому способу требует маленького пояснения. Если имеем случай деления без остатка, то проверка производится, как и при умножении: делимое рассматривается как произведение делителя на частное. В случае же деления с остатком пользуются тем, что делимое = делителю × частное + остаток. Например:

В «Арифметике» Магницкого предлагается для проверки девяткой следующее удобное расположение:

Для умножения: 

Для деления: 

Подобная проверка, без сомнения, не оставляет желать лучшей в смысле быстроты и удобства. Нельзя сказать того же о ее надежности: ошибка может и ускользнуть от нее. Действительно, ведь одну и ту же сумму цифр могут иметь разные числа; поэтому не только перестановка цифр, но иной раз даже и замена одних цифр другими остаются при такой проверке необнаруженными. Укрываются от контроля также лишние девятки и нули, так как они не влияют на сумму цифр. Всецело полагаться поэтому на такой прием проверки было бы неосмотрительно. Предки наши сознавали это и не ограничивались одною лишь проверкой с помощью девятки, но производили еще дополнительную проверку – чаще всего с помощью семерки. Этот прием основан на том же «правиле остатков», но не так удобен, как «способ девятки», потому что деление на 7 приходится выполнять полностью, чтобы найти остатки (причем легко возможны ошибки в действиях самой проверки). Две проверки – девяткой и семеркой – уже являются гораздо более надежным контролем: что ускользнет от одной проверки, то будет уловлено другою. Ошибка не обнаружится лишь в том случае, если разность истинного и полученного результатов кратна числу 7 × 9 = 63. Так как это все же случайно возможно, то и двойная проверка не может дать полной уверенности в правильности результата. Впрочем, для обычных вычислений, где ошибаются чаще всего на 1 или на 2 единицы, можно ограничиться только проверкою девяткой. Дополнительная проверка семеркой чересчур обременительна. Всякий контроль хорош только тогда, когда не мешает работе.