4
競技数学解説
文献あり

p進付値と特殊な形の素数について

1020
0

はじめに

本記事では整数におけるp進付値と2nk+1型素数を素因数に持つ関数について紹介しようと思います。

目次

1.p進付値の定義及び基本性質
2.p進付値に関する補題
3.補題の使用例
4.x2n+y2n の素因数

進付値の定義及び基本性質

まず、はじめに整数におけるp進付値を定義します。(既にご存じの方は読み飛ばしてもらって構いません。)

整数におけるp進付値

n0でない整数とし、pを素数とする。nを素因数分解したときの素数pにおける指数をvp(n)もしくはordp(n)と書き、p進付値という。(本記事では、vp(n)の書式を採用する。)

p進付値

 v2(8)3,v5(48)0,v7(14)1

npで割り切ることのできる最大の回数とも表現できます。また、knvp(n)とすると、kは整数でpと互いに素であることは良く使うので抑えおきましょう。
 続いて、p進付値の基本的な性質について紹介します。

1.vp(xy)vp(x)+vp(y)
2.vp(x+y)min(vp(x),vp(y))
が成立する。

これらの命題はp進付値を扱う上で基本的なものとなっており、p進付値を有理数やもっと一般な代数体に拡張する際にも引き継ぐ性質です。なお証明は易しいので省略させていただきます。また、1の性質を繰り返し用いることで正の整数nにおいてvp(xn)=nvp(x)が成り立つことがわかります。

補題

ここで本記事のメインテーマである補題について述べます。

冪乗和のp進補題

x,yをそれぞれ0でない整数とし、pを奇素数とする。
vp(x2v2(p1)+y2v2(p1))
2v2(p1)min(vp(x),vp(y))が成立する。

これはxn+yn形のp進付値を評価する定理です。xnynという形で使えるLTEの補題とは主張が大きく異なり、nが素因数に2を十分に多く持っていればxn+ynp進付値がnの倍数になるという点がポイントです。また、この補題を使う際には、p2という条件に注意しましょう。下に証明が続きます。

x=k1pvp(x),y=k2pvp(y)と表示し、n=2v2(p1)とおく。(k1,k2pと互いに素)
また、対称性よりvp(x)vp(y)の場合のみを証明すればよい。
[1] vp(x)>vp(y)のとき
vp(xn+yn)
=nvp(y)+vp((k1pvp(x)vp(y))n+k2n)
(k1pvp(x)vp(y))n+k2n k2n0(modp)であるからvp((k1pvp(x)vp(y))n+k2n)=0
すなわちvp(xn+yn)=nvp(y)
[2]vp(x)=vp(y)のとき
nvp(y) vp(xn+yn)
=nvp(y)+vp(k1n+k2n)
nvp(y)+vp(k1n+k2n)+vp(i=1p1n(1)i1k1p1nik2n(i1))
=nvp(y)+vp(k1p1+k2p1)
フェルマーの小定理より、k1p1+k2p120(modp)であるから
vp(k1p1+k2p1)=0
よってvp(xn+yn)=nvp(y) 証明終

x,y,zをそれぞれ0でない整数とし、p3k+1型素数とする。
(xyzpvp(xyz))p131(modp)
vp(xp13+yp13+zp13)=p13min(vp(x),vp(y),vp(z))

使用条件が限られていますが、このように3つの冪乗和についても公式が作れます。

x=k1pvp(x),y=k2pvp(y),z=k3pvp(z)と表示し、n=p13とおく。(k1,k2,k3pと互いに素)
また、対称性よりvp(x)vp(y)vp(z)の場合のみを証明すればよい。
nvp(z)vp(xn+yn+zn)
=nvp(z)+vp((k1pvp(x)vp(z))n+(k2pvp(y)vp(z))n+k3n)
nvp(z)+vp((k1pvp(x)vp(z))n+(k2pvp(y)vp(z))n+k3n)+vp((k1pvp(x)vp(z))2n+vp(k2pvp(y)vp(z))2n+k32n(k1pvp(x)vp(z)k2pvp(y)vp(z))n(k2pvp(y)vp(z)k3)n(k3k1pvp(x)vp(z))n)
=nvp(z)+vp((k1pvp(x)vp(z))3n+(k2pvp(y)vp(z))3n+k33n3(k1pvp(x)vp(z)k2pvp(y)vp(z)k3)n)
[1] vp(y)>vp(z)のとき
フェルマーの小定理より(k1pvp(x)vp(z))3n+(k2pvp(y)vp(z))3n+k33n3(k1pvp(x)vp(z)k2pvp(y)vp(z)k3)nk33n10(modp)
[2] vp(x)>vp(y)=vp(z)のとき
フェルマーの小定理より(k1pvp(x)vp(z))3n+(k2pvp(y)vp(z))3n+k33n3(k1pvp(x)vp(z)k2pvp(y)vp(z)k3)n(k2pvp(y)vp(z))3n+k33n20(modp)
[3] vp(x)=vp(y)=vp(z)のとき
(k1k2k3)n(xyzpvp(xyz))n1(modp)より(k1pvp(x)vp(z))3n+(k2pvp(y)vp(z))3n+k33n3(k1pvp(x)vp(z)k2pvp(y)vp(z)k3)n3(1(k1k2k3)n)0 (modp)
よって[1],[2],[3]の全てにおいて(k1pvp(x)vp(z))3n+(k2pvp(y)vp(z))3n+k33n3(k1pvp(x)vp(z)k2pvp(y)vp(z)k3)n0(modp)なので
vp((k1pvp(x)vp(z))3n+(k2pvp(y)vp(z))3n+k33n3(k1pvp(x)vp(z)k2pvp(y)vp(z)k3)n)=0
ゆえに、vp(xn+yn+zn)=nvp(z) 証明終

補題の使用例

(自作)

x26y2=2023の有理数解(x,y)をすべて求めよ。

有理数解を求める問題では合同式では不十分なこともあり、今回はp進付値に注目して解いていきます。まず先程紹介した補題が使える形に方程式を変形しましょう。
解答

x26y2=2023x2+y2=7(y2+172)
x=0またはy=0のとき、個別に調べることで解を持たないことがわかるのでx0,y0である。よって、0でない整数a,b,c,dを用いてx=ba,y=dcとおける。x2+y2=7(y2+172)
(bc)2+(ad)2=7((ad)2+(7ac)2)・・・①
p=7とし、補題2を用いることでv7(x2+y2)=2min(v7(x),v7(y))となり、①の左辺の7での付値は偶数、右辺の付値は奇数であることがわかり、付値の不一致より解なし。

x2n+y2nの素因数

先程の補題を使ってx2n+y2nの素因数について考察していきます。

x,yをそれぞれ0でない整数とし、nを正の整数とする。
xyが互いに素であるとき、2を除く素数px2n+y2nの素因数ならばp2n+1k+1型素数である。
x=y=1の場合を除いてx2n+y2n2n+1k+1型素数を最低1つ素因数に持つ。

2を除くv2(p1)nである素数pにおいて、補題2よりvp(x2v2(p1)+y2v2(p1))
2v2(p1)min(vp(x),vp(y))が成り立つ。xyは互いに素であるのでvp(x)vp(y)の少なくともどちらかは0でありvp(x2v2(p1)+y2v2(p1))0となる。
よってx2n+y2nの素因数は22n+1k+1型素数に限られる。
xyが互いに素な場合のみ証明すれば十分である。x2n+y2n1,20であるからx2n+y2n22を高々1つしか素因数に持たない。一方x2n+y2n221+121=5であるから、2以外の素因数すなわち2n+1k+1型素数を持つ。証明終

定理4の副産物として次の系があります。

nを正の整数とする。
2nk+1型素数は無限個存在する。

互いに素な正の整数a,bに対して、ax+b型素数が無限個あることは知られていますが、証明は解析的な道具を用いた高度なものとなります。今回は特にa=2n,b=1の場合について定理3を用いて初等的な証明を与えます。

2n+1k+1型素数は2nk+1型素数でもあるので、2n+1k+1型素数の無限性を証明すれば十分である。
Nを正の整数とし、pを任意の2N+1k+1型素数とする。(2N+1k+1型素数の存在については定理3から明らか。)正の整数nに対して、数列{an}をa1=p ,an+1= (i=1nai)2N+1として定めると、任意の相異なる2つの項は互いに素である。また補題2よりすべての項は2N+1k+1型素数を素因数に含むので、2N+1k+1型素数をいくらで多く生成でき、無限個あることがわかる。証明終

フェルマーの最終定理(n=4)

x,y,zをそれぞれ0でない整数とする。
x4+y4=z2 を満たす(x,y,z) の組は存在しない。

かの有名なフェルマーの最終定理です。n=4の場合では、z4乗ではなく2 乗まで強めることができます。証明は無限降下法を使うやり方が有名で、調べれば沢山出てくると思うので今回は省略させていただきます。

x,yをそれぞれ0でない整数とし、n2以上の整数とする。
xyの偶奇が不一致なとき、v2(vp(x2n+y2n))=0となるような2n+1k+1型素数pが存在する。

これが本記事での最終的な結論となります。証明自体は補題2,5からすぐに従います。

まず、x2n+y2nは明らかに奇数であり、2を素因数に持たないので、補題2より、2n+1k+1型ではない素数はx2n+y2nを最大で偶数回割り切る。
また、補題5よりx2n+y2nを最大で奇数回割り切るような素数pが存在し、それは2n+1k+1型素数となる。証明終

x,yをそれぞれ0でない整数とし、n2以上の整数とする。
xyが互いに素であるとき,x2n+y2n は平方因子を持たない。

この予想はどうやら未解決問題のようです。定理6の結果とは相反しておらず、十分に成り立ちうるものだと考えています。

終わりに

本記事では整数のp進付値に注目し、特殊な素数について考察していきました。進展があったら続きを書こうと思います。ここまで読んでくださった方、ありがとうございました。

参考文献

投稿日:2024329
更新日:2024426
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

高3 整数論が好きです

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. $p$進付値の定義及び基本性質
  3. 補題
  4. 補題の使用例
  5. $ x^{2^{n}} + y^{2^{n}}$の素因数
  6. 終わりに
  7. 参考文献