• ベストアンサー

x以下の双子素数の個数

素数定理から、x以下の素数の個数π(x)は(xが十分大きければ)、x/logx程度であると考える事ができます。 ここから、x自身が素数である"確率"(確率という言葉は適切ではないですが)は、1/logxと考える事ができます。 この部分には、いろいろな考え方がありますが、 例えば、x以下の自然数を取り出した時に、それが素数である確率は、π(x)/x=1/logxであり、xが十分大きければ、これをx自身が素数である"確率"と考えられるでしょう。 (x,x+2)の組が双子素数である、つまり、xとx+2が同時に素数となる"確率"は、 1/(logx)*(1/(log(x+2))≒1/(logx)^2 と考える事ができます。 すると、これを積分した、 ∫[x:2→x](1/(logx)^2))dx の値でx以下の双子素数の個数と見積もることができます。 と、考えました。ところが、 この積分で1,000,000以下の双子素数を見積もると、およそ950程度となります。(積分値を計算するソフトがないので、大雑把な値です) 一方、1,000,000以下の双子素数の個数は、1224個です。 けっこう大きな差がありますよね。1,000,000という値では小さすぎたのかな、とも思いましたが、ウィキペディアを見てみると、この辺りの話が載っていて、 x以下の双子素数の個数は、上の積分に、2Cをかけたもので見積もっています。 なお、C=Π[p>2](1-1/(p-1)^2)≒0.6601ということだそうです。 実際に、この2Cをかけた値で、1,000,000以下の双子素数の個数を見積もってみると、およそ1250個となって、確かに、実際の値と非常に近い値となって、確かに2Cをかける事に意味はありそうなのですが、 いったい、このCという値はどういう根拠がある数値なのでしょうか? あるいは、∫[x:2→x](1/(logx)^2))dxでx以下の双子素数の個数を見積もった場合、どうして実際の数より小さくなるのでしょうか? なお、厳密な(数学的な)議論である必要はありません。

質問者が選んだベストアンサー

  • ベストアンサー
  • DIGAMMA
  • ベストアンサー率44% (620/1404)
回答No.1

こんにちは、  興味あるテーマなので、考えてみました。  (当方は素人です。あらかじめお断りしておきますね)  任意の2つの数なら「独立事象(って言うんだっけ?)」なので個々の確率の掛け算で合成確率が求まりますが、この場合は、常に2つ離れた数なので、2つの事象に明らかな相関があります。  任意の2つの数の場合より、NとN+2の場合、一方が素数なら、他方も素数である確率はずっと高くなるはずです。(双方とも奇数または偶数であることは明白ですので、それだけでも、奇奇、偶奇、奇偶、偶偶を含む任意の値の組み合わせより優位ですよね、奇奇以外はNGなので、大雑把にいうと1/2と1/4の差ですかね?)  その辺を考慮すると、0.66という数も出てくるかと思いますが、そこまではまだ、私も計算していません。(というか、できない) >なお、厳密な(数学的な)議論である必要はありません。 この一言がなければ、恥ずかしくて回答はしなかったと思いますが、御参考になれば幸いです。 

eatern27
質問者

お礼

ご回答ありがとうございます。 なるほど、確かに、xが素数であるという情報があれば、x+2が素数である"確率"に変化がありそうですね。 xが素数であればx+2が素数である"確率"は高くなりそうですね。その辺りから考えてみたいと思います。 xが素数である時に、x+2が素数である"確率"が2C/logxと考えられるのかもしれませんね。 もう少し考えてみたいと思います。

その他の回答 (1)

  • sunasearch
  • ベストアンサー率35% (632/1788)
回答No.2

二つの事象の同時生起確率は、 P(A∩B)=P(A)×P(B) × P(A∩B)/P(A)P(B)と書けます。 AとBが独立の時には、P(A∩B)/P(A)P(B) = 1となりますが、 No.1さんのおっしゃられるように、今回の場合は互いに独立な事象とはいえないでしょう。 そこで、このP(A∩B)/P(A)P(B)に相当する値を見積もったものが、 2Cに相当するのだと思います。 また、ハーディ・リトルウッド予想と呼ばれているように、予想ですから証明は現在ないのでしょう。 見積もりの根拠はわかりませんが、 Cの式の形から、ある独立事象の積として見積もられている気がします。

eatern27
質問者

お礼

>Cの式の形から、ある独立事象の積として見積もられている気がします。 なるほど、確かにそうですね。 もしかしたら、(1-1/(p-1)^2)の項は、xとx+2が素数pで割り切れない確率に関係しているのかもしれませんね。 とすれば、x以下の素数pで割り切れるか否かを考えればよいので、 C(x)=Π[2<p<x](1-1/(p-1)^2) として、2C(x)をかけた方がよいのだけど、 xが十分大きければC(x)≒lim[x→∞]C(x)=Cと近似できるから、 2Cをかけているのかもしれませんね。 ご回答どうもありがとうございました。

関連するQ&A

  • ∫dx/x(logx)^p の積分について

    ∫dx/x(logx)^p の積分がわかりません。 途中式も一緒に教えてください。 お願いします。

  • 双子素数の無限性について

    以下のような証明を作ってみました。 この問題が数学史上未解決の難問であることは知っているので、必ず どこかが間違っているのでしょうが、自分で作っておいてなんですけど、 どこが間違っているのかすら理解できませんでした。(馬鹿) 誰かどこかが間違っているか、なるべくわかりやすく指摘してもらえない でしょうか? 証明 ある3*10^n乗という数について考える。 双子素数は有限で、この素数以降には双子素数は存在しないものと 仮定する。 数直線上の3*10^n乗の点を0とすると、これ以降の素数の出現は、 +1,+7,+11,+13,+17……のように今までの素数と、1を足した場所で、 素数となる可能性のある点が出現する。 これのうち双子素数となる可能性のある点は、全てどちらかがそれ以 前に登場した2,3,5を除く二つ以上の素数の積でなければならない。 どちらも素数であるとすると、双子素数が存在しないという前提に反する からである。 双子素数のうち一つにつき、その点が何らかの素数の積であるために は、それぞれ異なる素数が二つずつ必要になる。 また、これは3*10^n乗以前に存在した素数でなければならず、2,3,5の 倍数でもない。 そして、一つとして同じ素数を使ったペアは存在しない。 例えば、 3*10^n乗+11がa*bという素数の積であったとき、 3*10^n乗+17がaの積もしくはbの積であることは絶対にない。 こうして6*10^n乗未満の範囲で、3*10^n乗の一つ以前まで全ての素数 を足していくと、双子素数の点を否定するために使う素数は、 あらわれるかもしれない双子素数の総数*2となる。 ではここで双子素数の点を否定するために使える素数の組み合わせに ついて考えてみる。 (1) まず、この範囲内のいずれか一点を否定するには、6*10^n乗までの数に 収まる必要がある。 それよりも一つ上の素数と組み合わせると6*10^n乗を上回ってしまう限界 値をpとする。 この上に存在する素数は全て、このpの範囲内の数との組み合わせでしか 6*10^n乗までの範囲内の素数の積になることはできない。 つまり、この限界値pまでの素数の2倍以上の組み合わせはありえない。 (実際に最小と最大同士を組み合わせていくと一定以上に大きい数にしか ならないので、組み合わせることのできる組数は必ずこれより小さくなる) 母数を2倍した場合、pの1,6倍付近が次の限界値p2となり、やはりそこ までの素数の数*2が組み合わせの最大値である。 (2) いかなる素数を組み合わせても6*10^n乗を上回ってしまう組み合わせ しかなくなり、それがまだ双子素数としてあらわれる可能性のある点の 総数を超えていなければ、必ず双子素数の数は増加する。 言い換えると、 限界値pまでの素数の個数<双子素数としてあらわれる可能性のある点の総数 であると、双子素数は必ず増加する。 (3) これが3*10^n乗で、 限界値pxまでの素数の個数>双子素数としてあらわれる可能性のある点の総数 であった場合、双子素数は増加するとも、増加しないともいえない。 双子素数が有限であることを前提にすると、3*10^n乗以降の双子素数として あらわれる可能性のある点は、全てどちらか一方が素数でないことは確かで ある。 では6*10^n乗以降の場合はどうか? 3*10^n乗の範囲で、a*bで否定された素数を2倍すれば絶対に偶数、つまり 2の倍数になる。 つまり、次の範囲では絶対に同じ組み合わせを使うことができないので、増え た限界値px2の範囲内で、新たに異なる組み合わせを見つけてくる必要がある。 ・11*7 11*89のように一方が同じ組み合わせは使える可能性はある。 そして、同じように、 12*10^n乗 24*10^n乗 と無限に繰り返す。 母数を2倍しても限界値px2までの素数の個数は当然に増加しない。 px2はpの1,6倍程度の位置に存在するからである。 (n<2nの間にならば、最低でも1の素数が含まれているが、この場合組み合わせ として使える素数が増えることも確実ではない) 途中で登場した組み合わせは全て2の倍数になっていくので、同じ組み合わせは 二度と使えない。 従って使える組み合わせは、必ず一定数減り続ける。 そのため、これを無限に繰り返せば、いつか限界値pxまでの素数の組み合わせ では絶対に否定できない点があらわれるはずである。 そこは必ず双子素数となる。 以上により、3*10^n乗以降でも、双子素数は必ず増加する。 これは双子素数が有限であるという前提と矛盾する。 よって、双子素数は無限である。

  • 積分の問題です。a→∞ のとき,∫[1,a](logx)/(x+1)^

    積分の問題です。a→∞ のとき,∫[1,a](logx)/(x+1)^2dx の値を求めよです。分母が(x+1)^3の場合の問題が次にあります。どなたかお願いします。 

  • 至急!高校の数III積分です

    不定積分です。とにかく急いでます。答えまでの解法を教えてください! よろしくお願いします!! (1)∫x(3x-2)^3 dx 答え…1/90(3x-2)^4(6x+1)+C (2)∫x+2/(x-1)^3 dx答え…-(2x+1)/2(x-1)^2+C (3)∫(sin x/2+cos x/2)^2 dx 答え…x-cosx+C (4)∫cos^2 x/2 dx 答え…1/2x+1/2・sinx+C (5)∫sinx・cosx・cos2x dx 答え…-1/16・cos4x+C (6)∫x^2+x+1/x^2+1 dx 答え…x+1/2・log(x^2+1)+C (7)∫x^4/x^2-1 dx 答え…1/3・x^3+x+1/2・log|x-1/x+1|+C (8)∫x^3/x^2-4 dx 答え…1/2・x^2+2log|x^2-4|+C (9)∫(logx)^3 dx 答え…x(logx)^3-3x(logx)^2+6x・logx-6x+C

  • 大学数学

    次の広義積分の値を留数計算を用いて求めよ。 ∫[0,∞](logx)^2/(1+x+x^2)dx すみません。詳しく計算過程よろしくお願い致します。

  • x^xの積分の正式な求め方

    x^xの積分の求め方で、exp(-k)置換積分法(正式にはどういうのかしりませんので私がかってに呼んでるだけですが・・・)で求めたら(x^2) logxになりましたが,どうも置換積分法にたよりすぎている気がします。 これ以外の方法はどういうのがあるでしょうか?webを見ても探しきれませんでした。 頭のリフレッシュということで30年ぶりに数学を再勉強中です。よろしくおねがいします。 A) 置換積分法によるx^x積分 x^x=exp(-k) 以下e(-k) で置換 x=e(-kx^-1), k=-log(x^x)=-xlog(x) なので ∫x^x dx = ∫e(-k) de (-kx^-1)/dk dk = ∫e(-k) (-xde(k)) dk = -∫xe(0) dk = -xk k=-xlog(x) なので ∫x^x dx = (x^2) logx

  • 不定積分

    この不定積分が解けません。 (1)∫5/(2x^2-7x+3)dx (2)∫dx/x(logx)^2 こたえは(1)loglx-3/2x-1l+C (2)-1/logx+Cなんですが わかりませんでした。 わかるかたは教えてくださいませんか?

  • この不定積分を教えてくださいませんか?

    この不定積分を教えてくださいませんか? ∫dx/x(logx)^2 答えは-1/logx+Cなのですが・・・。

  • 整式P'(x)=(x-α)Q(x)の積分

    「P(x)を整式とした時、P'(x)が(x-α)で割り切れれば P(x)={(x-α)^2}q(x)+c となる。(cは定数)」 ことについて 整式P'(x)=(x-α)Q(x) を積分することによっても P(x)={(x-α)^2}q(x)+c となることを導けるはずだと思うのですが、 これがうまくできずに困っております。 P(x)=∫P'(x)dx=∫(x-α)Q(x)dx=1/2{(x-α)^2}Q(x)                  ー∫1/2{(x-α)^2}q(x)dx+c  =・・・・ 2項目「∫1/2{(x-α)^2}q(x)dx」が{(x-α)^2}で割り切れれば解決なのですが、この先どうすればよいでしょうか? よろしくお願い致します。

  • ∬1/√(x^2+y^2)dxdy を求めよ。

    ∬1/√(x^2+y^2)dxdy を求めよ。 積分範囲は、1=<x^2+y^2=<4,x>=1,y>=0 次のようにやってみました。 ∫[1->2]{∫[0->√(4-x^2)]1/√(x^2+y^2)dy}dx =∫[1->2]{log(y+√(y^2+x^2)}[0->√(4-x^2)]dx =∫[1->2]{log(√(4-x^2)+2)-logx)dx となりました。ここからxについての積分ができません。 アドバイスをお願いします。