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

تبدیل‌ها، فاصله و مکان‌های هندسی

جبرِ zz را بنویس، شکل را در صفحه بخوان

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


تبدیل‌های zaz+bz \mapsto a\,z + b

دو عمل اصلی ما از همان آغاز تبدیل بودند:

  • جمع با عدد ثابت bb — تبدیل zz+bz \mapsto z + b — کل صفحه را به اندازهٔ بردار bb جابه‌جا می‌کند: یک انتقال.
  • ضرب در عدد ثابت a0a \neq 0 — تبدیل zazz \mapsto a\,z — صفحه را حول مبدأ به اندازهٔ arga\arg a می‌چرخاند و با ضریب a\lvert a\rvert می‌کشد: همان دوران و کشش برگهٔ نخست.

ترکیب این دو، تبدیل zaz+bz \mapsto a\,z + b است: بچرخان و بکش، سپس جابه‌جا کن.

اما این ترکیب رازی دارد. برای a1a \neq 1 معادلهٔ نقطهٔ ثابت — z=az+bz = a\,z + b — همیشه یک جواب دارد:

z=b1az^{\ast} = \frac{b}{1 - a}

نقطه‌ای که تبدیل، آن را تکان نمی‌دهد. و همین نقطه، کل رفتار تبدیل را روشن می‌کند؛ کافی است حرکت هر نقطه را نسبت به zz^{\ast} تماشا کنیم. چون zz^{\ast} ثابت است، az+b=za\,z^{\ast} + b = z^{\ast}؛ این را از T(z)=az+bT(z) = a\,z + b کم کنید:

T(z)z=(az+b)(az+b)=a(zz)T(z) - z^{\ast} = (a\,z + b) - (a\,z^{\ast} + b) = a\,\left(z - z^{\ast}\right)

سمت چپ، بردارِ از zz^{\ast} به نقطهٔ جدید است؛ سمت راست، همان بردار پیش از تبدیل، ضرب‌شده در aa. یعنی اگر چشممان را روی zz^{\ast} بگذاریم و همه‌چیز را از آن‌جا بسنجیم، تبدیلِ ما چیزی نیست جز «ضرب در aa»: همان دوران و کششِ همیشگی، فقط این بار حول zz^{\ast} به‌جای مبدأ. انتقال، مرکزِ چرخش را جابه‌جا کرده است؛ نوعِ حرکت همان است.

مثال. تبدیل T(z)=iz+1T(z) = i\,z + 1 را روی مربعی با رأس‌های 0, 1, 1+i, i0,\ 1,\ 1+i,\ i امتحان کنید:

T(0)=1,T(1)=1+i,T(1+i)=i,T(i)=0T(0) = 1, \qquad T(1) = 1 + i, \qquad T(1+i) = i, \qquad T(i) = 0

مربع به خودش برگشت! رأس‌ها فقط یک خانه چرخیده‌اند. دلیلش را نقطهٔ ثابت لو می‌دهد:

z=11i=1+i2z^{\ast} = \frac{1}{1 - i} = \frac{1+i}{2}

که دقیقاً مرکز مربع است؛ و TT یعنی چرخش ۹۰ درجه حول همین مرکز.

مربع با رأس‌های 0، 1، 1+i و i که تبدیل iz+1 آن را حول مرکزش ۹۰ درجه می‌چرخاند و رأس‌ها را جابه‌جا می‌کند

تبدیل ziz+1z \mapsto i\,z + 1 مربع را به خودش می‌برد: چرخش ۹۰ درجه حول نقطهٔ ثابتِ 1+i2\frac{1+i}{2}؛ پیکان‌های نقطه‌چین، سرنوشتِ رأس‌ها را نشان می‌دهند.


پیش از ادامه، حدس بزنید. تبدیل zz+2z \mapsto -z + 2 با صفحه چه می‌کند؟ نقطهٔ ثابتش کجاست؟

پاسخ

ضرب در 1-1 نیم‌دور است؛ پس این تبدیل، نیم‌دوری است حول نقطهٔ ثابتش: z=21(1)=1z^{\ast} = \frac{2}{1 - (-1)} = 1. هر نقطه به قرینه‌اش نسبت به نقطهٔ 11 می‌رود.

فاصله

در برگهٔ پیشین دیدیم (و اگر آن‌جا خودتان سنجیده باشید، حالا مال شماست): بردار zwz - w از نقطهٔ ww به نقطهٔ zz می‌رود؛ پس:

فاصلهٔ دو نقطهٔ zz و ww برابر است با zw\lvert z - w \rvert.

همین جملهٔ کوتاه، درِ ورود جبر به هندسه است: هر معادله‌ای که با قدر مطلق نوشته شود، جمله‌ای دربارهٔ فاصله‌هاست — و جمله‌های فاصله‌ای، شکل‌ها را توصیف می‌کنند.


معادله‌هایی که شکل می‌شوند

دایره. معادلهٔ zc=r\lvert z - c \rvert = r می‌گوید: «فاصلهٔ zz از نقطهٔ cc برابر rr است.» این توصیفِ کلمه‌به‌کلمهٔ یک دایره است: مرکز cc، شعاع rr. پرسشی که برگهٔ پیشین باز گذاشته بود، اکنون جواب دارد: مجموعهٔ z(2+i)=3\lvert z - (2+i)\rvert = 3 دایره‌ای است به مرکز 2+i2+i و شعاع ۳.

دایره‌ای به مرکز 2+i و شعاع ۳ در صفحهٔ مختلط، مکان هندسی معادلهٔ قدر مطلق z منهای (2+i) مساوی ۳

مکان هندسیِ z(2+i)=3\lvert z - (2+i)\rvert = 3: همهٔ نقطه‌هایی که فاصله‌شان از 2+i2+i برابر 33 است.

عمودمنصف. معادلهٔ za=zb\lvert z - a \rvert = \lvert z - b \rvert می‌گوید zz از دو نقطهٔ aa و bb به یک فاصله است: عمودمنصفِ پاره‌خطِ میان آن دو. مثلاً z1=z+1\lvert z - 1\rvert = \lvert z + 1\rvert همهٔ نقطه‌هایی است که از 11 و 1-1 هم‌فاصله‌اند — یعنی محور موهومی.

و شکل‌های بیشتر. اگر به‌جای برابری، جمعِ فاصله‌ها را ثابت نگه داریم — za+zb=c\lvert z - a\rvert + \lvert z - b\rvert = c — بیضی می‌روید. و یک غافلگیری برای جست‌وجوگرها: اگر نسبتِ فاصله‌ها را ثابت بگیریم — za=kzb\lvert z - a\rvert = k\,\lvert z - b\rvert با k1k \neq 1 — دوباره دایره ظاهر می‌شود، دایره‌ای که به نام آپولونیوس شناخته می‌شود. سنجیدنش تمرین خوبی است برای ابزارهایی که حالا دارید.


تمرین‌ها

تمرین ۱. مجموعهٔ zi=z+i\lvert z - i\rvert = \lvert z + i\rvert چه شکلی است؟

پاسخ

نقطه‌هایی که از ii و i-i هم‌فاصله‌اند: عمودمنصفِ پاره‌خطِ میان آن دو، یعنی محور حقیقی.

تمرین ۲. مرکز و شعاع مکان هندسی z3=2\lvert z - 3\rvert = 2 را بنویسید؛ نزدیک‌ترین نقطهٔ آن به مبدأ کدام است؟

پاسخ

دایره‌ای به مرکز 33 و شعاع 22. نزدیک‌ترین نقطه به مبدأ روی پاره‌خطِ مبدأ تا مرکز است: نقطهٔ 11.

یک قدم فراتر. ادعای آپولونیوس را در یک نمونه بسنجید: نشان دهید مکان هندسی z1=2z+1\lvert z - 1\rvert = 2\,\lvert z + 1\rvert یک دایره است؛ مرکز و شعاعش را بیابید.

پاسخ

دو طرف را به توان دو برسانید و z=x+yiz = x + y\,i بگذارید:

(x1)2+y2=4[(x+1)2+y2](x-1)^2 + y^2 = 4\left[(x+1)^2 + y^2\right]   3x2+3y2+10x+3=0    (x+53)2+y2=169\Longrightarrow\; 3x^2 + 3y^2 + 10x + 3 = 0 \;\Longrightarrow\; \left(x + \tfrac{5}{3}\right)^2 + y^2 = \tfrac{16}{9}

دایره‌ای به مرکز 53-\frac{5}{3} و شعاع 43\frac{4}{3} — نسبتِ ثابتِ فاصله‌ها هم دایره می‌سازد.


جمع‌بندی

  • تبدیل zaz+bz \mapsto a\,z + b یعنی دوران و کشش و انتقال؛ و برای a1a \neq 1، همهٔ آن چیزی جز دوران و کشش حول نقطهٔ ثابتِ b1a\frac{b}{1-a} نیست.
  • قدر مطلقِ تفاضل، فاصله است؛ پس معادله‌های قدرمطلقی، مکان‌های هندسی‌اند: دایره، عمودمنصف، بیضی — و دایرهٔ پنهانِ آپولونیوس.
  • عادت تازه: عبارت جبری را که دیدی، بپرس «این، چه شکلی است؟»

اکنون باید بتوانید… هر تبدیل az+ba\,z + b را به دوران و کشش و انتقال تجزیه و نقطهٔ ثابتش را پیدا کنید؛ معادله‌های قدرمطلقی را به شکل ترجمه کنید؛ و برعکس، توصیفِ هندسی را به معادله برگردانید.

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