平均値の定理について

質問

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

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

回答No.1

KSnake · ベストアンサー

平均値の定理の結論部分は
「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))