数学で「有理数＋無理数＝無理数」という性質を見かけたことがある人も多いでしょう。この性質は命題や定理の証明で頻繁に使われますが、証明なしでそのまま使えるのでしょうか。
結論から言うと、学習段階や証明を要する場面では、必ず正しい証明を示すことが望ましいです。中学や高校の数学では、教科書や定義に基づいてこの性質が説明されることもありますが、数学的には次のように証明できます。
有理数と無理数の定義を確認
まず定義を整理します。
- 有理数：整数同士の比で表せる数（例：1/2, -3, 0）
- 無理数：有理数でない数（例：√2, π）
無理数は、分数で正確に表せない数です。
証明の方法（背理法）
有理数aと無理数bの和a+bを考えます。これが有理数になると仮定します。
もしa+bが有理数なら、b=(a+b)-aも有理数になります。なぜなら、有理数同士の差は有理数だからです。
しかしbは無理数なので矛盾します。したがって、a+bは無理数であることが示されます。
命題の証明で使うときの注意点
証明の中で「有理数＋無理数は無理数だから…」と使う場合、
- すでにこの性質を証明済みの定理として扱う
- 学習段階では、背理法など簡単な証明を添えて使う
ことで正しく論理が通ります。証明なしでいきなり使うと、読者や採点者から疑問を持たれる可能性があります。
まとめ
「有理数＋無理数＝無理数」は数学的に正しい性質ですが、命題の証明で使う際は、証明済みの定理として扱うか、簡単な背理法で示すことが適切です。学習段階では、なぜそうなるのかを理解しておくことが重要です。
コメント