用变限积分函数证明不等式.docx

word 用变限积分函数证明不等式 院系：数学与计算科学学院 班级：应数 5 班 某某：谭晶晶学号： 201040510534 【摘要】 证明不等式，方法多种多样。构造变限积分来证明不等式是非常巧 妙的方法之一。本文介绍了利用变限积分和被积函数的不等式的方法解决不等 式的证明。 【关键字】 变限积分；辅助函数；不等式；被积函数的不等式 提出问题 ：变限积分是一类重要的函数，在微积分领域应用广泛。本文我们探 讨：如何运用变限积分函数证明不等式。 分析问题 ：对于形如 的积分，我们可以写成 的形式；对于简单函数 也可表示为 的积分形式。 由此可以看出不管是积分表达式还是一般表达式都可以用变限积分 表示出来那么我们便可将证明不等式问题转化为研究变限积分函数 的问题中来，再结合具体情况根据函数的性质最终证出不等式。 解决问题 ：在解决此类问题关键是构造变限积分形式的辅助函数。大致步骤可 分三步： 根据所构造的辅助函数性质结合题目 进一步处理，多数采用求导的方法； 证。 一．变限积分的定义 设 f 〔x〕在 上可积，根据定积分性质，对任意 复原到原来形式，不等式得 x∈ ， f 在 上也 可积。于是，由 定义了一个以积分上限 x 为自变量的函数，称为变上限的定积分。类似地，又 可以定义变下限的定积分 统称为变限积分。注意，在变限积分中，不可再把积分变量写成 x。 1 / 8 word 二﹑变限积分函数的应用 通过变限积分函数构造辅助函数证明不等式 在解题中构造辅助函数后，要对函数求导，我们简单介绍一下变限 积分函数的求导问题。 设 定义在 上， 注： 假如被积函数中含 x, 不能直接用公式求导 , 应先作变代换使被积函数不含 x, 再求导。 在构造辅助函数时，又可根据不等式的特征分为两类构造方法 将不等式两边相减的方法，即 : 要证形如 等式，可设 。 的不 例一：设 f 〔x〕是 上的单调递增函数，且 f 〔x〕在 上连续，求证： 分析：在此证明不等式题中，可以先运用变限积分构造辅助函数 F 〔x〕，由于 f 〔x〕在 上连续，得知 F 〔x〕可导，求出 F〔x〕的导函数，再由 f 〔x〕 是 上的单调递增函数推出 F 〔x〕的单调性，从而证出不等式。 证明：令 由 f 〔x〕在 上连续得知 F 〔x〕可导。 且 又因为 f 〔x〕是 上的单调递增函数，故在 上有 如此 2 / 8 word 如此 因此 F 〔x〕的单调递增。又因为 F 〔0〕 =0， a , 所以 F(a) , 即 例二 ：证明柯西斯瓦兹不等式〔 Cauthy-schwards 不等式〕 设 f 〔x〕， g(x) 在区间 上均连续，证明： 分析：运用变限积分构造辅助函数 那么证明柯西 - 斯瓦兹不等式就转化为 F 〔x〕在 上为单调不增的函 数。 证明：令 由此式可知 F〔a〕 =0, 由于 f 〔x〕， g(x) 在区间 上均连续，所以 F 〔x〕在区间 可导，求出导函数 F ‘〔 x〕 显然当 x∈ 时， 。 所以， 。 将 x=b 代入 F〔x〕中，得 3 / 8 word 如此 如此 柯西 - 斯瓦兹不等式得证。 例三： g 〔x〕在 上连续，且 g 〔x〕 证明： 分析：运用变限积分做辅助函数 G〔t 〕为不等式两边做差，再对 G〔t 〕求导， 推出 G〔t 〕的单调性，继而证出不等式。 证明：令 对 求导