6

素因数小ネタ集

447
0

Advent Math Calendar2022 12/10の記事です。

まえがき

(飛ばして構いません)
iise2xqyzです。Twitter上の名前は頻繁に変わります。
AMC参加者の中では1番弱いと思います。
好きな漫画はギャグ漫画です。多分。

ここには高度な議論や内容は全くないです。できませんでした...
間違い、誤記等あれば、優しく教えてください。

本文

受験数学や競技数学で登場する整数問題を解くときに、さまざまな考え方を用います。
(剰余、不等式評価、素因数、vp(n)、位数、etc...)

今回は、素因数に関する話題を扱おうと思います。

記号の定義

Nは正整数、pは素数とします。

記号説明
d(N)Nの正の約数の個数
ω(N)Nの異なる素因数の個数
Ω(N)Nの重複も含めた素因数の個数
N正整数全体の集合
Z整数全体の集合

素因数の個数

正整数N>1に対して、Nの異なる素因数の個数をω(N)とします。また、ω(1)=0とします。
例えば、ω(256)=ω(28)=1,ω(30)=ω(2×3×5)=3となります。
正整数N>1に対して、Nの重複を含めた素因数の個数をΩ(N)とします。また、Ω(1)=0とします。
例えば、Ω(256)=Ω(28)=8,Ω(30)=Ω(2×3×5)=3となります。

性質

  1. ω(nm)=ω(n)(n,mN)となります。
  2. Ω(nm)=m×Ω(n)(n,mN)となります。
  3. ω(N)は加法的関数です。gcd(a,b)=1となる任意のa,bNに対してω(ab)=ω(a)+ω(b)が成り立ちます。
  4. Ω(N)は完全加法的関数です。任意のa,bNに対してΩ(ab)=Ω(a)+Ω(b)が成り立ちます。
  5. ω(N)log2N(NN)が成立します。

N=1のときは、成立します。
N(2)の素因数分解による表示を考えると、
N=p1e1p2e2...pω(N)eω(N)p1p2...pω(N)2ω(N)により明らかです。

(実は、もう少し厳しい評価ができます。考えてみましょう)
(6) Ω(N)log2N(NN)も成立します。(証明は(4)とほぼ同じです)
(7) ω(anbn)d(n)3(a,b,nN,a>b)が成立します。

nの正の約数のうち、1,2,6を除いたものを小さい順にd1,d2,...,dmとします。
1kmなる任意の正整数kに対して、Zsigmondyの定理により
adkbdkanbnを割り切る
adkbdkの素因数であって、axbx(1xdk1)を割り切らないものが存在する
ため、adkbdkの素因数であって、axbx(1xdk1)を割り切らないものをpkとすると、
p1,p2,...,pmは明らかに相異なるため、ω(anbn)mが成立します。
md(n)3によりω(anbn)d(n)3が成立します。

素因数の形式

素数pについてap1の素因数の形式が限られるというのは、そこそこ有名な話だと思います。そんな感じの話を集めました。

  1. a,pNについて、a1,pが素数のとき、ap1a1の素因数qに対してp=qまたはq1(modp)

ap1(modq)であるとします。このとき、modqにおけるaの位数rは1 or pです。
また、gcd(a,q)1のときはgcd(a,q)=qによりaqの倍数ですが、このときap01(modq)となってしまうのでgcd(a,q)=1です。
このとき、フェルマーの小定理によりaq11(modq)です。

(i)r=1の場合
a1(modq)が成り立ちます。よって、
ap1a1=ap1+ap2+...+a2+a1+1p(modq)によりp=qです。

(ii) r=pの場合
q1pの倍数なのでq1(modp)です。

よって、示せました。

  1. ((1)の系です) a,pN,pが素数のとき、ap1の素因数qに対してa1(modq)又はp=q又はq1(modp)

  2. a,bNについて、ab1の素因数pに対してp0,1(modq)となるbの素因数qが存在するか、a1(modp)

明らかにbが素数の場合、(2)の事実により成立します。

b=n(nN)の場合に成立するならば、b=np(pは素数)の場合にも成立することを示します。
(2)の事実でaanを代入すると、anp1の素因数qについて、
q0,1(modp)
qan1の素因数である

のいずれかが成り立ちます。q0,1(modp)であればpが存在し、
qan1の素因数であれば、仮定からp0,1(modr)となるnの素因数rが存在するか、a1(modp)です。

よって、b=npの場合に示せました。

b=1に対して、適当な素数を選んで掛ける操作を有限回繰り返すことにより、すべての正整数を表現することができるので、元の命題も示せました。

  1. pを素数とします。このときapbp(a>b,gcd(a,b)=1,a,bN)の素因数rに対して
    ab(modr)又はr1(modp)

gcd(a,b)=1によりa0(modr)なので、bax(modr)となる正整数xが存在します。
よって、apbpap(ax)p0(modr)によりxp1(modr)です。
このとき、modrにおけるxの位数dは1 or pです。

(i)d=1のとき
x1(modr)です。よって、ab(modr)です。

(ii)d=pのとき
フェルマーの小定理によりxr11(modr)なので、r1(modp)です。

  1. n,mNについて、nm1(2)mより大きい素因数を持つ。
    ただし、(n,m)=(3,2),(2,6)の場合を除く。

m=1の場合は明らかです。以下m1とします。

(i)m2の場合
(n,m)(2,6)及びZsigmondyの定理により、nm1の素因数であって、nx1(1xm1)を割り切らないものが存在するため、その素因数をpとおきます。
pmと仮定すると、np110(modp)ですが、1p1m1なので、nx1(1xm1)を割り切らないという仮定に反します。
よって、p>mにより示せました。

(ii)m=2の場合
n21が2より大きい素因数を持たないとすれば、n21=2k(kN)となります。
このとき、n1=2a,n+1=2b(a,bは非負整数)とおけるので、2b2a=2となります。
mod4の議論により、b>aと併せてa=0,1なので、それぞれ検証するとn=3のみとなります。
しかし、これは(n,m)=(3,2)の例外なので、示せました。

  1. n,mNについて、nm+12mより大きい素因数を持つ。ただし、以下の場合を除く。
    n=1
    m=1,nは2冪
    (n,m)=(2,3)

Zsigmondyの定理により、n2m1の素因数であって、nx1(1x2m1)を割り切らないものが存在するので、それをpとおきます。
このとき、nm1(modp)によりnm+10(modp)です。
p2mであるとすれば、np11(modp)と併せてpの仮定に反するので、p>2mです。

あとがき

今回のAMC、面白そうと思い、衝動的に参加しました。が、
書く内容がありません。一応テーマだけは決めているのですが、どうしても話が膨らみませんでした。どうしましょうか。
なぜ話が膨らまないか、
それはテーマの範囲が狭いことにありました。そこで、

素因数の個数のおはなし→素因数の種類のおはなし→素因数小ネタ集

というようにテーマを勝手に変更したところ、そこそこの分量の記事が書けそうなので、嬉しくなりました。

さて、私はこのような執筆活動はおそらく初めてなので、

  • 記事の適切な分量
  • 書いていいこと悪いこと

等、一切分かりません。
つまり、必然的に前日までの記事を参考にすることとなるのですが、例えば、分量については、Twitter上の情報や記事を見て、3000~4000文字程度あれば問題はないだろうと判断しました。

12/8,9の記事を見て、言い方は悪いかもしれませんが、こんな緩い内容でも大丈夫ということがわかり、
きっと自分のようなクソ記事でも大丈夫だろうという自信が持てました。本当にありがとうございます。

(是非見てください!!!)
12/8 : (AMCday8)OMCでの登場人物ランキング+他
12/9 : やっと競プロに手を付けたお話(AMC2022 Day 9)

ところで、前日になっても記事が完成しません。締め切りに追われております。やばいですね。

当日になっても記事が完成しません!本当にやばい

証明を水増し増やして、完成まで漕ぎ着けました!

正直、もう少し後の日にしてもよかったのかもな〜と後悔しています。

投稿日:20221210
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

自作問題を作ったり 他作問題を解いたり 再開

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. まえがき
  2. 本文
  3. 記号の定義
  4. 素因数の個数
  5. 素因数の形式
  6. あとがき