复数|z|最小值求解疑问：|z+1/z|=4推导||z|-|1/z||≤4的依据

嘿，我来帮你理清这个关键的推导步骤！

首先明确你的问题背景：
你已经从条件( |z^2 + 1| = 4|z| )推导出了( |z + \frac{1}{z}| = 4 )，但搞不懂怎么从这个式子得到( ||z| - |\frac{1}{z}|| \leq 4 )——这一步其实是直接套用了复数模的三角不等式的变形，我给你拆解清楚：

核心知识点：复数模的三角不等式 #

对于任意两个复数( a )和( b )，有一个非常基础的三角不等式：

( ||a| - |b|| \leq |a + b| \leq |a| + |b| )

这个不等式的本质很好理解：复数的模对应复平面上点到原点的距离，类比平面几何里的三角形三边关系——两边之差的绝对值绝不会大于第三边，两边之和绝不会小于第三边。

套用到你的问题里 #

现在把( a = z )，( b = \frac{1}{z} )代入这个不等式的左半部分：
( ||z| - |\frac{1}{z}|| \leq |z + \frac{1}{z}| )

而你已经通过题目条件推导出( |z + \frac{1}{z}| = 4 )，把这个结果代入上面的不等式，就直接得到了：
( ||z| - |\frac{1}{z}|| \leq 4 )

额外帮你串完后续求最小值的逻辑（方便理解全貌） #

设( t = |z| )（因为复数的模是正实数，所以( t > 0 )），那么( |\frac{1}{z}| = \frac{1}{t} )，上面的不等式就转化为：
( |t - \frac{1}{t}| \leq 4 )

去掉绝对值后得到两个不等式：

• ( t - \frac{1}{t} \leq 4 )：两边乘( t )（( t>0 )，不等号方向不变），整理得( t^2 - 4t - 1 \leq 0 )，解为( 2 - \sqrt{5} \leq t \leq 2 + \sqrt{5} )，结合( t>0 )，这部分范围是( 0 < t \leq 2 + \sqrt{5} )
• ( t - \frac{1}{t} \geq -4 )：同样乘( t )后整理得( t^2 + 4t - 1 \geq 0 )，因为( t>0 )，解为( t \geq \sqrt{5} - 2 )

综合起来( t )的范围是( \sqrt{5} - 2 \leq t \leq 2 + \sqrt{5} )，不过你提到参考解法说最小值是4，这里可能是题目条件或者参考解法有笔误，但不管怎样，你困惑的不等式推导逻辑就是上面这样的。

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