√2は実数か？

ごあいさつ

こんにちは！はっぴーたーんです！

今回は、$\sqrt 2$という実数が存在することを示していきたいと思います！元ネタはこちらの記事 Ohrui になります〜

それでは、やっていきましょ〜

本題

今回示していくのは次の主張になります！

巷でよく見かける「$\sqrt 2$は無理数である」の証明では主に「$\sqrt 2$が有理数でない」という議論にのみに焦点が当てられており、肝心の「（そもそも）$\sqrt 2$という実数が存在する」という部分が省略されていることから、ちゃんとした証明を説明していこう、というのが今回の趣旨です〜

ちなみに、元ネタの記事 Ohrui では、肝心の部分の議論がいつも省略されていることに文句を言っているにもかかわらず、何故か記事内でも肝心の部分をよく知られた事実として証明を省略する、というよく分からない構成になっています…🤔

もし、高校数学の範囲の知識をフルに用いて良ければ「中間値の定理」を事実として用いる（あるいは「中間値の定理」自体を「実数の連続性の公理（後述）」として採用する）ことで証明することが出来ます。（今回は元ネタの記事で証明が放棄されている部分を解説することが目的なので、こちらの方法についてはこれ以上触れません。正直、中間値の定理を用いた証明の方が簡単ですが…）

それでは、この主張を証明していきたいのですが、まずは証明の際に用いる実数の定義と（その性質）を思い出しておきたいと思います〜

実は、実数体の定義を満たす順序体は同型を除いてただ一つであることが知られているので、それを（1つ固定して）$\mathbb R$と表している、というのが我々が普段利用している実数の正体になります〜

今回は、この「実数体は同型を除いてただ一つであること」や「実数体（の定義を満たす順序体）を構成できること」「順序体は有理数体$\mathbb Q$の構造を自然に部分体として持つこと」「連続性の公理と中間値の定理が同値であること」といった、実数体に関してよく知られた事実の解説は（本題からあまりにも脱線してしまうので）省略します。　詳しく知りたい人は、例えばこちらの資料 hara が参考になると思います！

それでは、$\sqrt 2$の存在の証明の話に戻りたいと思います。今回は、元ネタの記事の方法に倣って$A := \{x \in \mathbb R : x^2 \le 2\}$とおいて$a := \sup A$が$\sqrt 2$の条件を満たすことを見ていきます〜

まず、明らかに$0 \in A \subset [-2, 2]$であることから、この集合は上に有界で空でないので、先ほどの連続性の公理から$a$の存在が保証されていることに注意します。また、ここから$0 \le a$であることも直ちに従います。

なので、あとは$a^2 = 2$を確認すれば良い、ということになります！

そのために、まずは次の主張を確かめていきましょ〜

つまり、$a$は$A$の最大元であることがこの主張から分かります。このことを利用して、反対側の不等号も確かめていきましょ〜

以上から、$a^2 = 2$であることが確かめられました！

おわりに

いかがでしたか？それでは、平和で楽しいMathlogライフを〜