$\sqrt{2}$ が無理数であることを用いて、$\frac{1}{\sqrt{2}} + \frac{1}{\sqrt{3}}$ が無理数であることを背理法により証明する。

数論無理数背理法代数
2025/6/1

1. 問題の内容

2\sqrt{2} が無理数であることを用いて、12+13\frac{1}{\sqrt{2}} + \frac{1}{\sqrt{3}} が無理数であることを背理法により証明する。

2. 解き方の手順

背理法を用いるため、まず 12+13\frac{1}{\sqrt{2}} + \frac{1}{\sqrt{3}} が有理数であると仮定する。つまり、ある有理数 rr を用いて
12+13=r\frac{1}{\sqrt{2}} + \frac{1}{\sqrt{3}} = r
と表せるとする。
次に、この式を変形して 2\sqrt{2} について解く。
12=r13\frac{1}{\sqrt{2}} = r - \frac{1}{\sqrt{3}}
12=(r13)2\frac{1}{2} = (r - \frac{1}{\sqrt{3}})^2
12=r22r3+13\frac{1}{2} = r^2 - \frac{2r}{\sqrt{3}} + \frac{1}{3}
2r3=r212+13=r216\frac{2r}{\sqrt{3}} = r^2 - \frac{1}{2} + \frac{1}{3} = r^2 - \frac{1}{6}
2r3=6r216\frac{2r}{\sqrt{3}} = \frac{6r^2 - 1}{6}
3=12r6r21\sqrt{3} = \frac{12r}{6r^2 - 1}
3=12r6r21\sqrt{3} = \frac{12r}{6r^2 - 1} より rr は有理数なので、12r6r21\frac{12r}{6r^2 - 1} も有理数となり、3\sqrt{3}が無理数であることに矛盾する。
次に, 12=r13\frac{1}{\sqrt{2}} = r - \frac{1}{\sqrt{3}}を変形する。
12r=13\frac{1}{\sqrt{2}} - r = -\frac{1}{\sqrt{3}}
(12r)2=13(\frac{1}{\sqrt{2}} - r)^2 = \frac{1}{3}
122r2+r2=13\frac{1}{2} - \frac{2r}{\sqrt{2}} + r^2 = \frac{1}{3}
2r2=12+r213=r2+16=6r2+16\frac{2r}{\sqrt{2}} = \frac{1}{2} + r^2 - \frac{1}{3} = r^2 + \frac{1}{6} = \frac{6r^2 + 1}{6}
2=12r6r2+1\sqrt{2} = \frac{12r}{6r^2 + 1}
ここで rr は有理数であるから、12r6r2+1\frac{12r}{6r^2 + 1} も有理数となり、2\sqrt{2} が無理数であることに矛盾する。

3. 最終的な答え

ア: 有理数
イ: r
ウ: 12r6r2+1\frac{12r}{6r^2+1}

「数論」の関連問題

実数 $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