1. まず結論：ルート2はどんな分数でも正確には表せない

ルート2、つまり √2 は、整数同士の比で正確に表せない数です。

√2 = 1.41421356237...

小数で見ると、どこまでも続くように見えます。しかし、ここで大切なのは「小数が長いから無理数」なのではありません。

たとえば、1/3 = 0.3333... も小数は無限に続きます。でも 1/3 は分数で表せるので有理数です。

ルート2が無理数である理由は、もっと本質的です。

√2 = a/b のように、整数 a と b を使った分数で表すことができないからです。

数の種類を整理すると、次のようになります。

ルート2は、一辺が1の正方形の対角線として自然に現れる数です。図形の中には確かに存在するのに、分数では正確に書けない。この事実が、古代ギリシャの数学者たちに大きな衝撃を与えたとされています。

この記事では、ルート2がなぜ無理数なのかを、証明の流れ、つまずきやすいポイント、ピタゴラス派にまつわる歴史まで含めて、順番に解説します。

2. ルート2とは何か：正方形の対角線から出てくる数

ルート2は、いきなり謎の記号として登場するわけではありません。もっともわかりやすい出発点は、一辺が1の正方形です。

正方形に対角線を引くと、直角三角形ができます。

このとき、三平方の定理を使うと、対角線の長さを求められます。

1² + 1² = 対角線²
1 + 1 = 対角線²
2 = 対角線²
対角線 = √2

つまり、ルート2は「2乗すると2になる正の数」です。

√2 × √2 = 2

小数では、およそ次の値になります。

√2 ≒ 1.41421356...

日常生活では、1.414 や 1.41 のように近似して使うことがあります。建築、測量、デザイン、コンピュータグラフィックスなどでは、必要な精度に応じて近似値を使えば十分な場面も多いです。

しかし、数学では「近い」と「等しい」はまったく違います。

√2 ≒ 1.414
√2 ≠ 1.414

1.414 は分数で表せます。

1.414 = 1414/1000 = 707/500

一方、√2 はどんな分数でも正確には表せません。

ここが、ルート2を学ぶときの一番重要なポイントです。

3. 有理数と無理数の違いを先に整理する

ルート2の証明を理解するには、まず「有理数」と「無理数」の違いを押さえておく必要があります。

有理数とは、整数 a と b を使って、次の形で表せる数です。

a/b

ただし、b は0ではありません。

たとえば、次の数はすべて有理数です。

一方、無理数は、どんな整数の組み合わせでも分数にできない数です。

ここでよくある誤解があります。

無限小数なら無理数である。

これは間違いです。

1/3 = 0.333... のように、同じ数字が繰り返される小数は循環小数です。循環小数は分数で表せるため、有理数です。

無理数の小数は、終わらず、同じパターンで繰り返されません。

つまり、ルート2が無理数であるというのは、

小数が長いからではなく、どんな分数でも正確に表せない

という意味です。

4. 証明の全体像：どこで矛盾が起きるのか

ルート2が無理数であることは、背理法で証明できます。

背理法とは、次のような考え方です。

まず「反対のことが正しい」と仮定し、その仮定から矛盾が出ることを示す。矛盾が出たなら、最初の仮定は間違いだとわかる。

今回は、本当は「ルート2は無理数」と言いたいわけです。

そこで、あえて反対に考えます。

ルート2は有理数である、と仮定する。

もしルート2が有理数なら、整数 a と b を使って、次のように表せるはずです。

√2 = a/b

そして、分数は約分できるだけ約分して、これ以上約分できない形にしておきます。

この「これ以上約分できない分数」を、既約分数といいます。

証明の流れは次の通りです。

この証明の核心は、最後の矛盾です。

最初に「これ以上約分できない分数」と決めたのに、計算すると「分子も分母も2で割れる」とわかってしまう。この矛盾によって、最初の仮定が間違っていたと結論できます。

5. ルート2が無理数であることを実際に証明する

では、実際に証明してみましょう。

まず、反対のことを仮定します。

√2 は有理数である。

有理数なら、整数 a と b を使って、次のように表せるはずです。

√2 = a/b

ただし、a/b はこれ以上約分できない分数とします。つまり、a と b は同じ数で割れない状態です。

次に、両辺を2乗します。

2 = a²/b²

両辺に b² をかけます。

2b² = a²

順番を入れ替えると、

a² = 2b²

この式から、a² は2の倍数だとわかります。つまり、a² は偶数です。

ここで、次の性質を使います。

ある整数の2乗が偶数なら、元の整数も偶数である。

したがって、a は偶数です。

a が偶数なら、ある整数 k を使って次のように書けます。

a = 2k

これを a² = 2b² に代入します。

(2k)² = 2b²
4k² = 2b²

両辺を2で割ります。

2k² = b²

つまり、b² も偶数です。

b² が偶数なら、b も偶数です。

ここで、重大な矛盾が出ます。

これは同時に成り立ちません。

したがって、「√2 は有理数である」という最初の仮定が間違っていたことになります。

結論は次の通りです。

√2 は有理数ではない。したがって、無理数である。

この証明は、中学数学・高校数学で学ぶ「証明」の代表例です。計算そのものは難しくありませんが、仮定、条件、矛盾を正確に追う必要があります。

6. なぜ「a²が偶数ならaも偶数」と言えるのか

証明でつまずきやすいのは、次の部分です。

a² が偶数なら、a も偶数である。

これは直感だけでなく、きちんと説明できます。

整数は、偶数か奇数のどちらかです。

偶数は、ある整数 n を使って次のように表せます。

2n

奇数は、次のように表せます。

2n + 1

では、奇数を2乗してみます。

(2n + 1)²
= 4n² + 4n + 1
= 2(2n² + 2n) + 1

これは 2 × 整数 + 1 の形です。つまり、奇数です。

奇数を2乗すると、必ず奇数になります。

ということは、2乗した結果が偶数なら、元の数は奇数ではありえません。だから偶数です。

この性質を使うことで、証明の中で次の流れが成り立ちます。

a² が偶数
↓
a も偶数
↓
a = 2k と置ける
↓
b² も偶数になる
↓
b も偶数

この部分を理解できると、ルート2の証明は一気に見通しがよくなります。

7. 「既約分数」と置くのはなぜ重要なのか

ルート2の証明では、最初に √2 = a/b と置くだけでは不十分です。

必ず、

a/b はこれ以上約分できない分数である

としておく必要があります。

なぜなら、最後に「分子も分母も偶数になってしまう」という矛盾を出すためです。

たとえば、4/6 は分数ですが、約分できます。

4/6 = 2/3

このように、分子と分母に共通の約数がある分数は、まだ整理しきれていません。

一方、2/3 はこれ以上約分できません。このような分数を既約分数といいます。

ルート2が有理数だと仮定するなら、どんな分数で表せるとしても、最後には必ず既約分数に直せるはずです。

だから最初に、

√2 = a/b

と置き、しかも a/b は既約分数だと決めてよいのです。

ところが証明を進めると、a も b も偶数だとわかります。つまり、どちらも2で割れます。

これは「既約分数である」という条件に反します。

ここで矛盾が起きるため、最初の仮定そのものが間違っていたとわかります。

8. ピタゴラス派にとって無理数はなぜ衝撃だったのか

ルート2の話は、数学の証明だけで終わりません。古代ギリシャの思想史とも深く関係しています。

ピタゴラス派は、数を単なる計算の道具ではなく、世界の秩序を説明する根本原理のように考えていました。

特に重要だったのが、整数比です。

音楽では、弦の長さの比が単純な整数比になると、美しい響きが生まれます。

このような発見から、ピタゴラス派は「世界は数の比によって説明できる」と考えました。

ところが、一辺が1の正方形の対角線は √2 です。そして √2 は整数比では表せません。

つまり、きわめて基本的な図形の中に、彼らの世界観では説明しきれない長さが現れてしまったのです。

これは、単なる計算上の発見ではありません。

すべては整数比で表せる、という考え方を揺るがす発見だった

といえます。

有名な話として、無理数の存在を明らかにした人物がピタゴラス派から罰せられた、あるいは海に沈められた、という伝説があります。

ただし、この話は史実として確定しているわけではありません。古代数学史には、後世の記述や伝承が混ざっている部分があります。

そのため、学習上は次のように理解するのが適切です。

歴史の細部には慎重であるべきですが、ルート2の発見が数学史において大きな転換点だったことは確かです。

9. ルート2の近似値と「正確な値」は何が違うのか

ルート2は、分数で正確には表せません。しかし、かなり近い分数を作ることはできます。

たとえば、次のような近似があります。

これらは、ルート2にかなり近い値です。

しかし、どれも完全には一致しません。

ここで大切なのは、数学における = と ≒ の違いです。

日常生活では、近似値で十分なことが多いです。

たとえば、紙をA4からA3に拡大するとき、縦横比にはルート2が関係しています。実際の設計や印刷では、厳密な無限小数ではなく、必要な精度で近似して扱います。

しかし、数学の証明では「だいたい同じ」では不十分です。

1.414 は有理数です。
√2 は無理数です。

この2つは近いですが、同じ数ではありません。

ルート2を学ぶ意味の一つは、この「近似」と「厳密」の違いを理解することにあります。

10. なぜ今、ルート2の証明を学ぶ意味があるのか

ルート2の証明は、古典的な数学の話です。それでも、今学ぶ価値は十分にあります。

理由は、単に平方根の知識を覚えるためではありません。

ルート2の証明には、現代の学習で必要とされる力が詰まっています。

文部科学省の学習指導要領でも、数学では単なる計算技能だけでなく、事象を論理的に考察し表現する力が重視されています。詳しくは文部科学省の学習指導要領でも確認できます。

また、OECDのPISA調査では、数学的リテラシーは現実の問題を数学的に考え、解釈し、判断する力として扱われています。PISA 2022の結果についてはOECDの国別資料でも公開されています。

ルート2の証明は、難しい公式を大量に覚える学習ではありません。

むしろ、

仮定する
式を変形する
条件を確認する
矛盾を見つける
結論を出す

という、論理の基本を練習する題材です。

数学が苦手な人ほど、このような短い証明を丁寧に理解すると、方程式、図形、関数、確率の学習にも良い影響があります。

11. よくある誤解と注意点

ルート2や無理数については、誤解されやすいポイントがいくつかあります。

誤解1：小数が無限に続く数はすべて無理数

これは間違いです。

1/3 = 0.333... のように、無限に続いても分数で表せる数は有理数です。無理数は、分数で表せず、小数が循環しない数です。

誤解2：ルート2は1.414である

日常的には √2 ≒ 1.414 として扱えます。しかし、数学的には完全に等しくありません。

1.414 は 707/500 と表せる有理数です。ルート2は無理数なので、両者は別の数です。

誤解3：分数で近づけられるなら有理数ではないのか

どれだけ近い分数を作れても、完全に一致しなければ有理数とはいえません。

99/70 や 577/408 はルート2に非常に近いですが、ルート2そのものではありません。

誤解4：証明は丸暗記すればよい

丸暗記だけでは、少し形が変わった問題に対応できません。

大切なのは、次の流れを理解することです。

有理数だと仮定する
↓
既約分数で表す
↓
両辺を2乗する
↓
分子も分母も偶数になる
↓
既約分数という条件と矛盾する
↓
よって無理数

誤解5：ピタゴラス派の伝説はすべて史実である

無理数の発見をめぐる伝説は有名ですが、細部を史実として断定するのは危険です。

大切なのは、伝説そのものを丸ごと信じることではなく、無理数の発見が当時の数の考え方に大きな衝撃を与えたという点です。

12. ルート2から広がる数学の世界

ルート2の証明を理解すると、さまざまな数学のテーマがつながって見えてきます。

特に、背理法は数学以外でも役立つ考え方です。

たとえば、ある主張が正しいと仮定してみる。その仮定から明らかにおかしな結果が出るなら、元の主張を疑う必要があります。

これは、ニュース、SNS、広告、投資情報、健康情報などを読むときにも重要です。

「本当にそう言えるのか」
「前提は正しいのか」
「矛盾はないのか」

このように考える力は、現代の情報社会でますます重要になっています。

ルート2の証明は、小さな数学の問題に見えます。しかし、その中には論理的に考えるための基本姿勢が詰まっています。

13. 学習でつまずかないためのコツ

ルート2の証明を理解するには、いきなり式を丸暗記しようとしないことが大切です。

おすすめは、次の順番です。

特に重要なのは、証明を「文章」として読むことです。

数学の証明は、式の羅列ではありません。実際には、次のようなストーリーがあります。

分数で表せると仮定した。
しかし、その仮定を進めると、分子も分母も偶数になってしまった。
それでは最初に既約分数としたことと矛盾する。
だから、そもそも分数で表せるという仮定が間違っていた。

このストーリーを説明できるようになると、証明問題への苦手意識はかなり減ります。

学習を続けるうえでは、短い単位で復習できる環境を作ることも大切です。DailyDropsは完全無料で利用でき、学習行動がユーザーに還元される共益型プラットフォームです。数学の基礎、英語、資格学習などを少しずつ積み上げたい人にとって、日々の学習を続ける選択肢の一つになります。

14. FAQ：ルート2と無理数についてよくある質問

Q. ルート2が無理数であることを簡単に説明すると？

ルート2が分数で表せると仮定すると、分子も分母も偶数になってしまいます。しかし、最初にこれ以上約分できない分数として考えているため、これは矛盾です。したがって、ルート2は分数で表せず、無理数です。

Q. ルート2の近似値はいくつですか？

一般には、√2 ≒ 1.41421356 とされます。日常的な計算では 1.414 や 1.41 を使うこともありますが、これらはあくまで近似値です。

Q. ルート2は分数で表せないのに、なぜ長さとして存在するのですか？

一辺が1の正方形の対角線は、三平方の定理から √2 になります。つまり、図形の長さとして自然に現れます。ただし、その長さを整数同士の比では正確に表せないということです。

Q. ルート2の証明で、なぜ既約分数にする必要があるのですか？

最後に「分子も分母も偶数になり、約分できてしまう」という矛盾を示すためです。最初に既約分数と決めておくことで、両方偶数になることが矛盾になります。

Q. なぜ a² が偶数なら a も偶数なのですか？

奇数を2乗すると必ず奇数になるからです。したがって、2乗した結果が偶数なら、元の数は奇数ではなく、偶数だとわかります。

Q. ルート2以外にも無理数はありますか？

あります。√3、√5、π などは無理数です。一般に、平方数ではない自然数の平方根は無理数になります。

Q. ルート4は無理数ですか？

いいえ。√4 = 2 なので有理数です。平方根がすべて無理数になるわけではありません。

Q. ピタゴラス派は本当に無理数を隠したのですか？

無理数の発見がピタゴラス派に衝撃を与えたという話は有名ですが、「隠した」「処罰した」といった細部は伝説的な要素もあり、史実として断定はできません。学習上は、整数比を重視する思想と無理数の発見が衝突した、と理解するとよいでしょう。

15. まとめ：小さな正方形の対角線が、数の世界を広げた

ルート2は、一辺が1の正方形の対角線として自然に現れる数です。

しかし、その値はどんな分数でも正確には表せません。

√2 = 1.41421356237...

小数は終わらず、循環もしません。だからルート2は無理数です。

そのことは、背理法で証明できます。

√2 が有理数だと仮定する
↓
√2 = a/b と置く
↓
a/b は既約分数とする
↓
両辺を2乗して a² = 2b² を得る
↓
a が偶数だとわかる
↓
a = 2k と置く
↓
b も偶数だとわかる
↓
a と b が両方偶数になり、約分できてしまう
↓
既約分数という条件と矛盾する
↓
よって √2 は無理数

この証明が優れているのは、難しい計算ではなく、論理の積み重ねで結論にたどり着く点です。

また、ルート2は数学史の面でも重要です。整数比を重視したピタゴラス派にとって、分数で表せない長さの存在は、世界観を揺るがす発見だったとされています。

もちろん、無理数をめぐる伝説をすべて史実として受け取る必要はありません。大切なのは、ルート2の発見が「数とは何か」という考え方を大きく広げたことです。

ルート2を理解することは、単に平方根を覚えることではありません。

• 有理数と無理数の違いを理解する
• 近似値と正確な値を区別する
• 背理法の考え方を身につける
• 条件から矛盾を見つける
• 数学史の転換点を知る

こうした学びにつながります。

数学が得意な人は、答えを暗記している人ではありません。なぜそう言えるのかを、自分の言葉で説明できる人です。

ルート2の証明は、その第一歩として非常に良い題材です。小さな正方形の対角線から、数の世界の奥深さをのぞいてみましょう。