积分上限函数是微积分中具有特殊形式的一类函数。本文利用变上限积分在相应区间上构造出合适的辅助函数,针对Young不等式、Cauchy-Swartz不等式、拉格朗日中值定理等给出了较新颖的证明,给出了变上限积分的可导性质在求极限方面的灵活运用。