已知函数f(X)=cosx证明:4f(π/3-x)*f(X)*f(π/3+x)=f(3x