第4部：論理の接続と展開

〜証明のフロー制御：順接、転換、そして定義の境界〜

【本部（第4部）の構成シラバス】（版）

序論：証明のリズムとフロー

• 「正しい証明」と「読める証明」の違い
• 接続詞は論理の潤滑油である
• 一本調子（Then… Then… Then…）からの脱却

第10章：Hence, Thus, Therefore 〜推論の鎖を繋ぐ接続詞の美学〜

• 10.1 順接の三兄弟：Therefore / Thus / Hence
  • Therefore: 最もフォーマルで強力な帰結。証明のクライマックス（結論）に使われる。「ゆえに、我々は勝った」。
  • Thus: プロセスと結果の結びつきを示す。「このようにして、結果が得られる」。計算過程のまとめなどに最適。
  • Hence: 短い論理的ステップ。「それゆえ（すぐにわかることだが）」。Thereforeより軽快。
• 10.2 因果の明示：Since / Because / As
  • 文頭の “Since $X$, we have $Y$.” が好まれる理由
  • “Because” は「なぜなら」という理由説明（補足）のニュアンスが強い
• 10.3 It follows that / This implies
  • 主語を「事実」にする客観的記述法
  • “Which implies”（関係代名詞）による文の連結テクニック

第11章：Conversely と Otherwise 〜論理の転換点と対偶・背理法のシグナル〜

• 11.1 Conversely / On the other hand
  • Iff の証明における折り返し地点の標識
  • 視点の転換：「一方、逆の視点から見ると」
• 11.2 Otherwise / Else
  • 証明内での条件分岐
  • 背理法への入り口としての “Otherwise”
    • “Suppose $x$ is rational. (Discussion…). Otherwise, if $x$ is irrational…”
• 11.3 Contradiction / Absurdity
  • 背理法の終了宣言：“This is a contradiction.”
  • 矛盾記号（$\to \leftarrow$, $\perp$）の使用と文章表現のバランス

第12章：Definitions vs Theorems 〜定義と定理の境界線〜

• 12.1 Well-definedness（ウェル・デファインド性）
  • 定義が定義として機能しているか？
  • 代表元の取り方に依存しないことの証明（商集合など）
• 12.2 Uniqueness（一意性）の証明フロー
  • 「存在（Existence）」の後に「一意（Uniqueness）」を示す二段構え
  • 定石：“Suppose there are two solutions $x$ and $y$. Then show $x=y$.”
• 12.3 Triviality（自明性）の扱い
  • “Clearly”, “Obviously”, “It is easy to see”
  • これらは読者への挑発か、親切か？
  • 使用して良い場面（定義から即座に出る）と悪い場面（計算が面倒なだけ）
  • “Exercise for the reader”（読者への演習とする）という逃げ道

コラム：美しい証明の構造美学

• 段落分け（Paragraphing）の技術
• 数式と文章の黄金比
• 「我々（We）」という一人称の役割：著者は読者と共に旅をする

---

【第4部：本文】

序論：証明のリズムとフロー

証明を書くこと。それは、論理のレンガを積み上げる建築作業であると同時に、読者を迷わせずにゴールまで導くガイドツアーでもある。 レンガ（数式）が合っていても、モルタル（接続詞）が雑だと、建物は醜く、崩れやすくなる。 「$A$です。そして$B$です。それで$C$です。」 これでは小学生の作文だ。 数学的で、かつエレガントな文章には、**「リズム（Rhythm）」と「強弱（Dynamics）」**がある。 重要な結論には重厚な “Therefore” を。軽微な変形には軽やかな “Hence” を。視点を変えるときは鮮やかな “Conversely” を。 この第4部では、証明に命を吹き込むための「つなぎ言葉」の魔術を伝授する。

---

第10章：Hence, Thus, Therefore

〜推論の鎖を繋ぐ接続詞の美学〜

10.1 順接の三兄弟：Therefore / Thus / Hence

これらはすべて「したがって」「ゆえに」と訳されるが、英語のニュアンスには明確な階層（Hierarchy）がある。

• Therefore (フォーマル度：高) 証明の**「大オチ」**に使われる言葉だ。 長い議論を経て、ついに定理の結論に到達した瞬間。そこで放つべき言葉は “Thus” ではない。“Therefore” だ。 “Therefore, the Riemann Hypothesis is true.” この重み。ファンファーレが鳴り響くような響きがある。頻繁に使うと重苦しくなるので、ここぞという時に取っておく。

• Thus (フォーマル度：中) 最も使い勝手が良い万能選手。 “Thus” は**「このようにして（In this way）」**という語源的ニュアンスを持つ。 計算過程や、論理のステップが積み重なって結果が出た時に使う。 “$x^2+2x+1=0$. Thus, $(x+1{)}^2=0$.” 「ほら、こう変形すればわかるでしょ」という、プロセス重視の接続詞だ。

• Hence (フォーマル度：中〜軽) 短いステップ、あるいは直前の文から即座に導かれる帰結に使われる。 “Since $x>5$, $x$ is positive. Hence, $|x|=x$.” 「それゆえ（当然ながら）」という軽いタッチで、証明のテンポを良くする。

10.2 因果の明示：Since vs Because

証明において「理由」を述べる際、学校英語で習った “Because” はあまり使われない。 数学では “Since” が圧倒的に好まれる。なぜか？

• Since $A$, we have $B$. Since は文頭に置くことができ、**「前提 $A$ はもう既知の事実（あるいは仮定）として共有されていますが」**というニュアンスを持つ。 数学の証明は「既知の事実」を積み上げる作業なので、Since が馴染むのだ。 「$x$ は偶数なので（Since $x$ is even）、$x=2k$ と書ける」

• … because … Because は文の後半に来て、**「なぜなら〜だからだ（新情報）」**という補足説明の響きが強い。 証明の流れを止めて理由を説明したい時には使えるが、メインストリームの論理展開には Since の方がスムーズだ。

---

第11章：Conversely と Otherwise

〜論理の転換点と対偶・背理法のシグナル〜

証明は一本道とは限らない。時にはＵターンし、時には分岐する。その合図を送るのがこれらの言葉だ。

11.1 Conversely / On the other hand

Iff ($P⟺Q$) の証明において、前半の $(⟹)$ が終わった後、改行して後半の $(⟸)$ に入る。 ここで何も言わずに書き始めると、読者は「まだ前半の続きかな？」と誤解する。 そこで “Conversely”（逆に） と宣言する。 “Conversely, assume $Q$ holds.” これは道路標識の「折り返し地点」だ。読者はここで頭をリセットし、矢印の向きを逆転させる準備ができる。

また、対立する概念や別のケースを紹介する際は “On the other hand” が有効だ。 「$x>0$ の時はこうだ。一方（On the other hand）、$x\le 0$ の時は…」

11.2 Otherwise / Else

“Otherwise” は、条件分岐の「それ以外」を一言で片付ける強力なツールだ。 定義文での使用例： “Let ${\delta }_{ij}=1$ if $i=j$, and $0$ otherwise.” （クロネッカーのデルタ：$i=j$ なら 1、それ以外なら 0）

背理法の文脈でも使える： 「もし解が有理数なら、矛盾が出る（前段）。そうでなければ（Otherwise）、解は無理数であり、証明完了だ。」 このように、Otherwise は論理空間を「A」と「Not A」に二分し、残りの領域をすべて引き受ける。

11.3 矛盾の演出：Contradiction

背理法のクライマックス。矛盾（$1=0$ や $P\wedge \neg P$）が導かれた時、どう締めるか。 “This is a contradiction.”（これは矛盾である） “This contradicts the assumption that…”（これは〜という仮定に矛盾する） あるいは、記号を使って： ”…, a contradiction ($\to \leftarrow$).”

この宣言は、背理法という「仮想世界（嘘の仮定に基づく世界）」から、現実世界へ帰還するための呪文である。これを唱えることで、読者は「ああ、今の議論は全部嘘（仮定の否定）を示すための茶番だったんだな」と理解し、安心する。

---

第12章：Definitions vs Theorems

〜定義と定理の境界線〜

証明以前の問題として、「何を証明すべきで、何はしなくていいのか」を見極める技術。

12.1 Well-definedness の証明フロー

集合 $X$ を同値関係 $\sim$ で割った商集合 $X/\sim$ 上で関数を定義する時。 「代表元 $x$ の取り方によらず、値が決まる」ことを示す必要がある。これを “Checking well-definedness” と呼ぶ。

フロー：

1. Suppose $x\sim x^{\prime }$.（異なる代表元を取る）
2. Then show $f(x)=f(x^{\prime })$.（値が同じになることを示す）
3. Hence, the function $f$ is well-defined.

これは「定義」の一部だが、実質的には「定理（Lemma）」の証明と同じ労力を要する。初心者が最も忘れがちなステップだ。

12.2 Uniqueness の証明フロー

「一意性（Uniqueness）」の証明には、定石のテンプレートがある。 「ただ一つしかない」ことを示すには、「二つある」と仮定して、「実は同じだった」と言えばいい。

フロー：

1. Existence: First, we show a solution exists. (Construction…)
2. Uniqueness: Next, suppose there are two solutions, $x$ and $y$.
3. Deduction: … (Logic) … imply $x-y=0$.
4. Conclusion: Thus $x=y$, proving uniqueness.

この「二つあると仮定して自滅させる」手法は、一意性証明のエレガントな定石である。

12.3 Triviality の扱い：悪魔の言葉 “Clearly”

“Clearly”, “Obviously”, “It is easy to see”. これらは数学書における「三大危険ワード」だ。 著者がこれを書くとき、二つの可能性がある。

1. 本当に簡単： 定義から1行で出る。「偶数は2で割れる。Clearly.」
2. 著者が面倒くさがっている： 実は計算が大変だが、本質的ではないので省略したい。

初心者へのアドバイス：自分で証明を書くときは、これらを使うな。 自分が “Clearly” と書きたくなった時、それは「説明するのが面倒くさい」か「実はよくわかっていない」時のシグナルだ。 本当に簡単なら、“Since definition…” と書けばいい。 もし計算が長いなら、“A straightforward calculation shows…”（一本道の計算で示せる）と書く方が誠実だ。 “Clearly” は、読者を威圧するマウント言葉になり得ることを知っておこう。

---

（編集後記：第4部の拡張に向けて）