中間値の定理の応用と多変数関数への拡張
で連続な関数 を考える。 と の間にある任意の実数 に対して， となる が存在する。
中間値の定理について
中間値の定理の応用
多変数関数の中間値の定理
中間値の定理について
- グラフを書けば当たり前な定理です。日本語で言うならば「高さの違う2点を結ぶとき，その中間の高さを絶対に一回は横切る」ということになります。（多変数関数に拡張したいときはこのような理解の仕方が重要になります！）
- 入試問題では特に「 ならば となるような が と の間に存在する」という形で頻出です。方程式に解が存在することを証明できるのです。
- 数学オリンピックでもたまに使えます。→ラグランジュの補間公式とその応用例の応用例2
中間値の定理の応用
これ以降はかなり難しい話になります。腰を据えて読んでください。
中間値の定理の多変数関数への拡張を考えるために以下の数オリの問題（を少し変えたもの）を考えてみます：
を満たす任意の非負実数 に対して，
が 以上 以下であることを示せ。
これ自体面白い問題なので考えてみてください！答えは→1984年IMO第1問の解説
では， は 以上 以下の値を全てとりうるのか？というのが次の問題です。（読者の方に質問いただきました）
これを中間値の定理を使って証明してみます。 は多変数関数なのでうまいこと一変数関数に変換してから中間値の定理を使います。
は で最小値 ， で最大値 を取ることに注意して，
の一変数関数 を
と定義する。
は連続。
よって，一変数関数の中間値の定理が使えて，
任意の実数 に対して
となる が と の間に存在する。
よって，
とすれば を満たし， となる。
よって から まで全ての値をとりうる！
多変数関数の中間値の定理
さきほどの例を一般化してみます。二変数関数 に対する中間値の定理です！三変数以上でも全く同様です。
- は連結な領域 上で定義されている。つまり定義域内の任意の2点 と に対してそれを結ぶ曲線 がある。
- は連続。
このとき， と の間にある任意の実数 に対して， 上の点 で を満たすものが存在する。
さきほどの数学オリンピックの例を一般化するだけで全く同様にして証明できます。（一変数関数へ帰着）
イメージは一変数の場合と同じです。
「高さの違う2点を結ぶとき，どんな道を通ってもその中間の高さを絶対に一回は横切る」
「高さ」とは関数値のことです。
図の説明：山の地図だと思ってください。 が出発点。 が山頂。登るルート として青い線を選んでも赤い線を選んでもOK。水色の領域が定義域 。山頂を目指すときにどういうルートで登っても任意の標高を一回は通過する！
多変数関数は大学に入ってから本格的に学ぶことになりますが，一変数関数のときのイメージが非常に重要です。