平均値の定理

今回も何も気の利いた噺とか思いつかないので、定理のステートメントを「写経」する：

関数が区間]で連続、で1回微分可能ならば、を満たすが区間内に少なくともひとつ存在する。（公式集 (モノグラフ) ではp.222のあたり）

ここからLegendre変換の話に持っていこうと思ったが、凸性の話が間に一歩必要なので止める(気が乗らない)。絵を描くとかなり自明にも思えそうな定理である。