$\sqrt{2}$ が無理数であることを用いて、以下の数が無理数であることを証明する。 (1) $2 - \sqrt{2}$ (2) $\sqrt{8}$

数論無理数背理法平方根証明
2025/6/30

1. 問題の内容

2\sqrt{2} が無理数であることを用いて、以下の数が無理数であることを証明する。
(1) 222 - \sqrt{2}
(2) 8\sqrt{8}

2. 解き方の手順

(1) 222 - \sqrt{2} が無理数であることの証明
背理法を用いる。222 - \sqrt{2} が有理数であると仮定する。
このとき、22=r2 - \sqrt{2} = r となる有理数 rr が存在する。
これを変形すると、
2=2r\sqrt{2} = 2 - r
rr が有理数なので、2r2 - r も有理数である。
しかし、これは 2\sqrt{2} が無理数であることに矛盾する。
したがって、222 - \sqrt{2} は無理数である。
(2) 8\sqrt{8} が無理数であることの証明
背理法を用いる。8\sqrt{8} が有理数であると仮定する。
このとき、8=r\sqrt{8} = r となる有理数 rr が存在する。
8\sqrt{8}222\sqrt{2} と変形できるので、
22=r2\sqrt{2} = r
両辺を2で割ると
2=r2\sqrt{2} = \frac{r}{2}
rr が有理数なので、r2\frac{r}{2} も有理数である。
しかし、これは 2\sqrt{2} が無理数であることに矛盾する。
したがって、8\sqrt{8} は無理数である。

3. 最終的な答え

(1) 222-\sqrt{2} は無理数である。
(2) 8\sqrt{8} は無理数である。

「数論」の関連問題

正の整数 $x$ を素因数分解したときに現れるすべての素数を一度ずつ掛け合わせて得られる積を $\text{rad}(x)$ で表す。例えば、$\text{rad}(12) = 6$, $\text{...

素因数分解剰余数列周期性
2025/7/17

## 問題 1(1) の内容

数学的帰納法等式不等式階乗
2025/7/17

奇数の数列 ${a_n}$ があり、それを第 $n$ 群に $n$ 個の項を含むように分割する。 (1) 第10群の3番目の数を求める。 (2) 第 $n$ 群の最後の数を求める。 (3) 第 $n$...

数列群分け奇数等差数列総和
2025/7/16

整数の中で、2でも3でも5でも割り切れないものだけを小さい順に並べた数列がある。この数列の150番目の数を、選択肢の中から選ぶ問題。選択肢は以下の通り。 1: 541 2: 547 3: 557 4:...

整数の性質包除原理数列
2025/7/16

(1) $10^{10}$ を $2020$ で割った余りを求める。 (2) $100$桁の正の整数で、各位の数の和が $2$ となるもののうち、$2020$ で割り切れるものの個数を求める。

剰余合同式整数の性質桁数約数
2025/7/16

整数 $a$ を $n$ 回かけることを $a \times \langle n \rangle$ で表し、整数 $b$ の一の位の数を $||b||$ で表す。$a$ が整数のとき、$|| a \t...

整数の性質べき乗一の位
2025/7/16

(1) $10^{10}$ を $2020$ で割った余りを求める。 (2) $100$ 桁の正の整数で、各位の数の和が $2$ となるもののうち、$2020$ で割り切れるものの個数を求める。

剰余整数の性質合同式
2025/7/16

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

数学的帰納法整数の性質倍数
2025/7/16

(1) $10^{10}$ を $2020$ で割った余りを求めよ。 (2) 100桁の正の整数で各位の数の和が $2$ となるもののうち、$2020$ で割り切れるものの個数を求めよ。

合同算術剰余整数の性質
2025/7/16

この問題は、2つの命題を証明する問題です。 (1) 整数 $n$ が3の倍数でないとき、$n^2$ を3で割った余りが1であることを証明します。 (2) 3つの整数 $x, y, z$ が等式 $x^...

整数の性質合同式背理法剰余
2025/7/16