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

数論無理数背理法有理数平方根
2025/6/12

1. 問題の内容

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

2. 解き方の手順

背理法を用いて証明する。
1+263\frac{1+2\sqrt{6}}{3} が有理数であると仮定する。
このとき、1+263=r\frac{1+2\sqrt{6}}{3} = rrr は有理数)とおける。
この式を変形して、6\sqrt{6} が有理数で表せることを示す。
両辺に3をかけると、
1+26=3r1+2\sqrt{6} = 3r
26=3r12\sqrt{6} = 3r - 1
6=3r12\sqrt{6} = \frac{3r - 1}{2}
ここで、rr は有理数なので、3r13r-1 も有理数である。
また、22 は有理数なので、3r12\frac{3r-1}{2} も有理数である。
したがって、6\sqrt{6} は有理数となる。
これは 6\sqrt{6} が無理数であるという仮定に矛盾する。
よって、1+263\frac{1+2\sqrt{6}}{3} は無理数である。

3. 最終的な答え

1+263\frac{1+2\sqrt{6}}{3} は無理数である。

「数論」の関連問題

問題は、真分数を分母の小さい順に並べた数列 $\{a_n\}$ について、いくつかの値を求めたり、和を計算したりする問題です。

数列分数数列の一般項
2025/7/28

真分数を分母の小さい順に並べた数列$\{a_n\}$について、以下の問いに答える問題です。 (1) $a_{15}$ を求め、分母に初めて8が現れる項を求めます。 (2) $k \ge 2$ の自然数...

分数数列分母
2025/7/28

自然数 $n$ に対して、$n+1$ が6の倍数であり、$n+4$ が9の倍数であるとき、$n+13$ が18の倍数であることを証明する。

倍数整数の性質合同式証明
2025/7/28

2つの自然数 $a$ と $b$ が互いに素であるとき、$a$ と $a+b$ が互いに素であることを証明する。

互いに素証明背理法整数の性質
2025/7/28

2つの自然数 $a, b$ (ただし $a < b$)について、以下の2つの条件を満たす $a, b$ の組を全て求める問題です。 (1) 和が160で、最大公約数が8 (2) 積が300で、最小公倍...

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

$n$ は正の整数とする。$n, 175, 250$ の最大公約数が $25$、最小公倍数が $3500$ であるような $n$ をすべて求めよ。

最大公約数最小公倍数整数の性質素因数分解
2025/7/28

500以下の自然数の中で、正の約数の個数が9個である数は何個あるか。

約数素因数分解整数の性質
2025/7/28

問題は、与えられた数 (1) 196, (2) 936, (3) 3150 の正の約数の個数を求めることです。さらに、(1) 196 と (2) 936 については、約数の総和も求める必要があります。

約数素因数分解約数の個数約数の総和
2025/7/28

与えられた3つの整数(252, 675, 1782)をそれぞれ素因数分解する問題です。

素因数分解整数の性質
2025/7/28

20の倍数で、正の約数の個数が15個である自然数 $n$ をすべて求めよ。

約数素因数分解倍数
2025/7/28