들어가며
수학을 배우다 보면 이런 숫자가 갑자기 등장합니다.
$$e \approx 2.71828182845904\ldots$$왜 하필 이 수인 걸까요? \(\pi = 3.14159\ldots\)처럼 원의 둘레 같은 기하학적 이유가 있는 것도 아니고, 교재에서는 그냥 "자연상수"라고 소개하고 넘어갑니다.
한 줄로 먼저 답하면 — \(e\)는 미분해도 모양이 전혀 변하지 않는 유일한 지수함수 \(e^x\)의 밑입니다.
조금 풀어 보겠습니다. "미분한다"는 건 그래프의 기울기(접선이 얼마나 가파른지)를 구한다는 뜻입니다(왜 그런지는 미분은 왜 '순간 기울기'인가에서 다뤘습니다). 그런데 지수함수 \(a^x\)는 신기한 성질이 있습니다 — 미분하면 원래 함수에 어떤 상수 하나를 곱한 모양으로 되돌아옵니다.
$$\frac{d}{dx}\,a^x = (\text{어떤 배율}) \times a^x$$이 "배율"은 밑 \(a\)가 무엇이냐에 따라 정해집니다(밑이 2면 약 0.69, 3이면 약 1.10). 그런데 이 배율이 정확히 1이 되는 밑이 딱 하나 있습니다. 그게 바로 \(e \approx 2.718\)입니다. 배율이 1이면 곱해도 그대로이므로, \(e^x\)는 미분해도 \(e^x\) 자기 자신이 됩니다.
이 "배율"의 정식 이름이 자연로그 \(\ln a\) (밑이 \(e\)인 로그)입니다. 지금은 "밑마다 정해지는 어떤 배율"이라고만 알아두면 충분하고, 그 값이 왜 \(\ln a\)인지는 본문에서 숫자로 직접 확인합니다.
이 글에서는 이 이유를 미분의 정의에서 한 단계도 건너뛰지 않고 유도하겠습니다.
왜 이게 중요한가
"자기 자신이 도함수"라는 것이 왜 특별할까요?
열이 퍼지는 속도, 방사성 원소가 붕괴하는 속도, 인구가 증가하는 속도 — 자연에서 "현재 양에 비례해서 변화하는" 현상은 모두 한 가지 방정식을 만족합니다.
$$\frac{dy}{dt} = k \cdot y$$"변화 속도가 현재 값의 \(k\)배." 이 방정식의 해가 \(y = Ce^{kt}\)입니다. \(e^x\)의 도함수가 다시 \(e^x\) 자신이기 때문에, 이 방정식을 푸는 함수가 정확히 \(e^{kt}\)가 되는 것입니다. \(e\)가 없다면 자연 현상을 기술하는 가장 기본적인 방정식을 풀 수 없습니다.
1단계 — \(a^x\)를 미분의 정의로 접근하기
미분의 정의를 씁니다. \(f(x) = a^x\)일 때:
$$f'(x) = \lim_{h \to 0} \frac{a^{x+h} - a^x}{h}$$분자에서 \(a^{x+h} = a^x \cdot a^h\)를 이용해 \(a^x\)를 묶습니다.
$$f'(x) = \lim_{h \to 0} \frac{a^x \cdot a^h - a^x}{h} = a^x \cdot \lim_{h \to 0} \frac{a^h - 1}{h}$$\(a^x\)는 \(h\)와 무관하므로 극한 밖으로 꺼낼 수 있습니다. 이제 남은 극한은:
$$\lim_{h \to 0} \frac{a^h - 1}{h}$$이 값이 무엇인지가 핵심입니다.
2단계 — 남은 극한의 정체
1단계에서 \(a^x\)를 밖으로 빼고 남은 이 극한,
$$\lim_{h \to 0}\frac{a^h-1}{h}$$이 값의 정체가 전부를 결정합니다. 밑 \(a\)마다 값이 정해지므로 \(L(a)\)라고 이름 붙이겠습니다.
먼저 이 식이 뜻하는 바를 말로 풀어 봅시다. \(a^0 = 1\)이므로, 분자 \(a^h - 1\)은 "\(x\)를 0에서 \(h\)만큼 옮겼을 때 함숫값이 (1에서) 얼마나 변했는가"라는 세로 변화량입니다. 이걸 옮긴 거리 \(h\)로 나누면 그 짧은 구간의 평균 기울기가 되고, \(h \to 0\)으로 보내면 \(x = 0\)에서의 순간 기울기가 됩니다. 즉:
\(L(a)\)는 곡선 \(y = a^x\)가 높이 1을 지나는 순간(\(x = 0\))의 기울기다.
이렇게 보면 1단계 결과 \(f'(x) = a^x \cdot L(a)\)의 의미도 분명해집니다 — 어느 위치에서의 기울기든 "출발 기울기 \(L(a)\) × 그 지점의 높이 \(a^x\)"라는 뜻이죠. (이 글의 인터랙티브에서 \(x = 0\) 접선의 기울기로 보이는 값이 바로 이 \(L(a)\)입니다.)
이제 몇 가지 \(a\)로 직접 숫자를 넣어 \(L(a)\)를 구해 보면 규칙이 보입니다.
| \(a\) | \(L(a)\) (위 극한값) | 참고 |
|---|---|---|
| 2 | \(\approx 0.693\) | \(= \ln 2\) |
| 3 | \(\approx 1.099\) | \(= \ln 3\) |
| 4 | \(\approx 1.386\) | \(= \ln 4\) |
| ? | 1.000 | 원하는 값 |
규칙이 보이시나요? 표의 \(L(a)\) 값들(0.693, 1.099, 1.386…)은 바로 그 \(a\)의 자연로그 \(\ln a\) 와 정확히 같습니다.
그런데 왜 하필 로그가 튀어나올까요? 표에 단서가 있습니다. \(L(4) = 1.386\)은 정확히 \(L(2) = 0.693\)의 2배입니다. 우연이 아닙니다 — \(4 = 2 \times 2\)이고, \(L\)에는 이런 성질이 있기 때문입니다.
$$L(a \times b) = L(a) + L(b)$$즉 \(L\)은 곱셈을 덧셈으로 바꿔 줍니다. 그런데 곱셈을 덧셈으로 바꾸는 함수가 바로 로그입니다(왜 그런지는 로그는 왜 곱셈을 덧셈으로 바꿀까에서 다뤘습니다). 그러니 \(L(a)\)는 어떤 로그일 수밖에 없습니다. 남은 질문은 "밑이 무엇이냐"뿐인데 — 로그는 자기 밑에서 값이 1이 됩니다(\(\log_b b = 1\)). 그래서 \(L(a) = 1\)을 만드는 그 밑을 우리는 \(e\)라고 이름 붙이고, 그러면 \(L(a) = \log_e a = \ln a\)가 됩니다.
이것이 자연로그 \(\ln a\)입니다 — "밑이 \(e\)인 로그", 즉 \(e\)를 몇 제곱해야 \(a\)가 되는지를 나타내는 값이죠(예: \(\ln 2 \approx 0.693\)은 \(e^{0.693} \approx 2\)라는 뜻). 엄밀히 증명하려면 자연로그의 정의가 필요한데, 사실 많은 교재에서는 이 극한 자체를 \(\ln a\)의 정의로 삼기도 합니다 — 방향을 거꾸로 놓는 셈이죠.
결국:
$$\frac{d}{dx} a^x = a^x \cdot \ln a$$3단계 — 왜 e인가
위 결과에서 도함수가 원래 함수와 같으려면:
$$a^x \cdot \ln a = a^x$$양변을 \(a^x\)로 나누면 (\(a^x > 0\)이므로):
$$\ln a = 1$$이 방정식을 \(a\)에 대해 풀면:
$$a = e^1 = e$$이것이 \(e\)의 정의입니다. \(e\)는 \(\ln a = 1\)을 만족하는 유일한 양수, 즉 자연로그가 1인 수입니다.
정리하면:
$$\frac{d}{dx} e^x = e^x \cdot \underbrace{\ln e}_{=\,1} = e^x$$\(e^x\)를 미분하면 \(e^x\)가 나옵니다. 어떤 다른 밑을 써도 이렇게 될 수 없습니다.
다른 밑과의 비교
\(a = 2\)이면 어떨까요?
$$\frac{d}{dx} 2^x = 2^x \cdot \ln 2 \approx 2^x \cdot 0.693$$도함수가 원래 함수의 약 69.3%밖에 안 됩니다. 기울기가 값보다 항상 작습니다.
\(a = 3\)이면:
$$\frac{d}{dx} 3^x = 3^x \cdot \ln 3 \approx 3^x \cdot 1.099$$도함수가 원래 함수의 109.9%, 즉 기울기가 값보다 큽니다.
\(a = e\)일 때만 비율이 정확히 100%가 됩니다.
직접 찾아보기
아래 인터랙티브에서 슬라이더로 밑 \(a\)를 바꿔 보세요. 파란 곡선이 \(a^x\)이고, 주황 직선이 \(x = 0\)에서의 접선입니다. 접선의 기울기가 함숫값(항상 1)과 일치하는 순간을 직접 찾아보세요.
프리셋 "a = e ≈ 2.718"을 누르면 접선이 초록으로 바뀌고 "기울기 = 함숫값 ✓"가 뜹니다. \(a = 2\)이면 기울기가 69.3%로 짧고, \(a = 3\)이면 109.9%로 깁니다.
보너스 — 복리로 찾아가는 e
\(e\)에 접근하는 또 다른 경로가 있습니다. 연이율 100%를 \(n\)번 복리로 나눠 적용하면:
$$\left(1 + \frac{1}{n}\right)^n$$| \(n\) | 결과 |
|---|---|
| 1 (연 1회) | \(2.000\) |
| 2 (반기) | \(2.250\) |
| 4 (분기) | \(2.441\) |
| 12 (월) | \(2.613\) |
| 365 (일) | \(2.7146\ldots\) |
| \(\infty\) | \(e = 2.71828\ldots\) |
이 정의는 미분과는 전혀 다른 출발점처럼 보이지만, 두 정의가 같은 수를 가리킨다는 것이 수학적으로 증명됩니다. 복리 이자라는 경제 개념에서 출발해도, 미분에서 출발해도, 같은 \(e\)에 도달합니다.
핵심 정리
| 질문 | 답 |
|---|---|
| \(a^x\)의 도함수는? | \(a^x \cdot \ln a\) |
| 도함수 = 원래 함수가 되려면? | \(\ln a = 1\), 즉 \(a = e\) |
| \(e\)의 값은? | \(e \approx 2.71828\ldots\) |
| 왜 중요한가? | \(\frac{dy}{dt} = ky\) 꼴 방정식의 해가 \(e^{kt}\) |
\(e\)는 자연이 만든 수가 아니라 "미분해도 변하지 않는 함수"를 원할 때 논리적으로 필연적으로 도달하는 수입니다.
AI로 이런 걸 공부할 때
\(e\)의 정의와 성질은 AI가 잘 설명합니다. 다만 유도 과정에서 "자명하다"고 건너뛰는 단계가 생길 수 있으니, 막히는 부분은 구체적으로 물어보세요.
유용한 질문 예시:
- "\(h \to 0\)일 때 \((a^h-1)/h\)의 극한이 왜 \(\ln a\)가 되는지 엄밀하게 보여줘."
- "자연로그 \(\ln x\)를 미분하면 \(1/x\)가 나오는 이유는?"
- "\(e^x\)를 테일러 급수로 전개해 줘."
마치며
\(e = 2.718\ldots\)은 임의로 정한 수가 아닙니다. 도함수 = 함수 자신이라는 조건에서 논리적으로 결정됩니다. 그리고 자연에서 "비율에 비례하는 변화"가 이 조건을 정확히 요구하기 때문에, \(e\)는 물리·생물·경제 어디에나 등장합니다.
함께 보면 좋은 글 — 먼저 읽으면 좋은 글: 미분은 왜 '순간 기울기'인가 → 이어서: 로그는 왜 곱셈을 덧셈으로 바꿀까 · 아크탄젠트는 왜 붙을까 · 그래프 직접 그려보기: Desmos · Wolfram Alpha