2022年考研数学二第3题

本题为数学二2022年第3题，题目给出函数$f(x)$在$x_0$处具有二阶导数，要求判断各选项关于函数在$x_0$处性质（如单调性、凹凸性、极值等）的充分必要性。首先需要明确已知条件：$f(x)$在$x_0$处有二阶导数，这意味着$f'(x_0)$和$f''(x_0)$都存在，但$f(x)$在$x_0$的邻域内不一定有一阶或二阶导数（导数存在是点上的概念，不是邻域内的性质）。因此，我们不能直接利用邻域内的导数符号来判断单调性或凹凸性，只能利用$x_0$处的导数信息结合极限定义进行分析。 具体地，对于选项A：若$f'(x_0)>0$，能否推出$f(x)$在$x_0$的某邻域内单调递增？答案是否定的，因为导数在一点为正只能说明函数在该点有正的瞬时变化率，但邻域内可能因导数变号而不单调。例如$f(x)=x+2x^2\sin\frac{1}{x}$（补充定义$f(0)=0$），在$x=0$处$f'(0)=1>0$，但在任何邻域内导数振荡，函数不单调。 对于选项B：若$f'(x_0)<0$，能否推出$f(x)$在$x_0$的某邻域内单调递减？同样不充分，反例类似。 对于选项C：若$f''(x_0)>0$，能否推出$f(x)$在$x_0$的某邻域内是凹函数（即下凸）？凹性定义要求邻域内二阶导数非负，但仅知一点二阶导数为正，不能保证邻域内二阶导数不变号。反例：$f(x)=x^2+2x^3\sin\frac{1}{x}$（补充定义$f(0)=0$），在$x=0$处$f''(0)=2>0$，但邻域内二阶导数振荡，函数不是凹的。 对于选项D：若$f'(x_0)=0$且$f''(x_0)>0$，能否推出$f(x)$在$x_0$处取得极小值？这是充分条件（二阶导数判别法），因为由$f''(x_0)>0$和二阶导数的定义，可以证明存在$δ>0$，使得当$0<|x-x_0|<δ$时，$\frac{f'(x)-f'(x_0)}{x-x_0}>0$，从而$f'(x)$在$x_0$左侧为负、右侧为正，故$f(x_0)$为极小值。 因此，本题的关键是区分“一点导数存在”与“邻域内导数存在”的区别，以及充分条件与必要条件的逻辑关系。

选项A的表述为：“若函数$f(x)$在$x=0$处可导，且$f(x)$在$x=0$的某邻域内单调增加，则$f'(0)>0$。”我们需要判断这个命题是否正确。 考虑反例：取函数$f(x)=x^3$。该函数在$x=0$处可导，且导数为$f'(x)=3x^2$，所以$f'(0)=0$。另一方面，$f(x)=x^3$在$x=0$的任意邻域内都是严格单调增加的：因为对于任意$x_10$不成立。 进一步分析：为什么会出现这种情况？因为函数在一点处的导数符号与函数在该点邻域内的单调性之间没有必然的充分关系。导数大于0是函数在该点附近严格增加的充分条件（若$f'(x_0)>0$，则存在邻域使函数递增），但反过来不成立：函数在一点附近单调增加，并不能保证该点的导数大于0，导数可能为0（如本例）甚至不存在（但本题中可导条件已保证导数存在）。因此，选项A是错误的。 综上，通过反例$f(x)=x^3$，我们否定了选项A的正确性。

选项C的表述为：若$f(x)$在$x=0$的某邻域内是凹函数，则$f''(0)>0$。我们需要判断该命题是否正确。 凹函数的定义是：若函数$f(x)$在区间$I$上二阶可导，且对任意$x\in I$有$f''(x)\geq 0$，则称$f(x)$在$I$上是凹函数（下凸）。但注意，$f''(x)\geq 0$是凹函数的充分必要条件（在二阶可导的前提下），而$f''(0)>0$是一个更强的条件。选项C声称，只要在$x=0$的邻域内是凹函数，就一定有$f''(0)>0$，这显然忽略了$f''(0)=0$的可能性。 考虑反例：令$f(x)=x^4$。计算其导数：$f'(x)=4x^3$，$f''(x)=12x^2$。在$x=0$的任意邻域内，$f''(x)=12x^2\geq 0$，因此$f(x)=x^4$在$x=0$的邻域内是凹函数。然而，在$x=0$处，$f''(0)=12\times 0^2=0$，并不大于0。因此，选项C的结论不成立。 进一步分析：$f(x)=x^4$在$x=0$处取得极小值，且其二阶导数为零，但函数仍然是凹的。这说明凹函数在一点处的二阶导数可以为零，并不一定为正。因此，选项C错误。 综上所述，通过反例$f(x)=x^4$可以证明，凹函数在$x=0$处的二阶导数可能等于0，故选项C不正确。

分析选项D：若$f''(x_0)>0$，则$f(x)$在$x_0$某邻域内单调增加。 首先，由已知条件$f''(x_0)>0$，且$f''(x)$存在（即二阶导数存在），但题目并未说明$f''(x)$连续。然而，由二阶导数存在，可推出$f'(x)$在$x_0$处可导，从而$f'(x)$在$x_0$处连续。但$f''(x)$本身不一定连续。 不过，对于选项D的结论，我们需要判断：由$f''(x_0)>0$能否推出$f(x)$在$x_0$某邻域内单调增加？ 考虑$f'(x)$在$x_0$处的变化。由导数定义： $$f''(x_0)=\lim_{x\to x_0}\frac{f'(x)-f'(x_0)}{x-x_0}>0$$ 根据极限的保号性，存在$x_0$的某去心邻域，使得当$x$在该邻域内时，有 $$\frac{f'(x)-f'(x_0)}{x-x_0}>0$$ 即$f'(x)-f'(x_0)$与$x-x_0$同号。 当$x>x_0$时，$x-x_0>0$，则$f'(x)-f'(x_0)>0$，即$f'(x)>f'(x_0)$； 当$x0$，但$f(x)$在$x=0$处取极小值，在$x=0$的任意邻域内，$f(x)$并非单调增加（例如在$(-\delta,0)$上递减，在$(0,\delta)$上递增）。 因此，选项D错误。 注意：题目要求选出正确选项，根据原题答案，正确选项为C（即B选项）。B选项为：若$f''(x_0)>0$，则存在$x_0$的某邻域，使得$f(x)$在该邻域内的图像是凹的。该结论正确，因为$f''(x_0)>0$且$f''(x)$存在，由保号性可得存在邻域内$f''(x)>0$，从而曲线是凹的。 最终答案：正确选项为C（即B选项）。