수2 문제 (2000덕)

궁금한 게 자작 아니면 먼가요

대학교재에 있는 거 아닐까요

Idea: f는 너무 빨리 증가한다. 즉, a_n이 수렴하고 f(a_n)이 발산하는 수열 a_n이 존재한다.

f’ > 0이므로 f는 증가하고, f가 증가하므로 f’도 증가한다. f’(0) = a라 할 때, x>0에서 f’(x) > a이므로 f(x) > ax이고, 따라서 f’(x) = f(f(x)) > af(x) > a^2x이며, 이에 따라 다시 f(x) > a^2/2*x이다. C = a^2/2라 두자.
f가 연속이므로 사잇값 정리와 Cx^2의 최댓값이 없다는 점에 의해, 실수 M > f(0)에 대해 항상 f(p) = M인 p>0이 있다. 임의의 M을 고정시키고, 수열 a_n을 다음과 같이 정의하자:
a_n = p + M/f(M) + 2M/f(2M)+ 4M/f(4M) + … + 2^(n-1)M/f(2^(n-1)M)
f(x) > Cx^2에서, 위 수열은 1/C*2^(n-1)의 합과의 비교판정에 의해 수렴한다.
한편, f(a_n) > M* 2^n 이다. f(p) = M에서 f(p+M/f(M)) > f(p) + M/f(M) * f’(p) = f(p) + M/f(M) * f(M) = 2*M이므로 n=1에서 성립하고, n=k에서 성립하면 f(a_(k+1)) = f(a_k+2^kM/f(2^kM)) > f(2^kM + 2^kM/f(2^kM))이고, 위와 같은 과정에 의해 이는 2^(k+1)M보다 크기 때문이다.

좀 돌아서 푼 것 같긴 한데, 보이는 것보다 어렵네요
사실 저 아이디어 한번쯤 써보고 싶었음

출처 및 풀이입니당

ㅇㅎ IMO 2번이군요
어려울 만 하네

첫문단 막줄 a^2/2 * x^2에요

첫줄부터 이해가 살짝 안되는데 f가 연속함수인데 an이 수렴하고 f(an)이 발산할 수 있나요..?

안되니까 귀류법으로 모순이라는 뜻이었어요

이제 보니까 막줄을 너무 대충 적었네요
오타도 있고
f(a_(k+1))
= f(a_k+2^kM/f(2^kM)) (a_n의 정의)
> f(a_k) + 2^kM/f(2^kM) * f'(a_k) (f‘이 증가)
= f(a_k) + 2^kM/f(2^kM) * f(f(a_k)) (f에 대한 방정식)
> f(a_k) + 2^kM/f(2^kM) * f(2^kM) (귀납법 조건 f(a_k) > 2^kM + f는 증가)
= f(a_k) + 2^kM
>2*2^kM = M * 2^(k+1) (귀납법 조건)

2^kM은 그냥 M*2^k 쓰기 귀찮았던 거에요

이해되었습니다! 저 수열의 일반항을 잡는 발상이 되게 천재적인 발상이네요..!

혹시 문제 출처가 어딘가요?
원래 풀이가 궁금해서

lim x->-inf f(f(x)) > 0 이지만 lim x->-inf f'(x) = 0 이므로 모순?

좀 더 자세한 풀이가 있어야 할 듯 합니다ㅠ

해당 조건이 참이라고 가정했을 때
모.실.x에 대해 f'>0로 f가 순증가함수, 이때 f>0이므로 lim x->-inf f(x)=C (C는 0이상 실수)인데, f(0)>0이기 때문에 lim x->-inf f(f(x))는 C값에 상관없이 무조건 양수, 하지만 수렴을 위해 lim x->-inf f'(x)=0이기 때문에 식이 성립하지 않는다
라고 보면 안 될까요?