$\sqrt{5}$ が有理数でないことを背理法で証明する問題です。空欄を埋めて証明を完成させます。

数論背理法無理数平方根有理数
2025/3/27

1. 問題の内容

5\sqrt{5} が有理数でないことを背理法で証明する問題です。空欄を埋めて証明を完成させます。

2. 解き方の手順

まず、5\sqrt{5} が有理数であると仮定します。すると、5=qp\sqrt{5} = \frac{q}{p} (p, qは互いに素な正の整数)と表せます。両辺を2乗すると、5=q2p25 = \frac{q^2}{p^2} となり、5p2=q25p^2 = q^2 ... (1) が得られます。
* q2q^2 は5の倍数である。
ここで、q=5s+tq = 5s + t とおきます。ただし、ssは0以上の整数、ttは5未満の0以上の整数である。
q2=(5s+t)2=25s2+10st+t2q^2 = (5s + t)^2 = 25s^2 + 10st + t^2
q2=5×5s2+2×5st+t2q^2 = 5 \times 5s^2 + 2 \times 5 st + t^2
* このとき、q2=25s2+10st+t2q^2 = 25s^2 + 10st + t^2 となる。
したがって、q2q^2が5の倍数であるためには、0t<50 \le t < 5なので、t=0t = 0でなければなりません。
* t=0t=0でなければならない。
このことから、q=5sq = 5s ... (2) となります。(2)を(1)に代入すると、5p2=(5s)2=25s25p^2 = (5s)^2 = 25s^2、よって、p2=5s2p^2 = 5s^2となります。
* p2=5s2p^2 = 5s^2
すると、上と同様にしてppは5の倍数となる。これはp,qが互いに素であるという条件に矛盾するため、5\sqrt{5}は有理数ではない。

3. 最終的な答え

* 1: 5
* 2: 5
* 3: 25
* 4: 10
* 5: 2
* 6: +
* 7: 0
* 8: 5
* 9: 5
* 10: 5

「数論」の関連問題

次の2つの不定方程式の整数解をすべて求める問題です。 (1) $3x - 5y = 1$ (2) $75x + 64y = 1$

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

$n > 1$ のとき、$n^7 - n$ が42で割り切れることを示す問題です。

整数の性質合同式因数分解フェルマーの小定理
2025/3/31

$n > 1$ のとき、$n^7 - n$ が $42$ で割り切れることを示す問題です。

整数の性質割り算因数分解フェルマーの小定理
2025/3/31

$n$ を自然数とするとき、「$n$ が 3 の倍数ならば $n^2$ も 3 の倍数となる」という命題の逆と裏の真偽を判定し、正しい組み合わせを選ぶ問題です。

命題真偽倍数整数の性質対偶
2025/3/31

自然数 $n$ に対して、「$n$ が 3 の倍数ならば、$n^2$ も 3 の倍数となる」という命題がある。この命題の逆と裏の真偽を判定し、正しい組み合わせを選択する。

命題真偽倍数対偶
2025/3/31

$n$ を自然数とし、$1$ から $n$ までの異なる $n$ 個の自然数からなる集合を $N$ とする。$N$ の2つの部分集合 $P_1, P_2$ は $P_1 \cap P_2 = \emp...

集合部分集合整数の性質合同式
2025/3/30

最大公約数が4, 最小公倍数が84であるような2つの自然数の組をすべて求める問題です。

最大公約数最小公倍数整数の性質互いに素
2025/3/30

与えられた数 $0, 30, \sqrt{30}$ のうち、有理数はどれかを選択する問題です。

有理数無理数数の分類
2025/3/30

(1) $-28$ を $3$ で割ったときの余りを求めよ。 (2) $a, b$ は整数で、$a$ を $8$ で割ると $3$ 余り、$b$ を $8$ で割ると $6$ 余る。このとき、$3a^...

剰余合同式末尾の0素因数分解フェルマーの小定理
2025/3/30

整数 $m$ と自然数 $n$ があり、$m$ を $2n-1$ で割ると $n-1$ 余り、$2n+1$ で割ると $n$ 余る。 (1) $2n-1$ と $2n+1$ が互いに素であることを示す...

合同式最大公約数中国剰余定理整数の性質
2025/3/30