※記事の改善を目的に簡単なアンケートを記事の最下段に設置しています※
※わかりやすい、わかりにくい、両方の貴重なご意見を頂き、日々改善しております。※
※ご協力よろしくお願いいたします&ありがとうございます!※

ド・モルガンの法則の問題の解法

ド・モルガンの法則を使うと解きやすくなる問題です。

基本問題

全体集合UをU=\{n|n1000以下の自然数\}とする。
AがUの部分集合で、A=\{3n+1|nは自然数\}の集合とする。
BがUの部分集合で、B=\{3n+2|nは自然数\}の集合とする。
CがUの部分集合で、C=\{3^n|nは自然数\}の集合とする。
(1)\overline{A \cup B}を求めなさい。
(2)C \subset \overline{A} \cap \overline{B}であることを示しなさい。

解き方

補集合の和や積が出てきたときは、ド・モルガンの法則を使うと簡単になることがあります。

解説

(1)\overline{A \cup B}を求めなさい。
まずはどのような集合になるのか確認しておきましょう。
A=\{1,4,7,11,...\}
B=\{2,5,8,12,...\}
A\cup B = \{1,2,4,5,7,8,10,11,...\}
\overline{A \cup B} = \{3,6,9,...\}
どうやら3の倍数でない数がA\cup Bで、という事は3の倍数が\overline{A \cup B}になりそうですね。

A\cup B \cup \{3n|nは自然数\}3n+1,3n+2,3nで表される数です。
自然数は3で割ると「割り切れる数」「1余る数」「2余る数」に分類できますから、これは自然数全体になりますね。
\{3n|nは自然数\}A\cup Bの補集合です。
\overline{A \cup B}=\{3n|nは自然数\}になります。

(2)C \subset \overline{A} \cap \overline{B}であることを示しなさい。
まず\overline{A} \cap \overline{B}がどのような集合になるのか求めておきましょう。
ド・モルガンを使ってくださいと言わんばかりの問題ですね。
(それとなくド・モルガンを使うような、使うとすごく楽になるような、そんな良い問題が作れずすみません。)

\overline{A} \cap \overline{B}の要素は3n+1ではない数と3n+2ではない数の共通部分です。
このままどのような集合になるか求めても良いのですが、ド・モルガンの法則を使いましょう
\overline{A} \cap \overline{B}=\overline{A\cup B}となります。
(1)の答えから
\overline{A} \cap \overline{B}=\{3n|nは自然数\}となります。

後は部分集合になる証明ですね。
部分集合の証明については部分集合であることの証明の問題の解法もご参照ください。

C=\{3^n|nは自然数\}でしたので、C\ni m=3^n(nは自然数)が\overline{A} \cap \overline{B}に含まれている事を示すわけですが、前半部分で示した通り\{3n|nは自然数\}に含まれることを示せばよいですね。
3^n=3\cdot 3^{n-1}ですね。
3^{n-1}は(nは自然数)でしたので、整数になります。
3^n=3\cdot 3^{n-1} \in \{3n\}です。
従ってC \subset \overline{A} \cap \overline{B}になります。

終わりに

補集合の和や積を求めるのが難しそうなとき、ド・モルガンの法則が使えないか思い出しましょう。
ド・モルガンの法則は、「和や積の補集合は途中で切ると和積が反転する」ので覚えやすいですね。
\overline{A\cup B}=\overline{A}\cap \overline{B}
\overline{A\cap B}=\overline{A}\cup \overline{B}

関連

部分集合であることの証明の問題の解法
ド・モルガンの法則の問題の解法

アンケートのご協力をお願いいたします

最後までお読みいただきありがとうございました。 よろしければ記事改善のためのアンケートにご協力頂けましたら幸いです。 頂いた内容をもとに近日中に記事を改善させていただきます。 ご質問は数学の問題に関する質問から頂けますとお返事させて頂きます。

記事を作成するうえでの参考にご意見いただければ幸いです。

疑問は解消されましたか?
 された されなかった

このページの記事の内容はわかりやすかったですか?
 わかりやすい わかりにくい

よろしければわかりにくい場合の理由を教えてください。
 細かすぎる、当たり前なところまで書きすぎ 粗すぎる、行間の不足、論理の飛躍 前提となる知識の記載が無い 言葉の意味が分からない 答えに至る過程の何故そう考えたかの記載が無い 難しすぎてわからない 簡単すぎる 求めていた例題と異なる

ご要望やご意見、もしくは困っている事等(任意)


内容に問題が無ければこちらにチェックをつけて送信ボタンをクリックしてください。

数学解法の目次ページ

数学のコンテンツで数学の演習問題の解法を解説しています。 高校の範囲に限定した目次を作成しました。
高校数学の解法(目次)
数学のコンテンツで数学の演習問題の解法を解説しています。 中学校の範囲に限定した目次を作成しました。
中学数学の解法(目次)
数学, 解法
  • このエントリーをはてなブックマークに追加
  • Evernoteに保存Evernoteに保存