작년 9월 모평 수학B 30번에 대해 질문드립니다.
게시글 주소: https://w.orbi.kr/0009040957
작년에 몇몇분들이 이 문제가 평균값 정리로 설명될 수 없다고 강조하셨는데
저 같은 경우는 이 문제를 설명하기 위해선 부분적으로 평균값 정리가 필요하다고 생각합니다.
여러분들이 제 풀이가 논리적인지의 여부를 확인해주시고 비판해주시길 부탁드립니다.
우선,
조건 (나)에서 f(x2)-f(x1)>=x2-x1 에서 f(x2)-f(x1)/x2-x1>=-1이 나옵니다. (0<=x1<x2)
이때,
(i) 임의의 x1 (x1은 [0,무한대)구간의 실수)에 대해 lim(x2->x1) f(x2)-f(x1)/x2-x1 = f'(x1)
(ii) 또한, 0<=x1<x2를 만족하는 임의의 x1, x2에 대해 f(x2)-f(x1)/x2-x1=f'(c)를 만족하는 c(x1<c<x2) 가 평균값 정리에 의해 존재하고 c는 [0,무한대)에 속하므로, 모든 f'(c)를 (i)의 f'(x1) (x1은 [0,무한대)구간의 실수)에 대응시킬 수 있다.
(iii) 따라서 f(x2)-f(x1)/x2-x1 (0<=x1<x2)이 나타낼 수 있는 값의 범위는 f'(x)의 [0,무한대) 구간에서의 모든 함수값이라고 할 수 있다.
(iv) 따라서 조건 (나)를 만족시키기 위해선, 모든 [0,무한대)의 x에 대해 f'(x)>=-1이어야 한다.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
졸업식썰 2
학교 ㅈ같아서 안가고 친구하나랑 술머그러감
-
ㅇㅈ 3
은 무슨 롸면에 비친 얼굴보셔요
-
난 계속 고등학생 하고 싶은데
-
유치원 졸업식 3
기억안남 엄마가 미용실보내서 머리만졌던거 같음 나름 우수 졸업자라서 뭐 상도 받음
-
날이 아니네 한 5일 후에 해봐야지
-
와 고등학생이 아닌 사람들이 있다니 어르신들 건강히 사세요
-
3.5.6.7.9.10.수능 화1 50..
-
자허블이 뭔가요 3
자몽 허니 블랙?
-
고등학교 2학년 때 수학 내신 마무리하면서 고3 현역 때는 최저맞춘다고 수학은 아예...
-
내가 학교장상인가 이사장상 받기로 돼 있었음 근데 미친 학교가 그걸 미리 말을 안...
-
공감조차 못 받는 다는 거임 그것이 찐따니까
-
이젠 밖으로 안나가서 불의가 안보임 개꿀이라는거임
-
그러하다
-
탈릅은 아 오르비 안 해야겠다 하고 각잡고 하는 게 아니고 8
어느샌가 오르비가 재미없어지고 입시판이나 이런 커뮤에 미련을 느끼지 않을 때 자연스럽게 하는 거임
-
우울글 9
너무우울해너무우울해너무우울해너무우울해너무우울해너무우울해너무우울해너무우울해너무우울해너무...
-
의대선배님들 7
진짜 19-24들은 25별로 안 좋게 생각하시나요? 물론 좋은선배님들도 계시지만...
-
하..........
-
졸업씩 썰 0
학교일찍 끝나서 좋았음 찐따라 집 빨리 가야함
-
전 건동홍~국숭세단 이 정도면 별 차이 없으니까 학과 우선하는 게 맞다보는데...
-
진짜ㅏ 개신기하네… 자기방어적에 실력도 없고…
-
마음이 아프네
-
코로나 터져서 반에서 졸업장만 받고 바로 하교함 부모님? 못오심
-
와 고등학교를 졸업한 틀딱들이 있군아
-
무슨 기분일까
-
찐따 점심시간편 2
남들 급식실갈 때 몰래 나가는 척 화장실 들렀다가 교실로 돌아옴 그리고 혼자남음...
-
나 빼고 다 가짜임 오르비에 진심이ㅜ없음
-
그게 지금보다 기분은 괜찮을 거 같아요
-
2025 1학기 다니고 2학기 휴학 2026 군-대 2027 2학기에 복학...
-
본인 이렇게 3일 살아봄 그런 다음에 제주 내려옴. 혼자 부산 가서 진짜 국밥만 먹고 온 거임
-
다 레파토리가 똑같음
-
ㅉㅉ 잠복수사에 당하다니
-
과외 구하는 칸에 잘생기거나 예쁜 사람 사진 있으면 한번씩 확대해봄ㅋㅋ 님들도 이럼?
-
알려주겠다 6
흐
-
나도 성적 인증 해볼까나 ㅠ
-
제가 아프니까 3
친구들이 아주 신이 났네요 정말 행복해요
-
저는 일단 무조건 베야해요
-
교실에서 부르더니 널좋아하는것같은데 사귀고싶은건아니랬어요 이거 어장관리당한건가요
-
저 메이플도 잘 못하는 흙손이에요
-
혼밥의 제일 큰 문제는 14
가게 주인이 눈치를 준다는 거임 나도 알빠노 하고 싶은데 저번에 가고 싶던 곳이...
-
궁금한 거 있으면 무엇이든 물어보세요
-
이건 치과를 가야하는건가요 정형외과를 가야하는건가요
-
150명 대형과이고 지금 50등에 6칸 최초합입니다
-
이제뭐하지 14
애니프사도했는데
-
수능 팁 줘 3
응
-
이 새끼 때문에 내 수면 패턴이 ㅆ창남 ㅋㅋㅋㅋ
-
입결만 봤을 때는 '당연히 홍대가 더 낫지 않을까..'라는 생각이 들긴 합니다...
-
다들 이상한 드립 치기 좋아하지만 고수들이 항상 있음
-
나도 재능 좀 나눠주지
-
찐따메타임요? 20
잠안와서 들어와봤는ㄴ디… 그럼 다들 자기가 겪은 찐ㄸ썰좀 댓글에 풀어주세요...
-
최신 노래 들어야겠다
ii)에서
c와 x1을 동일시 하셨는데
사실 이게 문제가 되기 때문에 평균값정리를 쓰면 안 된다는 말이 나온 거였습니다.
엄밀하게 따져보면, c는 x1과 x2 사이에 있는 수인데, x1과 x2 사이의 간격을 아주 작게 잡아도 그 사이에는 무한히 많은 실수가 있지요. x1, x2가 실수이기 때문에 그렇습니다.
그래서 c는 x1보다 개수가 적고
따라서 f'(c)가 f'(x1)에 일대일대응을 할 수 없습니다.
그래서 iv)에서 언급했듯 f'(x)>=-1이라고 단정할 수 없게 되는 거고요.
개인적으로는 평균값정리를 써도 무방하다는 생각이 드는 게, 이걸 단조증가로 해석하는 풀이보다 평균값정리로 해석하는 풀이가 더 맞다고 느껴져서 그렇습니다. 교과서에서도 평균값정리를 설명할 때 위 문제의 예시나 설명에 나와있는 문구를 그대로 쓰기도 하고 그래서, 이 문제를 보고 평균값정리를 떠올린 분들이 단조증가를 떠올린 분들보단 훨씬 많았을 겁니다.
물론 수학에 일가견있는 학생들이라면, 또는 엄밀하지 않아서 불안한 학생들이라면 평균값정리로 진행하다가 중단하고 단조증가의 힌트를 찾기도 했을 거고요.
c가 x1보다 개수가 적어서 x1이랑 1대1 대응을 할 수 없다고 하셨는데 어쨋든 간에 임의의 x1, x2 의 경우에 대한 평균값 정리로 인해 도출된 c라는 녀석은 구간 [0,무한대)에 속해 있기 때문에 f'(x)에서 [0,무한대) 에 속한 "어떤" x에는 "무조건" 대응시킬 수 있다는 의미입니다. 엄밀히 따지면 다대일 대응으로 보여지네요.
따라서 어떤 x(0<=x<무한대)에는 대응시킬수 있기 때문에 (i), (ii)에 의해 f(x2)-f(x1)/x2-x1이 가질 수 있는 값의 한계는 f'(x)의 [0,무한대) 에 해당하는 모든 함수값으로 한정지을수 있게 되므로 f'(x)>=-1이라는 결론이 나온 것입니다.
당연히 c가 [0,무한대)의 모든 값에 대응되지는 않겠죠. c랑 x1을 동일시한것처럼 보였던 것은 표현상의 문제로 보이네요.
자세히 다시 읽어봤습니다.
f'(x)의 구간 내 모든 값을 f(x2)-f(x1)/x2-x1이 표현할 수 있다고 하셨는데, lim가 있고 없고의 차이는 큽니다. 일단 lim가 붙었다는 것 자체로 결과값이 확정값이 되는데, f(x2)-f(x1)/x2-x1의 경우 x2가 x1에 한없이 다가가더라도 리미트를 붙인 확정값과 동일할 수는 없습니다. 이는 칼큘러스에서 나오는 엡실론-델타 논법을 알고 계시다면 생각하실 수 있고, 아니면 반례로 y=x^3에서 변곡점의 미분계수를 평균변화율이 표현할 수 없다는 것을 생각해보셔도 됩니다.
제가 수학과가 아니라서 그 부분에 대해 깊이 다루지는 않았습니다. 그렇다면 f(x2)-f(x1)/x2-x1은 f'(x)의 특정 구간내의 함수값을 표현할 수 없다는 것인가요?
네. 그게 핵심입니다.
f'(c)가 f'(x1) 하나하나에 대응은 할 수 있겠지만 그게 f'(c)가 f'(x)의 모든 값을 표현할 수 있다는 뜻은 아니라는 것으로 생각하셔도 될 것 같습니다. 결국 c의 개수 문제로 넘어가게 되고요.
그럼 (i) 에서 lim를 취해서 설명한 f'(x1)의 경우도 표현할 수 없다고 봐야하는거나요? 유튜브에 올라와 있는 일부 인강강사들의 풀이를 보면 (i)로 설명하시는 분들도 꽤 있네요.
i) 자체로는 문제가 없는데, 그 이후의 전개가 논리적으로 오류가 있는 거라서.. 엄밀하게 따지자면 그렇다는 거고요, 처음에 언급했듯이 저는 평균값정리로 해석해서 푸는게 약간의 비약이 있더라도 수능의 입장에서는 단조증가 풀이보다 더 낫다는 생각입니다. 문제의 지표들이 모두 평균값정리를 떠올리도록 유도된 느낌의 문제에요.
이후의 전개가 왜 오류가 있는지 전 아직 이해가 안됩니다. (i)이 맞다고 하면, 이제 임의의 x1, x2에 대해서도 성립하는 지를 봐야하는데, 임의의 x1, x2에 대해 대응하는 f(x2)-f(x1)/x2-x1이 모두 f'(a) (0<=a<무한대) 범위 사이에 있는 것을 보였으므로 전 모든 증명이 완료된 것으로 보이네요. i)에서 리미티 확정값과 f(x2)-f(x1)/x2-x1이 동일 하다고 할 수 있다는 전제하에서요.
f'(x)와 f(x2)-f(x1)/x2-x1이 같지 않음을 보이면 위 증명이 오류가 있다는 것 까지는 이해가 되시죠?
예를 들어 y=x^3에서, x=0에서의 미분계수는 0이지만, 임의의 x1,x2에 대하여 f(x2)-f(x1)/x2-x1은 절대 0이 될 수가 없지요. 즉, f'(x)와 f(x2)-f(x1)/x2-x1은 같다고 단정지을 수 없다는 뜻입니다.
더 엄밀하게 증명하려면 lim를 증명하는 과정부터 시작하면 되는데, lim를 증명하려면 엡실론-델타를 이용해야 하고요. 고등 교과서에 있는 'lim=한없이 다가간다'는 증명하려면 대학 과정을 끌어와야 하니 그냥 저렇게 말로 뭉뚱그린겁니다. 즉, 리미트의 정확한 정의는 고등 교과서에서는 알 수가 없습니다. 그래서 질문하신 분의 논리가 그럴듯해보이지만 엄밀하게 따져보면 틀렸다는 거지요.
1.
ii)에서 f'(x1)과 f'(c)가 같다는 게 아니라 f'(x1)이 있으면 그에 따른 f'(c)가 존재한다 라고 이해했는데 이런 뜻이 맞나요?
2.
만약 맞다면 iii)에서 f(x2)-f(x1)/x2-x1이 (0,무한대]에 있는 모든 실수 x에 대하여 f'(x)가 가지는 함숫값을 모두 가질수 있다는 말이 틀렸다는 겁니다. 이에 대한 수학적인 설명은 바로 위 댓글에 해뒀고, 제 생각엔 하나의 f'(c)가 중복해서 서로 다른 f'(x1)에 대응할 수도 있다는 걸 간과하신 것 같습니다.
또, x2를 임의의 수라고 정했기때문에 f'(x1) 하나에 무한히 많은 f'(c)를 대응시킬 수 있으니 사실 하나씩 대응시키는 건 크게 의미가 없습니다. 게다가 c의 개수가 (0,무한대]에 있는 실수 x의 개수보다 적기 때문에 모든 f'(c)가 모든 f'(x)를 표현할 수 있는 것도 아니고요.
3.
만약 아니라면 f'(x1)과 f'(c)가 명백히 다른 값이기 때문에 이것도 틀린 게 됩니다.