已知在上连续,在内是函数的一个原函数,且。
- (1) 求在区间上的平均值;
- (2) 证明在区间内存在唯一零点。
记 ,则 。为消去导数中的分母,取 作分部积分。先在 上计算,再令 ;由 在 上连续且 ,两端边界项都趋于零,故
所以平均值为 。
(1)在 内分母 ,故 与 异号。于是 在 上严格递减,在 上严格递增。由 ,得 对所有 成立,特别地 。
(2)第一问已得 。若 在整个闭区间上均非正,则积分也非正,矛盾。因此存在 ,使 。
(3)由连续性和 ,零点定理保证存在 满足 ,该点属于 。又因前半段恒负、后半段严格递增,后半段至多有一个零点,故所求零点存在且唯一。