Aplicación del Teorema de Rolle.

Abraham Hernández
21 de abril de 2018

Demostrar que x2 = xsenx + cosx se verifica exactamente para dos valores de x.

Demostración. Sea f (x) = x2 − xsenx − cosx.
Se demuestra que f (x) = 0 para exactamente dos valores de x.
Observa que
f (−x) = (−x)2 − (−x)sen(−x) + cos(−x) = x2 + x(−senx) + cosx = x2 − xsenx + cosx = f (x).
Por lo que f es una función par.
Este hecho nos hace ver que si x1 es raı́z de f , entonces −x1 será también raı́z de f .
Por lo que hallaremos una sóla raı́z de f en R+ ∪ {0}.
Como x2 , −xsenx y −cosx con continuas en todos lados, entonces su suma será continua en
todas partes. Es decir, f es continua en todo R.
Observa que f (0) = −1 y que f (π) = π 2 + 1
Entonces, como f (0) < 0 < f (π) y f es continua en R, y en particular, es continua en [0, π],
se sigue, por el Teorema de Bolzano para funciones continuas, que existe x1 en [0, π] tal que
f (x1 ) = 0.
Nos queda por demostrar que x1 es la única raı́z positiva dentro y fuera del intervalo [0, π].
Supongamos que f tiene otra raı́z x2 en (0, π) diferente de x1 .
Sin pérdida de generalidad, podemos asumir x1 < x2 .
Observemos que [x1 , x2 ] ⊂ (0, π).
Entonces, al igual que f (x1 ), f (x2 ) = 0.
Es fácil ver que f es diferenciable en todas partes, y que
f 0 (x) = 2x − (senx + xcosx) + senx = 2x + xcosx = x(2 − cosx).
En R existe un único valor donde f 0 (x) = x(2 − cosx) = 0, que es x = 0, porque (2 − cosx) 6= 0
para todo x.
Esto se deduce observando que |cosx| ≤ 1 para todo x.
Como f es continua en [0, π] y f es diferenciable en (0, π), entonces f es continua en [x1 , x2 ] y
es diferenciable en (x1 , x2 ), pues [x1 , x2 ] ⊂ (0, π).
Además, f (x1 ) = f (x2 ).
Entonces, por el Teorema de Rolle:
Existe x en (x1 , x2 ) tal que f 0 (x) = 0.
Pero eso es una contradicción, ya que f 0 (x) = 0 sólo cuando x = 0.
Claramente, ningún x de (x1 , x2 ) es igual e 0.
Por lo que sólo existe una raı́z en el intervalo [0, π].