導入 大学はじめの微分積分学では、最初に実数をきちんと定義する作業がある。実数を定義付けするときに大きく分けて3つの要素をまず最初に約束する。その約束とは 実数は可換体（≒四則演算ができる集合）である。 実数は全順序集合＋α*1（≒不等号がちゃんと…

概要 中間値の定理といえば高校数学の数学IIIに出てきて、証明はされずに自明という扱いをされてそのまま使われている定理である。しかし大学の一年前期くらいにやる微分積分学の授業で論法によって極限がきちんと定義された状態になると、証明できる定理と…