MathIsland
← MathIsland 실험실 목록
∫ₐᵇ리만 적분 실험실

곡선 아래 넓이는 어떻게 정확히 잴 수 있을까요? 자로도, 외운 공식으로도 안 됩니다.

적분은 원시함수의 반대 계산이 아니다. 위에서 누르는 상합과 아래서 받치는 하합이 같은 값으로 조여들 때, 그 사이에 낀 값이 넓이다.

Experiment

직접 만져보기

곡선 아래 넓이는 어떻게 정확히 잴까요? 자로 잴 수도, 공식을 외울 수도 없습니다. 대신 직사각형으로 위아래에서 조여봅시다. 무대는 f(x)=x², 구간 [0, 1]이에요. 참값 넓이는 1/3입니다.

🔮 예측 먼저 — 직사각형을 무한히 잘게 늘리면, 위에서 누르는 상합과 아래서 받치는 하합은 어떻게 될까요?

📖 더 읽기 — 왜 필요한가 · 인사이트 · 흔한 오해 · 수식 정리펼치기 ▾

Why

왜 필요한가

'곡선 아래 넓이'라는 말은 오래전부터 있었지만, 그 넓이가 정확히 무엇인지는 흐릿했습니다. 직사각형이나 삼각형의 넓이는 공식이 있지만, 굽은 경계로 둘러싸인 넓이에는 잴 자가 없었어요.

뉴턴과 라이프니츠는 원시함수 F(x)로 넓이를 계산했습니다. 하지만 그것은 계산법이지 정의가 아니었어요. '넓이란 무엇인가'라는 물음에는 답하지 못했습니다. 계산이 맞는 이유를 아무도 엄밀하게 말하지 못한 거죠.

리만이 준 답이 조임입니다. 직사각형으로 위에서 누르고 아래서 받쳐, 두 합이 같은 값으로 조여드는 순간 그 값을 넓이라 부릅니다. 이 정의는 F(x) 없이도 넓이를 세우고, 동시에 어떤 함수는 넓이를 갖지 못함까지 정확히 밝혀냈어요.

Insight

영상에서 말한 인사이트

적분은 원시함수의 반대 계산이 아니라, 넓이의 조임이다.

고등학교에서는 ∫를 '미분을 거꾸로'로 배웁니다. 대학에서는 순서가 뒤집혀요. 먼저 상합과 하합의 조임으로 넓이를 정의하고, 원시함수와의 연결은 나중에 기본정리로 증명합니다. 정의가 먼저, 계산법은 나중입니다.

모든 함수가 넓이를 갖는 것은 아니다.

직관은 '곡선이 있으면 그 아래 넓이도 있다'고 속삭입니다. 디리클레 함수가 그 직관을 무너뜨려요. 조임이 성립하는 함수만 넓이를 갖습니다. 적분 가능성은 함수가 통과해야 할 자격 심사예요.

Misconception

사람들이 흔히 하는 오해

적분은 부정적분(원시함수 찾기)과 같은 것이다.

실험에서 우리는 F(x)를 한 번도 찾지 않고 넓이를 정했습니다. 적분의 정의는 넓이의 조임이에요. 원시함수와의 연결은 별개의 정리(미적분의 기본정리)입니다. 리만은 F(x) 없이도 넓이를 정의했어요.

모든 함수는 넓이(적분값)를 갖는다.

디리클레 함수가 반례입니다. 유리수에서 1, 무리수에서 0이라 모든 소구간에 1과 0이 함께 살아요. 상합은 늘 1, 하합은 늘 0이라 간격이 0으로 가지 않습니다. 그래서 리만 적분이 불가능해요.

Formula

수식으로 정리하기

조이기 게임에서 몸으로 겪은 것을 수학의 언어로 옮기면 이렇습니다.

🔬 정의 해부 — 1·2단계에서 조여본 것과 짝짓기

∫ₐᵇ f dx = ·

상합과 하합 (x², [0,1] 검산)

1단계 슬라이더가 보여준 두 수입니다. n=2면 U=0.625, L=0.125. n을 키우면 둘 다 1/3으로 조여들어요.

조임으로 정의한 넓이

위에서 누르는 상합과 아래서 받치는 하합이 같은 극한 1/3에 도달합니다. 그 하나의 값이 정적분이에요.

간격이 0으로 가는 이유

x²는 증가함수라 소구간마다 (최댓값−최솟값)이 상쇄되어 간격이 정확히 1/n입니다. 0으로 가면 낄 값은 하나뿐이에요.

리만 적분의 일반 정의

분할 P를 한없이 잘게 할 때 상합과 하합이 같은 값이 되면, 그 값을 적분이라 합니다. 두 값이 다르면 적분은 정의되지 않아요.

In Real Life

현실에서 만나는 곳

컴퓨터가 넓이를 구하는 법

손으로 못 푸는 적분도 컴퓨터는 넓이를 조여서 구합니다. 사다리꼴 공식과 심프슨 공식이 바로 이 상합·하합 조이기의 실전판이에요. 수치적분은 리만의 정의를 코드로 옮긴 것입니다.

확률의 연속 분포

키나 몸무게처럼 연속으로 퍼진 값의 확률은 곡선(확률밀도함수) 아래 넓이로 정의됩니다. 특정 구간에 속할 확률이 곧 그 구간 위 넓이, 즉 적분이에요. 넓이가 확률입니다.

원주율을 조여서 구하기

사분원 y=√(1−x²) 아래 넓이는 π/4입니다. 직사각형으로 위아래에서 조이면 π가 결정론적으로 좁혀져요. 무작위로 점을 찍는 몬테카를로와 달리, 흔들림 없이 조이는 방법입니다.

리만이 던진 질문, 르베그의 대답

'어떤 함수가 넓이를 갖는가'라는 리만의 물음은 20세기 르베그 적분으로 이어졌습니다. 디리클레 함수처럼 리만이 놓친 함수까지 넓이를 갖게 만든, 적분의 확장판이에요.

Practice

풀어보기 — 유형 정복

정복 0 / 4
1

f(x)=x², 구간 [0,1]을 2등분했습니다. 상합 U(2)의 값은? (소수로, 또는 5/8)

2

f(x)=x², [0,1]에서 상합과 하합의 간격 U(n)−L(n)이 n을 키우면 0으로 가는 이유는?

3

리만 적분에서 '적분의 정의'는 무엇인가요?

4

디리클레 함수(유리수에서 1, 무리수에서 0)가 리만 적분 불가능한 이유는?

Watch

관련 유튜브 영상

넓이는 어떻게 정의하는가 — 리만 적분영상 링크가 곧 연결될 예정입니다유튜브 채널 먼저 둘러보기 →

Connection

개념은 이어진다

이전 개념

f′(a)

미분가능성

확대로 매끈함을 봤다면, 이제 반대 방향 — 잘게 쪼개 쌓는 조임이다.

← 미분가능성 실험실

다음 개념으로 연결

F′=f

미적분의 기본정리

넓이의 조임(적분)과 접선의 극한(미분)이 서로의 역이라는 놀라운 정리로.

미적분의 기본정리 실험실로 이동 →

Related

함께 보면 좋은 실험실

관련 실험실

적분

직관 버전 — 쌓임과 누적으로 적분을 처음 만나는 곳.

적분 실험실로 이동 →

관련 실험실

lim

극한

상합과 하합이 만나는 그 지점이 곧 극한이다.

극한 실험실로 이동 →