$a, b$ は有理数であるとする。$\sqrt{6}$ が無理数であることを用いて、命題 $\sqrt{2}a + \sqrt{3}b = 0 \implies a = b = 0$ を証明せよ。

代数学無理数の証明背理法有理数平方根代数
2025/6/30

1. 問題の内容

a,ba, b は有理数であるとする。6\sqrt{6} が無理数であることを用いて、命題 2a+3b=0    a=b=0\sqrt{2}a + \sqrt{3}b = 0 \implies a = b = 0 を証明せよ。

2. 解き方の手順

背理法を用いて証明します。
2a+3b=0\sqrt{2}a + \sqrt{3}b = 0 かつ a0a \neq 0 または b0b \neq 0 であると仮定します。
2a=3b\sqrt{2}a = -\sqrt{3}b と変形できます。
両辺を2乗すると、
2a2=3b22a^2 = 3b^2
ここで、a0a \neq 0 の場合、a20a^2 \neq 0 となります。したがって、2a202a^2 \neq 0 となります。
3b2=2a23b^2 = 2a^2より、b0b \neq 0となります。
2a2=3b22a^2 = 3b^2を書き換えると
a2b2=32\frac{a^2}{b^2} = \frac{3}{2}
(ab)2=32\left(\frac{a}{b}\right)^2 = \frac{3}{2}
ab=±32\frac{a}{b} = \pm \sqrt{\frac{3}{2}}
ab=±62\frac{a}{b} = \pm \frac{\sqrt{6}}{2}
a,ba, b は有理数なので、ab\frac{a}{b} も有理数となります。しかし、62\frac{\sqrt{6}}{2} は無理数なので、矛盾します。
したがって、a=0a = 0 かつ b=0b = 0 でなければなりません。
あるいは、2a+3b=0\sqrt{2}a + \sqrt{3}b = 0 より、2a=3b\sqrt{2}a = -\sqrt{3}b
両辺を2乗して 2a2=3b22a^2 = 3b^2
ここで、aabb がともに0でないと仮定する。
a=0a = 0 のとき、3b2=03b^2 = 0 より b=0b = 0 となり、a=b=0a = b = 0 となるので矛盾する。
b=0b = 0 のとき、2a2=02a^2 = 0 より a=0a = 0 となり、a=b=0a = b = 0 となるので矛盾する。
したがって、a0a \neq 0 かつ b0b \neq 0
2a2=3b22a^2 = 3b^2 より a2b2=32\frac{a^2}{b^2} = \frac{3}{2}
ab=±32=±62\frac{a}{b} = \pm \sqrt{\frac{3}{2}} = \pm \frac{\sqrt{6}}{2}
a,ba, b は有理数なので、ab\frac{a}{b} は有理数。一方、62\frac{\sqrt{6}}{2} は無理数。
これは矛盾。
したがって、a=b=0a = b = 0

3. 最終的な答え

a=b=0a = b = 0

「代数学」の関連問題

次の条件で定義される数列$\{a_n\}$の一般項$a_n$を求めます。 (1) $a_1 = 2$, $a_{n+1} = 3a_n + 2$ (2) $a_1 = 4$, $a_{n+1} = a...

数列漸化式等比数列階差数列
2025/6/30

数列 $\{a_n\}$ の一般項が $a_n = (-3)^{n-1}$ で表されるとき、$\sum_{k=1}^{6} |a_k|$ を求めよ。

数列絶対値等比数列級数
2025/6/30

$a$ を実数とするとき、2つの方程式 $ax^2 - 4x + 2a = 0$ と $x^2 - 2ax + 2a^2 - 2a - 3 = 0$ がある。 (1) 2つの方程式がともに実数解を持つ...

二次方程式判別式解の公式実数解解の範囲
2025/6/30

$x$を実数とするとき、$y = (x^2 + 2x)^2 + 8(x^2 + 2x) + 10$とする。$t = x^2 + 2x$とおくとき、$y$を$t$で表し、$y$が最小値をとるときの$x$...

二次関数平方完成関数の最小値二次方程式
2025/6/30

数列$\{a_n\}$は初項$a$, 公差$d$の等差数列であり, 第5項は52, 第12項は31である。 数列$\{b_n\}$は初項$a$, 公比$r$の等比数列であり, 第4項は8である。ただし...

数列等差数列等比数列連立方程式不等式最大値数列の和
2025/6/30

与えられた二次方程式 $3x^2 - 4x - 4 = 0$ の解を求める問題です。

二次方程式因数分解解の公式
2025/6/30

マッチ棒を使って正方形を並べていく。1番目の図形はマッチ棒を4本使い、正方形の一辺に1本の棒が使われている。50番目の図形を作るのに必要なマッチ棒の本数を求める。

数列二次関数漸化式パターン認識
2025/6/30

与えられた式 $a(x - y) + 2(y - x)$ を因数分解しなさい。

因数分解式の展開共通因数
2025/6/30

与えられた式 $(a+3)x + (a+3)y^2$ を因数分解します。

因数分解多項式
2025/6/30

与えられた二次方程式 $9x^2 - 12x + 4 = 0$ を解き、$x$ の値を求めます。

二次方程式因数分解解の公式
2025/6/30