1. 問題の内容
が無理数であることを背理法で証明する問題です。空欄シ、ス、セを埋める必要があります。
2. 解き方の手順
* まず、 が無理数でないと仮定しているので、 は有理数であると言えます。よって、シには「有理数」が入ります。
* 次に、 とおきます。(は有理数)この式を変形して、 を で表します。
* より、 となります。よって、スには が入ります。
* が有理数なので、 も有理数です。したがって、 が有理数であることになります。これは が無理数であることに矛盾します。よって、セには「無理数」が入ります。
3. 最終的な答え
シ:有理数
ス:
セ:無理数