为什么在迭代中国剩余定理方法中搜索模 m 的同余方程解时，最多只需要检查 m 个值？

步长更新为已满足模数的最小公倍数（LCM），是因为将 LCM 加到当前解上可以保留所有这些模数的余数。任何能被所有当前模数整除的增量都不会改变它们各自的余数，而 LCM 是满足此条件的最小正增量。

适用条件：一个数字目前满足一组同余方程。；新的步长必须保留所有这些同余方程的余数。

如果两个同余方程 x ≡ r (mod m) 和 x ≡ r (mod n) 共享相同的余数 r，那么 $x = r$ 就是一个直接的特解。完整的合并解集则是 r 加上两个模数的最小公倍数的倍数：$x = r + k$ * LCM(m, n)。

适用条件：两个同余方程具有相同的余数 r。；模数 m 和 n 是正整数。

该方法通过维护一个候选解的等差数列来逐个求解同余方程。它从满足第一个同余方程的数字序列开始，用第二个方程测试它们以找到公共解，然后将步长更新为前两个模数的最小公倍数（LCM）。

适用条件：未知数 x 是整数。；方程组由同余方程 x ≡ 3 (mod 4)、x ≡ 5 (mod 6) 和 x ≡ 2 (mod 5) 组成。

该技巧不计算等差数列中的大项，而是计算对新目标模数的余数序列。它从当前解的余数开始，反复加上步长的余数（对新模数取模），直到达到目标余数。

适用条件：你有一个满足先前同余方程的候选等差数列。；你需要找到满足新同余方程 x ≡ r (mod m) 的第一项。