有余数除法的验算根据有余数除法的定义可知：如果ab gr，那么： a bg r； b（ a r）g； g（ a r） b； r a bg。由此可见，在有余数的除法中，被除数等于除数乘以商再加上余数；除数等于被除数减去余数再除以商；余数等于被除数减去除数与商的积。根据上述关系，可对有余数的除法进行验算。例如，根据 a bg r 用验算的方法是：在做完有余数的除法之后，可把所得的商与除数相乘，再加上余数如果计算是正确的，求出的结果应该等于被除数。此外，还可以根据 b（ a r）g、 g（ a r） b 和 r a bg 这几种关系进行验算。
