こんにちは。相城です。今回は無理数ってホントどんな数字なの?ってことでお話ししていこうと思います。中学生の方は高校生の範囲を含んでいます。含んでいないところは読めるかもしれませんので, 楽しんでください。それではどうぞ。
無理数であることの証明
【問い】が無理数であることを証明しなさい。
このような問題が出てきたとき, 中学生の皆さんはどうされますか?
そもそも無理数って何なのでしょうね。答えを言うと循環しない無限小数です。これは何を意味するかというと, 分数で表わせない数だけど, 理屈をつけて考えたらあるんじゃないの? みたいな数です(概念として存在する)。ただ列記とした数であることは間違いなく, なくてはならないものです。
では, 先ほど存在しないと書きましたが, 存在するためにはどんな数でなければならないのでしょうか?
これが, この問題を解くカギになります。
皆さんが小学生, 中学生で習った数(を除く)数は全部分数で表わせるのです。
のように。
無理数などの実際存在しない数というのは, 分数で表わせないことを証明すればいいのです。
その手段として, 背理法(はいりほう)というのがあります。無理数が分数で表わせたと仮定して, 矛盾を見つける方法です。
以下に証明してみました。
![Rendered by QuickLaTeX.com \sqrt{2}=\dfrac{a}{b}](https://mathtext.info/blog/wp-content/ql-cache/quicklatex.com-8f6cced8f285ae99668f6dfdc83909fb_l3.png)
ただし,
![Rendered by QuickLaTeX.com a,\hspace{1mm}b](https://mathtext.info/blog/wp-content/ql-cache/quicklatex.com-ab004c3294990f70d8d67ccc769a2362_l3.png)
両辺を2乗して,
![Rendered by QuickLaTeX.com 2=\dfrac{a^2}{b^2}](https://mathtext.info/blog/wp-content/ql-cache/quicklatex.com-a26f46f0bb8f7d5b5b5991352e3a92b9_l3.png)
整理すると,
![Rendered by QuickLaTeX.com a^2=2b^2\cdots\textcircled{\scriptsize 1}](https://mathtext.info/blog/wp-content/ql-cache/quicklatex.com-873b88b74477ab7445784b3eb053b13f_l3.png)
この式から,
![Rendered by QuickLaTeX.com a^2](https://mathtext.info/blog/wp-content/ql-cache/quicklatex.com-c5d534cb9199fad503141850c47ee2b6_l3.png)
![Rendered by QuickLaTeX.com a](https://mathtext.info/blog/wp-content/ql-cache/quicklatex.com-6e4239cd9fe5a53bc98c863c75818b12_l3.png)
よって,
![Rendered by QuickLaTeX.com a=2p](https://mathtext.info/blog/wp-content/ql-cache/quicklatex.com-597cc95a297385200e4ab993e503271c_l3.png)
![Rendered by QuickLaTeX.com 4p^2=2b^2](https://mathtext.info/blog/wp-content/ql-cache/quicklatex.com-e088cf3d1f6cd5c5152dc594bcafda50_l3.png)
![Rendered by QuickLaTeX.com b^2=2p^2](https://mathtext.info/blog/wp-content/ql-cache/quicklatex.com-62b891eac7701de815176a84b9889dde_l3.png)
このことは、
![Rendered by QuickLaTeX.com b](https://mathtext.info/blog/wp-content/ql-cache/quicklatex.com-7d3b74b93cf8d3562b537c81c243a48c_l3.png)
![Rendered by QuickLaTeX.com a,\hspace{1mm} b](https://mathtext.info/blog/wp-content/ql-cache/quicklatex.com-df891809511cba4808b55ddfd8bd239c_l3.png)
よって,
![Rendered by QuickLaTeX.com \sqrt{2}](https://mathtext.info/blog/wp-content/ql-cache/quicklatex.com-f11810c1dda7d458d1e2a4c07193b389_l3.png)
※お互いに1以外の約数を持たない⇒互いに素と言いますが, わかりやすくするために使っていません。ご了承ください。
これで証明終了です。
存在しないのに存在する
右の直角三角形を見てください。の直角二等辺三角形です。
言いたいことは存在しないはずのが存在しているではありませんか。
では存在しない数なのに, なぜは図のように書くことができる(存在する)のでしょうか。
![](https://mathtext.info/blog/wp-content/uploads/2020/04/murisu1.png)
いろんな勉強をして僕なりの解釈を書きます。
まずとはどういう数字か考えてみましょう。
このようには有限小数としてあらわすことができます。
そして, これをずっと求めていくと真のが求まるわけですが, それを小数で表わすことができないということです。
先の図のようにはどのくらいの長さか表わすことができます。ただ, それを小数で表わすことはできないということです。
考えてみましょう。
以下小数第1億桁まで求めても有理数(有限小数)。 すなわち真の
付近には無限の有理数が存在するのです。
無理数はどう扱う?
では日常ではこの無理数をどう扱っているかというと, というアナログ(循環しない無限小数)をデジタル(循環しない有限小数, 近似値)として扱っているのです。 このように, 実際に存在しない数を扱う場合は, 近似値を使ってコンピュータなどで計算させます。
この近似値の精度を上げれば, より正確な値が得られます。ただ, コンピュータの処理時間はかかります。 音声処理や宇宙工学でも無理数は登場します。将来役に立たないかもしれませんが, それを使って仕事をして皆さんを支えてくれる人がいることを理解しましょうね。