数论——同余
理论背景 数学上,两个整数除以同一个整数,若得相同余数,则二整数同余(英文:Modular arithmetic,德文:Kongruenz)。同余理论常被用于数论中。最先引用同余的概念与符号者为德国数学家高斯。同余理论是初等数论的重要组成部分,是研究整数问题的重要工具之一,利用同余来论证某些整除性的问题是很简单的。同余是数学竞赛的重要组成部分。 同余定理 给定一个正整数 m,如果两个整数 a 和 b 满足 m|(a-b),即 a-b 能够被 m 整除,或者 (a-b)/m 得到一个整数,那么就称整数 a 与 b 对模 m 同余,记作 a≡b(mod m)。对模 m 同余是整数的一个等价关系。例如:26≡2(mod 12)。 显然,有如下事实: (1)若 a≡0(mod m),则 m|a; (2)a≡b(mod m) 等价于 a 与 b 分别用 m 去除,余数相同。 证明 充分性:m|(a-b) → a≡b(mod m) 设 a=mq1+r1,b=mq2+r2,且 0≤r1, r2<m。 ∵ m |(a-b),又 a-b=m(q1-q2)+(r1-r2)。 ∴必有常数 n 使得 (r1-r2)=mn。 则有 m|(r1-r2)。 ∵0≤r1, r2<m, ∴0≤|r1-r2|<m, ∴r1-r2=0, 即 r1=r2,故 a≡b(mod m)。 必要性:a≡b(mod m) → m