[算法] EXCRT 证明

初始值

$\left\{\begin{array}{c}x\equiv a(\mathrm{mod}b)\\ x\equiv c(\mathrm{mod}d)\end{array}\right\}$

证明

{ x = a + P b x = c + Q d } a + P b = c + Q d a − c = Q d − P b 令 t = gcd ⁡ ( b , d ) , 则 a − c t = Q d t − P b t a − c t ≡ Q d t ( m o d b t ) 问题就转化成     a x ≡ b ( m o d m ) 了。 我们求出这个     x , 即为     Q     代入     x = c + Q d     即可 \begin{Bmatrix} x=a+Pb\\ x=c+Qd\\ \end{Bmatrix}\\ a+Pb=c+Qd\\ a-c=Qd-Pb\\ 令t=\gcd(b,d),则\\ \frac{a-c}{t}=\frac{Qd}{t}-\frac{Pb}{t}\\ \frac{a-c}{t}\equiv Q\frac{d}{t} \pmod{\frac{b}{t}}\\ 问题就转化成\,\,\,ax\equiv b\pmod m 了。\\ 我们求出这个\,\,\,x ,即为\,\,\,Q\,\,\,\\ 代入\,\,\, x=c+Qd \,\,\,即可