top of page

0404中国剰余定理の証明

これは質問の多かったところでもあります。特に存在性の証明については

何人かから質問がありました。


存在性の証明:なぜ「パーツ」は必ず作れるのか?

私たちがやりたいのは、以下の2つの条件を同時に満たす数字 x を見つけることです。

  • x を m で割ると a 余る

  • x を n で割ると b 余る (※前提として、m と n は「互いに素」という、共通の約数を持たない関係だとします)

1. 準備:魔法の等式

数学には、**「m と n が互いに素なら、mp + nq = 1 となる整数 p, q が必ず見つかる」**という超強力なルールがあります。これが、パーツを作るための「種」になります。

2. 実際にパーツを組み立てる

魔法の等式 mp + nq = 1 を、少しだけ形を変えてみましょう。 nq = 1 - mp

この式を、「m で割ったとき」と「n で割ったとき」で考えてみます。

  • m で割ると?: 右側が「1 - (mの倍数)」の形なので、余りは 1 になります。

  • n で割ると?: 左側が「nq」つまり n の倍数そのものなので、割り切れて余りは 0 です。

ほら!これで**「n の倍数なのに、m で割ると 1 余る特殊な数」が完成しました。これをパーツ1**と呼びましょう。

同じようにして、「m の倍数なのに、n で割ると 1 余る特殊な数(mp)」も作れます。これをパーツ2と呼びます。

3. 合体!

あとは、出したい余り(a と b)をそれぞれのパーツに掛け算して合体させるだけです。 x = (a × パーツ1) + (b × パーツ2)

これが答えの数字になります。本当になっているか、確かめてみましょう。

  • m で割ったとき パーツ2は「m の倍数」なので、何倍しても m で割り切れて消えます。 パーツ1は「m で割ると 1 余る数」だったので、それを a 倍した全体では、余りは a になります。

  • n で割ったとき パーツ1は「n の倍数」なので、何倍しても n で割り切れて消えます。 パーツ2は「n で割ると 1 余る数」だったので、それを b 倍した全体では、余りは b になります。

結論

  1. どんな数字 m, n でも、mp + nq = 1 という式が作れる。

  2. そこから「片方で割り切れて、もう片方で 1 余るパーツ」が必ず作れる。

  3. そのパーツを組み合わせれば、どんな余りの条件でも満たす数 x が必ず存在すると言える。

これが「存在性」の証明の正体です。

 
 
 

最新記事

すべて表示
0523 最後の問題 P24 10 別解

(((a=625m a-1=16nまでは同じです。))) 以下合同式は16を法として 625≡1より、 a≡625m≡m すなわち、a-1≡m-1 となるので、a-1≡0となるのは、m≡1の時である。 したがって、m=16k+1(kは0以上の整数)とおける 3<=a<=9999の範囲であるから、k=0すなわちm=1の時にもみ条件を満たす。従って求めるaは625

 
 
 
1500の約数のうち20の倍数でないものの総和は?

先日思いつきで作ったこの問題、私のとった解法①は、1500の約数のうち、「因数4を含まないものの総和」と、「因数5を含まないものの総和」の和から、「因数4も因数5も含まないものの総和」を引く、という手法でした。 一般的には、解法②「1500の約数全体の総和」から「1500の約数のうち、20の倍数であるものを引く」という発想になると思います。こちらの方がわかりやすいのだとは思うのですが、なぜ私は上記

 
 
 
0411の一橋2021の問題

1020の素因数に17も含まれるのですが、という質問がありました。 1000に含まれる素因数は2と5のみです。 その次に1020を選んだ理由は、2,5,以外に3が含まれるからです。 少なくとも2と5と3と互いに素なものを探して数を絞ることが 目的だったので、他の素数はあまり関係ありません。 つぎに1050を引っ張り出してきたのも、2,3,5の次に小さい素数が 7で、2,3,5,7の公倍数のうち、1

 
 
 

コメント


bottom of page