(たぶんあるある)整数論舐めプ

昨日までの、35を13でわったあまりの判別方法

証明しようにも証明するべき式がうまく確立できなくてずっとモヤモヤしてた。

今朝さっきトイレに入って、ああそうか両辺を4倍すれば割り算入らないからいけるやん！

ってことにようやく気づいた。


m,nを整数として、
10m+n
って数があったとすると、これを13でわったあまりd1は
mod(10m+n,13)=d1

mod(4n+m,13)=4d2

のd2と等しいので、d1=d2

これを証明すればいい。
たぶんこれでかつる。


modが邪魔なので
勝手な整数L1、L2を用意して

10m+n=13*L1+d1
4n+m=13*L2+4*d2
のd1=d2である(L1=L2とは限らない)

という問題に変換できそう。


2本目の式から
m=13L2+4d2-4n
を1本目の式に代入して
10(13L2+4d2-4n)+n=13L1+d1

130L2+40d2-40n+n=13L1+d1
130L2-13L1+40d2-d1-39n=0

13(10L2-L1-3n)=d1-40d2

もしd1=d2=だったら、
13(10L2-L1-3n)=-13*3d
両辺ともに13の倍数になる


というのはやり方が強引だろうか？？


もしこの証明ができたら、13や7以外の、4とか5とか17とか11とか3とか
必要だったりまったく不要な下位互換だったりの任意の数で割ったあまりの判別方法も
作りだせるんじゃないかって期待してたんだけど
うーん…これだけだとどうなのかなあ？いまいちピンとこない



今日は起きたばっかりでストレスもほとんどなかったから
整数を扱っても頭の端っこがキューっとならなかった。
どうも大学を出てから整数を扱おうとすると時々不調になる。
元々整数論みたいの好きだったと思うんだけどね、
意味もなく3や9で割ったあまりとか計算しまくってたし
でもなんかこう、あらかじめ得意だった分野をあとから学業で学ぶときの僕って
舐めプする癖があるみたいで、そういうのに限ってダメになる傾向があるような気がする

整数論とか確率とか、あるいは英語全般とかね


整数論は特に、「ああ、デジタルね～」って感じで舐めプする人が多いんじゃないかって
数学ガール読んだときに思った