Math Atlas

등차수열Arithmetic Sequences

Algebra 1Algebra 1 · 8. 지수함수와 수열 입문8. Exponential Functions & Sequences

학습 목표
  • 등차수열의 일반항 an=a1+(n1)da_n = a_1 + (n-1)d를 유도하고 쓴다 — (n1)(n-1)인 이유까지.
  • 등차수열이 "정수 눈금 위의 일차함수"임을 알고 그래프로 확인한다.
  • 짝짓기 논법으로 합 공식 Sn=n(a1+an)2S_n = \frac{n(a_1+a_n)}{2}을 증명하고 활용한다.

수를 줄 세우면

3,  7,  11,  15,  19,  3, \; 7, \; 11, \; 15, \; 19, \; \ldots

수를 순서대로 나열한 것을 수열, 나열된 각 수를 이라 한다. nn번째 항을 ana_n으로 쓴다 — a1=3a_1 = 3, a2=7a_2 = 7, a3=11a_3 = 11, … 위 수열에는 규칙이 보인다: 어느 이웃을 봐도 차가 44다.

정의등차수열

이웃한 두 항의 차 an+1ana_{n+1} - a_n이 일정한 수열. 그 일정한 차 dd공차라 한다.

지난 차시의 언어로 말하면 — 지수함수가 "같은 배를 곱하는" 변화였다면, 등차수열은 "같은 수를 더하는" 변화다. 곱하는 쪽 수열(등비수열)은 다음 차시에서 만난다.

일반항 — 100100번째 항을 덧셈 9999번 없이

a100a_{100}을 구하려고 44를 아흔아홉 번 더할 수는 없다. 구조를 보자: a2=a1+da_2 = a_1 + d, a3=a1+2da_3 = a_1 + 2d, a4=a1+3da_4 = a_1 + 3d, … — nn번째 항까지 가려면 dd를 몇 번 더하는가. 첫째 항에서 출발해 nn번째 항까지는 걸음이 n1n-1이다:

an=a1+(n1)da_n = a_1 + (n-1)d

주의

(n1)(n-1)이지 nn이 아니다. 기둥 55개를 세우면 기둥 사이44칸인 것과 같은 셈이다 — 항이 nn개면 이웃 간격은 n1n-1개. 이 "하나 차이"가 등차수열 오답의 최대 공급원이다.

위 수열이라면 an=3+(n1)4=4n1a_n = 3 + (n-1) \cdot 4 = 4n - 1이고, a100=399a_{100} = 399다. 정리된 꼴 4n14n - 1을 보라 — nn일차식이다. 우연이 아니다:

an=a1+(n1)d=dn+(a1d)a_n = a_1 + (n-1)d = dn + (a_1 - d)

— 기울기가 dd, 절편이 a1da_1 - d인 일차함수에 n=1,2,3,n = 1, 2, 3, \ldots만 넣은 것이다.

n O 1 2 3 4 5 6 4 8 12 16 20 +1 +4 an = 4n − 1
등차수열은 정수 눈금 위의 일차함수다 — 점들이 기울기 4인 직선 위에 놓인다

그래프의 점들이 정확히 한 직선 위에 놓인다. 공차 = 기울기 — 일차함수 단원과 이 단원이 같은 대상을 다른 옷으로 보고 있는 것이다.

합 — 가우스의 짝짓기

경시 도구상자에서 1+2++401 + 2 + \cdots + 40을 양 끝끼리 짝지어 계산했던 그 수법이, 모든 등차수열에 통하는 공식이 된다. 합을 두 번 쓰되 한 번은 거꾸로 쓰고, 세로로 더한다:

Sn=a1+a2++an1+anSn=an+an1++a2+a1\begin{aligned} S_n &= a_1 + a_2 + \cdots + a_{n-1} + a_n \\ S_n &= a_n + a_{n-1} + \cdots + a_2 + a_1 \end{aligned}

세로로 짝지어진 각 쌍의 합은 전부 같다 — 왼쪽이 dd만큼 커질 때 오른쪽이 dd만큼 작아져 상쇄되기 때문이다(a2+an1=(a1+d)+(and)=a1+ana_2 + a_{n-1} = (a_1 + d) + (a_n - d) = a_1 + a_n). 쌍이 nn개이므로

2Sn=n(a1+an)      Sn=n(a1+an)2  2S_n = n(a_1 + a_n) \implies \boxed{\;S_n = \frac{n(a_1 + a_n)}{2}\;}

말로 옮기면: (첫째항과 끝항의 평균) × (항의 개수). 1+2++100=1001012=50501 + 2 + \cdots + 100 = \frac{100 \cdot 101}{2} = 5050 — 가우스가 초등학생 때 순식간에 냈다는 그 답이다.

예제 — 항수를 먼저 세는 합

3+7+11++993 + 7 + 11 + \cdots + 99를 구하라.

풀이. 공식에 필요한 것은 셋: 첫째항 33, 끝항 9999, 그리고 항의 개수. 일반항 an=4n1=99a_n = 4n - 1 = 99에서 n=25n = 25 — 항이 2525개다. 따라서

S=25(3+99)2=251022=2551=1275.S = \frac{25(3 + 99)}{2} = \frac{25 \cdot 102}{2} = 25 \cdot 51 = 1275.

검산(짝짓기): 3+99=1023 + 99 = 102, 7+95=1027 + 95 = 102, … 쌍 1212개에 가운데 항 5151이 홀로 남는다 — 12102+51=127512 \cdot 102 + 51 = 1275 ✓. 합 문제의 관문은 공식이 아니라 항수 세기다.

어디에 쓰나

계단식으로 늘어나는 것 전부다. 극장 좌석이 첫 줄 2020석, 뒤로 갈수록 22석씩 늘며 1515줄이라면 — 마지막 줄은 a15=20+142=48a_{15} = 20 + 14 \cdot 2 = 48석, 전체는 S=15(20+48)2=510S = \frac{15(20+48)}{2} = 510석. 저금, 벽돌 쌓기, 도형 패턴의 개수 세기 — "매번 같은 만큼 늘어나는" 상황이면 이 두 공식이 곧 답이다.

문제 탭에는 일반항·합 기본기부터 두 항으로 수열 결정, 1+2++n=2101+2+\cdots+n = 210 역산, 등차 세 수 트릭, 그리고 a3+a8a_3 + a_8만으로 a1+a10a_1 + a_{10}을 아는 경시 문제까지 열세 문제가 있다.

Goals
  • Derive and use the general term an=a1+(n1)da_n = a_1 + (n-1)d — including why it is (n1)(n-1).
  • See an arithmetic sequence as a linear function sampled at integer ticks, and confirm it graphically.
  • Prove the sum formula Sn=n(a1+an)2S_n = \frac{n(a_1+a_n)}{2} by the pairing argument, and put it to work.

Numbers in a row

3,  7,  11,  15,  19,  3, \; 7, \; 11, \; 15, \; 19, \; \ldots

Numbers listed in order form a sequence; each listed number is a term. The nnth term is written ana_n — here a1=3a_1 = 3, a2=7a_2 = 7, a3=11a_3 = 11, and so on. This sequence has a visible rule: every pair of neighbors differs by 44.

DefinitionArithmetic sequence

A sequence in which the difference of neighboring terms, an+1ana_{n+1} - a_n, is constant. That constant difference dd is the common difference.

In last lesson's language: where the exponential function changed by "multiplying by the same factor," an arithmetic sequence changes by "adding the same amount." The multiplying kind of sequence — geometric — arrives next lesson.

The general term: the 100th term without 99 additions

Nobody wants to add 44 ninety-nine times to reach a100a_{100}. Look at the structure instead: a2=a1+da_2 = a_1 + d, a3=a1+2da_3 = a_1 + 2d, a4=a1+3da_4 = a_1 + 3d, … — how many dd's does the nnth term collect? From the first term to the nnth, there are n1n-1 steps:

an=a1+(n1)da_n = a_1 + (n-1)d

Watch out

It is (n1)(n-1), not nn. Five fence posts have only four gaps between them — likewise nn terms have n1n-1 neighbor-gaps. This off-by-one is the single largest supplier of wrong answers about arithmetic sequences.

For the sequence above, an=3+(n1)4=4n1a_n = 3 + (n-1) \cdot 4 = 4n - 1, so a100=399a_{100} = 399. And look at the tidied form 4n14n - 1 — it is linear in nn. No accident:

an=a1+(n1)d=dn+(a1d)a_n = a_1 + (n-1)d = dn + (a_1 - d)

— a linear function with slope dd and intercept a1da_1 - d, evaluated only at n=1,2,3,n = 1, 2, 3, \ldots

n O 1 2 3 4 5 6 4 8 12 16 20 +1 +4 an = 4n − 1
An arithmetic sequence is a linear function on integer ticks — the points sit on a line of slope 4

The plotted points land exactly on one line. Common difference = slope — the linear-functions unit and this one are looking at the same object in different clothes.

The sum: Gauss's pairing

The trick from the competition toolbox — pairing the ends of 1+2++401 + 2 + \cdots + 40 — becomes a formula that works for every arithmetic sequence. Write the sum twice, once reversed, and add column by column:

Sn=a1+a2++an1+anSn=an+an1++a2+a1\begin{aligned} S_n &= a_1 + a_2 + \cdots + a_{n-1} + a_n \\ S_n &= a_n + a_{n-1} + \cdots + a_2 + a_1 \end{aligned}

Every vertical pair has the same total — as the left entry grows by dd, the right one shrinks by dd, canceling exactly (a2+an1=(a1+d)+(and)=a1+ana_2 + a_{n-1} = (a_1 + d) + (a_n - d) = a_1 + a_n). With nn pairs,

2Sn=n(a1+an)      Sn=n(a1+an)2  2S_n = n(a_1 + a_n) \implies \boxed{\;S_n = \frac{n(a_1 + a_n)}{2}\;}

In words: (average of first and last) × (number of terms). So 1+2++100=1001012=50501 + 2 + \cdots + 100 = \frac{100 \cdot 101}{2} = 5050 — the answer the schoolboy Gauss famously produced in seconds.

Example — A sum that starts with counting

Compute 3+7+11++993 + 7 + 11 + \cdots + 99.

Solution. The formula needs three things: first term 33, last term 9999, and the number of terms. From an=4n1=99a_n = 4n - 1 = 99 we get n=25n = 25 — twenty-five terms. Hence

S=25(3+99)2=251022=2551=1275.S = \frac{25(3 + 99)}{2} = \frac{25 \cdot 102}{2} = 25 \cdot 51 = 1275.

Check by pairing: 3+99=1023 + 99 = 102, 7+95=1027 + 95 = 102, … — twelve pairs plus the lone middle term 5151, so 12102+51=127512 \cdot 102 + 51 = 1275 ✓. The gatekeeper in sum problems is not the formula but counting the terms.

Where it applies

Anything that grows in equal steps. A theater with 2020 seats in the first row, 22 more in each row behind, 1515 rows deep: the last row has a15=20+142=48a_{15} = 20 + 14 \cdot 2 = 48 seats, and the house holds S=15(20+48)2=510S = \frac{15(20+48)}{2} = 510. Savings plans, brick stacks, counting dots in figure patterns — wherever "the same amount more each time" holds, these two formulas are the answer.

The problems tab runs from general-term and sum basics through determining a sequence from two terms, solving 1+2++n=2101+2+\cdots+n = 210 backwards, the three-terms-in-arithmetic trick, and a contest problem that reads a1+a10a_1 + a_{10} straight off a3+a8a_3 + a_8 — thirteen problems.