عمود بودن شعاع بر مماس: در نقطهٔ تماس، شعاع دایره بر خط مماس عمود است.

عمود بودن شعاع بر مماس: قضیه بنیادین هندسه دایره

۱. تعریف مفاهیم پایه: شعاع، مماس و قائمه

برای درک قضیه عمود بودن شعاع بر مماس، ابتدا باید با سه مفهوم کلیدی آشنا شویم: شعاع، خط مماس و زاویه قائمه. شعاع پاره‌خطی است که مرکز دایره را به هر نقطه روی محیط آن متصل می‌کند. خط مماس خطی است که دایره را دقیقاً در یک نقطه لمس می‌کند و از داخل آن عبور نمی‌کند. زاویه قائمه نیز زاویه‌ای برابر با 90 درجه است که با نماد عمود بودن (⊥) نمایش داده می‌شود.

در هندسه اقلیدسی، رابطه میان شعاع و مماس در نقطه تماس از اهمیت ویژه‌ای برخوردار است. این رابطه نه تنها در اثبات قضایای دیگر مانند قضیه توان نقطه نسبت به دایره کاربرد دارد، بلکه در طراحی مسیرهای مماس در مهندسی راه‌سازی و ساخت قطعات صنعتی نیز به کار می‌رود.

۲. اثبات قضیه با روش برهان خلف (گام به گام)

یکی از زیباترین روش‌های اثبات این قضیه، استفاده از برهان خلف (Reductio ad absurdum) است. در این روش فرض می‌کنیم شعاع بر مماس عمود نیست، سپس به تناقض می‌رسیم. گام‌های اثبات به شرح زیر است:

گام اول دایره‌ای به مرکز $ O $ و نقطه تماس $ P $ روی آن در نظر بگیرید. خط $ l $ در نقطه $ P $ بر دایره مماس است.

گام دوم فرض خلف: فرض کنید شعاع $ OP $ بر خط مماس $ l $ عمود نباشد. در این صورت می‌توان از نقطه $ O $ عمودی بر خط $ l $ رسم کرد که پای عمود را نقطه $ Q $ بنامیم. واضح است که $ Q $ با $ P $ متفاوت است.

گام سوم روی خط $ l $ نقطه $ P' $ را در طرف دیگر نقطه $ Q $ چنان انتخاب می‌کنیم که $ QP' = QP $. در این صورت مثلث‌های $ OQP $ و $ OQP' $ با داشتن دو ضلع و زاویه بین (حالت $ \text{SAS} $) همنهشت می‌شوند. بنابراین $ OP = OP' $.

گام چهارم از آنجا که $ OP $ شعاع دایره است، داریم $ OP' $ نیز برابر با شعاع است. یعنی نقطه $ P' $ نیز روی دایره قرار دارد. اما این به این معناست که خط $ l $ دایره را در دو نقطه $ P $ و $ P' $ قطع کرده است که با تعریف خط مماس (دقیقاً یک نقطه اشتراک) تناقض دارد. بنابراین فرض خلف باطل است و شعاع بر مماس عمود است.

۳. جدول مقایسه مفاهیم مرتبط با مماس و شعاع

۴. مثال‌های عددی و عملی از قضیه عمود بودن شعاع بر مماس

مثال عددی: فرض کنید دایره‌ای به مرکز $ O(0,0) $ و شعاع $ r = 5 $ واحد داریم. نقطه تماس $ P(3,4) $ روی دایره است (چون $ 3^2 + 4^2 = 25 = 5^2 $). شیب شعاع $ OP $ برابر است با $ m_{OP} = \frac{4-0}{3-0} = \frac{4}{3} $. طبق قضیه، خط مماس بر شعاع عمود است، بنابراین شیب خط مماس $ m_t $ منفی معکوس شیب شعاع است: $ m_t = -\frac{3}{4} $. معادله خط مماس در نقطه $ P $ به صورت $ y - 4 = -\frac{3}{4}(x - 3) $ است. با ساده‌سازی: $ 4y - 16 = -3x + 9 $ یا $ 3x + 4y = 25 $. این معادله نشان می‌دهد که فاصله مرکز تا خط برابر است با $ \frac{|3(0)+4(0)-25|}{\sqrt{3^2+4^2}} = \frac{25}{5}=5 $ که دقیقاً برابر شعاع است، تأییدی دیگر بر مماس بودن خط.

مثال عملی در مهندسی: در طراحی یک چرخ دنده¹، دندانه‌ها به گونه‌ای ساخته می‌شوند که سطح تماس بین دو چرخ دنده در امتداد خطی باشد که بر شعاع هر دو دایره عمود است. این شرط باعث انتقال یکنواخت نیرو و کاهش اصطکاک می‌شود. همچنین در ساخت قوس‌های پل، تکیه‌گاه‌های عمود بر قوس (که بخشی از دایره است) پایداری سازه را تضمین می‌کنند.

۵. کاربرد قضیه عمود بودن شعاع بر مماس در مسائل هندسه تحلیلی

یکی از مهمترین کاربردهای این قضیه، یافتن معادله خط مماس بر دایره بدون نیاز به محاسبه دلتا و شرط مماس بودن است. کافی است مختصات نقطه تماس را بدانیم و از عمود بودن بر شعاع استفاده کنیم. همچنین در اثبات قضیه «زاویه بین مماس و وتر» (قضیه زاویه قطعه دایره) این قضیه نقش کلیدی دارد. به عنوان مثال، اگر از نقطه خارجی $ A $ دو مماس بر دایره رسم کنیم، آنگاه پاره‌خط‌های مماس برابرند و خط وصل مرکز به $ A $ نیمساز زاویه بین دو شعاع رسم شده به نقاط تماس است – تمام این نتایج بر پایه عمود بودن شعاع بر مماس استوارند.

۶. چالش‌های مفهومی (پرسش و پاسخ)

پاورقی

¹ چرخ دنده (Gear): قطعه مکانیکی دایره‌شکل با دندانه‌های منظم که برای انتقال حرکت دورانی و نیرو بین دو محور به کار می‌رود و سطح تماس دندانه‌ها باید بر شعاع عمود باشد تا اصطکاک کاهش یابد.

² برهان خلف (Reductio ad absurdum): روش اثبات غیرمستقیم که در آن فرض خلاف حکم به تناقض می‌انجامد، در نتیجه حکم اولیه اثبات می‌شود.

³ قضیه زاویه قطعه دایره (Alternate Segment Theorem): قضیه‌ای که می‌گوید زاویه بین مماس و وتر در نقطه تماس با زاویه محاطی روبرو به آن وتر برابر است.