$f$ 가 $[a,b]$ 에서 정의된 함수이며 $W$ 는 $f(a)$ 와 $f(b)$ 사이의 값이라고 하자. 
$f$ 가 $[a,b]$ 에서 연속일 때, 
$f(c)=W$ 인 $c$ 가 $a$ 와 $b$ 사이에 존재한다.
----
함수 $f(x)$ 가 폐구간 $[a,\,b]$ 에서 연속이고 $f(a)\neq f(b)$ 일 때,
$f(a)$ 와 $f(b)$ 사이의 임의의 실수 $k$ 에 대하여
 $f(c)=k$
인 c가 a와 b 사이에 적어도 하나 존재한다.
----
Let $f:[a,b]\mapsto\mathbb{R}$ be a continuous function.
Then for all $y\in\mathbb{R}$ between $f(a)$ and $f(b)$
there exists a value $x\in[a,b]$ such that $f(x)=y$ .
----
Suppose $f$ is continuous on a closed interval $[a,b]$ .
$\forall k \textrm{ between } f(a) \textrm{ and } f(b)$
$\exists c \in [a,b] \,\textrm{ such that }\, f(c)=k$

관련: [[연속성,continuity]]
기타 필요한것... [[유계,bounded]] [[상한,supremum]] [[상계,upper_bound]]

= 중간값 성질 intermediate value property =
$f$ 는 폐구간 $[a,b]$ 상에서 연속함수이고, $y_0$ 는 $f(a)$ 와 $f(b)$ 사이의 임의의 수이면,
$y_0=f(c)$ 를 만족하는 수 $c\in[a,b]$ 가 존재한다.

= tmp links =
고등학교 과정으로 증명하기
https://m.blog.naver.com/birth1104/221268241370

https://en.wikiversity.org/wiki/Intermediate_value_theorem

= 기타 =
증명: 볼차노의 1817년 논문
엄밀한 증명: Cauchy, 1821년

비슷한 게 [[다르부_정리,Darboux_theorem]]
{
'''Darboux's theorem'''

// 수학백과 summary
미분가능한 실함수의 도함수는 사잇값 성질을 가진다,
ie
미분가능 함수의 도함수는 연속함수가 아니더라도 사잇값 성질을 가진다는 것

사잇값 성질을 만족하는 함수를 다르부 함수(Darboux function)라고 하기도

[[https://terms.naver.com/entry.naver?docId=3405010&cid=47324&categoryId=47324 수학백과: 다르부 정리]]

Up: [[정리,theorem]]
}

----
Twins:
[[https://terms.naver.com/entry.naver?docId=3340629&cid=60207&categoryId=60207 수학백과: 사잇값 정리]]
[[https://terms.naver.com/entry.naver?docId=4389502&cid=60207&categoryId=60207 수학백과: 사잇값 정리]] - 같은내용 두개... 왜?
[[Libre:중간값_정리]]
[[WpKo:중간값_정리]]
https://ghebook.blogspot.com/2010/07/intermediate-value-theorem.html
https://everything2.com/title/Intermediate+Value+Theorem

Google:중간값.정리

Up: [[미적분,calculus]]
 [[real_analysis]]
 [[정리,theorem]]