شرط عمود بودن دو خط: بررسی رابطهٔ $mm' = -1$
۱. تعریف شیب خط و شرط عمودیت
در هندسهٔ تحلیلی1، شیب یک خط غیرقائم، میزان تغییرات مختصات $y$ نسبت به $x$ را نشان میدهد و با $m$ نمایش داده میشود. اگر دو نقطهٔ $(x_1, y_1)$ و $(x_2, y_2)$ روی خط باشند، شیب برابر است با:
برای عمود بودن دو خط ناقائم2 (غیرعمودی) با شیبهای $m$ و $m'$، رابطهٔ زیر برقرار است:
مثال عددی گامبهگام: فرض کنید خط $L_1$ از نقاط $A(1, 2)$ و $B(4, 6)$ میگذرد. شیب آن برابر است با:
حال میخواهیم خط $L_2$ عمود بر $L_1$ را پیدا کنیم. شیب آن باید $m' = -\frac{3}{4}$ باشد. اگر $L_2$ از نقطهٔ $C(0, 1)$ بگذرد، معادلهٔ آن به صورت $y - 1 = -\frac{3}{4}(x - 0)$ یا $y = -\frac{3}{4}x + 1$ خواهد بود.
۲. اثبات شرط عمودیت (هندسی و مثلثاتی)
برای اثبات این شرط، دو روش رایج وجود دارد. در روش مثلثاتی، فرض میکنیم خط اول با محور $x$ زاویهٔ $\theta$ بسازد؛ بنابراین $m = \tan \theta$. خط عمود بر آن، زاویهٔ $\theta + 90^\circ$ خواهد داشت. از آنجایی که $\tan(\theta + 90^\circ) = -\cot \theta = -\frac{1}{\tan \theta}$، نتیجه میشود:
در روش جبری، دو خط $y = m x + b$ و $y = m' x + b'$ را در نظر بگیرید. نقطهٔ برخورد آنها را $O$ فرض کنید. با انتقال مبدأ به $O$، خطوط به صورت $y = mx$ و $y = m'x$ درمیآیند. بردارهای جهت روی خطوط برابر $(1, m)$ و $(1, m')$ هستند. شرط عمود بودن دو بردار این است که ضرب داخلی آنها صفر شود:
? نکتهٔ مهم دربارهٔ خطوط خاص:
- یک خط افقی (شیب $m = 0$) بر یک خط قائم (شیب تعریفنشده) عمود است. در این حالت نمیتوان از رابطهٔ $mm' = -1$ استفاده کرد.
- اگر هر دو خط عمودی باشند، موازیاند نه عمود.
۳. مقایسهٔ حالات مختلف شیب در جدول
| نوع خط اول ($m$) | شرط عمود بودن | خط دوم ($m'$) | مثال عددی |
|---|---|---|---|
| $m \gt 0$ (صعودی) | $m' = -1/m$ | نزولی ($m' \lt 0$) | $m=2 \Rightarrow m' = -0.5$ |
| $m = 0$ (افقی) | حالت خاص (عمود بر خط قائم) | تعریفنشده (عمودی) | خط $y=3$ عمود بر $x=2$ |
| $m \lt 0$ (نزولی) | $m' = -1/m$ | صعودی ($m' \gt 0$) | $m=-3 \Rightarrow m' = 1/3$ |
۴. کاربرد عملی: معماری و شیببندی پلها
در طراحی رمپها، پلها و سازههای شیبدار، مهندسان از شرط عمودیت برای اطمینان از استقرار عمودهای تکیهگاهی استفاده میکنند. فرض کنید یک رمپ با شیب $m = 0.2$ ساخته شده باشد. تکیهگاههای عمودی باید کاملاً عمود بر سطح افق باشند، اما اگر بخواهیم یک مهارب جانبی عمود بر خود رمپ طراحی کنیم، شیب آن مهارب باید $-5$ باشد تا زاویهٔ قائمه با رمپ ایجاد کند. مثال دیگر در نقشهکشی: برای رسم خطی عمود بر خطی با شیب $\frac{3}{5}$، کافی است شیب خط دوم را $-\frac{5}{3}$ در نظر بگیریم.
۵. چالشهای مفهومی
پرسش ۱: آیا دو خط با شیبهای $m = 0$ و $m' = \infty$ (عمودی) از شرط $mm' = -1$ پیروی میکنند؟
پاسخ: خیر. این خطوط بر هم عمودند اما رابطهٔ $mm' = -1$ فقط برای خطوط غیرقائم و غیرافقی دارای شیب معتبر است. خط عمودی را نمیتوان به صورت $y = m'x + b'$ نوشت، بنابراین شرط مذکور در این حالت تعریف نشده است.
پرسش ۲: اگر $m = -1$ باشد، خط عمود بر آن چه شیبی دارد؟
پاسخ: با استفاده از رابطهٔ $m' = -1/m$، اگر $m = -1$ آنگاه $m' = -1/(-1) = 1$. بنابراین خطی با شیب $1$ بر خطی با شیب $-1$ عمود است. این دو خط نسبت به محورهای مختصات متقارن هستند.
پرسش ۳: آیا شرط $mm' = -1$ برای عمود بودن دو خط در فضای سهبعدی نیز برقرار است؟
پاسخ: خیر. در فضای سهبعدی، خطوط را با بردارهای جهت نشان میدهند و شرط عمود بودن دو خط (بدون توجه به تقاطع) این است که ضرب داخلی بردارهای جهت آنها صفر شود. رابطهٔ سادهٔ $mm' = -1$ فقط در صفحه (دو بعد) و برای خطوطی که به صورت تابع نوشته میشوند معنی دارد.
۶. جمعبندی
پاورقی
1 هندسهٔ تحلیلی (Analytic Geometry): شاخهای از ریاضیات که در آن اشکال هندسی با استفاده از دستگاه مختصات و معادلات جبری مطالعه میشوند.
2 خط ناقائم (Non-vertical line): خطی که موازی محور عمودی (محور $y$) نباشد و بتوان آن را به فرم $y = mx + b$ نوشت.