师兄证明:三角函数和差化积证明y=sinx 在区间(π/2,π/2)的单调性