1

大学1年生のときに作った整数問題

107
0

問題

n2を整数として、非負整数Sn,Tnを次で定める。
2n(n+2020)nで割り切れる最大の回数をSnとする。
4n(n+2020)nで割り切れる最大の回数をTnとする。
2S64pT64p=1を満たす素数pは存在するか?

解説

64pで何回割り切れるか?」という問は「2で何回割り切れるか?」という問に変換するのが良さそうです。また、素数が絡んでくるのでFermatの小定理を使うことも想像できます。(数オリをやっていないとあまり馴染みがない定理ですが非常に重要です。)

Fermatの小定理

pを素数,apと互いに素な整数とする。このときap11(modp)が成立する。

また、後で使うことになるので絶対値に関する性質を一つ紹介しておきます。

絶対値の性質

xを実数とする。このとき、[2x]2[x]が成立する。

ある整数nが唯一つ存在してnx<n+1となる。[x]=nである。
nx<n+12のとき
2n2x<2n+1より、[2x]=2n=2[x]
n+12x<1のとき
2n+12x<2n+2より、[2x]=2n+1=2[x]+12[x]

補題2を用いて定理1を使える形にして、定理1でpを絞る方針でいきます。

解答

まず、S64pを求める。2nは素因数2n=64p個持つ。n+2020=64p+2020は素因数22個持つ。よって、2n(n+2020)は素因数264p+2個持つ。また、n=64p=26pは素因数26p個持つので2n(n+2020)n[64p+26p]回割り切れる。
よって、S64p=[64p+26p] となる。同様に、T64p=[264p+26p]となる。
(補題2を用いて定理1を使える形にする。)
2[64p+26p][264p+26p]=1を満たすpを考えたら良い。
このようなpが存在したとする。
2[64p+26p]>[264p+26p]が成立する。補題2で、x=64p+16pとし、次のようになる。
2[64p+26p]>[264p+26p]2[64p+16p]
左の不等号は等式を含まないので[64p+26p][64p+16p]が成立する。
よって、[64p+26p]=kとすると、6pk64p+264p+1<6pkを同時に得る。
したがって、64p+2=6pkすなわち64p+26pの倍数である。
(これで定理1が使えそうな形になった。)
以下、64p+26pの倍数になるpを見つける。
(このようなpが存在したとしても元の条件を満たすとは限らないことに注意※下で補足)
p=2のとき
642+24の倍数ではないが6p=12は4の倍数なので不適である。
p=3のとき
643+21+23(mod9)より643+2は9の倍数ではないが6p=18は9の倍数なので不適である。
p5以上のとき
64p+22,3,pで割り切れたら良い。23で割り切れることは直ぐにわかる。
p2であるからp64は互いに素である。定理1より64p11(modp)である。
よって、64p+264+266である。660(modp)であれば良いから、p=2,3,11
p2,3より、p=11となる。
64p+2pで割り切れるp11だけということが分かった。このp=11が元の条件すなわち、2[6411+266][26411+266]=1を満たすか確かめる。
不等式2[6411+266]>[26411+266]2[6411+166]について、左辺右辺=2である。(左辺右辺=2であることは64p+2pで割り切れることから従うのであった。)
よって、中辺右辺=1かどうかを考えたら良い。
x=6411+166として、6411+1(2)11+165(mod66)より補題2の証明においては②のケースだとわかる。すなわち中辺右辺=1であることがわかる。
よって、p=11のみが問題の条件を満たすことがわかる。
答え.p=11

解答の流れ

※の部分について補足します。
補題2より中辺右辺が成立していて、左辺中辺=1となるpを探すのが目標でした。
そのためには左辺>右辺が成り立ってくれる必要があります。そのようなpを定理1で求めました。(それはp=11だった。)
このとき、左辺右辺=2であることが分かるので中辺右辺=1が成立することを確かめる必要があるわけです。(その判定は補題2の証明中で述べた。)
(もし左辺>右辺が成立しても中辺=右辺ならば左辺中辺=2となって不適です。)

感想

Mathlog使いやすかった!LATEXの文と通常の文が同じ場所で打つ方法を知らなかったので非常に嬉しいです。ちなみにこの問題は自作の中で最も気に入っています。

投稿日:2020116
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

B2 現在代数学(特に環論)を勉強中。 将来は群論やりたいとか思ってます。 気が向いた時に更新していく感じでいきます。

コメント

他の人のコメント

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