逆袭数学

19.(1)设函数f(x)=5cosxcos5xf(x)=5\cos x-\cos5x,求f(x)f(x)[0,π4]\left[0,\dfrac{\pi}{4}\right]的最大值;

(2)给定θ(0,π)\theta\in(0,\pi),设aa为实数,证明:存在y[aθ,a+θ]y\in[a-\theta,a+\theta],使得cosycosθ\cos y\leqslant\cos\theta

(3)若存在φ\varphi使得对任意xx,都有5cosxcos(5x+φ)b5\cos x-\cos(5x+\varphi)\leqslant b,求bb的最小值。

第一问

第二问

第三问核心要点

第三问一个常见误区

第三问的一个启发

第一问

思路分析

有极大值点:

极大值点中最大的点为最大值点。

f(x)=5sinx+5sin5x=10cos3xsin2x\begin{aligned} f'(x)&=-5\sin x+5\sin5x \\ &=10\cos3x\sin2x \end{aligned}

因为x[0,π4]x\in\left[0,\frac{\pi}{4}\right],故2x[0,π2]2x\in\left[0,\frac{\pi}{2}\right],故3x[0,3π4]3x\in\left[0,\frac{3\pi}{4}\right]

只有x=0时,sin2x=0x=0时,sin2x = 0, x=π6时,cos3x=0x=\frac{\pi}{6}时,cos3x = 0

驻点为 x=0,x=π6\Large \boxed{x=0,x=\frac{\pi}{6}}

0<x<pi6时,f(x)>0,故不是极大值点0 \lt x \lt \frac{pi}{6}时,f'(x) > 0,故不是极大值点

0<x<π60<x<\frac{\pi}{6}时,cos3x>0)\cos3x>0)f(x)>0f'(x)>0

π6<x<π4\frac{\pi}{6}<x<\frac{\pi}{4}时,cos3x<0)\cos3x<0)f(x)<0f'(x)<0

(f(x))(f(x))(0,π6)\left(0,\frac{\pi}{6}\right)上为增函数,在(π6,π4)\left(\frac{\pi}{6},\frac{\pi}{4}\right)为减函数,

(f(x))(f(x))[0,π4]\left[0,\frac{\pi}{4}\right]上的最大值为:

f(π6)=5cosπ6cos5π6=33\large \boxed{f\left(\frac{\pi}{6}\right)=5\cos\frac{\pi}{6}-\cos\frac{5\pi}{6}=3\sqrt{3}}

第二问

思路分析

[π,π][-\pi, \pi],比cosθ\cos\theta大的区间为(θ+θ)(-\theta +\theta)

考虑到周期性,比cosθ\cos\theta大的区间为(2kπθ2kπ+θ)(2k\pi-\theta 2k\pi+\theta)

每个周期内比[aθ,a+θ][a-\theta,a+\theta]刚好少了两个点,

[aθ,a+θ][a-\theta,a+\theta]里的点是没有办法全部塞进去的,必然有点不在(2kπθ,2kπ+θ)(2k\pi-\theta, 2k\pi+\theta)内,所以必然存在点yy满足cosycosθ\cos y\leqslant\cos\theta

证明

使用反证法,假设结论不成立,也就是

对任意的y[aθ,a+θ]\textcolor{red}{对任意的}y\in[a-\theta,a+\theta]cosy>cosθ\cos y\textcolor{red}{\gt}\cos\theta

cos(aθ)>cosθcos(a+θ)>cosθ\therefore cos(a-\theta) \gt cos\theta,cos(a+\theta) \gt cos\theta

cos(aθ)+cos(aθ)>2cosθ\therefore cos(a-\theta) + cos(a-\theta) \gt 2cos\theta \quad ①

cos(aθ)+cos(a+θ)=2cosacosθ2cosθ\because \cos(a-\theta) + \cos(a+\theta) = 2\cos a\cos\theta \leq 2\cos\theta,与①矛盾。

所以假设不成立,完成证明。

第三问核心要点

φ\varphi变化时,函数的最大值随着φ\varphi变化而变化,

要求bb始终大于等于这个最大值,

求满足条件的bb的最小值。

简单的说就是:

求所有可能的最大值当中最小的一个\Large \boxed{求所有可能的最大值当中最小的一个}

f(x)=(5cosx)(cos(5x+φ))=5sinx[sin(5x+φ)5]=5sinx+5sin(5x+φ)=5[sin(5x+φ)sinx]==10cos(3x+φ2)sin(2x+φ2)\begin{aligned} f'(x)&=\big(5\cos x\big)'-\big(\cos(5x+\varphi)\big)' \\ &=-5\sin x-\big[-\sin(5x+\varphi)\cdot 5\big] \\ &=-5\sin x+5\sin(5x+\varphi) \\ &=5\Big[\sin(5x+\varphi)-\sin x\Big] \\ &==10\cos\left(3x+\frac{\varphi}{2}\right)\sin\left(2x+\frac{\varphi}{2}\right) \end{aligned}

cos(3x0+φ2)=0    3x0+φ2=kπ+π2kZ    x0=kπ3+π6φ6kZ\begin{aligned} &\qquad \quad \cos\left(3x_0+\frac{\varphi}{2}\right)=\boldsymbol{0}\\ &\implies 3x_0+\frac{\varphi}{2} = k\pi +\frac{\pi}{2}\quad k\in Z \quad ① \\ & \implies {\Large \boxed{x_0 = \frac{k\pi}{3} +\frac{\pi}{6}-\frac{\varphi}{6} \quad k \in Z}} \quad ② \end{aligned}

由①得到6x0+φ=(2k+1)π6x_0 + \varphi = (2k + 1)\pi\quad ③

f(x0)=5cos(x0)cos(5x0+φ)=5cosx0cos((2k+1)πx0)=6cosx0\begin{aligned} &f(x_0)=5\cos(x_0)-cos(5x_0+\varphi) \\ &=5cosx_0 - cos((2k + 1)\pi-x_0) \\ &={\Large \boxed{6cosx_0}} \end{aligned}

sin(2x0+φ2)=0    2x0+φ2=kπkZ    x0=kπ2φ4kZ\begin{aligned} &\qquad \quad \sin\left(2x_0+\frac{\varphi}{2}\right)=\boldsymbol{0}\\ &\implies 2x_0+\frac{\varphi}{2} = k\pi\quad k\in Z \quad ① \\ & \implies {\Large \boxed{x_0 = \frac{k\pi}{2} -\frac{\varphi}{4} \quad k \in Z}} \quad ② \end{aligned}

由①得到4x0+φ=2kπ4x_0 + \varphi = 2k\pi\quad ③

f(x0)=5cos(x0)cos(5x0+φ)=5cosx0cos(2kπ+x0)=4cosx0\begin{aligned} &f(x_0)=5\cos(x_0)-cos(5x_0+\varphi) \\ &=5cosx_0 - cos(2k\pi+x_0) \\ &={\Large \boxed{4cosx_0}} \end{aligned}

第一部分驻点集合设为:

A={xπ6φ6+kπ3kZ}\large A=\{x\mid\frac{\pi}{6}-\frac{\varphi}{6}+\frac{k\pi}{3} \quad k \in Z\}

相邻两个元素间隔π3\large \frac{\pi}{3}

关键结论,一定存在xA满足π6xπ6\Large \boxed {一定存在 x \in A 满足 -\frac{\pi}{6} \leq x\leq \frac{\pi}{6}}

这个证明也很简单,用反证法,假定没有xx满足条件

假设x1x_1为小于π6-\frac{\pi}{6}的最大值,x2x_2为大于π6\frac{\pi}{6}的最小值,那么x2x1>π6x_2 - x_1 \gt \frac{\pi}{6},与相邻两个间隔π3\frac{\pi}{3}矛盾

由这个结论可以得出:

极值中的最大的必然是大于等于6cos(π6)=336cos(\frac{\pi}{6} ) = 3\sqrt{3}

理论上证明了最大值必然大于333\sqrt{3}

第一问我们已经求得了φ=0时,最大值就是33\varphi = 0时,最大值就是3\sqrt{3},说明能取等。

需要注意:前面都说的是x0x_0是驻点,还必须说明x0x_0[π6,π6][-\frac{\pi}{6}, \frac{\pi}{6}]是极大值点。

因为另外一部分驻点对应的函数值4cosx04<334cosx_0\leq 4 \lt 3\sqrt{3},这一部分驻点不可能是最大值点。

所以,b的最小值就是333\sqrt{3}

第三问一个常见误区

题目中要求的bb,就是求可能的最大值中的最小的那个

下面的推导哪里错了?\Large \textcolor{red}{哪里错了?}

5cosφ5\cos\varphi部分最大为5,

cos(5x+φ)cos(5x+\varphi)范围为[1,1][-1,1],

最大的值的范围为[4,6]\therefore 最大的值的范围为[4,6],

并且x=0Φ=0时,f(x)=4当x=0,\varPhi = 0时,f(x)=4,能取到,

所以bb的最小值就是44

最大值的范围是[4,6][4,6]是对的。

有点的函数值能取到4,并不能说明该点的函数值是最大值\large \textcolor{red}{并不能说明该点的函数值是最大值}

但是如果有点的函数值是66就可以说明可能的最大值中最大就是6\Large \textcolor{red}{就可以说明可能的最大值中最大就是6}

因为最大值的上限就是66,那么这一点必然是最大值,如果有值比它还大,66是上限就不成立了。

第三问的一个启发

已得到结论:

要求的bb是所有可能的最大值当中最小的一个

导函数:f(x)=10cos(3x+φ2)sin(2x+φ2)f'(x)= 10\cos\left(3x+\frac{\varphi}{2}\right)\sin\left(2x+\frac{\varphi}{2}\right)

驻点和对应函数值:

1,x0=kπ2φ4kZx_0 = \frac{k\pi}{2} -\frac{\varphi}{4} \quad k \in Z

f(x0)=4cosx0f(x_0) = 4cosx_0

2,x0=kπ3+π6φ6kZx_0 = \frac{k\pi}{3} +\frac{\pi}{6}-\frac{\varphi}{6} \quad k \in Z

f(x0)=6cosx0f(x_0)=6cosx_0

5cosφ5\cos\varphi部分最大为5,

cos(5x+φ)cos(5x+\varphi)范围为[1,1][-1,1],

最大的值的范围为[4,6]\therefore 最大的值的范围为[4,6],

4cosx044cosx_0 \leq 4小于等于可能的最小值,这一部分驻点是不是最大值都不会影响要求的bb

结论:

利用初步得到的结论,排除掉不可能的选项\textcolor{red}{利用初步得到的结论,排除掉不可能的选项}

能极大简化题目,并且有普遍性\textcolor{red}{普遍性}

沪ICP备15035202号-1