(1) 整数 $a$ の平方 $a^2$ が3の倍数ならば、$a$ は3の倍数である。このことを用いて、$\sqrt{3}$ が無理数であることを証明する。 (2) 次の等式を満たす有理数 $a, b$ の値を求める。 $a-3+(2-b)\sqrt{3}+\sqrt{3}(a-2b\sqrt{3})=0$

数論無理数背理法有理数連立方程式平方根
2025/5/31

1. 問題の内容

(1) 整数 aa の平方 a2a^2 が3の倍数ならば、aa は3の倍数である。このことを用いて、3\sqrt{3} が無理数であることを証明する。
(2) 次の等式を満たす有理数 a,ba, b の値を求める。
a3+(2b)3+3(a2b3)=0a-3+(2-b)\sqrt{3}+\sqrt{3}(a-2b\sqrt{3})=0

2. 解き方の手順

(1) 3\sqrt{3} が無理数であることの証明
背理法を用いる。3\sqrt{3} が有理数であると仮定すると、互いに素な整数 m,nm, n を用いて 3=mn\sqrt{3} = \frac{m}{n} と表すことができる。
両辺を2乗すると、
3=m2n23 = \frac{m^2}{n^2}
3n2=m23n^2 = m^2
この式から、m2m^2 は3の倍数である。問題文の条件より、mm は3の倍数である。したがって、m=3km = 3kkk は整数)と表せる。
これを 3n2=m23n^2 = m^2 に代入すると、
3n2=(3k)2=9k23n^2 = (3k)^2 = 9k^2
n2=3k2n^2 = 3k^2
この式から、n2n^2 は3の倍数である。問題文の条件より、nn は3の倍数である。
mmnn も3の倍数となり、mmnn が互いに素であるという仮定に矛盾する。
したがって、3\sqrt{3} は無理数である。
(2) 等式を満たす有理数 a,ba, b の値を求める
a3+(2b)3+3(a2b3)=0a-3+(2-b)\sqrt{3}+\sqrt{3}(a-2b\sqrt{3})=0
a3+(2b)3+a32b(3)=0a-3+(2-b)\sqrt{3}+a\sqrt{3}-2b(3)=0
a3+(2b)3+a36b=0a-3+(2-b)\sqrt{3}+a\sqrt{3}-6b=0
(a36b)+(2b+a)3=0(a-3-6b)+(2-b+a)\sqrt{3} = 0
a,ba, b は有理数なので、a36ba-3-6b2b+a2-b+a も有理数である。3\sqrt{3} は無理数なので、
a36b=0a-3-6b = 0 かつ 2b+a=02-b+a = 0
という連立方程式が成り立つ。
a6b=3a-6b = 3
ab=2a-b = -2
2つの式を引き算すると、
5b=5-5b = 5
b=1b = -1
a(1)=2a - (-1) = -2
a=3a = -3

3. 最終的な答え

(1) 3\sqrt{3} は無理数である。(証明終わり)
(2) a=3a = -3, b=1b = -1

「数論」の関連問題

自然数をある規則に従って群に分けます。第$n$群は$2^{n-1}$個の数を含みます。 (1) 第$n$群の最初の数を$n$で表しなさい。 (2) 第$n$群に含まれる数の総和を求めなさい。 (3) ...

数列指数総和自然数
2025/8/2

与えられた問題は、以下の4つの問題から構成されています。 * **問題1**: 2進数 $101101_{(2)}$ を10進数に変換する。 * **問題2**: 216の正の約数の総和を求め...

進数変換約数整数の性質合同式剰余
2025/8/2

自然数 $n \geq 2$ が素数であるか、または素数の積であることを、累積帰納法を用いて証明する。

素数素因数分解数学的帰納法累積帰納法
2025/8/2

自然数 $n$ があり、$n$ を $7$ で割ると $2$ 余り、$9$ で割ると $7$ 余る。このとき、$n$ を $63$ で割ったときの余りを求める。

合同式剰余中国の剰余定理
2025/8/2

次の2つの不定方程式を満たす整数解 $(x, y)$ の組をそれぞれ1つ求める問題です。 (1) $42x + 29y = 2$ (2) $25x - 61y = 12$

不定方程式ユークリッドの互除法整数解
2025/8/2

$3n + 16$ と $4n + 18$ の最大公約数が 5 となるような、50以下の自然数 $n$ をすべて求めよ。

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

与えられた条件を満たす2つの自然数 $a, b$ の組をすべて求める問題です。ただし、$a < b$ とします。 (1) $a + b = 160$ かつ 最大公約数が 8 (2) $ab = 300...

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

$m$, $n$, $k$ は自然数とする。命題「積 $mnk$ が偶数ならば、$m$, $n$, $k$ の少なくとも1つは偶数である」の逆、対偶、裏をそれぞれ述べ、それらの真偽を調べよ。

命題対偶偶数奇数自然数真偽
2025/8/1

自然数 $a_1, a_2$ に対して、漸化式 $a_{k+2} = |a_{k+1} - a_k|$ ($k = 1, 2, ...$) によって数列 $\{a_k\}$ を定める。この数列において...

漸化式数列絶対値最大公約数
2025/8/1

$\sqrt{7}$ が無理数であることを証明します。ただし、$n$ を自然数とするとき、$n^2$ が 7 の倍数ならば、$n$ は 7 の倍数であることを用いてよいものとします。

無理数背理法平方根有理数素数
2025/8/1