严格递增正函数与严格递减负函数之和是否存在多个局部极值？
当然可以！哪怕满足( f(x) )正且严格递增、( g(x) )负且严格递减的条件，( h(x)=f(x)+g(x) )完全有可能存在多个局部极大值和极小值。我给你拆解下逻辑，再举个实打实的例子帮你理解。
首先回忆一下：函数的局部极值点出现在导数变号的位置。对于( h(x)=f(x)+g(x) )，它的导数是：
[ h'(x) = f'(x) + g'(x) ]
- 因为( f(x) )严格递增，所以( f'(x) )始终大于0（或者非负但只有孤立点为0，这里取严格正的情况更直观）。
- 因为( g(x) )严格递减，所以( g'(x) )始终小于0。
关键在于，( f'(x) )和( g'(x) )不一定是常数——它们可以变化，让两者的和( h'(x) )多次穿过零点，在正负之间反复切换。只要能构造出这样的( f )和( g )，就能得到多个极值点。
我们来构造完全符合条件的函数，甚至能得到无穷多个极值点：
定义( f(x) )：取( f(x) = e^x )，它满足：
- 对所有实数( x )，( f(x) )都是正的（指数函数天生恒正）。
- 严格递增，导数( f'(x) = e^x > 0 )，处处成立。
定义( g(x) )：取( g(x) = -e^x \left(1 + \frac{\cos x + \sin x}{2}\right) )，验证它的性质：
- 恒负：( 1 + \frac{\cos x + \sin x}{2} )的最小值是( 1 - \frac{\sqrt{2}}{2} \approx 0.293 )（因为( \cos x + \sin x )的取值范围是( -\sqrt{2} )到( \sqrt{2} )）。乘以正的( e^x )再加上负号，( g(x) )自然始终为负。
- 严格递减：计算它的导数：
[ g'(x) = -e^x \left(1 + \frac{\cos x + \sin x}{2}\right) - e^x \left(\frac{-\sin x + \cos x}{2}\right) ]
化简后得到：
[ g'(x) = -e^x (1 + \cos x) ]
因为( 1 + \cos x \geq 0 )对所有( x )成立，且( e^x>0 )，所以( g'(x)≤0 )。只有当( \cos x=-1 )时（也就是( x=π+2kπ )，( k )为整数），( g'(x)=0 )，这些是孤立点，不影响( g(x) )整体严格递减的性质。
分析( h(x)=f(x)+g(x) )：
把两个函数结合起来：
[ h(x) = e^x - e^x \left(1 + \frac{\cos x + \sin x}{2}\right) = -\frac{e^x}{2} (\cos x + \sin x) ]
计算它的导数：
[ h'(x) = -\frac{e^x}{2} (\cos x + \sin x) - \frac{e^x}{2} (-\sin x + \cos x) = -e^x \cos x ]
导数( h'(x)=0 )的点是( \cos x=0 )的位置，也就是( x = \frac{\pi}{2} + k\pi )（( k )为整数）。- 当( x )在( \left(-\frac{\pi}{2} + 2k\pi, \frac{\pi}{2} + 2k\pi\right) )区间时，( \cos x>0 )，所以( h'(x)<0 )，( h(x) )递减。
- 当( x )在( \left(\frac{\pi}{2} + 2k\pi, \frac{3\pi}{2} + 2k\pi\right) )区间时，( \cos x<0 )，所以( h'(x)>0 )，( h(x) )递增。
这意味着：
- 在( x = \frac{\pi}{2} + 2k\pi )处，( h(x) )从递减切换为递增，这些是局部极小值点。
- 在( x = \frac{3\pi}{2} + 2k\pi )处，( h(x) )从递增切换为递减，这些是局部极大值点。
所以( h(x) )有无穷多个局部极大值和极小值，完全满足你提出的所有约束条件！
内容的提问来源于stack exchange，提问作者Frank Moses
