Logarithms

0. Introduction이번 섹션에서는 자연로그(ln x) 를 미적분학의 관점에서 “제대로” 정의하고,그 성질·도함수·적분·근사 공식을 모두 한 번에 정리한다.Strang의 핵심 아이디어는 다음과 같다:자연로그 ln x는 1/x 곡선 아래의 ‘면적’으로 정의할 수 있다.즉,$$ \ln x = \int_1^x \frac{1}{t}, dt $$이 정의 하나로, 우리가 알고 있는 로그의 모든 성질이 깔끔하게 따라 나온다.또한 이 정의를 통해 자연로그의 도함수는 1/x 라는 사실이 자연스럽게 나타난다.섹션 후반부에서는ln(1+x)의 테일러 근사log differentiation (로그 미분)여러 흥미로운 적분들 (tan x, sec x, cot x, ln x 등)까지 다룬다.1. 자연로그의 적분 기반 정의1..