distinct为什么不能用_为什么不能用导数证明？

为什么不能用导数证明？

我们在学习导数时候， 时常会碰到这么个问题：

一般来说， 我们都会这么证明这个不等式：

令 , 则

所以 在 时 单调递增， 从而 ， 即  . 因此不等式成立.

接下来，我们仔细分析一下证明中的问题， 在以上证明过程中，我们用到了公式 . 下面我们回想一下 这个公式式怎么证明的.

其中最后一个等式我们用了重要极限 .  下面我们继续追根溯源，想一想这个极限是怎么证明的. 也许很多人已经想起来了，我们用到了一个图，

通过图形中比较面积，我们可以得到不等式

从而有

利用极限的两边夹法则， 我们得到 大家发现问题了吧， 追根溯源，我们发现在最初的问题证明中，实际我们已经用了不等式 . 从逻辑上讲，这涉嫌循环论证. 所以不建议用导数来证明不等式 . 那大家有什么好的其他的证明方式呢？

实际，关于这个不等式的证明已经完全包含在文中的，我们只是阐述的这个问题不适合用导数证明. 如果有同学觉得证明不够严格，那得需要对sinx 进行重新的严格定义，比如用级数进行定义，这样严格证明将不在是问题.