仅从形式上看这个条件确实可有可无,只不过f'和g‘可以同时取到零是一个平凡的情形,此时的结论没有一般中值定理的价值,所以强调一下非平凡的情形也没什么不好.
如果把结论写成分式的形式,那么就如一楼所言应当有分母非零的条件.