∫cosxcosx/2dx是多少,证明下面两种求法差一个常数