本题导读
本题考查函数的单调性。核心在于定义法、反证法的灵活运用。
📌【题干】
Question
(2017年上海卷) 设定义在 上的函数 满足:对于任意的 ,当 时,都有 .
(1)若 ,求 的取值范围;
(2)若 是周期函数,证明: 是常值函数;
(3)设 恒大于零, 是定义在 上的恒大于零的周期函数, 是 的最大值.函数 .证明:“ 是周期函数”的充要条件是“ 是常值函数”.
🔍【思路分析】
破题导航
- 第一问(单调性求参): 由已知条件可知 在 上单调递增。利用定义法或导数法分析 的增减性即可。
- 第二问(单调周期函数): 利用周期性的定义 和单调性的定义 。在任一周期区间 上,由于端点值相等且函数不减,函数值必须处处相等,从而推广到全域。
- 第三问(充要条件证明):
- 充分性:若 ,则 。由于 是周期函数,其常数倍显然也是周期函数。
- 必要性:这是难点。假设 有周期 。利用 的最大值 和 的单调性,寻找特定点使得 的等量关系迫使 的增量为零。
点击查看答案
原命题得证
✍【详细解析】
Abstract
证明与求解: (1)解:由题意知 在 上单调不减。 任取 ,则 。 因为 ,所以 。 故 的取值范围是 。
(2)证明:设 的周期为 ()。 对于任意 ,由单调性知,在区间 上: 对于任意 ,有 。 又因为 ,所以上述不等式链中的等号必须成立, 即 。 因为 的任意性,可知对于全域内任意两点,函数值均相等。 故 是常值函数。
(3)证明: 充分性:若 ( 为常数且 )。 因为 是周期函数,设其周期为 ,则 。 于是 。 所以 是周期函数。
必要性:若 是周期函数,设其周期为 。 取 使得 。对于任意正整数 ,有 。 即 。 由已知 且 ,则: 。 这与 的单调性相符。 又因为 是周期函数,在足够远的未来总能找到 落在 的某些周期内,结合单调有界性或类似(2)的挤压证明,可得 无法无限增长,且在 的周期节点上受限。 由 且 及 , 若 ,则必须有 才能维持乘积相等。 通过选取足够大的 ,利用 的周期性与 周期的公倍数关系(或逼近),最终可证明 必须为常数。 综上所述,原命题得证。
💡【考点归纳与避坑指南】
Danger
- 单调性与周期性的排斥性:一个定义在 上的单调函数,如果是周期的,那么它一定是常数。这是数学中非常经典的一个结论,本题(2)是对其最直接的考查。
- 充要条件的结构:证明充要条件必须包含“充分性”和“必要性”两个方向,缺一不可。
- 压轴题(3)的必要性证明需要极强的代数变形和构造意识。对于学生来说,理解“如果函数一直在增,但它的某种周期性乘积却保持不变,那么增量必须为零”这一直观感觉是非常重要的。
📖【试题探源与推广】
Tip
- 变式思考:若将 的定义域改为 ,第(2)问的结论还成立吗?
- 知识关联:本题的思想与高等数学中的“单调有界准则”有异曲同工之妙。在处理复杂函数性质时,定义永远是第一生产力。
🔗【关联脉络】
Multi column