除法

除法可以看成是「乘法的反运算」，也可以理解为「重复的减法」

\forall (a,b,y)\in\mathbb{N}, x\in \Bbb{Z^+}, {y}\div{x}={a}\cdots{b} \iff y={a}{x}+b

$y$称为被除数，$x$称为除数，$a$称为商，$b$称为余数

当$b=0$时称$y$整除$x$，此时有$y\div{x}=a$，或称$y$是$x$的倍数，$y=ax$。

计算大数除法使用长除法(直式除法)