导数中的证明问题