第4部 拡張モジュール：証明のアーキテクチャ

モジュール1：段落構成（Paragraphing）の実践講座

〜 迷宮にならないための地図作り 〜

証明が3行で終わるなら問題はない。しかし、3ページに及ぶ証明を書くとき、ただ漫然と文章を繋げてはいけない。読者は論理の迷宮で遭難してしまう。 長い証明には、適切な**「区切り（Break）」と「見出し（Signpost）」**が必要だ。

1. “Proof Idea”（あらすじ）の挿入 本格的な証明（Formal Proof）に入る前に、数行の「あらすじ」を入れるのは非常に親切な作法だ。

Proof Idea: 本定理の証明は主に3つのステップからなる。まず、解の候補となる関数 $f$ を構成する。次に、その $f$ が微分方程式を満たすことを示す。最後に、解の一意性を背理法で証明する。

Proof: …

この「予告編」があるだけで、読者は今どのフェーズにいるのかを把握しながら読み進めることができる。

2. Stepによるナンバリング 証明の構造が複雑な場合、明示的にステップを分ける。

Step 1: Construction of the function. Let us define $f(x)=...$ … Step 2: Verification. We now check that $f$ satisfies the equation. …

3. Lemma（補題）への切り出し 証明の中で、それ自体で完結するような長い計算や論理があるなら、それを本証明の中に埋め込んではいけない。 一度証明を中断し、“Lemma” として外に切り出すべきだ。 「詳細は Lemma 3.2 を参照」とすることで、本筋（Main stream）の論理フローが驚くほどクリアになる。 格言： 「証明が長すぎるのではない。構造化が足りないのだ。」

---

モジュール2：「我々（We）」の哲学

〜 孤独な数学者の共感文体 〜

数学論文や専門書の主語は、なぜ一人称単数 “I”（私） ではなく、一人称複数 “We”（我々） なのか？ 単著（著者が一人）であっても “We” を使うのはなぜか？

1. 旅の道連れとしての “We” 数学における “We” は、「著者（Author）」と「読者（Reader）」の二人称を含んでいる。 “We calculate…” と書くとき、それは「私が計算するのを見ていろ」という意味ではない。 **「さあ、私と一緒に計算してみよう」**という勧誘（Invitation）なのだ。 証明とは、著者と読者が手を取り合って、真理の山頂を目指す登山である。“We” はその連帯感の象徴だ。

2. 客観性の演出 “I think…” “I believe…” と書くと、それが著者の主観的な意見であるように響く。 数学的真理は、誰が考えても変わらない客観的な事実であるはずだ。 “We have…”（我々は〜を得る）とすることで、主観を排し、「普遍的な論理の帰結として、我々人類はこう結論せざるを得ない」というニュアンスを醸し出すことができる。

例外： 「私は〜と予想する（I conjecture…）」や「著者は〜に感謝する（I would like to thank…）」のような、個人的な見解や謝辞を述べる場面では、堂々と “I” を使ってよい。論理パートだけが “We” の領域なのだ。

---

モジュール3：数式と文章の配置ルール

〜 視覚的なリズムと可読性 〜

数学的文章には、タイポグラフィ（組版）上の厳格なルールがある。これらは単なる形式ではなく、**「読み間違い（Ambiguity）」**を防ぐための安全装置だ。

Rule 1: 文頭に数式を置かない

Bad: $f$ is a continuous function. Good: The function $f$ is continuous.

理由： 文頭の大文字（Capitalization）と、数式記号の大文字・小文字の区別が衝突する可能性がある。また、前の文の終わりの数式と視覚的に繋がってしまい、区切りが見えにくくなる。必ず “The function”, “Suppose”, “Since” などの英単語をクッションとして置くこと。

Rule 2: 数式は動詞になれない（ことが多い）

Bad: The set $A$ is finite, so $|A|<\infty$. Good: Since the set $A$ is finite, we have $|A|<\infty$.

解説： 数式 "$|A|<\infty$" 自体は「文（Sentence）」として読める（S+V+C）。しかし、接続詞の後などで唐突に数式文を置くと、文章のリズムが崩れる。“we have”, “it follows that”, “holds” などの動詞を補うことで、文章としての滑らかさが生まれる。

Rule 3: 句読点は数式の内側か、外側か？ 別行立て数式（Display math）の末尾にピリオドやカンマを打つべきか？

Standard Style: ${\int }_0^1{x}^{2}dx=\frac{1}{3},$ which implies…

正解： 数式も文章の一部である。したがって、文の途中ならカンマ、文の終わりならピリオドを、数式の右端に必ず打つ。 多くの初心者がこれを忘れるが、数式の後に句読点がないと、次の行が新しい文なのか続きなのか判別できなくなる。

---

モジュール4：演習・バラバラの証明パズル

〜 論理のパッチワークを修復せよ 〜

以下の5つの文（断片）は、ある定理の証明をバラバラにしたものである。 接続詞（Suppose, Since, Thus, Therefore, On the other hand）を手がかりに、正しい順序に並べ替えよ。

定理： 整数 $n$ について、$n^2$ が偶数ならば $n$ も偶数である。

(A) Thus, $n^2=(2k+1{)}^2=4k^2+4k+1=2(2k^2+2k)+1$. (B) We prove the contrapositive. (C) Since $2(2k^2+2k)$ is an even integer, $n^2$ is odd. (D) Therefore, if $n$ is odd, then $n^2$ is odd, which completes the proof. (E) Suppose $n$ is odd. Then we can write $n=2k+1$ for some integer $k$.

【思考プロセス】

1. 開始宣言を探す: 対偶証明を行うという宣言 (B) が最初に来るはずだ。 $\to$ Start: (B)

2. 仮定の導入: 対偶（奇数なら〜）を示すので、奇数であることを仮定する (E) が続く。 $\to$ (B) - (E)

3. 計算の展開: $n$ を置いたので、次は $n^2$ の計算をする (A) だ。接続詞 “Thus”（このようにして）が計算プロセスを導いている。 $\to$ (B) - (E) - (A)

4. 中間結論: 計算結果から「奇数である」ことを導く (C) が来る。“Since”（〜なので）が理由を述べている。 $\to$ (B) - (E) - (A) - (C)

5. 最終結論: すべてをまとめる大オチ (D)。“Therefore” と “completes the proof” が終了の合図だ。 $\to$ Goal: (D)

【正解】 (B) $\to$ (E) $\to$ (A) $\to$ (C) $\to$ (D)

Proof. We prove the contrapositive. Suppose $n$ is odd. Then we can write $n=2k+1$ for some integer $k$. Thus, $n^2=\cdots =2(\dots )+1$. Since the term is even, $n^2$ is odd. Therefore, if $n$ is odd, then $n^2$ is odd… Q.E.D.

このパズルを解くことで、接続詞がいかに強力な「順序決定因子」であるかが体感できるはずだ。証明を書くときは、このパズルのピースを自分で作り、並べる作業を行っているのである。

---

以上の4つの観点によって、第4部は単なる「言葉のリスト」を超え、読者が自らの手で論理の建築物を設計・施工するための「エンジニアリング・マニュアル」として機能する。