対偶
高校に入学した折木奉太郎は，同級生の里志，える，摩耶花と古典部に入部．その33年前の文集「氷菓」に秘められた真実を解き明かそうという話です．
○事件では暴力は振るわれなかった○事件は全学に影響するものであった○事件の最中、「我々」は団結した○事件では非暴力不服従が貫かれた(里志)「最初と最後は対偶関係ってわけじゃないけど、(奉太郎) そうか……な?まあ同じことだろうね。で、事件で暴力が振るわれなかったんだから、摩耶花の説は軌道修正。中の二つも、 ほとんど同じことかな。『我々』 ってのが全学のことを指すのかどうか字義的には疑問の余地がある けど、これはどっちでも関係のないことって言えるかもしれない」 （文庫 P162）
｢PならばQ」という命題に対して，｢QならばP」を「逆」，「PでないならQでない」を「裏」，「QでないならPでない」を「対偶」といいますが，ここでの話は対偶とはいえないですね．ただ暴力が振るわれなかったことを「非暴力」と言い変えただけになっています．
｢神戸市民(P)なら兵庫県民(Q)である」という命題は真（常に正しい）ですが，その対偶「兵庫県民でない(￢Q)なら神戸市民でない(￢P)」も真になります．なぜかというと，「PならばQ」が真なら包含関係は図のようにPがQの部分集合になり，すると$\overline{Q}$（Qの外側）も$\overline{P}$（Pの外側）の部分集合になって，「￢Qならば￢P」がいえるからです．
例えば命題
「$n^2$が偶数ならば$n$は偶数である」 (1)
は，直接証明するのは難しいですが，この対偶
「$n$が奇数ならば$n^2$は奇数である」
は，$n=2k+1$とおくと$n^2=2(2k^2+2k)+1$となることから真であることが容易に分かります．
間接証明には他に背理法，同一法，転換法などがありますが，このうち背理法は，$\sqrt{2}$が無理数であることの証明法として有名ですね．この証明の途中に，対偶を証明することで得られた命題 (1) が使われています．
高校教科書に載っている，$\sqrt{2}$が無理数であることの証明を思い出してみましょう．
$\sqrt{2}$が有理数であると仮定すると，$\sqrt{2}$はある互いに素な正の整数$a$, $b$を用いて$$\sqrt{2}=\frac{a}{b}$$と表せる．このとき$$a=\sqrt{2}b$$両辺を2乗すると$$a^2=2b^2\tag{2}$$よって，$a^2$は偶数とわかるから，(1)より $a$も偶数である．偶数$a$はある正の整数$c$を用いて，$$a=2c$$と表されるから，(2)に代入して$$4c^2=2b^2$$$$2c^2=b^2\tag{3}$$よって，$b^2$は偶数とわかるから，(1)より $b$も偶数となる．このように$a$と$b$がともに偶数となることは互いに素であることに矛盾する．したがって, $\sqrt{2}$は無理数である．（証明終わり）
因みに，古代ギリシャでは，a, bを「互いに素」とせずに無限降下法で証明していたようです．上の証明で，「互いに素」と仮定しないとすれば，「よって，$b^2$は偶数とわかるから，(1)より $b$も偶数となる」の続きは，
偶数$b$はある正の整数$d$を用いて，$$b=2d$$と表されるから，(3)に代入して$$2c^2=4d^2$$$$c^2=2d^2$$よって，$c^2$は偶数とわかるから，(1)より $c$も偶数となる．これを繰り返すと，a>b>c>d, ......となって，無限に小さくなっていくが，正の整数は無限に小さくならないので矛盾する（無限降下法）．したがって, $\sqrt{2}$は無理数である．（証明終わり）
[Reference]
Proof by infinite descent
