22/04/09 20:25:16 v4RdLh0t.net
ちなみに、小平邦彦著『解析入門』に以下の定理があります：
p.125 定理3.10
区間 [c, b) で定義された連続関数 f(x) が、 (c, b) で微分可能で lim_{x → c+0} f'(x) が存在するならば、 f(x) は c においても微分可能で
f'(c) = lim_{x → c+0} f'(x).
22/04/09 20:25:16 v4RdLh0t.net
ちなみに、小平邦彦著『解析入門』に以下の定理があります：
p.125 定理3.10
区間 [c, b) で定義された連続関数 f(x) が、 (c, b) で微分可能で lim_{x → c+0} f'(x) が存在するならば、 f(x) は c においても微分可能で
f'(c) = lim_{x → c+0} f'(x).