dianyancao 发表于 2014-4-10 02:12:06

如何用mathematica证明微分中值定理？

FullSimplify[(f - f)/(x - x0), Assumptions -> f' == c]
怎么根据f的导函数为常数c，化简上式？

wayne 发表于 2014-4-10 08:18:29

你对中值定理理解错了吧.
中值定理 解决的是存在性问题.

dianyancao 发表于 2014-4-11 02:21:40

嗯，说错了，是中值定理的应用，代码是这个：
FullSimplify[(f - f)/(x - x0), Assumptions -> f' == C]
如何根据导函数为常数，化简上式？

dianyancao 发表于 2014-4-11 02:26:12

In:= g := C

In:= f := Integrate, x]

In:= FullSimplify[(f - f)/(x - x0)]
mathematica能化简的，怎么写出更简短的代码呢？
Out= C
页: [1]
查看完整版本: 如何用mathematica证明微分中值定理？