主题
Search

同余


如果两个数 bc 的差 b-c 可以被一个数 m 整除(即,(b-c)/m 是一个整数),那么 bc 被称为“模 m 同余”。数 m 称为模数,而语句“bcm 同余”在数学上写为

 b=c (mod m).
(1)

如果 b-c 不能m 整除,则称“bcm 不同余”,记为

 b≢c (mod m).
(2)

模数 m 在上下文中被理解时,显式的“(mod m)”有时会被省略,因此在这种情况下,必须注意不要将符号 =等价符号混淆。

b 有时被称为“基数”,量 c 被称为剩余余数。有几种类型的剩余。常用剩余定义为非负且小于 m,而最小剩余cc-m,以绝对值较小者为准。

CongruenceClockMinutes

同余算术可能是最熟悉的时钟算术的推广。由于一小时有 60 分钟,“分钟算术”使用模数 m=60。如果从过小时 40 分钟开始,然后等待 35 分钟,40+35=15 (mod 60),因此当前时间将是过(下一个)小时 15 分钟。

CongruenceClockHours

类似地,12 小时制时钟上的“小时算术”使用模数 m=12,因此上午 10 点加五个小时得到 10+5=3 (mod 12),即下午 3 点。

同余满足许多重要的性质,并且在数论的许多领域都非常有用。使用同余,有时可以推导出简单的整除性检验来检查给定数字是否可以被另一个数字整除。例如,如果一个数字的各位数字之和可以被 3 (9) 整除,则原始数字可以被 3 (9) 整除。

同余也有其局限性。例如,如果 a=bc=d (mod n),则可以得出 a^x=b^x,但通常不能得出 x^c=x^da^c=b^d。此外,通过“滚动溢出”,同余会丢弃绝对信息。例如,知道过小时的分钟数很有用,但知道分钟数是过哪个小时则通常更有用。

a=a^' (mod m)b=b^' (mod m),则同余的重要性质包括以下内容,其中 => 表示“蕴含

1. 等价性:a=b (mod 0)=>a=b (可以视为定义)。

2. 确定性:a=b (mod m)a≢b (mod m)

3. 自反性:a=a (mod m)

4. 对称性:a=b (mod m)=>b=a (mod m)

5. 传递性:a=b (mod m)b=c (mod m)=>a=c (mod m)

6. a+b=a^'+b^' (mod m).

7. a-b=a^'-b^' (mod m).

8. ab=a^'b^' (mod m).

9. a=b (mod m)=>ka=kb (mod m).

10. a=b (mod m)=>a^n=b^n (mod m).

11. a=b (mod m_1)a=b (mod m_2)=>a=b (mod [m_1,m_2]),其中 [m_1,m_2]最小公倍数

12. ak=bk (mod m)=>a=b (mod m/((k,m))),其中 (k,m)最大公约数

13. 如果 a=b (mod m),则 P(a)=P(b) (mod m),对于 P(x) 一个多项式

性质 (6-8) 可以通过简单地定义来证明

a=a^'+rm
(3)
b=b^'+sm,
(4)

其中 rs整数。然后

a+b=a^'+b^'+(r+s)m
(5)
a-b=a^'-b^'+(r-s)m
(6)
ab=a^'b^'+(a^'s+b^'r+rsm)m,
(7)

因此这些性质成立。

同余也适用于分数(即,有理数)以及整数,并且可以称为分数同余


参见

代数同余, 消去律, 中国剩余定理, 常用剩余, 同余公理, 同余方程, 同余的, 整除性检验, 向下取整函数, 分数同余, 小数部分, 函数同余, 几何同余, 最大公约数, 整数除法, 最小公倍数, 线性同余方程, 最小剩余, , 模逆元, 模数, 最近整数函数, 二次同余方程, 二次互反律, , 剩余, RSA 加密 在 课堂中探索此主题

相关 Wolfram 网站

http://functions.wolfram.com/IntegerFunctions/Mod/

使用 探索

WolframAlpha

更多尝试

参考文献

Burton, D. M. "The Theory of Congruences." Ch. 4 in Elementary Number Theory, 4th ed. Boston, MA: Allyn and Bacon, pp. 80-105, 1989.Conway, J. H. and Guy, R. K. "Arithmetic Modulo p." In The Book of Numbers. New York: Springer-Verlag, pp. 130-132, 1996.Courant, R. and Robbins, H. "Congruences." §2 in Supplement to Ch. 1 in What Is Mathematics?: An Elementary Approach to Ideas and Methods, 2nd ed. Oxford, England: Oxford University Press, pp. 31-40, 1996.Hardy, G. H. and Wright, E. M. "Congruences and Classes of Residues," "Elementary Properties of Congruences," "Linear Congruences," "General Properties of Congruences," and "Congruences to Composite Moduli." §5.2-5.4 and Chs. 7-8 in An Introduction to the Theory of Numbers, 5th ed. Oxford, England: Clarendon Press, pp. 49-52 and 82-106, 1979.Hilton, P.; Holton, D.; and Pedersen, J. "A Far Nicer Arithmetic." Ch. 2 in Mathematical Reflections in a Room with Many Mirrors. New York: Springer-Verlag, pp. 25-60, 1997.Jones, G. A. and Jones, J. M. "Congruences." Ch. 3 in Elementary Number Theory. Berlin: Springer-Verlag, pp. 37-63, 1998.Nagell, T. "Theory of Congruences." Ch. 3 in Introduction to Number Theory. New York: Wiley, pp. 68-131, 1951.Séroul, R. "Congruences." §2.5 in Programming for Mathematicians. Berlin: Springer-Verlag, pp. 11-12, 2000.Shanks, D. Solved and Unsolved Problems in Number Theory, 4th ed. New York: Chelsea, p. 55, 1993.

在 上引用

同余

请引用为

Weisstein, Eric W. "同余." 来源 Web 资源。 https://mathworld.net.cn/Congruence.html

学科分类