平均値の定理
ラグランジュの平均値の定理の拡張として、f(x), g(x) を閉区間 [a, b] で連続で、開区間 (a, b) で微分可能な関数、区間内の各点 x において g' (x) ≠ 0, g(b) − g(a) ≠ 0 であるならば
f ( b ) − f ( a ) g ( b ) − g ( a ) = f ′ ( c ) g ′ ( c ) {\displaystyle {\frac {f(b)-f(a)}{g(b)-g(a)}}={\frac {f'(c)}{g'(c)}}}
なる c ∈ (a, b) が存在する。これをフランスの数学者コーシーにちなんでコーシーの平均値の定理という。特に g(x) = x である時がラグランジュの平均値の定理である。仮定「区間内の各点 x に対し g' (x) ≠ 0」はもう少し弱めて「区間内の各点 x で f' (x), g' (x) は同時に 0 にならない」としてよい。