∫π每天一道数学题

高阶三角函数与不等式恒成立

∿ 三角函数

已知 f(x)=ax−sin⁡xcos⁡3xf(x)=ax-\frac{\sin x}{\cos^3 x},x∈(0,π2)x\in\left(0,\frac{\pi}{2}\right)。

(1) 当 a=8a=8 时,讨论 f(x)f(x) 的单调性;

(2) 若 f(x)<sin⁡2xf(x)<\sin 2x 恒成立,求 aa 的取值范围。

解析

【答案】(1) f(x)f(x) 在 (0,π4)\left(0,\dfrac{\pi}{4}\right) 上单调递增,在 (π4,π2)\left(\dfrac{\pi}{4},\dfrac{\pi}{2}\right) 上单调递减 (2) (−∞,3](-\infty,3] 【分析】(1)求导,然后令 t=cos⁡2xt=\cos^{2}x ,讨论导数的符号即可 (2) 构造 g(x)=f(x)−sin⁡2xg(x)=f(x)-\sin2x ,计算[插图] 的最大值,然后与0比较大小,得出 aa 的分界点,再对 aa 讨论即可. 【详解】(1) f′(x)=a−cosxcos⁡3x+3sinxcos⁡2xsinxcos⁡6xf^{\prime}(x)=a-\dfrac{cosx\cos^{3}x+3sinx\cos^{2}xsinx}{\cos^{6}x} =a−cos⁡2x+3sin⁡2xcos⁡4x=a−3−2cos⁡2xcos⁡4x=a-\dfrac{\cos^{2}x+3\sin^{2}x}{\cos^{4}x}=a-\dfrac{3-2\cos^{2}x}{\cos^{4}x} 令 cos⁡2x=t\cos^{2}x=t ,则 t∈(0,1)t\in(0,1) 则 f′(x)=g(t)=a−3−2tt2=at2+2t−3t2f^{\prime}(x)=g(t)=a-\dfrac{3-2t}{t^{2}}=\dfrac{at^{2}+2t-3}{t^{2}} 当 a=8,f′(x)=g(t)=8t2+2t−3t2=(2t−1)(4t+3)t2a=8,f^{\prime}(x)=g(t)=\dfrac{8t^{2}+2t-3}{t^{2}}=\dfrac{(2t-1)(4t+3)}{t^{2}} 当 t∈(0,12)t\in\left(0,\dfrac{1}{2}\right) ,即 x∈(π4,π2),f′(x)<0x\in\left(\dfrac{\pi}{4},\dfrac{\pi}{2}\right),f^{\prime}(x)<0 . 当 t∈(12,1)t\in\left(\dfrac{1}{2},1\right) ,即 x∈(0,π4),f′(x)>0x\in\left(0,\dfrac{\pi}{4}\right),f^{\prime}(x)>0 . 所以 f(x)f(x) 在 (0,π4)\left(0,\dfrac{\pi}{4}\right) 上单调递增,在 (π4,π2)\left(\dfrac{\pi}{4},\dfrac{\pi}{2}\right) 上单调递减 (2) 设 g(x)=f(x)−sin⁡2xg(x)=f(x)-\sin2x g′(x)=f′(x)−2cos⁡2x=g(t)−2(2cos⁡2x−1)=at2+2t−3t2−2(2t−1)=a+2−4t+2t−3t2g^{\prime}(x)=f^{\prime}(x)-2\cos2x=g(t)-2\left(2\cos^{2}x-1\right)=\dfrac{at^{2}+2t-3}{t^{2}}-2(2t-1)=a+2-4t+\dfrac{2}{t}-\dfrac{3}{t^{2}} 设 φ(t)=a+2−4t+2t−3t2\varphi(t)=a+2-4t+\dfrac{2}{t}-\dfrac{3}{t^{2}} φ′(t)=−4−2t2+6t3=−4t3−2t+6t3=−2(t−1)(2t2+2t+3)t3>0\varphi^{\prime}(t)=-4-\dfrac{2}{t^{2}}+\dfrac{6}{t^{3}}=\dfrac{-4t^{3}-2t+6}{t^{3}}=-\dfrac{2(t-1)(2t^{2}+2t+3)}{t^{3}}>0 所以 φ(t)<φ(1)=a−3\varphi(t)<\varphi(1)=a-3 . 1∘1^{^\circ} 若 a∈(−∞,3]a\in(-\infty,3] ,[插图] 即 g(x)g(x) 在 (0,π2)\left(0,\dfrac{\pi}{2}\right) 上单调递减,所以 g(x)<g(0)=0g(x)<g(0)=0 . 所以当 a∈(−∞,3],f(x)<sin⁡2xa\in(-\infty,3],f(x)<\sin2x ,符合题意. 2∘2^{^\circ} 若 a∈(3,+∞)a\in(3,+\infty) 当 t→0,2t−3t2=−3(1t−13)2+13→−∞t\to0,\dfrac{2}{t}-\dfrac{3}{t^{2}}=-3\left(\dfrac{1}{t}-\dfrac{1}{3}\right)^{2}+\dfrac{1}{3}\to-\infty ,所以 φ(t)→−∞\varphi(t)\to-\infty . φ(1)=a−3>0\varphi(1)=a-3>0 . 所以 ∃t0∈(0,1)\exists t_{0}\in(0,1) ,使得 φ(t0)=0\varphi\left(t_{0}\right)=0 ,即 ∃x0∈(0,π2)\exists x_{0}\in\left(0,\dfrac{\pi}{2}\right) ,使得 g′(x0)=0g'\left(x_{0}\right)=0 . 当 t∈(t0,1),φ(t)>0t\in\left(t_{0},1\right),\varphi(t)>0 ,即当 x∈(0,x0),g′(x)>0,g(x)x\in\left(0,x_{0}\right),g^{\prime}(x)>0,g(x) 单调递增. 所以当 x∈(0,x0),g(x)>g(0)=0x\in\left(0,x_{0}\right),g(x)>g(0)=0 ,不合题意. 综上, aa 的取值范围为 (−∞,3](-\infty,3] . 【点睛】关键点点睛:本题采取了换元,注意复合函数的单调性 t=cosxt=cosx 在定义域内是减函数,若 t0=cosx0t_{0}=cosx_{0} ,当 t∈(t0,1),φ(t)>0t\in\left(t_{0},1\right),\varphi(t)>0 ,对应当 x∈(0,x0),g′(x)>0x\in\left(0,x_{0}\right),g^{\prime}(x)>0 .