तिर्यक रेखा (ज्यामिति)

ज्यामिति में, एक तिर्यक रेखा एक रेखा (गणित) है जो रेखा-रेखा दो रेखाओं को एक ही तल (ज्यामिति) में दो भिन्न बिंदु (ज्यामिति) पर काटती है। ट्रांसवर्सल्स यह स्थापित करने में एक भूमिका निभाते हैं कि यूक्लिडियन विमान में दो या दो से अधिक अन्य रेखाएं समानांतर (ज्यामिति) हैं या नहीं। दो रेखाओं के साथ एक तिर्यक रेखा के प्रतिच्छेदन विभिन्न प्रकार के कोणों के जोड़े निरन्तर आंतरिक कोण, बाहरी कोण, संगत कोण और वैकल्पिक कोण बनाते हैं। यूक्लिड के समानांतर अभिधारणा के परिणामस्वरूप, यदि दो रेखाएँ समानांतर तथा क्रमागत आंतरिक कोण संपूरक होते हैं, तो संगत कोण और एकांतर कोण बराबर होते हैं। 

तिर्यक रेखा के कोण
एक तिर्यक रेखा 8 कोण बनाती है, जैसा कि ऊपर बाईं ओर ग्राफ में प्रदर्शित किया गया है:
 * α, β, γ और δ और फिर α1, β1, γ1 और δ1 नामक दो पंक्तियों में से प्रत्येक के साथ 4; और
 * जिनमें से 4 आंतरिक हैं (दो पंक्तियों के बीच) अर्थात् α, β, γ1 और δ1 और जिनमें से 4 बाहरी अर्थात् α1, β1, γ और δ हैं।

एक तिर्यक रेखा जो दो समान्तर रेखाओं को समकोण पर विभाजित करती है, लंबवत् तिर्यक रेखा कहलाती है। इस स्थिति में सभी 8 कोण समकोण हैं

जब रेखाएँ समानांतर रेखाएँ होती हैं, एक ऐसा मामला जिस पर अक्सर विचार किया जाता है, एक तिर्यक रेखा कई सर्वांगसमता (ज्यामिति) पूरक कोण उत्पन्न करती है। इनमें से कुछ कोण युग्मों के विशिष्ट नाम हैं और नीचे उनकी चर्चा की गई है: संगत कोण, एकांतर कोण और क्रमागत कोण।

एकांतर कोण
वैकल्पिक कोणों के चार कोण युग्म हैं जो: यह गणित का एक बहुत ही उपयोगी विषय है
 * भिन्न शीर्ष (ज्यामिति) बिंदु हैं,
 * तिर्यक रेखा के विपरीत दिशा में स्थित हैं और
 * दोनों कोण आंतरिक या दोनों कोण बाहरी हैं।

यदि एक युग्म के दो कोण सर्वांगसम (माप में बराबर) हैं तो अन्य युग्मों में से प्रत्येक के कोण भी सर्वांगसम होते हैं।

यूक्लिड के तत्वों के कथन 1.27 के अंतर्गत निरपेक्ष ज्यामिति का एक प्रमेय (अतः अतिशयोक्तिपूर्ण ज्यामिति और यूक्लिडियन ज्यामिति दोनों में मान्य), यह सिद्ध करता है कि यदि एक तिर्यक रेखा के वैकल्पिक कोणों की एक जोड़ी के कोण सर्वांगसम हैं तो दो रेखाएँ समानांतर (अप्रतिच्छेद) हैं।

यूक्लिड के तत्वों की प्रस्तावना 1.29 के अंतर्गत यह यूक्लिड के समानांतर अभिधारणा से अनुसरण करता है कि यदि दो रेखाएँ समानांतर हैं तो एक तिर्यक रेखा के वैकल्पिक कोणों के एक युग्म के कोण सर्वांगसम होते हैं।

संगत कोण
संगत कोणों के वे चार कोण युग्म हैं जो:
 * विभिन्न शीर्ष बिंदु हैं,
 * तिर्यक रेखा के एक ही दिशा में स्थित हैं और
 * एक कोण आंतरिक और दूसरा बाहरी है।

दो रेखाएँ समानांतर होती हैं और अगर ऐसा किसी तिर्यक रेखा के संगत कोणों के किसी युग्म के दो कोण सर्वांगसम (माप में बराबर) हों।

यूक्लिड के तत्वों का प्रस्ताव 1.28 के अंतर्गत, निरपेक्ष ज्यामिति का एक प्रमेय (इसलिए अतिशयोक्तिपूर्ण ज्यामिति और यूक्लिडियन ज्यामिति दोनों में मान्य), यह सिद्ध करता है कि यदि एक अनुप्रस्थ के संगत कोणों की एक जोड़ी के कोण सर्वांगसम हैं तो दो रेखाएँ समानांतर (अप्रतिच्छेद) हैं।

यूक्लिड के तत्वों की प्रस्तावना 1.29 के अंतर्गत यह यूक्लिड के समानांतर अभिधारणा से अनुसरण करता है कि यदि दो रेखाएँ समानांतर हैं, तो एक तिर्यक रेखा के संगत कोणों के एक युग्म के कोण सर्वांगसम होते हैं।

यदि संगत कोणों के एक युग्म के कोण सर्वांगसम हैं तो अन्य युग्मों के प्रत्येक युग्म के कोण भी सर्वांगसम होते हैं। इस पृष्ठ पर समानांतर रेखाओं वाली विभिन्न छवियों में संबंधित कोण जोड़े α=α1, β=β1, γ=γ1 और δ=δ1 हैं।

लगातार आंतरिक कोण
लगातार आंतरिक कोण कोणों के दो युग्म हैं जो:
 * विभिन्न शीर्ष बिंदु हैं,
 * तिर्यक रेखा के एक ही तरफ लेटें और
 * दोनों आंतरिक हैं।

दो रेखाएँ समानांतर होती हैं यदि और केवल यदि किसी तिर्यक रेखा के लगातार आंतरिक कोणों के किसी भी युग्म के दो कोण संपूरक हों (योग 180°)।

यूक्लिड के तत्वों का प्रस्ताव 1.28, निरपेक्ष ज्यामिति का एक प्रमेय (इसलिए अतिशयोक्तिपूर्ण ज्यामिति और यूक्लिडियन ज्यामिति दोनों में मान्य), यह साबित करता है कि यदि लगातार आंतरिक कोणों की एक जोड़ी के कोण पूरक हैं तो दो रेखाएँ समानांतर (गैर-प्रतिच्छेदन) हैं।

यह यूक्लिड के समानांतर अभिधारणा से अनुसरण करता है कि यदि दो रेखाएँ समानांतर हैं, तो एक तिर्यक रेखा के लगातार आंतरिक कोणों की एक जोड़ी के कोण पूरक होते हैं (यूक्लिड के तत्वों का प्रस्ताव 1.29)।

यदि क्रमागत आंतरिक कोणों का एक युग्म संपूरक है, तो दूसरा युग्म भी संपूरक है।

तिर्यक रेखाओं की अन्य विशेषताएं
यदि सामान्य स्थिति में तीन रेखाएँ एक त्रिभुज बनाती हैं और फिर एक तिर्यक रेखा द्वारा काटी जाती हैं, तो छह परिणामी खंडों की लंबाई मेनेलॉस प्रमेय को संतुष्ट करती है।

संबंधित प्रमेय
समानांतर अभिधारणा के यूक्लिड के सूत्रीकरण को एक तिर्यक रेखा के रूप में बताया जा सकता है। विशेष रूप से, यदि तिर्यक रेखा के एक ही ओर के आंतरिक कोण दो समकोणों से कम हैं तो रेखाओं को प्रतिच्छेद करना चाहिए। वास्तव में, यूक्लिड ग्रीक में उसी वाक्यांश का उपयोग करता है जिसे आमतौर पर ट्रांसवर्सल के रूप में अनुवादित किया जाता है।

यूक्लिड के प्रस्ताव 27 में कहा गया है कि यदि एक तिर्यक रेखा दो रेखाओं को इस प्रकार काटती है कि वैकल्पिक आंतरिक कोण सर्वांगसम हों, तो रेखाएँ समानांतर होती हैं। यूक्लिड इस उपपत्ति को विरोधाभास द्वारा सिद्ध करता है: यदि रेखाएँ समानांतर नहीं हैं तो उन्हें प्रतिच्छेद करना चाहिए और एक त्रिभुज बनता है। फिर एकांतर कोण दूसरे कोण के बराबर एक बाहरी कोण होता है जो त्रिभुज में एक विपरीत आंतरिक कोण होता है। यह प्रस्ताव 16 का खंडन करता है जिसमें कहा गया है कि त्रिभुज का एक बाहरी कोण हमेशा विपरीत आंतरिक कोणों से बड़ा होता है।

यूक्लिड का प्रस्ताव 28 इस परिणाम को दो तरह से विस्तारित करता है। सबसे पहले, यदि एक तिर्यक रेखा दो रेखाओं को इस प्रकार काटती है कि संगत कोण सर्वांगसम हों, तो रेखाएँ समानांतर होती हैं। दूसरा, यदि एक तिर्यक रेखा दो रेखाओं को इस प्रकार काटती है कि तिर्यक रेखा के एक ही ओर के आंतरिक कोण संपूरक हों, तो रेखाएँ समानांतर होती हैं। ये पिछले प्रस्ताव से इस तथ्य को लागू करते हैं कि प्रतिच्छेदी रेखाओं के विपरीत कोण बराबर होते हैं (प्रस्ताव 15) और एक रेखा पर आसन्न कोण पूरक होते हैं (प्रस्तावना 13)। जैसा कि बंद किया हुआ  ने उल्लेख किया है, यूक्लिड समानांतर रेखाओं के लिए संभावित छह में से केवल तीन मानदंड देता है।

यूक्लिड का प्रस्ताव 29 पिछले दो का विलोम है। सबसे पहले, यदि एक तिर्यक रेखा दो समानांतर रेखाओं को काटती है, तो एकांतर आंतरिक कोण सर्वांगसम होते हैं। यदि नहीं, तो एक दूसरे से बड़ा है, जिसका अर्थ है कि इसका पूरक दूसरे कोण के पूरक से कम है। इसका तात्पर्य यह है कि तिर्यक रेखा के एक ही ओर आंतरिक कोण होते हैं जो दो समकोणों से कम होते हैं, जो पांचवें अभिधारणा के विपरीत होते हैं। प्रस्ताव यह कहते हुए जारी रहता है कि दो समानांतर रेखाओं के एक अनुप्रस्थ पर, संगत कोण सर्वांगसम होते हैं और एक ही तरफ के आंतरिक कोण दो समकोण के बराबर होते हैं। ये कथन उसी तरह अनुसरण करते हैं जैसे प्रस्ताव 28 प्रस्ताव 27 का अनुसरण करता है।

यूक्लिड का प्रमाण पाँचवीं अभिधारणा का आवश्यक उपयोग करता है, हालाँकि, ज्यामिति के आधुनिक उपचार इसके बजाय प्लेफेयर के स्वयंसिद्ध का उपयोग करते हैं। Playfair के स्वयंसिद्ध को मानते हुए प्रस्ताव 29 को सिद्ध करने के लिए, एक तिर्यक रेखा को दो समानांतर रेखाओं को पार करने दें और मान लें कि वैकल्पिक आंतरिक कोण बराबर नहीं हैं। उस बिंदु से एक तीसरी रेखा खींचें जहां तिर्यक रेखा पहली रेखा को काटती है, लेकिन तिर्यक रेखा द्वारा दूसरी रेखा के साथ बनाए गए कोण के बराबर कोण के साथ। यह एक बिंदु के माध्यम से दो अलग-अलग रेखाएँ पैदा करता है, दोनों दूसरी रेखा के समानांतर, स्वयंसिद्ध के विपरीत।

उच्च आयामों में
उच्च आयामी स्थानों में, एक रेखा जो अलग-अलग बिंदुओं में रेखाओं के प्रत्येक सेट को प्रतिच्छेद करती है, वह रेखाओं के उस सेट का अनुप्रस्थ है। द्वि-आयामी (विमान) मामले के विपरीत, दो से अधिक पंक्तियों के सेट के लिए ट्रांसवर्सल मौजूद होने की गारंटी नहीं है।

यूक्लिडियन 3-स्पेस में, रेगुलस (ज्यामिति) तिरछी रेखाओं का एक सेट है, $R$, जैसे कि की प्रत्येक पंक्ति पर प्रत्येक बिंदु के माध्यम से $R$, का एक अनुप्रस्थ गुजरता है $R$ और के तिर्यक रेखा के प्रत्येक बिंदु के माध्यम से $R$ की एक रेखा गुजरती है $R$. एक रेगुलस के ट्रांसवर्सल का सेट $R$ भी एक रेगुलस है, जिसे विपरीत रेगुलस कहा जाता है, $R^{o}$. इस स्थान में, तीन परस्पर तिरछी रेखाओं को हमेशा एक रेगुलस तक बढ़ाया जा सकता है।