本题导读

本题是 2015 年上海卷的最终压轴题,属于“新定义”函数问题。考查学生对新定义的理解、转化与运用。第一问是基础验证;第二问结合单调性考查介值性质的证明;第三问是全卷最难点,需要严密的逻辑推导和分段区间的精细化讨论,通过周期性与单调性的结合完成证明。

📌【题干】

Question

(2015年上海卷(理)) 对于定义域为 的函数 ,若存在正常数 ,使得 是以 为周期的函数,则称 为余弦周期函数,且称 为其余弦周期.已知 是以 为余弦周期的余弦周期函数,其值域为 .设 单调递增,.

(1) 验证 是以 为周期的余弦周期函数;

(2) 设 .证明对任意 ,存在 ,使得 ;

(3) 证明:“ 为方程 在 上得解”的充要条件是“ 为方程 在 上有解”,并证明对任意 都有 .

🔍【思路分析】

破题导航

  1. (1)问思路:
    • 根据定义,需验证 。
    • 利用诱导公式 进行转化。
  2. (2)问思路:
    • 题目已知 连续单调递增且值域为 ,这实际上是在考察连续函数的介值定理。
    • 利用反证法:假设不存在这样的 ,结合单调性会产生定义域或值域的矛盾。
  3. (3)问思路:
    • 充要条件证明:利用 是余弦周期,即 ,直接代入 即可证明两向推导。
    • 恒等式证明:这是全卷的难点。
      • 首先分析 在 内的解,由于 且 递增,由第(2)问结论,在 内 必经过 ,这些点都是方程的解。
      • 结合 ,说明 与 的波动完全同步。
      • 通过分段区间 讨论,利用余弦函数的单调性得出 。

✅【答案】

点击查看答案

因为 ,所以 对任意 均成立

✍【详细解析】

Abstract

(1) 验证 已知 。 对于任意 : 。 则 。 根据余弦函数的周期性,, 所以 。 故 是以 为周期的余弦周期函数。

(2) 证明介值性 由于 的值域为 且单调递增,说明 是 到 的双射(且是连续的)。 对于任意 ,必存在唯一的 使得 。 若 ,由单调递增得 ,与 矛盾。 若 ,由单调递增得 ,与 矛盾。 因此,必有 。

(3) 证明充要条件与恒等式 第一部分:充要条件证明 因为 以 为余弦周期,所以 对任意 成立。

  • 若 满足 且 , 则 。又 , 故 是方程在 上的解。
  • 反之亦然。故充要条件成立。

第二部分:证明 由 (2) 知,存在 , 使得 ()。 此时 。 由余弦周期的定义及充要条件,这些点对应的 也是 在 上的解。 在区间 上, 是单调的。 考虑到 且 递增, 在区间 上,,而 必须落在使余弦值相同的区间 内。 因此 (在对应单调区间内反余弦值唯一)。 因为 ,所以 对任意 均成立。

💡【考点归纳与避坑指南】

Danger

  • 核心考点:新定义理解(将余弦周期转化为余弦值的周期性);连续函数介值性;复合函数的单调区间讨论。
  • 核心方法:逻辑演绎法。压轴题不仅考查计算,更考查逻辑推理。通过将大区间化为小区间,利用函数在小区间上的单调性排除多解情况。
  • 避坑指南:第三问的恒等式证明中,不能直接去掉 ,必须结合 的单调性范围来说明 只能比 多出整倍数的 。

📖【试题探源与推广】

Tip

*结论推广: 若 递增且 为周期函数,则 必呈现“线性 + 周期微调”的结构,如 。

  • 相关知识点:反三角函数、初等泛函方程思想。

🔗【关联脉络】

Multi column