向量计算 已知a(4,1,3),B(2,-5,1),C(3,7,x),若AB⊥AC,求x的值