(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

「数論」の関連問題

648の正の約数の個数と、それらの約数の総和を求める問題です。

約数素因数分解約数の個数約数の総和
2025/6/2

分数 $\frac{11}{101}$ を小数で表したとき、小数第50位の数字を求めよ。

循環小数分数割り算周期性
2025/6/1

与えられた(ア)~(ウ)の記述のうち、正しいものをすべて選び、正しくないものについてはその理由を説明する問題です。

素数倍数約数整数の性質
2025/6/1

すべての自然数 $n$ について、$3^{3n} - 2^n$ が25の倍数であることを数学的帰納法を用いて示す。

数学的帰納法整数の性質倍数
2025/6/1

2000の正の約数の個数とその総和を求める問題です。

約数素因数分解約数の個数約数の総和
2025/6/1

整数 $n$ について、$n^2$ が 5 の倍数ならば $n$ は 5 の倍数である。この事実を用いて、$\sqrt{5}$ が無理数であることを証明する。

無理数背理法整数の性質平方根
2025/6/1

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

無理数背理法平方根
2025/6/1

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

無理数背理法代数
2025/6/1

$\sqrt{3}$ が無理数であることを用いて、$\sqrt{3} + \sqrt{5}$ が無理数であることを背理法により証明する問題です。

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

与えられた式 $(a+d)\sqrt{7} = b+c$ (ただし $a, b, c, d$ は有理数) から、$a-d \neq 0$ と仮定した場合に矛盾が生じることを示し、最終的に $a=-d$...

無理数有理数矛盾代数
2025/6/1