除法算法的证明 对任意给定的整数 a 和 b，其中 b ＞ 0，存在唯一的整数对 q（商）和 r（余数）使 得， a = q*b + r 且 0 ≤ r ＜ b。

证明存在性：

对于任意整数a和b，存在一个整数q使得a=q*b，此时r=0。

若存在余数r，假设r1>b，a=q*b+r1，r1=n*b+r2，则a=（q+n）*b+r2，如此循环直至得出的余数r<b

证明唯一性：

a=q1*b+r1

假设存在另一组商q2和余数r2，需证q1=q2和r1=r2

a=q1*b+r1

a=q2*b+r2

两式相减得（q1-q2）*b=r2-r1

0<=r1<b且0<=r1<b得-b<(q1-q2)*b<b,化简得-1<q1-q2<1

而此区间的整数只有0，则q=0,与上述矛盾