فرمول فاصله نقطه از خط: مشتق، اثبات و کاربردهای هندسی
پیشنیازها: معادله خط و مفهوم فاصله عمودی
در هندسهٔ تحلیلی1، برای هر خط راست میتوان یک معادله به شکل $ax+by+c=0$ نوشت که در آن $a,b$ همزمان صفر نیستند. نقطهٔ مفروض با مختصات $(x_0,y_0)$ در صفحه قرار دارد. فاصلهٔ نقطه تا خط به عنوان کوتاهترین فاصله بین آن نقطه و هر نقطهٔ روی خط تعریف میشود که همان طول پارهخط عمود از نقطه به خط است.
برای درک بهتر، یک مثال عینی در نظر بگیرید: میخواهیم فاصلهٔ نقطهٔ $( -2 , 3 )$ را از خط $4x - 3y + 5 = 0$ محاسبه کنیم. بدون فرمول، باید معادلهٔ خط عمود را ساخته و مختصات پای عمود را پیدا کنیم – کاری وقتگیر. اما فرمول فاصله، این محاسبات را به یک مرحله ساده تبدیل میکند.
معرفی فرمول اصلی و ساختار اجزای آن
فرمول فاصلهٔ نقطه $(x_0,y_0)$ از خط $ax+by+c=0$ به صورت زیر است:
- $d$ : فاصله (مقداری نامنفی)
- $| \cdot |$ : قدر مطلق که باعث میشود فاصله همیشه مثبت یا صفر باشد.
- $\sqrt{a^2+b^2}$ : اندازهٔ بردار نرمال خط2
در مثال قبلی، $a=4, b=-3, c=5, x_0=-2, y_0=3$. مقدار $ax_0+by_0+c = 4(-2)+(-3)(3)+5 = -8 -9 +5 = -12$ و قدر مطلق آن $12$ میشود. مخرج: $\sqrt{4^2+(-3)^2}=\sqrt{16+9}=5$. بنابراین $d=\frac{12}{5}=2.4$ واحد.
اثبات هندسی و جبری فرمول (گام به گام)
گام ۱ – خط مفروض $L: ax+by+c=0$ را در نظر بگیرید. فرض کنید نقطهٔ $P(x_0,y_0)$ خارج از خط باشد. میخواهیم فاصلهٔ عمودی $d$ را پیدا کنیم.
گام ۲ – معادلهٔ خطی عمود بر $L$ که از $P$ میگذرد: بردار نرمال خط $L$ برابر $(a,b)$ است. بنابراین خط عمود، جهتی موازی بردار نرمال دارد و معادلهٔ آن به صورت پارامتری:
$$ x = x_0 + a t , \quad y = y_0 + b t $$گام ۳ – نقطهٔ برخورد $H$ (پای عمود) از حل دستگاه دو معادله (خط اصلی و خط عمود) به دست میآید. با جایگذاری پارامتری در معادلهٔ $L$:
$$ a(x_0 + a t) + b(y_0 + b t) + c = 0 $$ $$ \Rightarrow (a x_0 + b y_0 + c) + t(a^2+b^2) = 0 $$ $$ \Rightarrow t = - \frac{a x_0 + b y_0 + c}{a^2+b^2} $$گام ۴ – فاصلهٔ $PH$ برابر است با $|t| \times \sqrt{a^2+b^2}$ (چون بردار جابجایی از $P$ به $H$ برابر $(a t, b t)$ است و طول آن $|t| \sqrt{a^2+b^2}$). با جایگذاری $t$:
$$ d = \left| -\frac{a x_0 + b y_0 + c}{a^2+b^2} \right| \times \sqrt{a^2+b^2} = \frac{|a x_0 + b y_0 + c|}{\sqrt{a^2+b^2}} $$اثبات کامل شد.
مقایسه حالتهای خاص خط (افقی، عمودی، مبدأ)
| نوع خط | معادله | فرمول فاصله از (x_0,y_0) | نکته |
|---|---|---|---|
| افقی | y = k یا 0x+1\cdot y - k=0 | |y_0 - k| | فاصلهٔ عمودی ساده |
| عمودی | x = h یا 1\cdot x+0\cdot y - h=0 | |x_0 - h| | فاصلهٔ افقی ساده |
| عبور از مبدأ | ax+by=0 (c=0) | \frac{|ax_0+by_0|}{\sqrt{a^2+b^2}} | صفر در صورت عبور نقطه از خط |
کاربرد عملی: محاسبهٔ ارتفاع مثلث و فاصلهٔ دو خط موازی
از این فرمول به طور گسترده برای یافتن ارتفاع مثلث با داشتن رأس و معادلهٔ خط پایه استفاده میشود. همچنین فاصلهٔ بین دو خط موازی $ax+by+c_1=0$ و $ax+by+c_2=0$ برابر است با:
مثال عینی: فرض کنید رأس $A(1,2)$ و ضلع مقابل آن روی خط $BC: 3x+4y-5=0$ باشد. ارتفاع وارد بر $BC$ برابر $d=\frac{|3(1)+4(2)-5|}{5} = \frac{|3+8-5|}{5}=\frac{6}{5}=1.2$ واحد است. سپس اگر طول $BC$ مشخص باشد، مساحت مثلث به دست میآید.
چالشهای مفهومی
۱ – چرا در فرمول از قدر مطلق استفاده میشود؟
عبارت $ax_0+by_0+c$ میتواند مثبت یا منفی باشد (بسته به اینکه نقطه در کدام نیمصفحه قرار دارد). اما فاصله یک کمیت اسکالر نامنفی است. قدر مطلق تضمین میکند که خروجی همواره مثبت یا صفر باشد.
۲ – اگر نقطه روی خط باشد چه اتفاقی میافتد؟
در این حالت مختصات نقطه در معادله خط صدق میکند: $ax_0+by_0+c=0$. پس صورت کسر صفر و در نتیجه $d=0$ میشود، که منطقی است زیرا نقطه روی خط قرار دارد و فاصلهاش صفر است.
۳ – آیا میتوان از فرمول برای خطوط عمودی یا افقی نیز استفاده کرد؟
بله. مثلاً خط عمودی $x=3$ را به شکل $1\cdot x + 0\cdot y -3=0$ بنویسید. فرمول اصلی به $d=|x_0-3|$ تبدیل میشود که همان فاصلهٔ افقی است. هیچ حالت استثنایی وجود ندارد.
پاورقی
1 هندسهٔ تحلیلی (Analytic Geometry): شاخهای از ریاضیات که در آن اشکال هندسی با استفاده از معادلات جبری در دستگاه مختصات بررسی میشوند.
2 بردار نرمال خط (Normal Vector): بردار عمود بر خط که از ضرایب $a$ و $b$ در معادلهٔ $ax+by+c=0$ به دست میآید و نقش کلیدی در تعیین جهت عمود بر خط دارد.