クイズ&パズル答え

クイズ大陸トップ > Ｑ１９６〜Ｑ２００ > Ａ１９９

Ｑ１９９の答え

下記参照

正解者
heitaさん	iceさん

◆解説◆

この問題を見てすぐに『素数』が思い浮かんだ方、相当な兵ですね。一体なぜ素数なのか？それでは順を追って説明していきましょう。

まずは元ネタからお借りして、「１０までの数を２グループに分ける」ことができるか考えます。「１，２，３，４，５，６，７，８，９，１０」です。
さて、ここで注目すべきは７という数です。２つのグループに分けたとき、そのどちらかには必ず７があります。しかし１から１０までの中に、７の倍数になる数は７しかありません。つまり、７が含まれているグループの積は７の倍数になりますが、もう片方のグループの積は７の倍数にはならないのです。よって２つのグループの積が等しくなることはありません。

次に「１５までの数を２グループに分ける」ことを考えてみましょう。さっきと違う点は、１４（７の倍数）があるということです。７と１４を別々のグループにすれば先ほどの問題は解決すると言えるでしょう。
ところが、今度は１３が曲者。１３という数は素数ですので、７と同じように考えれば、１３×２＝２６までは絶対に２つのグループの積が等しくなることはないと言えます。

以上のことから分かることは何でしょうか。それは・・・
ある数を決めたら、「その数までの最大の素数」×２までに必ず次の素数が出現してしまうということです。言い換えれば、『任意の自然数Ｎに対してＮと２Ｎの間には素数が存在する』ということになります。このことは実は証明されているらしく、チェビシェフの定理と称されているそうです（難しくて私には理解できませんでした）。

この定理を認めることにより、どんな数についても、２つのグループの積が等しくなることはありえないという結論になります。

正直なところ、私がこの問題を作ったときにはこんな定理があるとは露知らず、数が増えるに従って２Ｎまでの差もどんどん広がっていくなぁという予想しかできませんでした。それで、問題文の方にあのような但し書きをさせて頂いたというわけです。浅識な自分にお付き合い下さったことを感謝すると共に、魅力ある数学の世界を知ることができてとても嬉しく思っております。

◆iceさんの解答

もし、このような数の組がつくれたとするならば、それぞれの組に含まれる同じ素因数の数は等しくなければならない。この中で最大の素因数をpとすると、このような数の組を得るために必要な自然数列は少なくともpの2倍の長さが必要になるが、pの定義から「p<x<2p」のような素数xが出現してはならないことになる。
ところが、チェビシェフの定理から、「n<q<2n」となるような素数qが存在する（任意の自然数nについてnより大きく2nより小さな素数が必ず存在する）ことが証明されており、xは必ず存在することになる。
よってこのような数の組は存在しない

◆heitaさんの解答

Q199の答え まず、自然数Ｎまでに存在する最大の素数をＡとする。
「任意の自然数Ｎと2Ｎの間には少なくとも1つの素数ｐが存在する」「素数ｐの次の素数は2ｐより小さい」といった素数の性質上、ＡはＮまでのどの自然数をどの組み合わせでかけ合わせてもできない。
よって、Ａをどちらかのグループに入れると、もう1つのグループではＡと同じ数をかけることができない。したがって、２つのグループの積が一致することはない

なお、別解に通じるものとして、以下のような考え方もあります。参考までに掲載致します。

２つのグループのそれぞれの積をA,Bとおく。A=Bになるためには、A*B=C^2とならなければいけない。つまり、10までで考えるならば、1から10までの全ての積（=3628800）がある数の2乗の形をしてなくてはならない。ところが、3628800の平方根は整数にならない。よって、2つのグループのそれぞれの積が等しくなることはない。

★素数とは何とも不思議な数ですね。でも、多くの研究者が素数の魅力に取りつかれるのも分かる気がします。現在でも数学、ことに素数に関しては未解決問題がいくつもあるようです。その例を以下に挙げてみました。

• 双子素数は無限に存在するのか？
• 4以上の全ての偶数は2つの素数の和で表せるのか？
• フェルマー素数は無限に存在するのか？
• メルセンヌ素数は無限に存在するのか？
• フィボナッチ数列には無限に素数が出現するのか？
• n^2+1の形の素数は無限に存在するのか？
• 全てのnに対し、n^2と(n+1)^2の間に素数が存在するのか？

問題自体は小中学生でも分かるので、一度みなさんも未解決問題にチャレンジしてみてはいかがでしょうか。

落ち着くんだ。素数を数えて落ち着くんだ --- [荒木飛呂彦 / ジョジョの奇妙な冒険]

問題：管理人アレンジ