已知a垂直于b,a的模等于2