『3つの素数』解答


◆東京都 BossF さんからの解答。

【問題1】

ガウス記号を用いる。

まず、定義より a≦[a]<a+1…(1)であることに注意する。

A(n)=[ n
p
]+[n
q
]+[n
r
]-[n
pq
]-[n
qr
]-[n
rp
]+[n
pqr
]

であるから(1)より

n
p
+n
q
+n
r
-n
pq
-n
qr
-n
rs
+n
pqr
+3≦A(n)< n
p
+n
q
+n
r
-n
pq
-n
qr
-n
rs
+n
pqr
+4

∴n→∞ のとき
A(n)→ 1
p
+1
q
+1
r
-1
pq
-1
qr
-1
rp
+1
pqr
…[答]

ところで、ガウス記号って言い方、日本以外でも使ってるのでしょうか?
見たことないような気がします
{と言っても、あんまり知りませんけど(^^;;}


◆東京都 藤本 さんからの解答。

【問題2】

題意より B(n)は

 p≦ n  … (1)

を満たす 正の整数の組(a,b,c)のうち
(0,0,0)を除いた個数である。

ここで (1)の対数をとると

 alogp + blogq+ clogr ≦ logn

と変形できる。
したがって、B(n)を求めるには

 x≧0、y≧0、z≧0
 (logp)x + (logq)y+ (logr)z ≦ logn

を満たす格子点の数を数えればよい。
(表面上の格子点を含む。但し、原点(0、0,0)は除く)

この格子点の数は、nが十分大きいときには 上記の平面で囲まれた立体の体積程度になり、以下のようにあらわせます。

B(n)=
(logn)3
logp・logq・logr
+ 〇((logn)2)

(もう少し厳密には

1
6
( logn
logp
) ( logn
logq
) ( logn
logr
)≦B(n)≦ 1
6
( logn
logp
) ( logn
logq
) ( logn
logr
)

を満たす 定数α、β (α<β) が存在することを証明する必要があります
* α =0、β=2 ぐらいで十分 かな? )

したがって n→∞ のとき
B(n)
(logn)3

6logp・logq・logr

【問題3】

この問題は、多分、冗談でしょう?
答えは、もちろん “1”。
証明は、、、、“素数定理”そのものなんでパスします。
( 少年ガウス(15歳のときでしたっけ)が、予想したもので、証明も 100年以上前(誰か忘れた)になされているものだったと思います)


 『3つの素数』へ

 数学の部屋へもどる