$\sqrt{2}$ が無理数であることを用いて、「$1 + \sqrt{2}$ は無理数である」という命題を背理法で証明する。証明の空欄（①～④）に適切な選択肢（I～IV）を正しい順番で入れる問題。

数論無理数背理法証明有理数

2025/5/21

1. 問題の内容

\sqrt{2}

が無理数であることを用いて、「

1 + \sqrt{2}

は無理数である」という命題を背理法で証明する。証明の空欄（①～④）に適切な選択肢（I～IV）を正しい順番で入れる問題。

2. 解き方の手順

1. まず、$1 + \sqrt{2}$ が無理数でないと仮定すると、$1 + \sqrt{2}$ は有理数である。（命題の否定）

2. 次に、その有理数を $r$ とすると、$1 + \sqrt{2} = r$ より、$r - 1 = \sqrt{2}$ という式を得る。（IV）

3. $r$ が有理数ならば、$r - 1$ も有理数であるから。（III）

4. $r - 1 = \sqrt{2}$ は、有理数である $r - 1$ が無理数である $\sqrt{2}$ に等しいことを意味し、これは矛盾する。（II）

5. よって、$1 + \sqrt{2}$ は無理数である。

したがって、空欄を埋める順番は IV → III → I → II である。

3. 最終的な答え

イ

「数論」の関連問題

問題は、$x$ と $y$ が整数のとき、$x^2 + y^2$ が3の倍数であること、および $x^5 + y^5$ が3の倍数であることが、$x$ と $y$ がともに3の倍数であるためのどのよう...

合同算術整数の性質必要十分条件

$n$ は5で割ると3余る正の整数、$m$ は5で割ると2余る正の整数である。このとき、$n^{11} + m^{11}$ を5で割ったときの余りを求める。

合同算術剰余整数の性質

整数 $n$ が与えられたとき、合同式を用いて次の値を求めます。 (1) $n$ を 9 で割った余りが 2 であるとき、$n^2 + 2n + 7$ を 9 で割った余り (2) $n$ を 13 ...

合同式剰余整数の性質

問題は、合同式を用いて次のものを求める問題です。 (1) $123^{120}$ の一の位 (2) $7^{251}$ の下2桁

合同式剰余一の位下2桁

問題は、7の50乗について、以下の2つを求める問題です。 (1) 12で割った余り (2) 一の位の数

合同算術剰余累乗周期性整数の性質

自然数 $n$ に対して、$n$ 以下の自然数で、$n$ と互いに素であるような自然数の個数を $f(n)$ とする。 (1) $f(63)$ の値を求めよ。 (2) $f(300)$ の値を求めよ。...

オイラー関数互いに素素数約数

$m, n$ は整数であるとき、以下の3つの式が6の倍数であることを証明する。 (1) $n(n-1)(2n-1)$ (2) $2n^3 + 4n$ (3) $m^3n - mn^3$

整数の性質倍数合同式証明

整数 $n$ に関する以下の3つの命題を証明する問題です。 (1) $n^2 + 7n + 4$ は偶数である。 (2) $n^2 + 1$ は3の倍数ではない。 (3) $n^2$ を6で割ったとき...

整数の性質合同式剰余偶数倍数

問題は以下の2つです。 (1) 連続する2つの奇数の2乗の差は、8の倍数であることを証明する。 (2) 連続する2つの偶数の2乗の和は、4の倍数であるが、8の倍数ではないことを証明する。

整数の性質倍数証明代数

整数 $a$ は8で割ると3余り、整数 $b$ は8で割ると6余る。このとき、以下の数を8で割ったときの余りを求める。 (1) $a+b$ (2) $7a - 4b$ (3) $ab$ (4) $3a...

整数の性質合同算術剰余