19.(1)设函数f(x)=5cosx−cos5x,求f(x)在[0,4π]的最大值;
(2)给定θ∈(0,π),设a为实数,证明:存在y∈[a−θ,a+θ],使得cosy⩽cosθ;
(3)若存在φ使得对任意x,都有5cosx−cos(5x+φ)⩽b,求b的最小值。
第一问
第二问
第三问核心要点
第三问一个常见误区
第三问的一个启发
第一问
思路分析
有极大值点:
- 有驻点,就是导数为0的点。
- 导数是由正转负,就是驻点左边导数值大于0,右边是小于0。
极大值点中最大的点为最大值点。
f′(x)=−5sinx+5sin5x=10cos3xsin2x
因为x∈[0,4π],故2x∈[0,2π],故3x∈[0,43π]
只有x=0时,sin2x=0, x=6π时,cos3x=0
驻点为 x=0,x=6π
0<x<6pi时,f′(x)>0,故不是极大值点
当0<x<6π时,cos3x>0)即f′(x)>0,
当6π<x<4π时,cos3x<0)即f′(x)<0,
故(f(x))在(0,6π)上为增函数,在(6π,4π)为减函数,
故(f(x))在[0,4π]上的最大值为:
f(6π)=5cos6π−cos65π=33.
第二问
思路分析
在[−π,π],比cosθ大的区间为(−θ+θ)
考虑到周期性,比cosθ大的区间为(2kπ−θ2kπ+θ)
每个周期内比[a−θ,a+θ]刚好少了两个点,
[a−θ,a+θ]里的点是没有办法全部塞进去的,必然有点不在(2kπ−θ,2kπ+θ)内,所以必然存在点y满足cosy⩽cosθ。
证明
使用反证法,假设结论不成立,也就是
对任意的y∈[a−θ,a+θ],cosy>cosθ;
∴cos(a−θ)>cosθ,cos(a+θ)>cosθ
∴cos(a−θ)+cos(a−θ)>2cosθ①
又∵cos(a−θ)+cos(a+θ)=2cosacosθ≤2cosθ,与①矛盾。
所以假设不成立,完成证明。
第三问核心要点
当φ变化时,函数的最大值随着φ变化而变化,
要求b始终大于等于这个最大值,
求满足条件的b的最小值。
简单的说就是:
求所有可能的最大值当中最小的一个
f′(x)=(5cosx)′−(cos(5x+φ))′=−5sinx−[−sin(5x+φ)⋅5]=−5sinx+5sin(5x+φ)=5[sin(5x+φ)−sinx]==10cos(3x+2φ)sin(2x+2φ)
cos(3x0+2φ)=0⟹3x0+2φ=kπ+2πk∈Z①⟹x0=3kπ+6π−6φk∈Z②
由①得到6x0+φ=(2k+1)π③
f(x0)=5cos(x0)−cos(5x0+φ)=5cosx0−cos((2k+1)π−x0)=6cosx0
sin(2x0+2φ)=0⟹2x0+2φ=kπk∈Z①⟹x0=2kπ−4φk∈Z②
由①得到4x0+φ=2kπ③
f(x0)=5cos(x0)−cos(5x0+φ)=5cosx0−cos(2kπ+x0)=4cosx0
第一部分驻点集合设为:
A={x∣6π−6φ+3kπk∈Z},
相邻两个元素间隔3π。
关键结论,一定存在x∈A满足−6π≤x≤6π
这个证明也很简单,用反证法,假定没有x满足条件
假设x1为小于−6π的最大值,x2为大于6π的最小值,那么x2−x1>6π,与相邻两个间隔3π矛盾
由这个结论可以得出:
极值中的最大的必然是大于等于6cos(6π)=33
理论上证明了最大值必然大于33
第一问我们已经求得了φ=0时,最大值就是33,说明能取等。
需要注意:前面都说的是x0是驻点,还必须说明x0在[−6π,6π]是极大值点。
因为另外一部分驻点对应的函数值4cosx0≤4<33,这一部分驻点不可能是最大值点。
所以,b的最小值就是33
第三问一个常见误区
题目中要求的b,就是求可能的最大值中的最小的那个
下面的推导哪里错了?
5cosφ部分最大为5,
cos(5x+φ)范围为[−1,1],
∴最大的值的范围为[4,6],
并且当x=0,Φ=0时,f(x)=4,能取到,
所以b的最小值就是4
最大值的范围是[4,6]是对的。
有点的函数值能取到4,并不能说明该点的函数值是最大值。
但是如果有点的函数值是6,就可以说明可能的最大值中最大就是6
因为最大值的上限就是6,那么这一点必然是最大值,如果有值比它还大,6是上限就不成立了。
第三问的一个启发
已得到结论:
要求的b是所有可能的最大值当中最小的一个
导函数:f′(x)=10cos(3x+2φ)sin(2x+2φ)
驻点和对应函数值:
1,x0=2kπ−4φk∈Z
f(x0)=4cosx0
2,x0=3kπ+6π−6φk∈Z
f(x0)=6cosx0
5cosφ部分最大为5,
cos(5x+φ)范围为[−1,1],
∴最大的值的范围为[4,6],
4cosx0≤4小于等于可能的最小值,这一部分驻点是不是最大值都不会影响要求的b
结论:
利用初步得到的结论,排除掉不可能的选项。
能极大简化题目,并且有普遍性。