解析入門Ⅰ（小平邦彦著）の全体像 — 「平均値の定理」へと至る論理の階梯

※ 本記事は生成AI（Antigravity）の支援を受けて構成・執筆されたものである。

　小平邦彦先生の名著『解析入門Ⅰ』を読み進める際、多くの読者が「いつになったら微積分らしい話が始まるのだろう」と感じるかもしれない。実際、第1章「実数」や第2章「関数」は非常に抽象的で、その厳密さに圧倒されることもあるだろう。

　しかし、本書の構成を俯瞰すると、第3章 微分法 における「平均値の定理」が大きな山場であることは間違いない。そして、そこに至る第1章・第2章は、単なる導入ではなく、この山頂へ登るために絶対に欠かせない「論理の階梯（きざはし）」となっている。

　本記事では、本書がどのような設計図に基づいて「平均値の定理」という一つの到達点を目指しているのか、その全体像を整理する。

『解析入門Ⅰ』の目的

　小平先生が本書で目指しているのは、単に微分の計算手法を伝えることではない。

解析入門Ⅰの全体像

実数という土台の上に、微積分学という巨大な伽藍（がらん）を、一点の隙もなく論理的に組み上げること

　これが本書の真の目的である。この目的を達成するために、各章は以下のような役割を担っている。

論理の階梯：第1章から第3章へ

第1章：実数（土台の構築）

• 役割：全ての議論の「根拠」を定義する。

　微分を定義するには「極限」が必要であり、極限を定義するには「いくらでも近づける数（実数）」が隙間なく並んでいなければならない（実数の連続性）。

• 第3章への関わり： 第3章の山場である「平均値の定理」を証明するためには、まず「ロルの定理」が必要であり、さらにその前提には「最大値の存在」が必要となる。しかし、関数が最大値を持つことを証明するには、第1章で扱う「上限・下限（ワイエルシュトラスの公理）」や「実数の完備性」が絶対に不可欠である。第1章がなければ、微分の重要な定理はすべて「図形的直観に頼った、証明のない主張」に成り下がってしまう。

第2章：関数（道具の精錬）

• 役割：微分という操作を「正当化」する言語を作る。

　微分の定義式自体が、関数の増分に関する「極限」そのものである。

• 第3章への関わり： 関数が微分可能であるためには、まずその点で「連続」でなければならない。第2章で「連続関数とは何か」を 論法によって厳密に定義しておくことで、第3章において「滑らかな変化（導関数）」を論理的に取り扱う準備が整う。第2章は、第1章の「静的な実数の性質」を、第3章の「変化する関数の性質」へと翻訳するための架け橋である。

第3章：微分法（理論の開花）

• 役割：局所的な変化から、関数の全体像を捉える。

　第1章と第2章で用意した最強の武器を使い、ついに「変化率」という概念を厳密に定義する。

• 到達点：平均値の定理 第3章の最大の到達点は「平均値の定理」である。

  平均値の定理

  関数 が閉区間 で連続、開区間 で微分可能であるとき、

  を満たす点 が少なくとも1つ存在する。

  この定理は、「ある区間の平均的な変化率は、どこか一点の瞬間の変化率（微分係数）と一致する」ことを主張する。これこそが「局所（微分）」と「大域（関数の変化）」をつなぐ解析学の心臓部であり、後の積分法（微分積分学の基本定理）へと繋がる最重要の結節点となる。

まとめ：なぜこの順番なのか？

　小平先生の叙述スタイルは、「後戻りを許さない」という強い意志に基づいている。

ノート

1. 第1章（実数）: 砂粒としての実数の性質を固める。
2. 第2章（関数）: 砂粒の上で動く関数のつながり方を定義する。
3. 第3章（微分）: 関数の傾き（変化）を厳密に測る。

　第1章や第2章で抽象的な議論に疲れを感じたときは、「これは平均値の定理という王を戴くための、壮大な伏線なのだ」と思い出してほしい。第3章を読み終え、すべての議論が一本の線でつながったとき、小平先生が描いた論理の美しさに深い感動を覚えるはずだ。