定义：若函数f(x)在闭区间[m,n]上是连续的单调函数,且f(m)(n)

(1)g′(x)=-cosxsinx-a=-1/2sinx-a-1/2sinx,∵sinx∈(0,1),∴a>0(2)令f(cosx)-x=g(x) (a=1时)（1)可知,g（x）为单调递减函数且当m=0,n=π/2时g(m)=sin1-0,g(n)=sin0-π/2∴g(m)g(n)