有一个公式：cosx^2=(1+cos2x)/2公式里的x就是题目中 （pai/2-x）
cos 是偶函数，所以cos里面的符号正负都相等tanx的导数就是cos方x分之一
这样变就是为了好用后面的公式，
