$a, b$ は有理数とする。$\sqrt{2}a + \sqrt{3}b = 0$ ならば $a = b = 0$ であることを証明せよ。代数学無理数有理数背理法証明根号2025/6/301. 問題の内容a,ba, ba,b は有理数とする。2a+3b=0\sqrt{2}a + \sqrt{3}b = 02a+3b=0 ならば a=b=0a = b = 0a=b=0 であることを証明せよ。2. 解き方の手順背理法を用いる。a≠0a \neq 0a=0 または b≠0b \neq 0b=0 と仮定する。(i) a≠0a \neq 0a=0 のとき:2a=−3b\sqrt{2}a = -\sqrt{3}b2a=−3b2=−3ba\sqrt{2} = -\sqrt{3} \frac{b}{a}2=−3ab2=−ba3\sqrt{2} = -\frac{b}{a}\sqrt{3}2=−ab3両辺を2乗すると、2=b2a2×32 = \frac{b^2}{a^2} \times 32=a2b2×32a2=3b22a^2 = 3b^22a2=3b22/3=b2/a22/3 = b^2/a^22/3=b2/a2もし b≠0b\neq 0b=0の場合、b/a=2/3b/a= \sqrt{2/3}b/a=2/3になり、aaaとbbbが有理数であるにも関わらず2/3\sqrt{2/3}2/3は無理数になるので矛盾。一方、b=0b = 0b=0の場合、2a2=02a^2= 02a2=0となり、a=0a=0a=0となるが、a≠0a\neq 0a=0に矛盾。(ii) b≠0b \neq 0b=0 のとき:3b=−2a\sqrt{3}b = -\sqrt{2}a3b=−2a3=−2ab\sqrt{3} = -\sqrt{2} \frac{a}{b}3=−2ba3=−ab2\sqrt{3} = -\frac{a}{b}\sqrt{2}3=−ba2両辺を2乗すると、3=a2b2×23 = \frac{a^2}{b^2} \times 23=b2a2×23b2=2a23b^2 = 2a^23b2=2a23/2=a2/b23/2 = a^2/b^23/2=a2/b2もし a≠0a\neq 0a=0の場合、a/b=3/2a/b= \sqrt{3/2}a/b=3/2になり、aaaとbbbが有理数であるにも関わらず3/2\sqrt{3/2}3/2は無理数になるので矛盾。一方、a=0a = 0a=0の場合、3b2=03b^2= 03b2=0となり、b=0b=0b=0となるが、b≠0b\neq 0b=0に矛盾。したがって、a=0a = 0a=0 かつ b=0b = 0b=0 でなければならない。3. 最終的な答えa=b=0a = b = 0a=b=0