04/10/18 08:04:54
>>723
存在する。以下証明。
証明）lim[h→0](f(2h)-f(h))/h)=cとおく。g(x)=f(x)-f(0)-cxとおけば
lim[h→0](g(2h)-g(h))/h)=0。g'(0)が存在することがいえれば十分。
g(x)は原点で連続でg(0)=0である。
正の数e>0を固定すると仮定からd>0を十分ちいさくとって任意の-d<h<d、h≠0にたいして
-e<(g(2h)-g(h))/h<e⇔-eh<g(2h)-g(h)<ehが成立するようにできる。
よって任意の-d<h<d、h≠0にたいして
-eh/2<g(h)-g(h/2)<eh/2
-eh/4<g(h/2)-g(h/4)<eh/4
-eh/8<g(h/8)-g(h/8)<eh/8
･･･
をたしあわせて左辺の和>-eh、右辺の和<ehより-eh<g(h)-g(h/2^N)<eh。
N→∞とするとlim[h→0]g(h)=0から-eh≦g(h)≦eh。
よって任意の-d<h<d、h≠0に対して-e≦(g(h)-g(0))/h≦e。
eは任意の正の数であったから結局lim[h→0](g(h)-g(0))/h=0。証明終
ε-δ使わない証明おもいつかないな･･･