设函数在连续，在内可导，且，证明：在内至少存在一点，使得成立时可构造辅助函数