线性同余方程组（Mathematica）

1、首先，如果两个墙绅褡孛数，模a,b,c同余，那么它们模(a,b,c)同余。且模(a,b,c)同余可以表示所有解。使用Reduce化简同余方程，指定域为Integers整数域。

3、此处还可以使用Solve求解。得到的是条件表达式。Solve的结果使用/.替换，并带入C[1]即可以得到数值结果。

5、下面说分步求解过程：首先使用LCM求得各个模数的最小公倍数，除以各个模数，得到M1,M2,M3。最终的结果是M1,M2,M3的线性组合。

7、这里，C[1]带入任意数都可。带入0比较好算。得到a=1,b=3,c=2。然后计算a*M1+b*M2+c*M3，得到128为原来线性同余方程组的一个解。

9、如图，演示了带入常数为C[1]=1，最终模完仍然是23。故常数C[1]无关紧要。

11、根据第一个方程，设x=6t+4，带入第二个，求出t。