이미 알 고 있 는 함수 f (x) = e ^ x, g (x) = lnx, e 는 자연 대수 의 밑 수 에 대한 검증: 방정식 f (x) = g (x) 에 유일한 실제 뿌리 가 있다.

이미 알 고 있 는 함수 f (x) = e ^ x, g (x) = lnx, e 는 자연 대수 의 밑 수 에 대한 검증: 방정식 f (x) = g (x) 에 유일한 실제 뿌리 가 있다.

설정 F (x) = g (x) - f (x) = lnx + e ^ x > 0
F '= (1 / x) + e ^ x > 0 F (x) 는 단조 로 운 증가 함수 이다.
x → 0 + F (0 +) → - 표시 0
존재 x0 8712 (0, 1) F (x0) = 0 즉 방정식 f (x) = g (x) 에 유일한 실수 근 이 있 음