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

数論無理数背理法証明
2025/6/9

1. 問題の内容

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

2. 解き方の手順

背理法を用いる。
まず、323\sqrt{2} が無理数でない、つまり有理数であると仮定する。
すると、32=r3\sqrt{2} = r となる有理数 rr が存在する。
両辺を3で割ると、
2=r3\sqrt{2} = \frac{r}{3}
rr は有理数なので、r/3r/3 も有理数である。
これは、「2\sqrt{2}が無理数である」という仮定に矛盾する。
したがって、323\sqrt{2} は有理数であるという仮定が誤りであり、323\sqrt{2} は無理数である。

3. 最終的な答え

323\sqrt{2} は無理数である。

「数論」の関連問題

(5) 5で割ると3余り、8で割ると1余る自然数の中で最も小さいものを求める。 (6) 14で割ると3余り、21で割ると12余るような整数が存在しないことを示す。

合同式剰余不定方程式
2025/7/17

(5) 5で割ると3余り、8で割ると1余る自然数のうち、最も小さいものを求める。 (6) 14で割ると3余り、21で割ると12余るような整数が存在しないことを示す。

合同式中国剰余定理剰余最大公約数
2025/7/17

1から1000までの自然数全体の集合を$M$とする。$15!$の素因数分解を $15! = p_1^{m_1} p_2^{m_2} p_3^{m_3} p_4^{m_4} p_5^{m_5} p_6^...

素因数分解素数合同式最大公約数互いに素
2025/7/17

問題は以下の通りです。 (3) $p_5 x - p_6 y = 1$ が成り立つような $M$ の要素の組 $(x, y)$ は全部で何個あるか。それらのうち、$x$ が最小のものは $(x, y)...

不定方程式互いに素整数論集合
2025/7/17

正の整数 $x$ を素因数分解したときに現れるすべての素数を一度ずつ掛け合わせて得られる積を $\text{rad}(x)$ で表す。例えば、$\text{rad}(12) = 6$, $\text{...

素因数分解剰余数列周期性
2025/7/17

## 問題 1(1) の内容

数学的帰納法等式不等式階乗
2025/7/17

奇数の数列 ${a_n}$ があり、それを第 $n$ 群に $n$ 個の項を含むように分割する。 (1) 第10群の3番目の数を求める。 (2) 第 $n$ 群の最後の数を求める。 (3) 第 $n$...

数列群分け奇数等差数列総和
2025/7/16

整数の中で、2でも3でも5でも割り切れないものだけを小さい順に並べた数列がある。この数列の150番目の数を、選択肢の中から選ぶ問題。選択肢は以下の通り。 1: 541 2: 547 3: 557 4:...

整数の性質包除原理数列
2025/7/16

(1) $10^{10}$ を $2020$ で割った余りを求める。 (2) $100$桁の正の整数で、各位の数の和が $2$ となるもののうち、$2020$ で割り切れるものの個数を求める。

剰余合同式整数の性質桁数約数
2025/7/16

整数 $a$ を $n$ 回かけることを $a \times \langle n \rangle$ で表し、整数 $b$ の一の位の数を $||b||$ で表す。$a$ が整数のとき、$|| a \t...

整数の性質べき乗一の位
2025/7/16