Supongamos f tiene dos consecutivos raíces ab, y por contradicción, supongamos g no tiene raíces en [a,b]. Dividir ambos lados de la desigualdad por f(x) g(x) para obtener
F(x):=f′(x)f(x)≠g′(x)g(x)=:G(x).x∈(a,b)
A continuación, F(x) es continua en a (a,b) y
lim
Desde G no divergen cerca de a o b, esto implica que
\lim_{x \to a^+} [F(x) - G(x)] = +\infty \\ \lim_{x \to b^-} [F(x) - G(x)] = -\infty
Así que la función F - G es continua en a (a,b), y pasa de +\infty-\infty. Por el valor medio teorema, F - G tiene una raíz en (a,b), decir c. Pero esto implica que F(c) = G(c), lo que contradice nuestra desigualdad. Por lo g debe tener una raíz en [a,b].