Use el teorema del valor medio. Digamos que [matemática] a [/ matemática] y [matemática] b [/ matemática] son dos raíces de [matemática] f (x) [/ matemática] y asuma [matemática] a <b [/ matemática]. Por lo tanto, tenemos [matemáticas] f (b) -f (a) = 0 [/ matemáticas]. Usando el teorema del valor medio, sabemos que [math] f (b) -f (a) = (ba) f '(\ zeta) [/ math], para algunos [math] a \ leq \ zeta \ leq b [ /matemáticas]. Como [math] a <b [/ math], lo anterior implica que existe [math] \ zeta [/ math] entre [math] a [/ math] y [math] b [/ math] que es una raíz de [matemáticas] f '(x) [/ matemáticas].
Por otro lado, si [matemática] a = b [/ matemática], podemos escribir [matemática] f (x) = (xa) ^ 2g (x) [/ matemática] para alguna función diferenciable [matemática] g (x )[/matemáticas]. La diferenciación directa de esta función revela que [matemáticas] a [/ matemáticas] también es una raíz de [matemáticas] f ‘(x) [/ matemáticas].