x>0 일 때, f(x) = (1 + 1/x)^x 이 단조증가임을 증명하려는데...

[오대감]

혼자서 이거저거 끄적거려보다가 시작하게 된 놈인데, 도통 실마리가 보이질 않네요.

고등학교에서 자연상수 e를 처음 배울때 나오는 식이라는건 다들 아실테고...

제 기억에도, "x가 커질수록 어떤 값에 수렴하는데 그게 e다." 라는 내용만 외웠을 뿐이더군요.

로그미분법으로 미분도 해 봤지만 중간에 막혀버리고, 해결이 안됩니다.

인터넷을 뒤져봐도 제 막힌 속을 시원하게 뚫어줄만한 정보는 없네요.

그래서, 수푸동의 고수님들께 도움을 요청하려 합니다.

아시는 분은 제발 사람 하나 살리는 셈 치고 답을 해 주시기를. 플리즈~


그럼, 이만.

[blublu]

ln( 1+ 1/x ) > 1/(x+1) 여기서 막히셨다고 하셨는데, 음;; 이렇게 하면 안될까 싶어서요.. y = ln( 1 + 1/x ) - 1/(x+1) 이라고 하면, y' = 1/(x+1) { 1/(x+1) - 1/x } < 0 이 되죠. y는 감소 함수가 되겠네요. 구간 (0, 무한대) 에서 y가 연속, y-> 무한 as x-> 0+ , y-> 0 as x->무한대

[blublu]

If there exist some k (in R+) such that y(k) <= 0 이면 k < x 인 모든 x에 대하여 y(k) > y(x) 가 되어 x가 무한대로 갈때 y의 극한값이 0이 될 수 없으므로 모순. 임의의 x>0 에 대하여 y(x) > 0 이 됨. => ln(1+1/x) > 1/(x+1)

[오대감]

호... 이거 괜찮네요. blublu님, 감사합니다. 그나저나 왜 난 이 생각을 못했을까. -_-;

[JH Law]

x>=1일때는 1/|x| <=1 이니까, ln(1 + 1/x) 를 Maclaurin series전개할 수 있잖아요. 해보면 ln(1+ 1/x) >= 1/x - 1/(2x^2) 라는 것을 알 수 있거든요. 이거대입해서 식 정리해보면 x>=1일때 양수가된다는게 나와요^^

[형세]

ln(1 + 1/x) > 1/(x+1) 이거 증명은 평균값 정리. 간단합니다. ln(1+ 1/x)=ln(1+x)-inx = 1/c (x<c<x+1) 그래서 1/(1+x)<ln(1+ 1/x) <1/x 가 증명. 이거 정석에 나올걸요?^^