一、求余运算(Remainder)

http://zh.wikipedia.org/wiki/同余)

Euclidean division：Given two integers a and b, with b ≠ 0, there exist unique integers q and r such that a = bq + r and 0 ≤ r < |b|, where |b| denotes the absolute value of b.

(术语：  a 被除数 dividend ； b 除数 divisor；q 商 quotient；r 余数 remainder)

按照上面的定义：余数唯一并始终大于或等于0，并可以拓展到两个整数为正数或负数的情况。

但是，程序设计语言求余

我们引出另一种余数定义：a = bq + r and 0 <= |r| < |b| 。于是，我们可以发现这种情况下余数可能不止一个。

例子：a = 43 b = 5时：

43 = 5 * 8 + 3 ： q = 8；r = 3 (r > 0)

43 = 5 * 9 -  2 ： q = 9；r = -2 (r < 0)

当a 和 b 含有负数时也存在这两种余数。

例子：a = 43 b = -5时：

43 = -5 * -8 + 3 ： q = -8；r = 3 (r > 0)

43 = -5 * -9 -  2 ： q = -9；r = -2 (r < 0)

大多数程序设计语言要求余数与被除数的正负号相同(参考自《C陷阱与缺陷》，强调了程序的可移植性问题，即被除数或除数含有负数时要谨慎对待)。这说明不同程序设计语言实现时对上述例子求余时可能是上面不同的解。

二、取模运算 (Modulo)

In computing, the modulo operation finds the remainder after division of one number by another (sometimes called modulus).

上面这句话说明，取模运算和求余运算的目标都是一致的。只是不同程序设计语言时实现的方式可能不同，也就是上面所说的采用另一种余数定义时，含有两种余数结果。一些语言可能会采取第一个结果；另一些语言可能会采取第二个结果；还有些语言可能会把取模和求余分开定义，分别采取两种结果。维基百科里面就列出了一些程序设计语言采取的操作，常见的为以下几种：

1.求余结果或取模结果的正负号与被除数相同；

2.求余结果或取模结果的正负号与除数相同；

3.求余结果或取模结果的总是正数；

4.求余结果或取模结果由实现定义；

5.求余结果或取模结果为最接近0的数；

求余运算和取模运算小结：有人会把取模运算和求余运算分开解释，又采用特定的语言去举例，我认为这两种运算目标都是一致，只是求余运算倾向于数学，而取模运算倾向于计算机科学，之所以不同语言会有不同的结果，本质是因为根据求余运算定义导致余数不唯一时不同程序设计语言采用了不同的结果，但他们都会根据某种依据来给出唯一的结果。这也告诉我们，程序移植时必须当心这种差别，特别是当两个整数含有负数的情况。

三、取模运算性质

术语：

For a positive integer n, two integers a and b are said to be congruent modulo n, and written as

一些有用的性质(可证明)：

如果a≡b(mod m)，x≡y(mod m)，则a+x≡b+y(mod m)。

如果a≡b(mod m)，x≡y(mod m)，则ax≡by(mod m)。

如果ac≡bc(mod m)，且c和m互质，则a≡b(mod m) (就是说同余式两边可以同时除以一个和模数互质的数)。