Z检验（方差已知）

当总体服从正态分布且方差 $\sigma^2$ 已知时，使用Z检验。
检验统计量：
$$Z = \frac{\bar{X} - \mu_0}{\sigma/\sqrt{n}} \tag{2-9}$$
在原假设 $H_0$ 下，$Z \sim N(0,1)$。
拒绝域：
- 双侧检验 $H_0: \mu = \mu_0$ vs $H_A: \mu \neq \mu_0$：$|Z| \geq Z_{1-\alpha/2}$
- 右侧检验 $H_0: \mu \leq \mu_0$ vs $H_A: \mu > \mu_0$：$Z \geq Z_{1-\alpha}$
- 左侧检验 $H_0: \mu \geq \mu_0$ vs $H_A: \mu < \mu_0$：$Z \leq Z_{\alpha}$