안녕하세요 질문에 대한 답변입니다. x,y에 관한 일차식이라는 것은 ax+by+c(a,b,c는 실수) 꼴을 의미합니다. 무리수는 있어도 되지만 무리식이 있으면 안됩니다. 무리식이란 루트 안에 문자가 있는 식으로써 루트를 벗기지 못하는 형태를 말합니다. 예를들어 루트 x 는 무리식이고, 루트 x^2 은 x 이므로 다항식입니다. 따라서 두 일차식의 곱의 형태로 인수분해가 된다는 것은 무리식이 존재하면 안되므로 D_1 은 완전제곱꼴이어야 합니다.