将渐屈线与变分法中的单路径关联起来。由达布 (Darboux) 和策梅洛 (Zermelo) 于 1894 年以及克内泽 (Kneser) 于 1898 年在一般情况下证明。它指出：“当从固定点 
出发的单参数外部路径族具有包络时，从固定点到包络上任何点 
的积分等于从固定点到包络上任何第二点 
的积分加上沿包络到包络上第一点的积分，
。”
包络定理
使用 Wolfram|Alpha 探索
参考文献
Kimball, W. S. 通过平行位移的变分法。 London: Butterworth, p. 292, 1952.在 Wolfram|Alpha 中被引用
包络定理引用为
Weisstein, Eric W. “包络定理。” 来自 MathWorld——Wolfram 网络资源。 https://mathworld.net.cn/EnvelopeTheorem.html