미적분학의 기본 정리 (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주차 강의 영어 스피드보카 day21 막장 모의고사 4강 공부흔적 5강...
-
밤새면서 개같이 했다 ㄹㅇ로.
-
뭐지 확정인 것 같은데
-
9평수학은 걍 이문제에만 몰빵한느낌임 ㅇㅇ
-
오늘한거 5
현정훈모 존나어려웟음
-
요즘 내 상태 6
나 : 로스쿨 가고 싶당 국어 성적 : 되겠냐? 정법 실모 : 되겠냐? 수학 :...
-
비밀번호 치는거부터 난관이고 뭔 16층이라해서 갔더니 또 호수가 안맞아서 내려갔다...
-
한지vs정법 4
고3 내신 선택과목 한지vs정법 중에 뭐가 나을까요......... 물론 수능은...
-
친구물화런데 1
개불쌍하누..
-
오늘도 총정리과제 10
1틀당 5천덕 뿌림
-
그나마 오르비는 덜한데 유튜브 틱톡이나 각종 커뮤들 댓보면 무슨 다같이 서연고임...
-
Oz모 시즌 1-3중 뭐가 가장 평가원 난이도인가요? 알려주세요 ㅠ
-
...ㅅㅂ
-
후회는없겠지 4
아마도
-
그 혈우병이나 페닐케톤뇨증 이런거는 병원체가 물질대사를 한다나 단백질을 갖는다...
-
해밀턴 1
https://en.wikipedia.org/wiki/Richard_S._Hamilt...
-
-10, 20 1컷 43 난이도라는데 솔직히 수긍은 안됨 사문표본이 아무리...
-
공부하는 사람을 뭐라고 부름???? 궁금궁금
-
내 수강생이 6명이라니 푸하하 뿌듯하다
-
다시 생각해보면 뭔 개 븅신짓인가 싶음
-
화작공부 5
뭘해야할까여 마더텅 풀까
-
여기 왤케어렵나요? 도형잼병이라 개념잡으려고왔는데 뭔 가형 4점짜리 넣어놨는데 손도 못대겠어요..
-
혹시 9평 미적 1컷 88 2컷 85일 가능세계는 없나요 13
수미잡인거 알고 1도 안 중요한거 아는데 갑자기 집가려는데 짜증나네 하...
-
사탐은한달컷 0
지금부터달린다
-
지역: 서울시, 과천시, 성남시 과목: 수학 (미적, 확통), 물리학1 - 2022...
-
22 30틀 음 공통은 무난하고 22가 상당히 많이 어려움 삼각함수 22번은 진짜...
-
이전에 어떤 사람이 올린 자료가 있던데, 아주 핀트를 잘못 잡았음. (밑 링크...
-
차이가안줄
-
단원 몇 개만 팔라하는데 추천좀
-
사후세계 증명 0
https://orbi.kr/00069340571
-
잇올에서 방송으로 9모 성적표 꼭제출하라는데 꼭내야해요...?수능도...
-
중상이나 중층쯤 되는 줄 알고 부모님께 은수저냐고 여쭤봤더니 나무 수저라네요.....
-
60Ma 당시에 80Ma고지자기극의 위치가 저 부분 맞나요?
-
사문 3등급 9
기출 양치기만으로 가능한가요 도표버리고
-
돈 없어서 안 된다 학원을 안 다녀서 그렇다 <- ? 또 이러실 것 같은데 이미...
-
삼수생주제에 8
공부안하는거한심해요
-
수능끝나고 비율 발표 ㄹㅇ 레전드 씹 joat...
-
너무 싫다
-
이제 지랄할게 없어
-
퇴근하고 싶어진다
-
Oz모 시즌 1-3중에 뭐가 가장 평가원 난이도랑 가깝나요 2
알려주세용 뿌뿌
-
모집정지되면 2
의대생들 수능 안보나? 흠
-
개념은 했고 문제푸는법, 글 읽는법 같은거 있는 인강 추천해주세요
-
1컷 몇으로 보시나요?? 도표 이정도 난이도면 그래도 나름 좀 변별되지 않나?
-
후후후
-
국어 수학 2
6모보다 어려울거라고 생각하시나요? 6모도 등급컷 높지 않았던거같은ㄷ
-
인생의 운을 전부 써버린게 아닐까? 석기시대에 태어낫어봐..
-
속는셈 치고 한의원가서 침 맞아봐요 걍 한의학을 찬양하게 됨
-
질문받아요 12
22, 23 미적 100이고 서울대학교에서 공학(전기정보 or 컴퓨터)과...
-
사진처럼 왼쪽 사랑니가 조금 나왔는데 일욜부터 붓고 아파서 치과 가서 뺄려고 하니...
이런 거 머리아프고 결과값만을 응용하는 게 관심있다면.. 자연대보다는 공대 파일까요?
증명보다는 대수적인 계산을 좋아하는 쪽이요 ㅋㅋ
프로그래밍도 알고리즘을 유도하는 것보다는 뭔가를 뚝딱뚝딱 만드는 게 좋아서리 ㅋㅋ
문과 파이
들켰노!
상경대에 적합한 인재상이 아닐지!
하긴 요즘은 마케팅이든 인사든 금융이든..
경영학과 전반에서 digital transformation 할 게 너무 많아서요 ㅋㅋㅋ