$\sqrt{7}$ が有理数でないことを証明するために、空欄を埋める問題です。$\sqrt{7}$ が有理数であると仮定し、矛盾を導くことで証明を完成させます。

数論無理数背理法平方根整数の性質
2025/3/27

1. 問題の内容

7\sqrt{7} が有理数でないことを証明するために、空欄を埋める問題です。7\sqrt{7} が有理数であると仮定し、矛盾を導くことで証明を完成させます。

2. 解き方の手順

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

3. 最終的な答え

2: 7
3: 4
4: 9
5: 1
6: 4
7: 0
8: 7
9: 7
10: 7
したがって、空欄を埋めた最終的な答えは以下のようになります。
すなわち、q2q^2 は 7 の倍数である。ここで q=7s+tq = 7s + t とおく。
ただし、ss は0以上の整数、tt は7未満0以上の整数である。
このとき、q2=49s2+14st+t2q^2 = 49s^2 + 14st + t^2
したがって、q2q^2 が 7 の倍数であるためには、0t<70 \le t < 7 なので、t=0t = 0 でなければならない。このことから、q=7sq = 7s ... (2)
となり、(2)を(1)に代入すれば p2=7s2p^2 = 7s^2。すると、上と同様にして pp は 7 の倍数となる。これは p,qp, q の条件に矛盾するため、7\sqrt{7} は有理数ではない。

「数論」の関連問題

自然数Nを3進法で表すと4桁の数 $1ab1_{(3)}$ となり、5進法で表すと3桁の数 $a0b_{(5)}$ となる。 このとき、$a$, $b$, $N$ を求める。

進法整数方程式解法
2025/4/3

次の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