요약
이 수업은 강좌의 마지막 단원을 연다. 이 단원은 도함수가 한 점에서 말해 주는 것에서 한 구간에서 말해 주는 것으로 나아간다. 먼저 단원의 경로를 보여 준다. 바이어슈트라스 정리는 유계인 닫힌구간에서 연속인 함수가 최댓값과 최솟값을 가짐을 보장하고, 페르마의 정리는 그 위치를 도함수가 영이 되는 곳으로 좁히며, 롤, 라그랑주, 코시의 정리는 도함수의 부호를 구간 전체에 관한 정보로 바꾸고, 이들로부터 로피탈의 정리, 단조성, 극값 판정법, 오목·볼록, 곡률, 최적화, 뉴턴-랩슨 방법이 나온다. 이어서 페르마의 극댓값 구하는 방법에서 다르부 정리까지 이 성과들의 역사를 단원의 순서와 거의 반대인 순서로 다시 구성한다. 또 단원을 관통하는 문제, 곧 국소에서 대역으로의 이행을 정식화하고, 이 이행이 실수의 완비성에 달려 있음을 유리수에서의 예로 보인다. 끝으로 이 응용들이 사이트의 다른 강좌와 과학과 기술의 어디에서 쓰이는지를 짚는다.
학습 목표
- 단원의 경로를 설명하고, 각 수업이 무엇을 증명하며 앞서 얻은 어떤 정리와 명제를 이용하는지 설명한다.
- 최댓값의 존재, 단조성, 어떤 방법의 수렴처럼 함수에 관한 대역적 결과가 왜 도함수 외에 실수의 완비성을 필요로 하는지 설명한다.
- 페르마의 극댓값 구하는 방법에서 다르부 정리까지 단원의 성과들을 역사적 맥락 속에 놓고, 그것들이 발견된 순서와 증명되는 순서를 구별한다.
- 도함수의 응용이 다른 강좌와 과학 및 기술의 응용에서 어디에 쓰이는지 짚는다.
입문 평가
단원을 공부하기 전에 출발점을 재어 보는 것이 좋다. 이 자기 평가는 점수를 매기지 않는다. 어디에서 멈추어 공부해야 할지 알기 위한 것이다. 처음 아홉 문항은 단원의 내용 수업 아홉 개를 차례로 하나씩 다루며, 외워 두는 진술이 아니라 그 중심 정리의 이해(무엇을 보장하는지, 어떤 가정 아래에서인지, 무엇을 보장하지 않는지)를 잰다. 같은 기능은 마지막 종합 수업에서 다른 자료로 다시 잰다. 마지막 다섯 문항은 이 단원이 앞의 두 단원에서 이미 안다고 전제하는 것을 확인한다. 곧 볼차노 정리, 한 점에서의 미분계수의 부호, 이계도함수, 음함수의 미분법, 동치인 무한소이다.
단원을 시작하기 전에 출발점을 확인해 보세요. 짧은 자기 평가입니다. 점수가 매겨지지 않으며 결과는 브라우저에만 저장됩니다.
문제 1바이어슈트라스 정리가 함수가 주어진 집합에서 최댓값을 가짐을 보장하는 것은 아래 가운데 어느 경우인가?
함수는 연속이고 유계이지만 은 유계인 구간이 아니므로 정리를 적용할 수 없다. 실제로 최댓값은 없다. 함숫값은 에 가까워지지만 그 값에 이르지 않는다.구간이 닫혀 있지 않다. 최댓값이 있을 끝점 이 빠져 있다. 함숫값은 에 가까워지지만 그 값에 이르지 않는다.구간은 유계인 닫힌구간이지만 함수가 에서 연속이 아니다. 좌극한은 이고 함숫값은 이다. 함숫값은 에 가까워지지만 그 값에 이르지 않는다.함수는 다항식의 절댓값이므로 연속이고, 구간은 유계인 닫힌구간이다. 정리는 미분가능성을 요구하지 않는다. 는 에서 미분가능하지 않으며, 그곳에서 최솟값 을 갖고, 최댓값 은 에서 갖는다.문제 2함수 는 에서 미분가능하고, 이며 (모든 에 대하여)이다. 에 대하여 무엇을 보장할 수 있는가?
도함수가 구간 전체에서 라고 가정했다. 가정은 도함수의 크기를 제한할 뿐이다. 상수함수 은 조건을 만족하고 값 을 에서 갖는다.증분 대신 값을 제한했다. 평균값 부등식이 제한하는 것은 이고, 이 아니다. 함수 는 가정을 만족하고 값 을 에서 갖는다.알 필요가 없다. 평균값 정리는 접선의 기울기가 현의 기울기와 같아지는 점이 어디인지 몰라도 도함수의 상계를 증분의 상계로 바꾼다.평균값 정리에 의해 (는 의 어떤 점)이고 이다. 이것이 평균값 부등식이다. 두 끝값은 각각 함수 와 함수 로 실제로 얻어지므로, 그 이상은 보장할 수 없다.문제 3를 구하여라.
로피탈의 정리는 도함수의 비가 극한을 가지면 함수의 비도 같은 극한을 가진다고 주장한다. 극한을 갖지 않으면 이 정리는 아무것도 말해 주지 않으며, 극한은 존재할 수 있다.이 인수는 진동하지만 유계이고, 여기에 곱해진 은 으로 가며, 그 속도는 보다 빠르다.를 로 바꾸었다. 동치인 무한소인 것처럼. 사인과 그 변수의 동치는 변수가 으로 갈 때 성립하는데, 는 으로 가지 않는다.가 에 가까울 때 몫은 이다. 첫째 인수는 로 가고, 둘째 인수는 으로 간다. 이기 때문이다. 로피탈의 정리로는 판정할 수 없다. 도함수의 비 는 극한을 갖지 않는다.복습: 로피탈의 정리
문제 4에서 함수 는 엄격하게 증가하는가?
엄격한 단조성을 막는 것은 도함수의 영점의 개수가 아니라 도함수가 한 구간 전체에서 영이 되는 것이다. 여기서는 영점들이 고립되어 있다.양의 도함수는 엄격하게 증가하기에 충분하지만 필요하지는 않다. 은 에서 엄격하게 증가하고, 그 도함수는 에서 영이 된다.코사인은 진동하지만 가 올라가는 것보다 빨리 내려가는 일은 결코 없다. 합의 도함수 는 결코 음수가 되지 않는다.도함수는 고립된 점 (는 정수)에서만 영이 된다. 도함수가 음이 아닐 때의 엄격한 단조성 명제에 의해 는 에서 엄격하게 증가한다.복습: 단조성과 일계도함수 판정법
문제 5함수 는 에서 연속이고 의 각 점에서 미분가능하며(단, 은 제외), 그 도함수는 에서만 영이 된다. , , , , 일 때, 에서의 최댓값과 최솟값은 무엇인가?
함수가 미분가능하지 않은 점을 빠뜨렸다. 그 점들도 임계점이며, 에서 함숫값은 이다.구간의 끝점에서의 값만 비교했다. 최댓값·최솟값은 내부의 임계점에서 나타날 수도 있다.후보에서의 값으로 충분하다. 명제는 최댓값·최솟값이 그 가운데 어느 하나에서 나타남을 보장하고, 후보를 모두 제시한다.유계인 닫힌구간에서의 최댓값·최솟값 명제에 의해 그것들은 존재하며 , 또는 임계점에서 나타난다. 임계점은 미분계수가 없는 과, 도함수가 영이 되는 이다. , , , 를 비교하면 충분하다. 는 후보가 아니므로 그곳에서의 값은 관계가 없다.복습: 함수의 극값과 최댓값·최솟값
문제 6의 변곡점은 무엇인가?
이 영이 되는 것은 필요하지만 충분하지 않다. 오목·볼록이 바뀌어야 하며, 은 에서 그것이 바뀌지 않을 수 있음을 보여 준다.그것들은 임계점, 곧 접선이 수평인 점이다. 변곡점은 오목·볼록이 바뀌는 점이며, 그것을 결정하는 것은 일계도함수가 아니라 이계도함수이다.삼계도함수 판정법은 충분조건을 주며, 적용되지 않을 때는 아무것도 판정하지 않는다. 에서는 적용된다. 이고, 이는 영이 아니다.이계도함수 은 에서 부호가 바뀐다. 에서는 바뀌지 않는데, 양쪽에서 음이기 때문이다. 근처에서 함수는 양쪽 모두 위로 볼록하고, 은 변곡점이 아니다. 그곳에서 이 영이 되더라도 그렇다.복습: 오목·볼록과 변곡점
문제 7의 그래프의 점 에서의 접촉원은 무엇인가?
접선이 같고 반지름도 맞지만 반대쪽으로 휘어 있다. 그 중심은 점의 아래쪽에 있는데, 이므로 곡률 중심은 점의 위쪽에 있다.수 는 곡률이지 반지름이 아니다. 곡률 반지름은 그 역수이다.을 반지름으로 쓰고 중심을 점을 지나는 연직선 위에 놓았는데, 이는 접선이 수평일 때만 성립한다. 여기서는 기울기가 이고, 인수 은 이 아니다., 이므로 반지름은 이고, 중심은 법선, 곧 직선 위에 있으며, 그 점에서 이 거리만큼 떨어져 그래프가 휘는 쪽에 있다. 이므로 점의 위쪽이다.복습: 곡률과 곡률 반지름
문제 8포물선 위의 점 가운데 점 에 가장 가까운 것은 무엇인가?
포물선의 가장 낮은 점이지만 에 가장 가까운 점은 아니다. 그 거리는 이고, 종좌표가 인 점들의 거리는 이다. 임계점 은 에 대해서는 극댓값을 갖는 점이다.를 길이인 것처럼 여겨 음의 근을 버렸다. 그것은 횡좌표이므로 음수일 수 있고, 세로축에 대하여 대칭인 점도 같은 거리에 있다.점과 그래프 사이의 거리 명제는 처럼 끝점을 포함하는 구간에서 연속인 함수에 대해 최솟값을 보장한다. 멀리 있는 점들은 멀고, 최솟값은 유계인 닫힌구간에서 찾으면 된다.거리의 제곱 을 최소로 하면 충분하며, 점과 그래프 사이의 거리 명제에 의해 이것은 에서 최솟값을 갖는다. 그 도함수 은 과 에서 영이 되고, 이 두 점에서의 값 는 보다 작다.복습: 최적화 문제
문제 9함수 은 에서 증가하고 아래로 볼록하며, 그 근은 으로 에 가깝다. 에서 시작하면 뉴턴-랩슨 반복값은 어떻게 되는가?
근의 왼쪽에서는 증가하고 아래로 볼록한 함수의 접선이 그래프 아래에 있으므로 근의 오른쪽에서 가로축과 만난다. 단조로운 근사를 위해서는 가 양인 점에서 출발해야 한다.정리는 에서부터는 적용되지 않지만 에서부터는 적용된다. 따름정리는 첫 번째 수정이 알맞은 쪽으로 데려감을 보여 준다.근을 넘는 것은 첫 번째 수정뿐이다. 부터는 모든 반복값이 근의 오른쪽에 머문다.에서 함수는 음이다. 이것은 잘못된 쪽이다. 반대쪽에서 시작하는 초깃값의 따름정리에 의해, 첫째 반복값은 가 양인 곳에 떨어지고, 거기서부터 단조 수렴 정리에 의해 반복값들은 근을 향해 감소한다. 둘째 반복값은 이며 에 가깝다.복습: 뉴턴-랩슨 방법
문제 10이전 단원에서함수 는 에서 연속이고 , 이다. 무엇을 보장할 수 있는가?
정리는 존재를 보장할 뿐 유일성을 보장하지 않는다. 는 가정을 만족하고 세 점에서 영이 된다. 유일성을 위해서는 더 많은 것, 예를 들어 함수가 엄격한 단조함수라는 조건이 필요하다.두 값으로는 단조성이 결정되지 않는다. 그 사이에서 함수는 처럼 올라갔다 내려갔다 할 수 있다.중점은 이분법이 처음 살피는 점이지만 근은 다른 곳에 있을 수 있다. 은 가정을 만족하고 에서 영이 된다.볼차노 정리이다. 유계인 닫힌구간에서 연속이고 끝점에서 부호가 반대인 값을 갖는 함수는 내부의 어떤 점에서 영이 된다.복습: 사잇값 정리
문제 11이전 단원에서함수 는 를 포함하는 열린구간에서 정의되고, 이다. 무엇을 보장할 수 있는가?
한 점에서의 미분계수는 그 주위의 단조성을 통제하지 못한다. 값이 (일 때), (에서)인 함수는 미분계수 을 에서 갖지만, 을 포함하는 어떤 열린구간에서도 증가하지 않는다.이 명제는 국소적이다. 근처에서만 성립한다. 사인은 미분계수 을 에서 갖고, 값 을 에서 갖는다.가정은 에서의 미분계수에 대해서만 말한다. 는 가까운 점들에서 미분가능하지 않을 수 있고, 미분가능하더라도 그 도함수가 에서 연속이 아닐 수 있다.한 점에서의 미분계수의 부호 명제이다. 평균변화율은 근처에서 그 극한의 부호를 유지한다. 이 명제는 가까운 각 값을 와 비교하는 것이지, 가까운 값들끼리 비교하는 것이 아니다.복습: 변화율과 관련된 변화율
문제 12이전 단원에서을 구하여라. 단, 이다.
이것은 , 곧 일계도함수이다. 한 번 더 미분해야 한다.더해지는 항 의 도함수가 빠졌다. 이 항은 의 일부이며, 그 도함수는 이다.인수들의 이계도함수끼리 곱해 로 했다. 곱의 이계도함수는 이계도함수들의 곱이 아니다.곱의 미분법에 의해 이고, 한 번 더 미분하면 이다. 에서는 로그가 영이 된다.복습: 고계도함수와 미분
문제 13이전 단원에서방정식 은 점 근처에서 미분가능한 함수 를 정하며, 이다. 의 값은 얼마인가?
를, 가 상수인 것처럼 미분했다. 곱의 미분법에서 나오는 항 이 빠졌다.을 로 미분하고 을 곱하지 않았다. 는 에 의존하므로 연쇄 법칙에 의해 이 된다.식을 풀 때 부호를 잃었다. 에서 나오는 것은 이다.에 대하여 미분하면서 에는 곱의 미분법을, 에는 연쇄 법칙을 쓰면 을 얻는다. 점 에서는 이 된다.문제 14이전 단원에서을 구하여라.
을 와 동치인 식으로 잡았다. 동치인 식은 이다.뒤집은 몫의 극한이다. 분자와 분모를 바꾸어 놓았다.이 꼴은 몫의 극한에 관한 정리를 적용할 수 없다는 것만 알려 준다. 극한은 존재할 수 있으며, 여기서는 존재한다.일 때 , 이며, 분자와 분모를 각각 동치인 식으로 바꾸면 몫은 이다.복습: 동치인 무한소와 무한대
콘텐츠를 불러오는 중…