第5章：証明技法における使い分け

〜数学的実践の現場から：書く技術、伝える技術〜

【拡張セクション：証明文のBefore/After 徹底添削】

〜悪い証明はいかにして生まれ、どう修正されるか〜

「論理は合っているのに、なぜ減点されるのか？」 多くの学生が抱くこの疑問への答えは、しばしば「書き方（Style）」にある。 ここでは、If/Iff/Whenever を含む証明問題における典型的な「悪文」と、それを修正した「良文」を比較し、その差がどこにあるのかを解剖する。

例題： $A,B$ を集合とする。$A\cap B=A$ であることと、$A\subseteq B$ であることは同値であることを示せ。 （Show that $A\cap B=A$ if and only if $A\subseteq B$.）

【Bad Example：素人の答案】

$A\cap B=A⟺x\in A\wedge x\in B⟺x\in A⟹x\in B⟺A\subseteq B$. (終わり)

【添削医の診断】 これは「論理記号の乱用」と呼ばれる重篤な症状だ。

1. 記号の羅列： 文章が一切なく、数式と矢印だけで繋がれている。これでは読み手は息継ぎができない。
2. 論理の飛躍： $x\in A\wedge x\in B⟺x\in A$ の部分は、$A\subseteq B$ が前提でなければ成り立たないはずだが、その因果関係が不明瞭。
3. 変数の未定義： 唐突に出てきた $x$ は何か？ 任意の元か？ 特定の元か？

【Good Example：玄人の答案】

Theorem. $A\cap B=A⟺A\subseteq B$.

Proof. We prove the equivalence by showing two implications.

$(⟹)$ Suppose $A\cap B=A$. We want to show $A\subseteq B$. Let $x$ be an arbitrary element of $A$. Since $x\in A$ and $A=A\cap B$ (by assumption), we have $x\in A\cap B$. By the definition of intersection, this implies $x\in B$. Therefore, every element of $A$ is in $B$, so $A\subseteq B$.

$(⟸)$ Conversely, suppose $A\subseteq B$. We want to show $A\cap B=A$. Clearly, $A\cap B\subseteq A$ holds by definition. For the reverse inclusion, let $x\in A$. Since $A\subseteq B$, we also have $x\in B$. Thus $x\in A$ and $x\in B$, which means $x\in A\cap B$. So $A\subseteq A\cap B$. Hence $A\cap B=A$.

By both directions, the equivalence is proved. Q.E.D.

【改善ポイントの解説】

1. 構造化： $(⟹)$ と $(⟸)$ を明確に分けたことで、If の議論と Iff の構造が一目でわかる。
2. ナビゲーション： “Suppose…”（仮定する）、“We want to show…”（ゴールを示す）という言葉が、読者を迷子にさせない。
3. 定義への言及： “By definition”（定義により）というフレーズを入れることで、論理の根拠を明示している。
4. 変数の宣言： “Let $x$ be…” によって、Whenever（全称量化）の証明であることを宣言している。

【拡張セクション：数学英語の文法特講】

〜冠詞一つで論理が変わる〜

If や Whenever を使う際、英語の文法的なミスが論理的な致命傷になることがある。特に「冠詞（a/the）」と「単数/複数」の扱いは、数学的な量化（Quantification）と直結している。

1. “A” vs “The” の論理

• “Let $x$ be a root of $f(x)$.”
  • 意味：解は複数あるかもしれないが、その中の「ある一つ」を任意に取ってくる。
  • 論理：存在量化（$\exists$）または任意選択。
• “Let $x$ be the root of $f(x)$.”
  • 意味：解は**ただ一つ（Unique）**しか存在しないことを暗黙に仮定、または主張している。
  • 危険性：一意性（Uniqueness）が証明されていない段階で “the” を使うと減点対象となる。

2. “Assume” vs “Presume” vs “Suppose” 数学証明で仮定を置くとき、これらの動詞はどう違うのか。

• Suppose / Assume: 数学ではほぼ同義で、最も一般的に使われる。「議論のために仮にこう置いてみよう」というニュアンス。
• Let: 定義や変数の導入に使われる。「$x$ を整数とする（Let $x$ be an integer）」など。仮定というより「設定」に近い。
• Presume: 数学ではあまり使われない。「証拠はないがおそらくそうだろう」というニュアンスが強いため、厳密な証明には不向き。

3. “If” 節の中の時制 数学的真理は不変であるため、If 節や Whenever 節の中は、原則として**現在形（Present Simple）**を用いる。

• 誤： If $x$ will be greater than 0…
• 正： If $x$ is greater than 0… たとえ「これから計算した結果」であっても、論理的な事実は現在形で記述するのが数学のお作法（Convention）である。

【拡張セクション：Q.E.D. の美学と終了の作法】

〜証明はいかにして閉じられるか〜

証明の終わり方にもマナーがある。 唐突に数式で終わるのは、映画がクライマックスの途中でプツンと切れるようなものだ。 必ず「結びの一文（Concluding Sentence）」を入れること。

バリエーション：

• “This completes the proof.”（これで証明は完結した。）
• “Thus, the theorem holds.”（よって、定理は成立する。）
• “As desired.”（望んだ通りに。）
• Q.E.D. （Quod Erat Demonstrandum：かく示された。）
  • 古典的で格好いいが、現代の論文では黒い四角（■）や白い四角（□）の「墓石記号（Tombstone）」を右端に置くのが主流である。

この終了記号を置く瞬間こそ、数学者が最もドーパミンを放出する瞬間である。If の仮定から始まり、論理の荒野を旅して、ついに結論の地に旗を立てる。その達成感を読者と共有するための儀式なのだ。

【拡張セクション：プロ数学者の思考プロセス実況】

〜彼らは証明を書く前に何をしているのか〜

最後に、証明問題を与えられたプロの数学者が、ペンを動かす前に脳内で何を行っているかを言語化する。

フェーズ1：翻訳と展開 「まずは問題文にある定義をすべて展開する。‘コンパクト’とか’正規部分群’といった専門用語（Iff）を、プリミティブな集合論の言葉に書き換えるんだ。定義に戻らなければ、何も始まらないからね」

フェーズ2：反例探索（悪魔の代弁者） 「証明しようとする前に、まずは疑う。『これ本当に成り立つの？』といじわるな反例を探す。極端な値（0, 1, 無限大, 空集合）を代入してみる。このプロセスで、定理の条件（If部分）がなぜ必要なのかが見えてくる」

フェーズ3：ゴールからの逆算 「結論 $Q$ から後ろ向きに歩く。『$Q$ を言うためには何があればいい？ $Q^{\prime }$ があればいい。じゃあ $Q^{\prime }$ のためには…』と遡っていく。そしてスタート地点 $P$ と繋がった瞬間、証明のルート（Wheneverの鎖）が完成する」

フェーズ4：清書（Writing） 「ここで初めてペンを持つ。思考プロセスはぐちゃぐちゃだが、書くときは整然と、あたかも最初から一直線にわかっていたかのように澄まして書く。それが数学のエレガンスというやつさ」

---

【終章：厳密なコミュニケーションのために】

本稿では、数学の論理接続詞である If, Iff, Whenever の三者を、定義、視覚化、そして実践技法という多角的な視点から解剖してきた。

これらは単なる記号ではない。

• If は、未知の世界へ踏み出す「一歩目」の勇気である。
• Iff は、異なる現象の間に本質的な同一性を見出す「洞察」である。
• Whenever は、有限の事例から無限の真理へ跳躍する「飛翔」である。

数学を学ぶこと、そして証明を書くことの究極の目的は、正解することではない。 自らの思考を、他者が一点の曇りもなく追体験できるように、明晰に、かつ誠実に伝えること。すなわち**「厳密なコミュニケーション」**の訓練に他ならない。

あなたが次に “Let $ϵ>0$…” と書き出すとき、あるいは “if and only if” と結ぶとき、その背後にある数千年の論理の重みと、先人たちの知恵を感じ取ってほしい。 その時、あなたの数学は、単なる記号操作を超え、世界を記述する最も美しい言語となるだろう。

---

この内容が、あなたの目指す書籍や論文の強固な骨格となることを願っております。