対偶を使う証明がなぜ有効なのか｜数I集合と命題

「 が偶数ならば は偶数」を証明せよ——正面から示そうとすると手が止まります。ところが対偶を使うと数行で終わる。

なぜ対偶で証明していいのか。そしていつ対偶を使えばいいのか。この2つを押さえます。

結論：対偶ともとの命題は必ず同時に成り立つ

命題「 ならば 」に対して、対偶は

「 でない ならば でない」

両方を否定して、順番を入れ替えます。この2つは必ず真偽が一致します。

	形	もとの命題との関係
逆		一致するとは限らない
裏		一致するとは限らない
対偶		必ず一致する

対偶だけが特別です。だから対偶を証明すれば、もとの命題を証明したことになります。

なぜ一致するのか

「 ならば 」が偽になるのはどんなときかを考えます。

が成り立つのに が成り立たないとき、そのときだけ偽

つまり「 かつ でない」という反例があるときだけ偽になります。

一方、対偶「 でない ならば でない」が偽になるのは

「 でない かつ である」とき

まったく同じ条件です。偽になる条件が同じなら、真偽も同じ。だから対偶で証明してよいのです。

【検算】具体例で確かめます。「 ならば 」（真）の対偶は「 ならば 」。

これも真です。 なら確かに （ なら になってしまうから）○

一方逆は「 ならば 」。これは偽です。 が反例 ○

対偶は一致、逆は一致しない——この違いが確認できました。

使いどころ：「〜でない」が扱いやすいとき

を整数とする。 が偶数ならば は偶数であることを証明しなさい。

正面からやると：「 が偶数」から出発しますが、 と書いても について何も言えません（ では整数かどうか分からない）。

対偶なら：「 が奇数ならば は奇数」。

が奇数なので （ は整数）と書けます。

は整数だから、 は奇数です。

対偶が示せたので、もとの命題も真。証明終わりです。

【検算】実際の数で確かめます。

		は偶数か	は偶数か
2	4	○	○
3	9	×	×
4	16	○	○
5	25	×	×

「 が偶数」と「 が偶数」が完全に一致しています ○

対偶の式も確かめます。 なら 、。確かに奇数 ○。 で整数 ○

判断基準

対偶を使うと楽になるのは、次のときです。

• 結論が「〜である」より「〜でない」のほうが扱いやすい
• 仮定から出発しても何も情報が出てこない
• 「偶数・奇数」「有理数・無理数」など2択の分類が絡む

「奇数ならば」は と書けるが、「偶数ならば」から平方根をとるのは難しい——この非対称性が対偶を有効にします。

もう1つの例

整数 について、 が奇数ならば と はともに奇数であることを証明しなさい。

対偶：「 と の少なくとも一方が偶数ならば、 は偶数」。

が偶数だとします（ が偶数の場合も同様）。 と書けるので

は整数だから は偶数です。証明終わり。

【検算】実際に確かめます。

			は奇数か	両方奇数か
3	5	15	○	○
2	5	10	×	×
4	6	24	×	×
7	9	63	○	○

完全に一致しています ○

「少なくとも一方が」の否定は「両方とも」——この対応も確認しておいてください（（ かつ ）＝ または ）。

否定の作り方

対偶を作るには正しく否定する必要があります。ここでつまずく人が多い。

もとの文	否定
	（等号が入る）
かつ	または
または	かつ
すべての〜が…	ある〜は…でない
ある〜が…	すべての〜は…でない

「かつ」と「または」が入れ替わるのが最重要ポイントです。

【検算】 かつ （つまり ）の否定は、 または 。

は範囲内なので否定を満たさない ○。 は を満たす ○。 は を満たす ○。数直線で確認できます。

学校の授業では、なぜここが飛ばされやすいのか

1. 「逆・裏・対偶」が3つまとめて提示されるから

3つの用語が同時に導入されます。ところが実際に使うのは対偶だけ。逆と裏は「対偶ではないもの」として区別するために出てくるだけです。

3つを同格に覚えようとすると混ざります。「使うのは対偶。逆と裏は一致するとは限らない」——この重みづけを持っておくのが実用的です。

2. 「なぜ対偶で証明していいのか」の説明が短くなりがちだから

真理値表で示せば数行で終わりますが、真理値表そのものが数Iの中では扱いが軽い。

説明としては「偽になる条件が同じ」の一言で足ります。この一言があるかないかで、対偶が「使ってよい技術」から「当然の言い換え」に変わります。

3. 「いつ使うか」の判断基準が示されにくいから

対偶の作り方は練習しますが、「どんなときに使うと楽か」は問題ごとの判断になります。

基準ははっきりしています。「仮定から何も出てこないとき」「否定のほうが式に書きやすいとき」。とくに偶数・奇数の問題では対偶がほぼ定石です。

【検算】3つの方法

1. 具体例で真偽を確かめる

もとの命題と対偶の両方を、いくつかの値で確認します。真偽が食い違ったら、対偶の作り方が間違っています。

命題	対偶	一致
が偶数 → が偶数	が奇数 → が奇数	○
→	→	○
が奇数 → 両方奇数	一方が偶数 → が偶数	○

2. 逆・裏との違いを確認する

対偶を作ったつもりが逆になっていないかを確認します。

• 対偶 … 否定して入れ替える（両方やる）
• 逆 … 入れ替えるだけ
• 裏 … 否定するだけ

「両方やったか」を必ず確認してください。

3. 反例を探してみる

対偶が真だと示したあと、もとの命題の反例を探してみると確信が持てます。見つからなければ正しい。

から まで調べて、「 が偶数なのに が奇数」という例がないことを確認すれば十分です。

よくあるミス

ミス1：逆を対偶だと思う

対偶は否定も入れ替えも両方します。入れ替えるだけなら逆です。

ミス2：「かつ」と「または」を入れ替え忘れる

「 かつ 」の否定は「 または 」です。「かつ」のままにするのは誤りです。

ミス3：不等号の否定で等号を落とす

の否定は。 ではありません。 も含みます。

ミス4：対偶を示したのに結論を書かない

答案には「対偶が真なので、もとの命題も真である」と書きます。示しっぱなしにしないこと。

ミス5：対偶を使う必要がないのに使う

正面から示せるなら、そのほうが速いです。対偶は正面が難しいときの道具です。

練習問題

1. 「 ならば 」の対偶を書きなさい。
2. 1の対偶は真か。
3. 「 ならば 」の逆を書き、真偽を答えなさい。
4. 「 かつ 」の否定を書きなさい。
5. 「 が3の倍数ならば は3の倍数」を対偶で証明する方針を書きなさい。
6. から まで、 が偶数のとき も偶数であることを確かめなさい。

解答

1. 「 ならば 」。否定するとき等号が入ることに注意
2. 真。 なら確かに 。もとの命題も真なので一致 ○
3. 逆は「 ならば 」で真。ただしもとの命題は偽（ が反例）。逆は一致するとは限らない例です
4. 「 または 」。「かつ」が「または」に変わります
5. 対偶は「 が3の倍数でないならば は3の倍数でない」。 と の2通りに分けて を計算し、どちらも3で割ると1余ることを示す
6. が偶数なのは のとき。すべて も偶数。奇数の では ですべて奇数 ○

まとめ

• 対偶は「否定して入れ替える」（両方やる）
• もとの命題と対偶は必ず真偽が一致する。偽になる条件が同じだから
• 逆と裏は一致するとは限らない
• 使いどころは仮定から情報が出ないとき／否定のほうが書きやすいとき
• 偶数・奇数の問題では対偶がほぼ定石（奇数は と書ける）
• 否定では「かつ」と「または」が入れ替わる、不等号に等号が入る
• 検算は具体例で真偽が一致するか／反例を探してみる

対偶による証明は、数Iの命題だけでなく、数Aの整数の性質、数IIIの極限の議論、大学の数学全般で標準的に使われます。とくに「 が無理数であることの証明」は、対偶と背理法を組み合わせた最も有名な例です。「示しにくい方向は、裏返して示す」——この発想は、数学の証明技術の中でも最も汎用性の高い道具の1つです。