$\sqrt{2} + 1$ が有理数であると仮定し、2つの自然数 $m, n$ を用いて $\sqrt{2} + 1 = \frac{n}{m}$ と表せるとする。ただし、$m, n$ は互いに素とする。このとき、$\sqrt{2}$ が $\frac{n}{m} - 1 = \frac{n-m}{m}$ となることを示す。

数論無理数有理数背理法平方根
2025/7/13

1. 問題の内容

2+1\sqrt{2} + 1 が有理数であると仮定し、2つの自然数 m,nm, n を用いて 2+1=nm\sqrt{2} + 1 = \frac{n}{m} と表せるとする。ただし、m,nm, n は互いに素とする。このとき、2\sqrt{2}nm1=nmm\frac{n}{m} - 1 = \frac{n-m}{m} となることを示す。

2. 解き方の手順

与えられた式 2+1=nm\sqrt{2} + 1 = \frac{n}{m} から 2\sqrt{2} について解く。
まず、両辺から1を引くと、
2=nm1\sqrt{2} = \frac{n}{m} - 1
次に、右辺を通分して整理すると、
2=nmmm=nmm\sqrt{2} = \frac{n}{m} - \frac{m}{m} = \frac{n - m}{m}
したがって、2=nmm\sqrt{2} = \frac{n-m}{m} となる。

3. 最終的な答え

2=nmm\sqrt{2} = \frac{n-m}{m}

「数論」の関連問題

整数 $n$ に対して、「$n^2$ が 7 の倍数ならば、$n$ は 7 の倍数である」という命題が真であるという事実を利用して、$\sqrt{7}$ が無理数であることを証明する。

無理数背理法整数の性質平方根
2025/7/15

命題「$n$ は整数とする。$n^2$ が3の倍数ならば、$n$ は3の倍数である」が真であることを利用して、$\sqrt{3}$ が無理数であることを証明する。

無理数背理法整数の性質平方根
2025/7/15

数列が群に分けられており、各群の項数は 2, 4, 6,... と増えている。このとき、157 が第何群の何番目にあるかを求める問題。

数列等差数列項数
2025/7/15

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

無理数背理法有理数平方根
2025/7/15

整数 $n$ について、「$n^2$ が奇数ならば、$n$ は奇数である」ことを証明する問題です。対偶を利用した証明の穴埋め問題となっています。

整数証明対偶偶数奇数命題
2025/7/15

自然数 $n$ に対して、$2n^3 - 3n^2 + n$ が6の倍数であることを、(1) 数学的帰納法, (2) 連続する3整数の積が6の倍数であることの利用、の2通りの方法で証明する。

整数の性質倍数数学的帰納法因数分解合同式
2025/7/15

(1) 与えられた命題の対偶が真であることを示し、元の命題が真であることを示す問題。 (2) $\sqrt{15}$ が無理数であることを利用して、$\sqrt{3} + \sqrt{5}$ が無理数...

命題対偶背理法無理数有理数連立方程式代数
2025/7/15

ヘパンの判定法を利用して、$F_2$ が素数であることを確かめる問題です。具体的には、以下の合同式を満たす①、②、③に当てはまる0から4の範囲の数字を求める問題です。 $5^2 \equiv ① \p...

合同式剰余べき乗フェルマーの小定理 (に関連)
2025/7/15

問題は、ヘパンの判定法を利用してF2が素数であることを確かめるために、与えられた合同式を満たす数字を求めることです。具体的には、以下の合同式における①、②、③に当てはまる0から4の範囲の数字を求めます...

合同式剰余べき乗
2025/7/15

問題は、ヘパンの判定法を利用して$F_2$が素数であることを確かめるというものです。具体的には、$5^2$, $5^4$, $5^8$ をそれぞれ4で割った余りを0から4の範囲で求めるという問題です。

合同式整数の性質フェルマーの小定理剰余
2025/7/15