🎯 [1단계: 출제의도] 로그·지수 결합 함수 \(f(x) = \ln(e^{-x} + e^x)\)의 우함수 대칭성과 단조증가 성질을 증명하고, 곱의 미분법의 역연산 \(\bigl(xf(x)\bigr)' = xf'(x)+f(x)\) 및 정적분 구간 분할·조임정리(샌드위치 정리)를 통해 \(\lim_{n\to\infty} n\int_0^1 x^{n-1}f(x)dx = f(1)\)을 엄밀히 논증하는 능력을 평가합니다.
🔑 [2단계: 조건 번역 및 핵심 발상] \(f(x) = \ln(1+e^{2x}) - \ln(e^x) = \ln(e^{-x}+e^x)\)이므로 우함수입니다. 또한 \(x f'(x) + f(x) = \bigl(x f(x)\bigr)'\)이고, \(\lim_{n\to\infty} n I_n\)은 부분적분 \(n I_n = \bigl[x^n f(x)\bigr]_0^1 - \int_0^1 x^n f'(x)\,dx\)를 쓰면 단번에 풀립니다!
[1단계] 우함수 대칭성 증명 및 정적분 계산 (12점)
임의의 실수 \(x\)에 대하여
\[ f(-x) = \ln(1 + e^{-2x}) - (-x) = \ln\!\left(\frac{e^{2x} + 1}{e^{2x}}\right) + x = \ln(1 + e^{2x}) - \ln(e^{2x}) + x = \ln(1 + e^{2x}) - 2x + x = f(x) \]
이므로 \(f(-x) = f(x)\)가 성립한다 (우함수).
한편 곱의 미분법에 의하여 \(\dfrac{d}{dx}\bigl(x f(x)\bigr) = f(x) + x f'(x)\)이므로
\[ \int_{-1}^{1} \bigl(x f'(x) + f(x)\bigr)\,dx = \Bigl[x f(x)\Bigr]_{-1}^{1} = 1 \cdot f(1) - (-1) \cdot f(-1) = 2f(1) \]
\(f(1) = \ln(1 + e^2) - 1\)이므로 구하는 정적분의 값은 \(2\ln(1 + e^2) - 2\)이다.
[2단계] 구간 \([0, 1]\)에서의 단조증가성 증명 (8점)
\(f(x) = \ln(1 + e^{2x}) - x\)를 미분하면
\[ f'(x) = \frac{2e^{2x}}{1 + e^{2x}} - 1 = \frac{e^{2x} - 1}{e^{2x} + 1} \]
\(x \in [0, 1]\)일 때 \(e^{2x} \ge 1\)이므로 \(f'(x) \ge 0\)이다. 따라서 \(f(x)\)는 닫힌구간 \([0, 1]\)에서 증가하므로
\[ f(0) \le f(x) \le f(1) \implies \ln 2 \le f(x) \le \ln(1 + e^2) - 1 \]
이 성립한다.
[3단계] 부분적분법과 조임정리(샌드위치 정리)를 이용한 \(\lim_{n \to \infty} n I_n\) 도출 (10점)
\(n I_n = \int_{0}^{1} n x^{n-1} f(x)\,dx\)에서 \((x^n)' = n x^{n-1}\)이므로 부분적분법을 적용하면
\[ n I_n = \Bigl[x^n f(x)\Bigr]_{0}^{1} - \int_{0}^{1} x^n f'(x)\,dx = f(1) - \int_{0}^{1} x^n f'(x)\,dx \]
구간 \([0, 1]\)에서 \(0 \le f'(x) = \dfrac{e^{2x}-1}{e^{2x}+1} < 1\)이므로 모든 \(x \in [0, 1]\)에 대하여 \(0 \le x^n f'(x) \le x^n\)이다. 각 변을 \(0\)부터 \(1\)까지 정적분하면
\[ 0 \le \int_{0}^{1} x^n f'(x)\,dx \le \int_{0}^{1} x^n\,dx = \frac{1}{n + 1} \]
\(\lim_{n \to \infty} \dfrac{1}{n+1} = 0\)이므로 함수의 극한의 대소 관계(조임정리)에 의하여 \(\lim_{n \to \infty} \int_{0}^{1} x^n f'(x)\,dx = 0\)이다.
따라서
\[ \lim_{n \to \infty} n I_n = f(1) - 0 = \ln(1 + e^2) - 1 \]
✅ [4단계: 최종 정답] (1) \(2\ln(1 + e^2) - 2\), \(\quad\) (2) \(\lim_{n \to \infty} n I_n = \ln(1 + e^2) - 1\)