$\sqrt{2}$ が無理数であることを用いて、$3 - 5\sqrt{2}$ が無理数であることを証明する問題です。

数論無理数背理法代数的数
2025/5/9

1. 問題の内容

2\sqrt{2} が無理数であることを用いて、3523 - 5\sqrt{2} が無理数であることを証明する問題です。

2. 解き方の手順

背理法を用いて証明します。
(1) 3523 - 5\sqrt{2} が有理数であると仮定します。
(2) ある有理数 rr が存在して、
352=r3 - 5\sqrt{2} = r
と表せるとします。
(3) 上記の式を 2\sqrt{2} について解きます。
352=r3 - 5\sqrt{2} = r
52=r3-5\sqrt{2} = r - 3
2=3r5\sqrt{2} = \frac{3 - r}{5}
(4) rr は有理数なので、3r3 - r も有理数であり、3r5\frac{3 - r}{5} も有理数です。
これは 2\sqrt{2} が有理数であることを意味します。
(5) しかし、これは 2\sqrt{2} が無理数であるという前提と矛盾します。
(6) したがって、3523 - 5\sqrt{2} が有理数であるという仮定は誤りです。
(7) よって、3523 - 5\sqrt{2} は無理数です。

3. 最終的な答え

3523 - 5\sqrt{2} は無理数である。

「数論」の関連問題

$n^2 + n$ が200の倍数となるような自然数 $n$ のうち、最も小さい数を求めよ。

整数の性質因数分解倍数約数
2025/7/30

自然数 $n$ に対して、$2^{6n-5} + 3^{2n}$ が11で割り切れることを示す問題です。

数学的帰納法整数の性質割り算倍数
2025/7/30

自然数 $n$ が与えられたとき、$n$ と 28 の最小公倍数が 168 であるような $n$ をすべて求める問題です。

最小公倍数素因数分解整数の性質
2025/7/30

4で割ると1余る整数と4で割ると3余る整数の積に1を加えた数が、4の倍数であることを証明する問題です。空欄(1)~(6)に適切な選択肢を当てはめます。

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

$1997^{20}$ の一の位の数を求める問題です。

整数の性質合同算術一の位周期性
2025/7/30

$\sqrt{5}$が無理数であることを利用して、$2 - \sqrt{5}$が無理数であることを証明する問題です。与えられた証明の空欄を埋めます。

無理数有理数背理法数の性質
2025/7/30

自然数 $n$ についての命題「$n$ が 3 の倍数ならば、$n$ は 6 の倍数である」の真偽を判定する問題です。

倍数命題真偽判定反例
2025/7/30

次の2つの一次不定方程式の整数解をすべて求めます。 (1) $11x + 8y = 1$ (2) $56x - 23y = 2$

一次不定方程式整数解ユークリッドの互除法
2025/7/30

問題は、次の不定方程式を満たす整数 $x$ と $y$ の組を1つ求めることです。 (1) $42x + 29y = 2$ (2) $25x - 61y = 12$

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

$3n+16$ と $4n+18$ の最大公約数が 5 となるような、50 以下の自然数 $n$ をすべて求める問題です。

最大公約数ユークリッドの互除法整数の性質倍数
2025/7/30