9.3 两个总体平均数检验，方差已知