[미적분] 자작 문제 투척

2? 이젠 머리가 돌이되서 증명도못하겟다..


아 4번이구나 ㅋㅋㅋㅋ f'(0)이 f (0)으로 보이다니 눈이 삔듯..ㅠㅠㅠ

2??

근데 오르비 언제부터 비밀글없어졋나요..

나형 모의고사도 나오나여

가형만 만들어요 저는.. ㅋㅋ 나중에 나형도 만들수도 ㅠ

2 또는 4인 것 같은데 ㄷ을 지금 못풀겠네요..

정답은 밤에 공개할께요 ^^

4번?
한완수에서 본듯하네요ㅋㅋㅋ

흠 예전 모의고사에 만들어 넣었던건데 한완수 집필하면서

넣었을수도있겠네요 ㅋㅋ

다들 어느새 고치셧네요 ㅋㅋ ㅠㅠ
덕분에 혼란스러웠어요 ㅠㅠ

4

밑변의 길이가 1인 문제 변형이군요.

ㄴ에서 [0,1]을 (0,1)로 바꿔도 성립하나요?

위로 볼록이라 4번이 맞는 듯 한데

아래로 볼록 아닌가요?

ㄷ이 평균값이 함수값 보다 위에 있다는 말 아닌가요?

b-a때문에 넓이 비교인것 같아요~~ㅎ

아 평균값이 아니었군요;

f(a)+f(b) / 2 로 봐버리다니

4?

4번 같은데요

2번...
ㄷ의 왼쪽 조건은 아래로볼록이라는 뜻이고 오른쪽 식은 2를 양변에 나눠서 우변을 1/2f'(0)으로 표현하면 삼각형의 넓이가 되니까...
아래로볼록 함수는 x값이 증가할 수록 f'(x)도 증가하고 결국 거짓이 되는것 아닌가요;;

ㄷ 왼쪽 조건이 평균값이 아니라 x값의 평균의 함수값이예요.

;;네 ㅋㅋ 수정하고 확인눌렀더니 님 답글때문에 안고쳐졌어요 흑흑 너무함

1/2{f(a)+f(b)} 로 계산했다고 썼는데...
f((a+b)/2)였음 ㅠㅠ

ㅋㅋ 저만 틀릴 순 없지요

전 수정 성공 아싸

어차피 저는 수험생이 아니니 아싸 ㅋㅋㅋ

위로볼록인듯. 이거 햇갈리신분들 은근히 많나보네요

4번아닌가여? 삼각형넓이랑 위로볼록함수같은데

삼각형이 아니라 사각형넓이

위로볼록같은데 ..

444

답은 4번입니다. 그런데 ㄷ에서 주어진 조건이 함수가 위로 볼록이라는 사실을 의미한다는 것이, 비록 그림으로는 그럴듯해보이지만 실제로 증명하는 문제는 또 따로 생각해 볼만한 문제인 것 같습니다. 이제,

[문제 조건] : 임의의 a < b 에 대하여, f((a+b)/2)(b-a) > ∫_a^b f(x) dx
⇒ [위로 볼록의 정의] : 임의의 a < b 에 대하여, (a, f(a)) 와 (b, f(b)) 를 잇는 선분은 항상 y = f(x) 의 그래프 아래에 놓인다.

임을 실제로 증명해봅시다.



>> 증명. 귀류법을 이용하기 위하여, 주어진 조건을 만족하면서 위로 볼록이 아닌 함수 함수 f가 존재한다고 가정합시다.

그러면 어떤 a < b 가 존재하여, (a, f(a)) 와 (b, f(b)) 를 잇는 선분의 일부가 y = f(x) 의 그래프의 위에 놓입니다.

이제 그 위에 놓이는 선분의 일부분을 최대한 연장하여 y = f(x)의 그래프와 맞닿게 함으로써, y = f(x) 위의 어떤 두 점 P(p, f(p)), Q = (q, f(q))이 존재하여, 선분 PQ는 y = f(x) 의 그래프보다 위에 놓이게 된다는 사실을 알 수 있습니다.

따라서 이 선분의 기울기 m = (f(q) - f(p))/(q - p) 에 대하여, 함수 g(x) = f(p) + m(x - p) 는 이 선분을 나타내는 함수가 되며, 함수 h(x) = f(x) - g(x) 는 h(p) = h(q) = 0 이고 p < x < q 일때 h(x) < 0 을 만족시키는 미분가능한 함수가 됩니다.

그러므로 최대최소 정리로부터 폐구간 [p, q]에서 h(x)의 최소값을 갖는 지점 p < c < q 를 하나 찾을 수 있습니다. 그러면 0 = h'(c) = f'(c) - m 이므로 m = f'(c) 이고, 이로부터

h(x) - h(c)
= f(x) - f(c) - m(x - c)
= f(x) - f(c) - f'(c)(x - c)

임을 얻습니다. 그런데 h(c)는 구간 [p, q]에서 h(x)의 최소값이므로, 위 값은 [p, q] 위에서 항상 0 이상이 됩니다. 그러므로 [p, q] 위에서 항상

f(x) ≥ f(c) + f'(c)(x - c)

이 성립합니다. 따라서 p ≤ c-k < c < c+k ≤ q 를 만족시키는 임의의 양수 k에 대하여

∫_{c-k}^{c+k} f(x) dx
≥ ∫_{c-k}^{c+k} (f(c) + f'(c)(x - c)) dx
≥ 2kf(c)

이고, a' = c-k, b' = c+k 에 대하여 위 식은

∫_a'^b' f(x) dx ≥ f((a'+b')/2)(b' - a')

와 같아집니다. 그런데 이는 ㄷ의 가정에 모순입니다! 따라서 주어진 함수 f(x)는 위로 볼록이어야 합니다. ////



증명의 아이디어가 잘 안 잡히신다면, 다음의 직관적으로 번역된 버전으로 읽어보시면 더 좋을 듯합니다:



>> 증명, 직관적 버전. 함수가 직선이 아니고 위로 볼록이라면, 주어진 부등식이 성립함은 넓이를 비교해보면 쉽게 알 수 있습니다. 또한, 마찬가지로 함수가 직선이 아니고 아래로 볼록이라면, 주어진 부등식의 반대방향 버전이 성립함도 당연합니다.

그런데 주어진 미분가능한 함수가 위로 볼록이 아니라면, 적어도 어떤 지점에서는 아래로 볼록이 됩니다. 그리고 그 지점 근처에서 주어진 부등식을 살펴보면, 부등호 방향이 반대가 됩니다.

따라서 우리는 모순을 얻고, 주어진 함수는 위로 볼록이어야 합니다. ////

4번인거 같다

444

4번. ㄷ은 기출문제 응용이라 넓이로 바로 풀었는데,

ㄴ은 [0.1]에서 y=2x 그래프와 f(x)가 한점에서 만나면, 그 만나는 점과 원점 사이의 평균값 정리로 인해 적어도 기울기가 2인 접선이 존재하므로 참이라고 했는데 혹시 다르게 푸신분 있으신가요?

수학굇수들이 4번이라할때 수학볍신인나는 소신껏 2번...

서울대조인성//저는 귀류법으로 풀었습니다.
구간 [0,1]에서 f'(x)<2라 가정해봅시다. 그러면 양변을 적분해서 f(x)<2x가 될 겁니다. 그런데 2x를 구간 [0,1]에서 적분한 값은 1이기 때문에 f(x)를 적분한 값이 1이 될 수 없어서 모순이 됩니다.

적분과 미분의 부등호 크기는 그대로 적용될 수 업는 걸로 알고 잇는데요. f'(x)<2 라고 해서 적분값 f(x)<2x 라는 말은 성립하지 않는 거같네요. 그리고 적분하면 적분상수가 나오는데 기울기 상으로 봤을 때 f'(x)가 2보다 작더라도 상수값에 의해 2x보다 더 위쪽에 있을 수 있습니다.

저는 부정적분을 한 것이 아니라 정적분을 했습니다. 두 연속함수 f(x), g(x)에 대해 구간 [a,b]에서 f(x)<=g(x)이면 int_a^bf(x)dx<=int_a^bg(x)dx임이 알려져 있습니다. 이때, 보기 ㄴ에서 f'(x)<2라고 가정하면 위 정리에 의해 int_0^1f'(x)dx

아 잘못 적었다..; 다시 설명할게요

다시 처음부터-위의 답변은 무시해주세요 ㅠㅠ
정적분을 하는데, 이때 f'(x)<2라 가정했을 때, 0보다 큰 실수 x에 대해, 구간 [0,x]에서 int_0^x f'(t)dt

맨 처음 답변에서 a<=b라 두면 이상 없을 것 같습니다.

ㄷㄷ 2번이에요

근데 sos440님이 써놓으신 증명에서
∫_{c-k}^{c+k} f(x) dx
≥ ∫_{c-k}^{c+k} (f(c) + f'(c)(x - c)) dx
≥ 2kf(c) 에서 마지막 부등호는 등호로 바꿔야 하는거 아닌가요? ㄷㄷ 헷갈려서요. ㄷㄷ

ㄷ 이 왼쪽 식이 위로볼록인건 알겠는데 오른쪽 식에서 뭘뜻하는 건지 모르겟네요.... 알려주세요

4번

ㄷ에 f((a-b)/2) 가 f((b-a)/2)로 가면 ,, 조금 보이는데요 으악. a-b면 어떻게 해야죠.

무조건 2번 주장 ㅠㅠ ...