Math Atlas

무한등비급수Infinite Geometric Series

Algebra 2Algebra 2 · 7. 수열과 급수7. Sequences & Series

학습 목표
  • 무한급수의 값을 부분합의 행선지로 정의하고, r<1|r| < 1일 때 S=a1rS = \dfrac{a}{1 - r}을 유도한다.
  • 순환소수를 무한등비급수로 읽어 분수로 바꾸고, 0.999=10.999\ldots = 1을 증명한다.
  • 제논의 역설과 도형 반복(프랙털)에 급수를 적용한다.

무한히 더한다는 것

1+12+14+18+1 + \dfrac12 + \dfrac14 + \dfrac18 + \cdots — 항이 끝나지 않는데 "합"이 있을 수 있을까? 답은 부분합의 행선지를 보는 것이다. nn항까지의 합은

Sn=1(1/2)n11/2=2(12)n1S_n = \frac{1 - (1/2)^n}{1 - 1/2} = 2 - \left(\frac12\right)^{n-1}

nn이 커질수록 22와의 차이가 반씩 줄며 22한없이 다가간다. 이때 급수가 22수렴한다 하고 S=2S = 2라 쓴다.

일반적으로 Sn=a(1rn)1rS_n = \dfrac{a(1 - r^n)}{1 - r}에서 변하는 부분은 rnr^n뿐이다. r<1|r| < 1이면 rnr^n00으로 사그라들고(0.5,0.25,0.125,0.5, 0.25, 0.125, \dots처럼 절댓값이 배율 r|r|로 줄어드니), 부분합의 행선지는

S=a1r(r<1)\boxed{S = \frac{a}{1 - r}} \qquad (|r| < 1)

r1|r| \ge 1이면 rnr^n이 사그라들지 않아 행선지가 없다 — 발산한다.

1/2 + 1/4 + 1/8 + ⋯ = 1 1/2 1/4 1/8 1/16 1
절반씩 채우면 정사각형이 가득 찬다 — 1/2 + 1/4 + 1/8 + ⋯ = 1.

0.999=10.999\ldots = 1

가장 유명한 무한등비급수는 소수점 아래 숨어 있다:

0.999=910+9100+91000+=9/1011/10=9/109/10=1.0.999\ldots = \frac{9}{10} + \frac{9}{100} + \frac{9}{1000} + \cdots = \frac{9/10}{1 - 1/10} = \frac{9/10}{9/10} = 1.

"거의 11"이 아니라 정확히 11이다 — 0.9990.999\ldots라는 기호 자체가 부분합의 행선지를 가리키기 때문이다. 둘이 다르다면 그 사이에 빈틈이 있어야 하는데, 차이는 어떤 양수보다도 작다 — 빈틈이 없다.

모든 순환소수가 같은 방식으로 분수가 된다:

예제

0.27=27100+271002+=27/10011/100=2799=311.0.\overline{27} = \frac{27}{100} + \frac{27}{100^2} + \cdots = \frac{27/100}{1 - 1/100} = \frac{27}{99} = \frac{3}{11}.

순환마디가 분자, 99가 마디 길이만큼 늘어선 수가 분모 — 유리수 단원에서 배웠던 "9999로 나누기" 규칙의 정체가 무한등비급수였다.

제논의 역설: 무한 개의 걸음, 유한한 거리

"방을 건너려면 먼저 절반을, 다시 남은 절반의 절반을, … 무한 번 걸어야 하니 영원히 도착 못 한다" — 제논의 역설이다. 급수가 답한다: 무한 개의 구간을 더해도

12+14+18+=1\frac12 + \frac14 + \frac18 + \cdots = 1

— 유한한 거리다. 걸음의 개수가 무한한 것과 거리·시간의 총량이 무한한 것은 다른 이야기이고, 역설은 그 둘을 섞은 데서 태어났다.

주의

S=a1rS = \dfrac{a}{1-r}의 조건 r<1|r| < 1은 공식의 장식이 아니라 일부다 — 1+2+4+1 + 2 + 4 + \cdots에 대입하면 112=1\frac{1}{1-2} = -1이라는 난센스가 나온다(양수만 더했는데 음수?). 공식을 쓰기 전에 반드시 공비부터 확인하라. 그리고 0.999=10.999\ldots = 1은 "다가간다"가 아니라 "같다"이다 — 기호가 가리키는 것이 행선지 그 자체이므로.

Goals
  • Define an infinite series' value as the destination of its partial sums, and derive S=a1rS = \dfrac{a}{1 - r} for r<1|r| < 1.
  • Read repeating decimals as infinite geometric series, converting them to fractions; prove 0.999=10.999\ldots = 1.
  • Apply series to Zeno's paradox and repeated figures (fractals).

What it means to add forever

1+12+14+18+1 + \dfrac12 + \dfrac14 + \dfrac18 + \cdots — the terms never end, so can a "sum" exist? The answer: watch where the partial sums are headed. Through nn terms,

Sn=1(1/2)n11/2=2(12)n1S_n = \frac{1 - (1/2)^n}{1 - 1/2} = 2 - \left(\frac12\right)^{n-1}

— the gap to 22 halves at each step, approaching 22 without bound. We say the series converges to 22 and write S=2S = 2.

In general, the only moving part of Sn=a(1rn)1rS_n = \dfrac{a(1 - r^n)}{1 - r} is rnr^n. When r<1|r| < 1, rnr^n dwindles to 00 (its magnitude shrinks by the factor r|r| each step, like 0.5,0.25,0.125,0.5, 0.25, 0.125, \dots), and the partial sums head to

S=a1r(r<1)\boxed{S = \frac{a}{1 - r}} \qquad (|r| < 1)

When r1|r| \ge 1, rnr^n never dwindles — no destination: the series diverges.

1/2 + 1/4 + 1/8 + ⋯ = 1 1/2 1/4 1/8 1/16 1
Filling by halves fills the whole square — 1/2 + 1/4 + 1/8 + ⋯ = 1.

0.999=10.999\ldots = 1

The most famous infinite geometric series hides behind a decimal point:

0.999=910+9100+91000+=9/1011/10=9/109/10=1.0.999\ldots = \frac{9}{10} + \frac{9}{100} + \frac{9}{1000} + \cdots = \frac{9/10}{1 - 1/10} = \frac{9/10}{9/10} = 1.

Not "almost 11" — exactly 11. The symbol 0.9990.999\ldots itself names the destination of the partial sums. Were the two different, a gap would separate them; but the difference is smaller than every positive number — there is no gap.

Every repeating decimal becomes a fraction the same way:

Example

0.27=27100+271002+=27/10011/100=2799=311.0.\overline{27} = \frac{27}{100} + \frac{27}{100^2} + \cdots = \frac{27/100}{1 - 1/100} = \frac{27}{99} = \frac{3}{11}.

Repeating block over as many 99s as its length — the "divide by 9999" rule from the rational numbers unit was an infinite geometric series all along.

Zeno's paradox: infinitely many steps, finite distance

"To cross a room you must first cross half, then half the remainder, and so on — infinitely many stages, so you never arrive." Zeno's paradox. The series answers: add the infinitely many stretches and

12+14+18+=1\frac12 + \frac14 + \frac18 + \cdots = 1

— a finite distance. An infinite count of steps and an infinite total of distance or time are different things; the paradox was born from conflating them.

Watch out

The condition r<1|r| < 1 on S=a1rS = \dfrac{a}{1-r} is not decoration but part of the formula — feed it 1+2+4+1 + 2 + 4 + \cdots and out comes the nonsense 112=1\frac{1}{1-2} = -1 (positives summing to a negative?). Check the ratio before every use. And 0.999=10.999\ldots = 1 says "equals," not "approaches" — the symbol names the destination itself.