一类利用微积分内在矛盾的构造证明方法

A Kind of Constructive Proof Using Inherent Contradiction of Calculous

众所周知,在利用构造的方法证明等式的过程中,构造出合适的函数是尤为重要的.本文利用微积分的内在联系,给出一种比较实用的方法来构造合适的函数,该函数在构造证明与中值定理相关联的内容非常有用.

As is well-known,constructing a right function is very important when we use constructed method to prove an equation. In this paper,we use inherent contradiction of calculous to construct a function. The function is very useful when we prove the relevant parts of the intermediate value theorem.