log( -x)的导数是什么,怎么证明?