是的呀。先设求导之后的极限为l。根据定义，可以设一个a（a就是分子分母两个函数极限是无穷的那一点）的右邻域，使得上下分别求导之后的值尽可能的接近l（就是那种严格的定义，电脑上不好表示），再用柯西中值定理，设区间（x，c）是a右邻域的子区间，则必有一点属于（x，c）满足柯西中值定理。然后对柯西中值定理的那个式子进行变形：
