हेरोनियन त्रिकोण
ज्यामिति में, हेरोनियन त्रिभुज (या हेरोन त्रिकोण) एक त्रिभुज है जिसकी भुजाओं की लंबाई a, b, और c है और क्षेत्रफल A सभी पूर्णांक हैं।[1][2] हेरोनियन त्रिकोणों का नाम अलेक्जेंड्रिया के हेरॉन के नाम पर रखा गया है, जो हेरोन के सूत्र के संबंध पर आधारित है, जिसे हेरोन ने भुजाओं 13, 14, 15 और क्षेत्रफल 84 के उदाहरण त्रिकोण के साथ प्रदर्शित किया।[3]
हीरोन के सूत्र का अर्थ है कि हेरोनियन त्रिकोण डायोफैंटाइन समीकरण के बिल्कुल धनात्मक पूर्णांक समाधान हैं
- अर्थात्, यह किसी भी हेरोनियन त्रिभुज की भुजाओं की लंबाई और क्षेत्रफल समीकरण को संतुष्ट करते हैं, और समीकरण का कोई भी धनात्मक पूर्णांक हल एक हेरोनियन त्रिभुज का वर्णन करता है।[4]
यदि तीन भुजाओं की लंबाई पदशः सह-अभाज्य है, तो हेरोनियन त्रिभुज को अभाज्य कहा जाता है।
ऐसे त्रिभुज जिनकी भुजाओं की लंबाई और क्षेत्रफल सभी परिमेय संख्याएँ हैं (उपरोक्त समीकरण के धनात्मक परिमेय समाधान) को कभी-कभी हेरोनियन त्रिभुज या परिमेय त्रिभुज भी कहा जाता है;[5] इस लेख में, इन अधिक सामान्य त्रिभुजों को परिमेय हेरोनियन त्रिभुज कहा जाएगा। प्रत्येक (अभिन्न) हेरोनियन त्रिभुज एक परिमेय हेरोनियन त्रिभुज है। इसके विपरीत, प्रत्येक परिमेय हेरोनियन त्रिभुज ठीक एक अभाज्य हेरोनियन त्रिभुज के समान (ज्यामिति) होता है।
किसी भी परिमेय हेरोनियन त्रिकोण में, तीन ऊंचाई (त्रिकोण), परित्रिज्या, अंतः त्रिज्या और ब्राहात्रिज्या, और तीन कोणों की साइन और कोसाइन भी सभी परिमेय संख्याएं हैं।
अभाज्य त्रिभुजों में स्केलिंग
s के एक गुणक के साथ त्रिभुज को मापने में इसकी भुजाओं की लंबाई को s से गुणा करना समिलित है; यह क्षेत्रफल को से गुणा करता है और एक समानता (ज्यामिति) त्रिभुज का निर्माण करता है। एक परिमेय संख्या गुणनखंड द्वारा एक परिमेय हेरोनियन त्रिभुज को मापन करना एक और परिमेय हेरोनियन त्रिकोण पैदा करता है।
पार्श्व लंबाई के एक परिमेय हेरोनियन त्रिभुज को देखते हुए सोपानी गुणक एक परिमेय हेरोनियन त्रिभुज का निर्माण करें जैसे कि इसकी भुजा की लंबाई पदशः सह-अभाज्य संख्या हैं। नीचे यह सिद्ध किया गया है कि क्षेत्रफल A एक पूर्णांक है, और इस प्रकार त्रिभुज एक हेरोनियन त्रिभुज है। ऐसे त्रिभुज को प्राय: अभाज्य हेरोनियन त्रिभुज कहा जाता है।
सारांश में, परिमेय हेरोनियन त्रिभुजों के प्रत्येक समानता तुल्यता वर्ग में ठीक एक अभाज्य हेरोनियन त्रिभुज होता है। प्रमाण का एक उपोत्पाद यह है कि अभाज्य हेरोनियन त्रिभुज की भुजाओं में से एक एक सम पूर्णांक है।
प्रमाण: सिद्ध करना होगा कि, यदि एक परिमेय हेरोनियन त्रिभुज की भुजाओं की लम्बाई सह-अभाज्य पूर्णांक हैं, तो क्षेत्रफल A भी एक पूर्णांक है और ठीक एक भुजा की लंबाई सम संख्या है।
परिचय में दिए गए डायोफैंटाइन समीकरण तुरंत यह दर्शाता है कि एक पूर्णांक है। इसका वर्गमूल भी एक पूर्णांक है, क्योंकि पूर्णांक का वर्गमूल या तो एक पूर्णांक या एक अपरिमेय संख्या होता है।
यदि किसी एक भुजा की लंबाई सम है, तो समीकरण के दाहिने पक्ष के सभी गुणनखंड सम होते हैं, और, समीकरण को 16 से विभाजित करके हमे यह प्राप्त होता है कि और पूर्णांक हैं।
जैसा कि भुजाओं की लंबाई को सह-अभाज्य माना जाता है, एक स्थिति को छोड़ दिया जाता है जहां एक या तीन भुजाओं की लंबाई विषम होती है। मान लीजिए कि c विषम है, डायोफैंटाइन समीकरण के दाहिने हाथ को फिर से लिखा जा सकता है
और सम के साथ है। चूंकि एक विषम पूर्णांक का वर्ग सापेक्ष अंकगणित 4 के सर्वांगसम होता है, समीकरण का दाहिना पक्ष सापेक्ष 4 के अनुरूप होना चाहिए। इस प्रकार यह असंभव है, कि किसी के पास डायोफैंटिन समीकरण का समाधान है, क्योंकि पूर्णांक का वर्ग होना चाहिए, और पूर्णांक का वर्ग 0 या 1 सापेक्ष 4 के सर्वांगसम होता है।
उदाहरण
कोई भी पाइथागोरस त्रिभुज एक हेरोनियन त्रिभुज है। परिभाषा के अनुसार, ऐसे त्रिभुज की भुजाओं की लंबाई पूर्णांक होती है। ऐसे किसी त्रिभुज में, दो छोटी भुजाओं में से एक की लंबाई समान होती है, इसलिए क्षेत्रफल (इन दोनों भुजाओं का गुणनफल, दो से विभाजित) भी एक पूर्णांक होता है।
हेरोनियन त्रिभुजों के उदाहरण जो समकोण नहीं हैं, समद्विबाहु त्रिभुज हैं जो एक पाइथागोरस त्रिभुज और उसकी दर्पण छवि को समकोण की भुजाओं को जोड़कर प्राप्त किया जाता है। पायथागॉरियन त्रिक 3, 4, 5 से शुरू होकर यह दो हेरोनियन त्रिभुज देता है जिसकी भुजाओं की लंबाई (5, 5, 6) और (5, 5, 8) और क्षेत्रफल 12 है।
अधिक समान्यतः, दो पाइथागोरस त्रिक और सबसे बड़ी प्रविष्टियों c और e के साथ दिए गए हैं, भुजाओं की लंबाई और क्षेत्रफल वाला हेरोनियन त्रिभुज प्राप्त करने के लिए लंबाई की भुजाओं के साथ संगत त्रिभुजों को जोड़ा जा सकता हैं (आकृति देखें) (यह एक पूर्णांक है, क्योंकि पायथागॉरियन त्रिभुज का क्षेत्रफल पूर्णांक है)।
ऐसे हेरोनियन त्रिभुज हैं जिन्हें पायथागॉरियन त्रिभुजों में समिलित होने से प्राप्त नहीं किया जा सकता है। उदाहरण के लिए, भुजाओं की लंबाई और क्षेत्रफल 72 वाला हेरोनियन त्रिभुज, क्योंकि इसकी कोई भी ऊँचाई पूर्णांक नहीं है। ऐसे हेरोनियन त्रिभुज अविभाज्य कहलाते हैं {{{1}}}.[6] हालांकि, प्रत्येक हेरोनियन त्रिभुज को समकोण त्रिभुजों से परिमेय भुजाओं की लंबाई के साथ बनाया जा सकता है, और इस प्रकार यह एक विघटित हेरोनियन त्रिभुज के समान है। वास्तव में, त्रिभुज की कम से कम एक ऊँचाई त्रिभुज के अंदर होती है, और इसे दो समकोण त्रिभुजों में विभाजित करती है। इन त्रिभुजों के परिमेय भुजाएँ होती हैं, क्योंकि हेरोनियन त्रिभुज के कोणों की कोज्या और ज्या परिमेय संख्याएँ हैं, और, आकृति के अंकन के साथ, एक के पास है और जहाँ त्रिभुज का सबसे बायाँ कोण है।
परिमेयता गुण
एक हेरोनियन त्रिभुज से संबंधित कई मात्राएँ परिमेय संख्याएँ होती हैं। विशेष रूप से:
- एक हेरोनियन त्रिभुज के सभी शीर्ष परिमेय होते हैं।[7] इसे इस तथ्य से देखा जा सकता है कि एक त्रिभुज का क्षेत्रफल उस ओर से उसकी ऊंचाई के एक भुजा के गुना का आधा होता है, और एक हेरोनियन त्रिभुज में पूर्णांक भुजाएँ और क्षेत्रफल होता है। कुछ हेरोनियन त्रिकोणों में तीन गैर-पूर्णांक ऊंचाई होती है, उदाहरण के लिए क्षेत्र 252 के साथ (15, 34, 35) और क्षेत्रफल 72 के साथ (5, 29, 30)। कोई भी हेरोनियन त्रिकोण एक या अधिक गैर-पूर्णांक ऊंचाई के साथ हो सकता है। समानता (ज्यामिति) हेरोनियन त्रिकोण को तीन पूर्णांक ऊंचाई के साथ प्राप्त करने के लिए ऊंचाई के हर के कम से कम सामान्य गुणक के बराबर एक गुणनखंड द्वारा बढ़ाया जा सकता है।
- एक हेरोनियन त्रिभुज की सभी अंत्रिक भुजाएँ समद्विभाजक परिमेय होते हैं: किसी भी त्रिभुज के लिए ये निम्नलिखित हैं और जहाँ भुजाएँ a ≥ b ≥ c हैं और क्षेत्रफल A है;[8] एक हेरोनियन त्रिभुज में सभी a, b, c और A पूर्णांक हैं।
- एक हेरोनियन त्रिभुज के प्रत्येक आंतरिक कोण में एक परिमेय ज्या होती है। यह क्षेत्रफल सूत्र से निम्नानुसार है Area = (1/2)ab sin C, जिसमें क्षेत्रफल और भुजाएँ a और b पूर्णांक हैं, और समान रूप से अन्य आंतरिक कोणों के लिए भी।
- एक हेरोनियन त्रिभुज के प्रत्येक आंतरिक कोण में एक परिमेय कोसाइन होता है। यह कोसाइन के नियम से अनुसरण करता है, c2 = a2 + b2 − 2ab cos C, जिसमें भुजाएँ a, b, और c पूर्णांक हैं, और समान रूप से अन्य आंतरिक कोणों के लिए भी।
- चूंकि सभी हेरोनियन त्रिभुजों में सभी आंतरिक कोणों की ज्या और कोसाइन परिमेय होते हैं, इसका तात्पर्य है कि प्रत्येक आंतरिक कोण की स्पर्शरेखा, कर्ण, छेदक और कोसाइन या तो परिमेय या अनंत है।
- प्रत्येक आंतरिक कोण के आधे अंश में एक परिमेय स्पर्शरेखा होती है क्योंकि tan C/2 = sin C / (1 + cos C), और समान रूप से अन्य आंतरिक कोणों के लिए। इन आधे-कोण स्पर्शरेखा मूल्यों का ज्ञान एक अभाज्य हेरोनियन त्रिकोण (नीचे देखें) की भुजाओं की लंबाई को फिर से बनाने के लिए पर्याप्त है।
- किसी भी त्रिभुज के लिए, परिवृत्त के परिकेंद्र से देखे जाने पर एक भुजा द्वारा फैला हुआ कोण भुजा के विपरीत त्रिभुज के शीर्ष के आंतरिक कोण का दुगुना होता है। क्योंकि एक हेरोनियन त्रिभुज के प्रत्येक आंतरिक कोण के लिए अर्ध-कोण स्पर्शरेखा परिमेय है, यह इस प्रकार है कि एक हेरोनियन त्रिभुज के ऐसे प्रत्येक केंद्रीय कोण का चौथाई-कोण स्पर्शरेखा परिमेय है। (साथ ही, ब्रह्मगुप्त चतुर्भुज के केंद्रीय कोणों के लिए चौथाई-कोण स्पर्शरेखा परिमेय हैं, लेकिन यह एक अनसुलझी समस्या है कि क्या यह सभी रॉबिन्स पंचभुज के लिए सही है।) समान्यतः सभी चक्रीय बहुभुजों के लिए विपरीत सच है; यदि ऐसे सभी केंद्रीय कोणों में उनके चौथाई कोणों के लिए परिमेय स्पर्शरेखाएँ हैं, तो चक्रीय बहुभुज को एक साथ पूर्णांक भुजा लंबाई और पूर्णांक क्षेत्र तक बढ़ाया जा सकता है।
- ऐसे कोई हेरोनियन त्रिभुज नहीं हैं जिनके तीन आंतरिक कोण अंकगणितीय प्रगति बनाते हैं। ऐसा इसलिए है क्योंकि अंकगणितीय प्रगति में आंतरिक कोण वाले सभी समतल त्रिभुजों में 60° का एक आंतरिक कोण होना चाहिए, जिसमें परिमेय ज्या नहीं होती है।[9]
- हेरोनियन त्रिभुज में उत्कीर्ण किसी भी वर्ग में परिमेय भुजाएँ होती हैं: एक सामान्य त्रिभुज के लिए लंबाई a की भुजा पर त्रिभुज में अंकित आकृतियों की लंबाई होती है जहाँ A त्रिभुज का क्षेत्रफल है;[10] एक हेरोनियन त्रिभुज में, A और a दोनों पूर्णांक हैं।
- प्रत्येक हेरोनियन त्रिभुज में एक परिमेय अंतर्त्रिज्या (इसके उत्कीर्ण वृत्त की त्रिज्या) होती है: एक सामान्य त्रिभुज के लिए अंतःत्रिज्या आधे परिधि के क्षेत्रफल का अनुपात होता है, और ये दोनों एक हेरोनियन त्रिभुज में परिमेय होते हैं।
- प्रत्येक हेरोनियन त्रिभुज में एक परिमेय परित्रिज्या (इसके परिबद्ध वृत्त की त्रिज्या) होती है: एक सामान्य त्रिभुज के लिए परित्रिज्या क्षेत्रफल द्वारा विभाजित भुजाओं के गुणनफल के एक-चौथाई के बराबर होती है; एक हेरोनियन त्रिभुज में भुजाएँ और क्षेत्रफल पूर्णांक होते हैं।
- एक हेरोनियन त्रिभुज में केन्द्रक से प्रत्येक पक्ष की दूरी परिमेय है क्योंकि, सभी त्रिभुजों के लिए, यह दूरी क्षेत्रफल के दोगुने से भुजा की लंबाई के तीन गुना के अनुपात में होती है।[11] यह कहते हुए सामान्यीकृत किया जा सकता है कि हेरोनियन त्रिभुजों से जुड़े सभी केंद्र जिनके बेरिकेंट्रिक समन्वय निर्देशांक परिमेय अनुपात हैं, प्रत्येक पक्ष के लिए एक परिमेय दूरी है। इन केंद्रों में परिकेन्द्र, लंबकेन्द्र, नौ-बिंदु केंद्र, सिम्मेडियन बिंदु, गेर्गोन बिंदु और नागल बिंदु समिलित हैं।[12]
- प्रत्येक हेरोनियन त्रिभुज को एक इकाई-पक्षीय वर्ग जालक पर रखा जा सकता है, जिसमें प्रत्येक शीर्ष एक जालक बिंदु पर होता है।[13] एक उपप्रमेय के रूप में, प्रत्येक परिमेय हेरोनियन त्रिभुज को सभी परिमेय-मूल्यवान निर्देशांकों के साथ द्वि-आयामी कार्तीय समन्वय निर्देशांक में रखा जा सकता है।
भुजाओं की लंबाई के गुण
यहाँ हेरोनियन त्रिभुजों की भुजाओं की लंबाई के कुछ गुण हैं, जिनकी भुजाएँ हैं a, b, c और क्षेत्रफल A है।
- प्रत्येक अभाज्य हेरोनियन त्रिभुज हेरोनियन त्रिभुज में एक सम और दो विषम भुजाएँ होती हैं (देखें § Scaling to primitive triangles). इससे पता चलता है कि हेरोनियन त्रिभुज की एक या तीन भुजाएँ सम लंबाई की होती हैं,[14]: p.3 और यह कि अभाज्य हेरोनियन त्रिभुज की परिधि हमेशा एक सम संख्या होती है।[15]
- कोई समबाहु हेरोनियन त्रिभुज नहीं हैं, क्योंकि अभाज्य हेरोनियन त्रिभुज की एक सम भुजा लंबाई और दो विषम भुजा लंबाई होती है।[7]
- एक हेरोनियन त्रिभुज का क्षेत्रफल हमेशा 6 से विभाज्य होता है।[16][15]
- 1 या 2 भुजाओं वाली कोई हेरोनियन त्रिभुज नहीं हैं।[17][1] दिए गए के बराबर एक भुजा की लंबाई के साथ अभाज्य हेरोनियन त्रिभुजों की अनंत संख्या स्थित हैं, {{{1}}}.[1]
- एक हेरोनियन त्रिभुज का अर्धपरिमाप अभाज्य नहीं हो सकता (जैसे कि क्षेत्रफल का वर्ग है, और क्षेत्रफल एक पूर्णांक है, यदि s अभाज्य होगा, इसे दूसरे गुणनखंड को विभाजित करना चाहिए; यह असंभव है क्योंकि ये सभी गुणनखंड s से कम हैं).
- हेरोनियन त्रिकोण जिनमें कोई पूर्णांक ऊंचाई नहीं है (अविघटनीय और गैर-पाइथागोरस) की भुजाएँ जो सभी 4k+1 के अभाज्य द्वारा विभाजित है।.[6]हालाँकि विघटित हेरोनियन त्रिभुजों में दो भुजाएँ होनी चाहिए जो पाइथागोरस त्रिभुजों का कर्ण हैं। इसलिए सभी हेरोनियन त्रिभुज जो पाइथागोरस के नहीं हैं, उनकी कम से कम दो भुजाएँ होती हैं जो 4k+1 रूप की अभाज्य संख्याओं से विभाजित होती हैं. जो बचा है वह पायथागॉरियन त्रिभुज हैं। इसलिए, सभी हेरोनियन त्रिभुजों में कम से कम एक भुजा होती है जो 4k+1 के रूप की अभाज्य संख्याओं से विभाज्य होती है। अंत में यदि हेरोनियन त्रिभुज का केवल एक भुजा 4k+1 के रूप के अभाज्य संख्यों से विभाजित होती है, तो यह पाइथागोरस की भुजा के साथ कर्ण के रूप में होना चाहिए और कर्ण को 5 से विभाजित होना चाहिए।
- ऐसे कोई हेरोनियन त्रिभुज नहीं हैं जिनकी भुजाओं की लंबाई एक ज्यामितीय प्रगति बनाती है।[18]
- यदि किसी हेरोनियन त्रिभुज की किन्हीं दो भुजाओं (लेकिन तीन नहीं) में एक उभयनिष्ठ गुणनखंड है, तो वह गुणनखंड दो वर्गों का योग होना चाहिए।[19]
पैरामीट्रिजेशन
पैरामीट्रिक समीकरण या हेरोनियन त्रिभुजों के पैरामीट्रिजेशन में एक त्रिभुज की भुजाओं की लंबाई और क्षेत्रफल की अभिव्यक्ति होती है जैसे कि कुछ मापदंडों के फलन— समान्यतः बहुपद फलन - जैसे कि त्रिकोण हेरोनियन है अगर और केवल परिमाप कुछ बाधाओं को पूरा करते हैं—समान्यतः, धनात्मक पूर्णांक होने के लिए कुछ असमानताओं को संतुष्ट करते हैं। समान्यतः यह भी जरूरी है कि सभी हेरोनियन त्रिकोण परिमाप के कुछ मूल्यों के लिए मापन
प्राप्त किए जा सकते हैं, और ये मान अद्वितीय हैं, यदि त्रिकोण के भुजाओं पर एक आदेश निर्दिष्ट किया गया है।
इस तरह के पहले पैरामीट्रिजेशन की खोज ब्रह्मगुप्त (598-668 A.D.) ने की थी, जिन्होंने यह सिद्ध नहीं किया कि सभी हेरोनियन त्रिकोण पैरामीट्रिजेशन द्वारा उत्पन्न किए जा सकते हैं। 18वीं शताब्दी में, लियोनार्ड यूलर ने एक और पैरामीट्रिजेशन प्रदान किया और सिद्ध किया कि यह सभी हेरोनियन त्रिकोण उत्पन्न करता है। इन पैरामीट्रिजेशन का वर्णन अगले दो उपखंडों में किया गया है।
तीसरे उपखंड में, एक परिमेय पैरामीट्रिजेशन— जो पैरामीट्रिजेशन है जहां परिमाप धनात्मक परिमेय संख्याएं हैं— स्वाभाविक रूप से यह हेरोनियन त्रिभुजों के गुणों से प्राप्त होता है। ब्रह्मगुप्त और यूलर के पैरामीट्रिजेशन दोनों को इस परिमेय पैरामीट्रिजेशन से समाशोधन हर द्वारा पुनर्प्राप्त किया जा सकता है। यह एक प्रमाण प्रदान करता है कि ब्रह्मगुप्त और यूलर के पैरामीट्रिजेशन सभी हेरोनियन त्रिकोण उत्पन्न करते हैं।
ब्रह्मगुप्त का पैरामीट्रिक समीकरण
भारतीय गणितज्ञ ब्रह्मगुप्त (598-668 A.D.) ने हेरोनियन त्रिकोण बनाने के लिए निम्नलिखित पैरामीट्रिक समीकरणों की खोज की,[20] लेकिन यह सिद्ध नहीं किया कि हेरोनियन त्रिभुजों की प्रत्येक समरूपता (ज्यामिति) वर्ग को इस प्रकार प्राप्त किया जा सकता है।[citation needed]
तीन धनात्मक पूर्णांकों के लिए m, n और k जो कि सह-अभाज्य पूर्णांक हैं () और संतुष्ट (धनात्मक पक्ष की लंबाई की गारंटी के लिए) और (विशिष्टता के लिए):
जहाँ s अर्ध परिमाप है, A क्षेत्रफल है, और r अंतःत्रिज्या है।
परिणामी हेरोनियन त्रिकोण हमेशा अभाज्य नहीं होता है, और संबंधित अभाज्य त्रिकोण प्राप्त करने के लिए मापन की आवश्यकता हो सकती है। उदाहरण के लिए, माना m = 36, n = 4 और k = 3 एक त्रिकोण बनाता है a = 5220, b = 900 और c = 5400, जो (5, 29, 30) हेरोनियन त्रिभुज के समान है, जिसका अनुपातिक गुणक 180. है।
तथ्य यह है कि उत्पन्न त्रिभुज अभाज्य नहीं है, इस पैरामीट्रिजेशन का उपयोग सभी हेरोनियन त्रिकोणों को एक निश्चित सीमा से कम लंबाई के आकार के साथ उत्पन्न करने के लिए एक बाधा है क्योंकि की भविष्यवाणी नहीं की जा सकती।[20]
यूलर का पैरामीट्रिक समीकरण
लियोनार्ड यूलर द्वारा सभी हेरोनियन त्रिभुजों को उत्पन्न करने की निम्नलिखित विधि की खोज की गई थी,[21] जो ऐसे सभी त्रिभुजों को सिद्ध करने वाले पहले व्यक्ति थे।
चार धनात्मक पूर्णांकों के लिए m, n के लिए सह-अभाज्य और p, q के लिए सह-अभाज्य () संतुष्टि देने वाला (धनात्मक पक्ष की लंबाई की गारंटी के लिए):
जहाँ s अर्ध परिमाप है, A क्षेत्र है, और r अंतःत्रिज्या है।
यहां तक कि जब m, n, p, और q जोड़ीवार सहअभाज्य हैं, परिणामी हेरोनियन त्रिभुज अभाज्य नहीं हो सकता है। विशेष रूप से, अगर m, n, p, और q सभी विषम हैं, तीनों भुजाएँ सम हैं। तो यह भी संभव है a, b, और c के अतिरिक्त एक सामान्य विभाजक 2 है। उदाहरण के लिए, m = 2, n = 1, p = 7, और q = 4, के साथ हमे (a, b, c) = (130, 140, 150) प्राप्त होता है, जहां प्रत्येक भुजा की लंबाई का गुणक 10 है संबंधित अभाज्य त्रिक (13, 14, 15) है, जिसे m = 2, n = 1, p = 3, q = 2 से उत्पन्न त्रिक को दो से विभाजित करके भी प्राप्त किया जा सकता है, फिर b और c.का आदान-प्रदान किया जा सकता है।
आधा कोण स्पर्शरेखा पैरामीट्रिजेशन
माना कि त्रिभुज की भुजाओं की लंबाई है, मान लीजिए इन भुजाओं के विपरीत आंतरिक कोण बनें, और मान लें और आधा कोण स्पर्शरेखा हो। मान सभी धनात्मक और संतुष्ट है; यह "त्रिक स्पर्शरेखा पहचान" मूल त्रिकोण पहचान के आधे कोण स्पर्शरेखा संस्करण के रूप में लिखी गई है रेडियन (अर्थात, 90°), जैसा कि कोण योग सूत्रों का उपयोग करके सिद्ध किया जा सकता है। साइन्स सिद्धांत और कोसाइन सिद्धांत के द्वारा, सभी साइन्स और कोसाइन्स के परिमेय संख्याएँ हैं यदि त्रिभुज एक परिमेय हेरोनियन त्रिभुज है और इस प्रकार यह इस स्थिति में अनुसरण करता है कि अर्ध-कोण स्पर्शरेखा भी परिमेय हैं।
इसके विपरीत यदि धनात्मक परिमेय संख्याएँ हैं जैसे कि वे समान हेरोनियन त्रिभुजों के एक वर्ग के आंतरिक कोणों की अर्ध-कोण स्पर्शरेखाएँ हैं।[22] स्थिति को में नर्व्यवस्थित किया जा सकता है और प्रतिबंध के लिए की आवश्यकता है। इस प्रकार परिमेय हेरोनियन त्रिभुजों के समानता वर्गों और धनात्मक परिमेय संख्याओं के युग्मों जिनका गुणनफल 1 से कम है।
इस द्विभाजन को स्पष्ट करने के लिए, समानता वर्ग के एक विशिष्ट सदस्य के रूप में, एक इकाई-व्यास वृत्त में अंकित त्रिकोण को विपरीत कोणों की साइन के बराबर लंबाई के साथ चुन सकते हैं:[23]
जहाँ अर्ध परिमाप है, क्षेत्रफल है, अंतःत्रिज्या है, और ये सभी मान परिमेय हैं क्योंकि और परिमेय हैं।
एक (अभिन्न) हेरोनियन त्रिभुज प्राप्त करने के लिए, a, b, और c के हर को साफ किया चाहिए। इसे करने के बहुत सारे प्रकार हैं। अगर और के साथ (अलघुकरणीय भिन्न), और त्रिभुज को द्वारा बढ़ाया जाता है, इसका परिणाम यूलर का पैरामीट्रिजेशन है। अगर और के साथ (न्यूत्रिकोण भाजक), और त्रिकोण को द्वारा बढ़ाया गया है, परिणाम समान है लेकिन ब्रह्मगुप्त के पैरामीट्रिजेशन के समान नहीं है। अगर, इसके विपरीत, और जो निम्नतम सामान्य भाजक तक कम हो जाते हैं, अर्थात यदि और के साथ तब किसी को त्रिभुज को मापन करके ब्रह्मगुप्त का पैरामीट्रिजेशन मिलता है।
यह साबित करता है कि या तो पैरामीट्रिजेशन सभी हेरोनियन त्रिकोण उत्पन्न करता है।
अन्य परिणाम
Kurz (2008) ने हेरोनियन त्रिकोण उत्पन्न करने के लिए तेज़ कलन विधि प्राप्त की है।
अपरिमित रूप से कई अभाज्य और अविघटनीय गैर-पाइथागोरियन हेरोनियन त्रिभुज हैं, जो अंतःत्रिज्या के लिए पूर्णांक मानों के साथ और तीनों l अंतःत्रिज्या , सहित उत्पन्न किए जाते है [24]: Thm. 4
अपरिमित रूप से कई हेरोनियन त्रिकोण हैं जिन्हें एक जालक पर रखा जा सकता है जैसे कि सभी हेरोनियन त्रिकोणों के लिए न केवल जालक बिंदुओं पर भुजाओं के लिए, बल्कि इसके अतिरिक्त अंतःवृत्त और बहिर्वृत्त के केंद्र जालक बिंदुओं पर हैं।[24]: Thm. 5
कुछ प्रकार के हेरोनियन त्रिभुजों के पैरामीट्रिजेशन के लिए पूर्णांक त्रिभुज पूर्णांक त्रिभुज § हेरोनियन त्रिकोण भी देखे।
उदाहरण
अभाज्य पूर्णांक हेरोनियन त्रिकोणों की सूची, क्षेत्रफल द्वारा क्रमबद्ध और यदि यह समान है,
परिमाप के अनुसार, निम्न तालिका के अनुसार शुरू होता है।
अभाज्य का अर्थ है कि तीन भुजाओं की लंबाई का सबसे बड़ा सामान्य विभाजक 1 के बराबर है।
क्षेत्र | Perimeter | पार्श्व लंबाई b+d | पार्श्व लंबाई e | पार्श्व लंबाई c |
---|---|---|---|---|
6 | 12 | 5 | 4 | 3 |
12 | 16 | 6 | 5 | 5 |
12 | 18 | 8 | 5 | 5 |
24 | 32 | 15 | 13 | 4 |
30 | 30 | 13 | 12 | 5 |
36 | 36 | 17 | 10 | 9 |
36 | 54 | 26 | 25 | 3 |
42 | 42 | 20 | 15 | 7 |
60 | 36 | 13 | 13 | 10 |
60 | 40 | 17 | 15 | 8 |
60 | 50 | 24 | 13 | 13 |
60 | 60 | 29 | 25 | 6 |
66 | 44 | 20 | 13 | 11 |
72 | 64 | 30 | 29 | 5 |
84 | 42 | 15 | 14 | 13 |
84 | 48 | 21 | 17 | 10 |
84 | 56 | 25 | 24 | 7 |
84 | 72 | 35 | 29 | 8 |
90 | 54 | 25 | 17 | 12 |
90 | 108 | 53 | 51 | 4 |
114 | 76 | 37 | 20 | 19 |
120 | 50 | 17 | 17 | 16 |
120 | 64 | 30 | 17 | 17 |
120 | 80 | 39 | 25 | 16 |
126 | 54 | 21 | 20 | 13 |
126 | 84 | 41 | 28 | 15 |
126 | 108 | 52 | 51 | 5 |
132 | 66 | 30 | 25 | 11 |
156 | 78 | 37 | 26 | 15 |
156 | 104 | 51 | 40 | 13 |
168 | 64 | 25 | 25 | 14 |
168 | 84 | 39 | 35 | 10 |
168 | 98 | 48 | 25 | 25 |
180 | 80 | 37 | 30 | 13 |
180 | 90 | 41 | 40 | 9 |
198 | 132 | 65 | 55 | 12 |
204 | 68 | 26 | 25 | 17 |
210 | 70 | 29 | 21 | 20 |
210 | 70 | 28 | 25 | 17 |
210 | 84 | 39 | 28 | 17 |
210 | 84 | 37 | 35 | 12 |
210 | 140 | 68 | 65 | 7 |
210 | 300 | 149 | 148 | 3 |
216 | 162 | 80 | 73 | 9 |
234 | 108 | 52 | 41 | 15 |
240 | 90 | 40 | 37 | 13 |
252 | 84 | 35 | 34 | 15 |
252 | 98 | 45 | 40 | 13 |
252 | 144 | 70 | 65 | 9 |
264 | 96 | 44 | 37 | 15 |
264 | 132 | 65 | 34 | 33 |
270 | 108 | 52 | 29 | 27 |
288 | 162 | 80 | 65 | 17 |
300 | 150 | 74 | 51 | 25 |
300 | 250 | 123 | 122 | 5 |
306 | 108 | 51 | 37 | 20 |
330 | 100 | 44 | 39 | 17 |
330 | 110 | 52 | 33 | 25 |
330 | 132 | 61 | 60 | 11 |
330 | 220 | 109 | 100 | 11 |
336 | 98 | 41 | 40 | 17 |
336 | 112 | 53 | 35 | 24 |
336 | 128 | 61 | 52 | 15 |
336 | 392 | 195 | 193 | 4 |
360 | 90 | 36 | 29 | 25 |
360 | 100 | 41 | 41 | 18 |
360 | 162 | 80 | 41 | 41 |
390 | 156 | 75 | 68 | 13 |
396 | 176 | 87 | 55 | 34 |
396 | 198 | 97 | 90 | 11 |
396 | 242 | 120 | 109 | 13 |
अभाज्य हेरोनियन त्रिभुजों की सूची जिनकी भुजाएँ 6,000,000 से अधिक नहीं हैं, "आदिम हेरोनियन त्रिभुजों की सूची". Sascha Kurz, University of Bayreuth, Germany. Archived (PDF) from the original on May 2016. Retrieved 29 March 2016. {{cite web}}
: Check date values in: |archive-date=
(help) में पाई जा सकती है
पूर्ण वर्ग भुजाओं के साथ हेरोनियन त्रिकोण
पूर्ण वर्ग भुजाओं वाले हेरोनियन त्रिभुज पूर्ण घनाभ समस्या से संबंधित हैं। फरवरी 2021 तक, पूर्ण वर्ग भुजाओं वाले केवल दो अभाज्य हेरोनियन त्रिभुज ज्ञात हैं:
(1853², 4380², 4427², क्षेत्रफल=32918611718880), 2013 में प्रकाशित।[25]
(11789², 68104², 68595², क्षेत्रफल=284239560530875680), 2018 में प्रकाशित।[26]
समान त्रिभुज
एक आकृति को सम आकार कहा जाता है यदि उसका क्षेत्रफल उसके परिमाप के बराबर हो। वास्तव में पाँच समान हेरोनियन त्रिभुज हैं : भुजाओं की लंबाई वाले (5,12,13), (6,8,10), (6,25,29), (7,15,20), और (9,10) , 17),[27][28] हालांकि उनमें से केवल चार ही अभाज्य हैं।
लगभग-समबाहु हेरोनियन त्रिकोण
चूँकि परिमेय भुजाओं वाले एक समबाहु त्रिभुज का क्षेत्रफल एक अपरिमेय संख्या है, कोई भी समबाहु त्रिभुज हेरोनियन नहीं है। हालाँकि, समद्विबाहु हेरोनियन त्रिभुजों का एक क्रम जो "लगभग समबाहु" हैं, को समकोण त्रिभुजों के दोहराव से विकसित किया जा सकता है, जिसमें कर्ण पैरों में से एक से लगभग दोगुना लंबा होता है। इन लगभग-समबाहु त्रिभुजों के पहले कुछ उदाहरण निम्न तालिका में सूचीबद्ध हैं (sequence A102341 in the OEIS):
पार्श्व लंबाई | क्षेत्र | ||
---|---|---|---|
a | b=a | c | |
5 | 5 | 6 | 12 |
17 | 17 | 16 | 120 |
65 | 65 | 66 | 1848 |
241 | 241 | 240 | 25080 |
901 | 901 | 902 | 351780 |
3361 | 3361 | 3360 | 4890480 |
12545 | 12545 | 12546 | 68149872 |
46817 | 46817 | 46816 | 949077360 |
हेरोनियन त्रिभुजों का एक अनूठा क्रम है जो "लगभग समबाहु" हैं क्योंकि तीन भुजाएँ n − 1, n, n +1 के रूप में हैं। निरंतर भिन्नों के आधार पर इस समस्या के सभी समाधानों को उत्पन्न करने के लिए एक विधि का वर्णन 1864 में एडवर्ड कंपनी द्वारा किया गया था ,[29] और 1880 में रेनहोल्ड हॉपी ने समाधान के लिए एक बंद रूप अभिव्यक्ति दी।[30] इन लगभग-समबाहु त्रिभुजों के पहले कुछ उदाहरण निम्न तालिका में सूचीबद्ध हैं (sequence A003500 in the OEIS):
पार्श्व लंबाई | क्षेत्र | त्रिज्या | ||
---|---|---|---|---|
n − 1 | n | n + 1 | ||
3 | 4 | 5 | 6 | 1 |
13 | 14 | 15 | 84 | 4 |
51 | 52 | 53 | 1170 | 15 |
193 | 194 | 195 | 16296 | 56 |
723 | 724 | 725 | 226974 | 209 |
2701 | 2702 | 2703 | 3161340 | 780 |
10083 | 10084 | 10085 | 44031786 | 2911 |
37633 | 37634 | 37635 | 613283664 | 10864 |
n के बाद के मान पिछले मान को 4 से गुणा करके, फिर उससे पहले के मान को घटाकर (52 = 4 × 14 - 4, 194 = 4 × 52 - 14, आदि) द्वारा प्राप्त किए जा सकते है, इस प्रकार:
जहाँ t तालिका में किसी भी पंक्ति को दर्शाता है। यह एक लुकास क्रम है। वैकल्पिक रूप से, सूत्र धनात्मक पूर्णांक t के लिए सभी n उत्पन्न करता है। समतुल्य रूप से, माना A = क्षेत्रफल और y = अंतःत्रिज्या, फिर,
जहां {n, y} n2 − 12y2 = 4 के समाधान हैं। एक छोटा परिवर्तन n = 2x एक पारंपरिक पेल समीकरण x2 − 3y2 = 1 देता है, जिसके समाधान के लिए √3 निरंतर अंश विस्तार से प्राप्त किया जा सकता है।[31]
चर n के रूप का है, जहां k7, 97, 1351, 18817, … है। इस क्रम की संख्याओं में यह गुण है कि k क्रमागत पूर्णांकों में समाकल मानक विचलन होता है।[32]
यह भी देखें
- हेरोनियन टेट्राहेड्रॉन
- ब्रह्मगुप्त चतुर्भुज
- रॉबिन्स पेंटागन
- पूर्णांक त्रिभुज # हेरोनियन त्रिभुज
संदर्भ
- ↑ 1.0 1.1 1.2 Carlson, John R. (1970), "Determination of Heronian Triangles" (PDF), Fibonacci Quarterly, 8: 499–506
- ↑ Beauregard, Raymond A.; Suryanarayan, E. R. (January 1998), "The Brahmagupta Triangles" (PDF), College Mathematics Journal, 29 (1): 13–17, doi:10.2307/2687630, JSTOR 2687630
- ↑ Sastry, K. R. S. (2001). "Heron triangles: A Gergonne-Cevian-and-median perspective" (PDF). Forum Geometricorum. 1 (2001): 17–24.
- ↑ The sides and area of any triangle satisfy the Diophantine equation obtained by squaring both sides of Heron's formula; see Heron's formula § Proofs. Conversely, consider a solution of the equation where are all positive integers. It corresponds to a valid triangle if and only if the triangle inequality is satisfied, that is, if the three integers and are all positive. This is necessarily true in this case: if any of these sums were negative or zero, the other two would be positive and the right-hand side of the equation would thus be negative or zero and could not possibly equal the left-hand side which is positive.
- ↑ Weisstein, Eric W. "Heronian Triangle". MathWorld.
- ↑ 6.0 6.1 Yiu, Paul (2008), Heron triangles which cannot be decomposed into two integer right triangles (PDF), 41st Meeting of Florida Section of Mathematical Association of America
- ↑ 7.0 7.1 Somos, M. (December 2014). "तर्कसंगत त्रिकोण". Retrieved 2018-11-04.
- ↑ Mitchell, Douglas W. (2013), "Perpendicular Bisectors of Triangle Sides", Forum Geometricorum 13, 53−59: Theorem 2.
- ↑ Zelator, K., "Triangle Angles and Sides in Progression and the diophantine equation x2+3y2=z2", Cornell Univ. archive, 2008
- ↑ Bailey, Herbert, and DeTemple, Duane, "Squares inscribed in angles and triangles", Mathematics Magazine 71(4), 1998, 278–284.
- ↑ Clark Kimberling, "Trilinear distance inequalities for the symmedian point, the centroid, and other triangle centers", Forum Geometricorum, 10 (2010), 135−139. http://forumgeom.fau.edu/FG2010volume10/FG201015index.html
- ↑ Clark Kimberling's Encyclopedia of Triangle Centers "Encyclopedia of Triangle Centers". Archived from the original on 2012-04-19. Retrieved 2012-06-17.
- ↑ Yiu, P., "Heronian triangles are lattice triangles", American Mathematical Monthly 108 (2001), 261–263.
- ↑ Buchholz, R. H.; MacDougall, J. A. (2001). "तर्कसंगत पक्षों और क्षेत्रफल के साथ चक्रीय बहुभुज". CiteSeerX Penn State University: 3. CiteSeerX 10.1.1.169.6336.
{{cite journal}}
: Cite journal requires|journal=
(help) - ↑ 15.0 15.1 Friche, Jan (2 January 2002). "हेरोन सिम्पलिसेस और इंटीजर एंबेडिंग पर". Ernst-Moritz-Arndt Universät Greiswald Publication. arXiv:math/0112239.
{{cite journal}}
: Cite journal requires|journal=
(help) - ↑ Proof. One can suppose that the Heronian triangle is primitive. The right-hand side of the Diophantine equation can be rewritten as If an odd length is chosen for c, all squares are odd, and therefore of the form and the two differences are multiple of 8. So is multiple of 64, and A is even. For the divisibility by three, one chooses c as non-multiple of 3 (the triangle is supposed to be primitive). If one of and is not a multiple of 3, the corresponding factor is a nultiple of 3 (since the square of a non-multiple of 3 has the form ), and this implies that 3 is a divisor of Otherwise, 3 would divide both and and the right-hand side of the Diophantine would not be the square of as being congruent to minus times a square modulo 3. So this last case is impossible.
- ↑ Proof. Supposing the triangle inequality implies If this implies that and the condition that there is exactly one even side length cannot be fulfilled. If one has two even side lengths if So, and the Diophantine equation becomes which is impossible for two positive integers.
- ↑ Buchholz, R. H.; MacDougall, J. A. (1999). "अंकगणित या ज्यामितीय प्रगति में पक्षों के साथ बगुला चतुर्भुज". Bulletin of the Australian Mathematical Society. 59 (2): 263–269. doi:10.1017/s0004972700032883.
- ↑ Blichfeldt, H. F. (1896–1897). "परिमेय भुजाओं वाले त्रिभुज और परिमेय क्षेत्र वाले". Annals of Mathematics. 11 (1/6): 57–60. doi:10.2307/1967214. JSTOR 1967214.
- ↑ 20.0 20.1 Kurz, Sascha (2008). "On the generation of Heronian triangles". Serdica Journal of Computing. 2 (2): 181–196. arXiv:1401.6150. Bibcode:2014arXiv1401.6150K. MR 2473583..
- ↑ Dickson 1920, p. 193.
- ↑ Cheney, William Fitch, Jr. (1929). "हेरोनियन त्रिकोण" (PDF). American Mathematical Monthly. 36 (1): 22–28. doi:10.1080/00029890.1929.11986902.
{{cite journal}}
: CS1 maint: multiple names: authors list (link) - ↑ Kocik, Jerzy; Solecki, Andrzej (2009). "त्रिभुज को सुलझाना" (PDF). American Mathematical Monthly. 116 (3): 228–237. doi:10.1080/00029890.2009.11920932.
- ↑ 24.0 24.1 Zhou, Li, "Primitive Heronian Triangles With Integer Inradius and Exradii", Forum Geometricorum 18, 2018, 71-77. http://forumgeom.fau.edu/FG2018volume18/FG201811.pdf
- ↑ Stănică, Pantelimon; Sarkar, Santanu; Sen Gupta, Sourav; Maitra, Subhamoy; Kar, Nirupam (2013). "Counting Heron triangles with constraints". Integers. 13: Paper No. A3, 17pp. hdl:10945/38838. MR 3083465.
- ↑ "LISTSERV - NMBRTHRY Archives - LISTSERV.NODAK.EDU".
- ↑ Dickson 1920, p. 199.
- ↑ Markowitz, L. (1981), "Area = Perimeter", The Mathematics Teacher, 74 (3): 222–3, doi:10.5951/MT.74.3.0222
- ↑ Sang, Edward (1864), "On the theory of commensurables", Transactions of the Royal Society of Edinburgh, 23 (3): 721–760, doi:10.1017/s0080456800020019. See in particular p. 734.
- ↑ Gould, H. W. (February 1973), "A triangle with integral sides and area" (PDF), Fibonacci Quarterly, 11 (1): 27–39.
- ↑ Richardson, William H. (2007), Super-Heronian Triangles
- ↑ Online Encyclopedia of Integer Sequences, OEIS: A011943.
अग्रिम पठन
- Carmichael, Robert Daniel (1915). "I. Introduction. Rational Triangles. Method of Infinite Descent". Diophantine Analysis. Wiley. pp. 1–23.
- Dickson, Leonard Eugene (1920). "V. Triangles, Quadrilaterals, and Tetrahedra with Rational Sides". History of the Theory of Numbers, Volume II: Diophantine Analysis. Carnegie Institution of Washington. pp. 191–224.
बाहरी संबंध
- Weisstein, Eric W. "हेरोनियन त्रिकोण". MathWorld.
- Online Encyclopedia of Integer Sequences Heronian
- S. sh. Kozhegel'dinov (1994), "On fundamental Heronian triangles", Math. Notes, 55 (2): 151–6, doi:10.1007/BF02113294, S2CID 115233024