$\sqrt{6}$ が無理数であることを用いて、$\sqrt{3} - \sqrt{2}$ が無理数であることを背理法により証明する問題です。$\sqrt{3} - \sqrt{2}$ が有理数と仮定したとき、矛盾が生じることを示します。

数論無理数背理法平方根
2025/6/1

1. 問題の内容

6\sqrt{6} が無理数であることを用いて、32\sqrt{3} - \sqrt{2} が無理数であることを背理法により証明する問題です。32\sqrt{3} - \sqrt{2} が有理数と仮定したとき、矛盾が生じることを示します。

2. 解き方の手順

(1) 32\sqrt{3} - \sqrt{2} が有理数であると仮定します。
(2) この有理数を rr とおくと、32=r\sqrt{3} - \sqrt{2} = r と表せます。
(3) 両辺を2乗すると、(32)2=r2(\sqrt{3} - \sqrt{2})^2 = r^2 となります。
(4) 左辺を展開すると、(3)2232+(2)2=326+2=526(\sqrt{3})^2 - 2\sqrt{3}\sqrt{2} + (\sqrt{2})^2 = 3 - 2\sqrt{6} + 2 = 5 - 2\sqrt{6} となります。
(5) よって、526=r25 - 2\sqrt{6} = r^2 となります。
(6) これを整理すると、26=5r22\sqrt{6} = 5 - r^2 となります。
(7) 両辺を2で割ると、6=5r22\sqrt{6} = \frac{5 - r^2}{2} となります。
(8) rr は有理数なので、5r22\frac{5 - r^2}{2} は有理数となります。しかし、6\sqrt{6} は無理数であると仮定されているので、これは矛盾です。
(9) よって、32\sqrt{3} - \sqrt{2} は無理数であることが証明されました。

3. 最終的な答え

ア:有理数
イ:有理数
ウ:5r22\frac{5-r^2}{2}

「数論」の関連問題

実数 $x$ に対して、$x$ を超えない最大の整数を $[x]$ で表す。 (1) 正の実数 $a$ と自然数 $m$ に対して、不等式 $\frac{[ma]}{a} \le m < \frac{...

不等式整数部分有理数無理数証明
2025/8/3

(1) 正の実数 $a$ と自然数 $m$ に対し、不等式 $\frac{[ma]}{a} \leq m < \frac{[ma]+1}{a}$ を示す。 (2) 正の実数 $a$ と $b$ が $...

不等式整数有理数ガウス記号
2025/8/3

次の不定方程式を満たす整数解 $x, y$ の組を1つ求める問題です。 (1) $50x + 23y = 1$ (2) $90x + 37y = 2$ (3) $62x - 23y = 5$ (4) ...

不定方程式ユークリッドの互除法整数解
2025/8/3

与えられた数(32, 200, 60)に対して、正の約数の個数と、その約数の総和を求めます。

約数素因数分解約数の個数約数の総和
2025/8/3

問題は、次の2つの命題が偽であることを示す反例をそれぞれ1つ挙げることです。 (1) 無理数と無理数の和は無理数である。 (2) 無理数と無理数の積は無理数である。

無理数有理数反例数の性質
2025/8/3

1から順に並べた自然数を、第$n$群が$2^{n-1}$個の数を含むように分ける。 (1) 第$n$群の最初の数を$n$で表せ。 (2) 第$n$群に含まれる数の総和を求めよ。 (3) 3000は第何...

数列等比数列等差数列群数列
2025/8/3

7で割ると4余り、9で割ると8余る300以下の自然数が何個あるかを求める問題です。

合同式剰余整数
2025/8/3

100以上1000以下の自然数の中で、5で割ると3余り、13で割ると4余る自然数は全部で何個あるか。選択肢は13, 14, 15, 16。

合同式剰余整数
2025/8/3

自然数をある規則に従って群に分けます。第$n$群は$2^{n-1}$個の数を含みます。 (1) 第$n$群の最初の数を$n$で表しなさい。 (2) 第$n$群に含まれる数の総和を求めなさい。 (3) ...

数列指数総和自然数
2025/8/2

与えられた問題は、以下の4つの問題から構成されています。 * **問題1**: 2進数 $101101_{(2)}$ を10進数に変換する。 * **問題2**: 216の正の約数の総和を求め...

進数変換約数整数の性質合同式剰余
2025/8/2