Deje $G$ ser un almacén de dominio, $f$ $g$ holomorphic y funciones continuas en toda la $\overline{G}$ y deje $|f(z)|=|g(z)|$ todos los $z\in \partial G$. ¿Qué podemos decir acerca de $f$$g$?
Definir: $h(z) = \frac{f(z)}{g(z)}$, si g tiene cero puntos, entonces no podemos decir mucho porque de las singularidades. Si g no tiene puntos cero, entonces con el principio del máximo para delimitada dominios de ello se sigue que h tiene su máximo en el borde. Debido a que |f(z)|=|g(z)| para todos los $z\in \partial G$ se deduce que el módulo es 1. Si ahora f tiene cero puntos, entonces no podemos decir nada más sobre él. Si f no tiene puntos cero, entonces podemos usar el principio de mínima para delimitada dominios. Con que se deduce que también el módulo de la mínima debe ser de 1.
A partir de ahí se puede concluir que : $|h(z)|=\frac{|f(z)|}{|g(z)|}=1$ todos los $z\in G$. Así que si f y g no tienen cero puntos, $f(z)=\lambda g(z)$
Es esto correcto?