system: [SYSTEM]

user: 3. Rolle定理的应用分析 题型一 证明 f ( n ) ( ξ ) = 0 。 证明的思路是对函数 f ( n − 1 ) ( x ) 应用Rolle定理，问题的关键是寻找 f ( n − 1 ) ( x ) 的两个等值点。 例1 设函数 f ( x ) 在 [ 0 ， 3 ] 上连续，在 ( 0 ， 3 ) 内可导，且 f ( 0 ) + f ( 1 ) + f ( 2 ) = 3 ， f ( 3 ) = 1 ，证明：存在 ξ ∈ ( 0 ， 3 ) ，使得 f ′ ( ξ ) = 0 。 结构分析：题型为导函数零点的存在性；类比已知：研究函数零点的工具有连续函数的零点定理和导函数的零点存在性的Rolle定理；两个思路都是考虑之一，从关联紧密的角度看，确定思路为Rolle定理；方法设计：根据Rolle定理，需要验证的定量条件是两个等值点的确定，类比题目中已知条件，已经有了一个函数值信息 f ( 3 ) = 1 ，因此，重难点是寻找函数的等值点，即确定另一个满足函数值等于1的点 x 0 ，这就需要利用附加条件来完成，这是连续函数的介值问题，即需要从0、1、2三个点与 x 0 点处的函数值进行比较，由此形成对应的解题方法。因此，需先证存在 x 0 ∈ [ 0 ， 3 ) ，使得 f ( x 0 ) = 1 。 证明 因 f ( x ) 在 [ 0 ， 3 ] 上连续，所以在 [ 0 ， 2 ] 上连续，且在 [ 0 ， 2 ] 上有最大值M与最小值m，故 m ≤ f ( 0 ) ， f ( 1 ) ， f ( 2 ) ≤ M ，因此 m ≤ f ( 0 ) + f ( 1 ) + f ( 2 ) 3 ≤ M ，由介值定理，至少存在一点 x 0 ∈ [ 0 ， 2 ] ，使得 f ( x 0 ) = f ( 0 ) + f ( 1 ) + f ( 2 ) 3 = 1 。 因为 f ( x 0 ) = f ( 3 ) = 1 ，且 f ( x ) 在 [ x 0 ， 3 ] 上连续，在 ( x 0 ， 3 ) 内可导，由Rolle定理知，必存在 ξ ∈ ( 0 ， 3 ) ，使得 f ′ ( ξ ) = 0 。 例2 设函数 f ( x ) 在 [ a ， b ] 非负且有直到三阶的连续导数，方程 f ( x ) = 0 在 ( a ， b ) 有两个不同的实根，证明存在 ξ ∈ ( a ， b ) ，使得 f ‴ ( ξ ) = 0 。 结构分析 题型：从结论形式看，属于导函数的零点问题，思路为应用Rolle定理；类比已知：处理方法就是对二阶导函数利用Rolle定理，因而，必须寻求两个使得二阶导数相等的点，为此，只需寻找三个使得一阶导数相等的点，或寻找四个使函数值相等的点，这就是证明题目的出发点。在寻找这些点时，要注意一些特殊点处的性质，如函数的零点、一阶导函数的零点(驻点)，而由Fermat定理，可导极值点一定是驻点，因此，确定极值点也是确定一阶导函数零点的方法。 证明 已知方程 f ( x ) = 0 在 ( a ， b ) 有两个不同的实根，设 x 1 ， x 2 ∈ ( a ， b ) 且 x 1 < x 2 使得 f ( x 1 ) = f ( x 2 ) = 0 ，则由Rolle定理，存在 x 3 ∈ ( x 1 ， x 2 ) ，使得 f ′ ( x 3 ) = 0 。 (分析 显然，剩下的两个一阶导数的零点要从极值点中寻找。) 由于函数非负，因而， x 1 和 x 2 是函数的两个极小值点，故 f ′ ( x 1 ) = f ′ ( x 2 ) = 0 ， 利用Rolle定理，则存在 ξ 1 ∈ ( x 1 ， x 3 ) ， ξ 2 ∈ ( x 3 ， x 2 ) ，使得 f ″ ( ξ 1 ) = f ″ ( ξ 2 ) = 0 再次用Rolle定理，存在 ξ ∈ ( ξ 1 ， ξ 2 ) ，使得 f ‴ ( ξ ) = 0 。 题型二 [ 2 ] 待证结论中含有一个中值 ξ ，不含其它字母。 证明的基本思路是构造适当的辅助函数，使用Rolle定理进行证明。因此，如何构造辅助函数是证明的关键点也是难点，常用的构造辅助函数的方法是原函数法。 情形一 若待证结论是两项相加减的形式(两项中 f ( ξ ) 与 f ′ ( ξ ) 仅相差一阶导数)，如 f ′ ( ξ ) + g ( ξ ) f ( ξ ) = 0 ， ξ ∈ ( a ， b ) 。用原函数法构造辅助函数，需要先把 ξ 换成 x ， f ′ ( x ) + g ( x ) f ( x ) = 0 ，再将其改写成 f ′ ( x ) f ( x ) + g ( x ) = 0 ，进一步还原成 [ l n f ( x ) ] ′ + [ ∫ 0 x g ( t ) d t ] ′ = 0 ，利用结构一致的原理，将 ∫ 0 x g ( t ) d t 也改写成对数函数形式，可得 [ l n f ( x ) ] ′ + [ l n e ∫ 0 x g ( t ) d t ] ′ = 0 ，合并对数得 [ l n f ( x ) e ∫ 0 x g ( t ) d t ] ′ = 0 ，因此，辅助函数便可取为 φ ( x ) = f ( x ) e ∫ 0 x g ( t ) d t (注意积分的下限不一定取0，也可以是其它常数，根据函数 g ( x ) 定义域的要求确定即可)。 如，① 欲证 f ′ ( ξ ) + 2 f ( ξ ) = 0 ，构造辅助函数为 φ ( x ) = f ( x ) e ∫ 0 x 2 d t = e 2 x f ( x ) ； ② 欲证 ξ f ′ ( ξ ) + 2 f ( ξ ) = 0 ，需证 f ′ ( ξ ) + 2 ξ f ( ξ ) = 0 ，构造辅助函数为 φ ( x ) = f ( x ) e ∫ 1 x 2 t d t = x 2 f ( x ) ； ③ 欲证 f ′ ( ξ ) + f 2 ( ξ ) = 0 ，需证 f ′ ( ξ ) + f ( ξ ) f ( ξ ) = 0 ，构造辅助函数为 φ ( x ) = f ( x ) e ∫ 0 x f ( t ) d t ； ④ 欲证 f ″ ( ξ ) = 2 f ′ ( ξ ) 1 − ξ ，需证 [ f ′ ( ξ ) ] ′ − 2 1 − ξ f ′ ( ξ ) = 0 ，令 g ( ξ ) = f ′ ( ξ ) ，即需证 g ′ ( ξ ) − 2 1 − ξ g ( ξ ) = 0 ，只需构造辅助函数为 φ ( x ) = g ( x ) e ∫ 2 x − 2 1 − t d t = e 2 l n ( x − 1 ) g ( x ) = ( x − 1 ) 2 f ′ ( x ) 即可； …… 情形二 若待证结论是两项以上相加减的形式，或特殊的两项相加减(两项中所含 f ( ξ ) 与 f ″ ( ξ ) 相差两阶导数)的形式，需将所证结论进行适当分组，然后再使用原函数法构造辅助函数，也可称为分组构造原函数法。 如，① 欲证 f ′ ( ξ ) − f ( ξ ) + 2 ξ = 2 ，把 ξ 换成 x ， f ′ ( x ) − f ( x ) + 2 x = 2 ，分组 [ f ( x ) − 2 x ] ′ − [ f ( x ) − 2 x ] = 0 ，令 f ( x ) − 2 x = g ( x ) ，转化为情形一对应的形式 g ′ ( x ) − g ( x ) = 0 ，利用情形一中构造辅助函数的方法可得辅助函数为 φ ( x ) = e − x [ f ( x ) − 2 x ] ； ② 欲证 f ″ ( ξ ) − f ( ξ ) = 0 ，把 ξ 换成 x ，并插项分组 [ f ″ ( x ) − f ′ ( x ) ] + [ f ′ ( x ) − f ( x ) ] = 0 ，即 [ f ′ ( x ) − f ( x ) ] ′ + [ f ′ ( x ) − f ( x ) ] = 0 ，令 f ′ ( x ) − f ( x ) = g ( x ) ，转化为情形一对应的形式 g ′ ( x ) + g ( x ) = 0 ，利用情形一中构造辅助函数的方法可得辅助函数为 φ ( x ) = e x [ f ′ ( x ) − f ( x ) ] 。 题型三 待证结论中含有一个中值 ξ ，还含字母a、b。 情形一 字母a、b与 ξ 可分离。将含字母a、b的部分与含 ξ 的部分进行分离，各自还原为原函数，再应用Rolle定理。 如，欲证 f ( a ) − f ( ξ ) = ξ f ′ ( ξ ) ，把 ξ 换成 x ，并改写成 f ( a ) − [ f ( x ) + x f ′ ( x ) ] = 0 ，含字母a、b的部分与含x的部分各自还原为原函数，得 [ f ( a ) x ] ′ − [ x f ( x ) ] ′ = 0 ，进一步还原得 [ f ( a ) x − x f ( x ) ] ′ = 0 ，因此，构造辅助函数为 φ ( x ) = f ( a ) x − x f ( x ) 。 情形二 字母a、b与 ξ 不可分离。此时，一般采用凑微分法，先将 ξ 换为 x ，并将结论的形式进行去分母，移项处理，整理成 h ( x ) = 0 的形式，再找出 h ( x ) 的原函数，应用Rolle定理。 如，欲证 f ( a ) − f ( ξ ) g ( ξ ) − g ( b ) = f ′ ( ξ ) g ′ ( ξ ) ，把 ξ 换成 x ，去分母，移项，整理成 f ( a ) g ′ ( x ) − f ( x ) g ′ ( x ) − f ′ ( x ) g ( x ) + f ′ ( x ) g ( b ) = 0 ，即 f ( a ) g ′ ( x ) − [ f ( x ) g ( x ) ] ′ + f ′ ( x ) g ( b ) = 0 ，因此，构造辅助函数为 φ ( x ) = f ( a ) g ( x ) − f ( x ) g ( x ) + f ( x ) g ( b ) 。