若f连续、f'(c)=0且f''(c)<0，是否存在c的邻域使f(x)<f(c)？

首先明确结论：即使f''在c点不连续，只要f在c点二阶可导、f’(c)=0且f''(c)<0，就一定存在c的某个邻域，使得邻域内所有x都满足f(x)≤f(c)，且x≠c时严格小于f(c)。

为什么结论成立？从二阶导数的定义出发 #

根据二阶导数的定义：

f''(c) = limₓ→c [f’(x) - f’(c)]/(x - c) = limₓ→c f’(x)/(x - c) < 0

由极限的保号性可知：存在一个δ>0，当0<|x-c|<δ时，f’(x)/(x - c) < 0。我们分两种情况讨论：

• 当x∈(c, c+δ)时，x-c>0，因此f’(x) < 0，说明f在这个区间上单调递减，所以f(x) < f(c)；
• 当x∈(c-δ, c)时，x-c<0，因此f’(x) > 0，说明f在这个区间上单调递增，所以f(x) < f(c)；

结合x=c时的情况，整个邻域(c-δ, c+δ)内的所有x都满足f(x) ≤ f(c)，且x≠c时严格小于。

关于凹性的澄清 #

你可能之前混淆了两个核心概念：

1. c点处的二阶导数符号：这是一个点性质，仅描述f的导数在c点的变化率，不涉及邻域内的其他点；
2. 邻域内的凹性：这是一个邻域性质，需要f''在c的某个邻域内恒小于0，此时f在邻域内是凹函数，自然满足f(x) < f(c) + f’(c)(x-c) = f(c)。

但要注意：f''(c)<0不要求f''在c的邻域内恒小于0——即便f''在邻域内正负振荡（只要f''(c)存在且小于0），通过极限保号性依然能推出f在c左侧递增、右侧递减，从而c是局部极大值点。

一个直观的例子（f''在c点不连续但满足条件） #

构造这样一个函数：

f(x) = 
  -x² + e^(-1/x²)·sin(1/x) ，x≠0
  0 ，x=0

• f在x=0处连续，且各阶导数都存在（因为e^(-1/x²)趋于0的速度远快于任何多项式）；
• 计算得f’(0)=0，f''(0)=-2 < 0；
• 当x≠0时，f''(x)会因为sin(1/x)的振荡而正负交替，但e^(-1/x²)的衰减速度极快，使得f(x) = -x² + 极小量，因此在0的邻域内，所有x≠0都满足f(x) < 0 = f(0)，完全符合局部极大值的结论。

总结 #

• 只要f在c点二阶可导，且满足f’(c)=0、f''(c)<0，就一定存在c的邻域使得f(x)<f(c)（x≠c）；
• 无需f''在c点连续，极限保号性是推导的核心；
• 凹性是邻域性质，和“c是局部极大值”的条件并不等价，后者的要求更弱。

内容的提问来源于stack exchange，提问作者helios321