1

整数 (2) 余りをゆるす除法

17
0

 こんにちは,龍孫江です.「はじめての可換環」第2回の問題はこちらです.

整数 (2) 余りをゆるす除法

25から25までの整数を,7で割った余りによって分類せよ.

 余りを覚えたての小学生に出すような問題で恐縮ですが,もちろん真面目な問題です.今回のテーマは "余り" とは何か? です.

 この問題の半分では迷うことは少ないでしょう.半分というのは非負整数,すなわち0以上25以下の部分です.この部分をまず解いておくと,次のように 7 つに分類されます.

  • 余り 0  0, 7, 14, 21
  • 余り 1  1, 8, 15, 22
  • 余り 2  2, 9, 16, 23
  • 余り 3  3, 10, 17, 24
  • 余り 4  4, 11, 18, 25
  • 余り 5  5, 12, 19
  • 余り 6  6, 13, 20

 さて,残った部分の解答をと考えるとき,はたと思うのです.負の整数を割ったときの "余り" とは何なのでしょう?これが今回の課題です.負の数を割ったときの "余り" が(非負整数の場合と整合するように)定義できれば,整数を整数で割った余りの定義が見えてくるはずです.

 一部に対して定義されている概念を拡張したいとき,まずするべきは既にある定義を精査することです.0から6までの整数は,それ自身を7で割った余りだと考えます.しばしば割り算の例えとして引かれる「何個かのものを何人かの人に(均等に)配る」という状況を考えると,6個以下しかないものは7人に1個ずつすら均等には配れず,配る人の手元にまるまる余りとして残ります.7個以上になると1個ずつ配れて,配りきれなかったものが残ります.もとの数が大きくなればなるほど配る回数も増え,配りきれなかった7個未満のものが余りとして残ります.つまり,非負整数 x7 で割った余りを求める手続きを整理すると

  1. x0:=x とおく;
  2. xt7 ならば xt+1:=xt7 とおく;
  3. xt<7 となったとき,xtx7 で割った余りである.

となります.平たく言えば,7を引けるだけ引いて残ったものを余りとするわけですね.

 この手続きを踏まえて,負の数に対しても余りを定めましょう.今回の範囲でもっとも小さな数25を考えると,これ自身は7で割った余りと認めにくいですね.おそらく絶対値が7より大きいからでしょう.負の数であっても均等に配れる分は配ってしまいましょう.つまり,負の数の場合には「7を引く」という手続きを「7を足す」に変えれば良さそうです.7を何度か足して

2518114

となりました.他のどの数から始めても,いずれ6から0のどれかにたどり着きます.
 絶対値が7より小さくなったところで「終わった終わった」と放り投げてしまいたいのはやまやまなのですが(ぼくはとりわけ飽き性でいい加減なのです),そうも行かないのは正整数の場合との整合性をとるという課題が残っているからです.何しろ上の系列を

25181143

ともう一歩すすめると3が出てきて,再び絶対値が7より小さい整数が出てきました.このどちらを余りとしましょうか.

 ここまで煽っておいて何なのですが,ひとつの解決策は「決めなくても良いと開き直る」です.「257で割った余りは3であり4でもある」と約束してしまえば,それはそれで話はできます.ただしその場合,たとえば17で割った余りとして,1自身の他に6=17を認めなければならないでしょう.これはこれで,いささか嫌な感じです.

 さて,どうしましょうか.個人的には,整数の話のうちは凛とした態度で臨みたいと思います.既に少し感じていますが「どっちでもよい」としてしまうと(きちんと話せば困らないとはいえ)ややこしいのです.例えば「257 で割った余りは 4 であり,107 で割った余りは 3 であり,きちんと考えれば両者は(ズレを無視すれば)等しい」などという主張は成立しますが,あまり気は乗りません.できれば余りは紛れなくバチッと決まってほしいものです.
 とはいえ,話をより複雑な場合に展開するうち,ここで拘っている「余りの一意性」は諦めざるを得ない状況に追い込まれるわけですが,可能性を追求する姿勢は大事です.

 そこで,"余り" の条件をもう少し強めてみましょう.つまり,ここまでの基準としていた「絶対値が7未満である」を「0以上7未満である」と置き換えてみます.つまり,257で割った余りを求めたいときには

25181143

と,正の数になるまで7を足し続けると決めてしまうわけです.

 今回の紆余曲折をまとめると,次の定理が得られます.これは整数の話をする上での基本原理ともいうべき定理なので,これからもまた折に触れて思い出すことになるでしょう.

除法の原理

正整数z>0を固定する.任意の整数xに対し

x=qz+r かつ 0r<z

を充たす整数 q, r一意的に存在する.この r を,xz で割った余り剰余)という.

 では,問題を解決しましょう.余りの意味が決まれば,あとは手続きに従うだけです.

  • 余り 0  21, 14, 7, 0, 7, 14, 21
  • 余り 1  20, 13, 6, 1, 8, 15, 22
  • 余り 2  19, 12, 5, 2, 9, 16, 23
  • 余り 3  2518, 11, 4, 3, 10, 17, 24
  • 余り 4  24, 17, 10, 3, 4, 11, 18, 25
  • 余り 5  23, 16, 9, 2, 5, 12, 19
  • 余り 6  22, 15, 8, 1, 6, 13, 20

投稿日:2022123
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

龍孫江
龍孫江
132
16239
代数学(群論・環論・体論)の問題を解説するYouTubeチャンネル「龍孫江の数学日誌」を運営しております(リンクからどうぞ).YouTubeでは扱いきれないまとまった記事を書いていきたいと思います.どうぞご贔屓に.

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中