充分必要条件。
证明:
充分性:
已知f'(x)<0
[f(x+h)-f(x)]/h=f'(x) 设h>0且趋近于0
因为f'(x)<0 x属于(a,b)
则f(x+h)-f(x)<0
f(x+h)
正是f(x)在(a,b)内单调减少的定义。
必要性:
已知f(x)在(a,b)内单调减少
即任意x,y x
令y=x+h>x h>0且趋近于0
[f(x+h)-f(x)]/h<0
即f'(x)<0
充分非必要条件。
对于y=-x^3,在(-1,1)上递减,但是f'(0)=0,故非必要条件。
应该问的是“单调递减”吧
充要条件