Variable Compleja I (3o de Matematicas)

Apuntes sobre algunos teoremas cualitativos de an

alisis complejo,
con 19 ejemplos resueltos (2007-08)
Preparado por: Dragan Vukotic, coordinador de la asignatura, en enero de 2008

Convergencia de series. Series de potencias

Ejercicio 1 Demostrar que las series complejas

cos(nz) ,

n=1

nen sen(nz)

n=1

convergen uniformemente en cada banda horizontal cerrada

= {z C : |Im z| 1 } ,

> 0.

n. Cuando z = x + iy , tenemos |y| 1 y, por tanto, ey e1 . Luego

Solucio

n einz + einz en inx ny

n
inx ny

=
e e
|e cos nz| = e

+
e
e

2
2
n
n
ny

e
e
e
+ eny
2 en(1) = en .

2
2
P
n
Puesto que la serie numerica
sumable por ser geometrica con la razon q = e < 1, el criterio
n=1 e
P es n
de Weierstrass nos dice que la serie n=1 e cos nz converge uniformemente en cada .
P
P
n
Ejercicio 2 Sea f (z) = z +
n=2 n|an | 1. Demostrar que f es univalente (es decir,
n=2 an z , donde
holomorfa e inyectiva) en el disco unidad D.
n. Para ver que f es holomorfa en D, basta ver que su serie de potencias centrada en el origen
Solucio
P
tiene radio de convergencia, por lo menos, uno. La hipotesis
n=2 n|an | 1 implica que |an | 1/n para
todo n 2. Tomando las races n-esimas, se sigue facilmente de la formula de Hadamard
R=

1
lim supn |an |1/n

que el radio de convergencia de la serie de potencias que define la funcion f es, por lo menos, uno y, por
tanto, f H(D).

Para comprobar que f es inyectiva, supongamos que f (z) = f (w), para z, w D. Esto significa que
f (z) f (w) = z w +

an (z n wn )

n=2

= (z w)

1+

!
an (z n1 + z n2 w + . . . wn1 )

n=2

Debido a nuestra hipotesis sobre los coeficientes an y teniendo en cuenta que |z|, |w| < 1, tenemos

X
X
X

n1
n2
n1
n1
n2
n1

a
(z
+
z
w
+
.
.
.
w
)
|a
|(|z|
+
|z|
|w|
+
.
.
.
|w|
)
<
n|an | 1 .

n
n

n=2

n=2

n=2

La desigualdad de arriba es estricta ya que an 6= 0, as que la igualdad

1+

an (z n1 + z n2 w + . . . wn1 ) = 0

n=2

es imposible y, por tanto, z = w, lo cual prueba que f es univalente en D.

Ejercicio 3 Hallense todas las funciones enteras f que satisfagan la ecuacion funcional
f (2 z) =

f (z) + f (z)
2

para todo z C.
P
n
n. Sea f (z) =
este es convergente en todo C
Solucio
n=0 an z el desarrollo de f en serie de Taylor;
por ser f entera. Si f cumple la ecuacion indicada, entonces
P
P

n
n
n
X
X
1 + (1)n
n
n
n=0 (1) an z
n=0 an z +
2 an z =
=
an z n
2
2
n=0

n=0

para todo z C. Por la unicidad de los coeficientes de Taylor, se sigue que para todo n N tenemos
2n an =

1 + (1)n
an .
2

Por tanto, si alg

un an 6= 0, se obtiene

1 + (1)n
,
2
pero esto es imposible cuando n 1 ya que entonces 2n 2 mientras que
2n =

1 + (1)n
1+1

= 1.
2
2
Se sigue que an = 0 para todo n 1, as que solo el coeficiente a0 puede ser no nulo, lo cual implica que
f cte.
Es facil comprobar que toda funcion constante efectivamente cumple la ecuacion dada. Por tanto, las
constantes son las u
nicas soluciones.

Teorema de Liouville
Ejercicio 4 Sea f una funcion entera tal que
|f (z)| < |ez |
Demuestrese que entonces f ez ,

para todo

z C.

|| < 1.

n. Puesto que ez 6= 0 en C, podemos definir la funcion g(z) = f (z)/ez . Esta funcion es entera
Solucio
y satisface la condicion |g(z)| < 1 para todo z en C. Por el Teorema de Liouville, g cte = y || < 1.
Ejercicio 5 Probar que una funcion entera f satisface
f (z + 1) = f (z) ,

f (z + i) = f (z) para todo z C

si y solo si f es una funcion constante.

n. Es facil probar por induccion que
Solucio
f (z + m) = f (z) ,

f (z + in) = f (z)

para todo m, n N. Luego, poniendo z m y z in respectivamente en vez de z, vemos que las mismas
ecuaciones se cumplen para todo m, n Z. De esta manera vemos que los valores que toma f en el plano
son los que toma en un cuadrado cualquiera de lado uno, por ejemplo, en
Q = {z = x + yi : 0 x 1 , 0 y 1} .
Puesto que el conjunto Q es compacto y f es continua ah, su modulo alcanzara su maximo en Q. Por tanto,
existe una constante positiva y finita M tal que
|f (z)| M ,

para todo z Q .

Por la periodicidad de f observada arriba, se sigue que

|f (z)| M ,

para todo z C .

Por tanto, f es entera y esta acotada en C; por el teorema de Liouville, f cte.

Por otro lado, es obvio que si f es constante entonces cumple ambas condiciones f (z + 1) = f (z) y
f (z + i) = f (z).

Ceros y singularidades aisladas de las funciones holomorfas

Ejercicio 6 Hallar todas las funciones f H(D) que satisfagan la condicion f (z) = f (z 2 ), para todo z D.
3

 n. Sea a D arbitrario; entonces |a| < 1 y, por tanto, lo mismo es cierto para todo ak , k N;
Solucio
ademas, limk |ak | = limk |a|k = 0. Aplicando la condicion f (z) = f (z 2 ) a los puntos z = a, z = a2 ,
z = a4 , etc. sucesivamente, obtenemos que
f (a) = f (a2 ) = f (a4 ) = f (a8 ) = . . .
n

y, en general, f (a2 ) = f (a), para todo n N. Dado que a2 D para todo n N, a2 0 cuando n
y 0 D, el Principio de los ceros aislados nos dice que f f (a) = cte en D.
Observaci
on. Si en vez de f H(D) suponemos que f es entera (f H(C)), utilizando el teorema de
Liouville podramos dar otra solucion algo similar a la del ejercicio anterior. Para un z arbitrario pero fijo con

|z| > 1, eligiendo un valor de la raz cuadrada z, otro de la raz de orden 4, etc., veramos que los valores de f
en todos esos puntos coinciden; puesto que para alg
un n suficientemente grande, el modulo de la raz 2n -esima
de z sera 2, podemos acotar |f (z)| por su valor maximo en el disco cerrado D(0; 2) = {z : |z| 2} que
es, desde luego, finito.
Ejercicio 7 Hallar todas las funciones holomorfas en el disco D(1; 1) = {z : |z 1| < 1} y que all satisfagan
la condicion

1
n
=1 2
f
n+1
2n + 2n + 1
n. Consideremos los puntos zn = n/(n + 1). Despejando n de zn = n/(n + 1): n = zn /(1 zn )
Solucio
y sustituyendo esta expresion en la ecuacion de arriba, se obtiene
1
(1 zn )2
2zn
(1 zn )2
f (zn ) = 1
=1 2
=
.
=
1

2
2
2zn + 2zn (1 zn ) + (1 zn )
1 + zn
1 + zn2
zn
zn
2 1z
+
2
+
1
1zn
n
Esto nos sugiere una funcion que obviamente cumple esta condicion:
f (z) =

2z
.
1 + z2

Puede haber otras?

Todos los puntos zn estan en el disco D(1; 1) = {z : |z 1| < 1}; ademas, limn zn = 1 y este lmite
tambien esta en D(1; 1) = {z : |z 1| < 1}. Seg
un el Teorema de la unicidad (Principio de los ceros aislados),
si dos funciones holomorfas en el disco indicado coinciden en todos los puntos zn , entonces coinciden en todo
el disco. Por tanto, la funcion encontrada es la u
nica con dicha propiedad.
Ejercicio 8 Supongamos que f H(D(a, r) \ {a}) y que existe una sucesion (zn ) tal que zn a y

1
1
f (zn )

f zn +
1 , n N.
lim e
= 0,

n
n
n
Determinar el tipo de singularidad que tiene la funcion f en z = a.

 n. Dado que f H(D(a, r) \ {a}), la funcion f tiene en z = a una singularidad aislada. La

Solucio
primera de las dos condiciones dadas nos dice que

lim ef (zn ) = lim eRe f (zn ) = 0 ,

n

es decir, Re f (zn ) cuando n . Por tanto, la funcion f no puede tener lmite finito cuando z a y,
por consiguiente, la singulariad no puede ser evitable. Tampoco puede ser un polo ya que, si lo fuera, tendrmos
limza f (z) = y, sin embargo, la segunda condicion nos dice que zn + 1/n a y |f (zn + 1/n)| < 1 para
todo n. Por tanto, solo queda la tercera posibilidad: la singularidad en z = a es esencial.
Ejercicio 9 Sea T = {z C : |z| = 1} la circunferencia unidad, con la orientaci
on positiva. Calc
ulese el
valor exacto de la integral
Z
cos z 1
dz .
z2
T
n. La funcion
Solucio

cos z1
z2

tiene en z = 0 una singularidad evitable ya que

cos z 1
= 1/2 .
z0
z2
lim

Por tanto, podemos extender dicha funcion a una funcion entera. Seg
un el Teorema Integral de Cauchy, dado
que T es una curva simple cerrada y rectificable en el plano (que es un dominio simplemente conexo), la
integral es igual a cero.

Teorema de Rouch
e. Principio del argumento
Ejercicio 10 Hallar el n
umero de soluciones de la ecuacion 3z 4 + 7z 3 z + 2 = 0 en el disco unidad D y en
su exterior C \ D.
n. Sean f (z) = 7z 3 y g(z) = 3z 4 z + 2. Ambas son enteras y en la frontera T del disco unidad
Solucio
D (es decir, en los puntos z tales que |z| = 1) cumplen la desigualdad
|f (z)| = 7 > 6 3|z|4 + | z| + 2 |3z 4 z + 2| = |g(z)|
por la desigualdad triangular.
Seg
un el Teorema de Rouche, el n
umero de ceros de la funcion (f + g)(z) = 3z 4 + 7z 3 z + 2 en el disco
unidad D es igual al de la funcion f . Ya sabemos que este es igual a 3, teniendo en cuenta las multiplicidades.
Por tanto, la funcion f + g tiene 3 ceros en D.
Aal ser un polinomio de grado 4, la funcion f + g tiene 4 ceros en el plano, contando las multiplicidades.
Es facil ver que no tiene ning
un cero en el crculo unidad T = D; esto se sigue de la desigualdad demostrada
arriba y la desigualdad triangular: |f + g| |f | |g| > 0 en T. Por tanto, solo tiene un cero en el exterior
del disco.

Ejercicio 11 Demostrar que el polinomio p(z) = z 4 + iz + 1 tiene exactamente dos ceros:

(a) en el semiplano derecho S = {z C : Re z > 0}.
(b) en el semiplano superior H = {z C : Im z > 0}.
n. Antes que nada, observemos que, al ser p un polinomio de grado 4, tiene que tener exactamente
Solucio
cuatro soluciones complejas, teniendo en cuenta las posibles multiplicidades. Ninguno de esos ceros puede ser
real ya que para un n
umero real x la igualdad p(x) = 0 implicara x4 + 1 = 0 (igualando las partes real e
imaginaria a cero), lo cual es imposible.
(a) Este apartado admite una solucion elemental, debido a sus caractersticas singulares. El lector debe
ser advertido que, dado que p no tiene todos los coeficientes reales, de ninguna manera se sigue que si z0 es
una raz, entonces z 0 tambien lo es. No obstante, es facil observar que si z0 es una raz, entonces z 0 es
otra. En efecto, si p(z0 ) = 0, conjugando la ecuacion, obtenemos
4

0 = p(z0 ) = z 40 iz 0 + 1 = (z0 ) + i (z 0 ) + 1 = p(z 0 ) .

Geometricamente, es facil ver que si z0 esta en el semiplano derecho, entonces z 0 esta en el izquierdo y
viceversa. Por tanto, el n
umero de ceros en el semiplano izquierdo es igual al n
umero de ceros en el semiplano
derecho. Como en total hay 4 y tambien es facil comprobar que p no tiene ceros en el eje imaginario, tiene
que haber exactamente dos ceros de p en el semiplano derecho y otros dos en el izquierdo.
(b) Aqu seguiremos el metodo habitual de observar la variaci
on del argumento de f (z) mientras z recorre
la frontera de un dominio suficientemente grande y contenido en el semiplano superior.
Dado que p tiene solo una cantidad finita de ceros en el plano y, por consiguiente, en el semiplano
superior, existe una cota finita para los modulos de sus ceros. Esto significa que para R suficientemente
grande, cualquiera que sea un cero de p en el semiplano superior, estara contenido en el dominio interior a la
curva R , donde R es una vez mas la curva compuesta por el segmento IR = [R, R] de la recta real y por
la semicircunferencia CR contenida en el semiplano superior desde el punto R hasta el punto R, orientada
en el sentido positivo. Para ver cuantos ceros puede haber dentro del contorno R , utilizamos el principio del
argumento y contamos el n
umero de vueltas que da la curva imagen p(R ) alrededor del origen.
Para los puntos z = x [R, R] tenemos p(x) = x4 + 1 + ix; es decir, Re p(x) 1 > 0, mientras que la
parte imaginaria puede tomar tanto valores positivos como negativos; por tanto, los puntos p(x) estan todos
en el primer cuadrante y en el cuarto, as que la curva imagen p(IR ) cruza el eje real pero no da ninguna
vuelta alrededor del origen (tiene una peque
na variaci
on del argumento).
Para los puntos z CR , podemos escribir
p(z) = z 4 (1 +

i
1
+ 4).
3
z
z

Haciendo R = |z| suficientemente grande, podemos hacer los valores i/z 3 y 1/z 4 tan pr
oximos a cero como
se quiera, as que el valor p(z) sera muy proximo al valor z 4 . Para z CR tenemos z = R eit , 0 t ,
con lo cual z 4 = R4 e4it y 0 4t 4. Dado que el argumento de z 4 cambia desde 0 hasta 4 cuando
z recorre la curva CR , lo mismo pasara con el argumento de p(z), salvo quizas una diferencia muy peque
na
que recuperamos moviendonos por el intervalo IR , as que en total p(z) da dos vueltas alrededor del origen
cuando z recorre la curva R . Seg
un el principio del argumento, la funcion p tiene dos ceros en el interior de
R . Dado que para R suficientemente grande no hay ceros fuera de R , el n
umero total de ceros de p en el
semiplano superior tiene que ser dos.

Teorema de la aplicaci
on abierta, principio del m
odulo m
aximo, lema de Schwarz
Ejercicio 12 Sea D = {z C : |z| < 1} el disco unidad y D su cierre. Sea f una funcion no constante,
f H(D) C(D). Solo una de las siguientes situaciones es posible. Cual de ellas?
(a) |f | 3 en D, f (0) = 3;
(b) |f | 3 en D, f (1) = 3;
(c) |f | 3 en D, f (0) = 3( 12 + i2 );
(d) Se cumple f (1/2) = 4; ademas, si x2 + y 2 = 1 entonces f (x + iy) = 3.
n. Las condiciones (a), (c) y (d) contradicen al Principio del Modulo Maximo, dado que f 6= cte,
Solucio
mientras que (b) es posible, por ejemplo, para la funcion f (z) = z + 2.
Ejercicio 13 Demostrar que si f es holomorfa en |z| < 1 y |f (z)| 1 |z|, entonces f 0.
n. La idea principal es demostrar que, dado > 0 y z D arbitrario, se tiene que |f (z)| < .
Solucio
Esto implicara que f 0 en D, pero hay que proceder con cuidado.
Sea z D arbitrario; entonces |z| < 1, luego 1 |z| > 0. Sin perdida de generalidad, podemos considerar
solo aquellos que cumplan 0 < < 1|z|, porque si |f (z)| < para un > 0, tambien es < para cualquier
> . Sea w tal que |w| = 1 ; observemos que |w| (0, 1), o sea, w D. Puesto que por hipotesis
|f (w)| 1 |w| = para todos esos puntos w y que la funcion f es holomorfa en el disco D(0, 1 ) y
continua en el disco cerrado D(0, 1 ), el Principio del modulo maximo (en su segunda version) implica que
|f ()| para todo tal que || 1 . Pusto que, en particular, |z| < 1 , se sigue que |f (z)| .
Ejercicio 14 Supongamos que f H(D), f (0) = 0 y |f (z)| |z + 3/2|, para todo z D. Demuestrese que
|f (1/2)| 1 y hallense todas las funciones para las que se cumple la igualdad.
n. Consideremos la funcion auxiliar
Solucio
g(z) =

f (z)
.
z + 3/2

Dado que z 6= 3/2 para todo z D, g es holomorfa en D y, por hipotesis, cumple |g(z)| 1 para todo
z D. Ademas, g(0) = 0, as que podemos aplicar el Lema de Schwarz a esta funcion para deducir que
|g(z)| |z| para todo z D; es decir, |f (z)| |z + 3/2|. En particular, para z = 1/2, se obtiene que
|f (1/2)| 1.
Si se cumple la igualdad en |f (1/2)| 1, esto significa que |g(1/2)| = 1/2 y, por tanto, tenemos la
igualdad en el Lema de Schwarz. Sabemos que esto solo es posible cuando g(z) = cz, c = cte, |c| = 1, es
decir, cuando f (z) = cz(z + 3/2), |c| = 1.
Ejercicio 15 Supongamos que f H(D), f (0) = f 0 (0) = 0 y |f (z)| 1 para todo z en el disco unidad.
Demostrar que, de hecho, |f (z)| |z|2 para todo z D.

 n. Conviene definir la funcion

Solucio

f (z)/z,
si z D \ {0},
g(z) =
f 0 (0) = 0, si z = 0.
(0)
= f 0 (0) = g(0), g tiene una singularidad evitable en el origen y
Puesto que limz0 g(z) = limz0 f (z)f
z0
es continua en ah. Por tanto, g H(D). Ademas, podemos aplicar el lema de Schwarz a f para deducir
que |f (z)| |z| en D. Por tanto, |g(z)| 1 en D y g(0) = f 0 (0) = 0. Aplicando el lema de Schwarz a g,
obtenemos |g(z)| |z| para todo z D. Cuando z 6= 0, esto implica que |f (z)| |z|2 . Para z = 0, esta
desigualdad se cumple trivialmente (es una igualdad).

Transformaciones conformes y sus aplicaciones

Ejercicio 16 Hallese una transformacion conforme del semiplano superior H = {z C : Im z > 0} sobre el
disco unidad D mediante un razonamiento geometrico, sin calculos.
n. Los puntos i y i son simetricos respecto al eje real. Por tanto, un punto z esta en H si y
Solucio
solo si dista mas del punto i que del punto i; es decir,

z i
< 1 z i D.
z H |z i| < |z + i|
z + i
z+i
Esto nos dice que la transformacion lineal fraccionaria (o de Mobius) S(z) = (z i)(z + i) transforma H sobre
D. Cualquier funcion de ese tipo es tambien inyectiva, luego S es una de las transformaciones buscadas.
Ejercicio 17 Sea = {z C : |Im z| < 1}. Encontrar una aplicacion f holomorfa y biyectiva del dominio
sobre el disco unidad D = {z : |z| < 1} tal que f (0) = 0 y f 0 (0) > 0. Cuantas aplicaciones existen con
las propiedades indicadas? Razonar la respuesta.
n. Geometricamente, representa una banda vertical abierta y, por tanto, es un dominio
Solucio
simplemente conexo. El Teorema de la representaci
on (aplicacion) conforme de Riemann garantiza la existencia
y la unicidad de una aplicacion f con las propiedades exigidas. El problema se reduce a encontrar una aplicacion
con esas caractersticas.
En general, cuando se desea transformar un dominio simplemente conexo en el disco D de manera
que un punto a vaya al origen y que la derivada en a sea positiva, basta encontrar cualquier aplicacion
conforme f : D tal que f (a) = 0 y luego multiplicarla por la constante apropiada de modulo uno (es
decir, aplicarle una rotacion) para que la derivada en el origen sea positiva, ya que las rotaciones transforman
el disco sobre s mismo. En esta solucion, debido a la eleccion conveniente de la funcion f , ni siquiera va a
ser necesario dar ese u
ltimo paso.
Comenzamos transformando nuestra banda horizontal de anchura 2 en otra similar pero de anchura ,

utilizando la trasnformacion g(z) = (/2) z. Esta

transforma sobre el dominio 1 = {w C : |Im w| <
/2}.

Luego utilizamos la funcion exponencial h(w) = ew para transformar 1 en el semiplano derecho

2 = { : Re > 0} .
Para justificar esto, basta recordar que en clase hemos visto que la funcion inversa de h, una rama del
logaritmo, transforma 2 en 1 mediante la formula log(reit ) = log r + it, siendo r > 0 y /2 < t < /2.
(Alternativamente, podemos considerar las imagenes por h de los intervalos verticales w = c + it, c R,
/2 < t < /2 y ver que son semicircunferencias en el semiplano derecho centradas en el origen, para llegar
a la misma conclusion.)
Finalmente, utilizamos la transformacion de Mobius T () = (1 )/(1 + ) para transformar 2 sobre el
disco unidad D.
Es facil comprobar que las funciones g y T son univalentes en todo su dominio, mientras que la exponencial
h lo es en el dominio 1 que nos interesa. Por consiguiente, la composicion f = T h g tambien es inyectiva
y analtica en y transforma sobre D:
f (z) =

ez/2 1
.
ez/2 + 1

Se comprueba inmediatamente que f (0) = 0. Asimismo,

f 0 (z) =

ez/2
.
(ez/2 + 1)2

con lo cual f 0 (0) = /4 > 0. Ahora ya sabemos que nuestra f es la aplicacion deseada.
Obviamente, existen otros procedimientos para llegar a la misma f mediante unas composiciones aparentemente mas complicadas, pero todas tienen que coincidir entre s, debido a la unicidad en el teorema de Riemann.
Ejercicio 18 Sea f una funcion holomorfa en el disco unidad D = {z : |z| < 1} tal que Re f (z) > 0 para
todo z D y, ademas, f (0) = 1. Demostrar que
|f (z)|

1 + |z|
,
1 |z|

para cada z D .

n. La idea fundamental consiste en aplicar el Lema de Schwarz; la clave esta en hacerlo de forma
Solucio
correcta. Esto se puede conseguir llevando el semiplano derecho = {w C : Re w > 0} al disco unidad
mediante la aplicacion conforme T , utilizada varias veces en clase y dada por
T (w) =

1w
,
1+w

de modo que la funcion g = T f cumple las condiciones del lema de Schwarz:

1. g es analtica en D, al ser la composicion de dos funciones analticas;
2. g(D) D, ya que f (D) y T () D;
3. g(0) = T (f (0)) = T (1) = 0.
9

Por lo tanto, |g(z)| |z| para todo z D; es decir,

1 f (z)

1 + f (z) |z| .
Ahora despejamos esta desigualdad con sumo cuidado, utilizando la desigualdad triangular en C:
|f (z)| 1 |1 f (z)| |z| |1 + f (z)| |z|(1 + |f (z)|) |z| + |z| |f (z)| .
Comparando la primera y la u
ltima cantidad en esta cadena de desigualdades y agrupando los terminos,
obtenemos finalmente
(1 |z|)|f (z)| 1 + |z| ,
que es la desigualdad deseada.
Ejercicio 19 (a) Sea f H(D) tal que f (0) = a y

a f (z)
1

f (z) 6= ,
1 af (z) 1 ,
a

z D .

Demuestrese que
|f 0 (0)| 1 |a|2 .
(b) Si f H(D), f (D) D y f tiene un punto fijo p en D, demostrar que entonces

p f (0)

1 pf (0) |p| .
n. Consideremos la funcion compuesta
Solucio
g(z) = a (f (z)) =

a f (z)
.
1 af (z)

Esta nueva funcion obviamente esta bien definida y es holomorfa en D. Ademas cumple |g(z)| 1 para todo
z en D (por hipotesis) y g(0) = a (f (0)) = a (a) = 0. Podemos aplicar el Lema de Schwarz para concluir
que |g 0 (0)| 1. El calculo directo nos muestra que
g 0 (0) = 0a (f (0)) f 0 (0) = 0a (a) f 0 (0) =

1 |a|2 0
f 0 (0)
f
(0)
=

(1 aa)2
1 |a|2

y la afirmacion se sigue.
(b) Conviene definir F = p f p , donde p es el automorfismo involucion habitual: p (z) =
Esta nueva funcion es holomorfa en D, lleva D en s mismo y cumple

pz
1pz .

F (0) = p (f (p (0))) = p (p) = 0 ,

ya que f (p) = p por hipotesis. El Lema de Schwarz implica que |F (z)| |z| para todo z D. En particular,
cuando z = p tenemos que
|p (f (0))| = |p (f (p (p)))| |p| ,
que es lo que queramos demostrar.
10