問題1:全体集合$U$とその部分集合$A, B, C$が与えられたとき、集合演算(和集合、共通部分、補集合)の結果を求める。 問題2:$x, y$が実数のとき、条件の必要条件・十分条件を判定する。 問題3:整数$n$について、$n^2$が3の倍数ならば、$n$は3の倍数であることを証明する。 問題4:有理数$a, b$について、$\sqrt{2}$が無理数であることを利用して、与えられた命題を証明する、または$a, b$の値を求める。 問題5:命題$p \implies q$が真であるとき、$P, Q$について常に成り立つものを選択する。
2025/4/26
はい、承知いたしました。それでは、問題文に沿って各問題の解答と解説を記述します。
1. 問題の内容
問題1:全体集合とその部分集合が与えられたとき、集合演算(和集合、共通部分、補集合)の結果を求める。
問題2:が実数のとき、条件の必要条件・十分条件を判定する。
問題3:整数について、が3の倍数ならば、は3の倍数であることを証明する。
問題4:有理数について、が無理数であることを利用して、与えられた命題を証明する、またはの値を求める。
問題5:命題が真であるとき、について常に成り立つものを選択する。
2. 解き方の手順
問題1:
(1) :との要素をすべて集めた集合。
(2) :の補集合との和集合。まずを求め、その後和集合を求める。
(3) :との共通部分。
(4) :すべての共通部分。
(5) :すべての和集合。
(6) :の共通部分との補集合の共通部分。まずを求め、その後共通部分を求める。
問題2:
(1) 二等辺三角形であることは正三角形であるための何条件か?
正三角形ならば必ず二等辺三角形だが、二等辺三角形でも正三角形とは限らない。したがって、必要条件である。
(2) は、であるための何条件か?
ならば、。
また、ならば、より、。よって、。
したがって、必要十分条件である。
(3) は、「または」であるための何条件か?
のとき、だが、でもでもない。したがって十分条件ではない。
またはならば、とは限らない。 ならば、だが、。必要条件でもない。
したがって、必要条件でも十分条件でもない。
問題3:
が3の倍数ならば、は3の倍数であることを証明する。対偶を証明する。
が3の倍数でないと仮定する。このとき、または(は整数)。
のとき、。
のとき、。
いずれの場合も、は3の倍数ではない。したがって、対偶が真なので、元の命題も真である。
問題4:
(1) を証明する。
と仮定すると、。したがって、。が有理数なので、も有理数となり、が無理数であることに矛盾する。したがって、。
のとき、。よって、。
(2) を満たす有理数の値を求めよ。
。
(1)の結果より、かつ。したがって、。
問題5:
命題が真であるとき、が成り立つ。
したがって、選択肢の中からを選べば良い。
また、が成り立つ。
3. 最終的な答え
問題1:
(1)
(2)
(3)
(4)
(5)
(6)
問題2:
(1) 必要条件
(2) 必要十分条件
(3) 必要条件でも十分条件でもない
問題3:
(証明は上記参照)
問題4:
(1) (証明は上記参照)
(2)
問題5:
②
⑥