解析学における差商に対する平均値の定理(へいきんちのていり、)は、平均値の定理を高階導函数に対するものへ一般化する。