今天在$xsy$上翻题翻到了一道扩展CRT的题，就顺便重温了下（扩展CRT模板也在里面）
中国剩余定理是用于求一个最小的$x$，满足$xequiv c_i pmod{m_i}$。
正常的$CRT$有一个微小的要求，就是$forall i,j (m_i,m_j)=1$。
在某些情况下，这个式子无法被满足，这个时候就要用扩展$CRT$来求解了。
我们先假设我们只有两条方程要被求解，它们分别是：
$egin{cases} xequiv c_1 pmod{m_1}\xequiv c_2 pmod{m_2}end{cases}$
我们考虑将同余去掉，就变成了：
$egin{cases} x= c_1+m_1k_1\x= c_2+m_2k_2end{cases}$
联立一波，得：
$c_1+m_1k_1=c_2+m_2k_2$
$m_1k_1=(c_2-c_1)+m_2k_2$
若该方程存在解，则有$(m1,m2)|(c_2-c_1)$，否则无解
下面令$d=(m1,m2)$。
我们对等式两边全部除以$d$，得：
$dfrac{m_1}{d}k_1=dfrac{c_2-c_1}{d}+dfrac{m_2}{d}k_2$
经过简单变式，得：
$dfrac{m_1}{d}k_1equiv dfrac{c_2-c_1}{d} pmod{dfrac{m_2}{d}}$
没错，我们成功消掉了$k_2$
我们将$dfrac{m_1}{d}$移项到等式右侧，得：
$k_1 equiv inv(dfrac{m1}{d},dfrac{m_2}{d}) imes dfrac{c_2-c_1}{d} pmod{dfrac{m_2}{d}}$
其中$inv(x,y)$表示模$y意$义下$x$的乘法逆元
重新将该式子变回等式，得：
$k_1 = inv(dfrac{m1}{d},dfrac{m_2}{d}) imes dfrac{c_2-c_1}{d} + ydfrac{m_2}{d}$
该式子已经化简到尽了，考虑重新代入回最初的式子。
将$k_1$代入$x=c_1+m_1k$中，得：
$xequiv inv(dfrac{m1}{d},dfrac{m_2}{d}) imes dfrac{c_2-c_1}{d} imes m1 +c_1 pmod{dfrac{m_1m_2}{d}}$
至此，求两条式子的扩展$CRT$已经讲完了
如果方程有多条怎么办：我们做$n-1$次的两条式子的$CRT$合并就可以了。