0

相加平均と相乗平均の間にある素数の分散が 10 であるような、和が素数である二つの素数

38
0

問題

それらの相加平均と相乗平均の間にある素数の分散が 10 であるような、和が素数である二つの素数を求めよ。

定式化すると、次のようになる。

p,q,p+qP;V={rP|pq<r<p+q2},n=V,μ=1nrVr,σ2=1nrV(rμ)2=10
ここで P は素数の集合。

解法

もっと効率のいい解きかたがあるかもしれないが。

p,q を限定していく

pqが等しいと V は空集合になってしまうので、pq は等しくない。
ここで q<p と置いても一般性を失わない。
p,q がともに奇素数だとすると、その和は偶数になってしまうので、どちらか一方は偶数でなければならない。
すなわち q=2p は双子素数の小さいほうである。

r の最小値

q=2 を代入すると、V は次のようになる。
V={rP|2p<r<p2+1}.

ところで、V の元は n 個あるが、これを小さいほうから r1,r2,,rn とする。
つまり、p3 に注意すると、
2=22<232p<r1<r2<<rn<p2+1.
したがって、r3 以上の素数である。

n の候補を絞る

n=1,2 を調べる

まず、n=1 では σ2=010 なので、 n2.
n=2 と仮定すると、r1,r2 の平均はそれらの中央にくる、すなわち、それらの平均との差は等しくなる。したがって、その差の 2 乗が分散となるが、10 は平方数でないので、これを満たす r1,r2は存在しない。
すなわち、n3.

n=3 を調べる

n=3と仮定する。
ここで、
S=rVr,D=rVr2,
とすると、分散の定義より、
σ2=Dn{Sn}2,
と書ける。
両辺に n2 を掛けて整理すると、
S2=n(Dnσ2),
となる。

n=3 の場合は、S2=3(D30) となる。
定義から明らかなように SD も自然数であるから、この式が成り立つには S,D ともに 3 を素因子に含まなければならない。
三つの自然数の和と自乗和がともに 3 の倍数ということは、3を法として「三つとも 0 に合同 (この場合、r2,r3は素数になりえないが)」「三つとも 1 に合同」「三つとも 1 に合同」のいずれか、ということである。つまり、r2r1r3r10(mod3) である。また、これらがすべて奇数であることを考えると、r2r1r3r10(mod6) となる。

このような三つの自然数の組み合わせで分散が最小になるものは、差が 6 ごとの三数である。このとき、三数の平均は r2で、r1,r3 との差は 6 であるから、分散は σ2=2623=24 である。
つまり、n=3のときは、Vの分散 σ は整数なら 24 以上になるので、10にはなりえない。
したがって n3

n=4 を調べる

n=4と仮定する。
すると、S2=4(D40) となる。
奇素数の和、あるいは自乗和であるから、S,D はともに偶数である。つまり、s,dを自然数として、S=2s,D=2d と書ける。
すると、s2=2d40=2(d20)となるので、s,dともに 2 を素因子に持たなければならない。
つまり、S,D ともに 4 の倍数である。

四つの ri は、いずれも奇素数であるから、ri1(mod4) もしくは ri1(mod4) である。このとき総和 S4 の倍数になるパターンは、4を法として、「四つとも 1に合同」「四つとも 1 に合同」「二つが 1 に合同で二つが 1 に合同」のいずれかである。
前者二つのパターン、すなわち、4を法として合同な異なる四つ自然数で分散が最小になるのは、差が 4 ごとの四数になる。このとき、四数の平均からの差は 6,2,2,6 となり、分散はσ2=2(22+62)4=20 である。
(しかも、差が 4 ごとの四数は、どれかが 3 の倍数となってしまうので、すべてが奇素数という制限を加えるともっと分散が大きい組合せになってしまう。)
つまり、σ2=10 にはなりえない。

残るは「二つが 1 に合同で二つが 1 に合同」というパターンであるが、これを満たす分散が最小の組合せは、いわゆる四つ子素数 r1,r2=r1+2,r3=r1+6,r4=r1+8 である。このとき、四数の平均からの差は 4,2,2,4 となり、分散はσ2=2(22+42)4=10 である。
「二つが 1 に合同で二つが 1 に合同」というパターンで四つ子素数でない場合は、分散が 10 より大きくなってしまう。

したがって、n=4 ならば ri は四つ子素数である。

n5 を調べる

n=4 を調べたときに示唆されていたが、n5 では σ2>10 である。
まず、n=5 で分散が最小になるのは明らかに V={3,5,7,11,13} であるが、このときの平均μと分散σ2は、
μ=3+5+7+11+135=7.8,σ2=4.82+2.82+0.82+3.22+5.225=13.76>10
となる。つまり、n=5 では σ2>10 である。
n6では n=5 よりも分散が大きくなるので、常にσ2>10 である。

n の候補のまとめ

問題を満たす n=4 のときで、V の要素はいわゆる四つ子素数である。

p,ri の範囲を絞る

A のサイズから p,ri の下界を見つける

まず、pに対して定まる自然数の範囲 A={mZ|2p<m<p+22} を考える。
VA の元のうち素数のものをすべて含む、A の部分集合ということになり、r1A に含まれる最小の素数、r4A に含まれる最大の素数、ということになる。
ここで、
f(x)=x+222x
という関数を考えると、集合の包含関係から次が言える。
f(p)AV=n.
p の増加に対し、AV は単調に増加するわけではないが、f(x)x>2 で単調増加する。よって、ある定数 a (ただしa>2) において f(a)b であれば、すくなくとも a<p でないと f(p)>b にならないと言える。

ところで、i;riA より、A>r4r11=7 であるから、
f(p)>7,
でなければならないが、
f(24.5)=f(722)=49+4472=53284=254=6.25<7,
であるから、p>24.5 でなければならない。
p は素数なので、p29

一方、
r1>2p229=58>49=7,
より、r1>7
(これにより、(r1,r2,r3,r4)=(5,7,11,13) の四つ子素数は解にならないことがわかる。)

ベルトラン・チェビシェフの定理を用いて ri の上界を見つける

ベルトラン・チェビシェフの定理を用い、r1 の範囲を絞っていく。

ベルトラン・チェビシェフの定理

任意の自然数 m に対して、m より大きく 2m 以下の素数が存在する。

r1 は奇素数なので、r112は自然数である。
よって、r112 より大きく r11 より小さい素数が存在することになる。
もし、2pr112 であれば、 r1 より小さいその素数が V に含まれることになってしまうので、2p>r112
これを p について解くと (r11)28<p

一方、ベルトラン・チェビシェフの定理より、r4 より大きく 2r4 より小さい素数も存在する。
もし、2r4p+22 であれば、 r4 より小さいその素数が V に含まれることになってしまうので、2r4=2(r1+8)>p+22
これを p について解くと p<4r1+30
先の結果と合わせると、
(r11)28<p<4r1+30.

もし、(r11)284r1+30 より小さくなければ、そもそもこの式を満たす p は存在しないので、
g(x)=(4x+30)(x1)28,
として、g(x)>0となる条件を調べる。
g(x)=18(x234x239)=18((x17)25282)=18(x(17528))(x(17+528)),
なので、g(x)x=17 で極大値をとる上に凸な関数で、17±528 が二つの 0 点である。
528=5291=2321 であるから、6<17528<539<17+528<40である。
したがって、r1>17+528 だと g(r1)<0 となってしまうため、r139 でなければならない。
r1 は素数なので、r137

p の特定

以上の議論から、r17<r137 を満たす素数であるが、この条件を満たす四つ子素数は (r1,r2,r3,r4)=(11,13,17,19) しか存在しない。
19 の次の素数は 23 であり、V19 が含まれていて、かつ 23 が含まれていないことから、
19<p+22<23,
すなわち、
36<p<44,
となる。これを満たす素数 p は、37,41,43 であるが、双子素数の小さいほう、という条件を満たすのは 41 だけである。

結論と確認

結論

問題の答えの二つの素数とは、241 である。

確認

(p,q)=(41,2),pq=412=82>81=9,9<pq<10,p+q2=432=21.5,V={rP|9<r<21.5}={11,13,17,19},μ=(11+13+17+19)/4=15,σ2=(1115)2+(1315)2+(1715)2+(1915)24=16+4+4+164=10.

投稿日:2024312
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

百姓

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 問題
  2. 解法
  3. p,q を限定していく
  4. r の最小値
  5. n の候補を絞る
  6. p,ri の範囲を絞る
  7. 結論と確認