x-cosx=0が，0＜x＜(π/2)の範囲に解を持つことを示す問題です。式を眺めるだけでは，何をしていいか見当がつきません。しかし関数y=x-cosxのグラフをイメージすると，どうでしょうか？ y=x-cosxという曲線が，0＜x＜(π/2)の範囲でx軸と交われば，この範囲で実数解を持つといえますね。そう中間値の定理です。

中間値の定理を使って証明していきます。まずは，f(x)=x-cosxとおき，関数f(x)が0＜x＜(π/2)の範囲で連続であることを確認します。

f(x)=x-cosxにおいて，直線y=xは連続であり，曲線y=-cosxも連続です。(連続関数)+(連続関数)なので，f(x)=x-cosxも連続であると言えます。

この関数が連続であることの確認作業は忘れないようにしましょう。中間値の定理は，あくまで切れ目のない連続関数でのみ成り立つ定理です。

次に，y=f(x)のグラフの左端と右端の符号を求めましょう。
左端のx=0のとき
f(0)=0-cos0=-1＜0 負
右端のx=(π/2) のとき
f(π/2)=(π/2)-cos(π/2)=π/2＞0 正

y=f(x)のグラフの左端と右端が異符号であることがわかりましたね。よって中間値の定理より，x-cosx=0は0＜x＜(π/2)の範囲に解を持つと言えます。

わざわざx-cosx=0の方程式を解かなくても，区間の左端と右端の符号に注目するだけで，その区間内に解を持つことを示せるのがポイントです。