다항식의 연산 (Operations on Polynomials)
쉽게 풀면
장바구니에 사과 2개와 배 3개가 있고, 다른 장바구니에는 사과 1개와 배 4개가 있다고 해봅시다. 두 장바구니를 합치면 사과는 사과끼리, 배는 배끼리 더해서 사과 3개와 배 7개가 됩니다. 다항식도 마찬가지로, 문자와 차수가 같은 항(동류항)끼리만 더하거나 뺄 수 있습니다(예: 2x+3y와 x+4y를 더하면 3x+7y).
곱셈은 분배법칙을 이용해 한쪽 다항식의 모든 항을 다른 쪽 다항식의 모든 항과 빠짐없이 곱한 뒤 더하며, 나눗셈은 몫과 나머지를 구하는 방식으로 진행됩니다.
왜 중요한가
다항식 연산은 방정식 풀이, 함수 그래프 분석, 회귀모형 설계 등 수학을 도구로 쓰는 거의 모든 연구 분야의 계산 기반이 되기 때문에, 논문에서는 이를 별도로 설명하기보다 당연한 배경지식으로 전제하고 넘어가는 경우가 많습니다. 특히 여러 변수를 다항식 형태로 조합해 상호작용 효과를 표현하는 통계·공학 모델에서는, 다항식을 정확히 전개하고 정리하는 능력이 모형 설정의 정확성과 직결됩니다.
어떤 절차인가
다항식의 연산은 정리, 덧셈·뺄셈, 곱셈, 나눗셈으로 이루어집니다.
- 정리: 차수가 높은 항부터 내림차순으로 쓰고, 문자와 차수가 같은 동류항은 묶습니다.
- 덧셈·뺄셈: 동류항끼리 계수를 더하거나 뺍니다. 뺄셈에서는 빼는 식의 모든 항의 부호를 바꾸는 것을 잊지 않습니다.
- 곱셈: 분배법칙으로 한쪽의 모든 항을 다른 쪽의 모든 항과 곱하고, 지수법칙(xa·xb = xa+b)으로 정리한 뒤 동류항을 묶습니다. 곱의 차수는 각 식 차수의 합입니다.
- 나눗셈: 긴 나눗셈이나 조립제법으로 몫과 나머지를 구합니다. 나머지의 차수는 나누는 식의 차수보다 낮아야 합니다. 즉
A = B × 몫 + 나머지입니다.
다음 계산은 코드로 확인한 예입니다.
- (2x + 3)(x − 4) = 2x² − 8x + 3x − 12 = 2x² − 5x − 12
- (x³ − 2x² − 5x + 6) ÷ (x − 3) = 몫 x² + x − 2, 나머지 0
- (2x³ − 3x² + 5) ÷ (x − 2) = 몫 2x² + x + 2, 나머지 9
언제 쓰고 무엇을 얻나
세 번째 나눗셈의 나머지 9는 나머지정리로 바로 확인됩니다. P(x) = 2x³ − 3x² + 5에 x = 2를 넣으면 2·8 − 3·4 + 5 = 9이므로 나머지와 같습니다(인수정리와 나머지정리). 나머지가 0이면 x − 2가 인수라는 뜻이며, 이를 이용해 곱의 꼴로 되돌리는 일은 인수분해에서 다룹니다.
연구에서 다항식 연산은 주로 도구로 쓰입니다. 회귀모형의 다항항과 상호작용항을 전개할 때, 제어공학에서 전달함수의 분자·분모 다항식을 정리해 영점과 극점을 구할 때, 수치 계산에서 함수 값을 효율적으로 구할 때 등입니다. 컴퓨터로 다항식을 계산할 때는 곱셈 횟수를 줄이는 호너의 방법이 대표적입니다. 차수가 n인 다항식을 n번의 곱셈과 n번의 덧셈으로 평가할 수 있습니다(Knuth, 1997). 아주 큰 차수의 다항식끼리 곱할 때는 고속 푸리에 변환을 이용한 알고리즘이 더 빠르다고 알려져 있으며(Cooley & Tukey, 1965; Cormen 외, 2009), 이는 교과서 수준의 전개 연산과는 다른 계산 문제입니다.
논문에는 이렇게 적는다
논문에서 다항식 연산은 대개 풀이 과정을 적지 않고 결과 식만 제시합니다. 다만 다음 사항은 밝혀야 재현할 수 있습니다.
- 어떤 식을 어떤 변수에 대해 전개·정리했는지, 다항식의 차수와 계수 체(실수, 정수 등)
- 수식 처리를 소프트웨어로 했다면 그 종류와 버전
- 수치 계산에서 반올림 오차가 문제 될 수 있는 경우(차수가 높거나 계수의 크기가 크게 다른 경우)에는 평가 방식
자주 나오는 실수는 완전제곱식 전개에서 가운데 항을 빠뜨리는 것((a + b)² = a² + 2ab + b²), 뺄셈에서 부호를 한 항만 바꾸는 것, 곱한 뒤 동류항을 묶지 않는 것입니다.
논문에서는 이렇게 쓰입니다
실제 논문에서
이 용어를 직접 쓴 국내 논문 문장을 아직 수집하지 못했습니다. 수집되는 대로 출처와 함께 싣겠습니다.
예시 문장
아래는 용어의 쓰임을 보여 주려고 만든 예시로, 실제 논문에서 가져온 문장이 아닙니다.
이 문장은 "여러 변수를 포함한 다항식을 곱하고 정리해서, 변수들이 서로 곱해지는 형태의 새로운 항을 만들어냈다"는 뜻입니다.
전자공학·제어공학 논문에서는 시스템의 동작을 다항식 비율로 표현한 뒤, 그 다항식을 나누고 정리해 시스템의 안정성을 판단하는 데 활용한다는 뜻입니다.
전산수학 논문에서는 다항식 계산 자체를 더 빠르고 정확하게 수행하는 알고리즘을 설계할 때 다항식 연산의 구조를 활용한다는 의미입니다.
조금 더 깊게 보면
다항식의 나눗셈은 몫과 나머지를 구하는 과정에서 조립제법이라는 간단한 표 형태의 계산법으로 효율화할 수 있으며, 이는 나머지정리나 인수정리처럼 다항식이 특정 값에서 0이 되는지를 빠르게 판별하는 데 활용됩니다. 컴퓨터 계산에서는 다항식을 계수만으로 표현해 덧셈과 곱셈을 반복하는 방식을 최적화하는 것이 수치해석의 오랜 연구 주제이며, 앞서 언급한 호너의 방법처럼 곱셈 횟수를 최소화하는 계산 순서를 찾는 것이 대표적인 예입니다.
주의할 점
다항식을 곱할 때는 분배법칙을 빠짐없이 적용해야 하며, 특히 (a+b)²=a²+2ab+b²처럼 완전제곱식을 전개할 때 가운데 항(2ab)을 빠뜨리고 단순히 a²+b²으로 잘못 계산하지 않도록 주의해야 합니다. 전개한 다항식을 다시 곱의 형태로 되돌리는 과정은 인수분해 문서에서 다룹니다.
헷갈리기 쉬운 용어
다항식을 다루는 개념들이 서로 이어져 있지만 하는 일이 다릅니다.
| 용어 | 하는 일 | 연산과의 관계 |
|---|---|---|
| 인수분해 | 다항식을 곱의 꼴로 되돌림 | 전개(곱셈)의 역방향 |
| 인수정리와 나머지정리 | 나눗셈의 나머지와 인수 여부를 값 대입으로 판단 | 나눗셈의 결과를 빠르게 확인하는 도구 |
| 다항함수의 그래프 개형 | 차수와 계수에 따른 그래프 모양 | 연산이 아니라 함수의 시각적 성질 |
참고 문헌
- Knuth, D. E. (1997). The Art of Computer Programming, Volume 2: Seminumerical Algorithms (3rd ed.). Addison-Wesley.
- Cormen, T. H., Leiserson, C. E., Rivest, R. L., & Stein, C. (2009). Introduction to Algorithms (3rd ed.). MIT Press.
- Cooley, J. W., & Tukey, J. W. (1965). An algorithm for the machine calculation of complex Fourier series. Mathematics of Computation, 19(90), 297–301.
표의 기준값은 위 문헌에 근거한 관례이며, 분야·학술지마다 다른 기준을 쓸 수 있습니다.