$\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} は無理数である。

「数論」の関連問題

数列 $a_n = 3 \cdot 4^n - 6$ が与えられている。$a_n$ が7の倍数であるための必要十分条件は、$n$ がある数で割ったときに余りが別の数になるという。その割る数と余りを求め...

合同式数列剰余
2025/5/9

数列 $a_n$ が $a_n = 3 \cdot 4^n - 6$ で与えられているとき、$a_n$ が7の倍数であるための必要十分条件は、$n$ がある数で割るとある数余るという形で表される。この...

合同式整数の性質数列
2025/5/9

数列 $a_n$ が $a_n = 3 \cdot 4^n + 6$ で定義されているとき、$a_n$ が7の倍数となるための $n$ の必要十分条件は、$n$ がある数で割るとある数余るという形にな...

合同式等比数列周期性剰余
2025/5/9

問題1:方程式 $19x - 11y = 1$ を満たす整数の組 $(x, y)$ のうち、$x$ の値が最も100に近いのは、$y$ がいくつのときか。 問題2:方程式 $xy + 3x + 5y ...

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

学籍番号の下2桁を2倍し、100を足した数を求め、その数を2つの素数の和で表す。学籍番号は「2401068」とする。

素数素数分解整数の性質
2025/5/9

問題は、素因数分解とゴールドバッハ予想に関するものです。具体的には、与えられた数値を素因数分解したり、2つの素数の和で表現したりします。問題1から5は素因数分解、問題6から9は与えられた数を2つの素数...

素因数分解ゴールドバッハ予想素数整数の性質
2025/5/9

7進法で表すと3桁になる正の整数がある。この整数を11進法で表すと、やはり3桁になり、数字の順序が逆になる。この整数を10進法で表わせ。

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

$n$ は自然数とする。命題「$n$ は素数である $\Rightarrow$ $n$ は奇数である」が偽であることを示す。

素数命題反例論理
2025/5/8

$\sqrt{2}$ が無理数であることを利用して、$1 + 3\sqrt{2}$ が無理数であることを証明します。

無理数背理法証明
2025/5/8

この問題は、3桁の自然数における興味深い性質について話し合う裕太さんと千秋さんの会話をもとに、いくつかの問いに答えるものです。 (1) 会話中の空欄ア~エに当てはまる数を求めます。 (2) 下線部の内...

整数の性質カプレカ数数の並べ替え
2025/5/8