高中数学 已知向量a=(2cos(π/4-x),0)b=(sin(x+π/4),-1)