哪个式子求导的结果是1/2-cosa/2