欧几里得除法¶
欧几里得除法也叫带余除法，指 \(\forall a,b \in \mathbb{Z} \wedge b \ne 0\)，存在唯一的整数 \(q,r\) 使得
\[ a = bq + r \]
并且
\[ 0 \le r < |b| \]
其中 \(a\) 是被除数，\(b\) 是除数，\(q\) 是商，\(r\) 是余数。
欧几里得除法也叫带余除法，指 \(\forall a,b \in \mathbb{Z} \wedge b \ne 0\)，存在唯一的整数 \(q,r\) 使得
并且
其中 \(a\) 是被除数，\(b\) 是除数，\(q\) 是商，\(r\) 是余数。