复数辐角参数顺序的影响及$arg(2x,y)$与$arg(2x',y')$的关系问询

1. 复数辐角的参数顺序产生的影响 #

首先得明确一个核心前提：我们通常说的arg(x,y)，默认指代复数z = x + yi的辐角——也就是平面直角坐标系中，从实轴正方向指向向量(x,y)的逆时针夹角，取值范围一般约定为[0, 2π)或(-π, π]。参数顺序的影响，本质上是改变了对应的复数形式，进而完全改变辐角的计算结果：

• 如果严格遵循arg(a,b)对应a + bi的规则，交换参数得到arg(b,a)，它对应的是复数b + ai的辐角。我们可以通过复数运算推导两者的关系：
  b + ai = i*(a - bi) = i * \overline{z}（其中\overline{z}是z = a + bi的共轭复数）。根据辐角的运算性质，在[0, 2π)范围内：
  • 若z是正实数（即arg(z) = 0），则arg(b,a) = arg(0 + ai) = π/2（当a>0时）；
  • 对于其他情况，arg(b,a) = (π/2 + (2π - arg(z))) mod 2π，等价于(π/2 - arg(z)) mod 2π（如果结果为负，就加上2π调整到[0,2π)区间）。
• 举个直观例子：比如z = 3 + 4i，arg(z) ≈ 0.927弧度（约53.1度）；交换参数后对应的复数是4 + 3i，arg(4,3) ≈ 0.6435弧度（约36.9度），刚好等于π/2 - 0.927 ≈ 0.6438，和计算结果一致。再比如z = 1 - i，arg(z) = 7π/4（315度），交换参数后是-1 + i，arg(-1,1) = 3π/4（135度），而π/2 - 7π/4 = -5π/4，加上2π后就是3π/4，完全吻合。
• 如果是错误地颠倒参数顺序（比如本来要算x + yi的辐角，却把(y,x)当成输入），结果会完全偏离正确值。比如要算1 + 0i的辐角（应该是0），却输入(0,1)，得到的是0 + 1i的辐角π/2，这就完全错了。

2. 辐角范围[0,2π)时，arg(x,y) < arg(x',y')与arg(2x,y)、arg(2x',y')的关系 #

结论很明确：如果arg(x,y) < arg(x',y')（在[0,2π)范围内），那么必然有arg(2x,y) < arg(2x',y')。下面给你推导和验证：

首先，把复数z = x + yi表示成极坐标形式：z = r(cosθ + i sinθ)，其中θ = arg(x,y)，r = √(x² + y²)是模长。那么x = r cosθ，y = r sinθ，对应的2x + yi就可以写成：
2x + yi = 2r cosθ + i r sinθ = r(2cosθ + i sinθ)

它的辐角arg(2x,y)其实就是复数2cosθ + i sinθ的辐角（因为模长不影响辐角），我们把这个辐角记为f(θ)，即f(θ) = arg(2cosθ + i sinθ)。

现在判断f(θ)的单调性：用arctan2函数的导数公式推导——对于f(θ) = arctan2(sinθ, 2cosθ)，它的导数为：

f’(θ) = (2cosθ·cosθ - sinθ·(-2sinθ)) / ( (2cosθ)² + sin²θ )
       = (2cos²θ + 2sin²θ) / (4cos²θ + sin²θ)
       = 2(cos²θ + sin²θ) / (3cos²θ + 1)
       = 2 / (3cos²θ + 1)

因为分母3cos²θ + 1始终大于等于1（cos²θ的范围是[0,1]），所以f’(θ) > 0对所有θ ∈ [0,2π)都成立——这说明f(θ)是严格单调递增的函数。

既然f(θ)严格递增，那么当θ < θ'（也就是arg(x,y) < arg(x',y')）时，必然有f(θ) < f(θ')，也就是arg(2x,y) < arg(2x',y')。

举个例子验证：

• 设arg(x,y) = π/6（30度），arg(x',y') = π/3（60度），满足π/6 < π/3；
• arg(2x,y) = arctan2(sinπ/6, 2cosπ/6) ≈ 0.281弧度（约16.1度）；
• arg(2x',y') = arctan2(sinπ/3, 2cosπ/3) ≈ 0.7137弧度（约40.9度）；
• 显然0.281 < 0.7137，符合结论。

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