$\sqrt{2}$ が無理数であることを用いて、$2 - \sqrt{2}$ と $\sqrt{8}$ が無理数であることを証明します。

数論無理数背理法平方根証明
2025/5/19

1. 問題の内容

2\sqrt{2} が無理数であることを用いて、222 - \sqrt{2}8\sqrt{8} が無理数であることを証明します。

2. 解き方の手順

(1) 222 - \sqrt{2} が無理数であることの証明
背理法を使います。222 - \sqrt{2} が有理数であると仮定すると、22=r2 - \sqrt{2} = r (rは有理数)と表せます。この式を変形すると、2=2r\sqrt{2} = 2 - r となります。2r2 - r は有理数なので、2\sqrt{2} も有理数であることになります。しかし、これは 2\sqrt{2} が無理数であるという仮定に矛盾します。したがって、222 - \sqrt{2} は無理数です。
(2) 8\sqrt{8} が無理数であることの証明
8=4×2=4×2=22\sqrt{8} = \sqrt{4 \times 2} = \sqrt{4} \times \sqrt{2} = 2\sqrt{2} と変形できます。
背理法を使います。8\sqrt{8} が有理数であると仮定すると、8=r\sqrt{8} = r (rは有理数)とおけます。
すると、22=r2\sqrt{2} = r となります。この式を変形すると、2=r2\sqrt{2} = \frac{r}{2} となります。rr が有理数なので、r2\frac{r}{2} も有理数です。したがって、2\sqrt{2} が有理数であることになります。これは 2\sqrt{2} が無理数であるという仮定に矛盾します。したがって、8\sqrt{8} は無理数です。

3. 最終的な答え

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

「数論」の関連問題

与えられた問題は3つの部分から構成されています。 (1) 整数 $n$ に対して、$n^5 - n$ が 5 の倍数であることを証明します。 (2) 整数 $n$ が 2 で割ると 1 余る (奇数で...

整数の性質倍数合同式因数分解
2025/6/5

自然数 $n$ に対して、$n$, $n+2$, $n+4$ がすべて素数となるのは $n=3$ の場合に限ることを、すべての自然数が $3k-2$, $3k-1$, $3k$ ($k$ は自然数) ...

素数整数の性質合同式
2025/6/5

問題は、2つの連続する奇数の積に1を加えると、結果が4の倍数になることを証明するものです。空欄cとdに入る適切な語句を答えます。

整数の性質倍数証明代数
2025/6/5

7進法で表された循環小数 $0.\dot{3}\dot{5}_{(7)}$ を5進法の小数で表す問題です。

数進法循環小数数の変換
2025/6/5

(1) $0 \le M \le 99$ を満たす整数 $M$ のうち、$M(M-1)$ が $25$ で割り切れるものを全て求める。 (2) $100 \le N \le 199$ を満たす整数 $...

合同式整数の性質剰余
2025/6/5

正の整数を5進法で表すと3桁の数$abc_{(5)}$となり、これを3倍して9進法に直すと3桁の数$cba_{(9)}$になる。このような条件を満たす整数を10進法で表せ。

進法整数方程式
2025/6/5

(1) 8633と6052の最大公約数を求めます。 (2) 方程式 $8633x + 6052y = 1068$ の整数解を全て求めます。

最大公約数ユークリッドの互除法不定方程式整数解
2025/6/5

問題は、与えられた条件「自然数 $n$ は奇数である」の否定を求めることです。

命題否定奇数偶数自然数
2025/6/4

問題は以下の通りです。 (1) $0$ と $1$ の間にあって、分母が $3^n$ ($n$ は定まった正の整数) であり、分子が $3$ で割り切れない整数の分数の和を $S_n$ とする。$S_...

数列等比数列分数
2025/6/4

自然数 $1, 2, \dots, n$ から異なる2つを取り出して積を作り、それらの積の総和を求める問題です。

総和自然数組み合わせ計算
2025/6/4