Deje $f:D \to \mathbb{C}$ ser un no-constante holomorphic función de ($D$ es el cierre de la unidad de disco) de forma tal que $|f(z)|=1$ todos los $z$ satisfacción $|z|=1$ . A continuación, demostrar que no existe $z_0 \in D$ tal que $f(z_0)=0$
Mi pensamiento:-
Por Máximo Módulo Teorema $|f(z)|$ tiene valor Máximo en la curva de $1$.
Por Mínimo Módulo Teorema si $f(z)\ne0$ todos los $z\in D$, entonces se tiene su valor mínimo en el límite de lo que es $1$.
A continuación, $|f(z)|=1$ todos los $z\in D$.
Por lo tanto $|f(z)|$ es constante, lo cual es una contradicción.
Es mi pensamiento correcto?