初等数论（最小剩余）：验证(22×51)+698⁵模7剩余推导及疑问

嘿，先给你捋清楚这个问题：

推导过程的正确性 #

你的推导步骤里，大部分都是准确的：

• 22 ≡ 1 (mod 7)：22减3个7（21）剩1，没错；
• 51 ≡ 2 (mod 7)：51减7个7（49）剩2，正确；
• 698 ≡ 5 ≡ -2 (mod 7)：698减99个7（693）剩5，而5和-2模7是等价的（因为-2加7等于5），这一步也没问题；
• 代入原式得到(1×2)+(-2)⁵ ≡ 2 + (-32) ≡ -30 (mod 7)，计算也没毛病；
• 最后-30 ≡ -2 (mod 7)：-30除以7商-4的话，-4×7=-28，-30-(-28)=-2，这个同余关系是对的。

关于最小剩余的取值 #

这里关键要明确：模7的最小剩余如果没有特别说明，通常指的是0到6之间的非负整数（也就是最小非负剩余）。

• -2和5在模7下是完全等价的同余类，因为-2 + 7 = 5，所以两者都属于同一个模7的剩余类；
• 你得到的-2是这个类里的负剩余，但如果题目要求的是“最小剩余”，一般默认取非负的那个，也就是5——这才是符合常规定义的模7最小剩余。

所以结论是：你的推导逻辑是正确的，最后得到的-2 mod7是有效的同余结果，但最小剩余可以（而且应该）取5，这是更符合常规要求的答案。

内容的提问来源于stack exchange，提问作者Rose