苏　丽，王旭丹

（大连科技学院　基础部，辽宁　大连　116052）

含定积分的等式与不等式的证明

苏丽，王旭丹

（大连科技学院基础部，辽宁大连116052）

文章列举了多种证明方法，包括利用定义，利用性质，利用积分中值定理，许瓦兹不等式，变上限积分，泰勒公式等来完成含有积分的等式和不等式的证明问题.

定积分；等式；不等式；证明

在教学过程中会遇到很多含有定积分的证明题，由于题型多样，所以解决起来需要一定的技巧.但其根本点是将数值问题归结为函数问题，利用微积分的理论研究函数的性质，再根据函数的性质和特点来完成证明过程.

1　预备知识

1.1定积分的定义

1.2积分中值定理

若f（x）在［a，b］连续，则至少存在一点ξ∈（a，b）使得

1.3积分估值不等式

1.4许瓦兹不等式

设f（x）与g（x）在［a，b］可积，

1.5牛顿莱布尼兹公式

1.6泰勒公式

2　含有定积分的等式证明

例1设f（x）在［a，b］正连续，且f（x）最大值为M，

分析结论要证明极限值为f（x）的最大值，想到了利用两边夹法则，

证明因为f（x）在［a，b］正连续，所以存在x0∈［a，b］，使得f （x0）=M.

且∀ε＞0，∃δ＞0，使得M-ε＜f（x）＜M+ε，当x∈（x0-δ，x0+δ）

由ε任意性，令ε=0有

对上式取极限

例2设f（x）在［a，b］非负连续且严格单调递减，对于任意的n，存在ξn∈［a，b］使得

分析此题结论形似积分中值定理，可利用题中提到的单调性.

因此有

又f（x）严格单调递减，有a≤ξn≤a+2ε，所以

3　含有定积分的不等式证明

3.1利用许瓦兹不等式证明

分析因要证结论中被积函数是乘积的形式，考虑用许瓦兹不等式.

证明由已知条件（f x）在［a，b］上可导，∃x0∈［a，b］使得f（x）=M，又因为f'（x）在［a，b］连续，利用牛顿莱布尼兹公式有

已知f（a）=0及许瓦兹不等式有

3.2利用……