微分積分

473 ：１３２人目の素数さん：2020/08/13(木) 04:00:43.88 ID:KhggCoPs.net

(別法)
g(x) = √(N+x)　とおくと
　A = g(1) + 2g(-1/2),
　B = g(-1) + 2g(1/2),

A-B = g(1) - 2g(1/2) + 2g(-1/2) - g(-1)
　= {g(1) - 2g(1/2) + g(0)} - {g(0) - 2g(-1/2) + g(-1)}
　= g '(p+1/2) -2g '(p) + g '(p-1/2)　　　(-1/2<p<1/2)
　　　　　　　　(← 平均値の定理)
　= {g '(p+1/2) - g '(p)} - {g '(p) - g '(p-1/2)}
　= (1/2){g "(q+1/4) - g "(q-1/4)}　　　　(p-1/4<q<p+1/4)
　　　　　(← 平均値の定理)
　= (1/4) g'''(r)　　　　　　　　　　　　(q-1/4<r<q+1/4)
　　　　　　　　　　(← 平均値の定理)
　= (3/32)(N+r)^(-5/2)
> 0,
∴　A>B

〔平均値の定理〕
　f(x) は [a,b] において連続、(a,b) において微分可能とする。然らば
{f(b)-f(a)}/(b-a) = f '(ξ),　　　a<ξ<b,
なるξが存在する。(Lagrange)

高木貞治：「解析概論」改訂第三版, 岩波書店 (1961)
　第2章,　定理20．　p.48