已知向量a的模等于4