部分集合であることを証明する問題です。
基本問題
(1)
は整数とするとき、A,Bの包含関係を示し、証明しなさい。
(2)は整数とするとき、A,Bの包含関係を示し、証明しなさい。
解き方
まずはどのような包含関係が成り立ちそうか推測したほうがいいですね。
試しに書き出してみるとわかりやすいと思います。
であれば「Aの要素であればBに含まれる」という事を示しましょう。
であればかつですから、「Aの要素であればBに含まれる」ことと、「Bの要素であればAに含まれる」という事を示しましょう。
解説
(1)は整数とするとき、A,Bの包含関係を示し、証明しなさい。
ですね。
どうやらになりそうです。
Bの要素はで表されます。
これはです。
は整数ですから、ですね。
従って、Bの要素はすべてAに含まれるため、になます。
(2)は整数とするとき、A,Bの包含関係を示し、証明しなさい。
ですね。
どうやらになりそうです。
を示しましょう。
Bの要素はで表されます。
これはです。
は整数ですから、ですね。
従って、Bの要素はすべてAに含まれるため、になます。
次にを示します。
Aの要素はで表されます。
これはです。
は整数ですから、ですね。
従って、Aの要素はすべてBに含まれるため、になます。
かつよりになります。
終わりに
証明問題は慣れないと中々書き出せないかもしれません。
しかし証明問題は問題に答えが書いてあるようなものです。
今回の問題であれば「包含関係があるんだな」というヒントがあって、
「一方の集合に含まれているならばどう書けるかな」
「もう一方の集合に含まれる形に変形できるかな」
と進めていけば証明することができる問題でした。
多くの証明問題は、「○○であることを示せ」ですから、もう「○○」が成り立つって答えを書いてくれているんですよ。
証明問題は慣れてしまえば得点源になります。
