Math Atlas

공통인수와 곱셈 공식 거꾸로Common Factors & Formulas in Reverse

Algebra 1Algebra 1 · 5. 인수분해5. Factoring

학습 목표
  • 인수분해가 전개의 역과정임을 이해하고, "곱으로 쓰기"가 왜 유용한지 안다.
  • 공통인수를 남김없이 묶어낸다 — 계수의 최대공약수와 문자의 최소 지수까지.
  • 합차·완전제곱 공식을 거꾸로 읽어 a2b2a^2-b^2, a2±2ab+b2a^2 \pm 2ab+b^2 꼴을 알아본다.

펴기의 반대

지난 단원에서는 (x+3)(x3)(x+3)(x-3)을 받아 x29x^2-9폈다. 이번 단원의 질문은 정반대다: x29x^2-9를 받아 (x+3)(x3)(x+3)(x-3)으로 접을 수 있는가?

정의인수분해

다항식을 두 개 이상의 다항식의 으로 나타내는 것. 곱을 이루는 각 식을 인수(factor)라 한다. 정수의 소인수분해(12=22×312 = 2^2 \times 3)가 수를 곱의 부품으로 분해하듯, 인수분해는 식을 곱의 부품으로 분해한다.

왜 접고 싶은가? 곱 꼴은 정보가 많기 때문이다. x29x^2-9만 봐서는 이 식이 언제 00이 되는지 바로 안 보이지만, (x+3)(x3)(x+3)(x-3)이라 쓰면 x=3x=3이나 x=3x=-3에서 00이 된다는 것이 그냥 보인다. 이 힘은 이차방정식 단원에서 본격적으로 쓴다 — 이번 단원은 접는 기술 자체를 익힌다.

접기가 잘 됐는지 확인하는 방법은 언제나 같다: 다시 펴 본다. 인수분해의 검산은 전개다.

도구 1 · 공통인수 묶기

분배법칙 a(b+c)=ab+aca(b+c) = ab+ac를 거꾸로 읽으면 첫 번째 인수분해가 나온다:

ab+ac=a(b+c).ab + ac = a(b+c).

모든 항에 들어 있는 공통인수 aa를 괄호 밖으로 묶어내는 것이다. 그림으로 보면, 넓이가 6x26x^29x9x인 두 직사각형이 높이 3x3x를 공유하며 붙어 있는 것과 같다:

2x 3 3x 6x2 9x
넓이 6x²과 9x인 두 직사각형이 높이 3x를 공유한다 — 전체 넓이는 3x 곱하기 (2x+3)

6x2+9x=3x(2x+3).6x^2 + 9x = 3x(2x + 3).

얼마나 크게 묶어야 하는가? 가능한 한 크게 — 계수에서는 최대공약수를, 문자에서는 각 항에 공통으로 들어 있는 가장 높은 거듭제곱을 묶는다. 6699의 최대공약수 33, 그리고 x2x^2xx에 공통인 xx — 그래서 3x3x다. 3(2x2+3x)3(2x^2+3x)에서 멈추면 괄호 안에 아직 공통인수 xx가 남아 있다. 괄호 안에 공통인수가 남아 있으면 끝난 것이 아니다.

예제 1 — 세 항 묶기

6x39x2+3x6x^3 - 9x^2 + 3x를 인수분해하라.

풀이. 계수 6,9,36, 9, 3의 최대공약수는 33, 문자는 세 항 모두에 xx가 최소 한 번씩 — 공통인수는 3x3x다:

6x39x2+3x=3x(2x23x+1).6x^3 - 9x^2 + 3x = 3x(2x^2 - 3x + 1).

셋째 항에 주의. 3x3x를 통째로 묶었으니 그 자리에는 11남는다3x(2x23x)3x(2x^2-3x)로 쓰면 항 하나가 증발한 것이다. 검산(전개): 3x2x2=6x33x \cdot 2x^2 = 6x^3 ✓, 3x(3x)=9x23x \cdot (-3x) = -9x^2 ✓, 3x1=3x3x \cdot 1 = 3x ✓.

도구 2 · 합차 공식 거꾸로

(a+b)(ab)=a2b2(a+b)(a-b) = a^2 - b^2을 거꾸로 읽으면:

a2b2=(a+b)(ab)a^2 - b^2 = (a+b)(a-b)

제곱 두 개의 차를 보면 반사적으로 이 꼴을 떠올려야 한다. x249x^2 - 49x272x^2 - 7^2이므로

x249=(x+7)(x7).x^2 - 49 = (x+7)(x-7).

계수가 있어도 제곱이기만 하면 된다: 9x216=(3x)242=(3x+4)(3x4)9x^2 - 16 = (3x)^2 - 4^2 = (3x+4)(3x-4). 검산은 전개 — 가운데 항이 상쇄되며 원래 식이 돌아오는지 본다.

주의

합의 제곱차는 없다. a2+b2a^2 + b^2은 (실수 계수 범위에서) 인수분해되지 않는다 — x2+9x^2+9(x+3)2(x+3)^2으로 쓰는 순간 전개 검산에서 6x6x가 튀어나와 바로 들킨다. 빼기일 때만 합차다.

도구 3 · 완전제곱 공식 거꾸로

(a±b)2=a2±2ab+b2(a \pm b)^2 = a^2 \pm 2ab + b^2을 거꾸로 읽으면:

a2+2ab+b2=(a+b)2,a22ab+b2=(ab)2a^2 + 2ab + b^2 = (a+b)^2, \qquad a^2 - 2ab + b^2 = (a-b)^2

삼항식이 이 꼴인지 판정하는 절차가 있다. 양 끝이 제곱인지 보고, 가운데가 그 두 제곱근의 곱의 2배인지 확인한다. x2+14x+49x^2 + 14x + 49라면: 양 끝은 x2x^2727^2 ✓, 가운데는 2x7=14x2 \cdot x \cdot 7 = 14x ✓ — 따라서 (x+7)2(x+7)^2. 가운데 항의 부호가 괄호 안의 부호다.

가운데 확인을 건너뛰면 당한다. x2+10x+16x^2 + 10x + 16은 양 끝만 보면 x2x^2424^2이지만, 2x4=8x10x2 \cdot x \cdot 4 = 8x \neq 10x — 완전제곱식이 아니다. (그렇다고 인수분해가 안 되는 것은 아니다. 이 식을 접는 방법이 바로 다음 차시의 주제다.)

규칙 하나: 공통인수가 항상 먼저

곱셈 공식을 쓰기 전에 반드시 공통인수부터 확인한다. 순서가 바뀌면 길이 막힌다:

예제 2 — 두 단계 인수분해

2x2182x^2 - 18을 인수분해하라.

풀이. 2x2182x^2 - 18은 제곱의 차처럼 보이지 않는다(2x22x^21818도 제곱이 아니다). 그러나 공통인수 22를 먼저 묶으면

2x218=2(x29)=2(x+3)(x3).2x^2 - 18 = 2(x^2 - 9) = 2(x+3)(x-3).

괄호 안에서 합차가 나타났다. 검산(x=2x=2): 원식 818=108 - 18 = -10, 결과 25(1)=102 \cdot 5 \cdot (-1) = -10 ✓.

"더 접을 수 있는가?"를 마지막에 한 번 더 묻는 습관까지 들이면 완성이다 — 2(x29)2(x^2-9)에서 멈추지 않는 것처럼.

접으면 무엇이 좋은가 — 두 가지 맛보기

방정식. 곱이 00이면 인수 중 하나는 00이다:

AB=0    A=0  또는  B=0.AB = 0 \implies A = 0 \;\text{또는}\; B = 0.

증명. A0A \neq 0이면 양변을 AA로 나눌 수 있고, B=0B = 0이 된다. 따라서 A=0A = 0이거나, 아니면 B=0B = 0이다. \blacksquare

이 성질 덕분에 (x+3)(x3)=0(x+3)(x-3) = 0x=3x = -3 또는 x=3x = 3으로 즉시 풀린다. 이차방정식 단원의 주력 엔진이 바로 이것이다.

계산. 합차를 거꾸로 쓰면 제곱의 차가 암산이 된다:

512492=(51+49)(5149)=100×2=200.51^2 - 49^2 = (51+49)(51-49) = 100 \times 2 = 200.

문제 탭에는 묶기·합차·완전제곱 기본기부터 x416x^4 - 16 겹인수분해, a2b2=45a^2-b^2=45의 자연수 해 찾기(경시)까지 열세 문제가 있다.

Goals
  • Understand factoring as expansion run in reverse, and why the product form is worth having.
  • Factor out common factors completely — greatest common factor of the coefficients, lowest power of each shared variable.
  • Read the product formulas backwards to recognize a2b2a^2-b^2 and a2±2ab+b2a^2 \pm 2ab+b^2 on sight.

Expansion, reversed

Last unit we took (x+3)(x3)(x+3)(x-3) and expanded it into x29x^2-9. This unit asks the opposite question: given x29x^2-9, can you fold it back into (x+3)(x3)(x+3)(x-3)?

DefinitionFactoring

Writing a polynomial as a product of two or more polynomials. Each polynomial in the product is a factor. Just as prime factorization (12=22×312 = 2^2 \times 3) breaks a number into multiplicative parts, factoring breaks an expression into multiplicative parts.

Why fold? Because the product form carries more information. Staring at x29x^2-9, you can't immediately see when it equals 00; written as (x+3)(x3)(x+3)(x-3), it is plainly 00 at x=3x=3 and x=3x=-3. That power gets its full workout in the quadratics unit — this unit is about the folding skill itself.

And how do you know a fold is right? The same way every time: unfold it. The check for factoring is expansion.

Tool 1 · Pulling out the common factor

Read the distributive law a(b+c)=ab+aca(b+c) = ab+ac backwards and the first factoring technique appears:

ab+ac=a(b+c).ab + ac = a(b+c).

The factor aa that lives in every term gets pulled out front. In a picture: two rectangles of areas 6x26x^2 and 9x9x sharing the height 3x3x, glued side by side:

2x 3 3x 6x2 9x
Two rectangles of areas 6x-squared and 9x share the height 3x, so the total area is 3x times (2x+3)

6x2+9x=3x(2x+3).6x^2 + 9x = 3x(2x + 3).

How much should you pull out? As much as possible — the greatest common factor of the coefficients, and the highest power of each variable found in every term. Here: gcd(6,9)=3\gcd(6,9) = 3, and both terms contain at least one xx — so 3x3x. Stopping at 3(2x2+3x)3(2x^2+3x) leaves a common xx inside the parentheses. If the parentheses still hold a common factor, you are not done.

Example 1 — Three terms

Factor 6x39x2+3x6x^3 - 9x^2 + 3x.

Solution. The coefficients 6,9,36, 9, 3 have greatest common factor 33; every term carries at least one xx. So the common factor is 3x3x:

6x39x2+3x=3x(2x23x+1).6x^3 - 9x^2 + 3x = 3x(2x^2 - 3x + 1).

Watch the third term. Pulling out all of 3x3x leaves a 11 behind — writing 3x(2x23x)3x(2x^2-3x) makes a whole term evaporate. Check by expanding: 3x2x2=6x33x \cdot 2x^2 = 6x^3 ✓, 3x(3x)=9x23x \cdot (-3x) = -9x^2 ✓, 3x1=3x3x \cdot 1 = 3x ✓.

Tool 2 · Difference of squares, backwards

Read (a+b)(ab)=a2b2(a+b)(a-b) = a^2 - b^2 in reverse:

a2b2=(a+b)(ab)a^2 - b^2 = (a+b)(a-b)

A difference of two squares should trigger this form on sight. Since x249=x272x^2 - 49 = x^2 - 7^2,

x249=(x+7)(x7).x^2 - 49 = (x+7)(x-7).

Coefficients are welcome as long as everything is a square: 9x216=(3x)242=(3x+4)(3x4)9x^2 - 16 = (3x)^2 - 4^2 = (3x+4)(3x-4). The check is expansion — the middle terms cancel and the original returns.

Watch out

There is no sum-of-squares version. a2+b2a^2 + b^2 does not factor (over the real numbers) — write x2+9x^2+9 as (x+3)2(x+3)^2 and the expansion check immediately betrays you with an unwanted 6x6x. Difference of squares works only for differences.

Tool 3 · Perfect squares, backwards

Read (a±b)2=a2±2ab+b2(a \pm b)^2 = a^2 \pm 2ab + b^2 in reverse:

a2+2ab+b2=(a+b)2,a22ab+b2=(ab)2a^2 + 2ab + b^2 = (a+b)^2, \qquad a^2 - 2ab + b^2 = (a-b)^2

There is a two-step test for whether a trinomial has this shape. Check that both ends are squares, then check that the middle is twice the product of their square roots. For x2+14x+49x^2 + 14x + 49: the ends are x2x^2 and 727^2 ✓, and the middle is 2x7=14x2 \cdot x \cdot 7 = 14x ✓ — so it is (x+7)2(x+7)^2. The sign of the middle term is the sign inside the parentheses.

Skip the middle check and you get burned. In x2+10x+16x^2 + 10x + 16 the ends look like x2x^2 and 424^2, but 2x4=8x10x2 \cdot x \cdot 4 = 8x \neq 10xnot a perfect square. (That doesn't make it unfactorable; folding expressions like this one is exactly the next lesson's topic.)

One standing rule: common factor first

Before reaching for any formula, check for a common factor. Do it in the wrong order and the road closes:

Example 2 — A two-step factorization

Factor 2x2182x^2 - 18.

Solution. As written, 2x2182x^2 - 18 doesn't look like a difference of squares — neither 2x22x^2 nor 1818 is a square. But pull out the common 22 first:

2x218=2(x29)=2(x+3)(x3).2x^2 - 18 = 2(x^2 - 9) = 2(x+3)(x-3).

Inside the parentheses, a difference of squares was waiting. Check at x=2x=2: original 818=108 - 18 = -10; result 25(1)=102 \cdot 5 \cdot (-1) = -10 ✓.

Finish with one last question — "does anything fold further?" — the same habit that keeps you from stopping at 2(x29)2(x^2-9).

Two previews of what folding buys you

Equations. If a product is 00, one of its factors is 00:

AB=0    A=0   or   B=0.AB = 0 \implies A = 0 \;\text{ or }\; B = 0.

Proof. If A0A \neq 0, we may divide both sides by AA, giving B=0B = 0. So either A=0A = 0, or else B=0B = 0. \blacksquare

This is what makes (x+3)(x3)=0(x+3)(x-3) = 0 solve itself: x=3x = -3 or x=3x = 3, instantly. It will be the main engine of the quadratic equations unit.

Arithmetic. Difference of squares in reverse turns square gaps into mental math:

512492=(51+49)(5149)=100×2=200.51^2 - 49^2 = (51+49)(51-49) = 100 \times 2 = 200.

The problems tab runs from the basics — pulling out factors, difference of squares, perfect-square tests — up to fully factoring x416x^4 - 16 and a contest hunt for all natural-number solutions of a2b2=45a^2-b^2=45.