向量a(sin(π/4-x),cos2x) 向量b(sin(π/4--x),√3),求a乘b