lnx求导公式证明