हेरोनियन त्रिकोण: Difference between revisions
mNo edit summary |
mNo edit summary |
||
| Line 11: | Line 11: | ||
किसी भी परिमेय हेरोनियन त्रिकोण में, तीन [[ऊंचाई (त्रिकोण)]], परित्रिज्या, अंतः त्रिज्या और ब्राहात्रिज्या, और तीन कोणों की [[साइन और कोसाइन]] भी सभी परिमेय संख्याएं हैं। | किसी भी परिमेय हेरोनियन त्रिकोण में, तीन [[ऊंचाई (त्रिकोण)]], परित्रिज्या, अंतः त्रिज्या और ब्राहात्रिज्या, और तीन कोणों की [[साइन और कोसाइन]] भी सभी परिमेय संख्याएं हैं। | ||
== | == अभाज्य त्रिभुजों में स्केलिंग == | ||
{{mvar|s}} के एक गुणक के साथ त्रिभुज को मापने में इसकी भुजाओं की लंबाई को {{mvar|s}} से गुणा करना समिलित है; यह क्षेत्रफल को <math>s^2</math> से गुणा करता है और एक [[समानता (ज्यामिति)]] त्रिभुज का निर्माण करता है। एक परिमेय संख्या गुणनखंड द्वारा एक परिमेय हेरोनियन त्रिभुज को मापन करना एक और परिमेय हेरोनियन त्रिकोण पैदा करता है। | |||
पार्श्व लंबाई के एक परिमेय हेरोनियन त्रिभुज को देखते हुए <math display=inline>\frac pd, \frac qd,\frac rd,</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>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> पूर्णांक हैं। | ||
जैसा कि | जैसा कि भुजाओं की लंबाई को सह-अभाज्य माना जाता है, एक स्थिति को छोड़ दिया जाता है जहां एक या तीन भुजाओं की लंबाई विषम होती है। मान लीजिए कि {{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}} के सर्वांगसम होता है। | |||
== उदाहरण == | == उदाहरण == | ||
| 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>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 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''}}). | ||
* हेरोनियन त्रिकोण जिनमें कोई पूर्णांक ऊंचाई नहीं है (# भुजाओं की लंबाई और गैर-पाइथागोरस के गुण) ऐसे पक्ष हैं जो सभी प्रकार के अभाज्यों से विभाज्य हैं {{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}} स्वाभाविक रूप से हेरोनियन त्रिभुजों के गुणों से प्राप्त होता है। ब्रह्मगुप्त और यूलर के पैरामीट्रिजेशन दोनों को इस परिमेय पैरामीट्रिजेशन से समाशोधन हर द्वारा पुनर्प्राप्त किया जा सकता है। यह एक प्रमाण प्रदान करता है कि ब्रह्मगुप्त और यूलर के पैरामीट्रिजेशन सभी हेरोनियन त्रिकोण उत्पन्न करते हैं। | ||
===ब्रह्मगुप्त का पैरामीट्रिक समीकरण=== | ===ब्रह्मगुप्त का पैरामीट्रिक समीकरण=== | ||
| Line 86: | Line 86: | ||
}}.</ref> लेकिन यह सिद्ध नहीं किया कि हेरोनियन त्रिभुजों की प्रत्येक समरूपता (ज्यामिति) वर्ग को इस प्रकार प्राप्त किया जा सकता है।{{citation needed|date=January 2023}} | }}.</ref> लेकिन यह सिद्ध नहीं किया कि हेरोनियन त्रिभुजों की प्रत्येक समरूपता (ज्यामिति) वर्ग को इस प्रकार प्राप्त किया जा सकता है।{{citation needed|date=January 2023}} | ||
तीन सकारात्मक पूर्णांकों के लिए {{mvar|m}}, {{mvar|n}} और {{mvar|k}} जो कि | तीन सकारात्मक पूर्णांकों के लिए {{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>\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|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|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>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>\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&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 के सर्वांगसम होता है।
उदाहरण
कोई भी पाइथागोरस त्रिभुज एक हेरोनियन त्रिभुज है। परिभाषा के अनुसार, ऐसे त्रिभुज की भुजाओं की लंबाई पूर्णांक होती है। ऐसे किसी त्रिभुज में, दो छोटी भुजाओं में से एक की लंबाई समान होती है, इसलिए क्षेत्रफल (इन दोनों भुजाओं का गुणनफल, दो से विभाजित) भी एक पूर्णांक होता है।
हेरोनियन त्रिभुजों के उदाहरण जो समकोण नहीं हैं, समद्विबाहु त्रिभुज हैं जो एक पाइथागोरस त्रिभुज और उसकी दर्पण छवि को समकोण के किनारे जोड़कर प्राप्त किया जाता है। पायथागॉरियन ट्रिपल से शुरू 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]
कहाँ अर्द्धपरिधि है, क्षेत्र है, अंतःत्रिज्या है, और ये सभी मूल्य परिमेय हैं क्योंकि और परिमेय हैं।
एक (अभिन्न) हेरोनियन त्रिभुज प्राप्त करने के लिए, के भाजक a, b, और c समाशोधन भाजक। इसे करने बहुत सारे तरीके हैं। अगर और साथ (irreducible भिन्न), और त्रिभुज को बढ़ाया जाता है इसका परिणाम यूलर का पैरामीट्रिजेशन है। अगर और साथ (न्यूनतम आम भाजक), और त्रिकोण द्वारा बढ़ाया गया है परिणाम समान है लेकिन ब्रह्मगुप्त के पैरामीट्रिजेशन के समान नहीं है। अगर, इसके बजाय, यह है और जो निम्नतम सामान्य भाजक तक कम हो जाते हैं, अर्थात यदि और साथ तब किसी को त्रिभुज को स्केल करके ब्रह्मगुप्त का पैरामीट्रिजेशन मिलता है यह साबित करता है कि या तो पैरामीट्रिजेशन सभी हेरोनियन त्रिकोण उत्पन्न करता है।
अन्य परिणाम
Kurz (2008) ने हेरोनियन त्रिकोण उत्पन्न करने के लिए तेज़ एल्गोरिदम प्राप्त किया है।
अंतःत्रिज्या के लिए पूर्णांक मानों के साथ असीम रूप से कई अभाज्य और अविघटनीय गैर-पाइथागोरियन हेरोनियन त्रिभुज हैं और तीनों अंतःत्रिज्या , द्वारा उत्पन्न सहित[24]: Thm. 4
असीम रूप से कई हेरोनियन त्रिकोण हैं जिन्हें एक जाली पर रखा जा सकता है जैसे कि न केवल जाली बिंदुओं पर कोने हैं, जैसा कि सभी हेरोनियन त्रिकोणों के लिए है, बल्कि इसके अतिरिक्त अंतःवृत्त और बहिर्वृत्त के केंद्र जाली बिंदुओं पर हैं।[24]: Thm. 5
यह सभी देखें Integer triangle § Heronian triangles कुछ प्रकार के हेरोनियन त्रिभुजों के पैरामीट्रिजेशन के लिए।
उदाहरण
अभाज्य पूर्णांक हेरोनियन त्रिकोणों की सूची, क्षेत्र द्वारा क्रमबद्ध और, यदि यह वही है, परिमाप के अनुसार, निम्न तालिका के अनुसार शुरू होता है।
अभाज्य का अर्थ है
तीनों भुजाओं की लंबाई का सबसे बड़ा सामान्य विभाजक 1 के बराबर है।
| Area | Perimeter | side length b+d | side length e | side length 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):
| Side length | Area | ||
|---|---|---|---|
| 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):
| Side length | Area | Inradius | ||
|---|---|---|---|---|
| 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} n के समाधान हैं2 − 12y2 = 4. एक छोटा परिवर्तन n = 2x एक पारंपरिक पेल समीकरण x देता है2 − 3y2 = 1, जिसके समाधान के लिए निरंतर अंश विस्तार से प्राप्त किया जा सकता है √3.[31] चर n रूप का है , जहां के 7, 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