اعداد مختلط برگهٔ ۶ از ۸

مزدوج، قدر مطلق و تقسیم

آخرین قطعهٔ حساب: تقسیم هم دوران است — فقط در جهت برعکس

در یادداشت‌های پیشین برای اعداد مختلط جمع، ضرب، توان و ریشه ساختیم و همه معنایی هندسی داشتند. یک عمل هنوز مانده است: تقسیم. برای آن به دوست تازه‌ای نیاز داریم که خودش هم تصویری زیبا دارد: مزدوج.


مزدوج: بازتاب در آینهٔ محور حقیقی

برای عدد مختلط z=x+yiz = x + y\,i، مزدوجِ آن را چنین تعریف می‌کنیم:

zˉ=xyi\bar{z} = x - y\,i

از نگاه هندسی، zˉ\bar{z} چیزی نیست جز بازتاب zz نسبت به محور حقیقی: طول بردار همان می‌ماند و زاویه از θ\theta به θ-\theta می‌رود.

عدد مختلط z و مزدوج آن به‌صورت بازتاب نسبت به محور حقیقی، با طول برابر و زاویه‌های قرینه

مزدوج: بازتابِ zz در آینهٔ محور حقیقی — همان طول، زاویهٔ قرینه.

چند مشاهدهٔ فوری:

  • عدد zz حقیقی است اگر و تنها اگر zˉ=z\bar{z} = z؛ یعنی بازتابش خودش باشد.
  • مزدوجِ مزدوج، خودِ عدد است: بازتابِ بازتاب.
  • جمعِ عدد با مزدوجش همیشه حقیقی است: z+zˉ=2xz + \bar{z} = 2x.

اتحاد کلیدی: zzˉ=z2z\,\bar{z} = \lvert z \rvert^2

قدر مطلق (همان طول بردار) را مثل همیشه z\lvert z\rvert می‌نویسیم. حالا حاصل‌ضرب zzˉz\,\bar{z} را از دو راهِ آشنا حساب کنیم:

  • هندسی: طول‌ها ضرب می‌شوند: r×r=r2r \times r = r^2؛ زاویه‌ها جمع می‌شوند: θ+(θ)=0\theta + (-\theta) = 0. پس حاصل، عددی حقیقی و نامنفی است به اندازهٔ r2r^2.
  • جبری: (x+yi)(xyi)=x2(yi)2=x2+y2(x + y\,i)(x - y\,i) = x^2 - (y\,i)^2 = x^2 + y^2.
zzˉ=x2+y2=z2z\,\bar{z} = x^2 + y^2 = \lvert z \rvert^2

دو راه، یک جواب — و در ضمن تساویِ x2+y2=r2x^2 + y^2 = r^2 چیزی جز قضیهٔ فیثاغورس نیست که خودش را در دل حساب مختلط جا کرده است.


پیش از ادامه، حدس بزنید. 1i\dfrac{1}{i} چیست؟ به زبان دوران فکر کنید: چه عددی، اثرِ «ضرب در ii» را خنثی می‌کند؟

پاسخ

ضرب در ii یعنی چرخش +90+90 درجه؛ خنثی‌کننده‌اش چرخش 90-90 درجه با طول 11 است: یعنی i-i. سنجش: i(i)=i2=1i \cdot (-i) = -i^2 = 1

وارون و تقسیم

تقسیم بر zz یعنی ضرب در وارونِ آن؛ پس کافی است 1z\frac{1}{z} را بشناسیم: عددی که ضربش در zz برابر ۱ شود. نگاه هندسی جواب را لو می‌دهد: باید کششِ rr را با کششِ 1r\frac{1}{r} و چرخشِ θ\theta را با چرخشِ θ-\theta خنثی کنیم. پس 1z\frac{1}{z} عددی است با طول 1r\frac{1}{r} و زاویهٔ θ-\theta.

اما عددی با زاویهٔ θ-\theta همین حالا در آستین داریم: مزدوج! فقط طولش rr است، نه 1r\frac{1}{r}. چاره‌اش ساده است: بر عدد حقیقیِ مثبتِ r2r^2 تقسیمش کنیم — و تقسیم بر عدد حقیقی مثبت را از قبل بلدیم؛ کششی ساده است که فقط طول را تغییر می‌دهد:

1z=zˉz2,z0\frac{1}{z} = \frac{\bar{z}}{\lvert z \rvert^2}, \qquad z \neq 0

سنجش: zzˉz2=zzˉz2=z2z2=1z \cdot \dfrac{\bar{z}}{\lvert z\rvert^2} = \dfrac{z\,\bar{z}}{\lvert z\rvert^2} = \dfrac{\lvert z\rvert^2}{\lvert z\rvert^2} = 1

و تقسیم دو عدد دلخواه:

z1z2=z1zˉ2z22,z20\frac{z_1}{z_2} = \frac{z_1\,\bar{z}_2}{\lvert z_2 \rvert^2}, \qquad z_2 \neq 0

این همان ترفند مدرسه‌ای «صورت و مخرج را در مزدوجِ مخرج ضرب کن» است — که حالا می‌دانیم چرا کار می‌کند: این ضرب، مخرج را به یک عدد حقیقی مثبت تبدیل می‌کند و تقسیم بر عدد حقیقی چیزی جز تغییر طول نیست.

معنای هندسی تقسیم هم از همین‌جا بیرون می‌آید:

طولِ خارج‌قسمت، نسبتِ طول‌هاست و زاویه‌اش، تفاضلِ زاویه‌ها. تقسیم، دورانِ وارونه است.

نمایش هندسی تقسیم دو عدد مختلط: طول خارج‌قسمت نسبت طول‌ها و زاویه‌اش تفاضل زاویه‌هاست

تقسیم به روایت تصویر: z1z2\frac{z_1}{z_2} طولی برابرِ نسبتِ طول‌ها و زاویه‌ای برابرِ θ1θ2\theta_1 - \theta_2 دارد؛ ضربِ دوباره در z2z_2، آن را به z1z_1 برمی‌گرداند.


مثال

1+i1i=(1+i)(1+i)(1i)(1+i)=1+2i+i212+12=2i2=i\frac{1+i}{1-i} = \frac{(1+i)(1+i)}{(1-i)(1+i)} = \frac{1 + 2i + i^2}{1^2 + 1^2} = \frac{2i}{2} = i

سنجش هندسی: عدد 1+i1+i طول 2\sqrt{2} و زاویهٔ π4\frac{\pi}{4} دارد و عدد 1i1-i طول 2\sqrt{2} و زاویهٔ π4-\frac{\pi}{4}. پس خارج‌قسمت باید طول 22=1\frac{\sqrt2}{\sqrt2} = 1 و زاویهٔ π4(π4)=π2\frac{\pi}{4} - \left(-\frac{\pi}{4}\right) = \frac{\pi}{2} داشته باشد: عددی با طول ۱، مستقیم رو به بالا — یعنی ii. ✓


هدیهٔ پایانی: حاصل‌ضرب دو «مجموعِ دو مربع»

از تعریف هندسی ضرب می‌دانیم طول‌ها ضرب می‌شوند: z1z2=z1z2\lvert z_1 z_2\rvert = \lvert z_1\rvert\,\lvert z_2\rvert. حالا دو طرف را به توان دو برسانیم و همه‌چیز را به زبان مختصات بنویسیم. اگر z1=x1+y1iz_1 = x_1 + y_1\,i و z2=x2+y2iz_2 = x_2 + y_2\,i باشند، از یادداشت پل جبر و هندسه می‌دانیم:

z1z2=(x1x2y1y2)+(x1y2+x2y1)iz_1 z_2 = (x_1 x_2 - y_1 y_2) + (x_1 y_2 + x_2 y_1)\,i

پس تساوی z1z22=z12z22\lvert z_1 z_2\rvert^2 = \lvert z_1\rvert^2 \lvert z_2\rvert^2 چنین ترجمه می‌شود:

(x12+y12)(x22+y22)=(x1x2y1y2)2+(x1y2+x2y1)2(x_1^2 + y_1^2)(x_2^2 + y_2^2) = (x_1 x_2 - y_1 y_2)^2 + (x_1 y_2 + x_2 y_1)^2

یعنی: حاصل‌ضرب دو عددی که هر یک مجموعِ دو مربع‌اند، خودش مجموعِ دو مربع است — اتحادی کهن که به نام برهماگوپتا–فیبوناچی شناخته می‌شود و در نظریهٔ اعداد نقشی مهم دارد. اثبات مستقیمش با باز کردن پرانتزها کمی حوصله می‌خواهد؛ اما در زبان اعداد مختلط، این فقط جملهٔ سادهٔ «طول‌ها ضرب می‌شوند» است که به زبان مختصات ترجمه شده.


چند مشاهده برای خودتان

سه ادعای زیر را خودتان بسنجید — هر سه، با همان دو نگاهِ آشنای جبری و هندسی، چند خط بیشتر نیستند:

  • z+w=zˉ+wˉ\overline{z + w} = \bar{z} + \bar{w} — بازتابِ جمع، جمعِ بازتاب‌هاست.
  • zw=zˉwˉ\overline{z\,w} = \bar{z}\,\bar{w} — آینه با ضرب هم کنار می‌آید؛ به زاویه‌ها فکر کنید.
  • zw\lvert z - w\rvert دقیقاً فاصلهٔ دو نقطهٔ zz و ww در صفحه است؛ به تصویرِ برداریِ zwz - w فکر کنید.

مشاهدهٔ آخر دری تازه باز می‌کند: وقتی قدر مطلق فاصله باشد، معادله‌ها شکل می‌شوند. مثلاً مجموعهٔ همهٔ نقطه‌هایی که در z(2+i)=3\lvert z - (2+i)\rvert = 3 صدق می‌کنند چه شکلی است؟ نشانی‌اش را همین جمله گفته است — مکان‌های هندسی در صفحهٔ مختلط، موضوع برگهٔ بعدی‌اند.


تمرین‌ها

تمرین ۱. وارونِ 3+4i3 + 4i را حساب کنید.

پاسخ 13+4i=34i3+4i2=34i25\frac{1}{3+4i} = \frac{3-4i}{\lvert 3+4i\rvert^2} = \frac{3-4i}{25}
(سنجش: طولِ وارون باید 15\frac{1}{5} باشد؛ و $\left \frac{3-4i}{25}\right = \frac{5}{25} = \frac{1}{5}$ ✓)

تمرین ۲. حاصل 2+i1i\dfrac{2+i}{1-i} را حساب کنید و طولش را از دو راه بسنجید.

پاسخ 2+i1i=(2+i)(1+i)(1i)(1+i)=1+3i2\frac{2+i}{1-i} = \frac{(2+i)(1+i)}{(1-i)(1+i)} = \frac{1 + 3i}{2}

سنجش طول: نسبتِ طول‌ها 52\frac{\sqrt{5}}{\sqrt{2}} است؛ و طولِ جواب 102=52\frac{\sqrt{10}}{2} = \frac{\sqrt{5}}{\sqrt{2}}

یک قدم فراتر. نشان دهید اگر z=1\lvert z\rvert = 1، آن‌گاه 1z=zˉ\dfrac{1}{z} = \bar{z}. تعبیر هندسی‌اش چیست؟

پاسخ

از اتحاد کلیدی: zzˉ=z2=1z\,\bar{z} = \lvert z\rvert^2 = 1؛ پس zˉ\bar{z} همان وارونِ zz است. هندسه: روی دایرهٔ واحد، وارون‌سازی هیچ کششی لازم ندارد — فقط باید زاویه قرینه شود، و این دقیقاً کارِ مزدوج است.


جمع‌بندی

  • مزدوج یعنی بازتاب در آینهٔ محور حقیقی؛ و zzˉ=z2z\,\bar{z} = \lvert z\rvert^2.
  • وارونِ هر عدد ناصفر: 1z=zˉz2\frac{1}{z} = \frac{\bar{z}}{\lvert z\rvert^2}؛ ترفند «ضرب در مزدوج مخرج» دلیلی هندسی دارد.
  • تقسیم هم مانند ضرب دوران است، فقط وارونه: نسبتِ طول‌ها و تفاضلِ زاویه‌ها.
  • و یک هدیه: اتحاد برهماگوپتا–فیبوناچی، ترجمهٔ مختصاتیِ «طول‌ها ضرب می‌شوند».

اکنون باید بتوانید… مزدوجِ هر عدد را هندسی توصیف کنید؛ وارون و تقسیم را با «ضرب در مزدوجِ مخرج» انجام دهید و بگویید چرا این ترفند کار می‌کند؛ طولِ هر خارج‌قسمت را بی‌محاسبه پیش‌بینی کنید؛ و zw\lvert z - w\rvert را همیشه «فاصله» بخوانید.

با این یادداشت، حسابِ اعداد مختلط کامل شد: جمع و تفریق، ضرب و تقسیم، توان و ریشه — همه با تصویری هندسی روشن. قطعهٔ گمشدهٔ قابِ برگهٔ دوم هم سر جایش نشست: هر عدد ناصفر وارون دارد، و اعداد مختلط، به تمام معنا، یک میدان‌اند. از این‌جا به بعد، این دستگاه آماده است تا در مسئله‌های واقعی به کار بیفتد.