Пусть [tex]G[/tex] — область в [tex]\mathbb{C}[/tex], а функция [tex]f:G\to\mathbb{C}[/tex] голоморфна. Докажите, что если все значения [tex]f[/tex] лежат на некоторой окружности [tex]|w-a|=r[/tex], то [tex]f[/tex] постоянна.
Решение:
Положим [tex]g=f-a[/tex]. Она голоморфна в [tex]G[/tex] и [tex]|g(z)|=r[/tex] для всех [tex]z\in G[/tex]. Если [tex]r=0[/tex], то [tex]g\equiv 0[/tex], т.е. [tex]f\equiv a[/tex]. Пусть [tex]r\gt 0[/tex] и [tex]g=U+iV[/tex], где [tex]U,V[/tex] — действительные функции. Тогда в [tex]G[/tex]
[tex]U^{2}+V^{2}=r^{2}[/tex]
Дифференцируя по [tex]x[/tex] и по [tex]y[/tex] и используя условия Коши-Римана [tex]V_x=-U_y[/tex], [tex]V_y=U_x[/tex], получаем
[tex]\begin{cases} UU_x+VV_x=0\\ UU_y+VV_y=0\end{cases}\ \Rightarrow\ \begin{cases} UU_x-VU_y=0\\ VU_x+UU_y=0\end{cases}[/tex]
Это однородная линейная система относительно [tex]U_x,U_y[/tex] с определителем [tex]U^{2}+V^{2}=r^{2}\ne 0[/tex], поэтому [tex]U_x=U_y=0[/tex] в каждой точке [tex]G[/tex], а по условиям Коши-Римана и [tex]V_x=V_y=0[/tex]. Итак,
[tex]g'(z)=U_x+iV_x=0,\qquad z\in G[/tex]
Область связна, а функция с нулевой производной на связном открытом множестве постоянна. Значит, [tex]g[/tex], а потому и [tex]f=g+a[/tex], постоянна. (Другой способ: по принципу сохранения области непостоянная голоморфная функция отображает [tex]G[/tex] на открытое множество, а окружность не содержит непустых открытых подмножеств [tex]\mathbb{C}[/tex].)