视频字幕
今天我们来解决一道高考数学题。这道题考查三角函数的性质和应用。题目给出函数 f(x) = 5cos x - cos 5x,要求我们在区间 [0, π/4] 上找到它的最大值。我们先来观察这个函数的图像,可以看到它在给定区间内的变化趋势。
为了求函数的最大值,我们需要对函数求导。f(x) = 5cos x - cos 5x 的导数是 f'(x) = -5sin x + 5sin 5x。令导数等于零,得到 sin 5x = sin x。我们需要在区间 [0, π/4] 内找到满足这个方程的点,然后比较这些临界点和端点处的函数值。
现在我们计算关键点的函数值。在 x = 0 处,f(0) = 5cos(0) - cos(0) = 5 - 1 = 4。在 x = π/4 处,f(π/4) = 5cos(π/4) - cos(5π/4) = 5倍根号2除以2 加上 根号2除以2,等于 3倍根号2。由于 3倍根号2 约等于 4.24,大于 4,所以函数在区间 [0, π/4] 上的最大值是 3倍根号2。
第二问要求我们证明一个存在性命题。给定角度θ在0到π之间,对于任意实数a,我们要证明在区间[a-θ, a+θ]内必定存在一个y值,使得cos y小于等于cos θ。证明的关键在于观察区间的长度。当θ大于等于π/2时,区间长度至少为π,这样的区间必定包含余弦函数的最小值点,因此结论成立。