有理数 $a, b, c, d$ と無理数 $\sqrt{3}$ に対して、$a + b\sqrt{3} = c + d\sqrt{3}$ ならば $a=c$ かつ $b=d$ であることを背理法で証明する問題です。
2025/6/1
1. 問題の内容
有理数 と無理数 に対して、 ならば かつ であることを背理法で証明する問題です。
2. 解き方の手順
背理法を用いるので、 かつ でない、つまり、 または であると仮定します。(ア)
式 より、 について解くと、
となります。(イ)
が有理数であるとき、 は有理数になります。
しかし、 は無理数であるため、矛盾が生じます。
したがって、 かつ であることが示されます。(ウ)
3. 最終的な答え
ア: または
イ:
ウ: かつ