$\sqrt{7}$ が無理数であることを用いて、$\sqrt{5} + \sqrt{7}$ が無理数であることを対偶を考えることによって証明する。

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

1. 問題の内容

7\sqrt{7} が無理数であることを用いて、5+7\sqrt{5} + \sqrt{7} が無理数であることを対偶を考えることによって証明する。

2. 解き方の手順

背理法を用いて証明する。
5+7\sqrt{5} + \sqrt{7} が有理数であると仮定する。
このとき、5+7=r\sqrt{5} + \sqrt{7} = r (rは有理数)と表せる。
両辺を2乗すると、
(5+7)2=r2(\sqrt{5} + \sqrt{7})^2 = r^2
5+235+7=r25 + 2\sqrt{35} + 7 = r^2
12+235=r212 + 2\sqrt{35} = r^2
235=r2122\sqrt{35} = r^2 - 12
35=r2122\sqrt{35} = \frac{r^2 - 12}{2}
rrが有理数なので、r2122\frac{r^2 - 12}{2}も有理数である。
したがって、35\sqrt{35}は有理数となる。
ここで、35=5×735 = 5 \times 7 である。
もし 35\sqrt{35} が有理数ならば、35=pq\sqrt{35} = \frac{p}{q} (p, qは互いに素な整数、q ≠ 0) と表せる。
両辺を2乗すると、
35=p2q235 = \frac{p^2}{q^2}
35q2=p235q^2 = p^2
p2p^2 は 35 の倍数であるため、pp も 35 の倍数でなければならない。したがって、p=35kp = 35k (kは整数) と書ける。
35q2=(35k)235q^2 = (35k)^2
35q2=352k235q^2 = 35^2 k^2
q2=35k2q^2 = 35k^2
同様に、q2q^2 は 35 の倍数であるため、qq も 35 の倍数でなければならない。
しかし、これは ppqq が互いに素であるという仮定に矛盾する。
したがって、35\sqrt{35} は無理数である。
35=r2122\sqrt{35} = \frac{r^2 - 12}{2} において、左辺は無理数、右辺は有理数なので矛盾する。
よって、5+7\sqrt{5} + \sqrt{7} は無理数である。

3. 最終的な答え

5+7\sqrt{5} + \sqrt{7} は無理数である。

「数論」の関連問題

問題1:$1000!$ を計算したとき、一の位から続けていくつの0が並ぶか。 問題2:50以下の2桁の正の整数について、 (1) 正の約数の個数がちょうど2個になる整数の個数を求めよ。 (2)...

素因数分解約数の個数階乗素数
2025/7/22

与えられた選択肢の中から、正しいものをすべて選ぶ問題です。 (1) 無理数と有理数の和は常に無理数である。 (2) 無理数と有理数の和は常に有理数である。 (3) 無理数と有理数の積は常に無理数である...

無理数有理数数の性質証明
2025/7/22

与えられた選択肢の中から、正しいものをすべて選ぶ問題です。 各選択肢は以下の通りです。 (1) 無理数と無理数の差は常に無理数である。 (2) 有理数と有理数の差は常に有理数である。 (3) 無理数と...

数の性質有理数無理数四則演算
2025/7/22

与えられた選択肢の中から、常に正しいものを全て選びます。 (1) 無理数と無理数の和は常に無理数である。 (2) 無理数と有理数の和は常に有理数である。 (3) 無理数と有理数の積は常に無理数である。...

無理数有理数数の性質代数
2025/7/22

与えられた選択肢の中から、常に正しいものをすべて選ぶ問題です。選択肢は以下の通りです。 (1) 無理数と無理数の差は常に無理数である。 (2) 有理数と有理数の差は常に有理数である。 (3) 無理数と...

有理数無理数数の性質四則演算
2025/7/22

(1) $6^{2024}$ を11で割った余りを求める。 (2) $6^{2024}$ の下2桁の数字を求める。

合同算術剰余周期性桁数
2025/7/22

与えられた数 $\sqrt{10}$ が有理数か無理数かを判定する問題です。

無理数有理数平方根背理法数の性質
2025/7/22

与えられた数 $-\sqrt{63}$ が有理数か無理数かを答える問題です。

数の分類有理数無理数平方根ルート
2025/7/22

RSA暗号に関する2つの問題が出題されています。 (1) $-13e + (p-1)(q-1) = 1$ という条件から、$ed \mod (p-1)(q-1) = 1$を満たす自然数 $d$ ($1...

RSA暗号合同式mod演算2進数高速指数演算
2025/7/22

与えられた選択肢の中から、正しい記述をすべて選択する問題です。選択肢は、無理数と有理数の和または積が、常に無理数または有理数になるかどうかを述べています。

無理数有理数数の性質証明
2025/7/21