3

n^16-n^4を割り切る数

127
0

問題 ~今回は比較的軽い出題です~

 n16n40(mod21624)を示せ。
本問は UC Berkeley Preliminary Exam (Spring 1990, Problem 16)で出題されたものの拡張になっている。とはいえ、作問時(高校2年生当時)にはそんなことを知らず、つい数日前に先行研究(?)を発見した次第である。

解答 ~フェルマーさんに多大なる感謝を~

 フェルマーの小定理より、任意のnNに対してnpn0(modp)が成り立つ(ただしpは素数)。
n16n4=(n5n)(n11+n7+n3)=(n7n)(n9+n3)=(n13n)n3
であるから、n16n40(mod5713)となる。
 また、任意のmNに対して(2m)4=24m40(mod24)かつ(2m+1)4=24m2(m+1)2+23m(m+1)+11(mod24)なので(連続2整数の積は2の倍数)、
n=2mのときn16n4=((2m)4)4(2m)4040=0(mod24)
n=2m+1のときn16n4=((2m+1)4)4(2m+1)4141=0(mod24)
であり、結局任意のnNに対してn16n40(mod24)とわかる。
 mod24の場合と同様に考えるとn16n40(mod32)も判明するので、ここまでの議論を統合してn16n40(mod24325713)となる。24325713=65520=21624であるから示された。

あとがき ~別名:考察の丸投げ~

 a,bN,a>bとし、f(n)=nanbと定める。また、任意のnNに対してf(n)0(modf(2))となるような(a,b)の集合をXとする。このとき、Xの要素にはどんな法則性があるだろうか。
 具体的に要素を列挙すると、(2,1),(3,1),(4,2),(5,1),(5,3),(6,2),(7,3),(8,2),(8,4),(9,3),(14,2),(15,3),(16,4)がある。つまり、上の問題は筆者の知っている(a,b)の組の中で最大のものである。この13個以外にXの要素が存在するかどうか、筆者は無いと予想しているが、未だ解決していない。誰か心優しいお方が現れて、解決策を提示してくださることを期待する。

 追記(2022/05/02): kkkaaa さんが上記の予想を証明してくださいました。8ヶ月前に。更新が遅れてしまい申し訳ございません……。証明は こちら から読めます。
投稿日:2021331
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

匿(Tock)
匿(Tock)
201
28715
主に初等幾何・レムニスケート。時々偏差値・多重根号。 「たとえ作曲家が忘れ去られた日であっても、彼の旋律が街並みを縫って美しく流れていますように。」

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 問題 ~今回は比較的軽い出題です~
  2. 解答 ~フェルマーさんに多大なる感謝を~
  3. あとがき ~別名:考察の丸投げ~