比较引理: 这个定理大意就是: 两个函数 f1, f2. f1的起始点的函数值小于等于f2, 而且f1的导数还永远小于等于f2, 所以必然f1的函数值一直小于等于f2 定理截图: 证明: 参考文献:H. Khalil, Nonlinear Systems, 2nd ed.