前言
CRT和EX-CRT目的都是为了解决同余的问题,但他们在方法上有着本质的区别,这篇文章主要用数学归纳法来证明EX-CRT。
问题
给你 n n n个 a , m a,m a,m,需要你求出最小的x满足下面的同余式
{ x ≡ a 1 ( m o d m 1 ) x ≡ a 2 ( m o d m 2 ) . . . . . . x ≡ a n ( m o d m n ) \begin{cases}x\equiv a_1(mod\ m_1)\\x\equiv a_2(mod\ m_2)\\......\\x\equiv a_n(mod\ m_n)\end{cases} ⎩⎪⎪⎪⎨⎪⎪⎪⎧x≡a1(mod m1)x≡a2(mod m2)......x≡an(mod m