平均値の定理について

平均値の定理の結論部分を論理式で表したいのですが、正解がわかりません。

よろしくおねがいします。

No.1 ベストアンサー 回答者： KSnake 回答日時： 2012/01/11 19:15

平均値の定理の結論部分は

「f(b)-f(a)/b-a = f'(x)　を満たすx　(a <= x <= b)がある」
言い換えると、
「あるｘがあって、それは、a <= x <= ｂ　を満たして、
f(b)-f(a)/b-a = f'(x)　も満たす」。
ですからほとんどすべきことはなくて、

∃x((a <= x <= b) ∧f(b)-f(a)/b-a = f'(x))