指数函数exp的求导证明