همفاصله بودن از دو نقطه: جایگاه هندسی نقاط با فاصلهٔ برابر از دو نقطهٔ معلوم
تعریف همفاصله و رابطهٔ آن با عمودمنصف
در هندسهٔ تحلیلی، اگر دو نقطهٔ متمایز A و B در صفحه داده شده باشند، نقطهٔ P را همفاصله از A و B گوییم هرگاه $PA = PB$. تمام نقاطی که این ویژگی را دارند، روی خطی راست قرار میگیرند که به آن عمودمنصف پارهخط AB میگویند.
ویژگی اصلی عمودمنصف این است که بر پارهخط AB عمود است و از نقطهٔ میانی آن عبور میکند. به عبارت دیگر، عمودمنصف مکان هندسی همهٔ نقاط همفاصله از دو سر یک پارهخط است. برای درک بهتر، دو نقطهٔ A و B را در صفحه در نظر بگیرید. اگر از نقطهٔ میانی آنها خطی عمود رسم کنید، هر نقطه روی این خط به طور خودکار از A و B به یک اندازه دور خواهد بود.
دور بودن نقطهٔ $P(x, y)$ از نقاط $A(x_1, y_1)$ و $B(x_2, y_2)$ را با رابطهٔ زیر میسنجیم: $d = \sqrt{(x - x_1)^2 + (y - y_1)^2}$. شرط همفاصله بودن یعنی: $\sqrt{(x - x_1)^2 + (y - y_1)^2} = \sqrt{(x - x_2)^2 + (y - y_2)^2}$. با به توان دو رساندن دو طرف و سادهسازی، به معادلهای خطی میرسیم که همان معادلهٔ عمودمنصف است.
روش جبری: استخراج معادلهٔ عمودمنصف با فرمول فاصله
برای بهدست آوردن معادلهٔ عمودمنصف پارهخط AB، مراحل زیر را گامبهگام طی میکنیم. فرض کنید $A(2, 3)$ و $B(6, 7)$ دو نقطهٔ معلوم باشند. میخواهیم معادلهٔ مجموعه نقاطی مانند $P(x, y)$ را پیدا کنیم که $PA = PB$.
مرحلهٔ ۱: نوشتن رابطهٔ تساوی فاصلهها:
$\sqrt{(x-2)^2 + (y-3)^2} = \sqrt{(x-6)^2 + (y-7)^2}$.
مرحلهٔ ۲: به توان دو رساندن دو طرف (ریشهها حذف میشوند):
$(x-2)^2 + (y-3)^2 = (x-6)^2 + (y-7)^2$.
مرحلهٔ ۳: بسط مربعها:
$x^2 -4x +4 + y^2 -6y +9 = x^2 -12x +36 + y^2 -14y +49$.
مرحلهٔ ۴: حذف $x^2$ و $y^2$ از دو طرف و مرتب کردن جملات:
$-4x -4x?$ (دقت کنید)
$-4x +12x = 8x$ و $-6y +14y = 8y$. همچنین اعداد ثابت: $4+9=13$ و $36+49=85$. پس داریم:
$-4x -6y +13 = -12x -14y +85$ → انتقال جملات به یک طرف:
$-4x +12x -6y +14y +13 -85 = 0$ → $8x + 8y -72 = 0$.
مرحلهٔ ۵: سادهسازی (تقسیم بر $8$):
$x + y - 9 = 0$ یا به فرم $y = -x + 9$.
این معادله، خطی با شیب $-1$ است که از نقطهٔ میانی $A$ و $B$ عبور میکند (نقطهٔ میانی $(4,5)$). راستیآزمایی میکند که $4+5-9=0$.
مقایسهٔ نقاط همفاصله در دو حالت مختلف
| وضعیت نقاط A و B | معادلهٔ عمودمنصف | ویژگی خاص |
|---|---|---|
| $A(0,0)$ و $B(4,0)$ (افقی) | $x = 2$ | خط قائم (عمود بر پارهخط افقی) |
| $A(1,2)$ و $B(5,6)$ | $x + y = 7$ | شیب $-1$ ، عمود بر خط $y=x+1$ |
| $A(-2,3)$ و $B(4,-1)$ | $3x - 2y = 5$ | عمودمنصف مایل با ضریبهای کسری |
کاربرد عملی: یافتن مرکز خط تقارن در نقشهبرداری
فرض کنید در یک منطقهٔ مسطح، دو دکل مخابراتی در نقاط $A(3, 8)$ و $B(9, 4)$ قرار دارند. یک دستگاه گیرنده میخواهد در نقطهای نصب شود که فاصلهٔ آن تا هر دو دکل دقیقاً برابر باشد. با استفاده از شرط همفاصله بودن، معادلهٔ خط مکانهای ممکن را پیدا میکنیم. با فرمول فاصله داریم:
$(x-3)^2+(y-8)^2 = (x-9)^2+(y-4)^2$ ← $x^2-6x+9+y^2-16y+64 = x^2-18x+81+y^2-8y+16$ ← حذف $x^2, y^2$ و سادهسازی: $-6x-16y+73 = -18x-8y+97$ ← $12x -8y -24 = 0$ ← $3x - 2y = 6$. این خط، تمام نقاطی را نشان میدهد که گیرنده میتواند در آنها نصب شود و فاصلهٔ یکسان تا هر دو دکل داشته باشد. برای نمونه، نقطهٔ $(4, 3)$ روی این خط قرار دارد: $3(4)-2(3)=12-6=6$.
چالشهای مفهومی
بله. چنین نقطهای، مرکز دایرهٔ محیطی مثلثی است که آن سه نقطه رأسهای آن باشند. برای یافتن آن، باید عمودمنصفهای دو پارهخط (مثلاً AB و BC) را رسم کرد؛ محل برخورد آنها همان نقطهٔ همفاصله از هر سه رأس است.
اگر $A = B$، آنگاه شرط $PA = PB$ به صورت $PA = PA$ همواره برقرار است. در این حالت، همهٔ نقاط صفحه شرط همفاصله بودن را دارند و مفهوم عمودمنصف تعریف نمیشود (چون پارهخط به نقطه تنزل یافته است).
خیر. عمودمنصف همواره بر پارهخط عمود است. تنها حالت موازی بودن زمانی رخ میدهد که پارهخط در راستای قائم یا افق نباشد، اما عمودمنصف همیشه عمود است و هرگز با پارهخط موازی نمیشود (چون زاویهٔ بین آنها $90^\circ$ است). تنها در فضای سهبعدی ممکن است صفحهٔ عمودمنصف با خط اصلی موازیهای دیگری داشته باشد، اما در صفحه، اینگونه نیست.
جمعبندی
پاورقی
2 عمودمنصف (Perpendicular Bisector): خطی که از نقطهٔ میانی یک پارهخط عبور میکند و بر آن پارهخط عمود است. هر نقطه روی این خط از دو انتهای پارهخط به یک فاصله است.
3 مکان هندسی (Locus): مجموعه همهٔ نقاطی که یک شرط یا ویژگی هندسی مشخص را برآورده میکنند. در این مقاله، مکان هندسی نقاط همفاصله از دو نقطه، خط عمودمنصف است.
4 نقطهٔ میانی (Midpoint): نقطهای روی پارهخط که آن را به دو بخش مساوی تقسیم میکند. مختصات آن میانگین مختصات دو نقطهٔ انتهایی است: $M = \left( \frac{x_1+x_2}{2}, \frac{y_1+y_2}{2} \right)$.
