$\sqrt{5}$ が無理数であることを用いて、$\sqrt{15} - \sqrt{3}$ が無理数であることを証明する問題です。証明の穴埋め形式になっています。

数論無理数背理法平方根証明
2025/4/8

1. 問題の内容

5\sqrt{5} が無理数であることを用いて、153\sqrt{15} - \sqrt{3} が無理数であることを証明する問題です。証明の穴埋め形式になっています。

2. 解き方の手順

背理法を用いて証明します。
153\sqrt{15} - \sqrt{3} が無理数でないと仮定すると、153\sqrt{15} - \sqrt{3} は有理数である。(ケ)
153=r\sqrt{15} - \sqrt{3} = r (rrは有理数) とおくと、 (153)2=r2(\sqrt{15} - \sqrt{3})^2 = r^2 となります。
(153)2=152153+3=18245=18295=1865(\sqrt{15} - \sqrt{3})^2 = 15 - 2\sqrt{15}\sqrt{3} + 3 = 18 - 2\sqrt{45} = 18 - 2\sqrt{9 \cdot 5} = 18 - 6\sqrt{5}
したがって、1865=r218 - 6\sqrt{5} = r^2 となります。
65=r218-6\sqrt{5} = r^2 - 18
5=18r26\sqrt{5} = \frac{18 - r^2}{6} (コ)
rr は有理数より、18r26\frac{18 - r^2}{6} も有理数です。
よって、5\sqrt{5} が無理数であることに矛盾する。(サ)
したがって、153\sqrt{15} - \sqrt{3} は無理数である。(シ)
ケの選択肢は「有理数」または「無理数」なので、上記より「有理数」です。
コは上記より 5 \sqrt{5}です
サの選択肢は、5 \sqrt{5}
シの選択肢は「有理数」または「無理数」なので、上記より「無理数」です。

3. 最終的な答え

ケ:有理数
コ:5\sqrt{5}
サ:5\sqrt{5}
シ:無理数

「数論」の関連問題

$\sqrt{3}$が有理数でないことを背理法で証明する。$\sqrt{3}$が有理数であると仮定し、$\sqrt{3} = \frac{q}{p}$($p, q$は互いに素な正の整数)と表される。こ...

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

$a = 3$、$b = 5$とする。$\mathbb{Z}/7\mathbb{Z}$ において、$a+b$ の値を求めよ。

合同算術剰余環Z/7Z
2025/7/4

$n=16$ および $a=134$ が与えられたとき、$a \equiv a' \pmod{n}$ となる $a'$ を集合 $\{0, 1, 2, 3, ..., n-1\}$ の中から選び、その...

合同式剰余mod
2025/7/4

(1) 100から600までの整数のうち、7で割ると余りが6となる数の個数を求めます。 (2) 200から400までの整数のうち、3または5で割り切れる数の個数と、3で割り切れるが5で割り切れない数の...

整数の性質約数と倍数剰余包除原理
2025/7/4

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

有理数無理数四則演算命題
2025/7/4

$n$ は0から4までの整数であるとき、$\sqrt{n}$ が無理数になる $n$ の値を全て求める。

平方根無理数有理数整数の性質
2025/7/4

(1) 整数 $m$ について、$m^2$ が 5 の倍数ならば $m$ は 5 の倍数であることを用いて、$\sqrt{5}$ が無理数であることを証明する。 (2) (1) の結果を用いて、$\s...

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

整数 $m, n$ に関する以下の3つの命題を証明します。 (1) $n^3 + 1$ が奇数ならば、$n$ は偶数である。 (2) $2m = 3n$ ならば、$m$ は 3 の倍数である。 (3)...

整数の性質命題証明対偶
2025/7/4

Z/7Zにおける乗法表の完成、逆元の計算、四則演算、Z/4Zが体にならない理由、および合同式の計算と曜日の計算を行う問題です。

合同算数有限体群論剰余環逆元曜日計算
2025/7/4

この問題は、以下の3つの部分から構成されています。 (1) 6121 が素数か合成数かを判定し、合成数であれば素因数分解を行う。 (2) 5183 が素数か合成数かを判定し、合成数であれば素因数分解を...

素数判定素因数分解約数
2025/7/4