Proofs from THE BOOK っていったいどんな本なの？
デート大学による『Proofs from THE BOOK』のご紹介
Proofs from THE BOOK - Martin Aigner , Günter M. Ziegler
『THE BOOK』は、数学の美しい定理を紹介する本として、数学者たちに深い影響を与え続けています。本書は、数学者であるマーティン・アイグナー（Martin Aigner）とギュンター・M・ツィーグラー（Günter M. Ziegler）によって著されました。タイトルの『THE BOOK』は、実はある数学的な伝説に由来しています。数学者たちの間で「数学の美しい定理が一冊の本にまとめられるとしたら、それはどんな本になるだろうか？」という話があり、その「美しい定理の集大成」としてこの本は生まれました。
本書が生まれたきっかけ
『THE BOOK』が誕生したきっかけには、伝説的な数学者ポール・エルデシュ（Paul Erdős）にまつわるエピソードが深く関わっています。エルデシュは、数学の世界で非常にユニークな存在であり、彼の数学的業績は計り知れませんが、エルデシュがどんな定理を好んだかという点が本書において重要です。エルデシュは、「最も美しい定理」という概念に強い関心を持ち、数学者たちにその「美しさ」を追求させることを好みました。エルデシュ自身が理想とする数学の美しさを追い求め、そのために多くの数学者と共同研究を行い、多くの定理を発表しました。エルデシュが言った「数学には美しい定理がある」という言葉が、この本の根底にあります。
本書の著者であるアイグナーとツィーグラーは、エルデシュの影響を受け、「エルデシュが理想とした定理を集めた本」を作ることを目指しました。彼らは、数学の世界で「最も美しい」とされる定理を集め、その背後にある深い数学的意味をわかりやすく解説しています。『THE BOOK』に収められた定理は、エルデシュが望んだ「簡潔でありながら深い、美しい定理」の数々を象徴しています。
「THE BOOK」と聖書
本書のタイトル『THE BOOK』は、その名が示す通り、聖書の「神の言葉が集められた書物」という意味も暗示しています。聖書は、信仰にとって最も重要な書物とされていますが、『THE BOOK』は数学者にとって最も重要な定理を集めた書物として位置づけられています。もちろん、聖書と直接的な関連はないものの、数学者にとっての「理想的な定理集」として、非常に重視される本であることは間違いありません。聖書のように、定理一つ一つが深い意味を持ち、数学者にとっての「真理」に触れることができるという点で、両者には共通する側面があります。
本書の内容と特徴
『THE BOOK』の中には、数学の世界で「美しい定理」とされるものが厳選されており、それらは様々な数学分野から集められています。具体的には、組合せ論、数論、幾何学、確率論、解析学など、多岐にわたる分野から選ばれた定理が紹介されています。その特徴は、ただの定理の羅列に留まらず、その背後にある直感的な理解を重視し、読者が定理を美しいと感じられるような解説がなされている点です。特に、定理の証明や背景にある歴史的な経緯にまで触れ、読者に深い洞察を提供します。
例えば、古典的な「ピタゴラスの定理」や「フェルマーの最終定理」など、数学の歴史を彩る名定理が数多く紹介されており、各定理にはその証明や発展の過程も丁寧に解説されています。また、単なる定理の紹介にとどまらず、それらがどのように数学の他の分野と関連しているのか、どのように新しい問題を生み出したのかなど、数学的な意義も詳述されています。
本書では、定理の美しさをただ単に紹介するのではなく、その背景にある「数学の哲学」や「発展の過程」についても触れ、数学の持つ深い魅力を引き出しています。そのため、数学の初学者から熟練した研究者まで、幅広い読者層にとって楽しめる内容となっています。
各章の詳細
『Proofs from THE BOOK 6th Edition』は、数学の美しい証明を紹介した書籍で、さまざまな分野から厳密で創造的な証明を集めています。本書では、数論、幾何学、解析学、組み合わせ論、グラフ理論など、幅広い数学の領域をカバーしており、各章ごとに重要な定理の証明が詳しく解説されています。以下に各章を日本語で詳しく解説します。
数論 (Number Theory)
1. 素数の無限性の証明（Six proofs of the infinity of primes）
素数が無限に存在することを示す6つの異なる証明を紹介します。最も有名な証明は、ユークリッドによる「素数は有限でない」という証明です。その他にも、別のアプローチを用いて同じ結果を得る方法が紹介されます。
2. ベルヌーイの定理（Bertrand's Postulate）
ベルヌーイの予想（またはベルヌーイの定理）は、任意の自然数 n に対して、n より大きい素数が少なくとも1つ存在することを主張しています。この予想は、後に確定的に証明されました。
3. 二項係数はほとんど常に冪乗でない（Binomial coefficients are (almost) never powers）
二項係数が冪乗（例えば (a^n) の形）でないことを示す証明です。具体的には、いくつかの特定の条件を除いて、二項係数は冪乗の形を取らないという内容です。
4. 二つの平方和としての数の表現（Representing numbers as sums of two squares）
任意の自然数が二つの平方の和として表せる場合に関する証明です。この結果は、数論の中で非常に重要な結果です。
5. 二次相互法則（The law of quadratic reciprocity）
二次相互法則は、整数の素数に関する重要な定理です。この法則は、ある素数が他の素数に対して二次の残余かどうかを判定するための重要なツールです。
6. 有限分割環は体である（Every finite division ring is a field）
有限の分割環（除法環）に関する定理で、これが体であることを示します。この定理は、代数学における重要な結果です。
7. スペクトル定理とハダマールの行列式問題（The spectral theorem and Hadamard’s determinant problem）
スペクトル定理と、それを用いたハダマールの行列式に関する問題を扱います。行列の固有値に関連する問題です。
8. いくつかの無理数（Some irrational numbers）
無理数の例をいくつか紹介し、それらの証明方法を解説します。
9. (4 times π² / 6 ) の計算（Four times π² / 6）
この証明は、特に解析学と数論における非常に興味深い数式の計算方法に関するものです。
幾何学 (Geometry)
10. ヒルベルトの三番目の問題（Hilbert’s third problem: decomposing polyhedra）
ヒルベルトの三番目の問題は、立体を再構築できるかどうかを問う問題です。この証明では、ポリヘドラ（多面体）の分解とその再構築に関する議論を行います。
11. 平面上の直線とグラフの分解（Lines in the plane and decompositions of graphs）
平面上の直線と、グラフの分解に関する問題を扱います。この証明は、幾何学的な構造をグラフ理論と組み合わせたものです。
12. 傾き問題（The slope problem）
この問題は、幾何学的な配置における直線の傾きに関する問題です。具体的には、傾きの分布に関する問題を扱います。
13. オイラーの公式の三つの応用（Three applications of Euler’s formula）
オイラーの公式を使って、三つの異なる幾何学的な結果を証明します。オイラーの公式は、多面体の面数、辺数、頂点数に関する関係を示すものです。
14. コーシーの剛性定理（Cauchy’s rigidity theorem）
コーシーの定理は、ポリヘドラ（多面体）がその面の形状によって唯一決まることを示します。この定理は、物理学やエンジニアリングにも応用されます。
15. ボロメオ環は存在しない（The Borromean rings don’t exist）
ボロメオ環とは、3つの環が互いに交差し、外れた環を取り除いても他の2つが結びついているという特殊なトポロジカルな構造です。この証明では、そのような環は実際には存在しないことを示します。
16. 接する単体（Touching simplices）
単体（簡単な多面体）同士が接する条件に関する問題です。接する条件を定式化し、証明します。
17. 任意の大きな点集合には鈍角が存在する（Every large point set has an obtuse angle）
大きな点集合において、必ず鈍角を形成する点が存在することを示す証明です。
18. ボルスクの予想（Borsuk’s conjecture）
ボルスクの予想は、任意の集合を適切な数の小さな部分集合に分けることができるというものです。この予想が正しいかどうかを証明します。
解析学 (Analysis)
19. 集合、関数、連続体仮説（Sets, functions, and the continuum hypothesis）
集合論と関数に関連した解析学的な問題を取り上げます。特に連続体仮説に関する議論を行います。
20. 不等式の賞賛（In praise of inequalities）
数学の不等式に関する問題を扱い、さまざまな重要な不等式を紹介し、その証明を行います。
21. 代数の基本定理（The fundamental theorem of algebra）
代数の基本定理は、任意の非定数な複素関数が少なくとも1つの解を持つことを示す定理です。この証明は解析学の中で非常に重要です。
22. 1つの正方形と奇数個の三角形（One square and an odd number of triangles）
1つの正方形と、それに関連する奇数個の三角形に関する証明問題です。
23. ポリャの定理（A theorem of Pólya on polynomials）
ポリャの定理に関する証明です。この定理は、特定のポリノミアルに対する性質を示すものです。
24. ヴァンダーウェーデンの永久性予想（VanderWaerden’s permanent conjecture）
ヴァンダーウェーデンの予想に関する証明です。この予想は、行列に関連する代数的な問題です。
25. リトルウッドとオフォードの補題（On a lemma of Littlewood and Offord）
リトルウッドとオフォードの補題に関連する証明を行います。これは確率論や組み合わせ論において重要です。
26. コタンジェントとヘルグルッツの技法（Cotangent and the Herglotz trick）
コタンジェント関数と、ヘルグルッツの技法に関する証明です。
27. バフンの針問題（Buffon’s needle problem）
バフンの針問題に関する確率論的な証明です。この問題は、確率論の基礎的な問題として有名です。
この本は、数学的な証明がどれほど美しく、創造的であるかを強調しており、各証明の背後にある深い直感や巧妙なアイデアを紹介しています。特に、難解であるが非常に面白い問題に取り組んでいるため、数学愛好者や学生にとっては非常に価値のある一冊です。
2018年の第6版とその改定
『THE BOOK』は、初版が1998年に出版され、その後数回改定が行われてきました。特に2018年には第6版が出版され、内容が最新の数学の発展を反映した形で更新されました。これまでの版では、数学の発展に伴う新たな定理や結果が取り入れられており、特に近年の進展を反映した改訂が行われています。
例えば、組合せ論や数論に関する最新の定理が追加されたり、以前の版では簡単に触れられていた部分にさらに詳細な説明が加えられたりしています。また、定理の背後にある数学的な直感や発展の過程がさらに深く掘り下げられ、読者がより深く理解できるようになっています。
これまでの改定を通して、『THE BOOK』は単なる定理集を超え、数学者や数学愛好者が「美しい定理」に対する理解を深めるための、非常に貴重な資料となっています。
まとめ
『THE BOOK』は、数学の美しさを追求し、最も素晴らしい定理を厳選して紹介した一冊です。エルデシュという数学者の哲学に基づいて、数学の「美」を追求するという目的のもとに書かれた本であり、その美しい定理がどのようにして数学の世界を豊かにしてきたのかを深く知ることができます。本書の内容は、単に定理の羅列にとどまらず、それぞれの定理がどのように発展し、どのような意義を持つのかを探求するものです。そのため、数学の初心者から上級者まで、誰にとっても魅力的で深い洞察を提供する素晴らしい本となっています。
【重要】デート相手に不自由しない人生を楽しみたいあなたへ
世の中にはせっかくMathematical Proof (数学的証明)を学んでもそれを〈お互いに時間を共有することが有意義だと感じられるデート〉に結びつけられない学び方で時間を無駄にしている人たちも数多くいます
私たちは〈お互いに時間を共有することが有意義だと感じられるデート〉に結びつく学びを真摯に積み重ねることで、デート相手に不自由しない人生を謳歌してきました
あなたもデート大学で〈お互いに時間を共有することが有意義だと感じられるデート〉に結びつく学びに集中してデート相手に不自由しない人生を楽しんでみませんか？
今日、新たな一歩を踏み出そう
「デート相手に不自由しない人生を送りたい。」
そう願いながらも、思うようにいかず、今の毎日を変えたいと感じている方も多いのではないでしょうか。
もし今、少しでも心に迷いや不安があるのなら、どうぞ一度ご相談ください。
「デートに結びつく学び」が、あなたの毎日をどう変えていくのか——
その第一歩を踏み出すきっかけになれたら、私たちは嬉しく思います。