第一部分[-xcot x]的函数值之差很容易计算,结果就是-pi/3sqr(3)+pi/4,(sqr是开根号)第二部分,cot xdx=(cosx/sinx)dx=(1/sinx)cosx dx=(1/sinx)d(sinx),对其积分结果为ln(sinx)