( logx ) ′ = lim Δx→0 log( x+Δx )−logx 2 = lim Δx→0 log( x+Δx x ) Δx = lim Δx→0 1 Δx log( 1+ Δx x )
= lim t→0 1 xt log( 1+t ) = lim t→0 1 x log ( 1+t ) 1 t = 1 x log{ lim ( 1+t ) 1 t t→0 } = 1 x loge = 1 x
公式の導出はPCサイトを参照のこと。
