原总体正态，总体方差已知情况下，其平均数抽样分布服从