미적분학의 기본 정리 (FTC) 증명
참고로 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
-
최소 3은 뜬다던데 이거 ㅈㅉㅇㅇ? 근데 3등급은 왜 이렇게 적죠? 이것만하면 다...
-
안녕하세요 이때까지 알바하면서 재수비용 모으느라 2월달부터 재수 제대로 시작할거...
-
그냥 얼굴만 아는 엔데 . . .쪽팔렸음
-
알려줄 사람
-
질문지법을 이용한 양적 연구입니다.
-
방금 친척한테 들었는데 개놀랐네 ㅋㅋ
-
수분감 강의 0
수분감 강의 빠짐없이 다 들어야 하나요? 넘길던데ㅜ
-
걍 텍스트가 더 편한듯.. 국일만 한완수 크로녹스 현자의돌 기파급 이런게 더 이해도...
-
팝콘 맛 추천 받아요 14
-
개쳐망한 이번생을 액막이 삼아서
-
ㅇㅅㅇ
-
수능 전까지 모고에서 비문학을 거의 안 틀리고 문학을 많이 틀렸는데 수능 당일에는...
-
아직 고민중인건데.. 군수생각이 확고했으면 아마 수능 망했다고 담날에 군입대신청하고...
-
ㅈㄱㄴ
-
토익 질문좀용 1
해커스 lc 진단고사 50개중에 39개 맞았는데 어느정도 수준인가요??
-
사촌동생한테 사문생윤한다고 어케 말해 ㅠㅠ 사탐러 기죽어 ㅠㅠ
-
국민대 합격생을 위한 노크선배 꿀팁 [국민대25][기숙사, 자취방, 고시원] 0
대학커뮤니티 노크에서 선발한 국민대 선배가 오르비에 있는 예비 국민대학생, 국민대...
-
일단 전 살면서 읽은책 다합치면 30개 겨우넘길듯
-
치매노인 된듯 0
환승찍는거 세번 까먹음 죽을게ㅋㅋㅋ
-
다들 사탐 경제 ㄱㄱ?
-
레어사세요 6
레어사세요레어사세요레어사세요레어사세요레어사세요레어사세요레어사세요레어사세요레어사세요레어...
-
아 왜 10 1
번이야
-
화작 미적 화1 생1인데 사탐런 시켜야함?? 충청 지역인재 된다길래 찾아보니 충청은 다 과탐필수네요
-
손톱 긴게 문제가아니라 걍 안이쁨..
-
별눈2 6
-
얼마하려나 용인에 있는걸로 앎
-
ㅋㅂ흐흐흐 4
맛있어
-
후천적인 영향이 크다고 하네요 언어이해 지각추론 작업기억 처리속도 네 가지 영역...
-
안녕하세요. 합격자 후배님들! 저는 인하대 영어영문학과 22학번입니다. 인하대에...
-
가끔그런생각을함 12
나만개빻았다는생각 사실 가끔도 아님 자주 함
-
뭐 하나 빵꾸나서 그거 잡으려다가 다른거 빵꾸 뚫리고.. 무한반복 ㅋㅋㅋㅋ
-
-
과탐하고 싶다 1
능지는 사탐이 딱인대 ㅠㅠ
-
한양대 25학번 아기사자분들을 위한 시간표 짜는 팁 0
대학커뮤니티 노크에서 선발한 한양대 선배가 오르비에 있는 예비 한양대학생, 한양대...
-
능지라는거 13
반대로 하면 지능임
-
-
수학 잘하는 애들은 노력하는게 보이는데 국어는 가끔 공부 ㅈㄴ 안 하는데 1등급...
-
국가가 뭐해줬다고 몇십퍼씩 뜯어가냐 참 억울하거든요
-
얼버기 3
낮잠잠
-
솔직히 농어촌 5
반대로 말하면 촌어농임
-
이미 인하의 등록하긴 했는데 잘한거 맞겠죠? 경기도 살아서요
-
킹댕이 승 8
-
문학 고자 0
안녕하세요 선생님분들 현재 김승리T 커리 쭉 따라가고 있습니다. 매월승리랑 풀어보면...
-
머리가 멍청하다는 생각이 들면 검사 오류였던건가 ㅠ
-
아 왜 10 1
번이야
-
댓 남겨주시면 맞팔해요
-
지역인재라는거 2
반대로 말하면 재인역지임
-
별눈 4
-
사탐런 꿀팁 2
윤리는 하지 말것
-
졸려 7
안제리나 졸리
이런 거 머리아프고 결과값만을 응용하는 게 관심있다면.. 자연대보다는 공대 파일까요?
증명보다는 대수적인 계산을 좋아하는 쪽이요 ㅋㅋ
프로그래밍도 알고리즘을 유도하는 것보다는 뭔가를 뚝딱뚝딱 만드는 게 좋아서리 ㅋㅋ
문과 파이
들켰노!
상경대에 적합한 인재상이 아닐지!
하긴 요즘은 마케팅이든 인사든 금융이든..
경영학과 전반에서 digital transformation 할 게 너무 많아서요 ㅋㅋㅋ