假设检验计算和证明题