フェイエールの補題の証明を高校生向けにわかりやすく解説（平均値の定理との関係）

フェイエールの補題は解析学の基礎的な定理の一つで、特に「平均値の定理」や「積分の扱い方」と深く関係しています。高校生にとっては少し抽象的に見えますが、考え方を順を追えば十分理解できます。本記事では証明の流れをできるだけ噛み砕いて解説します。

フェイエールの補題とは何か

フェイエールの補題は、連続関数の積分平均に関する性質を表したものです。

直感的には「ある区間での平均的な値をうまく近似できる」という考え方になります。

高校数学では直接扱うことは少ないですが、極限や平均の概念を理解する重要な橋渡しになります。

証明の基本方針は「積分を分割して評価すること」です。

具体的には区間を細かく分け、各部分での関数の値を比較していきます。

このとき連続性を利用して誤差を小さく抑えるのがポイントです。

連続関数は「値が急に飛ばない」という性質を持っています。

この性質により、区間を十分細かくすると関数の値はほぼ一定とみなせます。

これが積分の近似評価を可能にする核心部分です。

区間[a, b]をn等分し、それぞれの小区間で関数を評価します。

その合計として積分値を上下からはさみ込む形で評価します。

nを大きくすることで誤差が0に近づき、補題の主張が導かれます。

フェイエールの補題は平均値の定理と思想的に似ています。

どちらも「ある区間の平均的な振る舞いを一点で代表させる」という発想です。

そのため解析学の基礎理解として非常に重要な位置づけになります。

フェイエールの補題の証明は、連続性と積分の分割が中心になります。

難しく見えますが、考え方は「細かく分けて平均に近づける」というシンプルなものです。

まずは平均値の定理との共通点を意識すると理解しやすくなります。