(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/13

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 (n0n \neq 0) を用いて、
3=mn\sqrt{3} = \frac{m}{n} と表せる。
両辺を2乗すると、
3=m2n23 = \frac{m^2}{n^2}
3n2=m23n^2 = m^2
この式から、m2m^2 が3の倍数であることがわかる。整数 aa の平方 a2a^2 が3の倍数ならば、aa は3の倍数であるという条件から、mm は3の倍数である。
したがって、m=3km = 3k (kは整数) と表せる。
3n2=(3k)23n^2 = (3k)^2
3n2=9k23n^2 = 9k^2
n2=3k2n^2 = 3k^2
この式から、n2n^2 が3の倍数であることがわかる。したがって、nn は3の倍数である。
mmnn はともに3の倍数であることになり、これは mmnn が互いに素であるという仮定に矛盾する。
したがって、3\sqrt{3} は無理数である。
(2) a3+(2b)3+3(a2b3)=0a-3+(2-b)\sqrt{3}+\sqrt{3}(a-2b\sqrt{3})=0 の計算
与えられた式を整理する。
a3+(2b)3+a32b(3)2=0a - 3 + (2 - b)\sqrt{3} + a\sqrt{3} - 2b(\sqrt{3})^2 = 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 は有理数であり、3\sqrt{3} は無理数であるから、
a36b=0a - 3 - 6b = 0
2b+a=02 - b + a = 0
これらの連立方程式を解く。
a6b=3a - 6b = 3
ab=2a - b = -2
上の式から下の式を引くと、
5b=5-5b = 5
b=1b = -1
a(1)=2a - (-1) = -2
a=3a = -3

3. 最終的な答え

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

「数論」の関連問題

与えられた選択肢の中から、正しいものを全て選ぶ問題です。 選択肢は以下の4つです。 (1) 無理数と無理数の差は常に無理数である。 (2) 有理数と有理数の差は常に有理数である。 (3) 無理数と無理...

有理数無理数数の性質四則演算
2025/7/30

$n^2 + n$ が200の倍数となるような自然数 $n$ のうち、最も小さい数を求めよ。

整数の性質因数分解倍数約数
2025/7/30

自然数 $n$ に対して、$2^{6n-5} + 3^{2n}$ が11で割り切れることを示す問題です。

数学的帰納法整数の性質割り算倍数
2025/7/30

自然数 $n$ が与えられたとき、$n$ と 28 の最小公倍数が 168 であるような $n$ をすべて求める問題です。

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

4で割ると1余る整数と4で割ると3余る整数の積に1を加えた数が、4の倍数であることを証明する問題です。空欄(1)~(6)に適切な選択肢を当てはめます。

整数の性質合同式剰余
2025/7/30

$1997^{20}$ の一の位の数を求める問題です。

整数の性質合同算術一の位周期性
2025/7/30

$\sqrt{5}$が無理数であることを利用して、$2 - \sqrt{5}$が無理数であることを証明する問題です。与えられた証明の空欄を埋めます。

無理数有理数背理法数の性質
2025/7/30

自然数 $n$ についての命題「$n$ が 3 の倍数ならば、$n$ は 6 の倍数である」の真偽を判定する問題です。

倍数命題真偽判定反例
2025/7/30

次の2つの一次不定方程式の整数解をすべて求めます。 (1) $11x + 8y = 1$ (2) $56x - 23y = 2$

一次不定方程式整数解ユークリッドの互除法
2025/7/30

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

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