들어가며
삼각형 넓이는 밑변 곱하기 높이 나누기 둘, 원 넓이는 반지름을 두 번 곱하고 원주율을 곱합니다. 이렇게 익숙한 도형은 넓이 공식을 외워 두면 됩니다. 그런데 곡선이 이리저리 휘어 만든 울퉁불퉁한 넓이는, 외워 둔 공식이 하나도 없습니다.
그럼 곡선 아래 넓이는 어떻게 재야 할까요? 옛사람들의 답은 뜻밖에 소박했습니다 — 잴 수 없으면 잴 수 있는 것으로 채우자. 곡선 아래 공간을 아주 얇은 직사각형 여러 개로 빽빽이 채우고, 그 직사각형들의 넓이를 전부 더하는 것입니다. 직사각형 넓이는 가로 곱하기 세로니까 얼마든지 잴 수 있으니까요.
이 소박한 아이디어 하나가 자라나 정적분이 되었습니다. 이 글은 그 탄생 과정을 세 걸음으로 따라갑니다. 잘게 쪼갠 직사각형으로 넓이를 근사하고, 조각을 무한히 잘게 쪼개 오차를 몰아내고, 그 무한한 합이 길쭉한 S 모양 기호로 굳는 순간까지.
1걸음 — 곡선 아래를 직사각형으로 채운다
직사각형 하나로는 휜 곡선 아래를 정확히 채울 수 없습니다. 직사각형의 평평한 윗변이 곡선을 삐죽 넘거나 못 미치기 때문이죠. 하지만 조각을 여러 개로 늘리면 이야기가 달라집니다.
구간을 \(n\)개로 똑같이 나눠, 각 조각 위에 그 폭만큼의 직사각형을 세운다고 합시다. 여기서 \(n\)은 "몇 개로 쪼갰나"를 뜻하는 조각의 개수입니다. 각 직사각형의 가로는 구간 폭을 \(n\)으로 나눈 아주 짧은 길이인데, 이것을 \(\Delta x\)라고 씁니다. \(\Delta\)(델타)는 "조금 변한 양"을 뜻하는 기호라, \(\Delta x\)는 "\(x\) 방향으로의 작은 폭"을 읽으면 됩니다. 세로는 그 자리에서의 함숫값, 즉 곡선의 높이 \(f(x)\)입니다.
그러면 직사각형 하나의 넓이는 가로 곱하기 세로, 즉 \(f(x)\,\Delta x\)입니다. 이걸 \(n\)개 전부 더한 것이 곡선 아래 넓이의 근삿값입니다.
$$S_n = f(x_1)\,\Delta x + f(x_2)\,\Delta x + \cdots + f(x_n)\,\Delta x$$이렇게 잘게 쪼개 재는 방법을 구분구적법(區分求積法)이라 부릅니다. 말 그대로 "구간을 나눠(구분) 넓이를 구한다(구적)"는 뜻입니다.
2걸음 — 답을 아는 쉬운 예로 확인하기
이 방법이 정말 참넓이에 다가가는지, 답을 이미 아는 예로 확인해 봅시다. 곡선 대신 직선 \(y = x\)를 \(x = 0\)부터 \(x = 1\)까지 봅니다. 이 선 아래는 밑변 \(1\), 높이 \(1\)인 직각삼각형이니 넓이는 눈 감고도 압니다.
$$\text{참넓이} = \frac{1}{2}\times 1 \times 1 = \frac{1}{2}$$이제 이 삼각형을 모른 척하고, 직사각형으로 채워 재 봅시다. \([0,1]\)을 \(n\)조각으로 나누면 각 직사각형의 가로는 \(\Delta x = \dfrac{1}{n}\)입니다. \(k\)번째 조각의 오른쪽 끝은 \(x_k = \dfrac{k}{n}\)이고, 직선의 높이는 그대로 \(f(x_k) = \dfrac{k}{n}\)입니다. 그러니 직사각형 넓이의 합은
$$S_n = \sum_{k=1}^{n} \frac{k}{n}\cdot\frac{1}{n} = \frac{1}{n^{2}}\left(1 + 2 + \cdots + n\right).$$여기서 \(\sum\)(시그마)은 "여러 개를 죽 더하라"는 뜻의 그리스 문자로, 지금은 \(k\)를 \(1\)부터 \(n\)까지 바꿔 가며 다 더하라는 표시입니다. 그리고 \(1\)부터 \(n\)까지의 합은 잘 알려진 공식으로 \(1 + 2 + \cdots + n = \dfrac{n(n+1)}{2}\)이죠. 이걸 넣으면
$$S_n = \frac{1}{n^{2}}\cdot\frac{n(n+1)}{2} = \frac{n+1}{2n} = \frac{1}{2} + \frac{1}{2n}.$$식이 아주 깔끔하게 정리됐습니다. 직사각형 합은 참넓이 \(\dfrac{1}{2}\)에, 군더더기 \(\dfrac{1}{2n}\)이 하나 붙은 모양입니다. 이 군더더기가 바로 직사각형이 삼각형 위로 삐져나온 오차입니다. 실제 값을 넣어 보면 뜻이 선명해집니다.
| 조각 수 \(n\) | 직사각형 합 \(S_n\) | 참넓이와의 오차 |
|---|---|---|
| \(4\) | \(0.625\) | \(0.125\) |
| \(10\) | \(0.55\) | \(0.05\) |
| \(100\) | \(0.505\) | \(0.005\) |
| \(1000\) | \(0.5005\) | \(0.0005\) |
조각을 잘게 쪼갤수록 오차 \(\dfrac{1}{2n}\)이 착실히 작아집니다. 조각이 얇아질수록 직사각형이 곡선을 넘어 삐져나오는 뾰족한 톱니가 점점 납작해지기 때문입니다.
3걸음 — 오차를 0으로 몰아붙이면 정확해진다
오차가 작아지기만 하는 게 아니라, 조각을 무한히 잘게 쪼개면 오차를 \(0\)까지 몰아붙일 수 있습니다. 이 "무한히 다가감"을 다루는 것이 극한이죠.
$$\lim_{n\to\infty} S_n = \lim_{n\to\infty}\left(\frac{1}{2} + \frac{1}{2n}\right) = \frac{1}{2}.$$여기서 \(\lim\)(리미트)은 "이 값에 한없이 가까워진다"는 뜻이고, \(n\to\infty\)는 "조각 수를 끝없이 늘린다"는 뜻입니다. 조각을 늘릴수록 \(\dfrac{1}{2n}\)은 \(0\)에 가까워지니, 직사각형 합은 정확히 \(\dfrac{1}{2}\)에 수렴합니다. 삼각형 공식이 알려 준 답과 완벽히 같죠.
핵심은 이겁니다. 어떤 근삿값도 오차를 \(0\)으로 몰아붙일 수 있으면, 그 극한값은 더 이상 근삿값이 아니라 정확한 참값이 됩니다. 직사각형으로 재는 방법은 늘 오차를 품지만, 그 오차를 무한 분할로 완전히 지워 낸 극한이 바로 곡선 아래의 참넓이입니다.
이 극한값 — 무한히 얇은 조각의 무한한 합 — 이 바로 정적분입니다.
시그마가 길쭉한 S로 굳는 순간
이제 기호의 탄생을 볼 차례입니다. 우리가 다룬 근삿값은 이런 모양이었습니다.
$$S_n = \sum_{k=1}^{n} f(x_k)\,\Delta x.$$여기에 무한 분할의 극한을 씌우면 두 가지가 동시에 변합니다.
- 더하는 개수가 무한이 됩니다. 유한한 개수를 더하던 \(\sum\)으로는 이 무한한 합을 담을 수 없어, 새 기호가 필요해집니다.
- 조각의 폭이 무한히 작아집니다. 유한한 폭 \(\Delta x\)가 무한히 얇은 폭으로 줄어드는데, 이 무한소 폭을 \(dx\)라고 씁니다.
그래서 수학자 라이프니츠는 "합"을 뜻하는 라틴어 summa의 첫 글자 S를 길쭉하게 늘여 새 기호를 만들었습니다. 그것이 바로 적분 기호 \(\int\)입니다. 더하기를 뜻하던 그리스 문자 시그마가, 무한히 얇은 조각의 합을 뜻하는 길쭉한 S로 화석처럼 굳은 것이죠.
$$\sum_{k=1}^{n} f(x_k)\,\Delta x \quad\xrightarrow{\;n\to\infty\;}\quad \int_{a}^{b} f(x)\,dx$$기호 하나하나가 근삿값 시절의 흔적을 그대로 간직하고 있습니다.
| 근삿값(유한) | 정적분(무한) | 뜻 |
|---|---|---|
| \(\sum\) | \(\int\) | 죽 더한다 (합) |
| \(\Delta x\) | \(dx\) | 조각의 폭 — 유한 → 무한히 작음 |
| \(f(x_k)\) | \(f(x)\) | 그 자리의 높이 |
| \(k=1 \sim n\) | \(a \sim b\) | 더하는 구간 |
그러니 \(\displaystyle\int_{0}^{1} x\,dx = \dfrac{1}{2}\)이라는 식은, "직선 \(y=x\) 아래를 \(0\)부터 \(1\)까지 무한히 얇은 조각으로 채워 다 더하면 \(\dfrac{1}{2}\)"이라는 우리 계산을 기호로 압축한 것에 지나지 않습니다.
한 그림으로: 조각을 쪼갤수록 참넓이로
아래 인터랙티브는 직선 \(y = x\) 아래 \([0,1]\) 삼각형을 직사각형으로 채워 재 보는 화면입니다.
- 조각 수 슬라이더를 늘리면 직사각형이 얇아지면서, 곡선 위로 삐져나온 빨간 톱니(오차)가 점점 납작해집니다.
- 위쪽 값에서 직사각형 합이 참넓이 \(0.5\)에 점점 가까워지는 걸 확인하세요. 표시된 오차는 정확히 \(\dfrac{1}{2n}\)입니다.
- 슬라이더를 끝까지 밀면 \(\sum\)이 \(\int\)로, \(\Delta x\)가 \(dx\)로 바뀌는 기호 변신이 함께 나타납니다 — 무한 분할이 정적분을 낳는 순간입니다.
조각 수를 \(4 \to 10 \to 100\)으로 올리며 합이 \(0.625 \to 0.55 \to 0.505\)로 좁혀지는 걸 보면, "무한히 쪼개면 정확해진다"는 말이 손에 잡힙니다. 그 무한한 합에 붙인 이름과 기호가 정적분인 것이죠.
핵심 정리
| 질문 | 답 |
|---|---|
| 곡선 아래 넓이는 왜 공식이 없나 | 삼각형·원과 달리 휜 넓이엔 외워 둔 공식이 없어, 잴 수 있는 직사각형으로 채워 잰다 |
| 직사각형 합은 왜 근삿값인가 | 평평한 윗변이 곡선을 넘거나 못 미쳐 오차가 생김 — 우리 예에선 오차가 \(\dfrac{1}{2n}\) |
| 어떻게 정확해지나 | 조각을 무한히 쪼개(\(n\to\infty\)) 오차를 \(0\)으로 몰아붙인 극한이 참넓이 |
| \(\int\)은 어디서 왔나 | "합"을 뜻하는 라틴어 summa의 S를 길쭉하게 늘인 것 — 시그마의 무한판 |
| \(dx\)는 무엇인가 | 유한한 조각 폭 \(\Delta x\)가 무한히 작아진 것 |
한 줄로 관통하면 — 곡선 아래를 얇은 직사각형으로 채워 더하면 근삿값, 그 조각을 무한히 쪼개 오차를 \(0\)으로 몰아붙인 극한이 참넓이이고, 그 무한한 합에 붙인 기호가 바로 길쭉한 S 모양 정적분이다.
AI로 이런 걸 공부할 때
정적분을 "그냥 넓이 구하는 공식"으로만 외우면, 왜 하필 그 기호이고 왜 극한이 필요한지가 흐려집니다. AI에게 물을 때는 **"직사각형으로 근사한 뒤 무한히 쪼개는 과정"**을 짚어 달라고 하면 기호의 뜻이 저절로 따라옵니다.
유용한 질문 예시:
- "직선 \(y=x\) 아래 \([0,1]\) 넓이를 직사각형 \(n\)개로 근사해 합을 세우고, \(n\to\infty\) 극한이 \(\dfrac{1}{2}\)이 되는 과정을 한 단계씩 보여 줘."
- "적분 기호 \(\int\)와 \(dx\)가 각각 \(\sum\)과 \(\Delta x\)에서 어떻게 유래했는지 설명해 줘."
- "\(y=x^{2}\)를 \([0,1]\)에서 직사각형으로 근사하면 합이 어떤 식이 되고, 극한이 \(\dfrac{1}{3}\)로 가는지 계산해 줘."
마치며
정적분 기호를 처음 보면 낯선 문양처럼 느껴집니다. 하지만 그 길쭉한 S는 사실 "죽 더한다"는 아주 소박한 동작의 화석입니다. 곡선 아래를 잴 수 없어 잴 수 있는 직사각형으로 채웠고, 그 근삿값의 오차를 무한 분할로 지워 냈으며, 무한히 많아진 합을 담을 새 기호가 필요해 시그마를 길쭉하게 늘인 것 — 이 세 걸음이 정적분의 탄생 전부입니다.
조각을 쪼갤수록 직사각형 합이 참넓이로 좁혀지는 그림 한 장을 손에 쥐면, \(\int\)은 외워야 할 기호가 아니라 "무한히 얇은 조각을 다 더한다"는 뜻이 눈에 보이는 그림 기호로 다가옵니다.
함께 보면 좋은 글 — 먼저 읽으면 좋은 글: 미분은 왜 순간 기울기인가 → 이어서: 적분은 왜 미분의 반대인가 · 적분엔 왜 +C가 따라붙나 · 직접 그려보기: Desmos · Wolfram Alpha