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

数論無理数背理法有理数証明
2025/7/2

1. 問題の内容

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

2. 解き方の手順

背理法を用いる。つまり、1+321 + 3\sqrt{2} が有理数であると仮定し、矛盾を導く。
1+321 + 3\sqrt{2} が有理数であると仮定すると、ある有理数 rr を用いて
1+32=r1 + 3\sqrt{2} = r
と表せる。この式を変形すると、
32=r13\sqrt{2} = r - 1
2=r13\sqrt{2} = \frac{r - 1}{3}
ここで、rr は有理数なので、r1r - 1 も有理数であり、r13\frac{r - 1}{3} も有理数である。
したがって、2\sqrt{2} が有理数であることになり、これは 2\sqrt{2} が無理数であることに矛盾する。
よって、1+321 + 3\sqrt{2} は無理数である。

3. 最終的な答え

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

「数論」の関連問題

2つの合同方程式を解く問題です。 (2) $x^2 + 5x + 3 \equiv 0 \pmod{17}$ (3) $x^{10} \equiv 2 \pmod{17}$

合同式合同方程式原始根
2025/7/15

自然数 $n$ に対して、$5^n - 1$ が4の倍数であることを数学的帰納法を用いて証明する。

数学的帰納法倍数整数の性質
2025/7/14

$\sqrt{3} + \sqrt{5}$ が無理数であることを、$\sqrt{5}$ が無理数であることを用いて証明するために、背理法を用いる。 $\sqrt{3} + \sqrt{5}$ が有理数...

無理数背理法平方根代数
2025/7/14

奇数の数列 1, 3, 5, ... を、第 $n$ 群が $n$ 個の奇数を含むように分ける。 (1) 第10群の最初の数を求めよ。 (2) 第8群の数の和を求めよ。 (3) 999 は第何群の第何...

数列奇数等差数列数学的帰納法
2025/7/14

問題は以下の3つです。 * 問題1: $p = 11$ を法として、 $2, 3, ..., p-2 \pmod{p}$ を掛け合わせて $1 \pmod{p}$ となる二つの合同類の組に分ける。...

合同式Wilsonの定理Fermatの小定理2進展開剰余
2025/7/14

* 問1:$m = 20$ のとき、$\sum_{d|m} \phi(d) = m$ が成り立つことを確認する。 * 問2:$\phi(36)$ と $\phi(25)$ を計算する。 ...

オイラー関数合同式中国剰余定理
2025/7/14

ユークリッドの互除法を用いて、121と44の最大公約数を求める問題です。

最大公約数ユークリッドの互除法整数の性質
2025/7/14

ユークリッドの互除法を用いて、$gcd(127, 37)$、つまり127と37の最大公約数を求める問題です。

最大公約数ユークリッドの互除法整数の性質
2025/7/14

与えられた線形ディオファントス方程式 $127x + 37y = \gcd(127, 37)$ を満たす整数 $x$ と $y$ の組を、拡張ユークリッドの互除法を用いて求める問題です。

ディオファントス方程式拡張ユークリッドの互除法最大公約数
2025/7/14

ユークリッドの互除法を用いて、127と37の最大公約数(gcd)を求めます。

最大公約数GCDユークリッドの互除法整数
2025/7/14