다항식 장제법

섬네일
**다항식 장제법**(多項式 長除法, )은 대수학에서 다항식을 동일하거나 낮은 수준의 다른 다항식으로 나누는 알고리즘으로 장제법이라고 불리는 친숙한 산술 기법의 일반화된 버전이다. 이것은 다른 복잡한 나눗셈 문제를 작은 나눗셈 문제로 분리하기 때문에 손으로 쉽게 수행할 수 있다. 때때로 조립제법이라고 불리는 속기 버전을 사용하는 것이 더 빠르고 적은 쓰기와 적은 계산을 확용하기 때문에 더 빠르다. 또다른 약칭 방법은 다항식 단제법(블롬크비스트(Blomqvist)의 방법)이다.

다항식 장제법은 다항식의 유클리드 나눗셈을 구현하는 알고리즘으로서 2개의 다항식 *A*(피제수)와 *B*(제수)에서 시작하여 *B*가 0이 아닐 경우 몫 *Q*와 나머지 *R*을 생성(*A* = *BQ* + *R*)한다. 여기서 *R*은 0이거나 *R*의 도가 *B*의 도보다 낮은 편이다. 이러한 조건은 *Q*와 *R*을 고유하게 정의하며 이는 *Q*와 *R*이 이들을 계산하는 방법에 의존하지 않는다는 것을 의미한다.

결과적으로 *R*은 0과 같거나 *B*가 다항식 *A*에 요인을 주는 경우에만 발생한다. 따라서 장제법은 하나의 다항식에 다른 요인이 있는 지의 여부를 검증하고 요인으로서 다른 다항식이 있는지 여부를 인수화하기 위한 평균이다. 예를 들어 *A*의 근 *r*이 알려진 경우에는 *A*를 (*x* – *r*)로 나누어 인수할 수 있다.

## 예제
### 다항식 장제법
"피제수"(dividend) x^3 - 2x^2 - 4 나누기 "제수"(divisor) x-3의 몫과 나머지를 구하시오.

피제수는 먼저 다음과 같이 다시 작성된다.
:x^3 - 2x^2 + 0x - 4

그 후 다음과 같이 몫과 나머지를 결정할 수 있다.



피제수의 1번째 항을 제수의 가장 높은 항(*x*의 가장 높은 힘을 가진 항을 의미하며 이 경우에는 *x*이다.)으로 나눈다. 막대 위에 결과를 표시하라(*x*3 ÷ *x* = *x*2).
:
\begin{array}{l}
{\color{White} x-3 ) x^3 - 2}x^2\\
x-3\overline{) x^3 - 2x^2 + 0x - 4}
\end{array}




방금 얻은 결과(즉 몫의 1번째 조건)에 점수를 곱하라. 피제수의 초반 2가지 조건()에 따라 결과를 작성한다.
:
\begin{array}{l}
{\color{White} x-3 ) x^3 - 2}x^2\\
x-3\overline{) x^3 - 2x^2 + 0x - 4}\\
{\color{White} x-3 )} x^3 - 3x^2
\end{array}




방금 얻은 결과를 원래 피제수의 적절한 조건(마이너스 기호가 있는 것을 빼는 것은 플러스 기호가 있는 것을 더하는 것과 동등하다는 주의)에서 빼내고 그 결과를 () 아래에 기록한다. 그런 다음 피제수에서 다음 용어를 "내려오라"고 표시한다.
:
\begin{array}{l}
{\color{White} x-3 ) x^3 - 2}x^2\\
x-3\overline{) x^3 - 2x^2 + 0x - 4}\\
{\color{White} x-3 )} \underline{x^3 - 3x^2}\\
{\color{White} x-3 )0x^3} + {\color{White}}x^2 + 0x
\end{array}




앞에서 언급한 3차례의 과정을 반복하되 이번에는 방금 피제수로 작성된 2가지 용어를 사용한다.
:
\begin{array}{r}
 x^2 + {\color{White}1}x {\color{White} {} + 3}\\
 x-3\overline{) x^3 - 2x^2 + 0x - 4}\\
 \underline{x^3 - 3x^2 {\color{White} {} + 0x - 4}}\\
 +x^2 + 0x {\color{White} {} - 4}\\
 \underline{+x^2 - 3x {\color{White} {} - 4}}\\
 +3x - 4\\
\end{array}




4단계 과정을 반한다. 이번에는 "끌어내릴" 공간이 없다.
:
\begin{array}{r}
 x^2 + {\color{White}1}x + 3\\
 x-3\overline{) x^3 - 2x^2 + 0x - 4}\\
 \underline{x^3 - 3x^2 {\color{White} {} + 0x - 4}}\\
 +x^2 + 0x {\color{White} {} - 4}\\
 \underline{+x^2 - 3x {\color{White} {} - 4}}\\
 +3x - 4\\
 \underline{+3x - 9}\\
 +5
\end{array}




막대 위의 다항식은 *q*(*x*)이고 남은 수(5)는 나머지 *r*(*x*)이다.
:{x^3 - 2x^2 - 4} = (x-3)\,\underbrace{(x^2 + x + 3)}_{q(x)}  +\underbrace{5}_{r(x)}

산술에 대한 장제법 알고리즘은 변수 *x*가 특정 숫자 10으로 대체되는 위의 알고리즘과 매우 유사하다.

### 다항식 단제법
블롬크비스트의 방법(Blomqvist's method)은 위에서 언급한 장제법의 축소판이다. 이러한 연필-종이 방법은 다항식 장제법과 동일한 알고리듬을 사용하지만 나머지 부분을 결정하기 위해 정신적 계산이 사용된다. 이것은 적은 양의 쓰기를 요구하기 때문에 일단 숙달되면 더 빠른 방법이 될 수 있다.

이 과정은 처음에 피제수를 맨 위에 두고 그 아래에 있는 제수와 긴 곱셈과 비슷한 방식으로 작성된다. 몫은 왼쪽에서 오른쪽으로 막대 아래쪽에 쓰여져야 한다.

\begin{matrix} \qquad \qquad x^3-2x^2+{0x}-4 \\ \underline{ \div \quad \qquad \qquad \qquad \qquad  x-3 }\end{matrix}

피제수의 1번째 항을 제수의 가장 높은 항(*x*3 ÷ *x* = *x*2)에 둔다. 그런 다음에 막대 아래에 결과를 표시한다. *x*3는 나머지를 남기지 않고 분할되었으므로 역슬래시와 함께 사용된 것으로 표시할 수 있다. 그런 다음에 *x*2에 −3 = −3*x*2의 2번째 항을 곱한다. −2*x*2 − (−3*x*2) = *x*2를 빼서 나머지 부분을 확인한다. −2*x*2를 사용된 것으로 표시한 다음에 나머지 *x*2 위에 표시한다.

\begin{matrix} \qquad x^2 \\ \qquad \quad \bcancel x^3+\bcancel{-2}x^2+{0x}-4 \\ \underline{ \div \qquad \qquad \qquad \qquad \qquad  x-3 }\\x^2 \qquad \qquad \end{matrix}


나머지 가운데 가장 높은 항을 제수의 가장 높은 항(*x*2 ÷ *x* = *x*)으로 나눈다. 그런 다음에 막대 아래에 결과(+x)를 배치한다. *x*2가 분할되어 나머지가 없으므로 사용된 것으로 표시할 수 있다. 그런 다음에 결과 *x*에 −3 = −3*x*의 2번째 항을 곱한다. 그런 다음에 0*x* − (−3*x*) = 3*x*를 빼서 나머지 부분을 결정한다. 0x를 사용된 것으로 표시하고 새로운 나머지 부분을 3*x* 위에 표시한다.

\begin{matrix} \qquad \qquad \quad\bcancel x^2 \quad3x\\ \qquad \quad \bcancel x^3+\bcancel{-2}x^2+\bcancel{0x}-4 \\ \underline{ \div \qquad \qquad \qquad \qquad \qquad  x-3 }\\x^2 +x \qquad \end{matrix}


나머지 가운데 가장 높은 항을 제수의 가장 높은 항(3x ÷ *x* = 3)으로 나눈다. 그런 다음에 막대 아래에 결과(+3)를 표시한다. 3x는 나머지를 남기지 않고 분할되었으므로 사용된 것으로 표시할 수 있다. 그런 다음에 결과 3에 −3 = −9의 2번째 항을 곱한다. -4 -(-9) = 5를 빼서 나머지 부분을 결정한다. -4를 사용된 것으로 표시하고 나머지 부분 5를 위에 표시한다.

\begin{matrix} \quad \qquad \qquad \qquad\bcancel x^2 \quad \bcancel{3x} \quad5\\
\qquad \quad \bcancel x^3+\bcancel{-2}x^2+\bcancel{0x}\bcancel{-4} \\
\underline{ \div \qquad \qquad \qquad \qquad \qquad  x-3 }\\
x^2 +x +3\qquad \end{matrix}


막대 아래의 다항식은 *q*(*x*)이고 왼쪽 부분(5)에 남은 숫자는 나머지 *r*(*x*)이다.

## 의사코드
알고리즘은 다음과 같이 의사코드로 표현될 수 있다. 여기서 +, -, ×는 다항식 산수를 나타내고 /는 2개 항으로 이루어진 간단한 나눗셈을 나타낸다.

 **function** n / d **is**
     require d ≠ 0
     q ← 0
     r ← n             // At each step n = d × q + r

     **while** r ≠ 0 **and** degree(r) ≥ degree(d) **do**
         t ← lead(r) / lead(d)       // Divide the leading terms
         q ← q + t
         r ← r − t × d

     **return** (q, r)

도(*n*) > 도(*d*)일 때도 동일하게 잘 작동하며 이 경우 결과는 사소함(0, n)에 불과하다. 이러한 알고리즘은 위의 종이와 연필 방법을 정확히 기술한다. ")"의 왼쪽에 이 쓰여진다. 는 의 값이 되는 마지막 항을 의 값인 의 위에 의 연속적인 값을 계산하고 기록하는 데 사용된다. 수평선 아래의 영역은 의 연속 값을 계산하고 기록하는 데 사용됩니다.

## 유클리드 나눗셈
*B* ≠ 0과 같은 모든 다항식 쌍(*A*, *B*)에 대해, 다항식 나눗셈은 다음과 같은 몫 *Q*와 나머지 *R*을 제공한다.
:A=BQ+R,

또한 *R* = 0 또는 도 (*R*) x=1에서 다음 곡선에 접하는 선의 방정식을 찾는다.
::y = x^3 - 12x^2 - 42.
:다항식을 (x-1)^2 = x^2-2x+1과 같이 나누는 것으로 시작한다.
::
\begin{array}{r}
 x - 10\\
 x^2-2x+1\overline{) x^3 - 12x^2 + 0x - 42}\\
 \underline{x^3 - {\color{White}0}2x^2 + {\color{White}1}x} {\color{White} {} - 42}\\
 -10x^2 - {\color{White}01}x - 42\\
 \underline{-10x^2 + 20x - 10}\\
 -21x - 32
\end{array}

:접선은 y = - 21 x - 32이다.

### 순환 중복 검사
순환 중복 검사는 다항식의 나눗셈 과정에서 나온 나머지를 사용하여 전송된 메시지의 오류를 감지한다.

## 같이 보기
* 조립제법
* 유클리드 정역
* 그뢰브너 기저

## 각주

분류:다항식
분류:기호 계산
분류:나눗셈