咱们先把这个问题拆解清楚，你的核心观察其实是完全正确的，我来帮你把剩余类的逻辑理明白，顺便解释为什么“乘数2不影响”：

第一步：明确各因子的模4剩余类 #

先把每个底数对4取余，这是判断剩余类的基础：

• 2 ≡ 2 mod 4（也就是4n+2型，偶数）
• 3 ≡ 3 mod 4（也就是4n-1型，奇数）
• 5 ≡ 1 mod 4（也就是4n+1型，奇数）
• 7 ≡ 3 mod 4（同样是4n-1型，奇数）

第二步：为什么乘数2不影响4n+1型除数的判断？ #

首先要明确：4n+1型数是奇数，所以任何包含因子2的除数（也就是2的幂次x≥1的情况）都是偶数，根本不可能属于4n+1型。

因此，当我们寻找这类除数时，只需要考虑不含因子2的除数（即2的幂次x=0），这就是资料里说“乘数2不影响”的本质——它直接被排除在候选范围外了，不需要考虑它的幂次对剩余类的影响。

第三步：验证你的核心结论——3、7幂次之和为偶数时才是4n+1型 #

对于不含因子2的除数（形如3^y·5^z·7^w，其中y≤b、z≤c、w≤d），我们只需要看它的模4结果：

• 5的任何幂次：5^z ≡ 1^z ≡ 1 mod 4，所以不管z是多少，都不会改变整体的剩余类；
• 3的幂次：3^y ≡ 3 mod 4当y为奇数，3^y ≡ 1 mod 4当y为偶数；
• 7的幂次：因为7≡3 mod4，所以7^w的剩余类和3^w完全一样——奇数幂是3，偶数幂是1；

现在把3和7的幂次相乘：

• 如果y+w是偶数：要么y和w都是偶数（11=1），要么都是奇数（33=9≡1），结果都是1 mod4，也就是4n+1型；
• 如果y+w是奇数：一个是奇数幂、一个是偶数幂（31=3或13=3），结果是3 mod4，也就是4n-1型；

你的结论完全正确！举两个例子验证：

• 3^1·7^1=21，y+w=2（偶数），21=4*5+1，确实是4n+1型；
• 3^1·7^2=147，y+w=3（奇数），147=4*36+3，属于4n-1型；

总结一下剩余类的关键逻辑 #

判断一个数是否为4n+1型，核心看它的奇数部分的模4结果：

1. 先排除所有偶数（含因子2的数），因为4n+1是奇数；
2. 对于奇数，只需要关注其中模4为3的因子的幂次之和的奇偶性——因为模4为1的因子（比如5）不改变剩余类，而两个模4为3的数相乘会得到模4为1的数，奇数次则保留模4为3的结果。

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