复数 z = a + bi 满足 (a + bi)^2025 = (a − bi)^2025。这个条件说明 z 具有什么性质？

Step-by-step solution

1. 1

   先把右边改写成共轭。 因为 $a-bi=\overline{z}$，而共轭与乘方可以交换次序，所以 $\overline{z}^{\,2025}=\overline{z^{2025}}$。于是题设说的其实是

   $z^{2025}=\overline{z^{2025}}.$

   整道题的关键就在这一次改写：这个等式说的并不是 $z$，而是 $w=z^{2025}$ 这个数。

2. 2

   利用「$w=\overline{w}$ 刻画实数」这一事实。 记 $w=u+vi$，方程 $w=\overline{w}$ 给出 $u+vi=u-vi$，于是 $2vi=0$，$v=0$。所以这个条件恰好就是

   $z^{2025}\in\mathbb{R}.$

   用大白话说就是：$a+bi$ 的 2025 次幂是一个实数。

3. 3

   化到极坐标，看看哪些 $z$ 合格。 记 $z=re^{i\theta}$，其中 $r=\sqrt{a^{2}+b^{2}}$。则 $\overline{z}=re^{-i\theta}$，由棣莫弗定理

   $z^{2025}=r^{2025}e^{i\,2025\theta},\qquad \overline{z}^{\,2025}=r^{2025}e^{-i\,2025\theta}.$

   如果 $r=0$，也就是 $a=b=0$，那么两边都是 $0$，条件平凡成立。

4. 4

   对 $z\neq 0$ 解辐角方程。 约掉 $r^{2025}\neq 0$ 后剩下 $e^{i2025\theta}=e^{-i2025\theta}$，即 $e^{i4050\theta}=1$，于是

   $4050\theta=2k\pi\;\Longrightarrow\;\theta=\frac{k\pi}{2025},\qquad k\in\mathbb{Z}.$

   这也等价于 $\sin(2025\theta)=0$，说的正是 $z^{2025}$ 的虚部为零。注意模长 $r$ 完全不受约束——起作用的只有 $z$ 的方向。

5. 5

   从几何上描述解集。 满足条件的 $z$ 构成过原点的 $2025$ 条直线（每条直线包含 $4050$ 个角 $k\pi/2025$ 中的两个），彼此相隔 $\pi/2025=180^{\circ}/2025$，再加上原点本身。实轴（$k=0$）以及纯虚数的情形，都只有在 $\theta$ 是 $\pi/2025$ 的整数倍时才被包含进来——而 $2025$ 是奇数，$\theta=\pi/2$ 不是这种形式，所以 $z=i$ 并不满足条件。确实如此：$i^{2025}=i$，而 $(-i)^{2025}=-i$ ✓。