Пользуясь основными свойствами данных и искомых чисел, обычно производят проверку обратными арифметическими действиями. Таким образом, сложение проверяется вычитанием, вычитание сложением, умножение делением, деление умножением.
Проверка сложения
Чтобы повторить сложение, отбрасывают одно слагаемое, складывают остальные и сумму вычитают из общей суммы; если в остатке получается отброшенное слагаемое, сложение сделано верно.
Проверка сложения:
Здесь мы обозначили звездочкой отброшенное слагаемое и, сложив остальные, полученную сумму 26340 вычли из общей суммы. В остатке получили зачеркнутое слагаемое, следовательно — сложение сделано верно.
Проверка вычитания
Уменьшаемое равно вычитаемому, сложенному с разностью; следовательно, чтобы проверить вычитание, нужно вычитаемое сложить с остатком; если в сумме получится уменьшаемое, вычитание сделано верно.
Проверка вычитания:
Для проверки складываем вычитаемое с разностью и получаем в сумме уменьшаемое.
Вычитание верно.
Проверка умножения
Произведение, разделенное на один множитель, должно дать в частном другой, следовательно, чтобы проверить умножение, нужно разделить произведение на один множитель; если в частном получается другой множитель, а в остатке нуль, умножение сделано верно.
Проверка умножения:
Разделяя произведение 501116 на один множитель 1627, получаем в остатке нуль, а в частном другой множитель 308; следовательно, умножение сделано верно.
Проверка деления
Делимое равно произведению делителя на целое частное, сложенное с остатком; следовательно, чтобы проверить деление, нужно делитель умножить на целое частное и приложить остаток; если получим делимое, деление выполнено верно.
Для проверки умножаем делитель 107 на целое частное 255 и прикладываем остаток 73, получаем делимое 27358; следовательно, деление сделано верно.