技术问询：求证当|z|≤0.5时，|log(1+z)|≤2|z|的复数不等式

嘿，我来帮你把这个复数不等式的推导捋清楚！你已经抓对了关键前提，接下来咱们用两种方法把它搞定，一种是拆分对数的实部虚部放缩，另一种用泰勒级数估计，后者会更直接～

首先，你已经知道复数主值对数的模可以拆成：
$$|\log(1+z)| = \sqrt{(\ln|1+z|)^2 + (\arg(1+z))^2}$$
我们的目标是证明这个平方根的值≤2|z|，等价于证明平方后的结果≤4|z|²，也就是：
$$(\ln|1+z|)^2 + (\arg(1+z))^2 ≤ 4|z|^2$$

步骤1：估计实部$\ln|1+z|$的绝对值 #

设$w=1+z$，则$|w-1|=|z|≤0.5$，所以$|w|≥|1 - |z||≥0.5$，$|w|≤1+|z|≤1.5$。
利用对数的经典不等式：对于$t>0$，有$|\ln t| ≤ 2|t-1|$，验证一下：

• 当$t≥1$时，$\ln t ≤ t-1 ≤ 2(t-1)$，显然成立；
• 当$0<t<1$时，$-\ln t = \ln(1/t) ≤ (1/t)-1 = \frac{1-t}{t}$，因为$t≥0.5$，所以$\frac{1}{t}≤2$，因此$\frac{1-t}{t}≤2(1-t)=2|t-1|$。

再结合三角不等式$| |w| - 1 | ≤ |w-1|=|z|$，就能得到：
$$|\ln|w|| ≤ 2| |w| - 1 | ≤ 2|z|$$
平方后可得：
$$(\ln|1+z|)^2 ≤ 4|z|^2$$

步骤2：估计虚部$\arg(1+z)$的绝对值 #

你已经给出当$|z|≤0.5$时，$|\arg(1+z)|≤\pi/6≈0.5236$。而当$|z|≤0.5$时，$2|z|≤1$，显然$\pi/6 < 1$；从几何角度看，$1+z$落在以$(1,0)$为圆心、0.5为半径的圆盘内，$\arg(1+z)$的最大值为$\arcsin(|z|)$（圆盘边界点与原点连线的切线夹角），而$\arcsin r ≤ \frac{\pi}{2}r < 2r$（因为$\pi/2≈1.57<2$），所以：
$$|\arg(1+z)| ≤ 2|z|$$
平方后可得：
$$(\arg(1+z))^2 ≤ 4|z|^2$$

步骤3：合并精细放缩 #

直接相加会得到偏松的结果，我们可以结合具体数值验证：

• 当$|z|=0.5$时，$(\ln|1+z|)^2≤(\ln1.5)2≈0.164$，$(\arg(1+z))^2≤(\pi/6)2≈0.274$，两者之和≈0.438，远小于$4|z|²=1$；
• 当$|z|$更小时，比如$|z|=0.25$，$4|z|²=0.25$，此时$(\ln|1+z|)^{2≤(\ln1.25)}2≈0.050$，$(\arg(1+z))^{2≤(\arcsin0.25)}2≈0.064$，和为0.114≤0.25，同样成立。

当$|z|<1$时，主值对数的泰勒展开式收敛：
$$\log(1+z) = z - \frac{z^2}{2} + \frac{z^3}{3} - \frac{z^4}{4} + \cdots$$
利用三角不等式，模的绝对值满足：
$$|\log(1+z)| ≤ |z| + \frac{|z|^2}{2} + \frac{|z|^3}{3} + \frac{|z|^4}{4} + \cdots$$
令$r=|z|≤0.5$，右边的级数可转化为积分计算和：
$$S(r) = 1 + \frac{r}{2} + \frac{r^2}{3} + \frac{r^3}{4} + \cdots = \frac{1}{r} \int_0^r \frac{1}{1-t} dt = \frac{-\ln(1-r)}{r}$$
代入$r=0.5$：
$$S(0.5) = \frac{-\ln(0.5)}{0.5} = 2\ln2 ≈1.386 < 2$$
当$r<0.5$时，$S(r)$会更小（因为$-\ln(1-r)/r$随r增大而单调递增），因此对于所有$r≤0.5$，$S(r)≤2\ln2<2$，所以：
$$|\log(1+z)| ≤ r \cdot S(r) ≤ 2r = 2|z|$$
这就直接完成了证明！

你猜测$z=0$时等号成立是完全正确的。当$z=0$时，左边$|\log(1+0)|=0$，右边$2|0|=0$，等号成立；而当$z≠0$时，级数的三角不等式是严格小于（各项均为正且至少有两项非零），因此等号仅在$z=0$时成立。

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