인수정리와 나머지정리 (Factor Theorem and Remainder Theorem)
쉽게 풀면
13을 4로 나누면 몫은 3이고 나머지는 1입니다. 다항식도 마찬가지로 다른 다항식으로 나누면 몫과 나머지가 생기는데, 특히 (x−a)처럼 아주 간단한 식으로 나눌 때는 실제로 나눗셈을 하지 않고도 나머지를 바로 알아낼 수 있습니다. 그냥 f(x)의 x자리에 a를 대입해서 나온 값 f(a)가 곧 나머지입니다. 이것이 나머지정리입니다. 예를 들어 f(x)=x²+3x+2를 (x−1)로 나눈 나머지는 f(1)=1+3+2=6을 직접 계산하면 바로 구해집니다. 그런데 만약 이 나머지 f(a)가 정확히 0이 나온다면, 그것은 "나누어떨어진다"는 뜻이고, 곧 (x−a)가 f(x)를 깔끔하게 쪼갤 수 있는 인수(약수) 중 하나라는 뜻이 됩니다. 이것이 인수정리입니다. 예를 들어 f(x)=x²−3x+2에서 f(1)=1−3+2=0이므로 (x−1)은 f(x)의 인수이고, f(x)=(x−1)(x−2)로 인수분해할 수 있습니다. 두 정리는 복잡한 고차 다항식을 직접 나눗셈하지 않고도 근이나 인수를 빠르게 찾는 데 쓰입니다.
왜 중요한가
인수정리와 나머지정리는 고차 다항식을 직접 나눗셈하지 않고도 근이나 인수를 판별할 수 있게 해주는 기본 도구로, 제어이론의 특성다항식 해석, 부호이론이나 암호학에서 쓰이는 유한체 위의 다항식 연산, 수치해석의 다항식 근 탐색 알고리즘 등 다항식을 다루는 여러 응용 분야의 밑바탕이 됩니다. 특히 시스템이 안정적인지 판단할 때 특성방정식의 근이 특정 조건을 만족하는지를 확인하는 과정에서 이 정리들이 이론적 근거로 자주 쓰입니다.
논문에서는 이렇게 쓰입니다
이 문장은 "특정 값을 다항식에 대입했을 때 결과가 0이 나오는지 확인해서, 그 값에 해당하는 항을 인수로 분리할 수 있는지 수학적으로 확인했다"는 뜻으로, 시스템의 안정성이나 고유값을 다루는 이론적 분석에서 다항식을 다루는 근거로 자주 인용되는 표현입니다.
부호이론이나 오류검출 코드 설계에서 다항식의 나누어떨어짐을 판별할 때 쓰이는 표현이다.
수치해석에서 다항식의 근을 찾는 알고리즘의 이론적 배경을 설명할 때 사용하는 문장이다.
조금 더 깊게 보면
실제 계산에서는 f(a) 값을 직접 대입해 계산하는 대신, 조립제법이라는 간단한 표 형태의 절차를 이용해 몫과 나머지를 동시에 효율적으로 구하는 경우가 많습니다. 인수정리를 반복 적용하면 다항식에서 알려진 근들을 하나씩 인수로 뽑아내면서 차수를 낮춰갈 수 있어, 고차방정식의 해를 구하는 실질적인 절차로 이어집니다. 실수 범위에서 정수 근을 찾을 때는 유리근 정리를 함께 활용해 대입해볼 후보값의 범위를 좁히는 것이 일반적인 접근입니다.
주의할 점
나머지정리는 어떤 다항식이든 (x−a)로 나눈 나머지를 알려주지만, 그 나머지가 반드시 0이라는 보장은 없습니다. 나머지가 0일 때만 인수정리를 적용해 (x−a)를 인수로 뽑아낼 수 있다는 점, 즉 인수정리는 나머지정리의 "나머지가 0인 특수한 경우"라는 관계를 혼동하지 않아야 합니다.