Math Atlas

다항식의 나눗셈Polynomial Division

Algebra 2Algebra 2 · 3. 다항함수3. Polynomial Functions

학습 목표
  • 다항식의 나눗셈 정리 A=BQ+RA = BQ + R (RR의 차수 << BB의 차수)를 이해한다.
  • 장제법과 조립제법으로 몫과 나머지를 구한다.
  • 검산 등식 A=BQ+RA = BQ + R를 문제 해결 도구로 쓴다.

수의 나눗셈, 다항식의 나눗셈

47÷547 \div 5는 "몫 99, 나머지 22" — 문장으로 적으면 47=5×9+247 = 5 \times 9 + 2이고, 나머지의 자격은 "55보다 작다"였다. 다항식도 같은 문법으로 나뉜다:

A(x)=B(x)Q(x)+R(x),(R의 차수)<(B의 차수).A(x) = B(x)\,Q(x) + R(x), \qquad (R\text{의 차수}) < (B\text{의 차수}).

다른 것은 "작다"의 기준뿐이다 — 크기가 아니라 차수. 일차식으로 나누면 나머지는 상수, 이차식으로 나누면 나머지는 일차 이하다.

장제법: 최고차항끼리 겨루기

절차는 수의 세로 나눗셈과 같다 — 매 단계 "최고차항을 없애는 몫 한 조각"을 찾아 곱해 빼기를 반복한다.

예제

(x32x24)÷(x3)(x^3 - 2x^2 - 4) \div (x - 3):

  1. x3÷x=x2x^3 \div x = x^2 — 몫의 첫 조각. x2(x3)=x33x2x^2(x - 3) = x^3 - 3x^2을 빼면 x2x^2이 남는다.
  2. 다음 항을 내려 x2+0xx^2 + 0x. x2÷x=xx^2 \div x = x. x(x3)x(x - 3)을 빼면 3x3x.
  3. 3x43x - 4에서 3(x3)3(x - 3)을 빼면 55 — 차수가 0<10 < 1이므로 여기서 멈춘다.

x32x24=(x3)(x2+x+3)+5.x^3 - 2x^2 - 4 = (x - 3)(x^2 + x + 3) + 5.

검산 — 우변 전개: x3+x2+3x3x23x9+5=x32x24x^3 + x^2 + 3x - 3x^2 - 3x - 9 + 5 = x^3 - 2x^2 - 4 ✓. 나눗셈의 검산은 언제나 곱셈이다.

빠진 차수는 00으로 채워서 자리를 지켜야 한다 — 위에서 0x0x를 내려 쓴 것처럼. 자리를 건너뛰면 뺄셈이 어긋난다.

조립제법: 일차식 나눗셈의 속기

xax - a로 나눌 때는 계수만 추려 쓰는 지름길이 있다 — 조립제법이다. (x32x2+0x4)÷(x3)(x^3 - 2x^2 + 0x - 4) \div (x - 3)을 계수 1,2,0,41, -2, 0, -4와 기준수 33으로:

3 1 1 −2 3 1 0 3 3 −4 9 5
조립제법 — 내리고, 3을 곱해 올리고, 더하기의 반복.

첫 계수를 내리고, "33을 곱해 다음 칸에 올리고, 더한다"를 반복하면 아랫줄 1,1,3,  51, 1, 3, \; 5 — 앞의 셋이 몫 x2+x+3x^2 + x + 3의 계수, 마지막이 나머지 55다. 장제법과 완전히 같은 계산이다 — "곱해서 빼기"가 "(a)(-a) 대신 aa를 곱해서 더하기"로 바뀌었을 뿐, 각 칸의 수는 장제법 각 단계의 계수와 일치한다.

예제

(2x3+3x25x+1)÷(x+2)(2x^3 + 3x^2 - 5x + 1) \div (x + 2): 기준수는 x+2=x(2)x + 2 = x - (-2)2-2다.

계수 2,3,5,12, 3, -5, 1에 대해: 22 내리고 → ×(2)=4\times(-2) = -4, 34=13 - 4 = -1×(2)=2\times(-2) = 2, 5+2=3-5 + 2 = -3×(2)=6\times(-2) = 6, 1+6=71 + 6 = 7.

Q(x)=2x2x3,R=7.Q(x) = 2x^2 - x - 3, \qquad R = 7.

기준수의 부호(+2+2가 아니라 2-2)가 조립제법 최다 실수다.

등식으로 쓰는 나눗셈

A=BQ+RA = BQ + R는 절차의 요약을 넘어 문제 해결의 등식이다 — 양변은 모든 xx에서 같으므로, 편한 xx를 골라 대입할 수 있다.

예제

f(x)f(x)(x1)(x2)(x - 1)(x - 2)로 나눈 나머지를 구하고 싶은데 f(1)=3f(1) = 3, f(2)=5f(2) = 5만 안다고 하자. 나머지는 일차 이하 — R(x)=ax+bR(x) = ax + b로 두면

f(x)=(x1)(x2)Q(x)+ax+b.f(x) = (x - 1)(x - 2)Q(x) + ax + b.

x=1x = 1x=2x = 2를 대입하면 QQ항이 통째로 사라진다:

f(1)=a+b=3,f(2)=2a+b=5    a=2,  b=1.f(1) = a + b = 3, \qquad f(2) = 2a + b = 5 \;\Longrightarrow\; a = 2, \; b = 1.

나머지는 2x+12x + 1 — 몫 QQ를 전혀 모르고도 나머지가 나왔다. "제수를 00으로 만드는 값을 대입한다"는 이 수법이 다음 차시에서 정리로 승격된다.

주의

조립제법은 일차식 xax - a 전용이다 — 이차 이상으로 나눌 때는 장제법으로 돌아가라(변형 조립제법이 있지만 이 과정 밖이다). 그리고 2x32x - 3처럼 계수가 붙은 일차식은 x32x - \frac32로 나눈 뒤 몫을 22로 나눠 보정해야 한다 — 보정 없이 쓰는 것이 둘째 함정이다.

Goals
  • Understand the division theorem for polynomials: A=BQ+RA = BQ + R with degR<degB\deg R < \deg B.
  • Find quotients and remainders by long division and synthetic division.
  • Use the identity A=BQ+RA = BQ + R as a problem-solving equation.

Dividing numbers, dividing polynomials

47÷547 \div 5 means "quotient 99, remainder 22" — as a sentence, 47=5×9+247 = 5 \times 9 + 2, with the remainder qualified by "smaller than 55." Polynomials divide by the same grammar:

A(x)=B(x)Q(x)+R(x),degR<degB.A(x) = B(x)\,Q(x) + R(x), \qquad \deg R < \deg B.

Only the meaning of "smaller" changes — not size but degree. Divide by a linear and the remainder is a constant; by a quadratic, at most linear.

Long division: a duel of leading terms

The procedure mirrors numeric long division — each step finds the quotient piece that kills the current leading term, multiplies, and subtracts.

Example

(x32x24)÷(x3)(x^3 - 2x^2 - 4) \div (x - 3):

  1. x3÷x=x2x^3 \div x = x^2 — the quotient's first piece. Subtract x2(x3)=x33x2x^2(x - 3) = x^3 - 3x^2, leaving x2x^2.
  2. Bring down the next term: x2+0xx^2 + 0x. x2÷x=xx^2 \div x = x. Subtract x(x3)x(x - 3), leaving 3x3x.
  3. From 3x43x - 4 subtract 3(x3)3(x - 3), leaving 55 — degree 0<10 < 1, so stop.

x32x24=(x3)(x2+x+3)+5.x^3 - 2x^2 - 4 = (x - 3)(x^2 + x + 3) + 5.

Check by expanding: x3+x2+3x3x23x9+5=x32x24x^3 + x^2 + 3x - 3x^2 - 3x - 9 + 5 = x^3 - 2x^2 - 4 ✓. Division always checks by multiplication.

Missing degrees must be held with 00 — as the 0x0x above. Skip the placeholder and the subtractions misalign.

Synthetic division: shorthand for linear divisors

Dividing by xax - a admits a coefficients-only shortcut — synthetic division. For (x32x2+0x4)÷(x3)(x^3 - 2x^2 + 0x - 4) \div (x - 3), take coefficients 1,2,0,41, -2, 0, -4 and the reference number 33:

3 1 1 −2 3 1 0 3 3 −4 9 5
Synthetic division — drop, multiply by 3, add; repeat.

Drop the first coefficient; then repeat "multiply by 33, carry to the next column, add." The bottom row 1,1,3,  51, 1, 3, \; 5 holds the quotient's coefficients (x2+x+3x^2 + x + 3) and, last, the remainder 55. It is long division — "multiply and subtract" traded for "multiply by aa instead of a-a and add," with every cell matching a long-division step.

Example

(2x3+3x25x+1)÷(x+2)(2x^3 + 3x^2 - 5x + 1) \div (x + 2): the reference number is 2-2, since x+2=x(2)x + 2 = x - (-2).

On 2,3,5,12, 3, -5, 1: drop 22×(2)=4\times(-2) = -4, 34=13 - 4 = -1×(2)=2\times(-2) = 2, 5+2=3-5 + 2 = -3×(2)=6\times(-2) = 6, 1+6=71 + 6 = 7.

Q(x)=2x2x3,R=7.Q(x) = 2x^2 - x - 3, \qquad R = 7.

The reference number's sign (2-2, not +2+2) is synthetic division's top error.

Division as an identity

A=BQ+RA = BQ + R is more than a procedure's summary — it is a solving equation: both sides agree for every xx, so any convenient xx may be substituted.

Example

Suppose we want the remainder of f(x)f(x) upon division by (x1)(x2)(x - 1)(x - 2), knowing only f(1)=3f(1) = 3 and f(2)=5f(2) = 5. The remainder is at most linear — set R(x)=ax+bR(x) = ax + b:

f(x)=(x1)(x2)Q(x)+ax+b.f(x) = (x - 1)(x - 2)Q(x) + ax + b.

Substituting x=1x = 1 and x=2x = 2 makes the QQ term vanish entirely:

f(1)=a+b=3,f(2)=2a+b=5    a=2,  b=1.f(1) = a + b = 3, \qquad f(2) = 2a + b = 5 \;\Longrightarrow\; a = 2, \; b = 1.

The remainder is 2x+12x + 1 — obtained with no knowledge of QQ whatsoever. "Substitute the divisor's zeros" is the move that becomes a theorem next lesson.

Watch out

Synthetic division serves linear divisors xax - a only — for quadratics and beyond, return to long division (an extended synthetic form exists but lies outside this course). And a scaled linear like 2x32x - 3 requires dividing by x32x - \frac32 then correcting the quotient by 22 — using it uncorrected is the second trap.