3.1函数的相关概念

本页由讲义拆分版 TeX 初步转换生成；答案默认收起。

讲义正文

函数的相关概念

函数的定义

提到函数,你的脑海中或许会浮现出一条灵动的曲线,例如一次函数$\displaystyle y=x$对应直线,二次函数$\displaystyle y=x^2$对应抛物线。对于某些简单的函数,我们可以直接作出其图象来呈现相关性质.然而在历史上随着数学的发展，出现了相当一部分不能用图象描述的函数，那么我们必须要在先前理解的基础上更进一步，于是催生了函数的现代定义，即函数是一种特殊的映射，高中所接触的函数一般是建立在两个非空数集上的映射。自然地，函数应当满足映射的定义,即每个自变量$\displaystyle x$在该法则下有唯一确定的因变量$\displaystyle y$.

显函数与隐函数

如果函数的因变量可以由自变量经数学演算直接表达,那么称它为显函数,若$\displaystyle y$是自变量$\displaystyle x$的函数,那么可记作$\displaystyle y=f(x)$,多变量函数可以写成$\displaystyle v=F(x,y,z)$,这表示$\displaystyle v$是变量$\displaystyle x,y,z$的函数.如果函数不是通过自变量直接表出,而只有一个方程表示函数值和自变量的值的关系,那么称它为隐函数,例如,变量$\displaystyle x,y$满足方程$\displaystyle y\sin x=\cos(x-y)$，则$\displaystyle y$是自变量$\displaystyle x$的隐函数. 显函数和隐函数之间并无严格界限,有时可以从隐函数解出显函数,但隐函数方程的求解可能较为困难,并且解出的显函数在形式上也可能较为繁杂,因而发生了一些用隐函数直接处理问题的研究.

反函数

研究问题时,依据问题研究的主要对象,$\displaystyle x,y$有时需要表示成 $\displaystyle y=f(x)$的形式,有时也需要表示成$\displaystyle x=g(y)$的形式.例如在自由落体运动中,如果想从已知时间 $\displaystyle t$ 解出路程 $\displaystyle s$,那么考虑函数 $\displaystyle s=f(t)=\frac{1}{2}gt^2$.反过来,如果想从已知路程 $\displaystyle s$ 解出下落时间 $\displaystyle t$,那么考虑把$\displaystyle s=f(t)$化为$\displaystyle t=g(s)=\sqrt{\frac{2s}{g}}$.这里的函数$\displaystyle f,g$是同一种关系的不同表示,称这样两个函数“互为反函数”.于是要想得到$\displaystyle y=f(x),x\in D$的反函数，只需从$\displaystyle y=f(x)$中解出$\displaystyle x=f^{-1}(y)$，由于自变量习惯上常用$\displaystyle x$表示，而函数值常用$\displaystyle y$表示，因此通常把该函数改写为$\displaystyle y=f^{-1}(x),x\in f(D)$的形式.

从函数是特殊映射这一角度出发，可知反函数的定义与可逆映射基本相同。也就是说，设函数$\displaystyle y=f(x)$的定义域为$\displaystyle D$，$\displaystyle y=f(x)$的反函数（如果存在的话）$\displaystyle y=f^{-1}(x)$满足：对任意$\displaystyle x\in D$，都有$\displaystyle f^{-1}(f(x))=x,$，对任意$\displaystyle x\in f(D)$，都有$\displaystyle f(f^{-1}(x))=x$.

对于连续函数，有下述判断其反函数是否存在的定理。

定理：反函数存在定理

连续函数$\displaystyle y=f(x)$存在反函数当且仅当它是严格单调递增（严格单调递减）的,该反函数也是严格单调递增（严格单调递减）的.\footnote{在后续部分将给出严格证明.}

A 组习题

习$\displaystyle \quad$题

A组

【2016全国II卷文10】下列函数中,其定义域和值域分别与函数$\displaystyle y=10^{\lg x}$的定义域和值域相同的是
```
<div class="choices choices--4" markdown>
```
- $\displaystyle y=x$
- $\displaystyle y=\lg x$
- $\displaystyle y=2^x$
- $\displaystyle y=\frac{1}{\sqrt{x}}$

B 组习题

B组

【2015浙江7】存在函数$\displaystyle f(x)$满足,对于任意$\displaystyle x\in\mathbb{R}$,都有

<div class="choices choices--4" markdown>

$\displaystyle f(\sin2x)=\sin x$
$\displaystyle f(\sin2x)=x^2+x$
$\displaystyle f(x^2+1)=|x+1|$
$\displaystyle f(x^2+2x)=|x+1|$

答案

对A：取$\displaystyle \sin 2x=0$，则$\displaystyle x$可以等于$\displaystyle 0$或$\displaystyle \frac{\pi}{2}$以及其他值，$\displaystyle \sin 0=0,\sin\frac{\pi}{2}=1$，于是$\displaystyle 0$对应了两个不同的值：$\displaystyle 0$和$\displaystyle 1$，不符合函数定义。故A不成立。

对B同理：取$\displaystyle \sin 2x=0$可推出不符合函数定义，故B不成立。

对C同理：取$\displaystyle x^2+1=1$可推出不符合函数定义，故C不成立。

对D：令$\displaystyle t=x^2+2x$，则$\displaystyle |x+1|=\sqrt{(x+1)^2}=\sqrt{t+1}$，对每一个$\displaystyle t$都有唯一的值$\displaystyle \sqrt{t+1}$与之对应，符合函数定义，故D正确。

【2018上海16】 设 $\displaystyle D$ 是含数 $\displaystyle 1$ 的有限实数集, $\displaystyle f(x)$ 是定义在 $\displaystyle D$ 上的函数. 若 $\displaystyle f(x)$ 的图象绕原点逆时针旋转 $\displaystyle \dfrac{\pi}{6}$ 后与原图象重合, 则在以下各项中, $\displaystyle f(1)$ 的可能取值只能是
$\displaystyle \sqrt{3}$
$\displaystyle \dfrac{\sqrt{3}}{2}$
$\displaystyle \dfrac{\sqrt{3}}{3}$
$\displaystyle 0$

答案

考虑到有旋转操作，把$\displaystyle P$写成极坐标$\displaystyle P=r(\cos\varphi,\sin\varphi)$可知道，若$\displaystyle P$是函数图象上一点，则把$\displaystyle P$累次绕原点逆时针旋转$\displaystyle \frac{\pi}{6}$得到的$\displaystyle 12$个点也在函数图象上.

容易发现，如果累次旋转得到的点中存在横坐标相等，纵坐标互为相反数的一对点，那么就出现了定义域中的一个值对应了两个不同值的情况，这是不符合函数定义的.

若$\displaystyle f(1)=0$，则该点对应的极角为$\displaystyle 0$，其累次旋转得到的点中存在极角为$\displaystyle \pm \frac{\pi}{6}$的点，于是不符函数定义。 $\displaystyle f(1)=\sqrt{3},\frac{\sqrt{3}}{3}$也是同理，不符合函数定义。于是选B。（容易验证，B选项对应的情况是可以取到的。）

【2025温州一模8】已知点$\displaystyle A(2,0),B(0,2)$.$\displaystyle P(m,n)$在曲线$\displaystyle x=\sqrt{1-y^2}$上,记$\displaystyle \angle APB=\alpha$,则存在函数$\displaystyle f(x)$,对曲线上任意一点$\displaystyle P$都有
$\displaystyle m=f(\alpha)$
$\displaystyle \alpha=f(m)$
$\displaystyle n=f(\alpha)$
$\displaystyle \alpha = f(n)$

答案

【2026上海春16】对函数$\displaystyle y=f(x)$,定义集合$\displaystyle A_f=\{ (x,y)|y\geqslant f(x),x\in D\}$,对平面点集$\displaystyle M$,若存在$\displaystyle (x_0,y_0)\in M$,使得对任意$\displaystyle (x,y)\in M$都有$\displaystyle y_0\leqslant y$,则称$\displaystyle (x_0,y_0)$为$\displaystyle M$的“最低点”,对于定义在$\displaystyle \mathbb{R}$的两个函数$\displaystyle f(x),g(x)$,下列叙述正确的是.
若$\displaystyle y=f(x)$和$\displaystyle y=g(x)$都有最小值,则$\displaystyle A_f\cap A_g$有最低点
若$\displaystyle A_f\cap A_g$有最低点,则$\displaystyle y=f(x)$和$\displaystyle y=g(x)$都有最小值
若$\displaystyle y=f(x)$或$\displaystyle y=g(x)$有最小值,则$\displaystyle A_f\cup A_g$有最低点
若$\displaystyle A_f\cup A_g$有最低点,则$\displaystyle y=f(x)$或$\displaystyle y=g(x)$有最小值

答案

记$\displaystyle h(x)=\max\{f(x),g(x)\}$，则$\displaystyle A_f\cap A_g$为满足$\displaystyle y\geqslant h(x)$的点$\displaystyle (x,y)$全体，$\displaystyle A_f\cup A_g$为满足$\displaystyle y\geqslant f(x)$或$\displaystyle y\geqslant g(x)$的点$\displaystyle (x,y)$全体。

D正确：若$\displaystyle (x_0,y_0)$是$\displaystyle A_f\cup A_g$的最低点，不妨设$\displaystyle (x_0,y_0)\in A_f$，则$\displaystyle y_0\geqslant f(x_0)$。又对任意$\displaystyle x\in\mathbb{R}$，点$\displaystyle (x,f(x))\in A_f\subseteq A_f\cup A_g$，由最低点的定义得$\displaystyle y_0\leqslant f(x)$；特别地$\displaystyle y_0\leqslant f(x_0)$。于是$\displaystyle y_0=f(x_0)$，且对一切$\displaystyle x$有$\displaystyle f(x_0)\leqslant f(x)$，即$\displaystyle f$在$\displaystyle x_0$处取到最小值。若最低点属于$\displaystyle A_g$，同理可得$\displaystyle g$取到最小值。故D正确。

A错误：取$\displaystyle f(x)=\frac{1}{|x|}$（补充定义$\displaystyle f(0)=0$），$\displaystyle g(x)=\frac{1}{|x-1|}$（补充定义$\displaystyle g(1)=0$），两者在$\displaystyle \mathbb{R}$上都有最小值$\displaystyle 0$。但$\displaystyle A_f\cap A_g=\{(x,y)\mid y\geqslant h(x)\}$，而$\displaystyle h(x)>0$恒成立（$\displaystyle f(x)\leqslant0$仅在$\displaystyle x=0$成立，此时$\displaystyle g(0)=1>0$；$\displaystyle g(x)\leqslant0$仅在$\displaystyle x=1$成立，此时$\displaystyle f(1)=1>0$），且当$\displaystyle x\to+\infty$时$\displaystyle h(x)\to0$。故$\displaystyle A_f\cap A_g$中纵坐标的下确界为$\displaystyle 0$却取不到，没有最低点。

B错误：取$\displaystyle f(x)\equiv1$，$\displaystyle g(x)=\mathrm{e}^{-x^2}$。$\displaystyle f$有最小值$\displaystyle 1$，而$\displaystyle g$无最小值（下确界为$\displaystyle 0$但取不到）。此时因$\displaystyle \mathrm{e}^{-x^2}\leqslant1$，有$\displaystyle A_f\cap A_g=\{(x,y)\mid y\geqslant1\}$，它有最低点（如$\displaystyle (0,1)$），但$\displaystyle g$没有最小值。

C错误：取$\displaystyle f(x)\equiv0$，$\displaystyle g(x)=-\mathrm{e}^x$。$\displaystyle f$有最小值$\displaystyle 0$，但$\displaystyle A_g=\{(x,y)\mid y\geqslant-\mathrm{e}^x\}$中当$\displaystyle x\to+\infty$时纵坐标可以任意小，故$\displaystyle A_f\cup A_g$没有最低点。

（多选）设 $\displaystyle n\in\mathbb{N}^*$, 函数 $\displaystyle f(x)=\ln\left[\sin(\pi x)\cdot\sin(2\pi x)\cdot\cdots\cdot\sin(n\pi x)\right]$ 的定义域为 $\displaystyle D$. 记 $\displaystyle E=D\cap[0,1]$. 两个集合 $\displaystyle A,B$ 不交指的是 $\displaystyle A\cap B=\varnothing$. 则

（A）若 $\displaystyle n=2$, 则 $\displaystyle f(x)$ 是定义在 $\displaystyle D$ 上的偶函数

（B）若 $\displaystyle n=2$, 则 $\displaystyle f(x)$ 在 $\displaystyle x=\frac{1}{3}$ 处取到最大值

（C）若 $\displaystyle n=4$, 则 $\displaystyle E$ 可表示成 $\displaystyle 4$ 个两两不交的开区间的并

（D）若 $\displaystyle n=6$, 则 $\displaystyle E$ 可表示成 $\displaystyle 6$ 个两两不交的开区间的并

答案

ACD.

记$\displaystyle P_n(x)=\prod_{k=1}^{n}\sin(k\pi x)$，则$\displaystyle f(x)=\ln P_n(x)$，定义域$\displaystyle D=\{x\mid P_n(x)>0\}$。

A正确：$\displaystyle n=2$时，$\displaystyle P_2(x)=\sin(\pi x)\sin(2\pi x)=2\sin^2(\pi x)\cos(\pi x)$，故$\displaystyle x\in D$当且仅当$\displaystyle \sin(\pi x)\neq0$且$\displaystyle \cos(\pi x)>0$。若$\displaystyle x\in D$，则$\displaystyle -x\in D$，且 $$\displaystyle f(-x)=\ln\left[\sin(-\pi x)\sin(-2\pi x)\right]=\ln\left[\sin(\pi x)\sin(2\pi x)\right]=f(x),$$ 故$\displaystyle f$在$\displaystyle D$上是偶函数。

B错误：$\displaystyle n=2$时，在$\displaystyle (0,1)$内有$\displaystyle D\cap(0,1)=\left(0,\frac12\right)$，此时 $$\displaystyle f(x)=\ln2+2\ln\sin(\pi x)+\ln\cos(\pi x),$$ 求导得$\displaystyle f'(x)=2\pi\cot(\pi x)-\pi\tan(\pi x)$，$\displaystyle f''(x)=-2\pi^2\csc^2(\pi x)-\pi^2\sec^2(\pi x)<0$，故$\displaystyle f'$严格递减。又$\displaystyle \lim_{x\to0+}f'(x)=+\infty$，而 $$\displaystyle f'\left(\frac13\right)=\pi\left(2\cot\frac{\pi}{3}-\tan\frac{\pi}{3}\right)=\pi\left(\frac{2}{\sqrt3}-\sqrt3\right)<0,$$ 故$\displaystyle f'$在$\displaystyle \left(0,\frac13\right)$内有唯一零点$\displaystyle x_0$，$\displaystyle f$在$\displaystyle x_0$处取最大值（事实上$\displaystyle x_0=\frac{\arctan\sqrt2}{\pi}\approx0.304$），不在$\displaystyle x=\frac13$处取最大值，故B错误。

C正确：$\displaystyle n=4$时，在$\displaystyle (0,1)$上$\displaystyle \sin(\pi x)>0$恒成立，其余各因子的符号如下表（$\displaystyle +$表示正，$\displaystyle -$表示负）：

| {c|cccc|c} 区间 | $\displaystyle \sin\pi x$ | $\displaystyle \sin2\pi x$ | $\displaystyle \sin3\pi x$ | $\displaystyle \sin4\pi x$ | 乘积 | | --- | --- | --- | --- | --- | --- | | $\displaystyle \left(0,1/4\right)$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | | $\displaystyle \left(1/4,1/3\right)$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle -$ | | $\displaystyle \left(1/3,1/2\right)$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle -$ | $\displaystyle +$ | | $\displaystyle \left(1/2,2/3\right)$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle -$ | $\displaystyle +$ | $\displaystyle +$ | | $\displaystyle \left(2/3,3/4\right)$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle -$ | | $\displaystyle \left(3/4,1\right)$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle +$ |

故乘积为正的区间为 $$\displaystyle E=\left(0,\frac14\right)\cup\left(\frac13,\frac12\right)\cup\left(\frac12,\frac23\right)\cup\left(\frac34,1\right),$$ 恰为$\displaystyle 4$个两两不交的开区间（其中$\displaystyle \frac12$处$\displaystyle \sin(2\pi x)=0$，不属于$\displaystyle D$），故C正确。

D正确：$\displaystyle n=6$时，各因子在$\displaystyle (0,1)$上的符号如下表：

| {c|cccccc|c} 区间 | $\displaystyle \sin\pi x$ | $\displaystyle \sin2\pi x$ | $\displaystyle \sin3\pi x$ | $\displaystyle \sin4\pi x$ | $\displaystyle \sin5\pi x$ | $\displaystyle \sin6\pi x$ | 乘积 | | --- | --- | --- | --- | --- | --- | --- | --- | | $\displaystyle \left(0,1/6\right)$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | | $\displaystyle \left(1/6,1/5\right)$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle -$ | | $\displaystyle \left(1/5,1/4\right)$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle -$ | $\displaystyle +$ | | $\displaystyle \left(1/4,1/3\right)$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle -$ | $\displaystyle -$ | $\displaystyle -$ | | $\displaystyle \left(1/3,2/5\right)$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle -$ | $\displaystyle -$ | $\displaystyle +$ | $\displaystyle -$ | | $\displaystyle \left(2/5,1/2\right)$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle -$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | | $\displaystyle \left(1/2,3/5\right)$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle -$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle -$ | | $\displaystyle \left(3/5,2/3\right)$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle -$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle -$ | $\displaystyle +$ | | $\displaystyle \left(2/3,3/4\right)$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle +$ | $\displaystyle +$ | | $\displaystyle \left(3/4,4/5\right)$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle -$ | $\displaystyle +$ | $\displaystyle -$ | | $\displaystyle \left(4/5,5/6\right)$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle +$ | $\displaystyle +$ | $\displaystyle +$ | | $\displaystyle \left(5/6,1\right)$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle +$ | $\displaystyle -$ | $\displaystyle -$ |

故乘积为正的区间为 $$\displaystyle E=\left(0,\frac16\right)\cup\left(\frac15,\frac14\right)\cup\left(\frac25,\frac12\right)\cup\left(\frac35,\frac23\right)\cup\left(\frac23,\frac34\right)\cup\left(\frac45,\frac56\right),$$ 恰为$\displaystyle 6$个两两不交的开区间（其中$\displaystyle \left(\frac35,\frac23\right)$与$\displaystyle \left(\frac23,\frac34\right)$在$\displaystyle x=\frac23$处相邻但不交，因为$\displaystyle \sin(3\pi x)$在该点等于$\displaystyle 0$），故D正确。

综上选ACD。

【2025“fiddie”模拟考11】（多选）给定空间中的一个多面体 $\displaystyle \Gamma$.为了衡量 $\displaystyle \Gamma$ 与正方体的接近程度,需要定义一个衡量的指标 $\displaystyle f(\Gamma)$,满足：（1）$\displaystyle f(\Gamma) \in [0, 1]$；（2）当 $\displaystyle \Gamma$ 是正方体时,$\displaystyle f(\Gamma) = 1$.记 $\displaystyle \Gamma_0$ 为包含 $\displaystyle \Gamma$ 的最小正方体,下面几种 $\displaystyle f(\Gamma)$ 的定义方式中,满足（1）（2）的是

$\displaystyle f(\Gamma) = \frac{6^3 \times (\Gamma \text{ 的体积})^2}{(\Gamma \text{ 的表面积})^3}$
$\displaystyle f(\Gamma) = \frac{\Gamma_0 \text{ 的所有棱长之和}}{\Gamma \text{ 的所有棱长之和}}$
$\displaystyle f(\Gamma) = \frac{\Gamma \text{ 的体积}}{\Gamma_0 \text{ 的体积}}$
$\displaystyle f(\Gamma) = \frac{\Gamma \text{ 的最短棱的长度}}{\Gamma \text{ 的最长棱的长度}}$

答案

CD. 对于 A 选项,考虑底面边长为$\displaystyle a=2$、高为$\displaystyle h=2\sqrt{3}$的正六棱柱$\displaystyle \Gamma$,则正六棱柱的表面积是$\displaystyle 12\cdot \frac{\sqrt{3}}{4}a^2+6ah=36\sqrt{3}$,体积是$\displaystyle 6\cdot \frac{\sqrt{3}}{4}a^2h=36$. 所以$\displaystyle f(\Gamma)=\frac{6^3\times 36^2}{(36\sqrt{3})^3}=\frac{2}{\sqrt{3}}>1$,不满足条件1. 更极端地,对于一个球,可以在球面上取任意多个点构成一个近似的多面体,则球与这个多面体的体积和表面积都可以任意接近.半径为$\displaystyle 1$的球的体积是$\displaystyle \frac{4}{3}\pi$,表面积是$\displaystyle 4\pi$. 所以,当$\displaystyle \Gamma$为球时,此时$\displaystyle f(\Gamma)=\frac{6^3\times \frac{16}{9}\pi^2}{(4\pi)^3}=\frac{6}{\pi}>1$,不满足条件1.A错误.

对于 B 选项,考虑边长为$\displaystyle 1$的正方体$\displaystyle \Gamma_0$中的正四面体$\displaystyle \Gamma$,则正方体的所有棱长之和为$\displaystyle 12$,正四面体的所有棱长之和为$\displaystyle 6\sqrt{2}$,且$\displaystyle \Gamma_0$是包含$\displaystyle \Gamma$的最小正方体. 从而$\displaystyle f(\Gamma)=\sqrt{2}>1$. 更极端地,考虑一个长度为$\displaystyle \sqrt{3}$、宽和高均为$\displaystyle c$的长方体形状的“木棒”$\displaystyle \Gamma_1$,其中$\displaystyle c>0$待定. 则$\displaystyle \Gamma_1$无法放进边长为$\displaystyle 1$的正方体,所以包含$\displaystyle \Gamma_1$的最小正方体边长大于$\displaystyle 1$,这个正方体的棱长之和大于$\displaystyle 12$. 而$\displaystyle \Gamma_1$的所有棱长之和为$\displaystyle 4\sqrt{3}+8c$,则$\displaystyle f(\Gamma_1)>\frac{12}{4\sqrt{3}+8c}$. 当$\displaystyle c<\frac{\sqrt{3}}{4}$时,$\displaystyle f(\Gamma_1)>\frac{12}{6\sqrt{3}}=\frac{2}{\sqrt{3}}>1$,不满足条件1.B错误

对于 C 选项,若$\displaystyle \Gamma$不是正方体,则$\displaystyle \Gamma_0$所围区域完全覆盖了$\displaystyle \Gamma$所围区域,所以$\displaystyle 0\leqslant f(\Gamma)<1$. 而如果$\displaystyle \Gamma$是正方体,则$\displaystyle f(\Gamma)=1$,满足条件1,2,C正确.

对于 D 选项,因为正方体的所有棱长相等,故$\displaystyle f(\Gamma)=1$. 另外长度是大于$\displaystyle 0$的,且最短棱的长度不超过最长棱的长度,所以$\displaystyle f(\Gamma)\in (0,1]$,满足①②. 注：如果$\displaystyle \Gamma$是正多面体（正四面体、正六面体、正八面体、正十二面体、正二十面体）,那么 D 选项中的$\displaystyle f(\Gamma)=1$.D正确.

Fiddie评：原创题. 本题的命制灵感源于 2019 年左右的教育部新高考命题标准样题第 15 题. 然而此题开放性过大,难以进行批改. 因此改成多选题的形式,设计了四个定义域是全体多面体的函数,让考生判断这四个函数是否满足条件1,2. 判断它们正确需要严格的证明；而判断它们错误则具有开放性,考生可以举出各种不同的多面体例子来说明命题错误.

在设计之初,本题考虑的是平面上的图形,但是考虑到样子和课程标准的教学范围差距太大,而改为考虑空间中的立体图形.

实际上,本题仍有进一步探索的空间,因为本题的设计没有引入半序,导致可以定义一些非常平凡的函数,如$\displaystyle f(\Gamma)=1$. 感兴趣的同学可以探究各种满足要求的不同的定义方法中的半序会是什么样.

【命题标准样题15】 两位同学在研究三角形时,分别用三角形的周长和面积刻画三角形三个顶点的“集中程度”,你认为这两位同学的刻画方式更合理的是$\displaystyle (\triangle)$；请你再给出一种刻画三角形三个顶点的“集中程度”的方式：$\displaystyle (\triangle)$.

【2013福建10改编】设$\displaystyle S,T$是$\displaystyle \mathbb{R}$的两个非空子集,如果存在一个从$\displaystyle S$到$\displaystyle T$的函数$\displaystyle y=f(x)$满足：（i）$\displaystyle T=\left \{ f(x)\mid x\in S\right \}$；（ii）对任意$\displaystyle x_1,x_2\in S$,当$\displaystyle x_1<x_2$时,恒有$\displaystyle f(x_1)<f(x_2)$,那么称这两个集合是“保序同构”的.
证明下列集合是“保序同构”的： $$\displaystyle (a).A=\mathbb{N^*},B=\mathbb{N}\quad (b).A=[-1,3],B=\{-8\}\cup (0,10] \quad (c).A=(0,1),B=\mathbb{R}$$
证明集合$\displaystyle A=\mathbb{Z},B=\mathbb{Q}$不是“保序同构”的.

答案

（1）这里只给出函数$\displaystyle f$的构造，读者可自行验证其满足“保序同构”的性质。

(a) 取$\displaystyle f(n)=n-1$。

(b) 取$\displaystyle f(-1)=-8$，且当$\displaystyle -1<x\leqslant3$时$\displaystyle f(x)=\frac52(x+1)$。

(c) 取$\displaystyle f(x)=\tan\left(\pi x-\frac{\pi}{2}\right)$。

（2）假设存在从$\displaystyle \mathbb{Z}$到$\displaystyle \mathbb{Q}$的满足“保序同构”性质的函数，且$\displaystyle f(p_1)=q_1,f(p_2)=q_2,p_1,p_2\in\mathbb{Z},q_1,q_2\in\mathbb{Q}$，根据性质（i）有$\displaystyle [q_1,q_2]\cap \mathbb{Q}=[p_1,p_2]\cap \mathbb{Z}(*)$，由于两个有理数之间存在无穷个有理数，而两个正整数之间的正整数是有限个，$\displaystyle (*)$式不可能成立，故集合$\displaystyle A=\mathbb{Z},B=\mathbb{Q}$不是“保序同构”的.

评：在解决问题前不妨思考，题中设问涉及了哪些数学概念？数学概念本身有何性质？概念之间有何联系……这些都可以作为解题的抓手.在完成习题后,也应对题目展现的,但未考察尽的联系与性质尝试给出推广,以本题为例,不妨进一步提问：两个有理数之间是否存在无穷个无理数？

两个无理数之间是否存在无穷个有理数？两个实数之间是否存在无穷个有理数与无穷个无理数？如何给出严格的证明呢？

如果不考虑所谓“保持次序”，能否在$\displaystyle \mathbb{Z}$与$\displaystyle \mathbb{Q}$之间建立双射？\footnote{这一问题已经在第一章的拓展阅读中回答了。}

解答下述问题：
【2011上海理14】设函数$\displaystyle y=f(x)$的定义域为$\displaystyle D$,若将函数$\displaystyle y=f(x)$的图象绕坐标原点逆时针方向旋转角$\displaystyle \theta(0\leqslant \theta \leqslant \alpha)$,得到曲线$\displaystyle C$,若对于每一个旋转角$\displaystyle \theta$,曲线$\displaystyle C$都是某个函数的图象,求$\displaystyle \alpha$的最大值；
将函数$\displaystyle y=f(x)$的图象绕坐标原点逆时针方向旋转角$\displaystyle \theta(0\leqslant \theta <\frac{\pi}{2})$得到曲线$\displaystyle C$.设命题甲：曲线$\displaystyle C$可以被某个函数$\displaystyle g(x)$表示；命题乙：对任意$\displaystyle b\in\mathbb{R}$,关于$\displaystyle x$的方程：$\displaystyle f(x)=kx+b$解的个数不超过1,其中$\displaystyle k=\frac{1}{\tan\theta}$. 1. 证明：甲是乙的充要条件；
1. 若将“绕原点旋转”这一条件改为“绕平面内任一点旋转”,上述结论是否仍然成立？

答案

（1）先给出一般判据：把图象上任意两点的连线称为图象的一条弦。图象绕原点逆时针旋转$\displaystyle \theta$后仍是某个函数的图象，当且仅当图象中不存在方向角为$\displaystyle \frac{\pi}{2}-\theta$的弦：若存在这样的弦，旋转后它变成竖直线，其上至少有两个图象点，违反“函数图象与竖直线至多交于一点”的要求；反之，若不存在这样的弦，则旋转后任意竖直线与曲线至多交于一点，曲线就是某个函数的图象。

（1） $\displaystyle \alpha_{\max}=\arctan\frac{2}{3}$. 对$\displaystyle y+2=\sqrt{4+6x-x^2}$两边平方，得$\displaystyle (x-3)^2+(y+2)^2=13(y+2\geqslant 0)$，于是图象是以$\displaystyle (3,-2)$为圆心、$\displaystyle \sqrt{13}$为半径的圆上从$\displaystyle (0,0)$到$\displaystyle (6,0)$的一段圆弧（位于圆心上方），可以求出原点$\displaystyle O$处的切线斜率为$\displaystyle \frac{3}{2}$,可以想象，将该图象与上述切线一同逆时针旋转$\displaystyle \theta$时，如果该切线越过$\displaystyle y$轴到达左侧，那么图象上将存在两个横坐标相同，纵坐标不同的点，于是该图象不能表成某函数图象。于是$\displaystyle \theta$的最大值为$\displaystyle \arctan\frac{2}{3}$。

（2）（i）直线族$\displaystyle L_b:y=kx+b$中每条直线的倾斜角为$\displaystyle \arctan k=\arctan\frac1{\tan\theta}=\frac{\pi}{2}-\theta.$ 将图象与直线族$\displaystyle L_b$共同绕原点逆时针旋转$\displaystyle \theta$后，$\displaystyle L_b$的方向角变为$\displaystyle \frac{\pi}{2}$，即$\displaystyle L_b$被旋转成竖直线；反过来，任意竖直线都是某个$\displaystyle L_b$绕原点顺时针旋转$\displaystyle \theta$后得到的结果。而曲线$\displaystyle C$是某个函数的图象当且仅当旋转后的图象与每条竖直线至多交于一点，这等价于每条$\displaystyle L_b$与原图象至多交于一点，即对任意$\displaystyle b\in\mathbb{R}$，方程$\displaystyle f(x)=kx+b$至多有一个解。故甲与乙互为充要条件。

（ii）结论仍然成立。绕平面内任一点逆时针旋转$\displaystyle \theta$，每条直线的方向角仍然增加$\displaystyle \theta$，方向的变化与旋转中心无关，旋转中心只影响直线的位置（平移）；在选定旋转中心的前提下，直线族$\displaystyle \{L_b\}$与竖直线族之间仍保持一一对应关系，因此上述充要关系依然成立。

已知连续函数 $\displaystyle f(x)$的定义域为$\displaystyle I$,设集合 $\displaystyle A = \{x\in\mathbb{R} \mid f(x) = x\},B = \{x\in\mathbb{R}\mid f(f(x)) = x\}$.
如果 $\displaystyle f(x)$ 是严格单调递增函数,证明：$\displaystyle A = B$
如果 $\displaystyle A, B$ 都是有限集,证明：$\displaystyle |B|-|A|$是偶数.

答案

（1）先证$\displaystyle A\subseteq B$：若$\displaystyle x\in A$，则$\displaystyle f(x)=x$，于是$\displaystyle f(f(x))=f(x)=x$，故$\displaystyle x\in B$，所以恒有$\displaystyle A\subseteq B$。

设$\displaystyle x\in B$，记$\displaystyle y=f(x)$，则$\displaystyle f(y)=f(f(x))=x$。若$\displaystyle y\neq x$，当$\displaystyle y>x$时，由$\displaystyle f$严格递增得$\displaystyle f(y)>f(x)$，即$\displaystyle x>y$，与$\displaystyle y>x$矛盾；当$\displaystyle y<x$时，得$\displaystyle f(y)<f(x)$，即$\displaystyle x<y$，与$\displaystyle y<x$矛盾。故$\displaystyle y=x$，即$\displaystyle x\in A$，于是$\displaystyle B\subseteq A$，综上$\displaystyle A=B$。

（2）由$\displaystyle A\subseteq B$得$\displaystyle |B|-|A|=|B\setminus A|$。记$\displaystyle C=B\setminus A=\{x\mid f(f(x))=x\text{且}f(x)\neq x\}$。对任意$\displaystyle x\in C$，令$\displaystyle y=f(x)$，则$\displaystyle y\neq x$，下面证明$\displaystyle y\in C$。

可知$\displaystyle f(f(y))=f(f(f(x)))=f(x)=y,$ 又$\displaystyle f(y)=f(f(x))=x\neq y$，故$\displaystyle y\in C$。这说明若$\displaystyle x\in C$，则$\displaystyle f(x)\in C$，于是可得出：若$\displaystyle f(x)\in C$，则$\displaystyle f(f(x))=x\in C$，这说明$\displaystyle x,f(x)$是成对出现的，于是$\displaystyle C$可被划分成若干两两不交的二元集合，所以$\displaystyle |C|$为偶数，即$\displaystyle |B|-|A|$是偶数。

C 组习题

C组

1. **【2009上海理22】** 已知函数$\displaystyle y = f^{-1}\left(x\right)$是$\displaystyle y = f\left(x\right)$的反函数。定义：若对给定的实数$\displaystyle a \left(a \neq 0\right),$函数$\displaystyle y = f\left(x + a\right)$与$\displaystyle y = f^{-1}\left(x + a\right)$互为反函数，则称$\displaystyle y = f\left(x\right)$满足“$\displaystyle a$和性质”；若函数$\displaystyle y = f\left(ax\right)$与$\displaystyle y = f^{-1}\left(ax\right)$互为反函数，则称$\displaystyle y = f\left(x\right)$满足“$\displaystyle a$积性质”。 1. 判断函数$\displaystyle g\left(x\right) = x^{2}\left(x > 0\right)$是否满足“$\displaystyle 1$和性质”，并说明理由； 2. 求所有满足“$\displaystyle 2$和性质”的一次函数； 3. 设函数$\displaystyle y = f\left(x\right)\left(x > 0\right)$对任何$\displaystyle a > 0,$满足“$\displaystyle a$积性质”。求$\displaystyle y = f\left(x\right)$的表达式。