猜题03 第21题 函数、数列新定义（解析版）.docx

猜题03第21题函数、数列新定义

一、解答题

1．（2023·上海黄浦·统考一模）已知集合A和定义域为的函数，若对任意，，都有，则称是关于A的同变函数.

(1)当与时，分别判断是否为关于A的同变函数，并说明理由；

(2)若是关于的同变函数，且当时，，试求在上的表达式，并比较与的大小；

(3)若n为正整数，且是关于的同变函数，求证：既是关于的同变函数，也是关于的同变函数.

【答案】(1)当时，是关于的同变函数；当时，不是关于的同变函数，理由见解析.

(2)，当时，；当时，.

(3)证明见解析.

【分析】（1）当时，运用定义证明即可；当时，举反例说明即可.

（2）由定义推导出是以2为周期的周期函数，进而可得在解析式，再运用作差法后使用换元法研究函数的最值来比较与的大小.

（3）运用定义推导出是以为周期的周期函数，再用定义分别证明与两种情况即可.

【解析】（1）当时，对任意的，，，

由，可得，又，所以，

故是关于的同变函数；

当时，存在，，使得，即，所以不是关于的同变函数.

（2）由是关于的同变函数，可知恒成立，

所以恒成立，故是以2为周期的周期函数.

当时，，由，

可知.

（提示：也可通过分类讨论与累加法予以证明，下面的*式也同理可证）

对任意的，都存在，使得，故.

所以

令，则，可得，

所以（当且仅当，即时取等号）.

所以当时，；

当时，.

（3）因为是关于的同变函数，

所以对任意的，，都有，

故，用代换x，可得，

所以，即，

又，故，且.

所以，故是以为周期的周期函数.

对任意的，，由，

可得，（*）

所以是关于的同变函数.

对任意的，存在非负整数m，使，

所以，对任意的，

，即，

所以是关于的同变函数.

故既是关于的同变函数，也是关于的同变函数.

2．（2022·上海徐汇·统考一模）对于数列，，其中，对任意正整数都有，则称数列为数列的“接近数列”.已知为数列的“接近数列”，且，.

(1)若（是正整数），求，，，的值；

(2)若（是正整数），是否存在（是正整数），使得，如果存在，请求出的最小值，如果不存在，请说明理由；

(3)若为无穷等差数列，公差为，求证：数列为等差数列的充要条件是.

【答案】(1)，，，

(2)存在，

(3)证明见解析

【分析】（1）由“接近数列”得定义可直接求出，，，的值；

（2）分为奇数和偶数讨论，求出，在此基础上，分奇偶令，结合指数函数性质即可求解；

（3）先证若时，则为等差数列，且公差也为，由去绝对值得，即，两式作差即可求证；再证若为等差数列，则，结合绝对值三角不等式得，，两式处理得，化简即可求证.

【解析】（1）因为，所以，又因为为数列的“接近数列”，，所以，只能是，，，；

（2）当为奇数时，，由函数的单调性可知，

即，得，进一步有，

当为偶数时，，由函数的单调性可知，

即，得，进一步有，

综上所述：，

由前项和公式化简得，，

当为偶数时，令无解；

当为奇数时，令，

所以，，即.

因此，存在（是正整数），使得，且；

（3）充要条件为：.

①若时，由题意对于任意正整数均有恒成立，且，

则，，

从而，即.

因为，，

所以，即.

因此为等差数列，且公差也为；

②若为等差数列，设公差为，

，

又，

即，亦即对任意正整数都成立，

所以，，又，得.

因此，所求充要条件为.

【点睛】本题整体难度较大，处理第二小问时设计分类讨论思想，融合了数列，函数、不等式，对计算有较高要求；第三小问对充要条件的证明特别是绝对值三角不等式的应用，思维难度高，拼凑法不易想到.

对于绝对值三角不等式，我们应掌握：；

对于数列中含此类数列，我们要注意分奇偶对数列讨论.

3．（2022·上海闵行·上海市七宝中学校考模拟预测）已知函数的定义域为，值域为．若，则称为“型函数”；若，则称为“型函数”．

(1)设，，试判断是“型函数”还是“型函数”；

(2)设，，若既是“型函数”又是“型函数”，求实数的值；

(3)设，，若为“型函数”，求的取值范围．

【答案】(1)是“型函数”；

(2)

(3)．

【分析】(1)利用基本不等式以及双勾函数的性质求出函数的值域可求解；

(2)分和结合函数的单调性分类讨论求解；

(3)分不同的取值结合“型函数”的定义即可求范围.

【解析】（1）当时，，

当且仅当时取等号，

由于，

所以函数的值域为，

因为，所以，

所以是“型函数”；

（2），定义域为，

由题意得函数的值域也为，

显然，否则值域不可能由负到正，

当时，在上单调递增，

则，得；

当时，在上单调递减，

则，得；

（3），，

由题意得函数的值域，

当时，的最小值，

当时，的最小值，

当时，的最小值，

当时，的最大值，

当时，的最大值，

故满足的不等组为（无解）或

或或（无解），

因为，由点所在的可行域，

得当时，取最大值，最大值为2，

当与相切，