第5章：証明法と「if」――対偶、背理法、数学的帰納法

――仮定を真理へと変貌させる論理の錬金術

5.1 証明の真髄：静的な定義から動的な演繹へ

5.5 背理法（帰謬法）：不条理を招く「if」の極北

数学における最も強力で、かつ劇的な証明手法――それが背理法（Proof by Contradiction / Reductio ad absurdum）である。この手法は、ある意味で「論理の毒を以て毒を制す」ような、極めて攻撃的な戦略をとる。

5.5.1 背理法の論理構造：$\neg (P⟹Q)⟺P\wedge \neg Q$

背理法は、証明したい命題 $P⟹Q$ が「もし偽であるならば」と仮定することから始まる。第1章で学んだ通り、命題 $P⟹Q$ が偽となる唯一のケースは、「前提 $P$ が真であるにも関わらず、結論 $Q$ が偽である」ときである。

数学者は敢えてこの「不条理な世界」へと飛び込み、その世界を論理的に探索する。すると、その世界の果てで、絶対に相容れない二つの事実が衝突し、火花を散らす。これが「矛盾（Contradiction）」である。一つの世界に $A$ と $\neg A$ が同時に存在する不条理が示されたとき、その出発点となった仮定、すなわち「$Q$ が偽であるとしたこと」が誤りであったと結論づけられるのである。

5.5.2 歴史的傑作：$\sqrt{2}$ が無理数であることの証明

古代ギリシャのピタゴラス教団を震撼させたこの証明は、背理法の美しさを体現している。

1. 仮定（If）： もし $\sqrt{2}$ が有理数である（無理数ではない）とする。
2. 展開： 有理数の定義より、$\sqrt{2}=a/b$（$a,b$ は互いに素な整数）と書ける。
3. 論理の進行： 両辺を2乗して整理すると $2b^2=a^2$。これにより $a^2$ は偶数であり、したがって $a$ も偶数である。
4. さらなる追及： $a=2k$ とおくと、$2b^2=4k^2$ より $b^2=2k^2$。これにより $b$ もまた偶数となる。
5. 矛盾の発覚： $a$ も $b$ も偶数であることは、最初に置いた「互いに素（これ以上約分できない）」という仮定 $P$ と真っ向から衝突する。
6. 審判： この矛盾の原因は「$\sqrt{2}$ が有理数である」と仮定したことにある。ゆえに $\sqrt{2}$ は無理数でなければならない。

背理法は、直接的には手出しできない無限や抽象的な存在を、「もしそれが存在しない（あるいは存在する）としたら、宇宙が壊れてしまう」という不条理を突きつけることで、逆説的にその正体を暴き出す。数学における「if」は、ここでは真理を包囲し、逃げ場をなくすための「論理の罠」として機能している。

5.6 数学的帰納法：「if」のドミノ倒しと無限の支配

人間という有限の存在が、無限に続く自然数のすべてについて何かを語る。この大胆不敵な試みを可能にするのが、数学的帰納法（Mathematical Induction）である。その名に「帰納」とあるが、実際には一分の隙もない「演繹」の体系であり、再帰的な「if」の構造そのものである。

5.6.1 無限を連鎖させる二つのステップ

数学的帰納法は、以下の二つの「if」を証明することによって、無限の彼方まで真理を届ける。

1. 基底ステップ（The Base Case）： $P(1)$ が成り立つことを示す。
2. 帰納ステップ（The Inductive Step）： 任意の自然数 $k$ について、「もし $P(k)$ が成り立つならば、$P(k+1)$ も成り立つ」ことを示す。

ここで最も重要なのは、2番目のステップが「もし～ならば」という条件付き命題である点だ。私たちは「すべての $n$ で成り立つ」ことを直接証明する必要はない。ただ、「前が真なら、次も真である」という「継承のルール（if）」さえ証明できれば、論理の火は自動的に燃え広がっていく。

5.6.2 「if」のドミノ：情報の伝播

この手法はよくドミノ倒しに例えられる。

• $P(1)$ の証明は、最初のドミノを倒す力である。
• $P(k)⟹P(k+1)$ の証明は、ドミノの間隔が適切であり、前のドミノが倒れれば次のドミノを必ず押し倒すという「仕組み（構造）」の保証である。 この二つが揃ったとき、無限に並んだドミノは、私たちが最後の一枚を見届けるまでもなく、すべて倒れる運命にある。数学的帰納法における「if」は、個別の事実を証明する道具から、真理が無限に伝播するための「回路」へと進化した姿なのである。

5.7 転換法：必要十分性の同時獲得という高等戦術

証明の迷宮において、時に「転換法（Method of Conversion）」と呼ばれる、複数の命題をセットで扱う高度な戦術が使われる。これは特に、三者択一（三分法）のような排他的な状況において威力を発揮する。

5.7.1 構造的転換の理論

例えば、次の三つの「if」が既に分かっているとする。

1. $P_1⟹Q_1$
2. $P_2⟹Q_2$
3. $P_3⟹Q_3$ ここで、$P_1,P_2,P_3$ が互いに排他的で、かつすべての可能性を尽くしており、$Q_1,Q_2,Q_3$ も同様であるとする。このとき、驚くべきことに、これらすべての矢印の逆（$Q_i⟹P_i$）も自動的に真となる。

5.7.2 幾何学的応用：辺の長さと角の大きさ

二等辺三角形の辺 $AB,AC$ と対角 $\angle C,\angle B$ の関係を例にとる。

• もし $AB>AC$ ならば $\angle C>\angle B$
• もし $AB=AC$ ならば $\angle C=\angle B$
• もし $AB<AC$ ならば $\angle C<\angle B$ これら三つの一方通行の「if」を証明してしまえば、転換法の論理により、それらはすべて「必要十分条件（$⟺$）」へと昇格する。数学における「if」は、体系全体の排他性を利用することで、一方向の努力だけで双方向の真理を勝ち取ることができるのである。

5.8 結語：知の盾と矛としての証明法

本章では、数学的探求の最前線で振るわれる「証明法」という名の武器と、その背後にある「if」の力学について詳述した。

• 直接証明法は、仮定から結論へと正攻法で道を切り拓く。
• 対偶証明法は、視点を反転させることで、正面からは見えない弱点を突く。
• 背理法は、偽の仮定から矛盾を引き出し、論理の必然性で真実を包囲する。
• 数学的帰納法は、再帰的な「if」の構造によって無限という海を支配する。
• 転換法は、体系の対称性を利用して、複数の「if」を同時に完成させる。

数学の問題を解くということは、これら「if」の武器の中から、目の前の城壁を崩すのに最適な一振りを選ぶことである。どの証明法を選ぶかという選択には、数学者の知略、経験、そして美学が凝縮されている。

証明とは、単に正しいことを主張する行為ではない。それは、ある仮定（if）が、いかにして逃れようのない運命（then）へと繋がっているのか、その論理的な「美」を形作る芸術なのである。

---

次章への展望：述語論理という「高次元の if」へ

ここまでの旅で、私たちは命題という「原子」を扱う論理と証明をマスターした。しかし、数学の真の領土は、さらに広大である。「ある特定の $n$」だけでなく、「すべての実数 $x$」や「ある特定の性質を持つ複素数 $z$」といった、対象の「範囲」と「量」を扱う必要があるからだ。

次章では、命題論理に限定記号を導入した「述語論理（Predicate Logic）」の世界へと進む。「すべての $x$ において、もし $P(x)$ ならば $Q(x)$」。この形式が、いかにして数学を、個別の事実の羅列から、全宇宙の構造を記述する普遍的な言語へと押し上げたのか。そこには、「if」と「無限」のさらなる高次元の融合が待っている。

---

これまでの章において、私たちは数学における「if（ならば）」の定義、方向性、同一性、そして空虚な真という「静的なルール」を学んできた。しかし、数学という学問の真の鼓動は、これらのルールを道具として使い、未知の荒野に真理の旗を立てる「証明（Proof）」という動的な営みの中にこそ宿っている。

数学における証明とは、本質的に「$P⟹Q$」という命題の正しさを、一切の疑念の余地なく確定させるプロセスである。ここで $P$ は仮定（Hypothesis）と呼ばれ、結論 $Q$ へと至るための「もし（if）」の世界の入り口となる。証明という行為は、この仮定という足場から出発し、論理学の規則という細い、しかし絶対に折れない糸を辿って、結論という対岸へ辿り着くための「橋を架ける作業」に他ならない。

本章では、数学者が「if」という構造をいかに巧みに、時には奇術師のように操り、一見すると不可能な壁を突破して真実を掴み取ってきたのか、その具体的な戦略と戦術を解剖していく。これは、単なる知識の蓄積ではなく、理性の剣をいかに振るうかという「論理の兵法」の講義である。

5.2 直接証明法：演繹の王道と「if」の鎖

最も基本的であり、かつ数学的思考の根幹を成すのが直接証明法（Direct Proof）である。これは、仮定 $P$ を真であると認め、そこから定義、公理、および既に証明された定理を一つずつ積み重ねることで、一歩一歩結論 $Q$ へと近づいていく手法である。

5.2.1 演繹の鎖：$P\to R_1\to R_2\to \cdots \to Q$

直接証明の本質は、小さな「if」の連鎖を作ることにある。 「もし $P$ ならば $R_1$ である」 「もし $R_1$ ならば $R_2$ である」 …… 「もし $R_n$ ならば $Q$ である」 三段論法に基づき、この鎖の端と端を繋ぐことで、$P⟹Q$ という巨大な真理の橋が完成する。このとき、中間に位置する各ステップは、前の段階の「後件」であり、同時に次の段階の「前件」という二重の役割を果たす。このリレー形式の真理伝達こそが、直接証明の醍醐味である。

5.2.2 実例：偶数と奇数の代数

具体的な例を見てみよう。命題「$n$ が偶数ならば、$n^2$ は偶数である」を直接証明する。

1. 仮定（If）： $n$ は偶数であるとする。
2. 定義の展開： 偶数の定義より、ある整数 $k$ を用いて $n=2k$ と書ける。
3. 演算という必然： 両辺を2乗すると、$n^2=(2k{)}^2=4k^2$。
4. 構造の再発見： $4k^2$ を $2(2k^2)$ と書き換える。
5. 結論（Then）： $2k^2$ は整数なので、$n^2$ は「2×整数」の形をしており、定義より偶数である。

この証明において、論理は「もし～ならば」のレールの上を、一度も脱線することなく整然と進んでいる。直接証明法は、なぜその結論が導かれるのかという「因果の道筋」を最も明快に示すため、教育的にも、また新しい定理を構築する際にも最優先される手法である。

5.3 対偶証明法：視点の転換と論理の「裏口」

しかし、数学の迷宮には、正面から（直接的に）挑んでも突破口が見つからない難所が数多く存在する。そのような時、数学者は「if」という矢印を裏返し、対偶証明法（Proof by Contrapositive）という巧妙な「裏口」を利用する。

5.3.1 対偶の魔力：$P⟹Q⟺\neg Q⟹\neg P$

第2章で学んだ通り、命題 $P⟹Q$ とその対偶 $\neg Q⟹\neg P$ は論理的に完全に等価である。どちらか一方が真であれば、もう一方も必ず真である。対偶証明法とは、「$P⟹Q$ を証明するのが難しいなら、代わりに $\neg Q⟹\neg P$ を証明してしまおう」という戦略的転換である。

なぜこのような回り道が有効なのか。それは、結論の否定（$\neg Q$）という新しい情報を「仮定（if）」として使えるようになるからである。否定という操作は、情報の対象を「～でないものすべて」へと広げることが多いため、時に計算の見通しを劇的に改善する。

5.3.2 逆算の戦略：$n^2$ から $n$ を探る

次の命題を考えてみよう。「$n^2$ が偶数ならば、$n$ は偶数である」 これを直接証明しようとすると、$n^2=2k⟹n=\sqrt{2k}$ となり、ルートの扱いに困ることになる。整数の議論にルートを持ち込むのは、論理の迷走を招きやすい。

そこで対偶をとる。「$n$ が奇数（$\neg$偶数）ならば、$n^2$ は奇数（$\neg$偶数）である」

1. 新仮定（If）： $n$ は奇数であるとする。
2. 定義： $n=2k+1$（$k$ は整数）と書ける。
3. 演算： $n^2=(2k+1{)}^2=4k^2+4k+1=2(2k^2+2k)+1$。
4. 結論： $2k^2+2k$ は整数なので、$n^2$ は「2×整数＋1」の形、すなわち奇数である。

対偶命題が証明されたため、元の命題「$n^2$ が偶数ならば、$n$ は偶数である」もまた、数学的真理として確定する。対偶法は、「if」の矢印の向きと否定を同時に操作することで、困難な問題をより扱いやすい形式へと作り変える、数学者の「知略」の結晶なのである。

5.4 場合分けの証明（尽挙法）：条件の「if」を切り刻む

複雑な「if」の世界を一度に証明できないとき、数学者はその仮定 $P$ をいくつかの小さなケースに分割して攻める。これを場合分けの証明（Proof by Cases）、あるいは尽挙法（Exhaustive Proof）と呼ぶ。

5.4.1 論理の分割：$(P_1\vee P_2)⟹Q$

もし仮定 $P$ が「$P_1$ または $P_2$」という形をしているならば、

• 「もし $P_1$ ならば $Q$」
• 「もし $P_2$ ならば $Q$」 の二つを個別に証明すればよい。これらすべてが真であれば、全体としての「もし $P$ ならば $Q$」も真となる。

5.4.2 実例：絶対値と符号

例えば、「すべての実数 $x$ について、$x^2\ge 0$ である」ことを証明する場合を考える。

1. ケース1：もし $x>0$ ならば、正×正は正なので $x^2>0$。
2. ケース2：もし $x=0$ ならば、$0\times 0=0$ なので $x^2=0$。
3. ケース3：もし $x<0$ ならば、負×負は正なので $x^2>0$。 すべてのケース（if）を尽くした結果、常に $x^2\ge 0$ であることが保証される。

場合分けは、一見すると地味で労力の要る作業だが、コンピュータを用いた「4色問題」の証明のように、数千、数万のケースを「if-then」のフィルターにかけることで、人間の直感では及ばない領域の真理を確定させる力を持っている。