√2が無理数であることを証明する方法には、背理法を使った標準的な証明だけでなく、正則連分数展開を利用した方法もあります。連分数による証明は数学的には正しいですが、学校のテストや試験で答案として認められるかどうかは、どの定理を前提として使っているかによって変わります。この記事では、√2の無理数証明に連分数を使う場合の考え方や、どこまで説明が必要なのかを解説します。
√2の連分数による無理数証明の流れ
提示された証明は、数学的な内容としては正しい方向性を持っています。考え方は「√2が有理数なら、その連分数展開は有限で終わるはず。しかし実際には無限に続くため矛盾する」というものです。
√2の正則連分数展開は次のようになります。
[1;2,2,2,…]
これは2が無限に繰り返されるため、有限回で終了しません。一方、有理数は正則連分数展開を行うと必ず有限回で終了します。
したがって、√2を有理数だと仮定すると矛盾が生じ、√2は無理数であると結論できます。
「有理数の連分数展開は有限で終わる」は証明なしで使えるのか
ここが重要なポイントです。テストでこの方法を使う場合、「有理数の正則連分数展開は有限で終了する」という事実を使っていることになります。
数学の答案では、授業で既に証明された定理や教科書で扱った性質については、毎回証明を書く必要はありません。例えば、三平方の定理を使う問題で三平方の定理そのものを証明し直さないのと同じです。
しかし、連分数についてまだ授業で扱っていない場合や、問題が「√2が無理数であることを証明せよ」という基本的な証明問題である場合には、採点者から見ると突然高度な定理を使っているように見える可能性があります。
学校のテストでは一般的な証明の方が安全
高校数学などで√2の無理数証明を書く場合、最も一般的なのは背理法を使った証明です。
例えば、√2を有理数として√2=a/b（a,bは互いに素な整数）と置きます。
すると、2=a²/b²なのでa²=2b²となります。この式からaは2の倍数であることが分かり、a=2kと置くと、今度はbも2の倍数であることが分かります。
しかしaとbが両方とも2の倍数になることは、互いに素という最初の条件に反します。よって√2は有理数ではなく、無理数です。
この証明は高校数学で標準的に扱われ、使う前提知識も少ないため、テストではこちらの方が確実に評価されます。
連分数による証明を答案に書く場合の改善点
連分数を使った証明を書く場合は、単に「有理数の連分数展開は有限である」とだけ書くより、その理由を一言添えるとより丁寧になります。
例えば次のように書けます。
「有理数の正則連分数展開は、分子と分母に対してユークリッドの互除法を行った結果として得られる。ユークリッドの互除法は有限回で終了するため、有理数の正則連分数展開は有限で終了する。」
このように書けば、単なる暗記した性質ではなく、その性質がどこから来るのかを理解していることが伝わります。
数学の証明では使う定理のレベルを意識することが大切
数学の証明では、内容が正しいかだけでなく、その場面に適した道具を使っているかも重要です。
例えば、小学生向けの問題で高度な大学数学の定理を使って答えを出しても、答え自体は正しくても「その証明を理解できるか」という点で問題になることがあります。
同じように、√2の無理数証明に連分数を使うこと自体は間違いではありません。しかし、基本的な証明問題では、求められている範囲の知識で説明することが望ましい場合があります。
まとめ
√2の無理数証明として正則連分数を利用する方法は、数学的には正しい証明です。有理数の連分数展開が有限で終わるという性質も、ユークリッドの互除法に基づく確立された事実です。
ただし、テストで使用する場合は、その性質が授業で既に扱われた内容かどうかによって評価が変わります。基本的な無理数証明なら背理法による標準的な証明を書く方が安全です。
一方で、連分数を学んでいる段階なら、この証明は√2の性質を深く理解するための非常に良い方法であり、数学的な発展学習として価値のある考え方です。
コメント