미적분학의 기본 정리 (FTC) 증명
게시글 주소: https://dev.orbi.kr/00063696681
참고로 FTC는 the fundamental theorem of calculus의 줄임말입니다.
증명해봅시다!
구간 [a, b]를 n개의 구간으로 나누고 각 구간의 경계를 작은 수부터 a, x_1, x_2, x_3, ... , x_(n-2), x_(n-1), b라고 합시다. 고등학교 미적분에서는 구간을 등분하여 구분구적법을 설명하지만, 실제로는 꼭 등분할 필요는 없습니다. 마찬가지로 각 구간의 경계에서의 함숫값을 택할 필요 없이 구간 내의 아무 값이나 골라도 괜찮습니다. 자세한 내용은 각자 미적분학에서 Riemman Sum 찾아봅시다.
여기서 평균값 정리를 이용하면 다음을 얻을 수 있습니다.
이때 F'(x)=f(x)이므로 이를 이용해 앞서 얻은 식을 정리하면
위와 같습니다.
이제 양변에 극한을 걸어주면, 우변의 극한이 수렴할 때 정적분의 정의에 의해
가 됩니다. 물론 우리는 f(x)가 연속함수일 때만을 다루므로 극한은 항상 수렴합니다.
따라서
가 성립함을 증명했습니다. 다음!
구간 [a, b]에서 연속인 함수 f(x)에 대해 함수 g(x)를 위와 같이 정의할 때
가 됨을 증명해봅시다. 편의상 h>0일 때부터 생각해보면
이고 최대 최소 정리에 의해 구간 [x, x+h]에서 f(x)는 최댓값과 최솟값을 갖습니다.
구간 [x, x+h]에서 f(x)가 x=k_1에서 최솟값 m, x=k_2에서 최댓값을 M을 지닌다 할 때 다음이 성립할 것입니다.
이제 각 변에 극한을 걸어주면
에서
이기 때문에 함수의 극한의 성질에 의해 (샌드위치 정리)
가 성립함을 확인할 수 있습니다.
h<0일 때도 같은 방식으로 다루어주면 다음의 결론을 얻습니다.
이때 f(x)가 연속함수이기에 g(x)는 미분 가능한 함수이고 따라서 좌변의 극한이 수렴해 g'(x)=f(x)임을 알 수 있습니다.
0 XDK (+100)
-
100
-
1. Đường cong thứ cấp Đường cong thứ cấp là...
-
수능 끝나고 답 확인안하고 다시풀어보면 원래 쉬움?? 3 0
작수 끝나고 문제지도 답안지도 아예 확인 안했는데 오늘 국어 다시 풀어보니까 1개...
-
마히로 귀여움 6 5
저격임 ㅇㅇ 너무 귀여워서
-
이제 시발점 끝나가는디 1 0
집에 마더텅 수12확통 있고 수분감 수1 있음요 뉴런 많이 빡세나요 뉴런 들어야할지...
-
래드윔프스 개쩐다 3 0
라이브만찾아듣고잇음
-
내일은 더프봐야징 1 1
><
-
거의 넷플릭스임
-
나 여붕이임 9 2
사실 아님.
-
너무 매워서 0 0
옆에있던 탄산수 부움
-
오르비에서마저 7 8
조회수 좋아요 댓글 때메 신경 쓰이는 나 자신이 싫다 .. 현실에서도 남들이랑 자꾸...
-
리제로 내 인생애니 1 0
ㄹㅇ
-
울음이 타는 가을 강 시에서 4 1
네보담도 내보담도 그 기쁜 첫사랑 산골 물소리가 사라지고 이런 구절이 있던데 보담이 뭔뜻임?
-
흐으음
-
아 매워 4 1
어캄어캄 물로 함 씻으까 치즈불닭임
-
수요 있음??? 어짜피 수두룩 남더만
-
현재 사문 개념은 역할갈등까지 했는데 사문2등급 받기쉬울려나
-
3모 시험지 받고싶은데 1 0
다음주 금요일날 학교가면 없겠지 담임쌤한테 말해놔야하나
-
내 가설인데 3 1
공부할때 같은 양의 공부를 한다해도 그걸 몇달동안 늘여서 하는거보다 단기간에 빡세게...
-
내가 갖고 싶은 초능력 .. 2 2
조회수 클릭하면 조회내역 다 나오고 좋아요 누가 누른 거지 다 아는 능력 ..
-
겨울방학때 열심히 할걸 3 0
병신새끼 3월 되니깐 똥줄타서 어떻게 바등바등 할려고는 하는데 할수록 실력이...
-
나랑 우주의 비밀을 탐구할 15 2
탐구할 탐구할 탐구할 탐구할 탐구할 탐구할 탐구할 탐구할 탐구할 탐구할 탐구할...
-
여러분의 체감 난이도가 궁금해요! 댓글에 점수와 체감난이도 적어주시면 감사히...
-
으윽 3 1
으윽
-
기파급 학원 전경 3 1
ㅈㄱㄴ
-
수능날 백분위 만점받고 싶다 1 2
-
2028 통통 7 1
통합 < 2028 < 가형 이정도이려나..?
-
난 올해 물1 해도 괜찮을 듯 8 1
본인 스펙 메이플함 퍼리좋아함 남자좋아함 씻기, 빨래하기, 다리미질하기 싫어함...
-
프로젝트 헤일메리 11 1
보러가야징 재밋겟다
-
메세지 못보내겠음 3 2
카톡이던 dm이던 상대방 반응이 확인이 안되니까 너무 불편하고 신경쓰여서 전화보다...
-
불닭 12 2
스프넣고 물넣으면 되는거죠??????
-
아으 통통따리 0 4
정시파이터로써 자존감을 지키고 싶은 밤이구나 아으 통통따리 정시도 수시도 성적...
-
오르비 처음인데요. 어이가 없어서 저격 좀 할게요 24 8
https://orbi.kr/my/post 왜 이런 글만 쓰나요 이 사람 너무 기분이 나빠요
-
룸메 3명 N값 합치면 12인데 15 2
셋 다 정시로 들어옴 정시파이터 상남자들의 방 ㅁㅌㅊ
-
작년에 사탐햇는데 재수하는사람 3 2
많이부족한거같다 싶으면 개념강의 똑바로 듣고 아니라면 그냥 유기하다가 5월 한달...
-
스트롱제로 마시고 싶다 2 1
한국에 왜안팔아
-
이치카같은여자 왜없냐고 3 0
고등학교때는있었는데... 에휴 뭐 어쩌겠냐 지나간인연인걸
-
아이디어 0 1
첨으로 22번 문제 마주했는데 뭐.....이런 괴물이 다있지 싶었음요.. 걍 ㄹㅇ...
-
학교 일찍 나오기까지 했는데 0 2
사고싶은게 없었다..
-
개추 받는 법 3 4
28수능가즈아 = 수능치는아랴양 오르비 그만하고 공부만 해야 한다고 생각하면 개추
-
무물보 19 3
귀여운 쌍윤임. 더프 수학 풀기 싫어서 무물보 받음.
-
개추 유도 이것도있음 6 2
-
개추유도안해도 개추받는법 3 0
https://orbi.kr/00077936607/ 귀여운 이치카 올리기
-
현역이면 당해 3모 수학 성적 N수생이었으면 25수능(또는 26수능 전에 본 수능)...
-
먼가해야ㆍ대는데ㅣ 2 1
ㅇ아무거도하지않음상태 .. 이대로 자 버릴까
-
아 뭐야ㅑ 2 1
방금 인증이었나봐ㅏㅠㅠ
-
스카 왔음 4 4
공부할거니까 댓 달지마셈
-
술 취한거 같네 0 0
집에 가서 바로 자야지
-
뭐야인증떡밥이돌았다고 2 0
하아 달릴까
-
특단의 조치를 취하겠습니다 4 2
수학 3모 ㅈ박으면 수학 과외 ㄹㅇ로 구합니다
-
다들 고생하셨습니다 18 2
내일도 화이팅
이런 거 머리아프고 결과값만을 응용하는 게 관심있다면.. 자연대보다는 공대 파일까요?
증명보다는 대수적인 계산을 좋아하는 쪽이요 ㅋㅋ
프로그래밍도 알고리즘을 유도하는 것보다는 뭔가를 뚝딱뚝딱 만드는 게 좋아서리 ㅋㅋ
문과 파이
들켰노!
상경대에 적합한 인재상이 아닐지!
하긴 요즘은 마케팅이든 인사든 금융이든..
경영학과 전반에서 digital transformation 할 게 너무 많아서요 ㅋㅋㅋ