최근 수정 시각 : 2022-08-16 00:09:55

중간값 정리


파일:나무위키+유도.png  
은(는) 여기로 연결됩니다.
현대자동차그룹에서 사용하는 무단변속기 IVT에 대한 내용은 CVT 문서
번 문단을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
참고하십시오.
해석학 · 미적분학
Analysis · Calculus
{{{#!wiki style="word-break: keep-all; margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px; letter-spacing: -1px"
<colbgcolor=#8f76d6> 함수 합성 · 항등원 · 역원 · 멱함수( 비례·반비례) · 초등함수( 대수함수 · 초월함수) · 특수함수 · 범함수( 변분법) · 다변수 ( 동차 · 숨은 함수( 다가 함수)) · 그래프 · 대칭 · 증감표 · 극값 · 영점 · 연속 · 매끄러움 · 계단형 · 미끄럼틀형 · 볼록/오목 · 닮은꼴 함수 · 병리적 함수 · 해석적 연속 · 로그함수 · 지수함수 · 삼각함수
정리 · 토픽 좌표계 · 중간값 정리 · 최대·최소 정리 · 부동점 정리 · 오일러 동차함수 정리 · 립시츠 규칙 · 스펙트럼 정리
극한 엡실론-델타 논법( 수열의 극한) · 수렴 ( 균등수렴) · 발산 · 부정형 · 어림( 유효숫자 · 오차 · 불확도) · 근방 · 점근선 · 무한대 · 무한소 · 스털링 근사
정리 · 토픽 로피탈의 정리 · 슈톨츠-체사로 정리
수열
급수
규칙과 대응 · 단조 수렴 정리 · 멱급수 · 테일러 급수 ( 일람) · 조화급수 · 그란디 급수 · 망원급수 ( 부분분수분해) · 오일러 수열 · 베르누이 수열 · 파울하버의 공식 · 리만 재배열 정리
정리 · 토픽 바젤 문제 · 라마누잔합 · 0.999…=1 · 콜라츠 추측미해결
미적분 미분 도함수 ( 편도함수) · 도함수 일람 · 차분 · 유율법 · 변화량 · 변분법 · 곱미분 · 몫미분 · 연쇄 법칙 · 역함수 정리 · 임계점 ( 변곡점 · 안장점) · 미분형식 · 미분방정식 ( 풀이) · [math(boldsymbolnabla)] · 라그랑주 승수법
적분 역도함수 일람 · 부분적분 ( LIATE 법칙 · 도표적분법 · 예제) · 치환적분 · 정적분 ( 예제) · 이상적분 · 중적분 ( 선적분 · 면적분 · 야코비안) · 르베그 적분 · 스틸체스 적분 · 코시 주요값
정리 · 토픽 미적분의 기본정리 ( 선적분의 기본정리) · 평균값 정리 ( 롤의 정리) · 스토크스 정리 ( 발산 정리 · 그린 정리) · 라플라스 변환 · 푸리에 해석 ( 푸리에 변환 · 아다마르 변환) · 2학년의 꿈 · 리시 방법

해석
실수 · 측도론 ( 측도 · 르베그 측도) · 실직선 · 유계( 콤팩트성) · 칸토어 집합 · 비탈리 집합
정리 · 토픽
복소
해석
복소수( 복소평면) · 편각 · 코시-리만 방정식
정리 · 토픽 오일러 공식 ( 오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
여타 하위 학문 해석기하학 · 미분기하학 · 해석적 정수론 ( 소수 정리 · 리만 가설미해결) · 벡터 미적분학( 야코비 공식) · 확률론 ( 확률변수 · 중심극한정리) · 수치해석학 ( 유한요소해석 · 전산유체역학)
기타 뉴턴-랩슨 방법 · 디랙 델타 함수 · 카오스 이론 · 오일러 방정식 · 퍼지 논리 · 거리함수 · merry=x-mas
응용 수리물리학 · 수리경제학( 경제수학) · 공업수학 }}}}}}}}}


1. 개요2. 명칭 개정 문제3. 설명
3.1. 다른 증명3.2. 중간값 정리의 활용
3.2.1. 중간값 정리로부터 완비성 공리의 유도
4. 다르부의 중간값 정리5. 중등 교육6. 관련 문서

1. 개요

해석학의 한 이론. 구간에서 연속인 함수에 대해서 구간에 대한 함수의 상도 구간으로 나온다는 정리이다.

2. 명칭 개정 문제

대한수학회 기준으로는 '정리'만큼은 중간값 정리 또는 중간값(의) 정리로 표기되어있다(사잇값 정리 또는 사이값 정리는 미인정). 단, '값'에 한정하여서는 사잇값도 인정하고 있다.

2007 개정 교육과정까지는 '중간값의 정리'라고 하였으나 2009 개정 교육과정에 '사이값 정리'라고 바꿔 표기하였다. 단, 사전적으로는 '사잇값'이라고 사이시옷을 써야 맞으며 2009 개정 교육과정 최종수정본에는 '사잇값 정리'라고 되어있긴 하다. 2015 개정 교육과정에서는 '사잇값 정리'로 표기되고 있다.

3. 설명

함수 [math(f)]가 [math(\left[a,b\right])]에서 연속이고 [math(k)]가 [math(f\left(a\right))]와 [math(f\left(b\right))]사이의 임의의 값이라 하자. 당연히 [math(f\left(a\right)\neq f\left(b\right))]임을 가정한다. [math(f\left(a\right)<k<f\left(b\right))]와 [math(f\left(b\right)<k<f\left(a\right))]의 두 가지 경우가 있는데 전자를 가정하며, 후자의 경우에는 [math(g=-f)]로 정하고 [math(g)]에 대해 정리를 적용하여 증명할 수 있다.

[math(A=\left\{x\in\left[a,b\right]|f\left(x\right)<k\right\})]라고 하자. 이때 [math(c=\sup A)]로 정의한다.[1] [math(f)]가 [math(\left[a,b\right])]에서 연속이므로, 적당한 [math(\delta _1>0)]가 존재하여 [math(\forall x\in\left[a,a+\delta _1\right) : f\left(x\right)<k)]이고, 적당한 [math(\delta_2>0)]가 존재하여 [math(\forall x\in\left(b-\delta _2,b\right]: f\left(x\right)>k)]이다.[2] 따라서 [math(a<c<b)]이다. 또한 [math(f\left(c\right)<k)]이면 f의 연속성에 의해 [math(f\left(c+\alpha\right)<k)]인 [math(\alpha >0 )]가 존재하게 되어 모순이므로, [math(f\left(c\right)\geq k)]이다.

한편 상한(supremum)의 정의에 의해 임의의 [math(\epsilon >0)]에 대하여 [math(c-\epsilon<x\leq c )]인 [math(x\in A)]가 존재한다. 그러면 f의 연속성에 의해 임의의 [math(\delta >0)]에 대하여 [math(f\left(c\right)<f\left(x\right)+\delta)]인 [math(x\in A)]가 존재하게 된다. 여기서 [math(f\left(x\right)<k)]이므로 [math(f\left(c\right)<k+\delta)]가 성립한다. 이는 곧 [math(f\left(c\right)\leq k)]라는 뜻이다. 따라서 [math(f\left(c\right)=k)]이다.

3.1. 다른 증명

위상수학의 관점에서 증명을 할 수도 있다. 연결집합을 이용하는 방법인데, 연결집합이란 공집합이 아닌 두 열린 집합으로 쪼갤 수 없는, 즉 분할(separation)을 찾을 수 없는 집합이다. 여기서 열린 집합이란, 열린 구간처럼 경계를 포함하지 않는 집합이며 열린 집합 S와 이 집합의 경계점들의 집합인 경계 [math(Bd\left(S\right))]의 합집합을 [math(S)]의 폐포(closure)라 하고[3] [math(\overline{S})]로 나타낸다. 이제 중간값 정리를 다시 표현하면 다음과 같다.
[math(f)]가 연결집합 [math(D)]에서 정의된 연속인 실함수일 때, [math(a,b\in f\left(D\right))]이고 [math(a<c<b)]이면 [math(f\left(p\right)=c)]인 [math(p\in D)]가 존재한다.
이에 대한 증명은 다음과 같다.
모든 [math(p\in D)]에 대하여 [math(f\left(p\right)\neq c)]이면 [math(f\left(p\right)>c)] 또는 [math(f\left(p\right)<c)]이다. [math(U=\left\{p\in D:f\left(p\right)>c\right\},V=\left\{p\in D:f\left(p\right)<c\right\})]라 하자. [math(f)]가 연속이므로 [math(U)]와 [math(V)]는 [math(D)]의 열린 집합이다. [math(a,b\in f\left(D\right))]이므로 [math(f\left(p_{1}\right)=a,f\left(p_{2}\right)=b)]인 [math(p_{1},p_{2}\in D)]가 존재한다. 그런데 [math(a=f\left(p_{1}\right)<c<f\left(p_{2}\right)=b)]이므로 [math(p_{1}\in V,p_{2}\in U)]이다. 따라서 [math(V\neq\varnothing,U\neq\varnothing)]이다. 그리고 [math(\bar{U}\cap V=U\cap\bar{V}=\varnothing)]이고 [math(D=U\cup V)]이다. 따라서 [math(D)]는 연결집합이 아니고, 이는 가정에 모순된다. 따라서 어떤 [math(p\in D)]에 대하여 [math(f\left(p\right)=c)]이다.

그런데 사실 위 증명은 다른 정리의 증명에서 찾을 수 있는 것인데, 다름 아닌 실수 집합의 어떤 부분집합이 연결집합일 필요충분조건은 이 부분집합이 구간(interval)이어야 한다는 것이다는 것의 증명이다. 실수 집합의 구간은 여기에 포함된 임의의 [math(x, y)]에 대하여 [math(x < c < y)]인 임의의 실수 [math(c)] 역시 이 집합에 포함되는 실수 집합의 부분집합으로 정의된다. 여기서 [math([a, b])]가 이 조건을 만족한다는 것을 보일 수 있다.[4] 그러면 연결집합의 연속상(continuous image) 역시 연결집합이라는 성질 때문에 [math(f([a, b]))][5] 역시 연결집합, 곧 구간임을 알 수 있다. 그러면 [math(f(a))]와 [math(f(b))] 사이에 있는 임의의 [math(y \in \mathbb{R})]은 [math(f([a, b]))]에 포함될 것이고 따라서 [math(y = f(c))]인 [math(c \in [a, b])]를 항상 찾을 수 있는 것으로 또다른 방식의 증명을 마칠 수 있다. 즉, 중간값 정리는 본질적으로 연결집합이라는 위상적 성질로부터 비롯된 것이라고 간단하게 증명할 수 있는 것이다. 하지만 실수집합에서 구간 = 연결집합인 것을 보이는 것이 훨씬 어렵다는 게 함정이다

3.2. 중간값 정리의 활용

고교과정에서 자주 쓰이는 활용으로는 방정식의 근의 위치를 추정하는 것이다. 만약 [math(f\left(a\right)f\left(b\right)<0)]이고 [math(f)]가 연속이면 [math(\left(a,b\right))]사이에 근을 적어도 하나 가진다. 왜냐하면 0이 [math(f\left(a\right))]와 [math(f\left(b\right))]사이에 존재하기 때문. 하지만 이것만으로는 근의 개수를 알 수 없다.

실생활에서 쓰일만한 또다른 활용은 테이블이 흔들리지 않게 하는 위치를 찾는것이다. 테이블 다리가 바닥에 닿는점을 각각 A, B, C, D라 하자. 그리고 A, B, C에 의해 평면이 결정되어있다고 하자[6]. 3변수 함수 [math(f)]를 점에서 평면 ABC까지의 수직 거리라 정의하면 [math(f\left(D\right)>0)]이고 나머지 점의 함수값은 0이 된다. 점 D와 마주보는 점을 B라 하면 [math(f\left(B\right)-f\left(D\right)<0)]이고 테이블을 180도 돌리면 A와 C, B와 D의 위치가 바뀌고 [math(f\left(B\right)-f\left(D\right)>0)]이 된다. 또한 [math(f\left(B\right)-f\left(D\right))]의 값은 연속적인 값이므로 중간값의 정리에 의해 [math(f\left(B\right)-f\left(D\right)=0)], 즉 테이블이 흔들리지 않게 되는 점이 180도 회전할 때 적어도 하나 존재하게 되는 것이다.

같은 원리로 임의의 순간 지표면 어딘가에는 지구 반대편과 기온과 기압이 같은 위치가 존재한다는 걸 보일 수도 있다. 지구 반대편과의 온도차를 [math(f)]라 두면 [math(f)]는 연속이고 지구를 반바퀴 돌면 [math(f)]의 값이 -1이 곱해지므로 [math(f=0)]인 지점이 존재할 것이다. 그런데 지표면은 3차원 지구의 2차원 표면이므로 [math(f>0)]인 구간과 [math(f<0)]인 구간을 나누는 [math(f=0)]인 고리가 존재하거나 항상 [math(f=0)]이거나 할 것이다. 이 고리 위에 지구 반대편과의 기압차 [math(g)]를 정의하면 같은 방법으로 [math(g=0)]인 지점이 있음을 보일 수 있다.

3.2.1. 중간값 정리로부터 완비성 공리의 유도

완비성 공리로부터 중간값 정리의 유도는 많은 책에 나와있지만 중간값 정리로부터 완비성 공리를 유도할 수도 있다. [math(S)]를 실수의 부분집합으로써 위로 유계이고 공집합이 아닌 임의의 집합이라고 하고 상한이 존재하지 않는다고 가정하자. 실함수 [math(f)]를 [math(x)]가 [math(S)]의 상계인 경우에 [math(f(x)=1)], [math(x)]가 [math(S)]의 상계가 아닌 경우에 [math(f(x)=0)]이라고 하자. [math(x)]가 [math(S)]의 상계가 아니라면 [math(x)]보다 큰 [math(S)]의 원소 [math(y)]가 존재하고 [math(\delta=y-x)]라고 하면 [math((x-\delta,x+\delta))]에서 [math(f(x)=0)]이므로 [math(x)]에서 연속이며 [math(x)]가 [math(S)]의 상계라면 [math(x)]는 최소상계가 아니므로 [math(x)]보다 작은 [math(S)]의 상계 [math(y)]가 존재한다. 이제 [math(\delta=x-y)]라고 하면 [math((x-\delta,x+\delta))]에서 [math(f(x)=1)]이므로 [math(x)]에서 연속이다. 또한 [math(S)]가 공집합이 아니고 유계인 실수의 부분집합이므로 [math(f(a)=1)]인 [math(a)]와 [math(f(b)=0)]인 [math(b)]가 존재한다. 따라서 중간값 정리에 의해 [math(f(x)=\dfrac{1}2)]인 [math(x)]가 존재하고 이는 모순이다. 따라서 [math(S)]는 상한을 가진다.

4. 다르부의 중간값 정리

Darboux's theorem

일반적으로 중간값 정리는 연속함수에 대해서 성립하지만, 연속함수가 아니면서 중간값 정리의 성질을 만족시킬 수 있다. 이러한 함수들을 다르부 함수(Darboux Function)이라고 하며 대표적인 예로 도함수 [math(f'\left(x\right))]가 있다. 다르부의 정리는 다음과 같다.
함수 [math(f:\left[a, b\right] \rightarrow \mathbb R)]이 열린구간 [math(\left(a, b\right))]에서 미분가능하고, 극한값 [math(\displaystyle \lim_{h\to 0+} {f\left(a+h\right)-f\left(a\right)\over h})], [math(\displaystyle \lim_{h\to 0-} {f\left(b+h\right)-f\left(b\right)\over h})]이 모두 존재한다고 하자. 이때 각 극한값을 [math(f'\left(a\right))], [math(f'\left(b\right))]로 나타내자. 그러면 [math(f'\left(a\right)\ne f'\left(b\right))]일 때 [math(f'\left(a\right))]와 [math(f'\left(b\right))]사이에 있는 임의의 실수 [math(k)]에 대하여 [math(f'\left(c\right)=k)]를 만족하는 실수 [math(c\in \left(a,b\right))]가 존재한다.

증명
WLOG [math(f'\left(a\right)<k<f'\left(b\right))]라고 하자.

함수 [math(g\left(x\right)=f\left(x\right)-kx)]를 정의하자. 이때, [math(g\left(x\right))]는 구간 [math([a,b])]에서 연속이므로 최대 최소 정리에 의해 [math(g)]가 최댓값을 가지는 점 [math(M\in \left[a, b\right])]이 존재한다. 한편 [math(g'\left(x\right)=f'\left(x\right)-k)]이므로 [math(g'\left(a\right)<0)], [math(g'\left(b\right)>0)]이다. 따라서 [math(M\in \left(a, b\right))]이다. 그러면 페르마의 임계점 정리[7]에 의해 [math(g'\left(M\right)=f'\left(M\right)-k=0)]이므로 [math(f'\left(M\right)=k)]이다.|}}

다르부 함수의 대표적인 예시로 [math(\displaystyle f\left(x\right)=x^2\sin{\frac{1}{x}}\left(x\ne 0\right), f\left(0\right)=0)]의 도함수가 있다. 이 함수의 도함수는 x=0에서 불연속이지만, 중간값정리의 성질을 만족한다.

5. 중등 교육

고등학교 수학 미적분 파트, 정확하게는 미분의 바로 전 파트인 함수의 극한 마지막 부분에서 처음 보게되는 정리중 하나. 과거엔 중간값 정리라고 하였으나, 교육과정이 개편되면서 사잇값 정리로 바뀌었다. 중등 교육에서는 다소 소개하는 방법이 위와 다르다.
함수 [math(f\left(x\right))]가 닫힌 구간 [math(\left[a, b\right])]에서 연속이고 [math(f\left(a\right) \neq f\left(b\right))]일 때, [math(f\left(a\right))]와 [math(f\left(b\right))] 사이의 임의의 값 [math(k)]에 대하여 [math(f\left(c\right)=k)]인 [math(c)]가 열린 구간 [math(\left(a,b\right))]내에 적어도 하나 존재한다.

이 정리 바로 앞에 나올 최대·최소의 정리와 마찬가지로 고교과정에선 증명을 하지 않고 그냥 사용한다. 사실 증명을 하려 해도 할 수 없는게, 대학 해석학 수준에서 배울 여러가지 내용[8]을 이용해서 증명하기 때문이다.
  • 7차 교육과정: 수학Ⅱ
  • 2007 개정 교육과정: 미적분과 통계 기본, 수학Ⅱ
  • 2009 개정 교육과정: 미적분Ⅰ
  • 2015 개정 교육과정: 수학Ⅱ

6. 관련 문서



[1] [math(\sup)] 는 supremum(상한)의 약자로, 어떤 집합 T의 부분집합 S의 모든 원소보다 같거나 큰 T의 원소이면서 그 원소 중 가장 작은 원소(최소 상계)를 [math(\sup S)]라고 한다. [2] f가 연속임을 이용하여, ε=k-f(a)로 두면 된다. [3] 다른 해석으로는 열린 집합 S를 포함하는 모든 폐집합의 교집합으로 정의한다. 즉, 어떤 커다란 집합(보통은 전체집합을 의미한다)이 존재하여, [math(C=\{A|\forall A \subset U\})](단 [math(U)]는 조건상, 혹은 정의상으로 주어진 최대집합, [math(A)]는 폐집합)일 때[10], [math(\displaystyle \bigcap_{S \cap A=S} A)] 혹은 [math(\displaystyle \bigcap_{S \subset A}A)]라고 하기도 한다. [4] 사실 우리가 아는 아홉 가지 종류의 구간([math((a, b), \lbrack a, b), (a, b \rbrack, \lbrack a, b \rbrack, (-\infty, b), (-\infty, b \rbrack, (a, \infty), \lbrack a, \infty), (-\infty, \infty))])이 구간의 전부임을 보일 수 있다. [5] [math(\{f(x) : x \in \lbrack a, b \rbrack\})] [6] 평면의 결정조건 중 하나가 공선점이 아닌 세 점이다 [7] 미분가능한 함수의 극대/극소점에서의 미분계수는 항상 0이다. [8] 실수의 완비성에서 유도되는 상한정리, 혹은 집합론의 연결집합에 대한 정리등을 이용한다. [9] 자동차 트랜스미션 종류중에 ivt(cvt가 있다.)