■整数の積(その39)

 ところで,中国剰余定理は,連立合同式

  x=c1  (modm1)

  x=c2  (modm2)

  ・・・・・・・・・・・

  x=ck  (modmk)

は積m1m2・・mkを法としてただひとつ解をもつというものである.

 ここで,m1,m2,・・,mkは2つずつ互いに素であると仮定されている.そして

  x=x0+m1x1+m1m2x2+・・・+m1m2・・mk-1xk-1

とおいて,連立合同式を満たすようにx0〜xk-1を定めていく方法であった.

 (その36)において,

→x=59+120x5を5番目の式に代入する.→59+120x5=59=5  (mod6)

 この計算は不要であったが,これは6で割り切れることは2でも3でも割り切れることであり,m1,m2,・・,mkは2つずつ互いに素であることに反しているためである.

===================================