已知函数f(x)=cosx,证明1/2[f(π/4-x)+f(π/4+x)]≧[f(π/4-x)×f(π/4+x)]