미적분학의 기본 정리 (FTC) 증명
게시글 주소: https://ys.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
-
이번 미적 28 29 30 다 틀렸는데 시발점부터 다시 할까요? 1
고민중 베이스가 약한건가 싶기도…
-
-
Riesz representation theorem 3
Schur's theorem Gram-schmidt orthogonalization...
-
수학 난이도 어땠음?
-
현역때 35343으로 덕성여대 붙었는데 24221로 덕성여대를 가..? 수학이 많이...
-
신검받으러가요 9
귀찮네요
-
한심한 2
나!
-
지구 노베고 오지훈쌤 들으려면 메가패스 구매해야하는데 그냥 이훈식쌤 듣는게...
-
3수하면 슬픈점 6
내가 군대다녀오면 나랑 동갑인 사람중에 대학을 졸업하는 사람이 나온다는 거임..
-
-
한지 vs 사문 2
현재 사탐런을 준비하고 있는 예비고3입니다. 평소 세지 관련 상식이 많아서 탐구 두...
-
안정적으로 될까요 아니면 좀 빡센가요
-
물리 잘 6
할거 같이 생긴 나
-
장난전화 0
-
1년전이랑 똑같은글 썼는데 똑같은반응이 있음,,,,,,
-
대학원생 아저씨입니다. 재작년 쯤부터 입시철마다 물리학과/자연대/공대 진학 관련...
-
독서 배경지식 쌓을려고 교과서 읽는 건 어떻게 생각하세요? 2
중학교, 고등학교때 뭘 하고 왔는지 관련 지식이 떠오르지가 않네요... 젠장할...
-
대가로 내 이미지가 곱창날거 같긴한데..
-
근데 진짜 이감 성적이랑 수능 성적이랑 거의 상관이 없나봄 1
상관이 있어봤자 고득점하면 한 수능날 3등급 이상은 맞는다 이 정도 근데 아무짝에...
-
크럭스나 피오르 1
당일날 미리 대기타고 파바박 해도 실패 할 확률이 있는거죠...? 하 너무 절실한데 ㅠㅠ
-
나머지는 그냥 2하는거 추천 특히 물2화2는 대학다니는 공붕이들이 다시 공부하기에...
-
내투자철학임
-
주제넘게 사람살리는 의사 되려고 나대지 말라는거임 니가 특출난 사람이 아니고...
-
님들 어그로 죄송한데 김범준 커리 탈까요 현우진 커리 탈까요 올해 수능 81점(20...
-
하 시발 악몽꿈 0
수능 이미 좆망했는데 수능장에서 허둥대는 악몽꿈ㅋㅋ
-
어차피 설명의무를 다하지 않았다는 판결 그거 그냥 꼬투리잡고 도의적 배상하라는...
-
연고대 가고싶다 0
제발 사탐이들에게 구원을
-
병훈T 강의가 곧 사라진다는 사실이 너무나 아쉽네
-
과외알바를 생각하시는 분들을 위한 매뉴얼&팁입니다. 미리 하나 장만해두세요~~...
-
n년을 쏟아부었는데 올해도 안될것 같네요 정시의대는 진짜 미친짓인것 같습니다
-
책 추천해주세요 8
경제 관련된 걸로
-
님들이라면 어디 가심
-
ㅈㄴ 생산적인데 시간도 잘감
-
텔그살말 3
7만7천원 내고 궁금증을 해소함과 동시에 정신병을 얻기
-
난 사실 미소녀 12
겠냐 왜 들어옴?
-
지사의랑 입결 비슷한가요
-
내년에 또 할거같은데 목표는 메디컬임 올해 수능 화학 47점 맞음..2컷 점수고...
-
쉬워서 할말이없네ㅋㅋㅋㅋ
-
개찝찝하네 이거 어캄 피부병걸리는거아님?
-
가천대논술 6
나만 어려웠냐..?
-
아니면 이조차도 이룰수없는 꿈인가
-
움짤 투척 4
짱 이쁘당
-
여유부리면서 오랜만에 자습중인 1인 헤헤=)
-
지원없고 돈이 많이필요한상황이면 1000만원어케마련함??하 알바도할게없어돈도많이안주고;
-
우사기ㅣ!!! 13
https://youtu.be/jgYVHsjXrIA?si=qnHPDyALHVWwQF-...
-
님들 나이에는 총의치는 힘드니까 국소의치 쓰세요
-
1명 풀커리 타고 n제 풀려고 하는데 누가 좋을까요? 섞어듣는 건 비추인가요?...
-
재학생입영원 마지막날 16
꿈도 희망도 없으면 7ㅐ추 시발
-
캬
-
이런 거 머리아프고 결과값만을 응용하는 게 관심있다면.. 자연대보다는 공대 파일까요?
증명보다는 대수적인 계산을 좋아하는 쪽이요 ㅋㅋ
프로그래밍도 알고리즘을 유도하는 것보다는 뭔가를 뚝딱뚝딱 만드는 게 좋아서리 ㅋㅋ
문과 파이
들켰노!
상경대에 적합한 인재상이 아닐지!
하긴 요즘은 마케팅이든 인사든 금융이든..
경영학과 전반에서 digital transformation 할 게 너무 많아서요 ㅋㅋㅋ