应景趣味数学：1001与7、11、13的整除判定法则

10月1日是中国的国庆节。如果把10月1日记为1001，则国庆节就与趣味数学直接挂钩了。

先整理一下若干数的整除性判定，简单且容易记住的法则是：一个数的末尾能被2、5整除的，则原数能被2整除；一个数的数字和能被3、9整除的，原数能被3、9整除；一个数的末两位或者末三位能够被4或者8整除，原数能被4或者8整除；一个偶数的数字和能被6整除，原数能被6整除。

现在轮到被7整除的判定法则了，1001这个数将派上用场。

在数论中，1001是一个具有特殊意义的数，其因数分解为 7×11×13。这三个质数两两互质，使得1001成为它们的最小公倍数。基于这一特性，数学家总结出一种高效的整除判定法则——三位截断法，用于快速判断一个数是否能被7、11或13整除。

一、1001的数论性质

1. 因数分解与质数特性

1001的唯一质因数分解为 7×11×13，这三个质数均为奇质数，且互质。因此，1001是它们的最小公倍数，任何能被1001整除的数必然同时能被7、11、13整除，反之亦然。

2. 模运算中的关键性质

由于 10³ = 1000 = 1001 - 1，可得：

10³ ≡−1(mod7),10³ ≡−1(mod11),10³ ≡−1(mod13)

这一性质是三位截断法的核心依据，它表明每三位截断后的数与原数之间存在特定的同余关系。

二、三位截断法的原理与推导

1. 法则内容

对于任意正整数 N，将其十进制表示从右向左每三位分一组（不足三位补零），设各组数值从右到左依次为 b₀, b₁, b₂, ..., bₖ，则：

若该交替和能被7、11或13整除，则原数也能被对应的数整除。

2. 数学证明

以 N = abcdef（六位数）为例，其十进制展开为：

利用 10³ ≡ -1 mod 7,11,13，可将高阶项化简：

• 10³ ≡ -1, 10⁴ ≡ -10, 10⁵ ≡ -10²

代入后得：

即：

这表明，原数可分解为末三位 (def) 与前三位 (abc) 的交替和。

推广至任意位数，每三位截断后的交替和即为模运算的简化形式。

三、应用实例与验证

1. 基础验证

例1：判断1001的整除性

• 分组：001 | 001 → b₀=1, b₁=1

• 交替和：1 - 1 = 0

• 结论：0是7、11、13的公倍数，故1001能被三者整除。

例2：判断123456的整除性

• 分组：456 | 123 → b₀=456, b₁=123

• 交替和：456 - 123 = 333

• 验证：

• 333 ÷ 7 = 47余4 → 不被7整除

• 333 ÷ 11 = 30余3 → 不被11整除

• 333 ÷ 13 = 25余8 → 不被13整除

2. 复杂案例

例3：判断大数9886419543的整除性

• 分组：543 419 886 009

• 交替和：543 - 419 + 886 - 9 = 1001

• 结论：1001是7、11、13的公倍数，故原数能被三者整除。

例4：判断随机数1234567890123的整除性

• 分组：123 890 567 234 001

• 交替和：123 - 890 + 567-234 + 1 = -433

• 验证：

-433 不被7整除 ； -433 不被11整除 ；-433 不被13整除

因此原数不能被7、11和13整除。

四、总结

三位截断法通过模运算的同余性质，将复杂的大数整除问题转化为简单的分组计算。其核心在于利用 10³ ≡ -1 mod 7,11,13 的关系，将原数分解为可操作的小组合。该方法不仅适用于7、11、13的判定，还可推广至其他由质因数组合的数（如77=7×11、91=7×13等），成为数论中兼具理论深度与实用价值的工具。

关键要点：

• 1001的质因数分解是三位截断法的理论基础。

• 交替和的计算本质是模运算的简化形式。

• 该方法可快速验证大数的整除性，避免繁琐的除法运算。