미적분학의 기본 정리 (FTC) 증명
게시글 주소: https://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
-
난 항상 글을쓸때 0 1
주변인에개 당당하게 보여줄수있는 내용만 씀
-
아!! 옯평 다운 머임 0 0
이정도면 대공황인데
-
ㄴ퍼리충 0 1
ㅇㅇ
-
절대연령 외행탐만 계속 틀리는데 각잡고 파야하나
-
오늘도 좆뺑이치고 집에 와서 쳐잘건데 뭔가 난 재능이 없고 뭘 해도 좆망할것같아서...
-
ㄴ미소녀 3 0
-
집공부 힘들다 3 1
내일은 나가는게 맞겠지
-
먹고 싶다 3 0
분명 맛있겟지???
-
재수 115일차! 0 0
저녁에 독서실에서 할려했는데 그냥 포기했습니다 일주일 잇올 다닌 소감 : 하루에...
-
아시발싼다...! 1 0
찌익
-
2026 서강대 논술 입결 1 0
.
-
뻘글이니 들어오지 마세요 6 4
라면먹고싶다 라면 위에 스테이크 올리고 싶다 라면 익기 조금 전에 미나리든 시금치든...
-
한국사 자작(?) 문제 10 1
안녕하세요, 스타로드입니다. 아까 통합사회 자작 문제를 올렸는데 상상도 못한...
-
히카루 그리고.. 모르는 눈나들
-
2026 서강대 정시 입결 1 0
.
-
재수 114일차! 2 0
이건 어제꺼~
-
ㄴ한남 2 1
-
에휴 1 0
옯평
-
예전에 만두말랑이로 뜨듯하게 데워서 주물럭 거리는건 봤어도 10 1
한라봉은 진짜 ㅋㅋㅋㅋㅋㅋ 튀어나온 무언가 까지 고증 완료..
-
ㅖ
-
너네 한라봉 주물러본 적 있니 21 1
동생이 수악여행 다녀와서 이걸하나 내 방에 떤져두고 갔는데이게 스트레스 해소용...
-
난야@코안봄 8 3
2d인물만꼴려서 히토미만 봄
-
2028 카이스트 정시 폐지 3 0
.
-
쨋든 님들도 안들어가지는거?
-
학교에밴드티를입고가기 2 1
교복안에입는티셔츠로밴드티를입을것임 으흐흐
-
옯평은 음지의 영역이 맞다. 3 0
-
수시충 5모 인증 1 0
사문 2번은…ㅠㅠ
-
반수 해보신분들 0 0
반수생한테 가장 중요하다고 생각하시는 거 있나요..? 경험자분들의조언이듣고싶음..
-
5모 수학 망햇더니 3 1
국어 풀기 싫어짐..
-
뭐사지 3 2
마음같아선 두개다사고싶지만 돈이없음
-
내신망한수시충<---이자식은 1 3
센츄리온이면서 설대 못 간다 어쩌고저쩌고하고 있는 09의 ㄹㅈㄷㄱㅁ자임 그렇게 알고 계세요!
-
이해원 미적 미친거아니야 0 0
6일차 뭐야 개미친넘이네 나 자존감 떨어져...
-
라면을먹자 1 1
-
인생 망했네 0 0
또 망햇네
-
오 뭐야 ㅇㅈ메타 재밌겠다 5 1
팝콘 뜯어야지~
-
ㅇㅈ 6 0
응
-
인증하기 망설여지는 이유는 3 1
다들 내 안중에도 없다! 를 기대하고 들어왔는데 그 기대를 배신하는 못생긴 얼굴을...
-
화짱조 강제추방령에 고토 수복 ㅇㅈㄹ하더니 만주 침공 후 6주컷 만주 점령 성공...
-
주식으로 따지면 본장 시작 전 숏인가
-
ㅅㅂ 내신 영어는 나도 출제할 수 있을듯
-
햄 얼굴 공개 0 0
네
-
죄송합니다.. 6 1
너무 뻘글만 쓰고 있었던거 같네요.. 글 쓰는거 자제할게요...
-
확통 학원 or 문풀 양치기 0 0
확통을 너무 못해서 현강 다닐지 아니면 지금보아 확통에시간을 더쓸지 고민인데...
-
자기전에무물 18 1
휴릅이요? 그런건 없어요..삼칠한테한두번속니올뿌이드라.
-
짠 6 1
고딩때 펑!
-
얼굴이 궁금한 사람들이 몇분 계세요 18 1
저도 열심히 인증했으니 다들 얼굴을 보여주시죠!!
-
슬퍼 1 2
라면을 못 먹어서
-
국어 과외 시급 0 0
24 25 26 언매 수능 현장 응시해서 백분위 100 받고 작년엔 재종 질문 조교...
-
공부기록(41) 23 5
6모를 최상의 컨디션으로 보기 위해 아침 6시 기상하기
-
신자유주의가 보이지 않는 손을 강조했다고 하면 틀린 말일까? 4 0
나는 틀리지 않았다는 쪽에 一票를 던지고 싶은데
이런 거 머리아프고 결과값만을 응용하는 게 관심있다면.. 자연대보다는 공대 파일까요?
증명보다는 대수적인 계산을 좋아하는 쪽이요 ㅋㅋ
프로그래밍도 알고리즘을 유도하는 것보다는 뭔가를 뚝딱뚝딱 만드는 게 좋아서리 ㅋㅋ
문과 파이
들켰노!
상경대에 적합한 인재상이 아닐지!
하긴 요즘은 마케팅이든 인사든 금융이든..
경영학과 전반에서 digital transformation 할 게 너무 많아서요 ㅋㅋㅋ