「合格するには勉強が必要」と「勉強すれば合格する」は、似ているようで違います。前者は欠かせない条件について、後者は結果を保証する条件についての話です。
必要条件と十分条件の違いは、矢印を一本書くと見やすくなります。まずは答えがはっきりしている、整数の例から考えてみましょう。
目次
必要条件と十分条件を、6の倍数で考える
整数について、「6の倍数なら、2の倍数である」は必ず成り立ちます。6、12、18……は、どれも2で割り切れます。
6の倍数 → 2の倍数
このとき、「6の倍数である」は「2の倍数である」ための十分条件。「2の倍数である」は「6の倍数である」ための必要条件です。
| 条件 | 意味 | この例での役割 |
|---|---|---|
| 十分条件 | それが成り立てば、結果まで進める | 6の倍数なら、必ず2の倍数 |
| 必要条件 | 結果が成り立つなら、必ず満たしている | 6の倍数になるには、2の倍数であることが欠かせない |
「十分」は、結果に届くための条件が足りていること。「必要」は、それが欠けたら結果に届けないこと、と読むと整理しやすくなります。
P → Qでは、どちらがどちらの条件?
「PならばQ」が成り立つとき、PはQの十分条件、QはPの必要条件です。ここでPとQは、真か偽かを判断できる文や条件を表しています。
矢印の出発点にあるPは、Qまで連れていってくれる条件。到着点にあるQは、Pが成り立つ場面では必ず一緒に成り立つ条件です。
名称の定義はMathWorldのNecessaryとSufficientでも確認できます。覚えるときは用語だけを唱えるより、一つの具体例に矢印を書いてみる方が確実です。
逆向きの矢印は、勝手に付け足せない
「6の倍数 → 2の倍数」が正しくても、「2の倍数 → 6の倍数」とは限りません。たとえば4は2の倍数ですが、6の倍数ではありません。
この「条件は満たすのに、結論が成り立たない例」が反例です。一つでも反例があれば、「いつでも成り立つ」という主張は崩れます。
必要条件を満たしていることは、結果の保証にはなりません。2の倍数という入口を通っても、6の倍数とは限らないのです。
この注意点は、結果から元の数をたどる逆算パズルでも確かめられます。操作によっては戻る候補が複数残るため、結果だけで決めず、元の数の範囲や操作の条件も確かめます。
必要十分条件は、両方向に進める条件
整数nについて、次の二つは同じ範囲の整数を指します。
- P:nは6の倍数である。
- Q:nは2の倍数であり、かつ3の倍数である。
P → Qも、Q → Pも成り立ちます。このように両方向の矢印が書けるとき、PとQは互いに必要十分条件です。記号ではP ⇔ Qと表します。
ここでは「整数」が大切です。条件を比べる前に、何を対象にしているのかをそろえましょう。自然数なのか、実数なのか、図形なのかによって、判断する範囲が変わります。
例題:「正方形」と「長方形」の関係は?
平面上の四角形を考え、長方形を「四つの角がすべて直角の四角形」と定義します。この定義では正方形も長方形に含まれます。
では、「正方形である」は「長方形である」ための必要条件でしょうか、十分条件でしょうか。
答えと考え方を見る
答えは十分条件です。「正方形 → 長方形」は成り立ちます。正方形なら四つの角は直角だからです。
逆向きは成り立ちません。縦2cm、横3cmの長方形は正方形ではないので、これが反例になります。
日常の「必要」には、前提が隠れている
「参加には会員登録が必要」というルールなら、参加者は登録済みでなければなりません。でも登録だけで参加できるとは限らず、定員や申し込み期限もあるかもしれません。
日常の会話では「絶対に必要」なのか、「普通は必要」なのかも混ざりがちです。「どのルールの中で」「例外なく」と言い換えると、数学の必要条件に近い形になります。
迷ったときは、二つの質問をする
- この条件があれば、必ず結果が出る? → 十分条件を調べる。
- 結果が出ているなら、必ずこの条件を満たす? → 必要条件を調べる。
両方「はい」なら必要十分条件。片方だけなら矢印は一本です。「たぶん」と感じたら、小さな反例を探してみましょう。
矢印を使う推理をもっと楽しむなら、背理法や演繹法と帰納法もどうぞ。考える遊びを試したい方には、謎解き千本ノックを紹介しています。
一つの条件を外すと、何が崩れる?
| 整数nの条件 | 6の倍数への関係 | 反例・確認 |
|---|---|---|
| 2の倍数 | 必要だが十分ではない | 4は満たすが6の倍数ではない |
| 12の倍数 | 十分だが必要ではない | 6は12の倍数ではない |
| 2かつ3の倍数 | 必要十分 | 両方向に含まれる |
| 2または3の倍数 | 必要だが十分ではない | 2や3だけでは足りない |
「かつ」を「または」に替えるだけで、含まれる整数が増えます。条件の言葉が難しいときは、2、3、4、6、12を一つずつ入れて、条件を満たす集合を並べてみましょう。数例の確認だけでは一般の証明になりませんが、一つの反例で誤った矢印を発見できます。
必要条件を満たしても、結論はまだ決まらない
「正方形なら長方形」では、長方形であることは正方形の必要条件です。縦2・横3の長方形が反例なので、長方形であるだけで正方形とは言えません。条件を使うたびに、矢印を逆にしていないかを確かめます。
