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