Math Atlas

유리식의 덧셈과 뺄셈Adding & Subtracting Rational Expressions

Algebra 1Algebra 1 · 7. 근호와 유리식7. Radicals & Rational Expressions

학습 목표
  • 분모를 인수분해해 최소공배 분모를 찾고, 유리식을 통분해 더하고 뺀다.
  • 뺄셈에서 분자 전체에 부호를 분배한다.
  • 간단한 분수 방정식을 풀고, 분모를 00으로 만드는 무연근을 걸러낸다.

분모가 같으면 이미 끝난 문제

2xx+1+3x+1=2x+3x+1.\frac{2x}{x+1} + \frac{3}{x+1} = \frac{2x+3}{x+1}.

같은 분모면 분자끼리 더한다 — 분수 그대로다. 문제는 분모가 다를 때이고, 해법도 분수 그대로다: 통분.

최소공배 분모 — 인수의 언어로

16+14\frac16 + \frac14를 통분할 때 공통분모 1212는 어떻게 나왔는가. 6=236 = 2 \cdot 3, 4=224 = 2^2각 소인수를 가장 높은 지수로 모은 것이 223=122^2 \cdot 3 = 12였다. 유리식도 규칙이 같다 — 소인수 자리에 다항식 인수가 앉을 뿐이다:

최소공배 분모=각 분모의 인수를, 나타나는 가장 높은 거듭제곱으로 모두 곱한 것.\text{최소공배 분모} = \text{각 분모의 인수를, 나타나는 가장 높은 거듭제곱으로 모두 곱한 것.}

예제 1 — 통분해 더하기

3x+1+2x1\dfrac{3}{x+1} + \dfrac{2}{x-1}을 계산하라.

풀이. 두 분모는 공통인수가 없으므로 최소공배 분모는 곱 (x+1)(x1)(x+1)(x-1)이다. 각 분수를 부풀린다:

3(x1)(x+1)(x1)+2(x+1)(x+1)(x1)=3x3+2x+2(x+1)(x1)=5x1x21.\frac{3(x-1)}{(x+1)(x-1)} + \frac{2(x+1)}{(x+1)(x-1)} = \frac{3x - 3 + 2x + 2}{(x+1)(x-1)} = \frac{5x-1}{x^2-1}.

검산(x=2x = 2): 원식 33+21=1+2=3\frac33 + \frac21 = 1 + 2 = 3, 결과 1013=3\frac{10-1}{3} = 3 ✓.

분모에 접을 것이 있으면 접고 나서 최소공배 분모를 찾는다:

xx24+1x+2=x(x+2)(x2)+1x+2=x+(x2)(x+2)(x2)=2(x1)(x+2)(x2).\frac{x}{x^2-4} + \frac{1}{x+2} = \frac{x}{(x+2)(x-2)} + \frac{1}{x+2} = \frac{x + (x-2)}{(x+2)(x-2)} = \frac{2(x-1)}{(x+2)(x-2)}.

둘째 분수만 (x2)(x-2)로 부풀리면 된다 — 무턱대고 두 분모를 곱하면 (x24)(x+2)(x^2-4)(x+2)라는 필요 이상으로 큰 분모를 끌고 다니게 된다. 검산(x=3x = 3): 원식 35+15=45\frac35 + \frac15 = \frac45, 결과 2251=45\frac{2 \cdot 2}{5 \cdot 1} = \frac45 ✓.

주의

뺄셈에서는 빼는 분자 전체의 부호가 바뀐다. xx291x3\dfrac{x}{x^2-9} - \dfrac{1}{x-3}을 통분하면 분자는 x(x+3)=3x - (x+3) = -3이지 xx+3=3x - x + 3 = 3이 아니다 — U4의 "괄호 앞 -는 모든 항에" 규칙이 분자에서 다시 시험대에 오른다. 빼는 분자에는 괄호를 치고 시작하라.

식 정리와 방정식 풀이는 권리가 다르다

여기서 정말 잦은 혼동 하나. 방정식에서는 양변에 같은 식을 곱할 수 있으므로 분모를 아예 없앨 수 있다. 그러나 식 정리에는 "양변"이 없다 — 3x+2x2\frac{3}{x} + \frac{2}{x^2}을 "분모를 없애" 3x+23x + 2로 바꾸면 값 자체가 달라진다: x=2x = 2를 넣으면 원식은 32+12=2\frac32 + \frac12 = 2인데 3x+23x+288이다. 식은 통분해 하나의 분수로 정리할 수 있을 뿐이다: 3x+2x2\frac{3x+2}{x^2}. 분모를 없앨 권리는 방정식에서만 나온다.

분수 방정식 — 곱해서 벗기고, 대입해 거른다

방정식이라면 그 권리를 쓰자. 양변에 최소공배 분모를 곱해 유리식을 다항식으로 바꾼다:

2x+12=1    양변에 2x:4+x=2x    x=4.\frac{2}{x} + \frac12 = 1 \implies \text{양변에 } 2x: \quad 4 + x = 2x \implies x = 4.

검산: 24+12=1\frac24 + \frac12 = 1 ✓. 다만 분모가 있는 방정식에는 근호 방정식과 같은 그림자가 있다 — 곱하는 식이 00이 되는 값에서는 논리가 무너지므로, 분모를 00으로 만드는 후보는 무연근이다.

예제 2 — 무연근으로 끝나는 방정식

xx1=1x1\dfrac{x}{x-1} = \dfrac{1}{x-1}을 풀어라.

풀이. 양변에 x1x-1을 곱하면 x=1x = 1. 그런데 x=1x = 1은 원래 방정식의 분모를 00으로 만든다 — 양변 모두 정의되지 않으므로 해가 될 수 없다. 무연근이고, 따라서 이 방정식은 해가 없다.

(그럴듯해 보였던 이유: x1x-1을 곱하는 순간 "x10x - 1 \neq 0"이라는 전제가 깔리는데, 나온 후보가 정확히 그 전제를 어겼다. 근호 방정식의 검산 규율이 분수 방정식에서도 그대로 필요하다.)

단원을 닫으며

U7의 다섯 차시가 한 문장으로 모인다: 근호든 분수든, 새 기호를 만나면 정의로 돌아가 성질을 증명하고, 인수분해로 구조를 드러내고, 검산으로 결론을 지킨다. 다음 단원에서는 완전히 새로운 성장 방식 — 지수함수와 수열 — 을 만난다.

문제 탭에는 통분 기본기부터 부호 함정, 해가 둘 다 살아남는 분수 방정식, (x+1)(x+1)꼴 대칭식, 그리고 112+123+\frac{1}{1\cdot2} + \frac{1}{2\cdot3} + \cdots 부분분수 텔레스코핑(경시)까지 열세 문제가 있다.

Goals
  • Find least common denominators by factoring, and add or subtract rational expressions over them.
  • Distribute the sign across the entire numerator when subtracting.
  • Solve simple rational equations, filtering out extraneous candidates that zero a denominator.

Same denominator: already done

2xx+1+3x+1=2x+3x+1.\frac{2x}{x+1} + \frac{3}{x+1} = \frac{2x+3}{x+1}.

With matching denominators, add the numerators — pure fraction arithmetic. The interesting case is mismatched denominators, and the remedy is also pure fraction arithmetic: a common denominator.

The least common denominator, in the language of factors

Where did the common denominator 1212 for 16+14\frac16 + \frac14 come from? From collecting each prime factor at its highest power: 6=236 = 2 \cdot 3 and 4=224 = 2^2 give 223=122^2 \cdot 3 = 12. Rational expressions follow the identical rule — polynomial factors just take the primes' seats:

LCD=every factor appearing in any denominator, each at its highest power.\text{LCD} = \text{every factor appearing in any denominator, each at its highest power.}

Example 1 — Adding over the LCD

Compute 3x+1+2x1\dfrac{3}{x+1} + \dfrac{2}{x-1}.

Solution. The denominators share no factor, so the LCD is the product (x+1)(x1)(x+1)(x-1). Scale each fraction up:

3(x1)(x+1)(x1)+2(x+1)(x+1)(x1)=3x3+2x+2(x+1)(x1)=5x1x21.\frac{3(x-1)}{(x+1)(x-1)} + \frac{2(x+1)}{(x+1)(x-1)} = \frac{3x - 3 + 2x + 2}{(x+1)(x-1)} = \frac{5x-1}{x^2-1}.

Check at x=2x = 2: original 33+21=1+2=3\frac33 + \frac21 = 1 + 2 = 3; result 1013=3\frac{10-1}{3} = 3 ✓.

When a denominator can be folded, fold it first, then read off the LCD:

xx24+1x+2=x(x+2)(x2)+1x+2=x+(x2)(x+2)(x2)=2(x1)(x+2)(x2).\frac{x}{x^2-4} + \frac{1}{x+2} = \frac{x}{(x+2)(x-2)} + \frac{1}{x+2} = \frac{x + (x-2)}{(x+2)(x-2)} = \frac{2(x-1)}{(x+2)(x-2)}.

Only the second fraction needed scaling, by (x2)(x-2) — blindly multiplying the two denominators would saddle you with the oversized (x24)(x+2)(x^2-4)(x+2). Check at x=3x = 3: original 35+15=45\frac35 + \frac15 = \frac45; result 2251=45\frac{2 \cdot 2}{5 \cdot 1} = \frac45 ✓.

Watch out

In subtraction, the sign flips across the entire subtracted numerator. Combining xx291x3\dfrac{x}{x^2-9} - \dfrac{1}{x-3} gives the numerator x(x+3)=3x - (x+3) = -3, not xx+3=3x - x + 3 = 3 — the "minus distributes to every term" rule from the polynomials unit, retested inside a numerator. Put parentheses around any numerator you subtract, before anything else.

Simplifying and solving carry different licenses

A confusion worth naming. In an equation, you may multiply both sides by the same expression, so denominators can be eliminated outright. But simplifying an expression involves no "both sides" — turn 3x+2x2\frac{3}{x} + \frac{2}{x^2} into 3x+23x + 2 by "clearing denominators" and you have changed its value: at x=2x = 2 the original is 32+12=2\frac32 + \frac12 = 2 while 3x+23x+2 is 88. An expression can only be combined into a single fraction: 3x+2x2\frac{3x+2}{x^2}. The license to eliminate comes only with an equation.

Rational equations: clear, solve, then filter

Given an actual equation, use that license. Multiply both sides by the LCD and the rational equation becomes polynomial:

2x+12=1    multiply by 2x:4+x=2x    x=4.\frac{2}{x} + \frac12 = 1 \implies \text{multiply by } 2x: \quad 4 + x = 2x \implies x = 4.

Check: 24+12=1\frac24 + \frac12 = 1 ✓. But equations with denominators cast the same shadow radical equations did — the multiplication step breaks down exactly where the multiplier is 00, so any candidate that zeroes a denominator is extraneous.

Example 2 — An equation that ends in a phantom

Solve xx1=1x1\dfrac{x}{x-1} = \dfrac{1}{x-1}.

Solution. Multiplying both sides by x1x-1 gives x=1x = 1. But x=1x = 1 makes the original equation's denominators zero — both sides are undefined there, so it cannot be a solution. It is extraneous, and the equation has no solution.

(Why it looked plausible: multiplying by x1x-1 silently assumes "x10x - 1 \neq 0," and the candidate that emerged violated exactly that assumption. The checking discipline from radical equations transfers to rational equations intact.)

Closing the unit

The five lessons of Unit 7 gather into one sentence: whatever the new symbol — radical or fraction — return to its definition to prove its properties, use factoring to expose its structure, and let checking guard the conclusion. The next unit brings an entirely new kind of growth: exponential functions and sequences.

The problems tab runs from common-denominator basics through the sign trap, a rational equation where both candidates survive, a symmetric-difference expression, and the partial-fraction telescope 112+123+\frac{1}{1\cdot2} + \frac{1}{2\cdot3} + \cdots (contest) — thirteen problems.