必要条件・十分条件とは?見分け方を図でわかりやすく【例題・問題つき】|合格大作戦 数学用語辞典

必要条件・十分条件とは?見分け方を図でわかりやすく【例題・問題つき】|合格大作戦 数学用語辞典

合格大作戦 数学用語辞典 › 集合と論理

大学受験

必要条件・十分条件とは

命題「p⇒qp\Rightarrow q」(pp ならば qq)が成り立つとき、pp は qq であるための十分条件、qq は pp であるための必要条件といいます。両方向とも成り立つときは必要十分条件です。

読み方:ひつようじょうけん・じゅうぶんじょうけん/英語:necessary condition / sufficient condition/習う学年:数学Ⅰ(集合と命題)

うかるくん

うかるくん

必要条件と十分条件、いつもどっちがどっちか分からなくなります…

合格先生

合格先生

矢印の根元が十分、先が必要。集合なら小さいほうが十分だよ。「京都市に住む ⇒ 京都府に住む」で思い出そう。

この用語のポイント

  • p⇒qp\Rightarrow q が成り立つとき、根元 pp が十分条件、先 qq が必要条件
  • 集合で考えると小さいほうが十分、大きいほうが必要
  • 両方向とも成り立てば必要十分条件(同値、p⇔qp\Leftrightarrow q)

やさしく言うと

  • 十分条件:それが成り立てば、もう十分(必ず相手も成り立つ)。
  • 必要条件:相手が成り立つには、少なくともそれが必要(でも、それだけでは足りないこともある)。

身近な例で考えてみましょう。

  • 住んでいる場所:「京都市に住んでいる」なら、必ず「京都府に住んでいる」といえます。だから「京都市に住む」は「京都府に住む」ための十分条件です。逆に、京都市に住むには、京都府に住んでいることが必要です。
  • 大学の受験:大学に合格するには、願書を出すことが必要です。でも、願書を出しただけで合格するとは限りません。「願書を出す」は「合格する」ための必要条件ですが、十分条件ではありません。
  • テストの点:合格点が 60点のテストで「100点を取る」なら、必ず合格です。「100点を取る」は「合格する」ための十分条件です。でも、合格するのに100点は必要ありません。

まとめると、「pp ならば qq」が成り立つとき、pp は十分条件、qq は必要条件です。

p q ならば(⇒) 十分条件 (矢印の根元) 必要条件 (矢印の先)
矢印の根元が十分条件、矢印の先が必要条件

集合の図で考える

条件 p,qp, q をみたすものの集合を P,QP, Q とします。p⇒qp\Rightarrow q が成り立つのは、PP が QQ にすっぽり入る(P⊂QP\subset Q)ときです。小さいほうが十分条件、大きいほうが必要条件と覚えると、まちがえません。

Q:京都府に住む (必要条件・大きい) P:京都市に住む (十分条件・小さい) P ⊂ Q のとき「p ⇒ q」が成り立つ
小さい集合(京都市)が十分条件、大きい集合(京都府)が必要条件
指さして説明するサクラちゃん

サクラちゃん

小さい集合のほうが十分条件、大きい集合のほうが必要条件よ!

図で見る(数直線で考える)

不等式の条件は、数直線の上の範囲で考えると分かりやすくなります。「x>3x>3」と「x>1x>1」をくらべてみましょう。

-1012345 x>1 x>3 赤(x>3)は青(x>1)にすっぽり入る x>3 は x>1 であるための十分条件 x>1 は x>3 であるための必要条件
x>3 の範囲は x>1 の範囲にふくまれる

x>3x>3 をみたす数(4 や 10 など)は、どれも x>1x>1 もみたします。だから x>3⇒x>1x>3\Rightarrow x>1 は真です。反対に、x=2x=2 は x>1x>1 をみたしますが x>3x>3 をみたさないので、x>1⇒x>3x>1\Rightarrow x>3 は偽です。範囲がせまい(小さい)x>3x>3 が十分条件、範囲が広い(大きい)x>1x>1 が必要条件です。

うかるくん

うかるくん

せまいほうが「十分」なのは、なんだか逆な気がします…

合格先生

合格先生

せまい条件はきびしい条件なんだ。きびしい条件をクリアしていれば、ゆるい条件は自動的にクリアできる。だから「それだけで十分」なんだよ。

例で確かめる

命題成り立つ?言い方
x=2⇒x2=4x=2\Rightarrow x^2=4○(真)x=2x=2 は x2=4x^2=4 の十分条件
x2=4⇒x=2x^2=4\Rightarrow x=2×(x=−2x=-2 が反例)x=2x=2 は x2=4x^2=4 の必要条件ではない
正方形 ⇒ 長方形○正方形であることは長方形であるための十分条件
x>0x>0 かつ y>0⇒xy>0y>0\Rightarrow xy>0○逆は×(x=y=−1x=y=-1)なので、十分条件だが必要条件ではない
x>0⇒x2>1x>0\Rightarrow x^2>1×(x=0.5x=0.5)逆も×(x=−2x=-2)なので、どちらでもない

両方向とも成り立つ(p⇒qp\Rightarrow q と q⇒pq\Rightarrow p)とき、pp は qq であるための必要十分条件といい、p⇔qp\Leftrightarrow q と書きます。このとき pp と qq は同値です。例:「x−3=0x-3=0」⇔「x=3x=3」。

問題の解き方(4択)

入試では「pp は qq であるための( )」に、①必要十分条件 ②必要条件だが十分条件でない ③十分条件だが必要条件でない ④どちらでもない、を選ぶ形がよく出ます。

  1. p⇒qp\Rightarrow q が成り立つか調べる(成り立てば pp は十分条件)
  2. q⇒pq\Rightarrow p が成り立つか調べる(成り立てば pp は必要条件)
  3. 成り立たないほうは反例を1つあげて確かめる
q ⇒ p は成り立つ? ○× p ⇒ q は成り立つ? ○× 必要十分条件(同値 p⇔q) 十分条件だが必要条件でない 必要条件だが十分条件でない どちらでもない 「p は q であるための〜」の p について答える
2つの矢印が成り立つかどうかで、答えが4通りに決まる

○ 正しい判断

  • p⇒qp\Rightarrow q が真、q⇒pq\Rightarrow p が偽 → 十分条件
  • p⇒qp\Rightarrow q が偽、q⇒pq\Rightarrow p が真 → 必要条件
  • 両方真 → 必要十分条件
  • 両方偽 → どちらでもない
  • 偽を示すときは反例を1つあげる(x2=4x^2=4 で x=−2x=-2)

× まちがいのもと

  • 「必要」を「重要」の意味に取る
  • 矢印の向きを確かめずに答える
  • 具体的な数を1つ入れて成り立ったから「真」とする(全部で成り立つ必要がある)
  • 反例を考えずに「なんとなく偽」とする
  • 「pp は qq の」の pp と qq を入れかえて答える

テスト・入試ではこう出る

数学Ⅰの「集合と命題」で習い、上の4択の形で定期テストにも入試にもよく出ます。大学入学共通テストのような選択式の問題では、方程式・不等式・図形・整数など、ほかの単元の内容と組み合わせて問われることも多いです。記述式の問題では、「必要十分条件を求めよ」という形で、同値な条件に言いかえる力が問われます。

例題1(方程式)

xx は実数とします。「x=1x=1」は「x2=xx^2=x」であるための何条件ですか。

  1. pp:x=1x=1、qq:x2=xx^2=x とする。
  2. p⇒qp\Rightarrow q:x=1x=1 なら x2=1=xx^2=1=x。真。
  3. q⇒pq\Rightarrow p:x2=xx^2=x を解くと x(x−1)=0x(x-1)=0 より x=0, 1x=0,\ 1。x=0x=0 のとき pp は成り立たないので偽(反例 x=0x=0)。
  4. p⇒qp\Rightarrow q だけ成り立つので、pp は十分条件。

答え 十分条件だが必要条件でない

例題2(不等式の組)

x, yx,\ y は実数とします。「x+y>0x+y>0 かつ xy>0xy>0」は「x>0x>0 かつ y>0y>0」であるための何条件ですか。

  1. pp:x+y>0x+y>0 かつ xy>0xy>0、qq:x>0x>0 かつ y>0y>0 とする。
  2. q⇒pq\Rightarrow p:両方正なら、和も積も正。真。
  3. p⇒qp\Rightarrow q:xy>0xy>0 なので x, yx,\ y は同じ符号。両方負なら x+y<0x+y<0 になってしまうので、両方正。真。
  4. 両方向が成り立つので、必要十分条件。

答え 必要十分条件(2つの条件は同値)

ひらめいたうかるくん

うかるくん

まず p⇒q と q⇒p を書き出す。偽のほうは反例を1つ見つければいいんだ!

まちがえやすい点

腕でバツを作る合格先生

合格先生

矢印の向きを書かずに答えるのが失敗のもと。まず p⇒qp\Rightarrow q を書いて、成り立つか確かめよう!

  • 矢印の向きと「必要・十分」を逆にする:「pp は qq であるための〜」の文では、pp から出る矢印(p⇒qp\Rightarrow q)が成り立てば十分条件です。
  • 日常語の「必要」とまぜる:数学の「必要条件」は「それがないと成り立たない」という意味で、それだけで足りるとは限りません。原因と結果の意味もありません。
  • 「〜であるための」の主語を取り違える:「pp は qq であるための必要条件」と「qq は pp であるための必要条件」は別の意味です。式 p⇒qp\Rightarrow q を書いてから答えましょう。
  • 1つの例で成り立ったから「真」とする:命題が真であるには、条件をみたすすべてで成り立つ必要があります。反対に、偽を示すには反例が1つあれば十分です。
  • 「せまい=必要」と覚えちがえる:集合や範囲がせまいほうが十分条件です。「京都市(せまい)⇒ 京都府(広い)」で確かめましょう。

ことばの由来

英語では、必要条件を necessary condition(ネセサリー コンディション)、十分条件を sufficient condition(サフィシェント コンディション)といいます。sufficient は「足りる・十分な」という意味です。必要十分条件は necessary and sufficient condition で、英語の本では「if and only if」(〜のとき、かつそのときに限り)という言い方もよく使われます。

ミニ問題

問題1 xx は実数とします。「x>3x>3」は「x>1x>1」であるための、①必要十分条件 ②必要条件だが十分条件でない ③十分条件だが必要条件でない ④どちらでもない、のどれですか。

答えと解き方を見る

③ 十分条件だが必要条件でない です。

x>3⇒x>1x>3\Rightarrow x>1 は真(3より大きければ1より大きい)。x>1⇒x>3x>1\Rightarrow x>3 は偽(反例 x=2x=2)。p⇒qp\Rightarrow q だけが成り立つので、十分条件です。数直線では、x>3x>3 の範囲が x>1x>1 の範囲にすっぽり入ります。

問題2 三角形 ABC で、「AB=AC\mathrm{AB}=\mathrm{AC}」は「∠B=∠C\angle\mathrm{B}=\angle\mathrm{C}」であるための何条件ですか(①〜④で答えましょう)。

答えと解き方を見る

① 必要十分条件 です。

二等辺三角形の底角は等しいので、AB=AC⇒∠B=∠C\mathrm{AB}=\mathrm{AC}\Rightarrow\angle\mathrm{B}=\angle\mathrm{C} は真。逆に、2つの角が等しい三角形は二等辺三角形なので、∠B=∠C⇒AB=AC\angle\mathrm{B}=\angle\mathrm{C}\Rightarrow\mathrm{AB}=\mathrm{AC} も真です。両方向が成り立つので必要十分条件です。

問題3 x, yx,\ y は実数とします。「xy=0xy=0」は「x=0x=0」であるための何条件ですか(①〜④で答えましょう)。

答えと解き方を見る

② 必要条件だが十分条件でない です。

xy=0⇒x=0xy=0\Rightarrow x=0 は偽(反例 x=1, y=0x=1,\ y=0)。x=0⇒xy=0x=0\Rightarrow xy=0 は真。「pp は qq であるための」の pp は xy=0xy=0 で、q⇒pq\Rightarrow p だけが成り立つので、pp は必要条件です。

関連する公式・用語

公式辞典で、くわしい証明と例題を見る

あわせて覚えたい用語

よくある質問

必要条件と十分条件の覚え方は?

「p⇒q」の矢印の根元(p)が十分条件、矢印の先(q)が必要条件です。集合の図では、小さいほうが十分条件、大きいほうが必要条件になります。

必要十分条件とは何ですか?

p⇒qとq⇒pの両方が成り立つことです。このときpとqは同値で、p⇔qと書きます。

必要条件か十分条件かを判断する手順は?

p⇒qとq⇒pのそれぞれが成り立つかを調べます。成り立たないほうは反例を1つあげて確かめます。

なぜ小さい集合が十分条件なのですか?

小さい集合の条件はきびしい条件だからです。きびしい条件をみたしていれば、それをふくむゆるい条件も必ずみたすので、それだけで十分といえます。

どちらでもない、とはどんなときですか?

p⇒q も q⇒p も成り立たないときです。たとえば「x>0」と「x²>1」は、どちらの向きにも反例があるので、どちらでもありません。

必要条件・十分条件は何年生で習いますか?

高校の数学Ⅰの「集合と命題」で習います。

出典・参考

  • 文部科学省「高等学校学習指導要領(平成30年告示)解説 数学編」数学Ⅰ(数と式:集合と命題)

最終更新:2026年10月13日/作成:大学受験合格大作戦