عمودمنصف پارهخط AB: مکان هندسی نقاطی که از دو نقطهٔ ثابت A و B به یک فاصله هستند
تعریف مکان هندسی و بیان مسئله عمودمنصف
در هندسه، مکان هندسی مجموعهٔ همهٔ نقاطی است که یک شرط مشخص را برآورده میکنند. فرض کنید دو نقطهٔ ثابت A و B در صفحه داریم. میخواهیم مجموعهٔ تمام نقاطی مانند P را پیدا کنیم که PA = PB؛ یعنی فاصلهٔ نقطهٔ P تا A برابر با فاصلهٔ آن تا B باشد. این مکان هندسی، عمودمنصف پارهخط AB نامیده میشود.
به بیان سادهتر، اگر بخواهیم نقطهای را در صفحه پیدا کنیم که از دو نقطهٔ مشخص (مثلاً دو شهر یا دو مکان روی نقشه) به یک اندازه فاصله داشته باشد، آن نقطه روی خط عمودمنصف قرار میگیرد. این مفهوم پایهای برای بسیاری از اثباتها در هندسه و نیز در مسائل بهینهیابی است.
اثبات هندسی: عمود بودن و عبور از وسط
برای اثبات اینکه مکان هندسی نقاط همفاصله از A و B خطی عمود بر AB و گذرنده از نقطهٔ وسط آن است، دو بخش را بررسی میکنیم:
بخش اول (شرط لازم): فرض کنیم نقطهٔ P روی عمودمنصف باشد و M نقطهٔ وسط AB باشد. در مثلثهای PMA و PMB داریم: AM = MB (چون M وسط است)، PM ضلع مشترک و PA = PB (فرض). بنابراین دو مثلث به حالت (ض ض ض) همنهشت هستند. از همنهشتی نتیجه میشود ∠PMA = ∠PMB. از آنجا که این دو زاویه مجاور و مجموعشان ۱۸۰^\circ است، هر کدام ۹۰^\circ خواهد بود. پس PM ⟂ AB.
بخش دوم (شرط کافی): اگر نقطهٔ P روی خطی عمود بر AB در نقطهٔ وسط M باشد، در مثلثهای PMA و PMB خواهیم داشت: AM = MB، PM مشترک و ∠PMA = ∠PMB = ۹۰^\circ. پس دو مثلث به حالت (ض ز ض) همنهشت هستند و در نتیجه PA = PB. بنابراین هر نقطه روی این خط از A و B به یک فاصله است.
| ویژگی | توضیح |
|---|---|
| عمود بودن | عمودمنصف بر پارهخط AB عمود است (زاویه ۹۰^\circ). |
| عبور از وسط | از نقطهٔ میانی پارهخط AB میگذرد. |
| همفاصلی | هر نقطه روی آن از دو سر پارهخط به یک فاصله است. |
معادلهٔ عمودمنصف در هندسه تحلیلی
اگر نقاط A(x_1, y_1) و B(x_2, y_2) داده شده باشند، نقطهٔ وسط M برابر است با:
$ M = \left( \frac{x_1 + x_2}{2}, \frac{y_1 + y_2}{2} \right) $شیب خط AB به دست میآید:
$ m_{AB} = \frac{y_2 - y_1}{x_2 - x_1} $شیب عمودمنصف m_p قرینهٔ معکوس شیب AB است (در صورتی که AB عمودی نباشد):
$ m_p = -\frac{1}{m_{AB}} = -\frac{x_2 - x_1}{y_2 - y_1} $با استفاده از فرمول نقطه‑شیب، معادلهٔ عمودمنصف به صورت زیر نوشته میشود:
$ y - \frac{y_1+y_2}{2} = m_p \left( x - \frac{x_1+x_2}{2} \right) $همچنین میتوان معادله را بر اساس شرط PA = PB به دست آورد. برای نقطهٔ P(x, y) داریم:
$ \sqrt{(x - x_1)^2 + (y - y_1)^2} = \sqrt{(x - x_2)^2 + (y - y_2)^2} $با مربع کردن دو طرف و سادهسازی به معادلهٔ خطی زیر میرسیم:
$ 2(x_2 - x_1)x + 2(y_2 - y_1)y = x_2^2 - x_1^2 + y_2^2 - y_1^2 $کاربرد عملی و مثال عددی
مثال: مختصات دو نقطهٔ A(2, 3) و B(6, 7) را در نظر بگیرید. معادلهٔ عمودمنصف پارهخط AB را بیابید.
مرحلهٔ ۱: محاسبهٔ نقطهٔ وسط M
$ M = \left( \frac{2+6}{2}, \frac{3+7}{2} \right) = (4, 5) $مرحلهٔ ۲: شیب AB
$ m_{AB} = \frac{7-3}{6-2} = \frac{4}{4} = 1 $مرحلهٔ ۳: شیب عمودمنصف
$ m_p = -1 $مرحلهٔ ۴: معادلهٔ خط
$ y - 5 = -1 (x - 4) \implies y = -x + 9 $بنابراین معادلهٔ عمودمنصف به صورت y = -x + 9 است. میتوان آزمود که نقطهٔ P(5, 4) روی این خط قرار دارد و فاصلهٔ آن تا A و B برابر است با \sqrt{10}.
چالشهای مفهومی
بله، عمودمنصف به عنوان مکان هندسی، یک خط مستقیم نامحدود در هر دو جهت است، نه فقط قطعهٔ محدود بین دو طرف پارهخط. هر چند در بسیاری از مسائل عملی فقط بخشی از آن مد نظر قرار میگیرد، اما تعریف هندسی آن خط کامل را شامل میشود.
اگر A = B باشد، پارهخط به یک نقطه تبدیل میشود. در این حالت شرط PA = PB به PA = PA تبدیل میشود که همواره برقرار است. بنابراین مکان هندسی تمام صفحه خواهد بود نه یک خط خاص. به همین دلیل معمولاً فرض میکنیم A \neq B.
در یک دایره، عمودمنصف هر وتر از مرکز دایره میگذرد. این قضیه مهم در هندسه دایره به اثبات میرساند که مرکز دایره محل برخورد عمودمنصفهای دو وتر غیرموازی است. همچنین شعاعهای عمود بر وتر، وتر را نصف میکنند که عکس عمودمنصف است.
پاورقی
1 نقطهٔ ثابت (Fixed Point): نقطهای در صفحه که مکان آن تغییر نمیکند و به عنوان مرجع در تعریف مکان هندسی استفاده میشود.2 همنهشتی مثلثها (Triangle Congruence): وضعیتی که در آن دو مثلث از نظر اندازه ضلعها و زاویهها دقیقاً برابر هستند. حالتهای اصلی (ض ض ض) و (ض ز ض) در این مقاله به کار رفته است.
3 مکان هندسی (Locus): مجموعهٔ همهٔ نقاطی که یک شرط یا چند شرط هندسی مشخص را برآورده میکنند.
4 قرینهٔ معکوس شیب (Negative Reciprocal): اگر شیب خطی برابر m باشد، شیب خط عمود بر آن برابر -\frac{1}{m} است (در صورت وجود).