수학 (탐구)

[수학] 연속함수는 두 극값 사이에 극값이 존재함을 증명

수학올인 2023. 5. 22. 23:51
반응형

[수학] 연속함수는 두 극값 사이에 다른 극값이 존재함을 증명

 

안녕하세요 수학올인입니다.

 

이번 포스팅에서는 연속함수의 성질 중 하나인 

 

두 극대 사이에 무조건 극소가 되는 지점이 존재한다 or

두 극소 사이에 무조건 극대가 되는 지점이 존재한다

 

에 대해 다뤄보려고 합니다.

즉, 어떤 연속함수 f(x)든 간에 극대 2개 또는 극소 2개를 연달아 가질 순 없다는 얘기죠.

 

우선 직관적으로 우리가 아는 함수들을 생각해보거나, 직접 그림을 그려봐도

두 극대 사이엔 무조건 극소가 존재합니다. 반대도 마찬가지구요.

 

그런데 그림으로 보면 당연한 것 같지만, 수식으로 풀어서 증명하려면 어떻게 해야 할까요?

원래 당연하다고 생각되는것도 글로 풀어서 쓰려면 막히기 마련입니다.

 

우선 미분가능하다는 조건이 없으니 미분을 쓸 수는 없구요. 

극대, 극소에 관련된 내용이니 극대, 극소의 정의를 써야할 것 같은데, 상당히 애매하죠..?

 

이 글에서는 극대, 극소의 정의와 최대최소 정리를 사용해서 본 주제에 대한 증명을 해보겠습니다.

그럼 시작할게요.

 

 

 

연속함수의 극값에 대한 명제 - 증명

정리
1. 연속함수 f(x)x=a,b에서 극대를 가지면 f(x)x=c에서 극소인 

   c(a,b)가 적어도 하나 존재한다.

2. 연속함수 f(x)x=a,b에서 극소를 가지면 f(x)x=c에서 극대인
   c(a,b)가 적어도 하나 존재한다.

증명은 1만 하면 충분합니다. 

 

우선, 함수 f(x)의 정의역을 axb로 제한한 함수를 g(x)라고 새로 정의하겠습니다.

그럼 가정으로부터 x=a,b에서 함수 f(x)는 극대이므로, g(x)도 극대이고 따라서 

x=a 근방에서 

g(x)g(a)

가 성립하며

x=b 근방에서

g(x)g(b)

가 성립합니다.

 

한편 g(x)는 닫힌 구간에서 연속이므로, 최대 최소정리를 이용하면 최소가 되는 지점이

무조건 존재합니다. (이 지점을 x=c라고 하겠습니다.)

 

그럼 x=c가 위치할 수 있는 경우는 아래와 같이 3가지입니다.

 

1. a=c인 경우

2. b=c인 경우

3. c(a,b)인 경우

 

그런데, 1과 2의 경우 바로 위에서 언급한 극대의 정의로부터 최소가 될 수는 없습니다.

따라서 남은 경우는 3 뿐이며, c(a,b)인 어떤 실수 c에 대해 함수 f(x)

x=c에서 최소를 가집니다. 한편 최소가 된다면 그 지점은 극소이므로, 두 극대 x=a,b 사이에

극소 x=c가 존재하고, 증명이 완료됩니다.

 

만약 두 극소 사이에 극대가 존재함을 증명하려면 여기서 부등호만 전부 뒤집어주면

원하는 증명이 됩니다. 직접 해보세요!

 

언뜻 보면 미분을 사용해야만 할 것 같은 명제인데, 미분이 없이 증명된다는 점,

그리고 평소에 잘 사용되지 않는 최대 최소 정리를 이용해서 증명된다는 점이 

신기하지 않으신가요?

 

이번 포스팅은 여기까지입니다.

오류, 오타 또는 궁금하신 점이 있으시면 댓글로 남겨주세요~

반응형