Version Definitiva

VERSIONES DEL
TEOREMA DE ROLLE
Trabajo Fin de Grado
Autor:
Ainara Reyes Gimnez
Tutor:
Antonio Morales Campoy
UNIVERSIDAD USOS DEL LOGO DE LA FACULTAD DE
DE ALMERA CIENCIAS EXPERIMENTALES
Grado en Matemticas
LOGOTIPO EN COLOR
Junio, 2016
Universidad de Almera
ndice general
1 Objetivos 1
2 Antecedentes bibliogrficos 3
2.1. Terminologa y conocimientos previos 3
2.2. Biografa de Rolle 6
2.3. Orgenes y evolucin del teorema de Rolle 7
2.4. Mtodo de las cascadas 9
2.5. Algunas aplicaciones del teorema de Rolle 15
3 Resultados 21
3.1. Versin finito-dimensional del teorema de Rolle 21
3.2. Espacios donde no se cumple el teorema de Rolle 26
3.3. Versiones complejas del teorema de Rolle 32
3.4. Localizacin y separacin de puntos crticos 36
4 Conclusiones 41
Bibliografa 43
i
Abstract in English
In this proyect we will discuss of Rolles theorem, which is a result of mathematical

analysis with a large number of applications. This theorem is named after the French
mathematician Michel Rolle, whose got this result to provide a method for studying
the roots of a polynomial.
We begin introducing Rolles biography and the evolution of the theorem from its
origins to today. Initially, this method was motivated by the interest of Rolle in the
study of the roots of polynomials and he did not use the concept of derivative as done
today.
Later, we study Rolles theorem for vector functions. Although his generalization
can not possible, we can get some versions of the theorem in terms of the euclidean
scalar product. Once studied the finite-dimensional case, we give way to study the
theorem in infinite-dimensional case, where we will give some examples of Rolles
theorem is not valid.
Finally, we study that is not possible a generalization of Rolles theorem for holo-
morphic functions but we can get a version of this theorem in terms of the real and
imaginary parts of the derivative. As the critical points of holomorphics functions
play an important role in the study of the zeros of these functions give several results
to locate and separate the critical points of polynomials.
iii
Resumen en espaol
En este trabajo hablaremos del teorema de Rolle, el cual es un resultado del anlisis
matemtico con un gran nmero de aplicaciones. Este teorema debe su nombre al ma-
temtico francs Michel Rolle, quien obtuvo este resultado con el fin de dar un mtodo
para el estudio de las races de un polinomio.
Comenzamos el trabajo con la biografa de Rolle y el estudio de la evolucin del
teorema de Rolle desde sus orgenes hasta la actualidad. Inicialmente, este resultado
estaba motivado por el inters de Rolle en el estudio de las races de polinomios y no
usaba el concepto de derivada tal como se hace hoy en da.
Posteriormente, estudiamos el teorema de Rolle para funciones vectoriales. Aun-
que no es posible su generalizacin s podemos obtener varias versiones del teorema en
trminos del producto escalar eucldeo. Una vez estudiado el caso finito-dimensional,
damos paso a estudiar el teorema en el caso infinito-dimensional, donde daremos al-
gunos ejemplos de que el teorema de Rolle no es vlido.
En ltimo lugar, estudiamos que tampoco es posible una generalizacin del teore-
ma de Rolle para funciones holomorfas pero s podemos obtener una versin en trmi-
nos de las partes real e imaginaria de la derivada. Dado que los puntos crticos de las
funciones holomorfas juegan un papel muy importante en el estudio de los ceros de
estas funciones daremos tambin varios resultados para localizar y separar los puntos
crticos de polinomios.
v
Objetivos
El teorema de Rolle es un resultado clsico del anlisis matemtico para funciones
1
reales el cual tiene mltiples consecuencias y aplicaciones. Debe su nombre al mate-
mtico francs Michel Rolle que en el siglo XVII obtuvo este resultado en un ambiente
ms restringido que el de la versin actual. De hecho, inicialmente slo se aplicaba
al estudio de las raices de polinomios y en su enunciado no aparecan los conceptos
analticos de continuidad y derivabilidad. En este trabajo, por un lado vamos a hacer
un estudio del teorema de Rolle desde sus orgenes, y por el otro, vamos a estudiar
algunas de versiones suyas en diversos ambientes.
A continuacin pasamos a contar brevemente los principales objetivos que quere-
mos alcanzar en este trabajo. Empezamos el captulo de antecedentes bibliogrficos
introduciendo la terminologa y conocimientos previos que vamos a necesitar poste-
riormente. Seguidamente se dan unas pinceladas de la biografa de Rolle y se estudian
los orgenes del teorema de Rolle as como su evolucin hasta llegar a la versin que
manejamos hoy en dia. El inters de Rolle era localizar las races de polinomios con
herramientas algebraicas. A este efecto dise el mtodo de las cascadas que estudia-
remos con detalle. Para finalizar este captulo daremos algunas aplicaciones directas
del teorema de Rolle al estudio de las ecuaciones diferenciales y algunas consecuencias
menos conocidas de este teorema para funciones reales.
Una vez sentadas las bases de este trabajo dedicamos el tercer captulo a dar versio-
nes del teorema en diversos ambientes. Empezamos dando una versin finito-dimen-
sional del teorema de Rolle. Aunque la generalizacin directa del teorema de Rolle
para funciones vectoriales no es posible, si podemos obtener interesantes versiones
del teorema para este tipo de funciones en trminos del producto escalar eucldeo.
Como consecuencia de una de estas versiones obtenemos el teorema del valor medio
generalizado, y por tanto, tambin el teorema de Rolle real. Una vez abordado el caso
finito-dimensional tiene sentido estudiar el caso infinito-dimensional. Damos algunos
ejemplos de espacios de Banach infinito-dimensionales donde falla el teorema de Ro-
lle, como por ejemplo el espacio l2 .
Finalmente, estudiamos las posibles generalizaciones o versiones del teorema de
Rolle pra funciones holomorfas. Tampoco es posible una generalizacin directa del
teorema para estas funciones. No obstante, como pasaba en el caso finito-dimensional,
podemos obtener una versin del teorema de Rolle para funciones holomorfas, esta
vez en trminos de las partes real e imaginaria de la derivada de la funcin.
Dado que los puntos crticos de las funciones holomorfas juegan un papel muy
importante en el estudio de los ceros de dichas funciones, dedicamos la ltima seccin
del trabajo a estudiar los puntos crticos de ciertas funciones usando una consecuencia
del teorema de Rolle para polinomios. Concretamente, damos varios resultados que
permiten localizar y separar los puntos crticos de polinomios de variable compleja y
de variable real.
De entre todas las referencias consultadas destacamos los artculos [9], [4], [5], [3]
y [6].
1
Antecedentes bibliogrficos
Comenzamos este trabajo con una seccin dedicada a dar las definiciones y notacio-
2
nes que necesitaremos a lo largo del trabajo. A continuacin, realizaremos un recorrido
por la biografa de Michel Rolle. Dedicaremos la siguiente seccin a hablar de los or-
genes y de la evolucin del teorema que hoy en da se conoce como teorema de Rolle.
Despus estudiaremos en profundidad del mtodo de las cascadas, el cual se uti-
liza en el estudio de los ceros de un polinomio. Cerramos el captulo dando algunas
aplicaciones del teorema.
2.1 Terminologa y conocimientos previos

A lo largo de este trabajo [a, b] denotar un intervalo cerrado y acotado no trivial y
(a, b) el intervalo abierto asociado.
Comenzamos recordando la versin ms extendida del teorema de Rolle:
Teorema 2.1. Sea f :[a, b] R una funcin continua en [a, b], derivable en (a, b) tal que
f (a) = f (b), entonces existe un punto c en (a, b) tal que f 0 (c) = 0.
Como consecuencia de este teorema se tiene el teorema del valor medio, que es un
teorema fundamental del clculo diferencial, muy importante en el estudio de lmites,
en ecuaciones diferenciales y en numerosas otras aplicaciones.
Teorema 2.2. Sea f : [a, b] R una funcin continua en [a, b] y derivable en (a, b), enton-
ces existe un punto c (a, b) tal que:
f (b) f (a) = f 0 (c)(b a).
La demostracin de este teorema consiste bsicamente en aplicar directamente el

teorema de Rolle a una funcin auxiliar definida para este fin.
Veamos algunas definiciones que vamos a usar en este trabajo.
Denotaremos N como el conjunto de los nmeros naturales, R como el conjunto de
los nmeros reales y C como el conjunto de los nmeros complejos. Si n N, denotare-
mos Rn como el producto cartesiano de R consigo mismo n veces, es decir, el conjunto
de todas las n-uplas de elementos de R:
Rn = {(x1 , ..., xn ) : x1 , ..., xn R}.
Para cada x, y Rn denotaremos por x y su producto escalar eucldeo y por k x k la

norma eucldea de x.
Introducimos ahora ciertas definiciones necesarias en Rn .
Definicin 2.1. Dado x0 Rn y r > 0, B(x0 , r) denotar la bola abierta centrada en x0 y de

radio r, es decir:
B(x0 , r) = {x Rn : k x x0 k < r}
B(x0 , r) la bola cerrada centrada en x0 y de radio r:
B(x0 , r) = {x Rn : k x x0 k r}
3
2. Antecedentes bibliogrficos
y S(x0 , r) la esfera centrada en x0 de radio r:
S(x0 , r) = {x Rn : k x x0 k = r}.
Dado un espacio topolgio X y A X denotaremos por Fr(A) a la frontera de A. En

particular:
Fr(B(x0 , r) = S(x0 , r).
Adems, denotaremos por A la clausura de A. Claramente:
B(x0 , r) = B(x0 , r).
En este trabajo tambin consideraremos espacios de Banach de dimensin infinita

como lp con 1 p < , cuya norma viene dada por:
1
X p
p
k x kp =
|xi | .
i=1
Adems, a lo largo del trabajo se va a hablar de diversos tipos de diferenciabilidad.

En el caso de funciones reales de variable real hablaremos de derivada, para funciones
entre espacios eucldeos hablaremos de diferenciabilidad, para funciones complejas de
variable compleja hablaremos de holomorfa y para funciones entre espacios normados
hablaremos de diferenciabilidad de Frchet.
En dimensin finita, para los fines del teorema de Rolle, es suficiente considerar
n
R con la norma eucldea. De hecho, se sabe que todos los espacios vectoriales n-
dimensionales reales son isomorfos a Rn , todas las normas en Rn son equivalentes y
adems la diferencial de una funcin es invariante bajo normas equivalentes.
En lo que sigue, E representar a un espacio de Banach real con norma k k y U a un
abierto de E.
Definicin 2.2. Se dice que una funcin f : U R es Frchet diferenciable en u U si

existe una transformacin lineal y continua Tu : E R y una funcin continua real E(u, h)
tal que:
f (u + h) f (u) = Tu (h)+ k h k E(u, h) (2.1)
para k h k < r, donde E(u, h) 0 cuando k h k 0.
La derivada de Frchet de f en u viene dada por Tu . Adems, en caso de existir, es

nica y se denota por f 0 (u). Esta definicin se extiende a funciones con imagen en un
espacio de Banach F. En este caso, f 0 (u) es una transformacin lineal y continua de E
en F. Este concepto fue originalmente establecido por M. Frchet (1878 1973).
En particular, si f : Rn R es Frchet diferenciable en u, f 0 (u) viene dada por el
gradiente de f en u, es decir, para todo x R se satisface la siguiente igualdad:
f 0 (u)(x) = f (u) x
para todo x, u Rn . Lo que es ms, si f es un campo vectorial Frchet diferenciable,

entonces f 0 (u) es la transformacin lineal asociada a la matriz jacobiana de f en u.
No obstante, pueden existir el gradiente o la matriz jacobiana de la funcin en un
4
2.1. Terminologa y conocimientos previos
p
punto, pero no la derivada Frchet. Un ejemplo sencillo es la funcin f (x, y) = |xy|.
Su gradiente en el punto (0, 0) existe:
f (0, 0) = (0, 0)
y, sin embargo, no existe f 0 (0, 0).

Una propiedad muy interesante de la derivada Frchet es que satisface la regla de la
cadena. Si f es Frchet diferenciable en u, g es diferenciable en f (u) y adems h = g f
est definida en un entorno de u entonces la funcin h es tambin Frchet diferenciable
en u y se satisface que:
h0 (u) = g 0 (f (u)) f 0 (u).
Seguidamente presentamos algunos ejemplos sobre la derivada Frchet muy intere-
santes.
1. Sea T una transformacin lineal entre dos espacios de Banach E y F. Es fcil calcu-
lar:
T 0 (u)(x) = T (x).
En este caso, la ecuacion (2.1) se satisface con E(u, h) = 0.
2. Si H es un espacio de Hilbert con producto interno h , i, entonces la aplicacin

bilineal f : H R definida por f (x) = hx, xi es Frchet diferenciable para todo
u H. De hecho, por las propiedades algebraicas del producto interno, para todo h
y u en H:
hu + h, u + hi hu, ui = 2hu, hi+ k h k2 .
Por tanto:
f 0 (u)(x) = 2hx, ui.
En particular, esto prueba que la aplicacin (x) =k x k2 es Frchet diferenciable

fuera del origen, para cualquier espacio de Hilbert. De hecho, por la regla de la
cadena, para todo u , 0, se tiene:
1
0 (u)(x) = hx, ui.
k u k2
3. En caso de la norma l1 , la funcin x 7k x k1 no es Frchet diferenciable en ningn

punto u de l1 . Vemoslo. Sin perder generalidad se puede suponer que u l1 tiene
norma 1. Por la definicin de derivada Frchet se concluye que dado > 0, existe
> 0 tal que:
k u + h k1 + k u h k1 6 2 + k h k1 , (2.2)
si k h k1 < . Sea < 21 y dado > 0 correspondiente a . Como u l1 , existe un ndice
i tal que |ui | < 8 . Sea h = 2 ei , donde:
ei = (0, ..., 0, 1, 0, ...),
con el nmero 1 situado en la posicin i. Se puede verificar que:

|ui + | > |ui | + , |ui | > |ui | + .
2 4 2 4
5
Por tanto:

k u + h k1 > 1 + .
4
Dado que k h k1 = 2 , entonces por la ecuacin (2.2) se llega a la contradiccin

2 < 4 .
2.2 Biografa de Rolle

Michel Rolle naci en 1652 en Ambert, una pequea ciudad de la regin francesa
de Auvernia, en el seno de una familia de clase media. Rolle no recibi una educacin
formal, sino slo una educacin bsica ya que tuvo problemas para asistir a la escue-
la. Despus de esta corta enseanza, Rolle se hizo autodidacta y fue entonces cuando
naci su inters por las matemticas. Su predileccin por las matemticas le llev a
convertirse en un matemtico con gran cantidad de contribuciones.
Posteriormente, comenz a trabajar como escribano para algunos notarios y como
asistente de varios abogados en su ciudad natal. A los veintitrs aos se traslad a vivir
a Pars, donde sigui trabajando como escribano. All, se cas y tuvo hijos. Para poder
mantener a su familia se vio obligado a buscar otro trabajo con el que aumentaran
sus ingresos econmicos y gracias a sus conocimientos en el campo de las matemticas
encontr un trabajo con mayor salario.
Siete aos despus de su llegada a Pars, Rolle encontr una solucin al problema
planteado por Jacques Ozanam (1640-1718). La solucin de este problema, escrito en
lenguaje actual, radica en obtener cuatro nmeros x, y, w, z, con x < y < w < z, que
satisfagan el siguiente sistema de ecuaciones:
z w = a2 , w y = b2 , y x = c2 ,
z y = d 2 , z x = e2 , w x = f 2 ,
x + y + w = g 2,
donde a, b, c, d, e, f y g son enteros.

Rolle encontr cuatros nmeros, de siete dgitos cada uno, satisfaciendo dichas con-
diciones. Cabe resaltar que Ozanam pensaba que el menor nmero de los cuatro que
podan satisfacer las propiedades de su problema deba tener, al menos, cincuenta d-
gitos. Claramente, encontrar una solucin a este sistema no es nada fcil y gracias a esta
solucin dada, Rolle gan una gran reputacin matemtica y adems consigui que el
regulador de finanzas y secretario de estado, John-Baptiste Colbert, le consiguiese una
pensin para que pudiese dedicarse a sus estudios. Por otro lado, Rolle tambin fue
recompensado por la resolucin al problema de Ozanam por el secretario de estado de
guerra francs, el Marqus de Louvois (1641 1691), quien lo contrat como tutor de
uno de sus hijos. Poco ms tarde, gracias a la confianza que el secretario deposit en
Rolle, ste fue elegido como miembro de la Acadmie Royale des Sciences. Gracias a
su puesto de gemetra pudo dedicarse plenamente al estudio de las matemticas.
Las contribuciones de Rolle cubrieron un amplio nmero de reas matemticas.
Una de sus principales reas de estudio fue el anlisis diofntico, aunque tambin tra-
baj en el campo del lgebra. Su actividad principal se centraba en el lgebra de ecua-
ciones, campo de las matemticas en el que logr gran reputacin, lo cual le permiti
6
2.3. Orgenes y evolucin del teorema de Rolle
publicar su trabajo ms famoso, Trait dalgbre, en 1690. En este trabajo podemos en-
contrar interesantes y numerosas aportaciones a la resolucin de ecuaciones y sistemas
de ecuaciones, utilizando algoritmos euclidianos para resolver ecuaciones diofnticas
lineales y para obtener
el mximo comn divisor de dos polinomios. Fue el primero en
usar el smbolo n x, como notacin para la raz n-sima de x.
En 1691, public Dmonstration dune Methode, pour resoudre les Egalitez de tous les
degrez, o tambin llamado simplemente Dmonstration, donde Rolle rompi con las
reglas cartesianas y, adems, adopt la notacin :
si a > b, entonces b > a,
y comenz a usar la notacin que usamos actualmente para denotar una igualdad.
Cuando en 1696 LHpital publica Analyse des infiniment petits se produjo una di-
visin de opiniones sobre el clculo infinitesimal entre los miembros de la Academia
de Pars. Por un lado encontrbamos a los seguidores del nuevo clculo y por otro
los crticos de este. Rolle adopt una postura muy crtica con los infinitesimales pues
consideraba que no se basaba en slidas bases de razonamiento y mantuvo un famoso
enfrentamiento dialctico con las ideas de Pierre Varingnon (16541722) que defenda
el uso de los mismos. Para varios historiadores del anlisis, Rolle es uno de los prin-
cipales exponentes de lo que se considera el primer gran ataque en contra del rigor
del nuevo anlisis, ms concretamente contra la viabilidad de los infinitesimales. El
segundo gran ataque surgira pocos aos despus en Inglaterra con el conocido The
analyst; or a discourse addressed to an Infidel Mathematician wheren it is examined wheter
the Object, Principles and Inferences of the modern Analysis are more distincly conceived, or
more evidently deduced, than Religious Mysteries and Points of Faith, artculo del obispo
George Berkeley (1685 1753), que tuvo una gran influencia posterior en el desarrollo
y fundamentacin del anlisis matemtico.
El da 8 de noviembre de 1719 Rolle sufri un ataque de apopleja que le llev a la
muerte a la edad de 68 aos.
2.3 Orgenes y evolucin del teorema de Rolle

A pesar de que en la actualidad el teorema de Rolle es conocido por ser un resultado
de anlisis matemtico, en sus inicios fue presentado y demostrado como un resultado
de lgebra.
A continuacin, vamos a estudiar cmo este teorema comienza siendo un resultado
para la resolucin de ecuaciones, sin llegar a alcanzar mucha relevancia durante el siglo
XV III y la primera mitad del siglo XIX para, posteriomente, en la segunda mitad del
XIX, convertirse en un resultado fundamental del anlisis.
El origen del teorema de Rolle es muy antiguo, segn los historiadores las primeras
referencias sobre dicho teorema aparecen en un libro de Bhaskara (1114 1185). A
partir de los trabajos de su predecesor Manjula (930 a.C.), que haba llegado a obtener
relaciones del siguiente tipo:
sen a sen a0 = (a a0 ) cos a0
Bhaskara lleg a deducir que el seno y el coseno mantienen una relacin del tipo que
hoy indicamos como derivada una de la otra. A partir de esta observacin se lleg a
7
la conclusin de que cuando la ecuacin de un planeta est en su punto ms distante

o en su punto ms prximo a la tierra, la ecuacin del centro se anulaba y tambin se
obtuvo que para una cierta posicin intermedia, la ecuacin diferencial de la ecuacin
del centro se anulaba. Esta es la primera expresin que se realiza del teorema de Rolle
y, posteriormente, no se encuentran ms indicaciones de este resultado hasta la versin
ofrecida por Michel Rolle en su libro Trait dalgbre. Con este teorema, Rolle quiso dar
un mtodo para localizar races de un polinomio, el mtodo de las cascadas, que es
un mtodo algebraico para la localizacin de races de una ecuacin polinmica de
cualquier grado con una incgnita.
El libro de Rolle fue aceptado en Europa pero tambin tuvo grandes crticas por
no incluir la demostracin de su mtodo de localizacin. Por ello, en 1691 public
Dmonstration, donde s incluye la demostracin.
El teorema de Rolle fue difundido en Europa rpidamente, as lo podemos encon-
trar en 1708 en el libro de Charles-Ren Reyneau (1656 1728), Analyse demontre ou
la methode de rsoudre les problmes des mathematiques, y en un artculo de Colin Ma-
claurin (1698 1746) publicado en Philosphical Transaction en 1729 e incluido en su
tratado pstumo de lgebra de 1748.
En ninguna de las referencias citadas anteriormente se considera que el teorema
de Rolle fuera un teorema de clculo, sino dentro de su contexto original como un
resultado de lgebra.
La primera vez que encontramos este teorema en un tratado relacionado con el an-
lisis es en 1755 en Institutiones calculi differentials, donde Leonhard Euler (17071783)
incluye una versin del teorema expresado en trminos del lenguaje del clculo para la
resolucin de ecuaciones. Euler present el teorema de Rolle de forma muy diferente
a como lo hicieron sus predecesores. As, obtiene la ventaja de que con la ayuda del
clculo no necesita utilizar el mtodo de las cascadas, aunque sigue trabajando en un
contexto de ecuaciones polinmicas. Supongamos la ecuacin:
xn Axn1 + Bxn2 ... = 0
con races distintas p < q < r < ... Euler considera la funcin general:
z = xn Axn1 + Bxn2 Cxn3 + ...
en la que x crece desde . En el libro de Euler citado anteriormente podemos encon-
trar un fragmento que nos indica que la funcin z no se anula antes de poner x = p y
si esto sucede es porque z = 0 y, por otro lado, como los valores de x se incrementan
ms all de p, los valores de z sern positivos o negativos hasta llegar al valor x = q. Por
tanto, es necesario, ya que los valores del movimiento de z van desde cero hasta cero,
que z tenga un mximo o mnimo en medio.
Euler haba demostrado anteriormente que los valores de x que hacen mxima o
mnima a z son las races de la siguiente ecuacin diferencial:
dz
= nxn1 (n 1)Axn2 + ... = 0.
dx
As pues, dado que dos races reales cualesquiera de la ecuacin z = 0 existe una
raz de la derivada, y como la funcin z alcanza un mximo o un mnimo, se deduce
que si la ecuacin z = 0 tiene dos races reales, entonces la ecuacin:
dz
=0
dx
8
2.4. Mtodo de las cascadas
tiene necesariamente una raz real. En general, si la ecuacin z = 0 tiene m races reales,
la ecuacin:
dz
=0
dx
necesariamente tiene m 1 races.
La siguiente versin, bastante ms abreviada, la encontramos en Trait de la rso-
lution des quations numriques de tous les degrs avec des notes sur plusieurs points de la
thorie des quations algbriques de Joseph Louis Lagrange (17361813), quien atribuye
este teorema a Euler.
En aos posteriores el teorema apareci en una serie de libros de texto sobre la teo-
ra de ecuaciones, pero segua sin ser asociado a Rolle. Segn indica Cajori, la primera
persona que otorga este teorema a Rolle es Wilhelm Drobisch (1802 1896). Drobisch
fue profesor de matemticas en la Univerisdad de Leipzig y se refiere a este teorema
como teorema de Rolle en un libro de texto en 1834. Adems, incluye una cita en la
que indica que Lagrange fue su fuente (aunque Lagrange no se lo asignase a Rolle).
Siete aos despus, Franois Moigno (1804 1884), profesor de matemticas en
College Sainte Genevive de Pars, atribuye este teorema a Rolle en un artculo que
trata sobre la determinacin de las races.
Lo mismo hace el matemtico e historiador de matemticas, Orly Terquem en 1844.
Sin embargo, segn Cajori, debemos esperar hasta 1868, cuando el teorema se atribuye
definitivamente a Rolle. Es a partir de una edicin alemana de Cours dalgbre suprieu-
re de Joseph Serret (1819 1885) cuando la asociacin con Rolle se hizo ms conocida.
Hasta mediados del siglo XIX, el teorema segua asociado a la resolucin de ecua-
ciones y segn indica Cajori fue Pierre-Ossian Bonnet (1819 1892) quien asoci los
dos teoremas fundamentales del anlisis, el teorema del valor medio y el teorema de
Rolle, aportando la demostracin del primero a partir del segundo.
Finalmente, es Charles Hermite (1822 1901) quien en 1873 utiliza el teorema de
Rolle en el contexto de la teora de series de Taylor dando la autora del teorema de
forma clara a Rolle en su Cours danalyse.
A principios del siglo XX volvieron a surgir ciertas dudas sobre la autntica autora
de Rolle debido a que se haba extendido entre los matemticos nicamente la parte
breve expresada en Trait dalgbre y no la versin de Dmonstration. Posteriormente,
Gustaf Enestrm (1852 1923) afirma en un artculo en Bibliotheca mathematica, des-
pus de haber ledo Reyneau, que Dmonstration era suficiente para despejar cualquier
duda.
2.4 Mtodo de las cascadas

Michel Rolle aport un mtodo algebraico para localizar las races de una ecuacin
polinmica de cualquier grado con una incgnita. El mtodo aparece publicado en su
Trait dalgbre, con el nombre mtodo de las cascadas.
Bajo una perspectiva analtica, el mtodo de las cascadas de Rolle consiste en de-
rivar sucesivamente la ecuacin polinmica original hasta llegar a una ecuacin de
primer grado, la solucin de esta ecuacin se usa para acotar o delimitar las solucio-
nes de la ecuacin derivada anterior, que es una ecuacin de segundo grado. A su vez,
estas soluciones sirven para acotar las soluciones de la derivada anterior, y as suce-
sivamente hasta llegar a la ecuacin original, cuyo nmero de races quedan acotadas
9
por las de su derivada. A las derivadas sucesivas de la ecuacin original Rolle las llam
cascadas.
En terminologa actual, el mtodo de las cascadas de Rolle se sustenta en el siguien-
te resultado:
Sea f (x) una funcin polinmica. Entre dos races reales sucesivas de f 0 (x) = 0 no
puede haber ms de una raz real de f (x) = 0.
Rolle no considera la derivada de la una funcin. Como veremos a continuacin lo

que hace es someter a la ecuacin a un proceso de preparacin por el cual, manipu-
lando algebraicamente el polinomio original obtiene en varias etapas otro polinomio
con coeficiente lder mnico y cuyas races reales son todas positivas, y se relacionan
con las del polinomio de partida mediante un cambio de variable. As pues, dada una
ecuacin polinmica:
a0 + a1 x + ... + an xn = 0,
Rolle define una multiplicacin por una progresin e iguala a cero. Aunque su m-
todo es vlido para cualquier progresin, sola utilizar la progresin 0, 1, 2, 3, ... Ade-
ms, esta progresin es la ms interesante ya que con ella obtenemos de forma alge-
braica la derivada de la ecuacin.
Si aplicamos este mtodo a la ecuacin dada anteriormente obtenemos la siguiente
expresin:
0 a0 + 1 a1 x + 2 a2 x2 + ... + (n 1) an1 xn1 + n an xn = 0.
Ahora dividiendo por x obtenemos:
a1 + 2 a2 x + ... + n an xn1 = 0
(este proceso se puede expresar como f 0 (x) = 0 si llamamos f (x) = a0 +a1 x+...+an xn ).
En cada iteracin, Rolle obtiene una ecuacin a la cual llama cascada.
Ntese que siempre trabajamos con polinomios que tienen coeficientes con signos
alternos para asegurarnos que sus races son todas positivas. Esto se debe a la regla de
los signos de Descartes:
El nmero de races reales positivas de un polinomio f (x) es igual al nmero de

cambios de signo trmino a trmino de f (x) o menor por una diferencia par.
Anlogamente, el nmero de races reales negativas viene dado por el nmero de

cambios de signo del polinomio f (x). Como f (x) es un polinomio con signos alternos,
f (x) no tiene cambios de signo y, por ello, f (x) no tiene races reales negativas. En
consecuencia, f (x) tiene todas sus races reales positivas.
As pues, cuando se tiene un polinomio cuyos coeficientes no tienen signos alternos,
Rolle realiza una transformacin previa al mtodo basada en el siguiente cambio de
variable:

x = ac + 1 y,
10
donde a es el valor absoluto del mayor coeficiente negativo y c el valor absoluto del
coeficiente del trmino de mayor grado del polinomio dado.
Veamos un claro ejemplo de como aplicar la transformacin preliminar para obte-
ner un polinomio con signos alternos y poder aplicar el mtodo de las cascadas. Dada
la ecuacin:
x5 + 10x4 + 2x3 110x2 + x 120 = 0,
debemos aplicar el cambio de variable ya que no tiene todas las races reales positivas
puesto que hay signos positivos consecutivos, entonces realizamos el siguiente cambio
de variable:
x = 121 y,
sustituyendo en la ecuacin obtenemos:
(121 y)5 + 10(121 y)4 + 2(121 y)3 110(121 y)2 + (121 y) 120 = 0
y haciendo unos pequeos clculos obtenemos:
y 5 + 615y 4 151252y 3 + 18594686y 2 1142718072y + 28082946024 = 0,
que s tiene todos los coeficientes con signos alternos, por lo que sus races sern todas
positivas.
Michel Rolle justifica este proceso previo con un corolario en su libro Dmonstra-
tion:
De la misma manera, es evidente que las races (todas positivas y distintas) son
nmeros colocados cada uno entre estos lmites y, por consiguiente, si las races son
substituidas en una ecuacin cuyas races son estos lmites, esta substitucin dar re-
sultados alternadamente positivos y negativos, o negativos y positivos.
Una vez realizado el cambio de variable podemos aplicar el mtodo de forma ha-
bitual y tras la obtencin de las races de la ecuacin obtenido deshacemos el cambio
para obtener las races de la ecuacin dada.
Veamos un par de ejemplos del mtodo de las cascadas. Este primer ejemplo tiene
dos soluciones enteras positivas y dos negativas y viene dado por la ecuacin:
x4 + 5x3 25x2 65x + 84 = 0.
En este caso, antes de aplicar el mtodo tenemos que realizar un cambio de variable
ya que la ecuacin no tiene signos alternos positivos y negativos. En este caso, el cambio
de variable es el siguiente:
x = 66 y.
Sustituyendo x = 66 y en f (x) obtenemos que:
f (66 y) = (66 y)4 + 5(66 y)3 25(66 y)2 65(66 y) + 84
= y 4 269y 3 + 27101y 2 1211959y + 20299110.
Para simplificar, tomamos f (66 y) = g(y). Entonces g(y) tiene todas sus races
reales positivas.
En primer lugar, obtenemos todas las cascadas a partir de la ecuacin inicial tal
como se ha explicado anteriormente:
11
4y 3 807y 2 + 54202y 1211959 = 0

12y 2 1614y + 54202 = 0
24y 1614 = 0
Como las races de cada cascada estan situadas entre unos lmites y todas ellas van
a ser positivas ya que todas las cascadas tienen signos alternos, el lmite inferior de
todas las cascadas va a ser 0. El lmite superior viene dado por:
a
+1
c
donde a y c han sido definidos anteriormente. Los lmites intermedios de cada cascada
vendrn dados por las races obtenidas de la cascada inmediatamente inferior.
Ahora obtenemos las races de cada cascada comenzando por la de menor grado. En
este caso, de esta cascada obtenemos la solucin y = 68, la cual vamos a utilizar para
obtener la solucin de la cascada de segundo orden.
La raz de la cascada de primer grado va a ser el lmite intermedio que acota las
races de la cascada de segundo orden. Por otro lado, tenemos que el lmite superior,
obtenido aplicando la frmula dada anteriormente, es 135 y 0 es el lmite inferior. En
definitiva, la cascada de segundo orden tiene tres lmites que acotan cada una de sus
dos races, 0, 68 y 135.
Ahora bien, podemos estimar las races de esta cascada. Para ello, vamos a acotar
sus dos soluciones con los lmites dados. Comenzamos tomando como primera apro-
ximacin la media de los valores 0 y 68, que es 34. Evaluamos los tres valores en la
cascada de segundo grado:
12(0)2 1614(0) + 54202 > 0, 12(34)2 1614(34) + 54202 > 0,
12(68)2 1614(68) + 54202 < 0
y obtenemos que la raz se encuentra en el intervalo (34, 68) puesto que estos dos va-
lores tienen signos opuestos al evaluarlos. Repetimos el mismo proceso hasta obtener
una raz exacta o una buena aproximacin de la raz. En este caso, hemos obtenido que
una buena aproximacin de la raz es 65.
Realizamos el mismo proceso para encontrar la raz que se encuentra en el intervalo
(68, 135) y obtenemos que la raz es 70.
Dadas las soluciones de la cascada de segundo orden podemos obtener las solu-
ciones de la cascada de tercer orden. En este caso, el lmite inferior es 0, los lmites
intermedios, que races de la cascada de segundo orden, son 65 y 70 y el lmite supe-
rior, obtenido al aplicar la frmula dada anteriormente, es 302990. Para la obtencin
de las races realizamos el mismo proceso iterativo que en la cascada de segundo orden
y obtenemos que las races son 63, 67 y 72.
En litmo lugar, resolvemos la cascada de cuarto orden en cuyo caso el lmite infe-
rior es 0, los lmites intermedios son 63, 67 y 72 y el lmite superior es 1211959, que
ha sido obtenido al aplicar la frmula dada anteriormente. Entonces, las races de esta
cascada se encuentran en los intervalos (0, 63), (63, 67), (67, 72) y (72, 1211959) y ca-
da intervalo contiene exacatamente una raz. Repitiendo el mismo proceso que con la
cascada anterior obtenemos que las soluciones para esta cascada son 62, 65, 69 y 73.
As pues, hemos obtenido las races de la ecuacin g(y) = 0 y deshacemos el cambio
de variable para obtener las races de la ecuacin f (x) = 0, obteniendo que las races de
esta son 7, 3, 1 y 4.
12
El teorema de Rolle tambin puede usarse para aproximar races de polinomios que
no tienen soluciones enteras como muestra el siguiente ejemplo:
f (x) = x3 + 3x2 2x 6 = 0.
Como el polinomio no tiene signos alternos realizamos el cambio el variable:
x = 7y
y sustituyendo en f (x) obtenemos:
f (7 y) = g(y) = y 3 + 24y 2 187y + 470 = 0.
Ahora obtenemos las cascadas:
3y 2 + 48y 187 = 0
6y + 48 = 0.
Dadas las cascadas podemos proceder a usar el mtodo de las cascadas de Rolle
para aproximar las soluciones de g(y) y de f (x). Las races de la cascada de segundo
orden son 6 y 9 aproximadamente.
Resolvemos ahora la cascada g(y) = 0. En este caso, el lmite inferior es 0, los lmites
intermedios son 6 y 9 y el lmite superior es 188. Para ver que se puede usar el mtodo
de las cascadas para obtener las races de un polinomio que no tiene soluciones reales
vamos a obtener solamente la raz que se encuentra en el intervalo (6, 9) ya que las
otras soluciones se obtienen de forma anloga.
Comenzamos obteniendo la media de los valores 6 y 9, que es 7,5, y evaluamos en
el polinomio:
(6)3 + 24(6)2 187(6) + 470 < 0, (7,5)3 + 24(7,5)2 187(7,5) + 470 < 0,
(9)3 + 24(9)2 187(9) + 470 > 0.

Nos quedamos con 7,5 y 9 ya que tienen signo opuesto. Repetimos el proceso para
estos valores:
(7,5)3 + 24(7,5)2 187(7,5) + 470 < 0, (8,25)3 + 24(8,25)2 187(8,25) + 470 < 0,
(9)3 + 24(9)2 187(9) + 470 > 0.

Como podemos ver, nos estamos acercando a la raz que est entre 6 y 9. Conti-
nuando con el proceso llegamos a que 7 + 2 8,414213562 como queramos. Vamos
a realizar un par de iteraciones ms. La media de 8,25 y 9 es 8,625 y ahora evaluamos:
(8,25)3 +24(8,25)2 187(8,25)+470 < 0, (8,625)3 +24(8,625)2 187(8,625)+470 > 0,
(9)3 + 24(9)2 187(9) + 470 > 0.

Ahora tenemos que tomar la media de 8,25 y 8,625, que es 8,4375, y evaluamos:
(8,25)3 +24(8,25)2 187(8,25)+470 < 0, (8,4375)3 +24(8,4375)2 187(8,4375)+470 > 0,
(8,625)3 + 24(8,625)2 187(8,625) + 470 > 0.

13
Como vemos en cada iteracinestrechamos el margen entre el valor real y nuestro

valor aproximado. Ntese que 7 + 2 8,414213562 se corresponde con la raz 2 de
f (x).
Vistos algunos ejemplos sobre la forma de aplicar el mtodo de las cascadas expo-
nemos una idea de la demostracin del mtodo de las cascadas del teorema de Rolle.
Consideremos un polinomio mnico P (z) de grado n con races reales positivas y
distintas a1 > a2 > a3 > ... > an , multiplicamos P (z) trmino a trmino por la progre-
sin aritmtica y, y + v, y + 2v, ..., y + nv. Necesitamos mostrar que la cascada resultante
C(z) toma valores positivos y negativos (o, negativos y positivos) para cada dos races
consecutivas a1 , a2 P (z), tomadas a1 y a2 como lmites de las races de C(z).
Primero consideremos que podemos escribir:
P (z) = (z a1 )(z a2 )K(z),
donde K(z) es un polinomio mnico de grado n 2.

Multiplicamos el producto (z a1 )(z a2 ) = a1 a2 (a1 + a2 )z + z2 trmino a trmino
por y, y + v, y + 2v, de donde obtenemos la cascada parcial:
C (z) = a1 a2 y (a1 + a2 )z(y + v) + (y + 2v)z2 = a1 a2 y a1 yz a2 yz a1 vz a2 vz + yz2 + 2vz2 .
Ahora evaluamos a1 y a2 en la cascada parcial obteniendo:

C (a1 ) = (a1 a2 )va1 ; C (a1 ) = (a2 a1 )va2 .
Obsrvese que tanto C (a1 ) como C (a2 ) no dependen de y, sino slo de v, razn por
la que el teorema es vlido para la multiplicacin por cualquier progresin aritmtica,
aunque realmente Rolle, no seala esta puntualizacin. Tambin podemos observar
como ambos valores C (a1 ) y C (a2 ) tendrn signos opuestos. Y es claro que en el caso
de utilizar un polinomio P (z) se obtendra la cascada completa C(z), y en este caso:
C(a1 ) = (a1 a2 )va1 K(a1 ) y C(a2 ) = (a2 a1 )va2 K(a2 ),
donde tenemos que considerar que K(a1 ) , 0 y K(a2 ) , 0. Adems, K(a1 ) y K(a2 ) tienen
el mismo signo puesto que:
K(z) = (z a3 )...(z an )
y habamos considerado que a1 y a2 son mayores que las races de K(z).
En las proposiciones siguientes de su libro Rolle llega a probar que estos resulta-
dos son los mismos cuando se considera cualquier pareja de races consecutivas del
polinomio, por lo que su mtodo sera vlido.
Es importante destacar dos aspectos: el primero es que el resultado que Rolle de-
muestra tiene una gran generalidad, puesto que puede utilizar cualquier progresin
aritmtica, no solo la que produce la derivada. Como segundo aspecto a destacar que
la demostracin aportada por Rolle en el libro citado anteriormente es el resultado in-
verso a lo que afirmaba en su libro Trait dalgbre. Las races de cada polinomio son los
lmites de la cascada siguiente, la de mayor grado. Mientras que lo que demuestra es
que las races de cada polinomio son los lmites de cada cascada de grado inferior. Esto
es lo que Cajori llama el corolario de Rolle, aunque en realidad era la regla original de
Rolle. Pero en difinitiva, la importancia de la demostracin radica en el hecho de que
el mtodo de las cascadas ofrece las garantas necesarias para localizar todas las races
reales de la ecuacin original.
14
2.5. Algunas aplicaciones del teorema de Rolle
2.5 Algunas aplicaciones del teorema de Rolle

En esta seccin vamos a estudiar algunas aplicaciones inmediatas del teorema de
Rolle tales como sus aplicaciones en ecuaciones diferenciales y la utilizacin del teore-
ma en la demostracin de otros teoremas.
Comenzamos la seccin estudiando el problema de la existencia de solucin de una
ecuacin diferencial dada. El objetivo de este estudio es mostrar algunas aplicaciones
interesantes para la resolucin de un cierto tipo de ecuaciones diferenciales.
Sean f y g funciones continuas sobre [a, b] y derivables en (a, b), podemos considerar
la siguiente ecuacin:
F(x) := f 0 (x)g(x) + g 0 (x)f (x) = 0. (2.3)
En primer lugar podemos considerar el estudio de las soluciones de la ecuacin
(2.3) que satisfacen una de las siguientes condiciones f (a) = 0 y g(b) = 0 o bien, f (b) = 0
y g(a) = 0.
Sea h(x) = f (x)g(x), es claro que F(x) = h0 (x). Observese que h satisface las hiptesis
del teorema de Rolle, por tanto, existe c (a, b) tal que h0 (c) = 0, es decir, que c es
solucin de la ecuacin del problema.
Por otro lado, es claro que se puede pedir una condicin de frontera ms general:
f (a)g(a) = f (b)g(b),
por ejemplo, si se satisface el teorema de Rolle para la funcin h.

Veamos que se cumple la condicin dada anteriormente con un sencillo ejemplo.
La ecuacin:
2x sen (x + x2 ) + (2x3 + x2 6x 3) cos (x + x2 ) = 0,

tiene una solucin entre 0 y 3. Como se puede observar, podemos reescribir la ecua-
cin anterior como h0 (x) = 0, con h(x) = f (x)g(x), donde:
f (x) = sen(x + x2 ) y g(x) = x2 3.

Adems, f (0) = 0 y g( 3) = 0.
Consideremos ahora la expresin:
F(x) := f 0 (x)g(x) g 0 (x)f (x) (2.4)
donde f y g son funciones continuas en (a, b) y derivables en [a, b]. Veamos las condi-
ciones que debe satisfacer la ecuacin 3.3 para tener solucin.
La funcin auxiliar que usaremos debe est relacionada con el cociente de ambas
funciones. Consideramos la funcin auxiliar:
f (x)
h(x) =
g(x)
con g(x) , 0 para todo x [a, b]. Ahora bien, nos falta imponer las condiciones de
frontera para poder aplicar el teorema de Rolle, por lo tanto, h(a) = h(b), o bien:
f (a) f (b)
= ,
g(a) g(b)
15
que podemos reescribir de la siguiente forma:
f (a)g(b) = f (b)g(a).
Aplicando el teorema de Rolle a la funcin h(x) tenemos garantizada la existencia de,

a menos, un punto c (a, b) tal que h0 (c) = 0, es decir que la ecuacin (3.3) tiene, al
menos, una solucin en (a, b) bajo la condicin de frontera impuesta anteriormente.
Consideremos ahora el estudio de la ecuacin:
F(x) := f 0 (x) + g 0 (x)f (x) = 0 (2.5)
La idea bsica que vamos a tener en cuenta para resolver este problema es usar un
procedimiento muy parecido a los anteriores, aunque la expresin f 0 (x) + g 0 (x)f (x) no
parece ser la derivada de ninguna funcin conocida, que es el primer paso. Usaremos
una funcin k(x) de tal forma que al manipular el producto k(x)(f 0 (x) + g 0 (x)f (x)) no se
vean afectados los ceros de la funcin:
f 0 (x) + g 0 (x)f (x),
lo cual lo conseguiremos si utilizamos una funcin k(x) que no se anule en ningun

punto de su dominio. Por otro lado, pediremos que el factor k(x) que aparece en la
derivada de la funcin auxiliar que estamos buscando, sea siempre positivo y que su
derivada coincida con s mismo. Con estas condiciones que debe satisfacer la funcin,
claramente pensamos en la funcin exponencial como candidata por excelencia. As,
llegamos a la conclusin, tras varios intentos, de que una buena opcin para k(x) sera
k(x) = eg(x) ya que obtenemos que:
eg(x) f 0 (x) + eg(x) g 0 (x)f (x) = (eg(x) f (x))0
y dado esto podemos concluir que una buena eleccin para la funcin auxiliar es h(x) =
eg(x) f (x). Obviamente, si f (x) y g(x) son continuas sobre el intervalo [a, b] y derivables
sobre (a, b) entonces h(x) tambin lo es.
Por otro lado, las condiciones de frontera que debemos imponer para poder aplicar
el teorema de Rolle estan dadas por la igualdad h(a) = h(b), o lo que es lo mismo,
eg(a) f (a) = eg(b) f (b). As, para cualesquiera dos funciones derivables f y g tales que:
eg(a) f (a) = eg(b) f (b),
la ecuacin 3.4 tiene, al menos, una solucin en el intervalo abierto (a, b).
Terminamos esta seccin dando ciertos teoremas del tipo del teorema del valor me-
dio para funciones reales con variable real cuyas demostraciones se obtienen aplicando
el teorema de Rolle a una funcin adecuada.
Teorema 2.3. Sea f : [a, b] R continua y derivable en (a, b). Existe c (a, b) tal que:
! !
0 f (a) + f (b) a+b
f (c) f (c) = c .
2 2
Demostracin:
Sea:
K1 = [f (x) f (a)][f (x) f (b)] + (x a)(x b).
16
Esta funcin es continua en [a, b] y derivable en (a, b), y K1 (a) = K1 (b) = 0. Adems,
K10 (x) = f 0 (x)(2f (x) f (a) f (b)) + (2x a b).

Por tanto, aplicando el teorema de Rolle se obtiene el resultado de la demostra-
cin.

f (a)+f (b)
Para el caso en que f (c) , 2 , el enunciado anterior se puede expresar de la
siguiente forma:

c a+b
2
f 0 (c) = f (a)+f (b)
.
f (c) 2
Supongamos que f 0 (c) no es cero. En dicho caso, las pendientes de la recta tangente
f (a)+f (b)

que pasa por (c, f (c)) y de la recta que pasa por (c, f (c)) y por M a+b 2 , 2 son
inversas con signo contrario, por tanto, son perpendiculares entre s.
Si transformamos la funcin auxiliar utilizada en el teorema anterior del siguiente
modo:
K20 = [f (x) f (a)][f (x) f (b)] (x a)(x b),
aplicando el teorema de Rolle, se obtiene un punto c (a, b) tal que:
!
0 f (a) + f (b) a+b
f (c) f (c) =c
2 2
y, por tanto, los resultados son similares a los anteriores.

En el teorema que vamos a estudiar a continuacin aparecen las funciones M(f ) e
I(f ), donde M(f ) denotar la media de f , que viene dada por:
f (a) + f (b)
M(f ) =
2
e I(f ) la media de la funcin f dada por:
Z b
1
I(f ) = f (x)dx.
ba a
Teorema 2.4. Sea f : [a, b] R continua y derivable en (a, b). Si M(f ) = I(f ), existe
c (a, b) tal que:
f 0 (c)(c a) = f (c) f (a).
Demostracin:
Sea: Z x
f (x) + f (a)
h(x) = (x a) f (t)dt.
2 a
La funcin h es continua en [a, b] y derivable en (a, b). Adems, h(a) = 0 y
Z b
f (b) + f (a)
h(b) = (b a) f (t)dt = (b a)[M(f ) I(f )] = 0.
2 a
17
Por ltimo, aplicando el teorema de Rolle a la funcin h se obtiene el resultado.

Obsrvese que en general, para una funcin continua en [a, b] y derivable en (a, b),
existe c (a, b) tal que:
f (c) f (a) 6[M(f ) I(f )]
f 0 (c) = + (c a).
ca (b a)2
El siguente teorema ofrece una generalizacin del teorema del valor medio integral.
Teorema 2.5. Sean f , g : [a, b] R continuas en [a, b]. Existe c (a, b) tal que:
Zc Zb
f (x)dx + g(x)dx = f (c)(b c) + g(c)(c a).
a c
Demostracin:
Tomando como funcin auxiliar:
Zx Zb
h(x) = (x b) f (t)dt + (x a) g(t)dt,
a x
con h continua en [a, b] y derivable en (a, b). Adems, se tiene que:
h(a) = h(b) = 0.
Por otro lado, tenemos que:

Z x Z b
0
h (x) = (x b)f (x) + f (t)dt (x a)g(x) + g(t)dt.
a x
Por tanto, aplicando el teorema de Rolle se obtiene el resultado de deseado.

Veamos una interpretacin geomtrica de este teorema:
Si las funciones f y g son positivas en [a, b], la suma del rea bajo f entre a y c y la
del rea bajo g entre c y b (imagen 1) es la misma que la suma del rea del rectngulo
de base b c y altura f (c) y la del rectgulo de base c a y altura g(c) (imagen 2). En las
siguientes imgenes podemos ver claramente lo explicado anteriormente.
Dentro de las posibilidades para elegir las funciones f y g destacamos dos casos.
18
1. Tomando f (x) = g(x) se obtiene el teorema del valor medio para integrales.
Rc
2. Tomando g(x) = 0, obtenemos la expresin a f (x)dx = f (c)(b c). Si f es positiva
en [a, b] entonces, el rea bajo f entre a y c es la misma que la del rectngulo de
base b c y alturaf (c) como se puede ver en la siguiente grfica.
19
Resultados
A lo largo de este captulo vamos a estudiar algunas versiones del teorema de Rolle.
3
Comenzamos obteniendo una versin para espacios normados de dimensin finita.
Posteriormente, estudiaremos el caso de los espacios normados de dimensin infinita.
Por ltimo, vamos a estudiar distintas versiones del teorema de Rolle para funciones
holomorfas.
3.1 Versin finito-dimensional del teorema de Rolle

Una primera versin del teorema de Rolle a considerar es la planteada para fun-
ciones f : Rn Rp con n, p N. Esta versin extender al teorema del valor medio
generalizado. Adems, esta versin tiene aplicaciones geomtricas intuitivas y su de-
mostracin es muy sencilla.
La idea bsica de esta primera versin consiste en asumir cierto comportamiento
de f en la frontera de un conjunto A de Rn (en R este comportamiento se reduce a
la condicin f (a) = f (b)) para obtener informacin de la derivada de f en un punto
interior de A.
Primero consideraremos dos resultados que vamos a necesitar.
Proposicin 3.1. Sea f : B(x0 , r) Rn R y sea c B(x0 , r) tal que f alcanza un extremo
relativo en c. Sea f diferenciable en c. Entonces, f 0 (c) = 0.
Proposicin 3.2. Sea f : B(x0 , r) Rn R continua. Entonces, la imagen de f es un

intervalo cerrado y acotado [m, M].
El siguiente ejemplo muestra que con una reformulacin literal del teorema de Ro-
lle para funciones de Rn con n > 2 no es posible que el teorema sea vlido.
Sea f : R2 R2 dada por:

f (x, y) = x(x2 + y 2 1), y(x2 + y 2 1) .
La funcin f es continua en B(0, 1), diferenciable en B(0, 1) y f (x) = 0 para todo

x S(0, 1). Sin embargo,f 0 (x) , 0 para todo x B(0, 1).
Ya podemos dar una primera versin multidimensional del teorema de Rolle.
Teorema 3.1. Sea f : B(x0 , r) Rn Rp continua en B(x0 , r) y diferenciable en B(x0 , r).

Supongamos que existe v Rp tal que:
v es ortogonal a f (x) para cada x S(x0 , r).
Entonces, existe c B(x0 , r) un vector tal que v f 0 (c)u = 0 para todo u Rn .
Demostracin:
Sea k : Rp R dada por k(v) = v x para todo v Rp . Sea g(x) = k(f (x)) para todo
x Rn .
Por la proposicin 3.2, la imagen de g es un intervalo cerrado y acotado [m, M].
La condicin de ortogonalidad impuesta implica que g se anula en S(x0 , r). As pues,
podemos asumir, sin perder generalidad, que g alcanza su valor mximo M en un
21
3. Resultados
punto c B(x0 , r). Adems, por la proposicin 3.1, g 0 (c) = 0, entonces v f 0 (c)u = 0 para
todo u Rn .

Observacin 1. La suposicin del teorema 3.1 puede ser sustituida por la afirmacin
equivalente:
v f (x) es constante en S(x0 , r).
Adems, la conclusin del teorema puede ser expresada de forma equivalente pero
ms intuitiva geomtricamente del siguiente modo:
f f f
v es ortogonal a los vectores x1
(c), x (c), ..., x (c).
2 n
Observacin 2. El conjunto B(x0 , r) puede ser reemplazado por la clausura de cualquier

conjunto abierto, acotado y conexo de Rn .
Del teorema 3.1 se puede obtener, por ejemplo, el teorema del valor medio genera-
lizado (y, como consecuencias, los teoremas del valor medio y de Rolle).
Corolario 3.1.1. Sean f , g : [a, b] R continuas en [a, b] y derivables en (a, b). Entonces,
existe c (a, b) tal que:
[f (b) f (a)]g 0 (c) = f 0 (c)[g(b) g(a)].
Demostracin:
Si f (a) = f (b) y g(a) = g(b) es claro que se tiene la igualdad anterior.
Supongamos que:
[f (b) f (a)]2 + [g(b) g(a)]2 > 0.
Definimos S : [a, b] R2 dada por S(t) = (g(t), f (t)). Sea v = (f (b) f (a), g(a) g(b)).
Entonces:
v T (a) = v T (b) = f (b)g(a) f (a)g(b).
As, de acuerdo con la primera observacin del teorema 3.1, existe un punto c
(a, b) tal que:
v T 0 (c)t = 0,
para cada t R. Con t , 0 obtenemos que:
[f (b) f (a)]g 0 (c) = f 0 (c)[g(b) g(a)].

El siguiente corolario extiende el teorema del valor medio de Sanderson para fun-
ciones de varias variables.
Corolario 3.1.2. Dada una funcin v : [a, b] Rp k veces diferenciable. Supongamos que
v(a), v(b) y las k 1 derivadas de v en a son ortogonales a un vector no cero, v0 . Entonces,
existe un c (a, b) tal que v k) (c) es ortogonal a v0 .
22
3.1. Versin finito-dimensional del teorema de Rolle
Demostracin:
Aplicando el teorema 3.1, obtenemos la existencia de un c1 (a, b) tal que v0 es or-
togonal a v 0 (c1 ). Ahora bien, el teorema puede aplicarse a v 0 en el intervalo [a, c1 ] para
obtener un punto c2 tal que c2 < c1 tal que v0 es ortogonal a v(c2 ). Este prodecimiento
puede repetirse k 1 veces para obtener c = ck < ck1 tal que:
v0 v k) (c) = 0.

Veamos a continuacin una segunda versin multidimensional del teorema de Ro-
lle.
Teorema 3.2. Sea f : B(x0 , r) Rn Rp continua en B(x0 , r) y diferenciable en B(x0 , r).

Sean v Rp y z0 B(x0 , r) tal que v (f (x) f (z0 )) no cambia de signo en S(x0 , r). Entonces
existe c B(x0 , r) tal que v f 0 (c)u = 0 para todo u Rn .
Demostracin:
Podemos suponer, sin perder generalidad, que:
v(f (x) f (z0 )) 6 0
para todo x S(x0 , r). Esto implica que existe c B(x0 , r) tal que v f (c) = M, donde:
M = max{v f (x) : x B(x0 , r)}.
En consecuencia, v f 0 (c)u = 0 para todo u Rn .

Observacin 3. En el caso n = p = 1 el teorema 3.2 nos dice que si para algn z (a, b)
tenemos que:
f (z) > max{f (a), f (b)} f (z) 6 mn{f (a), f (b)},
entonces existe c (a, b) tal que f 0 (c) = 0. Ntese que cada z (a, b) satisface una de las
condiciones anteriores cuando f (a) = f (b).
El siguiente corolario es consecuencia de la observacin anterior y, adems, se ob-
tiene el mismo resultado que en el teorema 2.4, sin embargo, las condiciones de los
teoremas no estn relacionadas.
Corolario 3.2.1. Sea f : [a, b] R continua en [a, b] y derivable en (a, b). Supongamos
que f 0 (a) = f 0 (b). Entonces, existe c (a, b) tal que:
f 0 (c)(c a) = f (c) f (a).
Demostracin:
Con una sencilla comprobacin se tiene que este corolario es cierto para f si, y
slo, si es cierto para:
g(x) = f (x) xf 0 (a).
Podemos asumir, sin perder generalidad, que f 0 (a) = f 0 (b) = 0. Definamos:
23
3. Resultados
f (x)f (a)
si x , a
xa

h(x) =

0 si x = a.
La funcin h es continua en [a, b], derivable en (a, b) y, adems:
h(b)
h0 (b) = .
ba
Supongamos que h(b) , 0. De h(b)h0 (b) < 0 y h(a) = 0 obtenemos la existencia de
z (a, b) que satisface la condicin de ortogonalidad del teorema 3.1 o del teorema
3.2. Cuando h(b) = 0 (= h(a)) cada punto z (a, b) satisface la condicin. Entonces,
la observacin 3 nos asegura la existencia de un punto c (a, b) tal que h0 (c) = 0,
obteniendo as lo que queramos.

A continuacin vamos a estudiar tres aplicaciones geomtricas de los dos teoremas
vistos anteriormente en esta seccin para conseguir una representacin visual de los
resultados.
Aplicacin 1. Sea f :B(0, 1) R2 R3 definida por:
f (u, v) = (x(u, v), y(u, v), z(u, v))
continua en B(0, 1) y diferenciable en B(0, 1). Adems, sea G = Im(f ). Supongamos que
existe un plano:
p : ax + by + cz + d = 0
tal que (x(u, v), y(u, v), z(u, v)) p para cada (u, v) S(0, 1). Entonces, existe un punto
(u0 , v0 ) B(0, 1) tal que el plano tangente a la superficie G en (u0 , v0 ) es paralelo a p.
Demostracin:
Por la observacin 1 del teorema 3.1. El vector v0 = (a, b, c) es ortogonal a:
f f
(u ) = p,
u 0 v
(Hu0 ) = q
para algn u0 B(0, 1), donde u0 = (u0 , v0 ). El plano tangente a G en f (u0 ) viene dado
por el conjunto:
{f (u0 ) + mp + nq : m, n R}
que es paralelo a p.

Aplicacin 2. Sea f : B(0, 1) R2 R3 definida por:
f (u, v) = (x(u, v), y(u, v), z(u, v))
continua en B(0, 1) y diferenciable en B(0, 1). Denotemos por G la superficie G = Im(f )
y sea:
G0 = f (S(0, 1)) .
Supongamos que existe un plano:
p : ax + by + cz + d = 0,
tal que G est a un lado del plano p y existe una superficie S el cual est al otro lado
del plano p. Entonces el plano tangente a G en algn punto P S es paralelo a p.
24
3.1. Versin finito-dimensional del teorema de Rolle
Demostracin:
Sea ui = (ui , vi ) B(0, 1) tal que f (ui ) est al otro lado de p respecto a G0 . Entonces,
(a, b, c) (f (u) f (ui )) no cambia de signo en S(0, 1). La conclusin se sigue del teorema
3.2.

Aplicacin 3. Sea x : [a, b] R3 continua en [a, b] y diferenciable en (a, b) y sean:
P = x(a) = (x(a), y(a), z(a)), Q = x(b) = (x(b), y(b), z(b)).
Entonces, para cada plano p que pasa por la recta L uniendo P con Q existe un
punto c (a, b) tal que el vector x0 (c) es paralelo a p. En particular, cuando el plano p
contiene al origen obtenemos que x0 (c) satisface la siguiente igualdad:
x(a)[y(b)z0 (c) z(b)y 0 (c)]+y(a)[z(b)x0 (c) x(b)z0 (c)]+z(a)[x(b)y 0 (c) y(b)x0 (c)] = 0.
Demostracin:
La primera parte es consecuencia inmediata del teorema 3.1, ya que por cada
plano que pasa a travs de L existe un vector u ortogonal a L y al plano p. Por otro
lado, para ver la demostracin de la segunda parte, obsrvese que la direccin v de
una lnea ortogonal a p est dada por un cruce de los vectores x(a) y x(b), es decir, el
producto vectorial de ambos vectores. Por tanto, existe c (a, b) tal que:
x(a) x(b) x0 (c) = 0,
obtenindose as la igualdad que queramos.

Para finalizar esta seccin veamos que no es posible adaptar los resultados de esta
seccin para obtener una versin infinito-dimensional del teorema de Rolle. Los teore-
mas 3.1 y 3.2 son vlidos si Rp es reemplazado por un espacio de Hilbert H. Adems,
no necesitamos hacer ningn cambio para obtener la demostracin. Esto no es posi-
ble en dimensin infinita porque la proposicin 3.2 no es cierta para el caso infinito-
dimensional. Esto se debe a que si E es un espacio de Banach infinito-dimensional, su
bola unidad cerrada B(0, 1) no es compacta. En consecuencia, existe una funcin con-
tinua f : B(0, 1) R tal que la imagen de la funcin f es un intervalo abierto como
muestra el siguiente ejemplo.
Consideramos el espacio l2 y sea D = B(0, 1) su bola unidad cerrada. Definimos una
aplicacin T : D l2 dada por:
p
T (x) = T (x1 , x2 , ...) = 1 k x k2 , x1 , x2 , ... .
La aplicacin T no tiene puntos fijos. En efecto, k T (x) k= 1 para todo x D. Si x es

un punto fijo debe estar en la frontera de D, es decir, k x k= 1. Esto implica que:
T (x) = (0, x1 , ...)
Combinando este resultado con la igualdad T (x) = x, se tiene que x = 0 en contra

de que hemos supuesto que k x k = 1. Podemos definir la funcin continua f : D R
dada por:
1
f (x) = .
k x T (x) k
25
3. Resultados

1
Veamos ahora que la imagen de f es el intervalo abierto 2, + . Sabemos ya que:
k x T (x) k > 0
para cada x D. Para comprobar que el nfimo del conjunto {k x T (x) k : x D} es 0

consideraremos los elementos xn D para todo n N cuyas n primeras componentes
son 1n y el resto son nulas,es decir:
!
1 1 1
xn = , , ..., , 0, ... .
n n n
q
2
Claramente, k xn k = 1 y k xn T (xn ) k = n para todo n N y, por lo tanto, su
nfimo es 0.
Para ver que k x T (x) k< 2 para cada x D, ntese que k x T (x) k= 2 requiere que
k x k= 1 y x = T (x), es decir:
(x1 , x2 , ...) = (0, x1 , x2 , ...).
Dicha igualdad implica que x = 0, lo cual contradice que k x k= 1.
Para verificar que el supremo del conjunto {k x T (x) k : x D} es 2 consideremos
los elementos xn que tienen 0 en las componentes posteriores a la n-sima y alternan
1 con 1 en las posiciones anteriores, es decir:
n n

xn = 1 , 1 , 1 , 1 , ..., (1)n+1 1 , 0, ... .
n n n n n
Entonces: r
2
k xn T (xn ) k = 4
n
lo
cual implica que el supremo es 2. Por tanto, la imagen de f es intervalo abierto
1
2 , + .
3.2 Espacios donde no se cumple el teorema de Rolle

En 1992 aparece el primer trabajo en la literatura sobre el teorema de Rolle en espa-
cios de dimensin infinita. Viene de la mano de Shkarin en [12], donde se prueba que
el teorema de Rolle no es cierto para ciertos espacios de dimensin infinita. Despus
del resultado de Shkarin, vuelve a aparecer un resultado sobre el teorema de Rolle en
dimensin infinita en 1996 de la mano de J. Ferrer, quien expone un contraejemplo de
que el teorema de Rolle falla en l2 en su trabajo [3]. Veamoslo.
Consideremos las siguientes transformaciones lineales definidas por:
R(x) = (0, x1 , x2 , x3 , ...)
L(x) = (x2 , x3 , x4 , ...)
para cada x = (x1 , x2 , x3 , ...) l2 y sea g : l2 l2 la funcin:
1

g(x) = k x k2 e1 + R(x)
2
26
3.2. Espacios donde no se cumple el teorema de Rolle
(donde e1 representa al vector (1, 0, 0, ...) y k k denota la norma k k2 para simplificar la

notacin). Podemos considerar ahora la funcin f : l2 R dada por:
1 k x k2
f (x) = (3.1)
k x g(x) k2
para todo x l2 . Se puede verificar que la aplicacin g no tiene puntos fijos. Por tanto,
f es una funcin continua en l2 que adems se anula para k x k= 1. A continuacin
veremos que f es diferenciable en todos los puntos de l2 . Sabemos que la funcin:
x k x k2 = hx, xi
es Frchet diferenciable, donde h , i indica el producto escalar de l2 , y ya que R(x) es

una transformacin lineal y continua, la funcin g tambin es Frchet diferenciable en
todo l2 con derivada en x l2 dada por:
g 0 (x)(u) = 2hx, uie1 + R(u)
para todo u l2 . Por tanto, obtenemos que la derivada de k x g(x) k2 est dada por:
u = 2hx g(x), u g 0 (x)ui.
As pues k x g(x) k2 no se anula, la derivada del cociente nos dice que f es Frchet
diferenciable en todos los puntos de l2 y, para cada u l2 , se obtiene:
h i
1 2 hx, ui 2 (1 k x k2 )hx g(x), u g 0 (x)ui .
f 0 (x)u = kxg(x)k 4 2 k x g(x) k
Sin embargo, como hg(x), e1 i = 21 k x k2 y:
hx, R(u)i = hL(x), ui y, L (g(x)) = x
se sigue que:
hx g(x), u g 0 (x)ui
1
= hx g(x), ui + 2hx, uix1 2hx, ui( k x k2 ) hx g(x), R(u)i
2
= hx g(x) + 2x1 x (1 2 k x k2 )x L(x g(x)), ui
= h(1 + 2x1 + 2 k x k2 )x g(x) L(x), ui.
As pues:
2
2 2 2

f 0 (x)u = h k x g(x) k +(1 k x k )(1 + 2x1 + 2 k x k ) x(1 k x k2 )(L(x)+g(x)), ui,
k x g(x) k4
es decir:
2 h
2 2 2

2
i
f 0 (x) = k x g(x) k +(1 k x k )(1 + 2x1 + 2 k x k ) x (1 k x k )(L(x) + g(x)) .
k x g(x) k4
Veamos que f 0 (x) es no nula para k x k< 1. Por reduccin al absurdo, supongamos
que k x k< 1 tal que f 0 (x) = 0. Entonces, sea:
27
3. Resultados
k x g(x) k2
s= + 1 + 2x1 + 2 k x k2 , (3.2)
1 k x k2
de esto obtenemos que:
L(x) + g(x) = sx,
y, por tanto:
L2 (x) sL(x) + x = 0.
Es decir, x Ker(L2 sL + I) es un sucesin recursiva de segundo orden en l2 . La
ecuacin caracterstica asociada es:
t 2 st + 1 = 0.
De esto deducimos que hay tres casos diferentes de acuerdo con el signo del discri-
minante.
Caso 1: |s| = 2. Entonces sabemos que:

! 2 3 !
s s 2 s 3 s s s

u = 1, , , , ... , v = 0, , 2 ,3 , ...
2 2 2 2 2 2
son elementos bsicos de Ker(L2 sL + I). As, x = Au + Bv, para ciertos A, B R.

Entonces, para cada n N se tiene que:
n1 n1
s s
xn = A + B(n 1)
2 2
ya que lmn xn = 0 y, por tanto, tenemos que A = B = 0, es decir, x = 0. Sin embar-

go, esto no puede darse ya que:
f 0 (0) = 16e1 .
Caso 2: |s| < 2. Entonces la ecuacin caracterstica tiene dos races complejas da-
das por:
= cos a + i sen a, = cos a i sen a, sin a , 0.
Entonces, existen A, B C para cada:
xn = A(cos a + i sen a)n1 + B(cos a + i sen a)n1 , nN
y, para las convenientes C, D R se tiene que:
xn = C cos(n 1)a + D sin(n 1)a, nN
Sin embargo, sin a , 0 implica que la primera sucesin no tiene lmite, a menos
que C = D = 0, es decir, x = 0, lo cual es otra contradiccin.
28
Caso 3: |s| > 2. En este caso tenemos dos races reales:

s + s2 4 s s2 4
= , = .
2 2
Claramente, el valor absoluto de una de las races anteriores es mayor que uno y
el valor absoluto de la otra es menos que uno. Por tanto, supongamos que:
|| > 1, || < 1.
Dado esto, se tiene que:
xn = A n1 + B n1 , n N.
As pues, A = 0 y xn = x1 n1 , para n N.
En consecuencia, x es la siguiente progresin geomtrica:

x1 , x1 , x1 2 , x1 3 , ... .
Por otro lado, tenemos que:

!2
2 x12 2 x12 1 x12 (1 )
kxk = , k x T (x) k = x1 + + .
1 2 1 2 2 1+
De sx = T (x) + Lx, obtenemos que:
1 2 1
x12 + x1 (1 2 ) = 0. (3.3)
2
Adems:
x12 (1 )
k x T (x) k2 = .
2 (1 + )
Por tanto, sustituyendo en la ecuacin (3.2) obtenemos:
1 x2 (1 ) 1 2 x12
+ = s = 12 + 1 + 2x 1 + 2
(1 + ) 1 2 x12 1 2
de donde obtenemos que:
(1 2 )(1 )
!
1 = ( 2x1 ) 1 + . (3.4)
2 2 (1 x12 2 )
De la ecuacin (3.3) podemos considerar a su vez dos casos.

El primer caso se da cuando:
p
1 + 2 1 4
x1 = .
2
29
3. Resultados
De la ecuacin (3.4), como k x k< 1 entonces x12 + 2 < 1, as tenemos que:
0 < x12 < 1.
Entonces: p
1 + 1 4
0< < 1.

Lo cual es una contradiccin ya que || < 1. El segundo caso que obtenemos de la
ecuacin (3.3) viene dado por:
p
1 + 2 + 1 4
x1 = .
2
Ntese que:
1
1 x12 2 = (1 2 )( + 2x1 )
2
y teniendo en cuenta la ecuacin (3.4) obtenemos:
2 2 + p1 4
1
q
1= 1 1 4 p ,
2 2 1 + 1 4
q q q
2 2 1 + 1 4 = 1 1 4 2 2 + 1 4 ,
q
q
3 4 2 4
2 = 1 1 2 + 1 ,
q q
2 1 + 1 4 = 2 2 + 1 4 ,
q
3
2(1 ) = ( 2) 1 4 .
Con lo que llegamos a una contradiccin.
Veamos ahora que el teorema de Rolle falla en todo espacio de Hilbert separable
de dimensin infinita. Para simplificar los siguientes clculos, en esta seccin vamos a
considerar solamente espacios de Banach separables. Un espacio de Banach es separable
si existe una sucesin de vectores de E densa en E con la topologa de la norma. Cier-
tamente, el espacio Rn con cualquier norma es separable, as que este concepto toma
especial importancia en espacios de dimensin infinita. Puesto que la separabilidad
nos permite que ciertas manipulaciones basten hacerlas sobre un conjunto numerable
en lugar de considerar a todo el espacio. Por ejemplo, si H es un espacio de Hilbert
separable con producto interno hh , ii, entonces admite una base ortonormal {ei }
i=1 y
para cada x H se satisface:
X
x= hhx, ei iiei . (3.5)
i=1
A partir del ejemplo en l2 es fcil construir una funcin que haga que falle el teore-
ma de Rolle en cualquier espacio de Hilbert separable H. El teorema de Riesz-Fischer
30
nos asegura que todo espacio de Hilbert separable es isomtrico a l2 . En efecto, si {ei }
i=1
es la base ortonormal en H satisface la ecuacin (3.5), para cada x H la igualdad:
T (x) = (hhx, ei ii)
i=1
define un isomorfismo T : H l2 . Adems, T es una isometra. De hecho, si ||| ||| es la

norma de H, se satisface la siguiente igualdad:

X
||| x |||2 = hhx, xii = | hhx, ei ii |2 =k T (x) k2 .
i=1
Sea BH = {x H :||| x |||< 1} y f la funcin dada en la ecuacin (3.1). La aplicacin:

h = f T : H R
hace que el teorema de Rolle no se cumpla en BH . Se puede verificar que h es continua
en H y, adems, h(x) = f (T (x)) = 0 para todo x Fr(BH ), es decir, si ||| x |||= 1.
Sea u BH , puesto que la regla de la cadena se satisface y T 0 (u)(x) = T (x) entonces
para todo x H se cumple:
h0 (u)(x) = f 0 (T (u))T (x).
Como u BH entonces T (u) B, luego f 0 (T (u)) , 0 y, por tanto, h0 (u) , 0. As
pues, el teorema de Rolle falla en todo espacio de Hilbert separable, como queramos
demostrar.
Veamos ahora una herramienta para solucionar el problema de la no diferenciabi-
lidad en el origen.
Un resultado clsico de la topologa de dimensin infinita dice que la esfera unidad:
SH = {x H :||| x |||= 1}
de cualquier espacio de Hilbert H en dimensin infinita es homeomorfa a dicho espa-
cio. Ms an, todo espacio de Hilbert de dimensin infinita es difeomorfo a su esfera
unidad, lo cual fue demostrado por Bessaga en 1966. Esto quiere decir que existe un
homeomorfismo diferenciable : H SH , donde 1 tambin es diferenciable.
En la bsqueda de generalizar el resultado de Bessaga y siguiendo sus pasos se
prueba lo siguiente: si E es un espacio de Banach de dimensin infinita que admite
una norma Frchet diferenciable (no tiene porqu ser separable), dado r > 0 existe
un difeomorfismo de clase C 1 , : E E\{0} definido por:
(x) = x,
si (x) > r.
La frase admite una norma Frchet diferenciable precisamente significa que existe una
norma equivalente a la de E que es Frchet diferenciable fuera del origen. Un hecho
relevante es que si una norma es Frchet diferenciable, entonces es de clase C 1 .
Supongamos que E admite una norma Frchet diferenciable : E R. Sea:
BE = {x E : (E) < 1}
1
y : E E\{0} un difeomorfismo de clase C 1 tal que (x) = x si (x) > 2 y f : E R
dada por:
f (x) = 1 ((x)).
31
3. Resultados
Ya que es de clase C 1 en E y es diferenciable en E\{0}, entonces f es de clase C 1

en BE y claramente continua en E. Adems, f (x) = 0 para todo x Fr(BE ). Por otro lado,
si u BE entonces:
f 0 (u) = 0 ((u)) 0 (u). (3.6)
Sean u BE fijo y (u) = y E\{0}. De la ecuacin (3.6) se deduce que f 0 (u)(x) =
0 para todo x E si y slo si 0 (y)(0 (u)(x)) = 0 para todo x E. Puesto que es
un difeomorfismo, tanto como 1 son diferenciables y entonces 0 (u) : E E es
un isomorfismo lineal. Para verificar la ltima afirmacin basta aplicar la regla de la
cadena para derivar a 1 y 1 . Por tanto, f 0 (u) = 0 si, y slo, si 0 (y) = 0. As
pues, como es una norma, entonces es una funcin convexa. Por tanto, si y es un
punto crtico de , entonces alcanza su mnimo global en y , 0, lo cual es imposible.
Para concluir, si E admite una norma Frchet diferenciable entonces el teorema de
Rolle falla en E y, en particular, falla en todo espacio de Hilbert.
3.3 Versiones complejas del teorema de Rolle

En 1930 Jean Dieudonn public una condicin suficiente y necesaria para la exis-
tencia de un cero de f 0 (z) en el interior de una circunferencia con dimetro ab cuando
f es holomorfa y f (a) = f (b) = 0. En 1949 M. Marden proporcion resultados sobre las
posiciones relativas de los ceros de polinomios complejos y los ceros de su derivada.
A continuacin daremos una versin del teorema de Rolle para funciones holomor-
fas. En primer lugar, veamos con un ejemplo que el teorema de Rolle no es cierto lite-
ralmente para funciones complejas. Si consideramos la funcin holomorfa f (z) = ez 1
se anula en z = 2ki para cada k Z, pero f 0 (z) = ez no se anula en el plano complejo.
Para un nmero complejo z denotaremos por Re(z) y Im(z) a sus partes real e ima-
ginaria, respectivamente.
Damos una primera versin del teorema para funciones holomorfas que es conse-
cuencia del teorema 3.1. Ms adelante veremos otra (vease teorema 3.5).
Teorema 3.3. Sea f : C C una funcin holomorfa. Supongamos que existen dos nmeros
complejos distintos a y b tales que f (a) = f (b). Entonces, existen dos nmeros complejos z1
y z2 en el segmento abierto de extremos a y b tales que:
Re(f 0 (z1 )) = Im(f 0 (z2 )) = 0.
Demostracin:
Sean f (z) = f (x + iy) = u(x, y) + iv(x, y), p R2 , donde:
p = (p1 , p2 ) = (Re(a), Im(a))
y q R2 , donde:
q = (q1 , q2 ) = (Re(b), Im(b)) .
Definimos:
g(t) = (u(q + t(p q)), v(q + t(p q)))
donde t [0, 1]. Ntese que g(0) = g(1). De acuerdo con el teorema 3.1, para cada
x R2 , con x , 0, existe t0 (0, 1) tal que x g 0 (t0 )t = 0 para cada t R.
Si t = 1 y consideramos el vector x1 = (p1 q1 , p2 q2 ), entonces:
32
3.3. Versiones complejas del teorema de Rolle
0 = x1 g 0 (t0 )
u u
= (g(t0 )) (p1 q1 )2 + (g(t0 )) (p1 q1 )(p2 q2 )
x y
u u
+ (g(t0 )) (p1 q1 )(p2 q2 ) + (g(t0 )) (p2 q2 )2 .
x y
Dado que f es holomorfa, sus partes real e imaginaria satisfacen las ecuaciones
de Cauchy-Riemann, es decir:
u v u v
= , = .
x y y x
As:
u
(g(t0 ))[(p1 q1 )2 + (p2 q2 )2 ] = 0.
x
Esto implica que:
u
(g(t0 )) = Re(f 0 (z1 )) = 0,
x
donde z1 = q + t0 (p q). Para obtener la otra igualdad usaremos el vector:
x2 = (q2 p2 , p1 q1 ).

Este resultado sigue siendo cierto cuando se consideran funciones definidas en con-
juntos abiertos y convexos de C.
Como consecuencia del teorema anterior tenemos la siguiente versin del teorema
del valor medio para funciones holomorfas.
Teorema 3.4. Sean D un abierto convexo de C y f : D C holomorfa. Sean a, b dos
puntos distintos de D. Entonces existen dos puntos z1 , z2 (a, b) tales que:
! !
f (b) f (a) f (b) f (a)
Re(f 0 (z1 )) = Re , Im(f 0 (z2 )) = Im .
ba b a)
Demostracin:
Sea:
f (b) f (a)
g(z) = f (z) f (a) (z a) (3.7)
ba
para cada z D. Claramente, g(a) = g(b) = 0. Entonces, por el teorema 3.3 existen
z1 , z2 (a, b) tal que Re(g 0 (z1 )) = 0 y Im(g 0 (z2 )) = 0. Sin embargo, por la ecuacin (3.7)
se tiene:
f (b) f (a)
g 0 (z) = f 0 (z)
ba
para cada z D. Entonces:
!
0 0 f (b) f (a)
0 = Re(g (z1 )) = Re(f (z1 )) Re ,
ba
!
0 0 f (b) f (a)
0 = Im(g (z1 )) = Im(f (z1 )) Im .
ba
33
3. Resultados

A continuacin exponemos como corolario de este teorema un conocido resultado
de anlisis complejo.
Corolario 3.4.1. Sean D un abierto conexo de C y f : D C tal que f 0 (z) = 0 para cada
z D, entonces f es constante.
Demostracin:
Por el teorema de extensin analtica del anlisis complejo, es suficiente mostrar
que f es localmente constante. Sean z0 arbitrario en D y Uz0 un entorno convexo de
z0 contenido en D. Sea z un punto de Uz0 tal que z , z0 . Por el teorema 3.4, existen
z1 , z2 (z0 , z) tal que:
! !
f (z) f (z0 ) 0 f (z) f (z0 )
Re = Re(f (z1 )) = 0, Im = Im(f 0 (z1 )) = 0.
z z0 z z0
Entonces, f (z) = f (z0 ), es decir, f es constante en Uz0 .

Veamos ahora varios ejemplos que arrojan luz sobre el teorema 3.3 e ilustran la afir-
macin de que los ceros de las partes real e imaginaria de la derivada de una funcin
holomorfa separan los ceros de dicha funcin:
1. Sea f (z) = ez 1 y ntese que f (z) = 0 para z = 2ki para cada entero k. Como
(2k+1)
f 0 (z) = ez = ex cos y + iex sen y, Re(f 0 (z)) = 0 si y = 2 e Im(f 0 (z)) = 0 si y = k.
Entonces los ceros de las partes real e imaginaria de f 0 son lineas rectas que
separan los ceros de f .
2. Si f (z) = (z a)(z b) con a , b, entonces f (z) = 0 cuando z = a z = b. Como

Re(a+b) Im(a+b)
f 0 (z) = 2z a b, Re(f 0 (z)) = 0 si x = 2 e Im(f 0 (z)) = 0 si x = 2 . Por tanto,
los ceros de las partes real e imaginaria de f 0 son rectas que separan los ceros de
f.
3. Ntese que, en general, el conjunto de ceros de Re(f (z)) y de Im(f 0 (z)) no tienen
que ser necesariamente rectas. Por ejemplo, si consideramos f (z) = z3 + z2 + z + 1,
el conjunto de ceros de Re(f 0 ) es una hiprbola.
A continuacin damos una segunda versin del teorema de Rolle para funciones holo-
morfas.
Teorema 3.5. Sea D un abierto arco-conexo de C y f : D C diferenciable. Sean a, b D

dos puntos distintos tales que f (a) = f (b). Para cualquier camino suave simple D que
une los puntos a y b con parametrizacin cannica , existe algn z0 tal que:
f 0 (z0 ) 0 ( 1 (z0 )) (b a) = 0.
Demostracin:
Sea f : D C una funcin diferenciable y : [0, 1] una parametrizacin
suave de D con (0) = a y (1) = b. Se define h : [0, 1] R dada por:
h(t) = f ((t)) (b a).

34
3.3. Versiones complejas del teorema de Rolle
Adems, h es suave en (0, 1), continua en [0, 1] y se tiene que:
f ((0)) = f (a) = f (b) = f ((1))
de donde obtenemos que h(0) = h(1) y aplicando el teorema de Rolle, existe t0 (0, 1)
con z0 = (t0 ) tal que:
f 0 (z0 ) 0 ( 1 (z0 )) (b a) = 0.

Veamos tambin una segunda versin del teorema del valor medio para funciones
holomorfas.
Teorema 3.6. Sea D un abierto arco-conexo de C y f : D C diferenciable. Sean a, b
dos puntos distintos, entonces para cualquier camino suave simple D que une a y b con
parametrizacin cannica existe algn z0 tal que:
" #
0 f (b) f (a) 0 1
f (z0 ) (z0 ) (b a) = 0.
ba
Demostracin:
Dada f : C C que satisface las hiptesis del teorema, introducimos:
f (b) f (a)
(z) = f (z) f (a) (z a),
ba
cuyo jacobiano viene dado por:
f (b) f (a)
D(z) = Df (z)
ba
f1 (z)Re f (b)f (a) f2

f (b)f (a)
ba (z)Im ba

x x

= f f2
,
1
f (b)f (a)

f (b)f (a)

(z)Re ba (z)Im ba
y y
donde f1 y f2 denotan las partes real e imaginaria de f respectivamente. Adems,
(a) = 0 = (b).
Por el teorema 3.5, obtenemos:

(D(z0 )) 0 1 (z0 ) (b a) = 0.

Veamos algunos ejemplos de aplicacin del teorema 3.5.
La funcin holomorfa f (z) = e2iz 1 tiene ceros en cada valor z = 0, 1, 2, ..., aun-
que su jacobiano dado por:
h sen(2x) cos(2pix) i
f 0 (z) = 2e2y cos(2pix) sen(2x)
nunca se anula en el plano complejo y as no se satisfacen las conclusiones del teorema

de Rolle clsico.
35
3. Resultados
1. Sea = [1, 1] {0} un camino que une los puntos a = (1, 0) y b = (1, 0), entonces
b a = (2, 0). Dada la parametrizacin trivial:
(t) = (2t 1, 0),

h i
con 0 (t) = (2, 0) = 2 . En podemos resolver:
0
h i
[f 0 (x0 , 0) 0 (t0 )] 2
0 =0
en cualquier z0 = (n, 0) Z {0}. As pues el origen puede ser tomado como solu-
cin.
2. Sea la semicircunferencia de radio 1 centrada en el origen. Dicho camino une

a = (1, 0) y b = (1, 0). En este caso, podemos considerar como parametrizacin a:
(t) = (cos (1 t), sen (1 t)) ,
con:
0 (t) = (sen (1 t), cos (1 t)) .
As, podemos concluir que:
1

z0 = = (0, 1),
2
entonces:
1
h i h i h i h i
f 0 (z0 ) 0 20 = 22 e2 01 1
0
1 2 = 0.
0 0
2
3.4 Localizacin y separacin de puntos crticos

Hemos visto que no es fcil extender el teorema de Rolle a funciones complejas
como muestran los siguientes ejemplos.
1. La funcin f (z) = eiz 1 tiene a z = 0 y en z = 2 como ceros. Si el teorema de Rolle

fuera vlido, existira al menos un punto crtico situado en el intervalo 0 < x < 2.
Sin embargo, f 0 no tiene ceros. Recordemos que un punto crtico de una funcin
holomorfa es un punto de la funcin cuya derivada es nula.

2. Sea f (z) = (z2 z)(z i 3) un polinomio con ceros en los vrtices z = 1, z = i 3
de un tringulo issceles. Si el teorema de Rolle fuera vlido, f tendra un punto
0
crtico en cada lado de este tringulo. Pero f tiene un nico cero en z = i 3, que
es un punto en el interior del tringulo.
El segundo ejemplo muestra que el concepto de punto crtico entre dos ceros reales
puede ser sustituido en el plano complejo por el concepto de punto crtico situado en
alguna regin que contiene los ceros de la funcin dada. En este caso, la regin es un
tringulo cerrado, pero en los siguientes ejemplos la regin ms adecuada podra ser
un disco circular o un polgono.
36
3.4. Localizacin y separacin de puntos crticos
La localizacin de los puntos crticos de una funcin analtica de variable compleja

en una regin D es importante ya que encontrarlos ayuda a determinar donde una
funcin definida en D deja de ser conforme.
Vamos a estudiar la forma de localizar todos los puntos crticos de un polinomio de
variable compleja y para ello damos en primer lugar el corolario del teorema de Rolle
en el cual se basarn los resultados obtenidos a lo largo de esta seccin.
Teorema 3.7. Si un polinomio real de variable real f tiene solo ceros reales, todos ellos
situados en el intervalo [a, b], entonces los puntos crticos de f estn en [a, b].
De los teoremas relacionados con el teorema de Rolle este teorema fue el primero
generalizado al caso complejo. En 1836 Gauss expuso otra generalizacin.
Teorema 3.8 (Gauss). Los puntos crticos de un polinomio f que no son ceros mltiples de f
estn localizados en posiciones de equilibrio en cierto campo de fuerza. Este campo es debido
a una partcula localizada en cada cero de f , teniendo una masa igual a la multiplicidad del
cero y atraccin de acuerdo a la ley de la distancia inversa.
Del teorema de Gauss podemos deducir el siguiente resultado.
Teorema 3.9. Los puntos crticos de un polinomio f se encuentran en la envolvente convexa

H de los ceros de f .
Ntese que la envolvente convexa H de los ceros de f se define como el polgono con-
vexo ms pequeo que contiene todos los ceros de f . La primera publicacin sobre el
enunciado y la demostracin del teorema 3.9 aparece de la mano del ingeniero francs
F. Lucas en 1874. Damos a continuacin otra forma de expresar el resultado anterior.
Teorema 3.10. Los puntos crticos de un polinomio f estn en cualquier crculo C que
contenga todos los ceros de f .
En efecto, ambos teoremas son equivalentes dado que, por un lado, C contiene a H,
y por otro, H es la interseccin de todos los discos circulares que recubren H.
Hasta ahora hemos estudiado los ceros de f cuando los puntos crticos estn en
un nico crculo. Consideraremos ahora el caso en el que los puntos crticos estn
distribuidos sobre un conjuntos de discos circulares.
Durante el periodo 1918 1922 J. L. Walsh [6] descubri un gran nmero de resul-
tados relacionados con la localizacin de los puntos crticos de polinomios. A conti-
nuacin destacamos dos de ellos.
Teorema 3.11. Si un polinomio de grado n tiene m1 ceros en un crculo C1 con centro z = c1

y radio r1 y los ceros restantes m2 = n m1 en un crculo C2 con centro z = c2 y radio r2 ,
entonces cada punto crtico de f que no est en C1 C2 est en un tercer crculo C cuyos
centro y radio son, respectivamente:
m2 c1 + m1 c2 m2 r1 + m1 r2
z= , r= .
n n
Vease imagen 3.1.
37
3. Resultados
Teorema 3.12. Si C0 , C1 , ..., Cp es un conjunto de crculos que tienen en comn un centro

exterior de semejanza 0 y si f es un polinomio de grado n que tiene mk ceros en la crculo Ck ,
k = 0, 1, ..., p, entonces para cada punto crtico de f que no est en el crculo Ck se encuentra
en la crculo Ck0 , donde C10 , C20 , ..., Cq0 es un conjunto de crculos teniendo tambin a 0 como
centro exterior de semejanza. Vease imagen 3.2.
Veamos una interesante aplicacin del teorema 3.11 para polinomios reales que
solo tienen ceros reales.
Teorema 3.13. Sea f un polinomio real de grado n con solo ceros reales, donde m1 ceros es-
tn localizados en I1 = [a1 , b1 ] y el resto de ceros m2 = nm1 estn localizados en I2 = [a2 , b2 ]
con a2 > b1 . Entonces, cualquier punto crtico de f que no est en I1 I2 est localizado en
I = [a, b], donde:
m a + m1 a2 m b + m1 b 2
a= 2 1 , b= 2 1 .
n n
Demostracin:
Para probarlo, consideremos un crculo C1 cuyo centro est en c1 + i, donde:
a1 + b1
c1 =
2
38
3.4. Localizacin y separacin de puntos crticos
y que pase por los puntos z = a1 y z = b1 . Tambin consideramos el crculo C2 cuyo

centro est en c2 + i, donde:
a2 + b2 b2 a2
c2 = , =
2 b1 a1
que pasa por los puntos z = a2 y z = b2 . Entonces, de acuerdo con el teorema 3.11,
cualquier punto crtico de f que no est en los crculos C1 C2 estar en el crculo C,
cuyo centro est en el punto:
1
z = [m1 c2 + m2 c1 + i(m1 + m2 )]
n
y corta al eje real en los puntos z = a y z = b. Ahora bien, como R, la interseccin
de todos los discos C1 es el intervalo I1 , la interseccin de los discos C2 es el intervalo
I2 y la interseccin de los crculos C es el intervalo I. As, queda probado el teorema.

39
Conclusiones
Acabamos este trabajo destacando algunos de los resultados y hechos mas intere-
4
santes recogidos en los captulos anteriores. Por ejemplo, es sorprendente que un re-
sultado obtenido por uno de los primeros crticos con las cantidades infinitesimales en
los comienzos del clculo infinitesimal acabe convirtindose en uno de los principales
teoremas de dicho clculo. Tambin es curioso observar el proceso iniciado con la for-
mulacin algebraica del teorema dada por Rolle y que con el paso de los siglos llev
a la versin que aparece en la mayora de los tratados de clculo hoy en dia. Especial
inters histrico tiene el mtodo de las cascadas el cual est basado en el resultado de
Rolle y que se aplica al estudio de las raices de polinomios.
Otro hecho a comentar es la cantidad de aplicaciones y consecuencias que tiene el
teorema de Rolle. En este trabajo no hemos incluido las ms conocidas porque stas
han sido ya objeto de estudio a lo largo de los estudios de grado. Hemos preferido
incluir otros menos conocidas y dedicar ms tiempo a estudiar posibles versiones del
teorema de Rolle real. Hay mltiples trabajos dedicados a trasladar el teorema de Rolle
a otros ambientes. En este trabajo hemos optado por elegir slo algunas versiones.
Ninguna de estas versiones son generalizaciones propiamente dicha del teorema de
Rolle real, pero todas ellas tienen inters por s mismas y por sus consecuencias.
Comenzamos dando dos versiones obtenidas en [4] para funciones vectoriales en
trminos del producto escalar eucldeo de los espacios finito-dimensionales implica-
dos. Como no todos los resultados usados en [4] para obtener estas versiones son ciertos
para funciones entre espacios de Banach infinito-dimensionales, no podemos repetir
en el caso infinito-dimensional el proceso seguido en el trabajo Furi y Martinelli. Tam-
poco es posible la generalizacin del teorema de Rolle al caso infinito-dimensional.
Por ejemplo, en [3] se demuestra que el espacio de Banach l2 no verifica el teorema de
Rolle. De hecho, en ningn espacio de Hilbert infinito-dimensional se verifica dicha
generalizacin.
Las ltimas secciones del trabajo han sido dedicadas a estudiar versiones del teore-
ma de Rolle para funciones holomorfas. Tampoco en este caso es posible una genera-
lizacin del teorema real. No obstante, la primera versin que damos para funciones
holomorfas permite tambin obtener una versin del teorema del valor medio para
funciones holomorfas.
Finalizamos este trabajo usando el teorema de Rolle y la informacin que se tiene
sobre los ceros de un polinomio para localizar sus puntos crticos. Slo damos algu-
nos ejemplos sobre localizacin de puntos crticos de funciones holomorfas. Para ms
informacin sobre este tema se pueden consultar [6].
41
Bibliografa
[1] A. R. Davies, N. E. Muoneke, J. P. Pemba, A complexification of Rolles theorem,
(2007), 2831.
[2] J. C. Evard, F. Jafari, A complex Rolles theorem, (1992), 858861.
[3] J. Ferrer, Rolles theorem fails in l2 , (1996), 161165.
[4] M. Furi, M. Martelli, A multidimensional version of Rolles theorem, (1995), 243

249.
[5] O. Gut, Sobre el teorema de Rolle en dimensin infinita, (2012), 3549.
[6] M. Marden, The search for a Rolles theorem in the complex domain, (1985), 643650.
[7] F. Martnez de la Rosa, Panormica de los teoremas del valor medio, (2008), 2338.
[8] E. Prez-Chavela, K. Petakos, Una nota sobre el teorema de Rolle, (2009), 8994.
[9] C. O. Surez Alemn, Orgenes y evolucin del teorema de Rolle, 28(1) (2011), 39
50.
[10] C. Suso Fernndez, M. V. Velasco Collado, Sobre la gnesis y evolucin del teorema
de Rolle, 30(1)(2013), 4966.
[11] C. Washington, Michel Rolle and his method of cascades, (2011).
[12] A. S. Shkarin, On Rolles theorem in infinite-dimensional Banach spaces, (1992).
43

Version Definitiva

Diunggah oleh

Informasi Dokumen

Deskripsi Asli:

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Version Definitiva

Diunggah oleh

Hak Cipta:

Format Tersedia

VERSIONES DEL

Trabajo Fin de Grado

In this proyect we will discuss of Rolles theorem, which is a result of mathematical

2.1 Terminologa y conocimientos previos

f (b) f (a) = f 0 (c)(b a).

La demostracin de este teorema consiste bsicamente en aplicar directamente el

Rn = {(x1 , ..., xn ) : x1 , ..., xn R}.

Para cada x, y Rn denotaremos por x y su producto escalar eucldeo y por k x k la

Definicin 2.1. Dado x0 Rn y r > 0, B(x0 , r) denotar la bola abierta centrada en x0 y de

y S(x0 , r) la esfera centrada en x0 de radio r:

Dado un espacio topolgio X y A X denotaremos por Fr(A) a la frontera de A. En

B(x0 , r) = B(x0 , r).

En este trabajo tambin consideraremos espacios de Banach de dimensin infinita

Adems, a lo largo del trabajo se va a hablar de diversos tipos de diferenciabilidad.

Definicin 2.2. Se dice que una funcin f : U R es Frchet diferenciable en u U si

La derivada de Frchet de f en u viene dada por Tu . Adems, en caso de existir, es

para todo x, u Rn . Lo que es ms, si f es un campo vectorial Frchet diferenciable,

y, sin embargo, no existe f 0 (0, 0).

2. Si H es un espacio de Hilbert con producto interno h , i, entonces la aplicacin

En particular, esto prueba que la aplicacin (x) =k x k2 es Frchet diferenciable

3. En caso de la norma l1 , la funcin x 7k x k1 no es Frchet diferenciable en ningn

ei = (0, ..., 0, 1, 0, ...),

con el nmero 1 situado en la posicin i. Se puede verificar que:

Dado que k h k1 = 2 , entonces por la ecuacin (2.2) se llega a la contradiccin

2.2 Biografa de Rolle

donde a, b, c, d, e, f y g son enteros.

si a > b, entonces b > a,

2.3 Orgenes y evolucin del teorema de Rolle

sen a sen a0 = (a a0 ) cos a0

la conclusin de que cuando la ecuacin de un planeta est en su punto ms distante

2.4 Mtodo de las cascadas

Rolle no considera la derivada de la una funcin. Como veremos a continuacin lo

0 a0 + 1 a1 x + 2 a2 x2 + ... + (n 1) an1 xn1 + n an xn = 0.

Ahora dividiendo por x obtenemos:

El nmero de races reales positivas de un polinomio f (x) es igual al nmero de

Anlogamente, el nmero de races reales negativas viene dado por el nmero de

4y 3 807y 2 + 54202y 1211959 = 0

Como el polinomio no tiene signos alternos realizamos el cambio el variable:

y sustituyendo en f (x) obtenemos:

f (7 y) = g(y) = y 3 + 24y 2 187y + 470 = 0.

Ahora obtenemos las cascadas:

(9)3 + 24(9)2 187(9) + 470 > 0.

(9)3 + 24(9)2 187(9) + 470 > 0.

(8,25)3 +24(8,25)2 187(8,25)+470 < 0, (8,625)3 +24(8,625)2 187(8,625)+470 > 0,

(9)3 + 24(9)2 187(9) + 470 > 0.

(8,25)3 +24(8,25)2 187(8,25)+470 < 0, (8,4375)3 +24(8,4375)2 187(8,4375)+470 > 0,

(8,625)3 + 24(8,625)2 187(8,625) + 470 > 0.

Como vemos en cada iteracinestrechamos el margen entre el valor real y nuestro

P (z) = (z a1 )(z a2 )K(z),

donde K(z) es un polinomio mnico de grado n 2.

C (z) = a1 a2 y (a1 + a2 )z(y + v) + (y + 2v)z2 = a1 a2 y a1 yz a2 yz a1 vz a2 vz + yz2 + 2vz2 .

Ahora evaluamos a1 y a2 en la cascada parcial obteniendo:

C(a1 ) = (a1 a2 )va1 K(a1 ) y C(a2 ) = (a2 a1 )va2 K(a2 ),

2.5 Algunas aplicaciones del teorema de Rolle

por ejemplo, si se satisface el teorema de Rolle para la funcin h.

2x sen (x + x2 ) + (2x3 + x2 6x 3) cos (x + x2 ) = 0,

f (x) = sen(x + x2 ) y g(x) = x2 3.

F(x) := f 0 (x)g(x) g 0 (x)f (x) (2.4)

que podemos reescribir de la siguiente forma:

Aplicando el teorema de Rolle a la funcin h(x) tenemos garantizada la existencia de,

F(x) := f 0 (x) + g 0 (x)f (x) = 0 (2.5)

f 0 (x) + g 0 (x)f (x),

f1 (z)Re f (b)f (a) f2