免费负数模运算计算器

理解负数的模运算

取模运算 $a \bmod n$ 通常被教授为除法后的余数，但当负数出现时，其定义变得模糊。不同的约定——尤其是在编程语言中——决定了余数是正还是负。这个免费在线模计算器支持负被除数和除数，让您可以切换两种最常见的解释：截断除法模和向下取整除法模。

模运算的两种常见模型

在数论中，余数总是非负的（欧几里得除法），但实际实现常常偏离这一理想。软件中使用的两种主要定义是：

1. 截断除法模 – 余数为 $r = a - n \cdot \operatorname{trunc}(a / n)$。
   结果符号与被除数 $a$ 相同。

2. 向下取整除法模 – 余数为 $r = a - n \cdot \operatorname{floor}(a / n)$。
   结果符号与除数 $n$ 相同。

对于正数，两种定义结果相同，但对于负数则可能产生不同的结果。

符号规则行为

下表总结了每种定义下所有被除数和除数组合的余数符号：

被除数 $a$	除数 $n$	截断（符号 = $a$ 的符号）	向下取整（符号 = $n$ 的符号）
正	正	正	正
负	正	负	正
正	负	正	负
负	负	负	负

说明区别的例子

• $a = -9,\ n = 4$
  截断：$-9 = 4 \times (-2) - 1$ → 余数 $-1$.
  向下取整：$-9 = 4 \times (-3) + 3$ → 余数 $3$.

• $a = 9,\ n = -4$
  截断：$9 = (-4) \times (-2) + 1$ → 余数 $1$.
  向下取整：$9 = (-4) \times (-3) - 3$ → 余数 $-3$.

• $a = -9,\ n = -4$
  两种定义使用相同的商 $2$：$-9 = (-4) \times 2 - 1$.
  两种情况余数都是 $-1$.

为什么存在两种定义

编程语言历史上为其 mod 运算符采用了截断或向下取整语义。例如，C 和 Java 在 % 中使用截断除法，而 Python 使用向下取整除法。现在许多语言提供独立的函数（例如 Java 的 Math.floorMod），以便开发者选择最适合其应用的行为。当您处理循环数据结构、索引循环、或期望非负余数的数学公式时，这些差异至关重要。

使用此负数模计算器

本工具允许您计算任意整数（正或负）的 $a \bmod n$，并同时查看截断和向下取整约定下的结果。您还可以查看逐步除法过程，使其成为调试代码或学习负数取模工作原理的理想伴侣。只需输入被除数和除数，计算器将立即根据您选择的定义返回余数。

无论您是在学习模运算，还是在具有特定模行为的语言中实现算法，此负数模计算器都能简化您手动计算结果的验证。