>>363
＞・関数 f:I→R を I 上で微分可能かつ単調非減少とするとき、I 上で f'(x)≧0 が成り立つことを示せ

∃a∈I s.t. 0＞f'(a)=-εとします
ε/2に対して∃δ＞0 s.t.|h|＜δ→ |(f(a+h)-f(a))/h+ε|＜ε/2
-3ε/2＜(f(a+h)-f(a))/h＜-ε/2＜0
h＞0のときf(a+h)＜f(a)となっており、これはfが単調減少ではないことに矛盾します

＞また、f が I 上で狭義単調増加ならば I 上で f'(x)＞0 が成り立つか調べよ

反例 f(x)=x^3
y^3-x^3=(y-x)(y^2+xy+x^2)＞0(y＞x)ですが、f'(0)=0です