孫子の定理（その他表記）Sunzi's theorem

法則の辞典

孫子の定理【Sunzi's theorem】

カタカナで，スンジの定理＊と記してある書物も少なくない．別名を，中国剰余定理＊という．『孫子算経』に記されていたからこの名がある．

m₁，m₂，…，m_r をGCD（m_i，m_j）＝1である整数（または多項式）としr_w，m＝m₁，…，m_j とする．整数あるいは多項式 u の m_i を法とする剰余を u_i とする．m_i と u_i（i＝1，2，…，r）が与えられたとき，

u≡u_i（mod m_i），i＝1，2，…，r

a を満たす u は m を法として一義的に定まる．

出典　朝倉書店