403÷3的竖式计算：
验算：134x3+1=402+1=403
运算公式：被除数÷除数=商；被除数÷商=除数；商除数=被除数；带有余数的情况：被除数÷除数=商……余数（其中，余数小于除数），除数×商+余数=被除数。
除法的运算性质：
被除数扩大（缩小）n倍，除数不变，商也相应的扩大（缩小）n倍。除数扩大（缩小）n倍，被除数不变，商相应的缩小（扩大）n倍。
考虑到除法与乘法互为逆运算，并且乘法的意义是求多个相同加数的和的简便运算，所以这种情况也可以解释为：被除数不断地减去除数，直至余数数值低于除数。例如：17÷5=3…2，即17减去3个5，余下2。