# 除法

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

$y$称为<u>被除数</u>，$x$称为<u>除数</u>，$a$称为<u>商</u>，$b$称为<u>余数</u>

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

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

![](../图片/长除法.gif)