除法列式计算的验算就是乘法竖式。验算表达式：除数×商=被除数，除数×商+余数=被除数。除法是四则运算之一，是已知两个因数的积与其中一个非零因数，求另一个因数的运算。

两个数相除又叫做两个数的比。若ab=c（b≠0）,用积数c和因数b来求另一个因数a的运算就是除法，写作c÷b，读作c除以b（或b除c）。其中，c叫做被除数，b叫做除数，运算的结果a叫做商。