给定同余方程组 {x≡a1( mod b1)x≡a2( mod b2)...x≡an( mod bn)\begin{cases}x\equiv a_1(\bmod b_1)\\x\equiv a_2(\bmod b_2)\\...\\x\equiv a_n(\bmod b_n)\end{cases}⎩⎨⎧x≡a1(modb1)x≡a2(modb2)...x≡an(modbn)
对于任意 i,ji,ji,j 有 {x≡ai( mod bi)x≡aj( mod bj)\begin{cases}x\equiv a_i(\bmod b_i)\\x\equiv a_j(\bmod b_j)\end{cases}{x≡ai(modbi)x≡aj(modbj) 有解能否推断整个同余方程组有解?