令I为域R(或域C)中点α0的R、A邻域的区间,f为连续将I×A的映射转化为空间E超过R,使得fα′(x,α)存在并且在I×A上连续。令a(α)、b(α)为A上定义的两个连续的函数,值在I中,这样在A上就有相同的f(a(α),α)=f(b(α),α)=0。证明函数 g(α)=∫a(α)b(α)f(t,α)dt 在点 α0 处承认等于 ∫a(α0)b(α0)fα′(t,α0)dt 的导数,即使 a 和 b 在点 α0 不可微(令 M 为上界) ∥fα′(x,α)∥ (b(α0),α0) 的紧凑邻域;注、应用 Bolzano 的定理到 b(α),对于每个 x 属于到端点为 b(α0) 的区间b(α),对于α足够接近α0,有∥f(x,α)∥≤M∣α−α0∣)。