$\sqrt{6}$ が無理数であることを用いて、$\sqrt{3} - \sqrt{2}$ が無理数であることを証明する。

数論無理数背理法平方根
2025/5/18

1. 問題の内容

6\sqrt{6} が無理数であることを用いて、32\sqrt{3} - \sqrt{2} が無理数であることを証明する。

2. 解き方の手順

背理法を用いる。
32\sqrt{3} - \sqrt{2} が有理数であると仮定する。
32=r\sqrt{3} - \sqrt{2} = r (r は有理数)とおく。
両辺を2乗すると、
(32)2=r2(\sqrt{3} - \sqrt{2})^2 = r^2
326+2=r23 - 2\sqrt{6} + 2 = r^2
526=r25 - 2\sqrt{6} = r^2
26=5r22\sqrt{6} = 5 - r^2
6=5r22\sqrt{6} = \frac{5 - r^2}{2}
ここで、rrは有理数なので、r2r^2も有理数であり、5r25-r^2も有理数である。
したがって、5r22\frac{5 - r^2}{2} は有理数となる。
これは、6\sqrt{6} が無理数であるという仮定に矛盾する。
よって、32\sqrt{3} - \sqrt{2} は無理数である。

3. 最終的な答え

32\sqrt{3} - \sqrt{2} は無理数である。

「数論」の関連問題

問題文は「$mn$ が 3 の倍数ならば、$m, n$ の少なくとも一方は 3 の倍数である。」という命題が正しいことを証明または説明することを求めています。

整数の性質倍数背理法合同式
2025/5/18

整数 $n$ について、$n^2$ が5の倍数ならば、$n$ は5の倍数であることを証明する。

整数の性質倍数対偶証明法合同式
2025/5/18

実数 $x$ が正の無理数であるとき、$\sqrt{x}$ は無理数であることを証明する問題です。

無理数有理数背理法平方根証明
2025/5/18

正の偶数の列を、第 $n$ 群に $(2n-1)$ 個の数が入るように群に分ける。 (1) 第 $n$ 群の最初の数を $n$ の式で表す。 (2) 第10群に入るすべての数の和 $S$ を求める。

数列等差数列群数列偶数和の公式
2025/5/18

$2^l 3^m 5^n$ ($l, m, n$は自然数)の形で表される数で、500以下のものの個数とそれらの総和を求める。

整数の性質素因数分解不等式約数
2025/5/17

整数 $n$ について、「$3n$ が偶数ならば、$n$ は偶数である」という命題を、対偶を利用して証明する。

命題対偶整数偶数奇数証明
2025/5/17

整数 $n$ について、「$3n$が偶数ならば、$n$は偶数である」という命題を、対偶を利用して証明する。

命題対偶整数偶数奇数証明
2025/5/17

任意の整数 $n$ に対して、$n^7 - 6n^6 - 5n^5 + 6n^4 + 4n^3$ が18の倍数であることを示す問題です。

整数の性質倍数因数分解合同式
2025/5/17

任意の整数 $n$ に対して、$n^7 - 6n^6 - 5n^5 + 6n^4 + 4n^3$ が18の倍数であることを示す問題です。

整数の性質因数分解倍数合同式
2025/5/17

問題は、与えられた数 (1) 16 と (2) 360 の正の約数の個数をそれぞれ求める問題です。

約数素因数分解整数の性質
2025/5/17