那个求导的式子怎样来的