無理数の代表格として誰もが知る「円周率(π)」と「ルート2(√2)」。これらはなぜ絶対に分数で表すことができないのでしょうか。教育現場や高校数学のカリキュラムでも最重要視される論理的背景に迫ります。
円周率が無理数である理由とは?
学校では円周率を「およそ3.14」や「22/7に近い値」として計算することがあります。しかし、これらはあくまで計算用の近似値(有理数)に過ぎません。実際の円周率は「3.1415926535...」と、無限にランダムな数列が続き、同じパターンを二度と周期的に繰り返さない循環しない無限小数であることが数学的に証明されています。
歴史的には、18世紀に数学者ヨハン・ハインリヒ・ランベルトが連分数展開を用いて「πが無理数であること」を世界で初めて厳密に証明しました。円周率が無理数であるということは、円の直径と円周の長さを同時に「キリのいい整数」で測りきる定規は宇宙のどこにも存在しないことを意味しています。
高校数学の金字塔:ルート2が無理数であることの背理法証明
高校数学「数と式」の教科書において、論理的思考の最高峰として必ず登場するのが「ルート2が無 理数であることの証明」です。ここでは数学特有の強力な武器である「背理法(証明問題)」が用いられます。
背理法とは、「主張したい結論の逆をあえて仮定し、論理を進めることで矛盾(あり得ない破綻)を導き出し、最初の仮定が誤りであったと証明する手法」です。
【√2が無理数であることの背理法証明】① 結論を否定して仮定する:
√2が無理数ではない(=有理数である)と仮定する。有理数であるならば、これ以上約分できない「互いに素な2つの正の整数 $p, q$」を用いて次のように分数で表せるはずである。
$\sqrt{2} = \frac{p}{q}$ ($p$ と $q$ は1以外の公約数を持たない整数)
② 式を変形して分析する:
両辺に $q$ を掛けると、$p = \sqrt{2}q$
両辺を2乗すると、$p^2 = 2q^2$ …… (式1)
(式1)の右辺は2の倍数(偶数)であるため、左辺の $p^2$ も偶数となる。整数を2乗して偶数になるならば、元の整数 $p$ も偶数でなければならない。
したがって、ある整数 $k$ を用いて $p = 2k$ とおくことができる。
③ さらなる代入と矛盾の発生:
$p = 2k$ を (式1) に代入する。
$(2k)^2 = 2q^2$
$4k^2 = 2q^2$
両辺を2で割ると、$q^2 = 2k^2$
この式から、今度は $q^2$ が偶数であり、したがって $q$ も偶数であることが確定する。
④ 結論の導出:
$p$ も $q$ も両方とも偶数(2の倍数)であることが導き出された。しかし、これは最初に置いた「$p$ と $q$ は互いに素(これ以上約分できない)」という大前提と完全に矛盾する。
互いに素であるはずの分数が2で約分できてしまうという矛盾が生じた原因は、最初に「√2を有理数であると仮定したこと」にある。
よって、その仮定は誤りであり、√2は無理数であることが証明された。
この背理法のアプローチは、難関大学入試の論述問題でも頻出の論理構造です。単に公式を覚えるのではなく、「逃げ場のない論理の檻に追い込んで矛盾を突く」という数学的思考の美しさがここに凝縮されています。