$a, b$ は有理数であるとする。$\sqrt{6}$ が無理数であることを用いて、命題 $\sqrt{2}a + \sqrt{3}b = 0 \implies a = b = 0$ を証明せよ。
2025/6/30
1. 問題の内容
は有理数であるとする。 が無理数であることを用いて、命題 を証明せよ。
2. 解き方の手順
背理法を用いて証明します。
かつ または であると仮定します。
と変形できます。
両辺を2乗すると、
ここで、 の場合、 となります。したがって、 となります。
より、となります。
を書き換えると
は有理数なので、 も有理数となります。しかし、 は無理数なので、矛盾します。
したがって、 かつ でなければなりません。
あるいは、 より、
両辺を2乗して 。
ここで、 と がともに0でないと仮定する。
のとき、 より となり、 となるので矛盾する。
のとき、 より となり、 となるので矛盾する。
したがって、 かつ 。
より 。
。
は有理数なので、 は有理数。一方、 は無理数。
これは矛盾。
したがって、。