(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

「数論」の関連問題

(1) 4で割ると1余り、7で割ると3余る3桁の自然数の中で最大のものを求める。 (2) 11で割ると2余り、13で割ると5余る4桁の自然数の中で最小のものを求める。

合同式剰余最大公約数最小公倍数
2025/5/13

$n$ は自然数とする。$n^2+n+6$ と $n+5$ の最大公約数として考えられる数をすべて求める。

最大公約数整数の性質合同式
2025/5/13

与えられた6つの一次不定方程式について、全ての整数解を求める。

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

与えられた不定方程式の整数解を全て求める問題です。具体的には以下の4つの方程式の整数解を求めます。 (2) $55x + 23y = 1$ (3) $58x + 47y = 2$ (4) $61x -...

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

次の条件を満たす自然数 $n$ を求めます。 (1) $n, 12, 20$ の最大公約数が 4、最小公倍数が 180 (2) $n, 125, 175$ の最大公約数が 25、最小公倍数が 3500

最大公約数最小公倍数素因数分解整数の性質
2025/5/13

$n$ は正の整数とする。以下の2つの条件を満たす $n$ をすべて求める問題です。 (1) $n$ と18の最小公倍数が900 (2) $n$ と28の最小公倍数が7

最小公倍数素因数分解整数の性質
2025/5/13

(1) 20の倍数で、正の約数の個数が10個である自然数 $n$ を求めよ。 (2) 300以下の自然数のうち、正の約数の個数が9個である数をすべて求めよ。

約数素因数分解倍数
2025/5/13

正の実数 $x, y$ に関する次の命題の真偽を判定し、真ならば証明し、偽ならば反例を挙げる問題です。 (1) $x$ が無理数かつ $y$ が有理数ならば、$x+y$ は無理数である。 (2) $x...

無理数有理数証明背理法反例
2025/5/13

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

無理数背理法平方根証明
2025/5/13

自然数の列を、第$n$群が$2^{n-1}$個の自然数を含むように区切る。 (1) 第$n$群の最初の自然数を求める。 (2) 500が第何群の第何項かを求める。 (3) 第$n$群にあるすべての自然...

数列等比数列等差数列自然数
2025/5/13