madoryの『高校数学のブログ授業』です
- 数学を基礎から学び直したい高校生
- 高校入学前に予習して備えたい中学生
- 挫折した高校数学に再挑戦したい社会人
こんな❝あなた❞に向けて発信しています!
さっそく本時の結論です
「命題『~ならば~である。』の証明は,対偶の利用を考えよう!」
これまで【集合と命題】の単元の学習を進めてきました
最後に待ち構えているのは…,❝証明❞問題です!!
証明はちょっと…そんな声が聞こえてきそうですが大丈夫です!
本ブログの授業で,命題について理解できたあなたならもう一息です
それではさっそく,結論にしたがって,順番に見ていきましょう
数学の世界には,もう数えきれないほどの証明問題,その手法があります
名だたる数学者の研究の歴史によって積み上げられた,人類の財産とも言えますね
あなたが使用している数学の公式(定理)は,成り立つことを証明した数学者のおかげで利用することができています
今回は,証明方法の1つ目…対偶を利用した証明方法を紹介します!
なぜ,対偶を利用して証明ができるのか?
対偶とは,ある命題に対して,逆かつ裏の命題を指しました
ある命題を,前後逆かつ意味の否定をすることで,対偶になりましたね!
詳しくは過去の授業を参考にしてください
![](https://soccercross.com/wp-content/uploads/2021/12/aeecd2adf8a351072956f01348cff8b1-160x160.png)
今回証明をする上で大事なのは次の点です
![](https://madory17.com/wp-content/uploads/2021/12/ef9f6d1cf435dddc47f7cbf1754a9d28.png)
命題の真偽と対偶の真偽は一致するので,
- もとの命題を証明すること
- その対偶を証明すること
上記2点は,まったく同じ意味になります
対偶を利用した命題の証明 ①基本編
それでは対偶を利用した命題の基本的な証明を,さっそく見ていきましょう
![](https://madory17.com/wp-content/uploads/2021/12/9283d5c21edfd8b98d7d4d0000a9f2cb.png)
![ホッくん](http://madory17.com/wp-content/uploads/2021/07/bc3c47de0f9c6b231b5dec1185233ff2.png)
今回の問題は,もとの命題では証明することができないよ!
![レッサーくん](http://madory17.com/wp-content/uploads/2021/07/efa5b52f5760c17fdd5fae3c5f2587af.png)
本当だ!!
だから対偶を利用して証明するんだね♪
![ホッくん](http://madory17.com/wp-content/uploads/2021/07/bc3c47de0f9c6b231b5dec1185233ff2.png)
『~ならば~である。』の証明は,
対偶を利用するケースが多いよ!
今回の命題は,もとの命題では証明することができませんでした
そんなときに対偶の出番です!!
『~ならば~である。』命題の証明は,対偶を利用することを考えましょう!
対偶を利用した命題の証明 ②応用編
証明の中に場合分けが必要となる,応用編の証明です
![](https://madory17.com/wp-content/uploads/2021/12/10.png)
![ホッくん](http://madory17.com/wp-content/uploads/2021/07/bc3c47de0f9c6b231b5dec1185233ff2.png)
3 の倍数でない数を 3k+1, 3k+2 で表すことがポイントだよ!
★補足★ 倍数と倍数でない数
証明の中で,奇数や偶数,3の倍数,3の倍数でない数と,様々な数を取り扱いました
ここでは,倍数と倍数でない数をまとめてみましょう!
k を整数とする。
① 2の倍数(偶数) | 2k | ①′ 2の倍数でない数(奇数) | 2k+1 |
② 3の倍数 | 3k | ②′ 3の倍数でない数 | 3k+1, 3k+2 |
③ 4の倍数 | 4k | ③′ 4の倍数でない数 | 4k+1, 4k+2, 4k+3 |
④ 5の倍数 | 5k | ④′ 5の倍数でない数 | 5k+1, 5k+2, 5k+3, 5k+4 |
![レッサーくん](http://madory17.com/wp-content/uploads/2021/07/efa5b52f5760c17fdd5fae3c5f2587af.png)
『偶数は2の倍数』,『奇数は2の倍数でない数』と
覚えておくと分かりやすいね!
上記のように考えると,倍数と倍数でない数について迷うことはなくなりますね!
それでは本時のまとめです
- 命題『~ならば~である。』の証明は,対偶を利用することを考えよう!
- もとの命題と対偶の真偽は一致するので,どちらかを証明できればよい
- 偶数は 2k, 奇数は 2k+1(ただし,k は整数)と表せる
- 倍数と倍数でない数は,セットで覚えておくとよい
もとの命題が真であれば,その対偶も真となる…
このことを利用して,今回は命題の証明を取り扱いました
倍数と倍数でない数を整理して理解し,対偶を利用した命題の証明をマスターしたいですね!
今回は以上です。ありがとうございました