こんにちは。管理人のpencilです。
今日は問題ではなく雑談ということにしてみます。随分と久し振りな雑談回ですね。これまで60記事余りを投稿してきましたが、そのほとんどが整数の問題演習となっており、当サイトが異様なサイトであることがお分かり頂けると思います(笑)。
本稿では新たに追加した整数第４章について少しお話ししようと思います。どうぞお付き合いください･･･。
整数第４章はご覧の通り大学受験数学を超えた内容を扱っています。特に目立つのは未解決問題の数々ではないでしょうか。未解決問題って何ぞ？という方向けに少し解説しておきましょう。
未解決問題とは文字通り、提案されていますが未だに誰も解決できていない問題を指しています。数学に限らず物理学や化学など様々な分野に未解決問題が存在し、なぜそれが成り立つのか、起き得るのか、または成り立たないのか、起きえないのかについて分かっていない事柄が未だに多く残されています。
その中で数学、特に数論分野の未解決問題は命題が分かりやすいにも関わらず誰にも解かれていないものが多く存在しています。例えばフェルマーの最終定理は350年以上の間誰にも解かれることがありませんでした。フェルマーの最終定理とは以下のようなものです。
「
問題文の意味だけであれば中学生でも理解することができますが、350年も未解決であったことから分かるように、これを証明するのは容易ではありませんでした。その証明には非常に高度な理論や手法が多用されており、専門分野が異なる数学者にとっても理解が難しいものになっています。この命題を後代に遺したピエール・ド・フェルマー(Pierre de Fermat(1607～1665))はフランスの弁護士で、数学は仕事の合間に余暇として研究したという人です。整数論の先駆的な研究や確率論の創始など、数学における彼の業績は顕著であり、特に整数論の研究に関してはほとんど全てが独力によるもので、フェルマーの研究成果により西洋における数論は100年進んだと言われているほどす。
彼は古代ギリシャの数学者であるディオファントスの著した「算術」という数学書で独学により整数論の研究を行い、その際、彼はその算術に48個の注釈を書き残しました。後の数学者の努力により、彼の残した他の書き込みに対してはほぼ全て真か偽かの決着が付けられましたが、この予想だけは誰にも証明できず最後まで残ってしまいました。これはそのため「フェルマーの最終予想」と呼ばれるようになり、プロアマを問わず、多くの数学者がその証明に挑んできた問題です。
フェルマーはこの問題を書き込んだときの注釈は以下のようなものでした。
立方数を2つの立方数の和に分けることはできない。4乗数を2つの4乗数の和に分けることはできない。一般に、冪（べき）が2より大きいとき、その冪乗数を2つの冪乗数の和に分けることはできない。この定理に関して、私は真に驚くべき証明を見つけたが、この余白はそれを書くには狭すぎる。
（Wikipwdia「ピエール・ド・フェルマー」より引用）
これは非常に有名なフレーズなのでご存知の方も多いのではないでしょうか。これを示したワイルズの方法は代数幾何や代数的整数論の諸定理を用いた非常に高度な証明ですので、現在ではフェルマーが実際に証明に成功していたとは考えられていませんが、なかなかロマンを掻き立てる文句だと思いませんか？
･･･さて、未解決問題（正確には未解決だったものですが･･･）の一例に触れて頂きましたが、第４章の中でも一際目を引くのが素数に関する問題ではないでしょうか。広大な整数の世界の中でも、素数に関しては未解決問題のオンパレードです。例えば次のような命題もその真偽が未だに明らかになっていないのです。
「
これは素数
素数に関しては次の予想も非常に有名ですね。
「
これは「双子素数」が無数に存在するか？ということを訊いています。双子素数の逆数の和は収束することが1919年、ノルウェーの数学者であるヴィーゴ・ブルン(Viggo Brun(1885～1978))によって証明されており、その和
第４章にはこのように奥の深い背景を持つ様々な未解決問題を集めています。数学、特に数論分野の未解決問題はプロアマ問わず取り組めるところが魅力です。このページが入試数学を超えた、皆さんと数学の素敵な出会いの一助となればこのページ、ひいてはこのサイトを作った甲斐があるというものです。私は数学に関しては専門家ではないので、紹介しきれないものや文言がおかしいものがあるかもしれません。未解決問題については随時追加して簡単な解説も加えていければなあと思っています。読者の皆さんからも情報提供や助言を頂ければ幸いです。