中間値の定理
中間値の定理（ちゅうかんちのていり、）とは、実数の区間の連結性に関する以下のような存在型の定理である。
この「明らか」な定理の証明を与えたのはボルツァーノである。