关于求解复数表达式|iz+z₀|最大值的问题求助
问题描述
已知复数 ( z_0, z ) 满足 ( |z - i| \leq 2 )，且 ( z_0 = 5 + 3i )，求 ( |iz + z_0| ) 的最大值。
我的尝试思路
我一开始想用三角不等式来解决，知道 ( |z_1 + z_2| \leq |z_1| + |z_2| )，所以想当然认为 ( |z_1 + z_2|_{\text{max}} = |z_1| + |z_2| )。
代入 ( z_0 = 5 + 3i ) 后，我得到：
[ |z_0 + iz|_{\text{max}} = |z_0| + |iz| = \sqrt{5^2 + 3^2} + |iz| = \sqrt{34} + |z| ]
接着处理 ( |z - i| \leq 2 )，我错误地套用三角不等式，觉得 ( |z - i|_{\text{max}} = |z| + |-i| = 2 )，从而得出 ( |z| = 1 )，最后算出最大值是 ( \sqrt{34} + 1 )。
但老师说正确答案是7，我实在搞不懂哪里错了，希望有人能帮忙梳理清楚！
正确解法与错误分析
别着急，咱们一步步拆解你的问题，找到问题所在：
首先纠正你的两个核心错误
- 三角不等式的误用：( |z_1 + z_2|_{\text{max}} = |z_1| + |z_2| ) 只有当 ( z_1 ) 和 ( z_2 ) 方向完全一致（辐角相同）时才成立，但这里 ( iz ) 是受 ( |z - i| \leq 2 ) 约束的变量，和 ( z_0 ) 不一定满足同向条件，不能直接把两个独立的最大值相加，因为这两个最大值无法同时取到。
- 对 ( |z - i| \leq 2 ) 的几何意义理解偏差：你错误地用了三角不等式的反向推导 ( |z| ) 的值，但 ( |z - i| \leq |z| + |i| ) 的等号成立条件是 ( z ) 和 ( -i ) 反向（即 ( z = ki, k \leq 0 )），这只是z的一种特殊情况，并不是能让 ( |iz + z_0| ) 取到最大值的z。
正确的解法步骤
我们可以通过代数变形+几何意义来解决这个问题：
变形目标表达式：
先对 ( |iz + z_0| ) 做变形，提取公因子 ( i )（注意 ( |i \cdot w| = |i| \cdot |w| = |w| )，因为i的模是1，乘以i只会让复数旋转90度，模不变）：
[
|iz + z_0| = |iz + 5 + 3i| = |i(z) + i(3 - 5i)| = |i(z + 3 - 5i)| = |z - (-3 + 5i)|
]
这里计算 ( i(3 - 5i) = 3i - 5i^2 = 5 + 3i = z_0 )，是对的，所以现在问题转化为：在满足 ( |z - i| \leq 2 ) 的复数z中，求z到复数 ( -3 + 5i ) 对应点的距离最大值。分析约束条件的几何意义：
( |z - i| \leq 2 ) 对应复平面上以点 ( (0, 1) )（复数i的坐标）为圆心、半径为2的圆及其内部。计算最大距离：
圆上/圆内的点到定点的最大距离，等于圆心到该定点的距离加上圆的半径：- 先算圆心 ( (0,1) ) 到定点 ( (-3,5) )（对应复数 ( -3 +5i )）的距离：
[
\sqrt{(-3 - 0)^2 + (5 - 1)^2} = \sqrt{9 + 16} = \sqrt{25} = 5
] - 加上圆的半径2，得到最大距离：( 5 + 2 = 7 )
- 先算圆心 ( (0,1) ) 到定点 ( (-3,5) )（对应复数 ( -3 +5i )）的距离：
这样就得到了老师说的正确答案啦！
备注：内容来源于stack exchange，提问作者Anmol
