在数学分析中，终值定理（Final Value Theorem, FVT）是将时间趋于无穷时的时域表达式与频域行为建立联系的许多定理之一。终值定理允许直接对频域表达式取极限来计算时域行为，无需先转换到时域表达式再取极限。在数学上，如果有一个有限极限，那么其中 formula_3 为 formula_4 的（单边）拉普拉斯变换。同样，在离散时间中其中 formula_6 为 formula_7 的Z转换。
证明.通过对导数的拉普拉斯变换定义积分得："如果"右侧的无穷积