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

数論無理数有理数背理法証明
2025/6/21
## 9 (1) の問題

1. 問題の内容

aabb は有理数とする。2\sqrt{2} が無理数であることを用いて、命題 a+b2=0a=b=0a+b\sqrt{2} = 0 \Rightarrow a=b=0 を証明する。

2. 解き方の手順

背理法を用いる。b0b \neq 0 と仮定する。
a+b2=0a+b\sqrt{2} = 0b2=ab\sqrt{2} = -a と変形する。
b0b \neq 0 なので、両辺を bb で割ると、
2=ab\sqrt{2} = -\frac{a}{b} となる。
aabb は有理数なので、ab-\frac{a}{b} も有理数である。
これは 2\sqrt{2} が無理数であることに矛盾する。
したがって、b=0b = 0 である。
a+b2=0a+b\sqrt{2} = 0b=0b = 0 を代入すると、a+02=a=0a+0\sqrt{2} = a = 0 となる。
よって、a=0a = 0 かつ b=0b = 0 が成り立つ。

3. 最終的な答え

a=0,b=0a=0, b=0

「数論」の関連問題

$n$ は整数とする。対偶を利用して、命題「$n^2$ が奇数ならば、$n$ は奇数である」を証明する。

整数対偶命題奇数偶数証明
2025/6/21

与えられた3つの命題を証明する問題です。 (1) $n^2 + 3$ が偶数ならば、$n$ は奇数である。 (2) $mn$ が偶数ならば、$m, n$ の少なくとも一方は偶数である。 (3) $n^...

命題証明対偶整数の性質偶数奇数倍数
2025/6/21

$n$ を整数とするとき、「$n^2 + 3$ が偶数ならば、$n$ は奇数である」という命題を証明する。

命題証明対偶整数の性質偶数奇数
2025/6/21

$\frac{252}{n}$ がある自然数の2乗になるような、最も小さい自然数 $n$ の値を求める問題です。

素因数分解平方数整数の性質
2025/6/21

$8n + 10$ は、$n$ に整数を入れたとき、いつでも $8$ の倍数になるかどうかを問う問題です。

倍数整数の性質剰余
2025/6/21

1から1000までの整数のうち、2, 3, 5の少なくとも2つで割り切れる数と、2, 3, 5の少なくとも1つで割り切れて、かつ6で割り切れない数の個数を求める問題です。

約数倍数包除原理整数の性質
2025/6/20

すべての自然数 $n$ に対して、$2^{n-1} + 3^{3n-2} + 7^{n-1}$ が5の倍数であることを数学的帰納法を用いて証明する。

数学的帰納法整数の性質倍数合同式
2025/6/20

2026の正の約数の和を求める問題です。ただし、1013は素数であることが与えられています。

約数素因数分解約数の和
2025/6/20

正の整数 $a, b, c$ について、以下の2つの命題A, Bが共に真となるような正の整数 $k$ のうち、最大のものと最小のものを求める。 命題A: $abc \ge k$ ならば、$a, b, ...

整数不等式最大値最小値条件
2025/6/20

自然数の列を、次のように群に分ける。 1 | 2, 3 | 4, 5, 6 | 7, 8, 9, 10 | 11, 12, ... (1) 第 $n$ 群の最初の自然数を求めよ。 (2) 第20群に含...

数列群数列等差数列自然数
2025/6/20