선형 회귀 모델의 수학적 형태와 가설 검정