اعداد مختلط؛ توان‌ها و ریشه‌های واحد

وقتی ضرب دوران است، توان‌رساندن قدم‌زدن روی دایره است — و ریشه‌های ۱، یک چندضلعی منتظم می‌سازند

در دو یادداشت پیشین دیدیم که ضرب اعداد مختلط معنایی هندسی دارد: طول‌ها ضرب می‌شوند و زاویه‌ها جمع. حالا وقت آن است که از این قاعده کار بکشیم. اگر عددی را بارها در خودش ضرب کنیم چه می‌شود؟ و پرسش وارونه: کدام اعدادند که اگر nn بار در خودشان ضرب شوند، به ۱ برسند؟


توان یعنی دورانِ پیاپی

عدد مختلط zz را به صورت قطبی بنویسیم: z=r(cosθ+isinθ)z = r\,(\cos\theta + i\,\sin\theta). هر بار ضرب در zz یعنی: طول، rr برابر و زاویه، θ\theta بیشتر. پس بعد از nn بار:

zn=rn(cosnθ+isinnθ)z^n = r^n\left(\cos n\theta + i\,\sin n\theta\right)

این فرمول به نام فرمول دُموآور شناخته می‌شود؛ اما برای ما قضیهٔ تازه‌ای نیست — فقط بازگوییِ همان قاعدهٔ «طول‌ها ضرب، زاویه‌ها جمع» است، nn بار پشت سر هم.

جالب‌ترین حالت وقتی است که طول عدد ۱ باشد:

u=cosθ+isinθu = \cos\theta + i\,\sin\theta

توان‌های uu هیچ کششی ندارند؛ فقط می‌چرخند. اعداد u,u2,u3,u,\, u^2,\, u^3,\, \dots روی دایرهٔ واحد، با گام‌های مساویِ θ\theta، پیش می‌روند.

توان‌های یک عدد مختلط با طول یک: نقاطی روی دایرهٔ واحد با گام‌های زاویه‌ای مساوی

توان‌رساندن روی دایرهٔ واحد، قدم‌زدن است: هر ضرب، یک گام به اندازهٔ θ\theta.


معادلهٔ zn=1z^n = 1

حالا پرسش وارونه. به دنبال همهٔ اعدادی هستیم که

zn=1z^n = 1

به این اعداد ریشه‌های nn-اُم واحد می‌گویند. با نگاه قطبی، پاسخ تقریباً خودش را می‌گوید. اگر zz طول rr و زاویهٔ θ\theta داشته باشد، znz^n طول rnr^n و زاویهٔ nθn\theta دارد؛ و عدد ۱ طول ۱ و زاویهٔ صفر. پس:

  • طول: باید rn=1r^n = 1 باشد و چون طول عددی نامنفی است، r=1r = 1. یعنی همهٔ ریشه‌ها روی دایرهٔ واحدند.
  • زاویه: باید nθn\theta همان زاویهٔ عدد ۱ باشد؛ یعنی مضربی کامل از 2π2\pi:
nθ=2πkθ=2πkn,k=0,1,2,,n1n\theta = 2\pi k \quad\Longrightarrow\quad \theta = \frac{2\pi k}{n}, \qquad k = 0,\, 1,\, 2,\, \dots,\, n-1

چرا kk را از n1n-1 جلوتر نبردیم؟ چون k=nk = n زاویهٔ 2π2\pi می‌دهد که همان زاویهٔ صفر است؛ از آن به بعد همه‌چیز تکرار می‌شود.

پس معادلهٔ zn=1z^n = 1 دقیقاً nn جواب دارد.


یک چندضلعی منتظم

این nn جواب، همه روی دایرهٔ واحد نشسته‌اند و زاویهٔ هر دو جوابِ پیاپی دقیقاً 2πn\frac{2\pi}{n} با هم فرق دارد: این‌ها رأس‌های یک nn-ضلعی منتظم‌اند که یک رأسش روی عدد ۱ است.

اگر نخستین ریشهٔ بعد از ۱ را ω\omega بنامیم — عددی با طول ۱ و زاویهٔ 2πn\frac{2\pi}{n} — بقیهٔ ریشه‌ها توان‌های همین ω\omega هستند:

1,ω,ω2,,ωn11,\, \omega,\, \omega^2,\, \dots,\, \omega^{n-1}

همان قدم‌زدن روی دایره است، این بار با گامی که بعد از nn قدم، دقیقاً به خانهٔ اول برمی‌گردد.

ریشه‌های ششم واحد به‌صورت رأس‌های یک شش‌ضلعی منتظم روی دایرهٔ واحد

مثال. ریشه‌های سوم واحد:

1,ω=12+32i,ω2=1232i1, \qquad \omega = -\frac{1}{2} + \frac{\sqrt{3}}{2}\,i, \qquad \omega^2 = -\frac{1}{2} - \frac{\sqrt{3}}{2}\,i

این‌جا ω\omega عددی است با طول ۱ و زاویهٔ 2π3\frac{2\pi}{3} (۱۲۰ درجه): قسمت حقیقی‌اش cos120=12\cos 120^\circ = -\frac{1}{2} و قسمت موهومی‌اش sin120=32\sin 120^\circ = \frac{\sqrt{3}}{2}. و سه بار چرخشِ ۱۲۰ درجه‌ای یک دور کامل است؛ پس ω3=1\omega^3 = 1، بی‌آنکه به محاسبه‌ای جبری نیاز باشد.


جمع ریشه‌ها؛ یک استدلال تقارنی

ادعا می‌کنیم برای هر n2n \ge 2:

1+ω+ω2++ωn1=01 + \omega + \omega^2 + \cdots + \omega^{n-1} = 0

جمعِ همهٔ ریشه‌ها را SS بنامید و آن را در ω\omega ضرب کنید. ضرب در ω\omega یعنی چرخاندن همهٔ صفحه به اندازهٔ 2πn\frac{2\pi}{n}؛ این چرخش هر ریشه را به ریشهٔ بعدی می‌برد و آخرین ریشه را به اولی. یعنی مجموعهٔ ریشه‌ها فقط میان خودشان جابه‌جا می‌شوند و جمعشان همان می‌ماند:

ωS=S\omega\, S = S

اما ωS\omega S همان بردار SS است که به اندازهٔ 2πn\frac{2\pi}{n} چرخیده! تنها برداری که پس از چرخشی ناصفر سر جای خودش می‌ماند، بردار صفر است. پس S=0S = 0.

برای ریشه‌های سوم می‌توان مستقیم هم دید: قسمت‌های حقیقی 11212=01 - \frac{1}{2} - \frac{1}{2} = 0 و قسمت‌های موهومی قرینهٔ یکدیگرند.

این همان روحِ استدلال‌های تقارنی است که در یادداشت‌های تقارن دیدیم: چیزی که زیر یک تبدیل ناوردا بماند، باید بسیار خاص باشد.


جمع‌بندی

  • توانِ nn-اُم یعنی nn گام دوران و کشش پیاپی؛ این محتوای فرمول دموآور است.
  • معادلهٔ zn=1z^n = 1 دقیقاً nn ریشه دارد: همه با طول ۱ و زاویه‌های 2πkn\frac{2\pi k}{n}.
  • ریشه‌ها رأس‌های یک nn-ضلعی منتظم‌اند و همگی توان‌های نخستین ریشه، ω\omega.
  • جمع همهٔ ریشه‌ها به حکم تقارن صفر است.

چندضلعیِ منتظم فقط سهم عدد ۱ نیست: در یادداشتی دیگر خواهیم دید ریشه‌های nn-اُم هر عدد مختلط دلخواه هم چندضلعی منتظمی می‌سازند — کافی است چندضلعیِ واحد را بچرخانیم و کش بدهیم.