关于同余方程组是否有解的判定

Gbaki

于 2022-07-16 17:54:00 发布

阅读量1.3k

点赞数

文章标签：算法

本文链接：https://blog.csdn.net/Gbaki/article/details/125822337

版权

博客详细探讨了一组同余方程有解的充要条件，即两两方程构成的方程组必须有解。通过归纳法证明了这一结论，涉及到gcd和lcm的概念，并指出gcd是质因子次数的最小值，lcm是最大值。证明过程严谨，适合数学和计算机科学领域的读者理解。

摘要由CSDN通过智能技术生成

最近做题发现了一个有意思的结论：一组同余方程有解的充要条件是两两方程构成的方程组有解

以下是它的证明：

必要性显然，考虑证明充分性

利用归纳法，在同余方程组 $\left\{\begin{matrix} x\equiv a_{1}(mod n_{1})\\ x\equiv a_{2}(mod n_{2})\\ ...\\ x\equiv a_{k}(mod n_{k})\\ \end{matrix}\right.$ 中，已证明前 $t$ 个同余方程满足条件，现考虑加入第 $t+1$ 个同余方程

设前 $t$ 个同余方程的特解为 $x_{0}$ ， $lcm(n_{1}, n_{2}, ..., n_{t})=L$

由于第 $t+1$ 个同余方程与前 $t$ 个两两有解，则 $gcd(n_{i}, n_{t+1})|a_{i}-a_{t+1} (1\leq i\leq t)$

现需证明同余方程组 $\left\{\begin{matrix} x \equiv x_{0} (mod L) \\ x \equiv a_{t+1}(mod n_{t+1}) \end{matrix}\right.$ 有解，即证 $gcd(L, n_{t+1})|x_{0}-a_{t+1}$

可以发现对于 $1\leq i\leq t$ ， $x_{0}$ 可表示为 $u n_{i}+a_{i}$ ，因此 $x_{0}=un_{i}+a_{i}-a_{t+1}$ ，而 $gcd(n_{i}, n_{t+1})|un_{i}, gcd(n_{i}, n_{t+1})|a_{i}-a_{t+1}$ ，所以 $gcd(n_{i}, n_{t+1})|x_{0}-a_{t+1}$

从而 $lcm(gcd(n_{1}, n_{t+1}), gcd(n_{2}, n_{t+1}), ..., gcd(n_{t}, n_{t+1}))|x_{0}-a_{t+1}$

我们知道gcd的本质是质因子次数的min，lcm是质因子次数的max，且 $max(min(a, x), min(b, x), ...)=min(max(a, b, ..), x)$ ，所以 $lcm(gcd(n_{1}, n_{t+1}), gcd(n_{2}, n_{t+1}), ..., gcd(n_{t}, n_{t+1}))=gcd(lcm(n_{1}, n_{2}, ..., n_{t}), n_{t+1})=gcd(L, n_{t+1})$