带余除法计算器

带余除法（欧几里得除法）是整数算术的基本定理：对任意整数 a 与非零整数 b，存在唯一一对整数 q、r 使 a = b×q + r 且 0 ≤ r < |b|。「唯一性」是重点——商和余数不是随便挑的，而是由「余数非负且小于除数绝对值」这一约束唯一锁定。

负数情形的处理是中小学与编程语言的分歧点。数学规范（本工具口径）坚持余数非负：−17 = 5×(−4) + 3，商 −4 余 3。而 C/Java/JS 的 % 运算符采用截断语义：−17 % 5 = −2（商 −3 向 0 取整）。两套答案相差一个除数周期，跨场景使用时要先确认口径。本站的向下取整除法计算器专门对比这两种语义。

带余除法是数论一切故事的入口：辗转相除求最大公约数（gcd(a,b) = gcd(b, r) 逐步迭代）、同余与模运算、中国剩余定理、RSA 加密，甚至日历推算（今天起第 N 天是周几），追到底都是这一个恒等式在反复应用。

带余除法（欧几里得除法）是整数世界的「除不尽怎么办」标准答案：任何整数 a 除以非零整数 b，都存在唯一的商 q 和余数 r 使 a = bq + r 且 0 ≤ r < |b|。「唯一性」是整个定理的灵魂——它保证了答案没有歧义，余数范围 0 ≤ r < |b| 就是为了锁定唯一。

这个定理看起来简单，却是数论的奠基石：辗转相除法求最大公约数（gcd(a,b) = gcd(b, r)，反复带余除法直到余 0）、模运算与同余类、中国剩余定理、RSA 加密，全部从 a = bq + r 这一个等式长出来。小学学的「商…余…」其实握着通往现代密码学的钥匙。