背理法

背理法、というとなんだか堅苦しく聞こえるけど、じつは普段の生活にも隠れていることに気づいた。
例:「睡眠不足はマズイ」の証明

1. 「睡眠不足でもマズクナイヨ」と仮定する。
2. 1の仮定より、夜更かししてみる。
3. 次の日、がんばって起きるが、朝ごはんを食べながら眠くなる。というか、寝てしまう。
4. 行動速度が鈍くなり、遅刻しそうになる。というか、遅刻する。
5. 授業中、眠くなる。というか(略)
6. 3〜5は、とてもマズイ。すなわち、1の仮定と矛盾する。
7. 以上より、「睡眠不足はマズイ」が証明された。

まあ、本当の問題は「証明された事実には必ず従う」が証明できないことなんだが。