(1) $a, b$ が有理数、$u$ が無理数で、$a + bu = 0$ であるならば、$a = 0$ かつ $b = 0$ であることを証明する。 (2) 次の等式を満たす有理数 $p, q$ の値を求める。 (ア) $(p - 3) + (q + 2)\sqrt{5} = 0$ (イ) $(1 + \sqrt{5})p + (3 - 2\sqrt{5})q = 0$

代数学無理数有理数証明方程式
2025/7/4

1. 問題の内容

(1) a,ba, b が有理数、uu が無理数で、a+bu=0a + bu = 0 であるならば、a=0a = 0 かつ b=0b = 0 であることを証明する。
(2) 次の等式を満たす有理数 p,qp, q の値を求める。
(ア) (p3)+(q+2)5=0(p - 3) + (q + 2)\sqrt{5} = 0
(イ) (1+5)p+(325)q=0(1 + \sqrt{5})p + (3 - 2\sqrt{5})q = 0

2. 解き方の手順

(1) a+bu=0a + bu = 0 において、b0b \neq 0 と仮定する。このとき、u=abu = -\frac{a}{b} となる。aabb は有理数なので、ab-\frac{a}{b} も有理数となり、uu が無理数であるという仮定に矛盾する。したがって、b=0b = 0 である。
b=0b = 0a+bu=0a + bu = 0 に代入すると、a+0u=0a + 0 \cdot u = 0 となり、a=0a = 0 となる。
よって、a=0a = 0 かつ b=0b = 0 が成り立つ。
(2)(ア) (p3)+(q+2)5=0(p - 3) + (q + 2)\sqrt{5} = 0
p3p - 3q+2q + 2 は有理数であり、5\sqrt{5} は無理数である。
(1)の結果より、p3=0p - 3 = 0 かつ q+2=0q + 2 = 0 となる。
したがって、p=3p = 3 かつ q=2q = -2 である。
(2)(イ) (1+5)p+(325)q=0(1 + \sqrt{5})p + (3 - 2\sqrt{5})q = 0
ppqq は有理数であるから、式を変形する。
p+p5+3q2q5=0p + p\sqrt{5} + 3q - 2q\sqrt{5} = 0
(p+3q)+(p2q)5=0(p + 3q) + (p - 2q)\sqrt{5} = 0
p+3qp + 3qp2qp - 2q は有理数であり、5\sqrt{5} は無理数である。
(1)の結果より、p+3q=0p + 3q = 0 かつ p2q=0p - 2q = 0 となる。
p+3q=0p + 3q = 0 より、p=3qp = -3q
これを p2q=0p - 2q = 0 に代入すると、3q2q=0-3q - 2q = 0 となり、5q=0-5q = 0 となる。
したがって、q=0q = 0 である。
q=0q = 0p=3qp = -3q に代入すると、p=3(0)=0p = -3(0) = 0 となる。
よって、p=0p = 0 かつ q=0q = 0 である。

3. 最終的な答え

(1) a=0a = 0 かつ b=0b = 0 であることを証明した。
(2)(ア) p=3,q=2p = 3, q = -2
(2)(イ) p=0,q=0p = 0, q = 0