为什么不会 c1=a1c_1=a_1c1=a1，c2=b2c_2=b_2c2=b2，c3=a3c_3=a_3c3=a3，而是一定存在一个 i，使得 j∈[1,i),cj=ajj \in [1,i),c_j=a_jj∈[1,i),cj=aj，同时 k∈[i,n],ck=bkk\in [i,n],c_k=b_kk∈[i,n],ck=bk呢
