주어진 식은 일원배치분산분석에서의 기본 모델로, 각 집단의 평균은 동일하다고 가정합니다. 따라서 귀무가설 \( H_0 \)는 모든 집단의 평균이 같음을 나타내며, \( H_0: \mu_1 = \mu_2 = ... = \mu_k \)입니다. 이때, \( \sigma^2 \)가 서로 독립적이라는 조건이 필요합니다.