内容
105 未満の整数 x について
x を 3 で割ったあまりが a,
x を 5 で割ったあまりが b,
x を 7 で割ったあまりが c と分かっているとき、
x は 70a+21b+15c の値から105未満になるまで105を引き続けることで求められる.
(つまり、70a+21b+15c を 105 で割ったあまりが x ということ)
証明
ある整数 x が、整数 a,b,c について
⎩⎨⎧x≡amod3x≡bmod5x≡cmod7を満たすとき、
70a+21b+15c≡xmod105が成り立つことを証明する。
まず(1)より, 整数 α,β,γ を用いて以下の式が成り立つ:
⎩⎨⎧x=3α+ax=5β+bx=7γ+cゆえに,
⎩⎨⎧a=x−3αb=x−5βc=x−7γ70a+21b+15c の a,b,c に (3) の結果を代入すると,
70a+21b+15c=70(x−3α)+21(x−5β)+15(x−7γ)=70x−210α+21x−105β+15x−105γ=106x−210α−105β−105γ=x+105(x−2α−β−γ)≡xmod105したがって、 (2) は成り立つ. (証明終わり)