新発見！素数分布で新定理を発見
- 素数分布で新定理が発見されました！英国出身のジェームズ・メイナード博士と米カリフォルニア大のテレンス・タオ教授が独自に見つけました。
- 新定理を使って計算すると、自然数を600個ごとに区切ると素数が2個含まれる場合があると分かりました。
- 必ずしも2個の素数が含まれるわけではありませんが、600個ごとの区間には無限に2個の素数が含まれる場合が存在します。
- ベストアンサー
素数分布で新発見
先日、素数分布で新発見があったそうですが、新聞記事では簡単な概要しか 書いてありませんでした。もう少し詳しい解説がありましたら教えてください。 素数の間隔で新定理発見 極端な偏りなく分布、米英数学者 http://www.47news.jp/CN/201402/CN2014022601001180.html http://img.47news.jp/47topics/images/sosuu20140227.jpg 新定理は、英国出身でカナダ・モントリオール大のジェームズ・メイナード博士（２６）と、 米カリフォルニア大のテレンス・タオ教授（３８）がそれぞれ独自に見つけた。 例えば、ある素数と次に大きい素数の２個を考える。１９なら次は２３で、１９～２３の ５個の中に２個の素数がある。だが数が大きくなっても、５個の自然数が並んだ中に 素数が２個あるかは分からない。 新定理を使って計算すると、自然数を６００個ごとに区切ると素数が２個含まれる場合が あると分かった。必ず２個あるわけではないが、２個の素数が含まれる６００個ごとの区間は 無限に存在する。
- bougainvillea
- お礼率79% (3331/4175)
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
ちゃんと読んでませんが一応リンクだけ（既にご存知かもしれませんが）． まず問題の論文（の少なくともひとつ）は次です． http://arxiv.org/abs/1402.0811 またTerence Tao教授はブログで数学についてよく書いていて、この件に関連するポストには http://terrytao.wordpress.com/2014/02/07/new-equidistribution-estimates-of-zhang-type-and-bounded-gaps-between-primes-and-a-retrospective/ があります．
関連するQ&A
- 素数の分布について
数Aの問題集をやっていたら参考で載っていたものです。 読んでもわからなかったもので質問させていただきます *－*－*－*－* 素数は無数に存在するが、素数の分布は、自然数が大きくなればなるほど少なくなることが知られている。実際、 １０１！＋２（２の倍数） １０１！＋３（３の倍数） ・・・・・・・ １０１！＋１０１（１０１の倍数） は連続する１００個の合成数で、その間には素数は１個もない。 このようにして任意の戸数の連続する合成数を構成することができる。 *－*－*－*－* なぜ１０１！が出てくるのでしょうか… そして、なぜその次に数を足しているのでしょうか… たぶんこんなこと入試とか関係ないと思うんですけど（ですよね？；）、本当に全く分からず、なんだかもやもやしていてすごく気持ち悪いものですから… 分かる方いましたら、時間があるときでいいので解説お願いします（＾＾；）
- ベストアンサー
- 数学・算数
- １はなぜ素数ではないと決めたのですか？
こんにちは。 素数（そすう）とは、1 とその数自身以外に約数を持たない（つまり1とその数以外のどんな自然数によっても割り切れない）、1 より大きな自然数のことである。 そうですが、なぜ「1 とその数自身以外に約数を持たない」 ものと決めたときに、なぜ１を除外して「１より大きな自然数」と決めたのですか？ １を除外した理由について教えてください。 素数を考える（場合によっては研究）するうえで、１を定義から除外しないとまずくなる決定的な理由あるいは理由を教えてください。 １を素数とすると、存在する数学の定理が成立しなくなるなど、具体的にどんなときなのか教えてください。 お願いいたします。
- ベストアンサー
- 数学・算数
- 素数定理をこのように解釈しても良いか。
素数定理とは、 「大きな自然数ｘが素数である確率は１／（log ｘ）」 という物ですが、これを元に次の事が言えるでしょうか？ １ ２と５を除けば素数は一の位が１，３，７，９の どれかになり、各グループの素数は無限個ある。 ２ 素数が現れる確率は４つのグループそれぞれで 等しい。 直感的にはどちらも正しいような気がしますが いかがでしょうか？ １に関してですが素数が無限個あることの証明は、 非常に簡単です。有限個だとしたらそれらの全ての 積に１を加えたものも素数になってしまうので 素数は、無限個あります。しかし各４つのグループ ごとにある事を証明しようとするとちょっと手が 止まってしまいます。 ２は、完全にお手上げです。素数定理には、 一の位が何であるかで場合分けしていないので まぁ正しいような気がしますが。。。 どなたかご意見お願いします。
- 締切済み
- 数学・算数
- 素数定理では満足できない
π(N)≒N/logN この素数定理、今もって、極めて有名・有意義な式らしいですね。 例えばN=100万のとき、左辺は78,498、右辺は72,382・・・だそうです。結構誤差がありますね。 しかし、この素数定理は、Nがとてつもなく大きくなると、極端に言えば無限大だとすると、「≒」が「＝」となる、と言っているんでしたよね。すばらしい発見です。 が、裏を返せば、無限大まではいかないけどとてつもなく大きなN、例えば10の1億乗までには何個の素数があるかとなると、やはり上式による限りは近似値しか得られません。 そこで質問ですが、いかなる大きさであろうとも、有限の値Nに対し、近似値ではなく正確な個数π(N)を表す式は発見されていないのでしょうか。
- ベストアンサー
- 数学・算数
- 素数は無限に存在する
素数が有限であると仮定し、その最大のものをNとする。 ａ、b、cを自然数とした場合、すべてのａについて Ｎ＋ａ＝b＊cとなるｂ、ｃが存在する。 この式を変形すると Ｎ＝ｂ＊ｃ－ａとなる。 ところがａ＝ｂの場合、ａはＮの約数となり最初の仮定と矛盾する。 よって素数は無数にある。 この証明は正しいのですか？というのはこの矛盾をつくことによって、有限ではない！！って感じがしないんですよね。a=bの時はＮは素数ではない！！っていうのは分かるんですけど、a≠bでちょっと特別の場合（a=1,b=4,c=5など）は成立しちゃうんじゃない！？っていうのもあるし（aの値が変化することによってｂ、ｃの値も変化するだろうし・・・）、Ｎは素数ではないっていう証明をしただけで、「最大の」素数ではないって感じがしないんですよね・・・ こっちの証明は普通に納得するんですが・・・ 定理が成立しないとすると，素数は有限個である．それらの素数をP1,P2,P3,・・・,Pnとする．このとき，Q=(P1P2P3…Pn)+1を考えると， QはP1,P2,P3,・・・,Pnのどれでも割り切れない．したがって， Qを素数の積として表したとき，この積に現れる素数はP1,P2,P3,・・・,Pnのいずれとも異なる． これは矛盾である。したがって定理が証明された． なんかすっきりしなて非常に困ってます。誰か教えてください。お願いします。
- ベストアンサー
- 数学・算数
- 自殺問題
http://www.47news.jp/CN/200907/CN2009072701000750.html http://news.goo.ne.jp/article/yomiuri/nation/20090727-567-OYT1T00063.html 大人も子供も老若男女、自殺者が多いです。自殺者数は先進国ではダントツトップです。一見、平和に見えて、かなり問題のある国だと思いませんか？日本という国。
- ベストアンサー
- その他（社会問題・時事）
- 連発する 「切断された猫の頭部」 事件
北海道留萌市の野球場マウンド付近で切断された猫の頭部が発見されました。 ■ 北海道の野球場にネコの頭部 留萌市 http://www.47news.jp/CN/201406/CN2014061701001458.html ちょうど一月前にも兵庫県丹波市の駐車場で同じく切断された猫の頭部が発見されております。 ■ 兵庫で園児送迎場所に猫の頭 丹波市、切断か http://www.47news.jp/CN/201405/CN2014051501001679.html その他にも昨年の2/13にも香川県高松市で。 ■ 路上に猫の頭部 別の場所で刃物で切断、放置か http://www.47news.jp/news/2013/02/post_20130214115042.html 2012年11月に広島県呉市で。 ■ 広島・呉でまた猫の死骸 ３月以降で９件目 http://www.47news.jp/CN/201211/CN2012111901001851.html この広島県呉市では同年3月から連続して9件発生してます。 これは一体何なんでしょうか。 「切断された猫の頭部」くらいでは通報しないケースの方が多いと思われ、これ以外にも隠れた同様な事件は多数に上ると思われます。遠く離れた地点で連続して（最近では月半ばに）発生してますが、これは最近のある種の流行なのでしょうか？ 若い人の世事にめっきり疎くなったオジイサンに事の真相を教えてください。
- ベストアンサー
- ニュース・時事問題
- 至上最難問の数学がとけた
ゴールドバッハの予想が解けました。確かにゴールドバッハの予想は成り立ちます。証明できました。 これを発表するにはどうしたらいいですか？ いま僕小学校4年何ですけど、フィールズ賞もらえますか？ また新しい定理も発見しました。これを「unko_deruyoの定理」としたいのですが、認められますか？ この定理を使えば一瞬で、nを3以上の自然数としたときに x^n+y^n=z^nを満たす、xyzの整数は存在しないことが証明できます。 詳しく教えて
- ベストアンサー
- 数学・算数
- 素数。御教授下さい。
設問 素数は無限に存在するか？ 証明 縦横11の升目を持つ平方升に、左下から上に順に、1,2,3,~11,次の列も下から上に、12,13,14,~22,という様に、全ての升目を自然数で埋めつくした平方升、表-1に付いて考察してみる。左側の1～11までの縦の列を、エリアA、それ以外の列、12~121までの列をエリアBと呼ぶ事にする。 表―1 11 22 33 44 55 66 77 88 99 110 121 10 21 32 43 54 65 76 87 98 109 120 9 20 31 42 53 64 75 86 97 108 119 8 19 30 41 52 63 74 85 95 107 118 7 18 29 40 51 62 73 84 95 106 117 6 17 28 39 50 61 72 83 94 105 116 5 16 27 38 49 60 71 82 93 104 115 4 15 26 37 48 59 70 81 92 103 114 3 14 25 36 47 58 69 80 91 102 113 2 13 24 35 46 57 68 79 90 101 112 1 12 23 34 45 56 67 78 89 100 111 エリアBに素数があるかどうかを考えて見る。 エリアAに入った奇数（１を除く。）を、全て素数と仮定する。偶数は素数に成れないので最初に、エリアBを3で割って見る。 13/3 = 4 あまり 1 15/3 = 5 あまり 0 17/3 = 5 あまり 2 19/3 = 6 あまり 1 21/3 = 7 あまり 0 23/3 = 7 あまり 2 － － となりエリアBの奇数の2/3が3では割れない事が分かる。次に5で割って見ると 13/5 = 2 あまり 3 15/5 = 3 あまり 0 17/5 = 3 あまり 2 19/5 = 3 あまり 4 21/5 = 4 あまり 1 23/5 = 4 あまり 3 25/5 = 5 あまり 0 27/5 = 5 あまり 2 － － と成りエリアBの奇数の4/5が5では割れない事が分かる。7,9,11で割っても同様に成るので、エリアBに素数として残る個数は、 (121－11)/2×2/3×4/5×6/7×8/9×10/11 = 20.317 と成る。 次にエリアAに1～121を入れ、エリアBに122～14641を入れて同様のことをする。 123/3 = 41 あまり0 125/3 = 41 あまり2 127/3 = 42 あまり1 129/3 = 43 あまり0 131/3 = 43 あまり2 － － と成りエリアBの奇数の2/3が3で割れない事が分かる。5,7,9,～121 で割っても同様に成るので、エリアB に素数として残る個数は、 (14641－121)/2×2/3×4/5×6/7×8/9×10/11 ～ × 120/121 と成る。この分数の掛け算は団塊の世代としては大変なので、第2項から全ての分子から1をマイナスして書いて見ると、(エリアBに素数として1個以上残ればよいので。) (14641－121)/2×1/3×3/5×5/7×7/9×9/11 ～ ×119/121 と成り計算が非常に簡単になる。（以後この数列を使う。） (14641－121)/2×1/121 = 60 と成りエリアBに素数として60個以上ある事が分かる。 次にエリアAに1～14641を入れ、エリアBに14642～214358881を入れと 言う様に同様な操作を何回も繰り返して行った時、必ずそれぞれのエリアBに 素数が1個以上ある（残る）という考え方を積み重ねて、素数が無限に存在すると言う証明方法（？）を考えていますが、以後詰まっていますので証明方法 を、御教授下さい。又この様な確率的（？）な考え方は正しいのでしょうか？ 小生はピタゴラスの定理も忘れましたので、下げて易しく御教授下さい。
- ベストアンサー
- 数学・算数
- cos(有理数*π)=有理数、などについてお尋ね（長文）
先日、「cos(有理数*2π)=有理数となるのはどういったときか」 http://oshiete1.goo.ne.jp/kotaeru.php3?q=2212683 という質問に、親切なご回答を頂きました（感謝です）。 結果だけをまとめますと、 「mとnを互いに素な自然数とする。 cos{(m/n)π}が有理数となる⇔n=1,2,3 sin{(m/n)π}が有理数となる⇔n=1,2,6 tan{(m/n)π}が有理数となる⇔n=1,2」 ここで、新たに疑問が浮かびます。 http://www.iis.it-hiroshima.ac.jp/~ohkawa/math/math_prob_analy.htm の問題177で、 「a(但し、0＜a＜1/4とする。)を有理数とする時、tan(aπ)は無理数である。」 がGaussの整数環がPIDで有る事を使えば、容易に証明出来るとあります。 （僕が考えた証明、多分不備あり。） tan(aπ)が有理数とすると、 tan(aπ)=y/x(x,yは互いに素な自然数)とかける。 Gaussの整数x+iyを考えると、原点との線分がx軸とのなす角度は、 arg(x+iy)=aπ 有理数a=p/qとして、Gaussの整数x+iyをq乗すると、 arg(x+iy)^q=aπ*q=pπ つまり、 (x+iy)^q=実数 http://members.ld.infoseek.co.jp/aozora_m/suuronN/node57.html に書かれていることから、両辺を因数分解すると、単数倍の違いを除いて一意的。 右辺が奇素数を因数に持つとき、上記サイトの定理４０より、 それはガウス素数か、(a+bi)(a-bi)の形になるが、左辺はそれを因数にもたないから不適。 右辺が２を因数に持つとき、上記サイトの定理４０の上のコメントより、 それは単数倍の違いを除いて2=(1+i)(1-i)なので、左辺は、x+iy=1+iなどの場合に限られる。 このとき、0＜a＜1/4では、tan(aπ)=y/x=1に矛盾。証明終わり。 この問題は、aを有理数とするとき、tan(aπ)も有理数であるのは、a=整数or奇数/4と主張しています。 これを使って、Gaussの整数の観点から、cos(aπ)が有理数である条件を求めれないでしょうか？
- 締切済み
- 数学・算数
お礼
回答ありがとうございます。 さすがに原論文は難しい！！ 学部生レベルには無理でした。