逆ゴールドバッハ予想とは?

このQ&Aのポイント
  • 逆ゴールドバッハ予想とは、13以上の奇素数は2つの合成数の和で表すことができ、かつその2つの数は互いに素であるという予想です。
  • 逆ゴールドバッハ予想の証明または否定証明が求められていますが、現時点では難しいとされています。
  • 奇素数を連なる2つの数の和で表すことができ、その2つの数は互いに素である必要がないということを証明することが重要なポイントです。
回答を見る
  • ベストアンサー

逆ゴールドバッハ予想

仰々しいタイトルをつけてしまいましたが、次の予想を立てました 【逆的なゴールドバッハ予想】 13以上の奇素数は、2つの合成数の和で表すことができる。 また、この2つの数は互いに素である。 13=4+9,29=14+15,59=27+32 この予想は、たぶん合っていると思うのですが… 簡単に証明できる気がするのですが、行き詰まってしまいました。どなたか証明または否定証明できるでしょうか ●1つのヒント すべての奇数2k+1は、2つの連なる数の和k+(k+1)で表すことができる。 したがって、 奇素数=(k-m)+(k+m+1) の形で表すことができる。 このとき、右辺の2項のうち一方は偶数だから、もう一方の数が奇素数である必要はない ということを証明できればよいのですが… ちなみに、参考として2つの数a,kが互いに素(a,k)=1であるとき、(a,a+k)=1となります。

  • www01
  • お礼率0% (0/12)

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

  • ベストアンサー
  • stomachman
  • ベストアンサー率57% (1014/1775)
回答No.5

「逆ゴールドバッハ予想」は (GG1) 13以上の素数は2個の合成数の和で表せる。 (GG2) それら2個の合成数は互いに素である。 ということですね。  しかし、(GG2)は(GG1)から直ちに出ます。(∵ p=a+bであるとき、或る1以上の数rでa,bがどちらも割り切れるならば、pもrで割り切れてしかもr≠pだから、pは素数ではない。)なので、(GG1)だけを証明すれば充分です。  以下、変数は自然数の上だけで考えるものとし、素数の集合をPrと書く事にします。ここで言う合成数とは「0でも1でも素数でもない自然数」のことなので、最小の合成数は4ですね。そこで、(GG1)は次式で表せます。 (GG1)  ∀p((p∈Pr ∧ p≧13) ⇒ ∃a(a∉Pr ∧ a≧4 ∧ (p-a)≧4 ∧ (p-a)∉Pr)) この論理式の中の、∃a(…)の部分の否定を述語H(p)で表すことにすると、   H(p) = (∀a((p-4)≧a≧4 ⇒ (a∈Pr ∨ (p-a)∈Pr))) と書けて、これを使うと(GG1)は (GG1')  ∀p((p∈Pr ∧ p≧13) ⇒ ¬H(p)) とも表せます。 [1] ∀p(p≦7 ⇒ H(p))  なぜなら、p≦7のとき、どんなaも(p-4)≧a≧4を満たさないからです。しかし、これは(GG1)とは関係ないですね。 [2] 以下、p≧8のときについて考えます。  「(p-4)≧a≧4の範囲にある(p-7)通りのaのどれについても、aかp-aの少なくとも一方が素数だ」というのがH(p)の意味するところです。だから、(p-4)≧q≧4を満たす素数qが少なくとも (p-7)/2 個あることが、H(p)が成立つための必要条件です。集合Q(p)を   Q(p) = {q | (p-4)≧q≧4 ∧ q∈Pr} と定義すると、この事は   ∀p(H(p) ⇒ |Q(p)|≧(p-7)/2) と表せます。( )内の対偶をとれば、   ∀p(|Q(p)|<(p-7)/2 ⇒ ¬H(p)) です。( |・| は「集合の要素の個数」のことです。) [3] よく知られているように、2と3以外のどんな素数qについても、 qに対してある自然数nが存在して、q=6n+1かq=6n-1の丁度一方を満たします。  従って、|Q(p)|((p-4)≧q≧4を満たす素数qの個数)は、「(p-5以下の6の倍数)の個数の2倍」よりも多くありません。ですから、   c(p) = (p-5)/3 という関数を使って(8以上の素数にだけ興味があるので)   ∀p((p∈Pr ∧ p≧8) ⇒ c(p)≧|Q(p)|) が言えます。(試しにp≧8の素数を小さい順に調べてみると、   c(11) = 2, Q(11) = {5,7}, |Q(11)|=2   c(13) = 2+(2/3), Q(13) = {5,7}, |Q(13)|=2   c(17) = 4, Q(17) = {5,7,11,13}, |Q(17)|=4 となり、確かにc(p)≧|Q(p)|であることが観察されますね。) [4] 以上から、p≧8のとき、  c(p)<(p-7)/2 であるような素数pはH(p)を満たさないことが分かります。さてこの不等式は、移項して整理すれば   p>11 と等価です。11の次に大きい素数は13だから、これを「p≧8のとき、p≧13であるような素数pはH(p)を満たさない」と書いても同じことで、すなわち   ∀p((p∈Pr ∧ p≧8) ⇒(p≧13⇒ ¬H(p)) が分かりました。これは (GG1')  ∀p((p∈Pr ∧ p≧13) ⇒ ¬H(p)) と同じことです。 かくて「逆ゴールドバッハ予想」は肯定的に解決された。(とか言っちゃって、「ほぼ自明」ですよね。)

www01
質問者

補足

n=2k+3^2の形で考えればいいだけの話でしたね。考え方が参考になったので、この回答をベストにさせていただきます。 みなさまの回答タメになりました。ありがとうございます。P=2^m+3^nの形で表せる素数には、どんな特徴があるのか興味も湧いてきました。

その他の回答 (11)

回答No.1

とりあえず傍証を.13以上1000未満の素数について主張は正しいです. 13 = 4 + 9 17 = 8 + 9 19 = 4 + 15 23 = 8 + 15 29 = 4 + 25 31 = 4 + 27 37 = 4 + 33 41 = 6 + 35 43 = 4 + 39 47 = 8 + 39 53 = 4 + 49 59 = 4 + 55 61 = 4 + 57 67 = 4 + 63 71 = 6 + 65 73 = 4 + 69 79 = 4 + 75 83 = 6 + 77 89 = 4 + 85 97 = 4 + 93 101 = 6 + 95 103 = 4 + 99 107 = 8 + 99 109 = 4 + 105 113 = 8 + 105 127 = 4 + 123 131 = 6 + 125 137 = 4 + 133 139 = 4 + 135 149 = 4 + 145 151 = 4 + 147 157 = 4 + 153 163 = 4 + 159 167 = 6 + 161 173 = 4 + 169 179 = 4 + 175 181 = 4 + 177 191 = 4 + 187 193 = 4 + 189 197 = 8 + 189 199 = 4 + 195 211 = 4 + 207 223 = 4 + 219 227 = 6 + 221 229 = 4 + 225 233 = 8 + 225 239 = 4 + 235 241 = 4 + 237 251 = 4 + 247 257 = 4 + 253 263 = 4 + 259 269 = 4 + 265 271 = 4 + 267 277 = 4 + 273 281 = 6 + 275 283 = 4 + 279 293 = 4 + 289 307 = 4 + 303 311 = 6 + 305 313 = 4 + 309 317 = 8 + 309 331 = 4 + 327 337 = 4 + 333 347 = 4 + 343 349 = 4 + 345 353 = 8 + 345 359 = 4 + 355 367 = 4 + 363 373 = 4 + 369 379 = 4 + 375 383 = 6 + 377 389 = 4 + 385 397 = 4 + 393 401 = 6 + 395 409 = 4 + 405 419 = 4 + 415 421 = 4 + 417 431 = 4 + 427 433 = 4 + 429 439 = 4 + 435 443 = 6 + 437 449 = 4 + 445 457 = 4 + 453 461 = 6 + 455 463 = 4 + 459 467 = 8 + 459 479 = 4 + 475 487 = 4 + 483 491 = 6 + 485 499 = 4 + 495 503 = 6 + 497 509 = 4 + 505 521 = 4 + 517 523 = 4 + 519 541 = 4 + 537 547 = 4 + 543 557 = 4 + 553 563 = 4 + 559 569 = 4 + 565 571 = 4 + 567 577 = 4 + 573 587 = 4 + 583 593 = 4 + 589 599 = 4 + 595 601 = 4 + 597 607 = 4 + 603 613 = 4 + 609 617 = 6 + 611 619 = 4 + 615 631 = 4 + 627 641 = 4 + 637 643 = 4 + 639 647 = 8 + 639 653 = 4 + 649 659 = 4 + 655 661 = 4 + 657 673 = 4 + 669 677 = 6 + 671 683 = 4 + 679 691 = 4 + 687 701 = 4 + 697 709 = 4 + 705 719 = 4 + 715 727 = 4 + 723 733 = 4 + 729 739 = 4 + 735 743 = 6 + 737 751 = 4 + 747 757 = 4 + 753 761 = 6 + 755 769 = 4 + 765 773 = 6 + 767 787 = 4 + 783 797 = 4 + 793 809 = 4 + 805 811 = 4 + 807 821 = 4 + 817 823 = 4 + 819 827 = 8 + 819 829 = 4 + 825 839 = 4 + 835 853 = 4 + 849 857 = 6 + 851 859 = 4 + 855 863 = 8 + 855 877 = 4 + 873 881 = 6 + 875 883 = 4 + 879 887 = 8 + 879 907 = 4 + 903 911 = 6 + 905 919 = 4 + 915 929 = 4 + 925 937 = 4 + 933 941 = 6 + 935 947 = 4 + 943 953 = 4 + 949 967 = 4 + 963 971 = 6 + 965 977 = 4 + 973 983 = 4 + 979 991 = 4 + 987 997 = 4 + 993

関連するQ&A

  • ゴールドバッハ予想のような問題

    ゴールドバッハ予想は、二つの素数の和で全ての偶数を表せるかという問題ですが、二つの素数の和で全ての奇数を表すことができることは証明できるのでしょうか?

  • ゴールドバッハの予想? 素人に難しさを教えてください。

    「2より大きい偶数は2つの奇数で表せる」というのがゴールドバッハの予想ですが、 単純に考えて、素数は奇数の一部ということで、 奇数+奇数=偶数 ↓ 素数+素数=偶数 と、こんな簡単に証明できないのでしょうか? 私は数学が苦手です。 数学者の気持ち(考えているレベル)が知りたいのですが、 上の証明が数学的にダメな点をご指摘ください。 数学の専門家にお聞きしたいです。

  • ゴールドバッハ予想について

    中学2年生です。 中2なりにゴールドバッハ予想について考えてみました。 「4以上の全ての偶数は、二つの素数の和で表すことができる」 とありますが、至極普通のことでは無いのですか? 素数の中で2だけは偶数で、それ以外は全て奇数です。 それを前提とすると普通に解けませんか? 2のみを例外として式を作ると 2m+1+2n+1=2(m+n)+2 例を挙げるとmに1を、nに2を代入してみると、 3+5=8 となります。 8は4以上の偶数ですよね。 そして先程例外としていた2の式を作ると 2+2=4 普通に4。 当たり前のことなんじゃないですか?

  • ゴールドバッハの予想 関連

    ゴールドバッハの予想 関連質問 「2p以上の偶数は、p以上の二つの素数の和で表せるか?」 p=2,3 はゴールドバッハの予想 と同じことだと思います。 p=7 は16=3+13=5+11 となり、表せません。 p=5の場合、60ぐらいまで調べましたが、反例が見つかりませんでした。 満たさなくなる最少の偶数を知りませんか?

  • ゴールドバッハ予想のような問題 2

    「全ての二つの奇数の合成数の和は、二つの素数の和で表すことができる」 この証明をだれか教えていただけないでしょうか。前回はよく考えれば分かる問題を聞いてしまいましたが、今回は本当に悩んでいます。

  • ゴールドバッハの予想に関する質問

    ゴールドバッハの予想に関する質問です. ゴールドバッハの予想: 2n = p + q,  n ≧ 3,  p,q は奇素数です. ● 問1: 奇素数 p,q を p ≦ q として,奇素数 q を,ある値 Q( q = Q )で固定します. この時,2n = p + Q,  p ≦ Q を満たす式の「個数」を計算する計算式は知られていますか? 知られているとすれば,どの様な計算式で「個数」が与えられますか? ● 問2: 2n = p + q の p,q を p ≦ q として,かつ,p < P,  q < P とします. P は,p,q より大きい或る奇素数とします.いま,奇素数 P を或る値に固定した時, P より小さい,すべての奇素数で構成される 2n = p + q の式の全「個数」を計算する計算式は知られていますか? 問1,問2 の一つでも,ご存じの方,教えて下さい.よろしくおねがいします.

  • ゴールドバッハ予想はナンセンスです。

    2より大きな偶数は、2個の素数の和で必ず表せると、ゴールドバッハは予測しました。例えば14は、3+11=7+7と2つの素数の足し算で表現することが出来ます。実際にコンピュータで5×10の17乗の偶数まで成り立つことが証明されています。この事実は、何を意味しているのでしょうか。 偶数は、等しい2つの数に分けることが出来ます。偶数(2Pとする)を2つに等分した(Pとする)一方から、ある数(A)を引き(引いた後をXとする)、他方にその数(A)を足し(足した後をYとする)、XとYが共に素数である様なAが必ず存在すれば、予測は証明されます。 Y=X+2Aと表されます。表を使ってイメージを伝えます。横線の左端を0、右端を2Pとし、中間点をPとします。元々、XとYはP上にあります。Pが素数であれば、XとYを動かさなくても済みます。偶数(2P)=P(素数)+P(素数)と表されます。そうでない場合は、XをAだけ0に近づけなければならず、その分YはAだけ2Pに近づきます。 0からPまでの間には、素数が2から順番に3・5・7・11・13・17・19・23・29(どこまでも続きますが、説明の便宜上10個までとします)と順番に並んでいます。Pから2Pまでには、0からP間にある10個の素数の倍数が並んでいます。そうして、0からP間にある素数の位置にXを置いた場合、Yが0からP間にある10個の素数の倍数位置に来なければ、Yは素数となります。(素数の倍数の位置にYが来ると、Yは素数ではなくなります) Pが、0からP間にある10個の素数である、2から29までのいずれかの素数で割切れる場合は、その位置にXを動かしても無駄です。Yがその素数の倍数になるからです。(PはXの倍数となる。P=X+Aなので、AもXの倍数である。従ってY=X+2AもXの倍数となり、Yは素数ではありません)その場合と、A=X/2の場合以外は、YはXを置いた位置の素数(Rとする)の倍数にはなりません。 そうして、Xを0からP間にある全ての素数上に置いたとき、Yが全ての場合において、0からP間にある素数の倍数の位置に来た時のみ、Yは素数ではあり得なくなります。その時のみ、偶数(2P)を2つの素数(X・Y)で表現することは出来ないと言えます。  偶数(2P)を2つの素数で表現出来ない確率は、偶数(2P)が小さい間は、大変低いと言えます。Xを置くことが出来る位置は、素数の位置のみです。素数10個の例で説明すると、Xを10箇所の位置に置いて見て、その10回全てにおいて、Yはその10個の素数の倍数位置いずれかに来なければなりません。1回でもそれらの倍数の位置に来なければ、XとYは素数となります。Xを置くことが出来る位置は10であるのに対して、Yが来られる位置は非常に沢山あります。しかも、10回中1回でも来る事が出来れば良いのです。  従って、偶数(2P)が小さい内は、2つの素数で表せない確率は大変低いと言えます。しかし、偶数(2P)が大きくなるに従って、0からPまでに現れる素数が多くなって行き、Pから2P間においては、増えた素数の倍数がどんどん除かれて行き、素数は次第にまばらに成って行きます。そして、偶数(2P)が大きくなるに従って、XとYが共に素数となれる確率は、低下して行きます。偶数(2P)が極端に大きくなると、Pから2P間に素数が全く存在しなくなることもあり得ます。その場合、偶数(2P)は決して2つの素数では表せません。 コンピュータで確認出来た範囲は、まだ偶数が小さく2つの素数で表現出来る確率が高かった為そうなっただけです。ゴールドバッハの予測は、言い換えれば、偶数が2つの素数で表せる確率が高い時には、その偶数はその2つの素数で表せると、当たり前の事を言っているだけだったのです。

  • ゴールドバッハの予想が証明出来ました。

    2より大きな偶数は、2個の素数の和で必ず表せると、ゴールドバッハは予測しました。例えば14は、3+11=7+7と2つの素数の足し算で表現することが出来ます。 偶数は、等しい2つの数に分けることが出来ます。偶数(2Pとする)を2つに等分した(Pとする)一方から、ある数(A)を引き(引いた後をXとする)、他方にその数(A)を足し(足した後をYとする)、XとYが共に素数である様なAが必ず存在すれば、予測は証明されます。 Y=X+2Aと表されます。図を使ってイメージを伝えます。横線の左端を0、右端を2Pとし、中間点をPとします。元々、XとYはP上にあります。Pが素数であれば、XとYを動かさなくても済みます。その時、偶数(2P)=P(素数)+P(素数)と表されます。そうでない場合は、XをAだけ0に近づけなければならず、その分YはAだけ2Pに近づきます。 0からPまでの間には、素数が2から順番に3・5・7・11・13・17・19・23・29・・・Nと順番に並んでいます。2Pの位置からP方向に逆向きに2から順番に3・5・7・11・13・17・19・23・29・・R(0からP間に付した素数と区別する為Rとする)と番号を付けます。この2からRまでの位置が、Yの来る位置です。2からRの位置が、0から見て必ず1つは素数の位置であることを、証明すれば良いのです。 簡単にする為に、素数の波と的のイメージで説明します。0から発した2の波と横線が交わる2・4・6・8・・・の位置を、2の波が当たる位置と表します。2PからP間の2からRの位置を、的と表します。波が当たる位置に的があれば、その的を撃つことが出来ると表します。0から出発した2からNの素数の波で、2からRの的全てを、撃つことが出来るでしょうか。 Nの波では、2の的しか撃てません。NとRの間は、2Aで偶数です。N=Rなので、RをNの位置まで移動させると、Nの波は2Pから2AだけP方向に寄った位置に当たります。2Aは偶数なので、偶数の的にしか当たりません。素数の中で、偶数であるのは2のみです。従って、Nの波では、2の的しか撃てません。 また、2の波では2の的しか撃てません。2の波は、N(素数)には当たらず、NとRの間は2Aの偶数なので、Rにも当たりません。Rに当たらない2の波は、2の的に必ず当たり、それ以外の的には当たりません。 Rの的を2とNの波以外の波で、撃たなければなりません。仮に、Rに3の波が当たる様に設定します。すると、3の波は3の的には当たりません。2PからP方向に向けて発した3の波は、3の的を通りRの的には当たりません。ですから、3の波をRの的に当てるように動かすと、もう3の的には当たらなくなります。3の的に、仮に5の波が当たるように設定出来たとします。そうすると、5の波は5の的には当たりません。5の的に、また別の素数の波が当たる様設定出来たとすると、今度は、その番号の素数の的が撃てなくなります。そうして、次々と的を別の番号の波で撃つと、最後に的が1つ残ります。的は2の的以外ですが、波は2とNの波以外だからです。 従って、少なくとも1つの的は撃つことが出来ず、Yは必ず素数であることが可能です。このことより、2より大きな偶数は、2個の素数の和で必ず表せると言えます。

  • 四則の証明

    偶数 + 偶数 = 偶数 偶数 ― 偶数 = 偶数 これらの証明は左辺のそれぞれから2を括りだしてやれば2*(□+△)の形に出来るから右辺は偶数(引き算も同様)とやればできますが、5―3=2で5、3はそれぞれ互いに素ですがその和(差)は(ここでは2です)互いに素になるんでしょうか? つまり a+b=cとした時にaはb互いに素であり また、a、b、cはそれぞれ互いに素なのか?ということです。 a、bが互いに素ならば偶数のときのように括りだすことができないので(1は例外)cは必然的に上記のような関係になりそうな気がするんですが ご協力願います。

  • ゴールドバッハの予想ってこんな証明じゃダメですか?

    ゴールドバッハの予想ってこんな証明じゃダメですか? 2より大きな偶数の一の位の数をx 十の位以上の数をyとし、その二つの数の合計を10y+xとする  2<10y+x<9で、 10y+x=4のとき、2+2 10y+x=6のとき、3+3 10y+x=8のとき、3+5という素数で表すことができる 10≦10y+xで x=0のとき、一の位の素数はなし x=2のとき、一の位の素数は2 x=4のとき、一の位の素数は2+2 x=6のとき、一の位の素数は3+3 x=8のとき、一の位の素数は3+5で表すことができる また、10y=5×2yであり、5×2yは5の倍数である 5の倍数は5という素数だけで表すことができる よって、10y+xはすべて素数で表すことができる つまり、2より大きな偶数はすべて素数で表すことができる 中3の糞餓鬼が本気で解いてみました 専門家の方々、もしご覧になられたなら、回答よろしくお願いいたします