第2节　最小剩余

4

因此，对于模m，每个数在数组0，1，2，…，m-1和数组0，-1，-2，…，-（m-1）中都恰有一个剩余，我们将它们称为最小剩余。显然，如果0不是剩余，那么最小剩余总是成对出现，一个为正，一个为负。如果它们的绝对值不相等，那么必有一个的绝对值小于；否则它们的绝对值都等于。因而，每个数总有一个剩余的绝对值小于模的，这个剩余叫作绝对最小剩余。

例如，对于模5，-13的最小正剩余为2（它也是绝对最小剩余），而-3是它的最小负剩余。对于模7，5是它自身的最小正剩余，而-2是它的最小负剩余，也是绝对最小剩余。