给定单位圆盘解析函数条件，求f(1/4)的值

嘿，这个问题刚好可以用Schwarz引理完美解决，咱们一步步来拆解：

先明确引理的关键内容，这是解决这类单位圆盘解析映射问题的标配：

若解析函数 ( f: D \to D )（其中 ( D = { z \in \mathbb{C} : |z| < 1 } ) 是单位开圆盘）满足 ( f(0) = 0 )，则对所有 ( z \in D )，有 ( |f(z)| \leq |z| )；此外，如果存在某个非零点 ( z_0 \in D ) 使得 ( |f(z_0)| = |z_0| )，那么 ( f(z) ) 必为旋转映射，即 ( f(z) = e^{i\theta} z )（其中 ( \theta ) 是实常数，代表旋转角度）。

1. 验证等号条件：
   题目给出 ( f(1/2) = \frac{1}{2\sqrt{2}} + i\frac{1}{2\sqrt{2}} )，计算它的模长：
   [
   |f(1/2)| = \sqrt{\left( \frac{1}{2\sqrt{2}} \right)^2 + \left( \frac{1}{2\sqrt{2}} \right)^2} = \sqrt{\frac{1}{8} + \frac{1}{8}} = \sqrt{\frac{1}{4}} = \frac{1}{2}
   ]
   而 ( |1/2| = 1/2 )，刚好满足 ( |f(z_0)| = |z_0| )（这里 ( z_0 = 1/2 )），所以Schwarz引理的等号条件触发，( f(z) ) 是旋转映射。

2. 确定旋转因子 ( e^{i\theta} )：
   根据旋转映射的形式 ( f(z) = e^{i\theta} z )，代入 ( z=1/2 )：
   [
   e^{i\theta} = \frac{f(1/2)}{1/2} = \frac{\frac{1}{2\sqrt{2}} + i\frac{1}{2\sqrt{2}}}{\frac{1}{2}} = \frac{1}{\sqrt{2}} + i\frac{1}{\sqrt{2}}
   ]
   这个复数对应的角度是 ( \pi/4 )（因为 ( \cos(\pi/4) = \sin(\pi/4) = 1/\sqrt{2} )），所以 ( e^{i\theta} = e^{i\pi/4} )，即 ( f(z) = e^{i\pi/4} z )。

3. 计算 ( f(1/4) )：
   直接代入映射公式：
   [
   f(1/4) = e^{i\pi/4} \cdot \frac{1}{4} = \frac{1}{4\sqrt{2}} + i\frac{1}{4\sqrt{2}}
   ]

内容的提问来源于stack exchange，提问作者1256