中国の剰余定理のソースを表示

'''中国の剰余定理'''（ちゅうごくのじょうよていり、{{lang-en-short|Chinese remainder theorem}}）は、[[中国]]の算術書『[[孫子算経]]』に由来する[[整数]]の[[除法|剰余]]に関する[[定理]]である。あるいは、それを一般化した[[可換環論]]における定理でもある。'''中国人の剰余定理'''（ちゅうごくじんのじょうよていり）、'''孫子の定理'''（そんしのていり）とも呼ばれる。

『孫子算経』には、「3で割ると2余り、5で割ると3余り、7で割ると2余る数は何か」という問題とその解法が書かれている。中国の剰余定理は、この問題を他の整数についても適用できるように一般化したものである。

== 背景 ==
3～5世紀頃成立したといわれている中国の算術書『孫子算経』には、以下のような問題とその解答が書かれている<ref>著者不詳『孫子算経』第26巻下</ref>。

:今有物、不知其数。三・三数之、剰二。五・五数之、剰三。七・七数之、剰二。問物幾何？

:答曰：二十三。

:術曰：『三・三数之、剰二』、置一百四十。『五・五数之、剰三』、置六十三。『七・七数之、剰二』、置三十。并之、得二百三十三。以二百一十減之、即得。凡、三・三数之、剰一、則置七十。五・五数之、剰一、則置二十一。七・七数之、剰一、則置十五。一百六以上、以一百五減之、即得。

日本語では、以下のようになる。

:今物が有るが、その数はわからない。三つずつにして物を数えると<ref>「三で割ると」の意。以下そのように訳す。</ref>、二余る。五で割ると、三余る。七で割ると、二余る。物はいくつあるか？

:答え：二十三。

:解法：三で割ると、二余る数として、百四十と置く。五で割ると、三余る数として、六十三と置く。七で割ると、二余る数として、三十と置く。これらを足し合わせて、二百三十三を得る。これから二百十を引いて、答えを得る。一般に、三つずつにして物を数え、一余ると、その度に七十と置く<ref>「三で割った余りに七十をかける」の意。以下そのように訳す。</ref>。五で割った余りに二十一をかける。七で割った余りに十五をかける。百六以上ならば、百五を引くことで、答えを得る。

<references />

この問題がいつ頃から知られていたかについては定かではない。この問題は、『孫子算経』とともに日本にも伝わり、後[[和算]]の隆盛した江戸時代には、「[[百五減算]]」として知られた。

13世紀、[[南宋]]末の数学家[[秦九韶]]は、一次合同式を[[ユークリッドの互除法]]と同等の方法で解くことで、中国の剰余定理と同等の結果を得ていた。このことは、宣教師によって19世紀のヨーロッパにも伝えられ、[[カール・フリードリヒ・ガウス|ガウス]]の方法と同等のものであることが確かめられた。

"{{lang|en|Chinese remainder theorem}}"という定理の名前は、アメリカの数学者[[レオナード・E・ディクソン]]が、数論の歴史についての著書の中で初めて使ったものとされる。

== 定理 ==
中国の剰余定理の最も基本的な形は次のような形式で述べることができる。

:与えられた二つの整数 ''m'', ''n'' が[[互いに素]]ならば、任意に与えられる整数 ''a'', ''b'' に対し、連立[[合同式]]

::<math>x \equiv a \pmod m,</math>
::<math>x \equiv b \pmod n</math>

:を満たす整数 ''x'' が ''mn'' を[[除法#定義|法]]として一意的に存在する。ここで、『''mn'' を法として一意的に存在する』とは次のような意味である。つまり、ある整数 ''y'' があって、この ''y'' も上の連立合同式の解であるならば、すなわち、

::<math>y \equiv a \pmod m,</math>
::<math>y \equiv b \pmod n</math>

:となるならば、必ず

::<math> x \equiv y \pmod{mn}</math>

:が成立する。

これは明らかに次のように拡張できる。すなわち：

:与えられた ''k'' 個の整数 ''m''<sub>1</sub>, ''m''<sub>2</sub>, ...,''m''<sub>''k''</sub> がどの二つも互いに素ならば、任意に与えられる整数''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., ''a''<sub>''k''</sub> に対し

::<math>\begin{align}
 x &\equiv a_1 \pmod{m_1}, \\
 x &\equiv a_2 \pmod{m_2}, \\
   &\vdots \\
 x &\equiv a_k \pmod{m_k}
\end{align}</math>

:を満たす整数 ''x'' が ''m''<sub>1</sub>''m''<sub>2</sub>&hellip;''m''<sub>''k''</sub> を法として一意的に存在する。

== 計算法 ==
定理により解が存在することは保証されているが、実際に解を計算できるかどうかとは別問題である。ただし、中国の剰余定理の場合は解を計算することも容易であり、その方法も幾つかある。

=== 直接計算による方法 ===
前述の『孫子算経』の問題を考えよう。すなわち、連立合同式

:<math>x \equiv 2 \pmod{3},</math>
:<math>x \equiv 3 \pmod{5},</math>
:<math>x \equiv 2 \pmod{7}</math>

を同時に満たす整数 ''x'' を求めたいのである。まず、1番目の式より ''x'' = 3''j''<sub>1</sub> + 2 (''j''<sub>1</sub> &isin; '''Z''') と表せる。これを2番目の式に代入し、両辺から 2 を引くと、

:3''j''<sub>1</sub> &equiv; 1 (mod 5).

を得る。この式の両辺に 2 をかけると、（左辺）= 6''j''<sub>1</sub> = 5''j''<sub>1</sub> + ''j''<sub>1</sub> &equiv; ''j''<sub>1</sub> (mod 5) である（これは、 '''Z'''/5'''Z''' において 2 が 3 の乗法に関する逆元であることに他ならない。）ので、

:''j''<sub>1</sub> &equiv; 2 (mod 5)

を得る。したがって、''j''<sub>1</sub> = 5''j''<sub>2</sub> + 2 (''j''<sub>2</sub> &isin; '''Z''') と表せ、これにより ''x'' = 15''j''<sub>2</sub> + 8 を得る。更にこれを連立合同式の3番目の式に代入すると、

:15''j''<sub>2</sub> + 8 &equiv; 2 (mod 7)

を得る。この式の両辺から 8 を引き、また 15''j''<sub>2</sub> = 14''j''<sub>2</sub> + ''j''<sub>2</sub> &equiv; ''j''<sub>2</sub> (mod 7) であることに注意すると、

:''j''<sub>2</sub> &equiv; -6 (mod 7).

更にこれは、 -6 &equiv; 1 (mod 7) より

:''j''<sub>2</sub> &equiv; 1 (mod 7)

と書き直せるので、''j''<sub>2</sub> = 7''j''<sub>3</sub> + 1 (''j''<sub>3</sub> &isin; '''Z''') と表せ、これにより ''x'' = 105''j''<sub>3</sub> + 23 を得る。すなわち、

:x &equiv; 23 (mod 105)

が求める解である。この方法は、計算が煩雑なものになるという欠点がある一方、連立合同式の法が互いに素とならない状況、すなわち中国の剰余定理が適用できない場合においても利用できる。

=== ユークリッドの互除法 ===
引き続き『孫子算経』の問題を考える。3 と 5 &times; 7 = 35、 5 と 3 &times; 7 = 21、7 と 3 &times; 5 = 15 はそれぞれ互いに素であるから、[[ユークリッドの互除法#拡張された互除法|拡張されたユークリッドの互除法]]により、 (''m'', ''n'') = (3, 35), (5, 21), (7, 15) それぞれについて、不定方程式

:<math>a m + b n = 1</math>

の整数解（特殊解）が計算できる。具体的には、

:12 &times; 3 + (-1) &times; 35 = 1,
:(-4) &times; 5 + 1 &times; 21 = 1,
:(-2) &times; 7 + 1 &times; 15 = 1

となる。したがって、以下の合同式が成立する：

:<math>\begin{align}
 -35 &\equiv 1 \pmod{3}, \\
 21 &\equiv 1 \pmod{5}, \\
 15 &\equiv 1 \pmod{7}.
\end{align}</math>

すると、-35 &times; 2 + 21 &times; 3 + 15 &times; 2 = 23は、先の連立合同式の一つの解であることが容易に確かめられる。しかも定理により解は 3 &times; 5 &times; 7 = 105 を法として一意的であったから、すべての解は 23 + 105''k'' (''k'' &isin; '''Z''') と表されることもわかる。つまり、これがこの問題の一般解である。また、この方法を一般化させると、中国の剰余定理の一つの証明を得ることができる。

== 定理の一般化 ==
上記の定理は[[整数]]とその剰余に関するものであるが、これを一般の[[環 (数学)|単位元を持つ環]]とその[[イデアル]]に対するものに拡張することができる。すなわち：

''R'' を単位元を持つ環とし、''R'' の両側イデアル ''I''<sub>1</sub>, ''I''<sub>2</sub>, ..., ''I<sub>k</sub>'' がどの二つも互いに素である、ここではより一般化された意味で、すなわち ''i'' &ne; ''j'' ならば ''I<sub>i''</sub> + ''I<sub>j''</sub> = ''R'' が成立する、と仮定する。このとき、任意に与えられた ''a''<sub>1</sub>, ''a''<sub>2</sub>, ...,''a<sub>k''</sub> &isin; ''R'' に対して、

:<math>\begin{align}
 x &= a_1 \pmod{I_1}, \\
 x &= a_2 \pmod{I_2}, \\
   & \vdots \\
 x &= a_k \pmod{I_k}
\end{align}</math>

を満たす ''x'' &isin; ''R'' が、イデアル <math>\textstyle I = \cap_{i=1}^k I_i </math> を法として一意的に存在する。さらに対応
:<math>x + I \leftrightarrow (a_1 + I_1, a_2 + I_2, \ldots , a_k + I_k)</math>
によって、環の同型
:<math>R/I \cong \bigoplus_{i=1}^k R/I_i</math>
が得られる。これも中国の剰余定理と呼ばれる。さらに ''R'' が可換環であるとき、
:<math>I_1 I_2 \cdots I_k \supset \cap_{i=1}^k I_i </math> 
が二つの異なるイデアルが互いに素であることから従う。逆向きの包含は一般に成立するので、
:<math>I_1 I_2 \cdots I_k = \cap_{i=1}^k I_i </math> 
が成立する。''R'' が可換環でないときは、「互いに素」という条件を仮定しても上記の等号は一般には成立しない。

=== 系 ===
* 整数 ''m'', ''n'' を（通常の意味で）互いに素であるとする。[[ユークリッドの互除法|拡張されたユークリッドの互除法]]から ''m'''''Z''' + ''n'''''Z''' = '''Z''' 、すなわちイデアルの意味で互いに素であることがわかり、また逆も成立する。従って、 '''Z'''/''mn'''''Z''' は '''Z'''/''m'''''Z''' &times; '''Z'''/''n'''''Z''' に同型である。
* ''R'' を[[単項イデアル整域]]とする。''u''<sub>1</sub>, ''u''<sub>2</sub>, ...,''u<sub>k</sub>'' &isin; ''R'' がどの二つも互いに素であるとき、''u''=''u''<sub>1</sub>''u''<sub>2</sub>&hellip;''u<sub>k</sub>''とすると、''R''/''uR'' は ''R''/''u''<sub>1</sub>''R'' &times; ''R''/''u''<sub>2</sub>''R'' &times; &hellip; &times; ''R''/''u<sub>k</sub>R'' に同型である。
* ''k'' を代数的閉体とする。多項式 ''f'' (''x'') &isin; k[''x''] の相異なる ''l'' 個の根を ''a<sub>i</sub>'' 、重複度を ''n_i'' とすると、
:<math>k[X]/f(X)k[X] \cong \bigoplus_{i=1}^l k[X]/(X-a_i)^{n_i}k[X].</math>

== 関連項目 ==
* [[RSA暗号]]

== 外部リンク ==
* [http://ctext.org/sunzi-suan-jing/zh 孫子算経（原文）] ([[UTF-8]])
* [http://www2.cc.niigata-u.ac.jp/~takeuchi/tbasic/BackGround/Chinese.html 中国の剰余定理]
* [http://www.rsasecurity.com/japan/content_library/chinese_rt.pdf 中国の剰余定理　解説] ([[Portable Document Format|PDF]]) 

*[http://www.nichinoken.co.jp/column/essay/sansu/2010_m03.html#no07 鬼谷算（きこくさん）]



{{DEFAULTSORT:ちゆうこくのしようよていり}}
[[Category:可換環論]]
[[Category:合同算術]]
[[Category:定理]]
[[Category:数学に関する記事]]