हेरोनियन त्रिकोण: Difference between revisions

From Vigyanwiki
mNo edit summary
mNo edit summary
Line 11: Line 11:
किसी भी परिमेय हेरोनियन त्रिकोण में, तीन [[ऊंचाई (त्रिकोण)]], परित्रिज्या, अंतः त्रिज्या और ब्राहात्रिज्या, और तीन कोणों की [[साइन और कोसाइन]] भी सभी परिमेय संख्याएं हैं।
किसी भी परिमेय हेरोनियन त्रिकोण में, तीन [[ऊंचाई (त्रिकोण)]], परित्रिज्या, अंतः त्रिज्या और ब्राहात्रिज्या, और तीन कोणों की [[साइन और कोसाइन]] भी सभी परिमेय संख्याएं हैं।


== आदिम त्रिभुजों में स्केलिंग ==
== अभाज्य त्रिभुजों में स्केलिंग ==
[[स्केलिंग (ज्यामिति)]] एक त्रिकोण के एक कारक के साथ {{mvar|s}} में इसकी पार्श्व लंबाई को गुणा करना शामिल है {{mvar|s}}; यह क्षेत्र को गुणा करता है <math>s^2</math> और एक [[समानता (ज्यामिति)]] त्रिभुज का निर्माण करता है। एक तर्कसंगत संख्या कारक द्वारा एक तर्कसंगत हेरोनियन त्रिभुज को स्केल करना एक और तर्कसंगत हेरोनियन त्रिकोण पैदा करता है।
{{mvar|s}} के एक गुणक के साथ त्रिभुज को मापने में इसकी भुजाओं की लंबाई को {{mvar|s}} से गुणा करना समिलित है; यह क्षेत्रफल को <math>s^2</math> से गुणा करता है और एक [[समानता (ज्यामिति)]] त्रिभुज का निर्माण करता है। एक परिमेय संख्या गुणनखंड द्वारा एक परिमेय हेरोनियन त्रिभुज को मापन करना एक और परिमेय हेरोनियन त्रिकोण पैदा करता है।


पार्श्व लंबाई के एक परिमेय हेरोनियन त्रिभुज को देखते हुए <math display=inline>\frac pd, \frac qd,\frac rd,</math> पैमाना कारक <math display=inline>\frac d{\gcd(p,q,r)}</math> एक परिमेय हेरोनियन त्रिभुज का निर्माण करें जैसे कि इसकी भुजा की लंबाई <math display=inline>a, b,c</math> सेटवार [[कोप्राइम संख्या]] हैं। क्षेत्र के नीचे सिद्ध होता है {{mvar|A}} एक पूर्णांक है, और इस प्रकार त्रिभुज एक हेरोनियन त्रिभुज है। ऐसे त्रिभुज को प्राय: आदिम हेरोनियन त्रिभुज कहा जाता है।
पार्श्व लंबाई के एक परिमेय हेरोनियन त्रिभुज को देखते हुए <math display=inline>\frac pd, \frac qd,\frac rd,</math> सोपानी गुणक <math display=inline>\frac d{\gcd(p,q,r)}</math> एक परिमेय हेरोनियन त्रिभुज का निर्माण करें जैसे कि इसकी भुजा की लंबाई <math display=inline>a, b,c</math> पदशः [[कोप्राइम संख्या|सह-अभाज्य संख्या]] हैं। नीचे यह सिद्ध किया गया है कि क्षेत्रफल {{mvar|A}} एक पूर्णांक है, और इस प्रकार त्रिभुज एक हेरोनियन त्रिभुज है। ऐसे त्रिभुज को प्राय: अभाज्य हेरोनियन त्रिभुज कहा जाता है।


सारांश में, परिमेय हेरोनियन त्रिभुजों के प्रत्येक समानता [[तुल्यता वर्ग]] में ठीक एक आदिम हेरोनियन त्रिभुज होता है। प्रमाण का एक उपोत्पाद यह है कि आदिम हेरोनियन त्रिभुज की भुजाओं में से एक एक सम पूर्णांक है।
सारांश में, परिमेय हेरोनियन त्रिभुजों के प्रत्येक समानता [[तुल्यता वर्ग]] में ठीक एक अभाज्य हेरोनियन त्रिभुज होता है। प्रमाण का एक उपोत्पाद यह है कि अभाज्य हेरोनियन त्रिभुज की भुजाओं में से एक एक सम पूर्णांक है।


उपपत्ति: सिद्ध करना होगा कि, यदि भुजा की लम्बाई है <math display=inline>a, b,c</math> एक परिमेय हेरोनियन त्रिभुज के कोप्राइम पूर्णांक हैं, फिर क्षेत्रफल {{mvar|A}} भी एक पूर्णांक है और ठीक एक भुजा की लंबाई सम है।
प्रमाण: सिद्ध करना होगा कि, यदि एक परिमेय हेरोनियन त्रिभुज की भुजाओं की लम्बाई <math display=inline>a, b,c</math> सह-अभाज्य पूर्णांक हैं, तो क्षेत्रफल {{mvar|A}} भी एक पूर्णांक है और ठीक एक भुजा की लंबाई सम संख्या है।


परिचय में दिए गए डायोफैंटाइन समीकरण तुरंत यह दर्शाता है <math>16A^2</math> एक पूर्णांक है। इसका वर्गमूल <math>4A</math> एक पूर्णांक भी है, क्योंकि एक पूर्णांक का वर्गमूल या तो एक पूर्णांक या एक [[अपरिमेय संख्या]] है।
परिचय में दिए गए डायोफैंटाइन समीकरण तुरंत यह दर्शाता है कि <math>16A^2</math> एक पूर्णांक है। इसका वर्गमूल <math>4A</math> भी एक पूर्णांक है, क्योंकि पूर्णांक का वर्गमूल या तो एक पूर्णांक या एक [[अपरिमेय संख्या]] होता है।


यदि किसी एक भुजा की लंबाई सम है, तो समीकरण के दाहिने पक्ष के सभी गुणनखंड सम होते हैं, और, समीकरण को इससे विभाजित करके {{math|16}}, वह मिलता है <math>A^2</math> और <math>A</math> पूर्णांक हैं।
यदि किसी एक भुजा की लंबाई सम है, तो समीकरण के दाहिने पक्ष के सभी गुणनखंड सम होते हैं, और, समीकरण को {{math|16}} से विभाजित करके हमे यह प्राप्त होता है कि <math>A^2</math> और <math>A</math> पूर्णांक हैं।


जैसा कि साइड की लंबाई को कोप्राइम माना जाता है, एक मामले को छोड़ दिया जाता है जहां एक या तीन साइड की लंबाई विषम होती है। माना जा रहा है कि {{mvar|c}} विषम है, डायोफैंटाइन समीकरण के दाहिने हाथ को फिर से लिखा जा सकता है
जैसा कि भुजाओं की लंबाई को सह-अभाज्य माना जाता है, एक स्थिति को छोड़ दिया जाता है जहां एक या तीन भुजाओं की लंबाई विषम होती है। मान लीजिए कि {{mvar|c}} विषम है, डायोफैंटाइन समीकरण के दाहिने हाथ को फिर से लिखा जा सकता है
:<math>((a+b)^2-c^2)(c^2-(a-b)^2),</math>
:<math>((a+b)^2-c^2)(c^2-(a-b)^2),</math>
साथ <math>a+b</math> और <math>a-b</math> यहां तक ​​की। के रूप में एक विषम पूर्णांक का वर्ग [[मॉड्यूलर अंकगणित]]ीय है <math>1</math> मापांक {{math|4}}, समीकरण का दाहिना पक्ष सर्वांगसम होना चाहिए <math>-1</math> मापांक {{math|4}}. इस प्रकार यह असंभव है, कि किसी के पास डायोफैंटिन समीकरण का समाधान है, क्योंकि <math>16A^2</math> पूर्णांक का वर्ग होना चाहिए, और पूर्णांक का वर्ग सर्वांगसम होता है {{math|0}} या {{math|1}} मापांक {{math|4}}.
<math>a+b</math> और <math>a-b</math> सम के साथ। चूंकि एक विषम पूर्णांक का वर्ग <math>1</math>सापेक्ष अंकगणित {{math|4}} के सर्वांगसम होता है, समीकरण का दाहिना पक्ष <math>-1</math> सापेक्ष {{math|4}} के अनुरूप होना चाहिए। इस प्रकार यह असंभव है, कि किसी के पास डायोफैंटिन समीकरण का समाधान है, क्योंकि <math>16A^2</math> पूर्णांक का वर्ग होना चाहिए, और पूर्णांक का वर्ग {{math|0}} या {{math|1}} सापेक्ष {{math|4}} के सर्वांगसम होता है।


== उदाहरण ==
== उदाहरण ==
Line 35: Line 35:
अधिक आम तौर पर, दो पाइथागोरस त्रिक दिए गए हैं <math>(a,b,c)</math> और <math>(a,d,e)</math> सबसे बड़ी प्रविष्टियों के साथ {{mvar|c}} और {{mvar|e}}, लंबाई की भुजाओं के साथ संगत त्रिभुजों को जोड़ा जा सकता है {{mvar|a}} (आकृति देखें) पार्श्व लंबाई के साथ एक हेरोनियन त्रिभुज प्राप्त करने के लिए <math>c,e,b+d</math> और क्षेत्र <math display=inline>\tfrac12a(b+d)</math> (यह एक पूर्णांक है, क्योंकि पायथागॉरियन त्रिभुज का क्षेत्रफल एक पूर्णांक है)।
अधिक आम तौर पर, दो पाइथागोरस त्रिक दिए गए हैं <math>(a,b,c)</math> और <math>(a,d,e)</math> सबसे बड़ी प्रविष्टियों के साथ {{mvar|c}} और {{mvar|e}}, लंबाई की भुजाओं के साथ संगत त्रिभुजों को जोड़ा जा सकता है {{mvar|a}} (आकृति देखें) पार्श्व लंबाई के साथ एक हेरोनियन त्रिभुज प्राप्त करने के लिए <math>c,e,b+d</math> और क्षेत्र <math display=inline>\tfrac12a(b+d)</math> (यह एक पूर्णांक है, क्योंकि पायथागॉरियन त्रिभुज का क्षेत्रफल एक पूर्णांक है)।


ऐसे हेरोनियन त्रिभुज हैं जिन्हें पायथागॉरियन त्रिभुजों में शामिल होने से प्राप्त नहीं किया जा सकता है। उदाहरण के लिए, भुजाओं की लंबाई का हेरोनियन त्रिभुज <math>5, 29, 30</math> और क्षेत्रफल 72, क्योंकि इसकी कोई भी ऊँचाई पूर्णांक नहीं है। ऐसे हेरोनियन त्रिभुज कहलाते हैं {{Em|indecomposable}}.<ref name=Yiu>{{citation |first=Paul |last=Yiu |title=Heron triangles which cannot be decomposed into two integer right triangles |url=http://math.fau.edu/yiu/Southern080216.pdf |year=2008 |publisher=41st Meeting of Florida Section of Mathematical Association of America }}</ref> हालांकि, प्रत्येक हेरोनियन त्रिभुज को समकोण त्रिभुजों से तर्कसंगत संख्या पक्ष की लंबाई के साथ बनाया जा सकता है, और इस प्रकार यह एक विघटित हेरोनियन त्रिभुज के समान है। वास्तव में, त्रिभुज की कम से कम एक ऊँचाई त्रिभुज के अंदर होती है, और इसे दो समकोण त्रिभुजों में विभाजित करती है। इन त्रिभुजों के परिमेय पक्ष होते हैं, क्योंकि हेरोनियन त्रिभुज के कोणों की कोज्या और ज्या परिमेय संख्याएँ हैं, और, आकृति के अंकन के साथ, एक के पास है <math>a=c\sin \alpha</math> और <math>b=c\cos\alpha,</math> कहाँ <math>\alpha</math> त्रिभुज का सबसे बायाँ कोण है।
ऐसे हेरोनियन त्रिभुज हैं जिन्हें पायथागॉरियन त्रिभुजों में शामिल होने से प्राप्त नहीं किया जा सकता है। उदाहरण के लिए, भुजाओं की लंबाई का हेरोनियन त्रिभुज <math>5, 29, 30</math> और क्षेत्रफल 72, क्योंकि इसकी कोई भी ऊँचाई पूर्णांक नहीं है। ऐसे हेरोनियन त्रिभुज कहलाते हैं {{Em|indecomposable}}.<ref name=Yiu>{{citation |first=Paul |last=Yiu |title=Heron triangles which cannot be decomposed into two integer right triangles |url=http://math.fau.edu/yiu/Southern080216.pdf |year=2008 |publisher=41st Meeting of Florida Section of Mathematical Association of America }}</ref> हालांकि, प्रत्येक हेरोनियन त्रिभुज को समकोण त्रिभुजों से परिमेय संख्या पक्ष की लंबाई के साथ बनाया जा सकता है, और इस प्रकार यह एक विघटित हेरोनियन त्रिभुज के समान है। वास्तव में, त्रिभुज की कम से कम एक ऊँचाई त्रिभुज के अंदर होती है, और इसे दो समकोण त्रिभुजों में विभाजित करती है। इन त्रिभुजों के परिमेय पक्ष होते हैं, क्योंकि हेरोनियन त्रिभुज के कोणों की कोज्या और ज्या परिमेय संख्याएँ हैं, और, आकृति के अंकन के साथ, एक के पास है <math>a=c\sin \alpha</math> और <math>b=c\cos\alpha,</math> कहाँ <math>\alpha</math> त्रिभुज का सबसे बायाँ कोण है।


== तर्कसंगतता गुण ==
== तर्कसंगतता गुण ==
Line 41: Line 41:
एक हेरोनियन त्रिभुज से संबंधित कई राशियाँ परिमेय संख्याएँ होती हैं। विशेष रूप से:
एक हेरोनियन त्रिभुज से संबंधित कई राशियाँ परिमेय संख्याएँ होती हैं। विशेष रूप से:


*एक हेरोनियन त्रिभुज के सभी शीर्ष परिमेय होते हैं।<ref name=Somos>{{cite web|last=Somos|first=M.|author-link=Michael Somos|title=तर्कसंगत त्रिकोण|url=http://grail.eecs.csuohio.edu/~somos/rattri.html|date=December 2014|access-date=2018-11-04}}</ref> इसे इस तथ्य से देखा जा सकता है कि एक त्रिभुज का क्षेत्रफल उस ओर से उसकी ऊंचाई के एक भुजा के गुना का आधा होता है, और एक हेरोनियन त्रिभुज में पूर्णांक भुजाएँ और क्षेत्रफल होता है। कुछ हेरोनियन त्रिकोणों में तीन गैर-पूर्णांक ऊंचाई होती है, उदाहरण के लिए क्षेत्र 252 के साथ तीव्र (15, 34, 35) और क्षेत्रफल 72 के साथ अधिक (5, 29, 30)। कोई भी हेरोनियन त्रिकोण एक या अधिक गैर-पूर्णांक ऊंचाई के साथ हो सकता है। समानता (ज्यामिति) हेरोनियन त्रिकोण को तीन पूर्णांक ऊंचाई के साथ प्राप्त करने के लिए ऊंचाई के हर के कम से कम सामान्य गुणक के बराबर एक कारक द्वारा बढ़ाया जा सकता है।
*एक हेरोनियन त्रिभुज के सभी शीर्ष परिमेय होते हैं।<ref name=Somos>{{cite web|last=Somos|first=M.|author-link=Michael Somos|title=तर्कसंगत त्रिकोण|url=http://grail.eecs.csuohio.edu/~somos/rattri.html|date=December 2014|access-date=2018-11-04}}</ref> इसे इस तथ्य से देखा जा सकता है कि एक त्रिभुज का क्षेत्रफल उस ओर से उसकी ऊंचाई के एक भुजा के गुना का आधा होता है, और एक हेरोनियन त्रिभुज में पूर्णांक भुजाएँ और क्षेत्रफल होता है। कुछ हेरोनियन त्रिकोणों में तीन गैर-पूर्णांक ऊंचाई होती है, उदाहरण के लिए क्षेत्र 252 के साथ तीव्र (15, 34, 35) और क्षेत्रफल 72 के साथ अधिक (5, 29, 30)। कोई भी हेरोनियन त्रिकोण एक या अधिक गैर-पूर्णांक ऊंचाई के साथ हो सकता है। समानता (ज्यामिति) हेरोनियन त्रिकोण को तीन पूर्णांक ऊंचाई के साथ प्राप्त करने के लिए ऊंचाई के हर के कम से कम सामान्य गुणक के बराबर एक गुणनखंड द्वारा बढ़ाया जा सकता है।
*एक हेरोनियन त्रिभुज के सभी समद्विभाजक#लम्ब समद्विभाजक परिमेय होते हैं: किसी भी त्रिभुज के लिए ये निम्नलिखित हैं <math>p_a=\tfrac{2aA}{a^2+b^2-c^2},</math> <math>p_b=\tfrac{2bA}{a^2+b^2-c^2},</math> और <math>p_c=\tfrac{2cA}{a^2-b^2+c^2},</math> जहाँ भुजाएँ a ≥ b ≥ c हैं और क्षेत्रफल A है;<ref>Mitchell, Douglas W. (2013), "Perpendicular Bisectors of Triangle Sides", ''Forum Geometricorum'' 13, 53−59: Theorem 2.</ref> एक हेरोनियन त्रिभुज में सभी a, b, c और A पूर्णांक हैं।
*एक हेरोनियन त्रिभुज के सभी समद्विभाजक#लम्ब समद्विभाजक परिमेय होते हैं: किसी भी त्रिभुज के लिए ये निम्नलिखित हैं <math>p_a=\tfrac{2aA}{a^2+b^2-c^2},</math> <math>p_b=\tfrac{2bA}{a^2+b^2-c^2},</math> और <math>p_c=\tfrac{2cA}{a^2-b^2+c^2},</math> जहाँ भुजाएँ a ≥ b ≥ c हैं और क्षेत्रफल A है;<ref>Mitchell, Douglas W. (2013), "Perpendicular Bisectors of Triangle Sides", ''Forum Geometricorum'' 13, 53−59: Theorem 2.</ref> एक हेरोनियन त्रिभुज में सभी a, b, c और A पूर्णांक हैं।
*एक हेरोनियन त्रिभुज के प्रत्येक [[आंतरिक कोण]] में एक परिमेय ज्या होती है। यह क्षेत्र सूत्र से निम्नानुसार है {{math|1=''Area'' = (1/2)''ab'' sin ''C''}}, जिसमें क्षेत्रफल और भुजाएँ a और b पूर्णांक हैं, और समान रूप से अन्य आंतरिक कोणों के लिए।
*एक हेरोनियन त्रिभुज के प्रत्येक [[आंतरिक कोण]] में एक परिमेय ज्या होती है। यह क्षेत्र सूत्र से निम्नानुसार है {{math|1=''Area'' = (1/2)''ab'' sin ''C''}}, जिसमें क्षेत्रफल और भुजाएँ a और b पूर्णांक हैं, और समान रूप से अन्य आंतरिक कोणों के लिए।
*एक हेरोनियन त्रिभुज के प्रत्येक आंतरिक कोण में एक परिमेय कोसाइन होता है। यह कोसाइन के नियम से अनुसरण करता है, {{math|1=''c''<sup>2</sup> = ''a''<sup>2</sup> + ''b''<sup>2</sup> − 2''ab'' cos ''C''}}, जिसमें भुजाएँ a, b, और c पूर्णांक हैं, और समान रूप से अन्य आंतरिक कोणों के लिए।
*एक हेरोनियन त्रिभुज के प्रत्येक आंतरिक कोण में एक परिमेय कोसाइन होता है। यह कोसाइन के नियम से अनुसरण करता है, {{math|1=''c''<sup>2</sup> = ''a''<sup>2</sup> + ''b''<sup>2</sup> − 2''ab'' cos ''C''}}, जिसमें भुजाएँ a, b, और c पूर्णांक हैं, और समान रूप से अन्य आंतरिक कोणों के लिए।
*चूंकि सभी हेरोनियन त्रिभुजों में सभी आंतरिक कोणों की ज्या और कोसाइन परिमेय होते हैं, इसका तात्पर्य है कि प्रत्येक आंतरिक कोण की स्पर्शरेखा, कोटिस्पर्श, छेदक और व्युत्क्रमज्या या तो तर्कसंगत या अनंत है।
*चूंकि सभी हेरोनियन त्रिभुजों में सभी आंतरिक कोणों की ज्या और कोसाइन परिमेय होते हैं, इसका तात्पर्य है कि प्रत्येक आंतरिक कोण की स्पर्शरेखा, कोटिस्पर्श, छेदक और व्युत्क्रमज्या या तो परिमेय या अनंत है।
* प्रत्येक आंतरिक कोण के आधे हिस्से में एक परिमेय स्पर्शरेखा होती है क्योंकि {{math|1=tan ''C''/2 = sin ''C'' / (1 + cos ''C'')}}, और समान रूप से अन्य आंतरिक कोणों के लिए। इन आधे-कोण स्पर्शरेखा मूल्यों का ज्ञान एक आदिम हेरोनियन त्रिकोण (हेरोनियन त्रिकोण # अर्ध-कोण स्पर्शरेखा से सभी हेरोनियन त्रिकोण) की भुजाओं की लंबाई को फिर से बनाने के लिए पर्याप्त है।
* प्रत्येक आंतरिक कोण के आधे हिस्से में एक परिमेय स्पर्शरेखा होती है क्योंकि {{math|1=tan ''C''/2 = sin ''C'' / (1 + cos ''C'')}}, और समान रूप से अन्य आंतरिक कोणों के लिए। इन आधे-कोण स्पर्शरेखा मूल्यों का ज्ञान एक अभाज्य हेरोनियन त्रिकोण (हेरोनियन त्रिकोण # अर्ध-कोण स्पर्शरेखा से सभी हेरोनियन त्रिकोण) की भुजाओं की लंबाई को फिर से बनाने के लिए पर्याप्त है।
*किसी भी त्रिभुज के लिए, [[परिवृत्त]] के परिकेंद्र से देखे जाने पर एक भुजा द्वारा फैला हुआ कोण भुजा के विपरीत त्रिभुज के शीर्ष के आंतरिक कोण का दुगुना होता है। क्योंकि एक हेरोनियन त्रिभुज के प्रत्येक आंतरिक कोण के लिए अर्ध-कोण स्पर्शरेखा परिमेय है, यह इस प्रकार है कि एक हेरोनियन त्रिभुज के ऐसे प्रत्येक केंद्रीय कोण का चौथाई-कोण स्पर्शरेखा परिमेय है। (साथ ही, [[ब्रह्मगुप्त चतुर्भुज]] के केंद्रीय कोणों के लिए चौथाई-कोण स्पर्शरेखा तर्कसंगत हैं, लेकिन यह एक अनसुलझी समस्या है कि क्या यह सभी [[रॉबिन्स पेंटागन]] के लिए सही है।) आम तौर पर सभी [[चक्रीय बहुभुज]]ों के लिए रिवर्स सच है; यदि ऐसे सभी केंद्रीय कोणों में उनके चौथाई कोणों के लिए तर्कसंगत स्पर्शरेखाएँ हैं, तो चक्रीय बहुभुज को एक साथ पूर्णांक भुजा लंबाई और पूर्णांक क्षेत्र तक बढ़ाया जा सकता है।
*किसी भी त्रिभुज के लिए, [[परिवृत्त]] के परिकेंद्र से देखे जाने पर एक भुजा द्वारा फैला हुआ कोण भुजा के विपरीत त्रिभुज के शीर्ष के आंतरिक कोण का दुगुना होता है। क्योंकि एक हेरोनियन त्रिभुज के प्रत्येक आंतरिक कोण के लिए अर्ध-कोण स्पर्शरेखा परिमेय है, यह इस प्रकार है कि एक हेरोनियन त्रिभुज के ऐसे प्रत्येक केंद्रीय कोण का चौथाई-कोण स्पर्शरेखा परिमेय है। (साथ ही, [[ब्रह्मगुप्त चतुर्भुज]] के केंद्रीय कोणों के लिए चौथाई-कोण स्पर्शरेखा परिमेय हैं, लेकिन यह एक अनसुलझी समस्या है कि क्या यह सभी [[रॉबिन्स पेंटागन]] के लिए सही है।) आम तौर पर सभी [[चक्रीय बहुभुज]]ों के लिए रिवर्स सच है; यदि ऐसे सभी केंद्रीय कोणों में उनके चौथाई कोणों के लिए परिमेय स्पर्शरेखाएँ हैं, तो चक्रीय बहुभुज को एक साथ पूर्णांक भुजा लंबाई और पूर्णांक क्षेत्र तक बढ़ाया जा सकता है।
*ऐसे कोई हेरोनियन त्रिभुज नहीं हैं जिनके तीन आंतरिक कोण अंकगणितीय प्रगति बनाते हैं। ऐसा इसलिए है क्योंकि अंकगणितीय प्रगति में आंतरिक कोण वाले सभी समतल त्रिभुजों में 60° का एक आंतरिक कोण होना चाहिए, जिसमें परिमेय ज्या नहीं होती है।<ref name=Zelator>[https://arxiv.org/ftp/arxiv/papers/0803/0803.3778.pdf Zelator, K., "Triangle Angles and Sides in Progression and the diophantine equation x<sup>2</sup>+3y<sup>2</sup>=z<sup>2</sup>", ''Cornell Univ. archive'', 2008]</ref>
*ऐसे कोई हेरोनियन त्रिभुज नहीं हैं जिनके तीन आंतरिक कोण अंकगणितीय प्रगति बनाते हैं। ऐसा इसलिए है क्योंकि अंकगणितीय प्रगति में आंतरिक कोण वाले सभी समतल त्रिभुजों में 60° का एक आंतरिक कोण होना चाहिए, जिसमें परिमेय ज्या नहीं होती है।<ref name=Zelator>[https://arxiv.org/ftp/arxiv/papers/0803/0803.3778.pdf Zelator, K., "Triangle Angles and Sides in Progression and the diophantine equation x<sup>2</sup>+3y<sup>2</sup>=z<sup>2</sup>", ''Cornell Univ. archive'', 2008]</ref>
*हेरोनियन त्रिभुज में उत्कीर्ण किसी भी वर्ग में परिमेय भुजाएँ होती हैं: एक सामान्य त्रिभुज के लिए त्रिभुज#लंबाई a की भुजा पर त्रिभुज में अंकित आकृतियों की लंबाई होती है <math>\tfrac{2Aa}{a^2+2A}</math> जहाँ A त्रिभुज का क्षेत्रफल है;<ref>Bailey, Herbert, and DeTemple, Duane, "Squares inscribed in angles and triangles", ''[[Mathematics Magazine]]'' 71(4), 1998, 278–284.</ref> एक हेरोनियन त्रिभुज में, A और a दोनों पूर्णांक हैं।
*हेरोनियन त्रिभुज में उत्कीर्ण किसी भी वर्ग में परिमेय भुजाएँ होती हैं: एक सामान्य त्रिभुज के लिए त्रिभुज#लंबाई a की भुजा पर त्रिभुज में अंकित आकृतियों की लंबाई होती है <math>\tfrac{2Aa}{a^2+2A}</math> जहाँ A त्रिभुज का क्षेत्रफल है;<ref>Bailey, Herbert, and DeTemple, Duane, "Squares inscribed in angles and triangles", ''[[Mathematics Magazine]]'' 71(4), 1998, 278–284.</ref> एक हेरोनियन त्रिभुज में, A और a दोनों पूर्णांक हैं।
* प्रत्येक हेरोनियन त्रिभुज में एक परिमेय अंतर्त्रिज्या (इसके उत्कीर्ण वृत्त की त्रिज्या) होती है: एक सामान्य त्रिभुज के लिए अंतःत्रिज्या आधे परिधि के क्षेत्रफल का अनुपात होता है, और ये दोनों एक हेरोनियन त्रिभुज में परिमेय होते हैं।
* प्रत्येक हेरोनियन त्रिभुज में एक परिमेय अंतर्त्रिज्या (इसके उत्कीर्ण वृत्त की त्रिज्या) होती है: एक सामान्य त्रिभुज के लिए अंतःत्रिज्या आधे परिधि के क्षेत्रफल का अनुपात होता है, और ये दोनों एक हेरोनियन त्रिभुज में परिमेय होते हैं।
*प्रत्येक हेरोनियन त्रिभुज में एक परिमेय परिबद्ध वृत्त होता है#त्रिकोण (इसके परिबद्ध वृत्त की त्रिज्या): एक सामान्य त्रिभुज के लिए परित्रिज्या क्षेत्रफल द्वारा विभाजित भुजाओं के गुणनफल के एक-चौथाई के बराबर होता है; एक हेरोनियन त्रिभुज में भुजाएँ और क्षेत्रफल पूर्णांक होते हैं।
*प्रत्येक हेरोनियन त्रिभुज में एक परिमेय परिबद्ध वृत्त होता है#त्रिकोण (इसके परिबद्ध वृत्त की त्रिज्या): एक सामान्य त्रिभुज के लिए परित्रिज्या क्षेत्रफल द्वारा विभाजित भुजाओं के गुणनफल के एक-चौथाई के बराबर होता है; एक हेरोनियन त्रिभुज में भुजाएँ और क्षेत्रफल पूर्णांक होते हैं।
*एक हेरोनियन त्रिभुज में [[केन्द्रक]] से प्रत्येक पक्ष की दूरी तर्कसंगत है क्योंकि, सभी त्रिभुजों के लिए, यह दूरी क्षेत्रफल के दोगुने से भुजा की लंबाई के तीन गुना के अनुपात में होती है।<ref>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</ref> इसे यह कहते हुए सामान्यीकृत किया जा सकता है कि हेरोनियन त्रिभुजों से जुड़े सभी केंद्र जिनके बेरिकेंट्रिक समन्वय प्रणाली तर्कसंगत अनुपात हैं, प्रत्येक पक्ष के लिए एक तर्कसंगत दूरी है। इन केंद्रों में परिकेन्द्र, लंबकेन्द्र, [[नौ-बिंदु केंद्र]], [[सिम्मेडियन बिंदु]], गेर्गोन बिंदु और [[नागल बिंदु]] शामिल हैं।<ref name=ck>Clark Kimberling's Encyclopedia of Triangle Centers {{cite web|url=http://faculty.evansville.edu/ck6/encyclopedia/ETC.html |title=Encyclopedia of Triangle Centers |access-date=2012-06-17 |url-status=dead |archive-url=https://web.archive.org/web/20120419171900/http://faculty.evansville.edu/ck6/encyclopedia/ETC.html |archive-date=2012-04-19 }}</ref>
*एक हेरोनियन त्रिभुज में [[केन्द्रक]] से प्रत्येक पक्ष की दूरी परिमेय है क्योंकि, सभी त्रिभुजों के लिए, यह दूरी क्षेत्रफल के दोगुने से भुजा की लंबाई के तीन गुना के अनुपात में होती है।<ref>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</ref> इसे यह कहते हुए सामान्यीकृत किया जा सकता है कि हेरोनियन त्रिभुजों से जुड़े सभी केंद्र जिनके बेरिकेंट्रिक समन्वय प्रणाली परिमेय अनुपात हैं, प्रत्येक पक्ष के लिए एक परिमेय दूरी है। इन केंद्रों में परिकेन्द्र, लंबकेन्द्र, [[नौ-बिंदु केंद्र]], [[सिम्मेडियन बिंदु]], गेर्गोन बिंदु और [[नागल बिंदु]] शामिल हैं।<ref name=ck>Clark Kimberling's Encyclopedia of Triangle Centers {{cite web|url=http://faculty.evansville.edu/ck6/encyclopedia/ETC.html |title=Encyclopedia of Triangle Centers |access-date=2012-06-17 |url-status=dead |archive-url=https://web.archive.org/web/20120419171900/http://faculty.evansville.edu/ck6/encyclopedia/ETC.html |archive-date=2012-04-19 }}</ref>
* प्रत्येक हेरोनियन त्रिभुज को एक जाली बिंदु पर प्रत्येक शीर्ष के साथ एक इकाई-पक्षीय वर्ग जाली पर रखा जा सकता है।<ref name=Yiu3>Yiu, P., "Heronian triangles are lattice triangles", ''American Mathematical Monthly'' 108 (2001), 261–263.</ref> एक उपप्रमेय के रूप में, प्रत्येक परिमेय हेरोनियन त्रिभुज को सभी परिमेय-मूल्यवान निर्देशांकों के साथ द्वि-आयामी [[कार्तीय समन्वय प्रणाली]] में रखा जा सकता है।
* प्रत्येक हेरोनियन त्रिभुज को एक जाली बिंदु पर प्रत्येक शीर्ष के साथ एक इकाई-पक्षीय वर्ग जाली पर रखा जा सकता है।<ref name=Yiu3>Yiu, P., "Heronian triangles are lattice triangles", ''American Mathematical Monthly'' 108 (2001), 261–263.</ref> एक उपप्रमेय के रूप में, प्रत्येक परिमेय हेरोनियन त्रिभुज को सभी परिमेय-मूल्यवान निर्देशांकों के साथ द्वि-आयामी [[कार्तीय समन्वय प्रणाली]] में रखा जा सकता है।


== पक्ष की लंबाई के गुण ==
== पक्ष की लंबाई के गुण ==
यहाँ हेरोनियन त्रिभुजों की भुजाओं की लंबाई के कुछ गुण हैं, जिनकी भुजाएँ हैं {{math|''a'', ''b'', ''c''}} और क्षेत्रफल है {{mvar|A}}.
यहाँ हेरोनियन त्रिभुजों की भुजाओं की लंबाई के कुछ गुण हैं, जिनकी भुजाएँ हैं {{math|''a'', ''b'', ''c''}} और क्षेत्रफल है {{mvar|A}}.
* प्रत्येक आदिम हेरोनियन त्रिभुज हेरोनियन त्रिभुज में एक सम और दो विषम भुजाएँ होती हैं (देखें {{slink||Scaling to primitive triangles}}). इससे पता चलता है कि एक हेरोनियन त्रिभुज की एक या तीन भुजाएँ सम लंबाई की होती हैं,<ref name=Buchholz1>{{cite journal |last1=Buchholz  |first1=R. H. |last2=MacDougall |first2=J. A. |title=तर्कसंगत पक्षों और क्षेत्रफल के साथ चक्रीय बहुभुज|citeseerx = 10.1.1.169.6336 |year=2001 |page=3 |publisher=CiteSeerX Penn State University }}</ref>{{rp|p.3}} और यह कि आदिम हेरोनियन त्रिभुज की परिधि हमेशा एक सम संख्या होती है।<ref name=Friche>{{Cite journal |title=हेरोन सिम्पलिसेस और इंटीजर एंबेडिंग पर|last=Friche |first=Jan |publisher=Ernst-Moritz-Arndt Universät Greiswald Publication |date=2 January 2002 |arxiv=math/0112239 }}</ref> * कोई समबाहु हेरोनियन त्रिभुज नहीं हैं, क्योंकि आदिम हेरोनियन त्रिभुज की एक सम भुजा लंबाई और दो विषम भुजा लंबाई होती है।<ref name=Somos/>*एक हेरोनियन त्रिभुज का क्षेत्रफल हमेशा 6 से विभाज्य होता है।<ref>''Proof''. One can suppose that the Heronian triangle is primitive. The right-hand side of the Diophantine equation can be rewritten as <math>((a+b)^2-c^2)(c^2-(a-b)^2).</math>  If an odd length is chosen for {{mvar|c}}, all squares are odd, and therefore of the form <math>8k+1;</math> and the two differences are multiple of {{math|8{{math|}}}}. So <math>16A^2</math> is multiple of {{math|64}}, and {{mvar|A}} is even. For the divisibility by three, one chooses {{mvar|c}} as non-multiple of {{math|3}} (the triangle is supposed to be primitive). If one of <math>a+b</math> and <math>a-b</math> is not a multiple of {{mvar|3}}, the corresponding factor is a  nultiple of {{mvar|3}} (since the square of a non-multiple of {{mvar|3}} has the form <math>3k+1</math>), and this implies that {{mvar|3}} is a divisor of <math>16A^2.</math> Otherwise, {{mvar|3}} would divide both <math>a+b</math> and <math>a-b,</math>  and the right-hand side of the Diophantine would not be the square of <math>4A,</math> as being congruent to minus times a square  modulo {{math|3}}. So this last case is impossible.</ref><ref name=Friche/>* 1 या 2 भुजाओं वाली कोई हेरोनियन त्रिभुज नहीं हैं।<ref>''Proof''. Supposing <math>a\ge b\ge c,</math> the [[triangle inequality]] implies <math>b\le a\le b+c.</math> If <math>c=1,</math> this implies that <math>a=b,</math> and the condition that there is exactly one even side length cannot be fulfilled. If <math>c=2,</math> one has two even side lengths if <math>a=b+1.</math> So, <math>a=b,</math> and the Diophantine equation becomes <math>16 A^2=16(a^2-1),</math> which is impossible for two positive integers.</ref><ref name=carlson/>*अनंत संख्या में आदिम हेरोनियन त्रिभुज मौजूद हैं जिनकी एक भुजा की लंबाई दी गई के बराबर है {{math|''a''}}, उसे उपलब्ध कराया {{math|''a ''> 2}}.<ref name=carlson/>* अर्धपरिधि {{math|''s''}एक हेरोनियन त्रिभुज का } अभाज्य नहीं हो सकता (as <math>s(s-a)(s-b)(s-c)</math> क्षेत्र का वर्ग है, और क्षेत्र एक पूर्णांक है, यदि {{mvar|s}} प्रधान होगा, इसे दूसरे कारक को विभाजित करना चाहिए; यह असंभव है क्योंकि ये सभी कारक इससे कम हैं {{math|''s''}}).
* प्रत्येक अभाज्य हेरोनियन त्रिभुज हेरोनियन त्रिभुज में एक सम और दो विषम भुजाएँ होती हैं (देखें {{slink||Scaling to primitive triangles}}). इससे पता चलता है कि एक हेरोनियन त्रिभुज की एक या तीन भुजाएँ सम लंबाई की होती हैं,<ref name=Buchholz1>{{cite journal |last1=Buchholz  |first1=R. H. |last2=MacDougall |first2=J. A. |title=तर्कसंगत पक्षों और क्षेत्रफल के साथ चक्रीय बहुभुज|citeseerx = 10.1.1.169.6336 |year=2001 |page=3 |publisher=CiteSeerX Penn State University }}</ref>{{rp|p.3}} और यह कि अभाज्य हेरोनियन त्रिभुज की परिधि हमेशा एक सम संख्या होती है।<ref name=Friche>{{Cite journal |title=हेरोन सिम्पलिसेस और इंटीजर एंबेडिंग पर|last=Friche |first=Jan |publisher=Ernst-Moritz-Arndt Universät Greiswald Publication |date=2 January 2002 |arxiv=math/0112239 }}</ref> * कोई समबाहु हेरोनियन त्रिभुज नहीं हैं, क्योंकि अभाज्य हेरोनियन त्रिभुज की एक सम भुजा लंबाई और दो विषम भुजा लंबाई होती है।<ref name=Somos/>*एक हेरोनियन त्रिभुज का क्षेत्रफल हमेशा 6 से विभाज्य होता है।<ref>''Proof''. One can suppose that the Heronian triangle is primitive. The right-hand side of the Diophantine equation can be rewritten as <math>((a+b)^2-c^2)(c^2-(a-b)^2).</math>  If an odd length is chosen for {{mvar|c}}, all squares are odd, and therefore of the form <math>8k+1;</math> and the two differences are multiple of {{math|8{{math|}}}}. So <math>16A^2</math> is multiple of {{math|64}}, and {{mvar|A}} is even. For the divisibility by three, one chooses {{mvar|c}} as non-multiple of {{math|3}} (the triangle is supposed to be primitive). If one of <math>a+b</math> and <math>a-b</math> is not a multiple of {{mvar|3}}, the corresponding factor is a  nultiple of {{mvar|3}} (since the square of a non-multiple of {{mvar|3}} has the form <math>3k+1</math>), and this implies that {{mvar|3}} is a divisor of <math>16A^2.</math> Otherwise, {{mvar|3}} would divide both <math>a+b</math> and <math>a-b,</math>  and the right-hand side of the Diophantine would not be the square of <math>4A,</math> as being congruent to minus times a square  modulo {{math|3}}. So this last case is impossible.</ref><ref name=Friche/>* 1 या 2 भुजाओं वाली कोई हेरोनियन त्रिभुज नहीं हैं।<ref>''Proof''. Supposing <math>a\ge b\ge c,</math> the [[triangle inequality]] implies <math>b\le a\le b+c.</math> If <math>c=1,</math> this implies that <math>a=b,</math> and the condition that there is exactly one even side length cannot be fulfilled. If <math>c=2,</math> one has two even side lengths if <math>a=b+1.</math> So, <math>a=b,</math> and the Diophantine equation becomes <math>16 A^2=16(a^2-1),</math> which is impossible for two positive integers.</ref><ref name=carlson/>*अनंत संख्या में अभाज्य हेरोनियन त्रिभुज मौजूद हैं जिनकी एक भुजा की लंबाई दी गई के बराबर है {{math|''a''}}, उसे उपलब्ध कराया {{math|''a ''> 2}}.<ref name=carlson/>* अर्धपरिधि {{math|''s''}एक हेरोनियन त्रिभुज का } अभाज्य नहीं हो सकता (as <math>s(s-a)(s-b)(s-c)</math> क्षेत्र का वर्ग है, और क्षेत्र एक पूर्णांक है, यदि {{mvar|s}} प्रधान होगा, इसे दूसरे गुणनखंड को विभाजित करना चाहिए; यह असंभव है क्योंकि ये सभी गुणनखंड इससे कम हैं {{math|''s''}}).
* हेरोनियन त्रिकोण जिनमें कोई पूर्णांक ऊंचाई नहीं है (# भुजाओं की लंबाई और गैर-पाइथागोरस के गुण) ऐसे पक्ष हैं जो सभी प्रकार के अभाज्यों से विभाज्य हैं {{math|4''k''+1}}.<ref name=Yiu/>हालाँकि विघटित हेरोनियन त्रिभुजों में दो भुजाएँ होनी चाहिए जो पाइथागोरस त्रिभुजों का कर्ण हैं। इसलिए सभी हेरोनियन त्रिभुज जो पाइथागोरस के नहीं हैं, उनकी कम से कम दो भुजाएँ होती हैं जो इस रूप की अभाज्य संख्याओं से विभाज्य होती हैं {{math|4''k''+1}}. जो बचा है वह पायथागॉरियन त्रिभुज हैं। इसलिए, सभी हेरोनियन त्रिभुजों में कम से कम एक भुजा होती है जो कि प्रपत्र के अभाज्य संख्याओं से विभाज्य होती है {{math|4''k''+1}}. अंत में यदि एक हेरोनियन त्रिभुज का केवल एक पक्ष रूप के अभाज्यों से विभाज्य है {{math|4''k''+1}} यह पाइथागोरसियन होना चाहिए और कर्ण के रूप में पार्श्व होना चाहिए और कर्ण पाइथागोरसियन ट्रिपल#सामान्य गुण होना चाहिए।
* हेरोनियन त्रिकोण जिनमें कोई पूर्णांक ऊंचाई नहीं है (# भुजाओं की लंबाई और गैर-पाइथागोरस के गुण) ऐसे पक्ष हैं जो सभी प्रकार के अभाज्यों से विभाज्य हैं {{math|4''k''+1}}.<ref name=Yiu/>हालाँकि विघटित हेरोनियन त्रिभुजों में दो भुजाएँ होनी चाहिए जो पाइथागोरस त्रिभुजों का कर्ण हैं। इसलिए सभी हेरोनियन त्रिभुज जो पाइथागोरस के नहीं हैं, उनकी कम से कम दो भुजाएँ होती हैं जो इस रूप की अभाज्य संख्याओं से विभाज्य होती हैं {{math|4''k''+1}}. जो बचा है वह पायथागॉरियन त्रिभुज हैं। इसलिए, सभी हेरोनियन त्रिभुजों में कम से कम एक भुजा होती है जो कि प्रपत्र के अभाज्य संख्याओं से विभाज्य होती है {{math|4''k''+1}}. अंत में यदि एक हेरोनियन त्रिभुज का केवल एक पक्ष रूप के अभाज्यों से विभाज्य है {{math|4''k''+1}} यह पाइथागोरसियन होना चाहिए और कर्ण के रूप में पार्श्व होना चाहिए और कर्ण पाइथागोरसियन ट्रिपल#सामान्य गुण होना चाहिए।
*ऐसे कोई हेरोनियन त्रिभुज नहीं हैं जिनकी भुजाओं की लंबाई एक ज्यामितीय प्रगति बनाती है।<ref name=Buchholz>{{Cite journal |title=अंकगणित या ज्यामितीय प्रगति में पक्षों के साथ बगुला चतुर्भुज|last1=Buchholz |first1=R. H. |last2=MacDougall |first2=J. A. |journal=Bulletin of the Australian Mathematical Society |pages=263–269 |volume=59 |year=1999 |issue=2 |doi=10.1017/s0004972700032883|doi-access=free }}</ref>
*ऐसे कोई हेरोनियन त्रिभुज नहीं हैं जिनकी भुजाओं की लंबाई एक ज्यामितीय प्रगति बनाती है।<ref name=Buchholz>{{Cite journal |title=अंकगणित या ज्यामितीय प्रगति में पक्षों के साथ बगुला चतुर्भुज|last1=Buchholz |first1=R. H. |last2=MacDougall |first2=J. A. |journal=Bulletin of the Australian Mathematical Society |pages=263–269 |volume=59 |year=1999 |issue=2 |doi=10.1017/s0004972700032883|doi-access=free }}</ref>
Line 69: Line 69:
इस तरह के पहले पैरामीट्रिजेशन की खोज [[ब्रह्मगुप्त]] (598-668 A.D.) ने की थी, जिन्होंने यह साबित नहीं किया कि सभी हेरोनियन त्रिकोण पैरामीट्रिजेशन द्वारा उत्पन्न किए जा सकते हैं। 18वीं शताब्दी में, [[लियोनार्ड यूलर]] ने एक और पैरामीट्रिजेशन प्रदान किया और साबित किया कि यह सभी हेरोनियन त्रिकोण उत्पन्न करता है। इन पैरामीट्रिजेशन का वर्णन अगले दो उपखंडों में किया गया है।
इस तरह के पहले पैरामीट्रिजेशन की खोज [[ब्रह्मगुप्त]] (598-668 A.D.) ने की थी, जिन्होंने यह साबित नहीं किया कि सभी हेरोनियन त्रिकोण पैरामीट्रिजेशन द्वारा उत्पन्न किए जा सकते हैं। 18वीं शताब्दी में, [[लियोनार्ड यूलर]] ने एक और पैरामीट्रिजेशन प्रदान किया और साबित किया कि यह सभी हेरोनियन त्रिकोण उत्पन्न करता है। इन पैरामीट्रिजेशन का वर्णन अगले दो उपखंडों में किया गया है।


तीसरे उपखंड में, एक तर्कसंगत parametrization{{mdash}}वह एक पैरामीट्रिजेशन है जहां पैरामीटर धनात्मक परिमेय संख्याएं हैं{{mdash}} स्वाभाविक रूप से हेरोनियन त्रिभुजों के गुणों से प्राप्त होता है। ब्रह्मगुप्त और यूलर के पैरामीट्रिजेशन दोनों को इस तर्कसंगत पैरामीट्रिजेशन से समाशोधन हर द्वारा पुनर्प्राप्त किया जा सकता है। यह एक प्रमाण प्रदान करता है कि ब्रह्मगुप्त और यूलर के पैरामीट्रिजेशन सभी हेरोनियन त्रिकोण उत्पन्न करते हैं।
तीसरे उपखंड में, एक परिमेय parametrization{{mdash}}वह एक पैरामीट्रिजेशन है जहां पैरामीटर धनात्मक परिमेय संख्याएं हैं{{mdash}} स्वाभाविक रूप से हेरोनियन त्रिभुजों के गुणों से प्राप्त होता है। ब्रह्मगुप्त और यूलर के पैरामीट्रिजेशन दोनों को इस परिमेय पैरामीट्रिजेशन से समाशोधन हर द्वारा पुनर्प्राप्त किया जा सकता है। यह एक प्रमाण प्रदान करता है कि ब्रह्मगुप्त और यूलर के पैरामीट्रिजेशन सभी हेरोनियन त्रिकोण उत्पन्न करते हैं।


===ब्रह्मगुप्त का पैरामीट्रिक समीकरण===
===ब्रह्मगुप्त का पैरामीट्रिक समीकरण===
Line 86: Line 86:
  }}.</ref> लेकिन यह सिद्ध नहीं किया कि हेरोनियन त्रिभुजों की प्रत्येक समरूपता (ज्यामिति) वर्ग को इस प्रकार प्राप्त किया जा सकता है।{{citation needed|date=January 2023}}
  }}.</ref> लेकिन यह सिद्ध नहीं किया कि हेरोनियन त्रिभुजों की प्रत्येक समरूपता (ज्यामिति) वर्ग को इस प्रकार प्राप्त किया जा सकता है।{{citation needed|date=January 2023}}


तीन सकारात्मक पूर्णांकों के लिए {{mvar|m}}, {{mvar|n}} और {{mvar|k}} जो कि कोप्राइम पूर्णांक हैं # समुच्चयों में सहप्रमुखता (<math>\gcd(m,n,k)=1</math>) और संतुष्ट <math>mn > k^2</math> (सकारात्मक पक्ष की लंबाई की गारंटी के लिए) और {{nobr|<math>m \ge n</math>}} (विशिष्टता के लिए):
तीन सकारात्मक पूर्णांकों के लिए {{mvar|m}}, {{mvar|n}} और {{mvar|k}} जो कि सह-अभाज्य पूर्णांक हैं # समुच्चयों में सहप्रमुखता (<math>\gcd(m,n,k)=1</math>) और संतुष्ट <math>mn > k^2</math> (सकारात्मक पक्ष की लंबाई की गारंटी के लिए) और {{nobr|<math>m \ge n</math>}} (विशिष्टता के लिए):


:<math>\begin{align}
:<math>\begin{align}
Line 97: Line 97:
कहाँ {{mvar|s}} अर्धपरिधि है, {{mvar|A}} क्षेत्र है, और {{mvar|r}} अंतःत्रिज्या है।
कहाँ {{mvar|s}} अर्धपरिधि है, {{mvar|A}} क्षेत्र है, और {{mvar|r}} अंतःत्रिज्या है।


परिणामी हेरोनियन त्रिकोण हमेशा आदिम नहीं होता है, और संबंधित आदिम त्रिकोण प्राप्त करने के लिए स्केलिंग की आवश्यकता हो सकती है। उदाहरण के लिए, लेना {{math|1=''m'' = 36}}, {{math|1=''n'' = 4}} और {{math|1=''k'' = 3}} के साथ एक त्रिकोण बनाता है {{math|1=''a'' = 5220}}, {{math|1=''b'' = 900}} और {{math|1=''c'' = 5400}}, जो के समान है {{math|(5, 29, 30)}} अनुपातिक गुणक के साथ हेरोनियन त्रिभुज {{math|180}}.
परिणामी हेरोनियन त्रिकोण हमेशा अभाज्य नहीं होता है, और संबंधित अभाज्य त्रिकोण प्राप्त करने के लिए स्केलिंग की आवश्यकता हो सकती है। उदाहरण के लिए, लेना {{math|1=''m'' = 36}}, {{math|1=''n'' = 4}} और {{math|1=''k'' = 3}} के साथ एक त्रिकोण बनाता है {{math|1=''a'' = 5220}}, {{math|1=''b'' = 900}} और {{math|1=''c'' = 5400}}, जो के समान है {{math|(5, 29, 30)}} अनुपातिक गुणक के साथ हेरोनियन त्रिभुज {{math|180}}.


तथ्य यह है कि उत्पन्न त्रिभुज आदिम नहीं है, इस पैरामीट्रिजेशन का उपयोग करने के लिए सभी हेरोनियन त्रिकोणों को एक निश्चित सीमा से कम आकार के साथ उत्पन्न करने के लिए एक बाधा है (आकार के बाद से) <math>\gcd(a,b,c)</math> भविष्यवाणी नहीं की जा सकती।<ref name="Kurz" />
तथ्य यह है कि उत्पन्न त्रिभुज अभाज्य नहीं है, इस पैरामीट्रिजेशन का उपयोग करने के लिए सभी हेरोनियन त्रिकोणों को एक निश्चित सीमा से कम आकार के साथ उत्पन्न करने के लिए एक बाधा है (आकार के बाद से) <math>\gcd(a,b,c)</math> भविष्यवाणी नहीं की जा सकती।<ref name="Kurz" />




Line 105: Line 105:
लियोनार्ड यूलर द्वारा सभी हेरोनियन त्रिभुजों को उत्पन्न करने की निम्नलिखित विधि की खोज की गई थी,{{sfn|Dickson|1920|p=193}} जो ऐसे सभी त्रिभुजों को साबित करने वाले पहले व्यक्ति थे।
लियोनार्ड यूलर द्वारा सभी हेरोनियन त्रिभुजों को उत्पन्न करने की निम्नलिखित विधि की खोज की गई थी,{{sfn|Dickson|1920|p=193}} जो ऐसे सभी त्रिभुजों को साबित करने वाले पहले व्यक्ति थे।


चार धनात्मक पूर्णांकों के लिए {{mvar|m}} कोप्राइम टू {{mvar|n}} और {{mvar|p}} कोप्राइम टू {{mvar|q}} {{nobr|(<math>\gcd{(m, n)} = \gcd{(p, q)} = 1</math>)}} संतुष्टि देने वाला <math>mp > nq</math> (सकारात्मक पक्ष की लंबाई की गारंटी के लिए):
चार धनात्मक पूर्णांकों के लिए {{mvar|m}} सह-अभाज्य टू {{mvar|n}} और {{mvar|p}} सह-अभाज्य टू {{mvar|q}} {{nobr|(<math>\gcd{(m, n)} = \gcd{(p, q)} = 1</math>)}} संतुष्टि देने वाला <math>mp > nq</math> (सकारात्मक पक्ष की लंबाई की गारंटी के लिए):


:<math>\begin{align}
:<math>\begin{align}
Line 116: Line 116:
कहाँ {{mvar|s}} अर्धपरिधि है, {{mvar|A}} क्षेत्र है, और {{mvar|r}} अंतःत्रिज्या है।
कहाँ {{mvar|s}} अर्धपरिधि है, {{mvar|A}} क्षेत्र है, और {{mvar|r}} अंतःत्रिज्या है।


यहां तक ​​कि जब {{mvar|m}}, {{mvar|n}}, {{mvar|p}}, और {{mvar|q}} जोड़ीवार सहअभाज्य हैं, परिणामी हेरोनियन त्रिभुज आदिम नहीं हो सकता है। विशेष रूप से, अगर {{mvar|m}}, {{mvar|n}}, {{mvar|p}}, और {{mvar|q}} सभी विषम हैं, तीनों भुजाएँ सम हैं। यह भी संभव है {{mvar|a}}, {{mvar|b}}, और {{mvar|c}} के अलावा एक सामान्य विभाजक है {{math|2}}. उदाहरण के लिए, साथ {{math|1=''m'' = 2}}, {{math|1=''n'' = 1}}, {{math|1=''p'' = 7}}, और {{math|1=''q'' = 4}}, मिलता है {{math|1=(''a'', ''b'', ''c'') = (130, 140, 150)}}, जहां प्रत्येक भुजा की लंबाई का गुणक है {{math|10}}; संबंधित आदिम ट्रिपल है {{math|(13, 14, 15)}}, जिसे परिणामस्वरूप ट्रिपल को विभाजित करके भी प्राप्त किया जा सकता है {{math|1=''m'' = 2, ''n'' = 1, ''p'' = 3, ''q'' = 2}} दो से, फिर अदला बदली {{math|''b''}} और {{math|''c''}}.
यहां तक ​​कि जब {{mvar|m}}, {{mvar|n}}, {{mvar|p}}, और {{mvar|q}} जोड़ीवार सहअभाज्य हैं, परिणामी हेरोनियन त्रिभुज अभाज्य नहीं हो सकता है। विशेष रूप से, अगर {{mvar|m}}, {{mvar|n}}, {{mvar|p}}, और {{mvar|q}} सभी विषम हैं, तीनों भुजाएँ सम हैं। यह भी संभव है {{mvar|a}}, {{mvar|b}}, और {{mvar|c}} के अलावा एक सामान्य विभाजक है {{math|2}}. उदाहरण के लिए, साथ {{math|1=''m'' = 2}}, {{math|1=''n'' = 1}}, {{math|1=''p'' = 7}}, और {{math|1=''q'' = 4}}, मिलता है {{math|1=(''a'', ''b'', ''c'') = (130, 140, 150)}}, जहां प्रत्येक भुजा की लंबाई का गुणक है {{math|10}}; संबंधित अभाज्य ट्रिपल है {{math|(13, 14, 15)}}, जिसे परिणामस्वरूप ट्रिपल को विभाजित करके भी प्राप्त किया जा सकता है {{math|1=''m'' = 2, ''n'' = 1, ''p'' = 3, ''q'' = 2}} दो से, फिर अदला बदली {{math|''b''}} और {{math|''c''}}.


=== आधा कोण स्पर्शरेखा पैरामीट्रिजेशन ===
=== आधा कोण स्पर्शरेखा पैरामीट्रिजेशन ===
Line 132: Line 132:
A &= \frac{4tu(t+u)(1-tu)}{(1+t^2)^2(1+u^2)^2}, & r = \frac{2tu(1-tu)}{(1+t^2)(1+u^2)},
A &= \frac{4tu(t+u)(1-tu)}{(1+t^2)^2(1+u^2)^2}, & r = \frac{2tu(1-tu)}{(1+t^2)(1+u^2)},
\end{align}</math>
\end{align}</math>
कहाँ <math>s = \tfrac12(a + b + c)</math> अर्द्धपरिधि है, <math>A = \tfrac12 ab \sin \gamma</math> क्षेत्र है, <math>r = \sqrt{\tfrac{(s-a)(s-b)(s-c)}{s}}</math> अंतःत्रिज्या है, और ये सभी मूल्य तर्कसंगत हैं क्योंकि <math>t</math> और <math>u</math> तर्कसंगत हैं।
कहाँ <math>s = \tfrac12(a + b + c)</math> अर्द्धपरिधि है, <math>A = \tfrac12 ab \sin \gamma</math> क्षेत्र है, <math>r = \sqrt{\tfrac{(s-a)(s-b)(s-c)}{s}}</math> अंतःत्रिज्या है, और ये सभी मूल्य परिमेय हैं क्योंकि <math>t</math> और <math>u</math> परिमेय हैं।


एक (अभिन्न) हेरोनियन त्रिभुज प्राप्त करने के लिए, के भाजक {{mvar|a}}, {{mvar|b}}, और {{mvar|c}} समाशोधन भाजक। इसे करने बहुत सारे तरीके हैं। अगर <math>t = m/n</math> और <math>u = p/q,</math> साथ <math>\gcd(m, n) = \gcd(p,q) = 1</math> (irreducible भिन्न), और त्रिभुज को बढ़ाया जाता है <math>\tfrac12(m^2 + n^2)(p^2 + q^2),</math> इसका परिणाम यूलर का पैरामीट्रिजेशन है। अगर <math>t = m/k</math> और <math>u = n/k</math> साथ <math>\gcd(m, n, k) = 1</math> (न्यूनतम आम भाजक), और त्रिकोण द्वारा बढ़ाया गया है <math>(k^2 + m^2)(k^2 + n^2)/2k,</math> परिणाम समान है लेकिन ब्रह्मगुप्त के पैरामीट्रिजेशन के समान नहीं है। अगर, इसके बजाय, यह है <math>1/t</math> और <math>1/u</math> जो निम्नतम सामान्य भाजक तक कम हो जाते हैं, अर्थात यदि <math>t = k/m</math> और <math>u = k/n</math> साथ <math>\gcd(m, n, k) = 1,</math> तब किसी को त्रिभुज को स्केल करके ब्रह्मगुप्त का पैरामीट्रिजेशन मिलता है <math>(k^2 + m^2)(k^2 + n^2)/2k.</math>
एक (अभिन्न) हेरोनियन त्रिभुज प्राप्त करने के लिए, के भाजक {{mvar|a}}, {{mvar|b}}, और {{mvar|c}} समाशोधन भाजक। इसे करने बहुत सारे तरीके हैं। अगर <math>t = m/n</math> और <math>u = p/q,</math> साथ <math>\gcd(m, n) = \gcd(p,q) = 1</math> (irreducible भिन्न), और त्रिभुज को बढ़ाया जाता है <math>\tfrac12(m^2 + n^2)(p^2 + q^2),</math> इसका परिणाम यूलर का पैरामीट्रिजेशन है। अगर <math>t = m/k</math> और <math>u = n/k</math> साथ <math>\gcd(m, n, k) = 1</math> (न्यूनतम आम भाजक), और त्रिकोण द्वारा बढ़ाया गया है <math>(k^2 + m^2)(k^2 + n^2)/2k,</math> परिणाम समान है लेकिन ब्रह्मगुप्त के पैरामीट्रिजेशन के समान नहीं है। अगर, इसके बजाय, यह है <math>1/t</math> और <math>1/u</math> जो निम्नतम सामान्य भाजक तक कम हो जाते हैं, अर्थात यदि <math>t = k/m</math> और <math>u = k/n</math> साथ <math>\gcd(m, n, k) = 1,</math> तब किसी को त्रिभुज को स्केल करके ब्रह्मगुप्त का पैरामीट्रिजेशन मिलता है <math>(k^2 + m^2)(k^2 + n^2)/2k.</math>
Line 141: Line 141:
{{harvtxt|Kurz|2008}} ने हेरोनियन त्रिकोण उत्पन्न करने के लिए तेज़ एल्गोरिदम प्राप्त किया है।
{{harvtxt|Kurz|2008}} ने हेरोनियन त्रिकोण उत्पन्न करने के लिए तेज़ एल्गोरिदम प्राप्त किया है।


अंतःत्रिज्या के लिए पूर्णांक मानों के साथ असीम रूप से कई आदिम और अविघटनीय गैर-पाइथागोरियन हेरोनियन त्रिभुज हैं <math>r</math> और तीनों अंतःत्रिज्या <math>(r_a, r_b, r_c)</math>, द्वारा उत्पन्न सहित<ref name=Yiu1>Zhou, Li, "Primitive Heronian Triangles With Integer Inradius and Exradii", ''Forum Geometricorum'' 18, 2018, 71-77. http://forumgeom.fau.edu/FG2018volume18/FG201811.pdf</ref>{{rp|Thm. 4}}
अंतःत्रिज्या के लिए पूर्णांक मानों के साथ असीम रूप से कई अभाज्य और अविघटनीय गैर-पाइथागोरियन हेरोनियन त्रिभुज हैं <math>r</math> और तीनों अंतःत्रिज्या <math>(r_a, r_b, r_c)</math>, द्वारा उत्पन्न सहित<ref name=Yiu1>Zhou, Li, "Primitive Heronian Triangles With Integer Inradius and Exradii", ''Forum Geometricorum'' 18, 2018, 71-77. http://forumgeom.fau.edu/FG2018volume18/FG201811.pdf</ref>{{rp|Thm. 4}}


:<math>\begin{align}
:<math>\begin{align}
Line 155: Line 155:


== उदाहरण ==
== उदाहरण ==
आदिम पूर्णांक हेरोनियन त्रिकोणों की सूची, क्षेत्र द्वारा क्रमबद्ध और, यदि यह वही है,
अभाज्य पूर्णांक हेरोनियन त्रिकोणों की सूची, क्षेत्र द्वारा क्रमबद्ध और, यदि यह वही है,
[[परिमाप]] के अनुसार, निम्न तालिका के अनुसार शुरू होता है।
[[परिमाप]] के अनुसार, निम्न तालिका के अनुसार शुरू होता है।
  आदिम का अर्थ है
  अभाज्य का अर्थ है
तीनों भुजाओं की लंबाई का सबसे बड़ा सामान्य विभाजक 1 के बराबर है।
तीनों भुजाओं की लंबाई का सबसे बड़ा सामान्य विभाजक 1 के बराबर है।
{| class="wikitable" style="text-align:right;"
{| class="wikitable" style="text-align:right;"
Line 593: Line 593:
| 13
| 13
|}
|}
आदिम हेरोनियन त्रिभुजों की सूची जिनकी भुजाएँ 6,000,000 से अधिक नहीं हैं, यहाँ पाई जा सकती हैं {{cite web|url=http://www.wm.uni-bayreuth.de/index.php?id=554&amp;L=3|url-status=live|title=आदिम हेरोनियन त्रिभुजों की सूची|publisher=Sascha Kurz, University of Bayreuth, Germany|archive-url=https://web.archive.org/web/20160508173315/http://www.wm-archive.uni-bayreuth.de/fileadmin/Sascha/Publikationen/On_Heronian_Triangles.pdf|archive-date=May 2016|access-date=29 March 2016}}
अभाज्य हेरोनियन त्रिभुजों की सूची जिनकी भुजाएँ 6,000,000 से अधिक नहीं हैं, यहाँ पाई जा सकती हैं {{cite web|url=http://www.wm.uni-bayreuth.de/index.php?id=554&amp;L=3|url-status=live|title=आदिम हेरोनियन त्रिभुजों की सूची|publisher=Sascha Kurz, University of Bayreuth, Germany|archive-url=https://web.archive.org/web/20160508173315/http://www.wm-archive.uni-bayreuth.de/fileadmin/Sascha/Publikationen/On_Heronian_Triangles.pdf|archive-date=May 2016|access-date=29 March 2016}}


== सही वर्ग भुजाओं के साथ हेरोनियन त्रिकोण ==
== सही वर्ग भुजाओं के साथ हेरोनियन त्रिकोण ==
पूर्ण वर्ग भुजाओं वाले हेरोनियन त्रिभुज पूर्ण घनाभ समस्या से संबंधित हैं। फरवरी 2021 तक, पूर्ण वर्ग भुजाओं वाले केवल दो आदिम हेरोनियन त्रिभुज ज्ञात हैं:
पूर्ण वर्ग भुजाओं वाले हेरोनियन त्रिभुज पूर्ण घनाभ समस्या से संबंधित हैं। फरवरी 2021 तक, पूर्ण वर्ग भुजाओं वाले केवल दो अभाज्य हेरोनियन त्रिभुज ज्ञात हैं:


(1853², 4380², 4427², क्षेत्रफल=32918611718880), 2013 में प्रकाशित।<ref>{{cite journal
(1853², 4380², 4427², क्षेत्रफल=32918611718880), 2013 में प्रकाशित।<ref>{{cite journal
Line 624: Line 624:
  | year = 1981
  | year = 1981
| doi = 10.5951/MT.74.3.0222
| doi = 10.5951/MT.74.3.0222
  }}</ref> हालांकि उनमें से केवल चार आदिम हैं।
  }}</ref> हालांकि उनमें से केवल चार अभाज्य हैं।


==लगभग-समबाहु हेरोनियन त्रिकोण==
==लगभग-समबाहु हेरोनियन त्रिकोण==

Revision as of 08:42, 27 March 2023

ज्यामिति में, हेरोनियन त्रिभुज (या हेरोन त्रिकोण) एक त्रिभुज है जिसकी भुजाओं की लंबाई a, b, और c है और क्षेत्रफल A सभी पूर्णांक हैं।[1][2] हेरोनियन त्रिकोणों का नाम अलेक्जेंड्रिया के हेरॉन के नाम पर रखा गया है, जो हेरोन के सूत्र के संबंध पर आधारित है, जिसे हेरोन ने भुजाओं 13, 14, 15 और क्षेत्रफल 84 के उदाहरण त्रिकोण के साथ प्रदर्शित किया।[3]

हीरोन के सूत्र का अर्थ है कि हेरोनियन त्रिकोण डायोफैंटाइन समीकरण के बिल्कुल सकारात्मक पूर्णांक समाधान हैं

अर्थात्, किसी भी हेरोनियन त्रिभुज की भुजाओं की लंबाई और क्षेत्रफल समीकरण को संतुष्ट करते हैं, और समीकरण का कोई भी धनात्मक पूर्णांक हल एक हेरोनियन त्रिभुज का वर्णन करता है।[4]

यदि तीन भुजाओं की लंबाई पदशः सह-अभाज्य है, तो हेरोनियन त्रिभुज को अभाज्य कहा जाता है।

ऐसे त्रिभुज जिनकी भुजाओं की लंबाई और क्षेत्रफल सभी परिमेय संख्याएँ हैं (उपरोक्त समीकरण के धनात्मक परिमेय समाधान) को कभी-कभी हेरोनियन त्रिभुज या परिमेय त्रिभुज भी कहा जाता है;[5] इस लेख में, इन अधिक सामान्य त्रिभुजों को परिमेय हेरोनियन त्रिभुज कहा जाएगा। प्रत्येक (अभिन्न) हेरोनियन त्रिभुज एक परिमेय हेरोनियन त्रिभुज है। इसके विपरीत, प्रत्येक परिमेय हेरोनियन त्रिभुज ठीक एक अभाज्य हेरोनियन त्रिभुज के समान (ज्यामिति) होता है।

किसी भी परिमेय हेरोनियन त्रिकोण में, तीन ऊंचाई (त्रिकोण), परित्रिज्या, अंतः त्रिज्या और ब्राहात्रिज्या, और तीन कोणों की साइन और कोसाइन भी सभी परिमेय संख्याएं हैं।

अभाज्य त्रिभुजों में स्केलिंग

s के एक गुणक के साथ त्रिभुज को मापने में इसकी भुजाओं की लंबाई को s से गुणा करना समिलित है; यह क्षेत्रफल को से गुणा करता है और एक समानता (ज्यामिति) त्रिभुज का निर्माण करता है। एक परिमेय संख्या गुणनखंड द्वारा एक परिमेय हेरोनियन त्रिभुज को मापन करना एक और परिमेय हेरोनियन त्रिकोण पैदा करता है।

पार्श्व लंबाई के एक परिमेय हेरोनियन त्रिभुज को देखते हुए सोपानी गुणक एक परिमेय हेरोनियन त्रिभुज का निर्माण करें जैसे कि इसकी भुजा की लंबाई पदशः सह-अभाज्य संख्या हैं। नीचे यह सिद्ध किया गया है कि क्षेत्रफल A एक पूर्णांक है, और इस प्रकार त्रिभुज एक हेरोनियन त्रिभुज है। ऐसे त्रिभुज को प्राय: अभाज्य हेरोनियन त्रिभुज कहा जाता है।

सारांश में, परिमेय हेरोनियन त्रिभुजों के प्रत्येक समानता तुल्यता वर्ग में ठीक एक अभाज्य हेरोनियन त्रिभुज होता है। प्रमाण का एक उपोत्पाद यह है कि अभाज्य हेरोनियन त्रिभुज की भुजाओं में से एक एक सम पूर्णांक है।

प्रमाण: सिद्ध करना होगा कि, यदि एक परिमेय हेरोनियन त्रिभुज की भुजाओं की लम्बाई सह-अभाज्य पूर्णांक हैं, तो क्षेत्रफल A भी एक पूर्णांक है और ठीक एक भुजा की लंबाई सम संख्या है।

परिचय में दिए गए डायोफैंटाइन समीकरण तुरंत यह दर्शाता है कि एक पूर्णांक है। इसका वर्गमूल भी एक पूर्णांक है, क्योंकि पूर्णांक का वर्गमूल या तो एक पूर्णांक या एक अपरिमेय संख्या होता है।

यदि किसी एक भुजा की लंबाई सम है, तो समीकरण के दाहिने पक्ष के सभी गुणनखंड सम होते हैं, और, समीकरण को 16 से विभाजित करके हमे यह प्राप्त होता है कि और पूर्णांक हैं।

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

और सम के साथ। चूंकि एक विषम पूर्णांक का वर्ग सापेक्ष अंकगणित 4 के सर्वांगसम होता है, समीकरण का दाहिना पक्ष सापेक्ष 4 के अनुरूप होना चाहिए। इस प्रकार यह असंभव है, कि किसी के पास डायोफैंटिन समीकरण का समाधान है, क्योंकि पूर्णांक का वर्ग होना चाहिए, और पूर्णांक का वर्ग 0 या 1 सापेक्ष 4 के सर्वांगसम होता है।

उदाहरण

कोई भी पाइथागोरस त्रिभुज एक हेरोनियन त्रिभुज है। परिभाषा के अनुसार, ऐसे त्रिभुज की भुजाओं की लंबाई पूर्णांक होती है। ऐसे किसी त्रिभुज में, दो छोटी भुजाओं में से एक की लंबाई समान होती है, इसलिए क्षेत्रफल (इन दोनों भुजाओं का गुणनफल, दो से विभाजित) भी एक पूर्णांक होता है।

भुजाओं की लंबाई c, e और b + d, और ऊँचाई a वाला त्रिभुज।

हेरोनियन त्रिभुजों के उदाहरण जो समकोण नहीं हैं, समद्विबाहु त्रिभुज हैं जो एक पाइथागोरस त्रिभुज और उसकी दर्पण छवि को समकोण के किनारे जोड़कर प्राप्त किया जाता है। पायथागॉरियन ट्रिपल से शुरू 3, 4, 5 यह भुजाओं की लंबाई के साथ दो हेरोनियन त्रिभुज देता है (5, 5, 6) और (5, 5, 8) और क्षेत्र 12.

अधिक आम तौर पर, दो पाइथागोरस त्रिक दिए गए हैं और सबसे बड़ी प्रविष्टियों के साथ c और e, लंबाई की भुजाओं के साथ संगत त्रिभुजों को जोड़ा जा सकता है a (आकृति देखें) पार्श्व लंबाई के साथ एक हेरोनियन त्रिभुज प्राप्त करने के लिए और क्षेत्र (यह एक पूर्णांक है, क्योंकि पायथागॉरियन त्रिभुज का क्षेत्रफल एक पूर्णांक है)।

ऐसे हेरोनियन त्रिभुज हैं जिन्हें पायथागॉरियन त्रिभुजों में शामिल होने से प्राप्त नहीं किया जा सकता है। उदाहरण के लिए, भुजाओं की लंबाई का हेरोनियन त्रिभुज और क्षेत्रफल 72, क्योंकि इसकी कोई भी ऊँचाई पूर्णांक नहीं है। ऐसे हेरोनियन त्रिभुज कहलाते हैं indecomposable.[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]*अनंत संख्या में अभाज्य हेरोनियन त्रिभुज मौजूद हैं जिनकी एक भुजा की लंबाई दी गई के बराबर है a, उसे उपलब्ध कराया a > 2.[1]* अर्धपरिधि {{math|s}एक हेरोनियन त्रिभुज का } अभाज्य नहीं हो सकता (as क्षेत्र का वर्ग है, और क्षेत्र एक पूर्णांक है, यदि s प्रधान होगा, इसे दूसरे गुणनखंड को विभाजित करना चाहिए; यह असंभव है क्योंकि ये सभी गुणनखंड इससे कम हैं s).
  • हेरोनियन त्रिकोण जिनमें कोई पूर्णांक ऊंचाई नहीं है (# भुजाओं की लंबाई और गैर-पाइथागोरस के गुण) ऐसे पक्ष हैं जो सभी प्रकार के अभाज्यों से विभाज्य हैं 4k+1.[6]हालाँकि विघटित हेरोनियन त्रिभुजों में दो भुजाएँ होनी चाहिए जो पाइथागोरस त्रिभुजों का कर्ण हैं। इसलिए सभी हेरोनियन त्रिभुज जो पाइथागोरस के नहीं हैं, उनकी कम से कम दो भुजाएँ होती हैं जो इस रूप की अभाज्य संख्याओं से विभाज्य होती हैं 4k+1. जो बचा है वह पायथागॉरियन त्रिभुज हैं। इसलिए, सभी हेरोनियन त्रिभुजों में कम से कम एक भुजा होती है जो कि प्रपत्र के अभाज्य संख्याओं से विभाज्य होती है 4k+1. अंत में यदि एक हेरोनियन त्रिभुज का केवल एक पक्ष रूप के अभाज्यों से विभाज्य है 4k+1 यह पाइथागोरसियन होना चाहिए और कर्ण के रूप में पार्श्व होना चाहिए और कर्ण पाइथागोरसियन ट्रिपल#सामान्य गुण होना चाहिए।
  • ऐसे कोई हेरोनियन त्रिभुज नहीं हैं जिनकी भुजाओं की लंबाई एक ज्यामितीय प्रगति बनाती है।[18]
  • यदि किसी हेरोनियन त्रिभुज की किन्हीं दो भुजाओं (लेकिन तीन नहीं) में एक उभयनिष्ठ गुणनखंड है, तो वह गुणनखंड दो वर्गों का योग होना चाहिए।[19]


पैरामीट्रिजेशन

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

इस तरह के पहले पैरामीट्रिजेशन की खोज ब्रह्मगुप्त (598-668 A.D.) ने की थी, जिन्होंने यह साबित नहीं किया कि सभी हेरोनियन त्रिकोण पैरामीट्रिजेशन द्वारा उत्पन्न किए जा सकते हैं। 18वीं शताब्दी में, लियोनार्ड यूलर ने एक और पैरामीट्रिजेशन प्रदान किया और साबित किया कि यह सभी हेरोनियन त्रिकोण उत्पन्न करता है। इन पैरामीट्रिजेशन का वर्णन अगले दो उपखंडों में किया गया है।

तीसरे उपखंड में, एक परिमेय parametrization—वह एक पैरामीट्रिजेशन है जहां पैरामीटर धनात्मक परिमेय संख्याएं हैं— स्वाभाविक रूप से हेरोनियन त्रिभुजों के गुणों से प्राप्त होता है। ब्रह्मगुप्त और यूलर के पैरामीट्रिजेशन दोनों को इस परिमेय पैरामीट्रिजेशन से समाशोधन हर द्वारा पुनर्प्राप्त किया जा सकता है। यह एक प्रमाण प्रदान करता है कि ब्रह्मगुप्त और यूलर के पैरामीट्रिजेशन सभी हेरोनियन त्रिकोण उत्पन्न करते हैं।

ब्रह्मगुप्त का पैरामीट्रिक समीकरण

भारतीय गणितज्ञ ब्रह्मगुप्त (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]