摘要： 1.定理：(带余除法)若有a，b两个整数，且b>0 ，则存在两个整数q，r 使得 a = b*q + r . (其中 0 <= r < b , 且q和r是唯一的)证明: 假设存在 q1和r1 也满足 a = b*q1 + r1 . 则把两式相减则有 b*(q-q1) + (r-r1) = 0; 化简得有b*(q-q1) = r1 - r . 因为q,q1是整数，所以 q-q1 也为整数 又因为 0 <= r1 < b , -b < -r <= 0 , 则 -b < r1-r < b. 得到的 -1 < (q-q1) < 1 ，所 阅读全文