होने देना {{math|'''u''', '''v'''}}, और {{math|'''w'''}} गोले के केंद्र से त्रिभुज के उन कोनों तक इकाई सदिशों को निरूपित करें। यदि समन्वय प्रणाली को घुमाया जाए तो कोण और दूरियां नहीं बदलती हैं, इसलिए हम समन्वय प्रणाली को घुमा सकते हैं <math>\mathbf{u}</math> [[उत्तरी ध्रुव]] पर है और <math>\mathbf{v}</math> प्रधान मध्याह्न रेखा (0 का देशांतर) पर कहीं है। इस घूर्णन के साथ, गोलाकार समन्वय करता है <math>\mathbf{v}</math> हैं <math>(r, \theta, \phi) = (1, a, 0) ,</math> जहाँ {{mvar|θ}} भूमध्य रेखा से नहीं उत्तरी ध्रुव से मापा गया कोण है, और इसके लिए गोलाकार निर्देशांक है <math>\mathbf{w}</math> हैं <math>(r, \theta, \phi) = (1, b, C) .</math> कार्तीय निर्देशांक के लिए <math>\mathbf{v}</math> हैं <math>(x, y, z) = (\sin a, 0, \cos a)</math> और कार्तीय निर्देशांक के लिए <math>\mathbf{w}</math> हैं <math>(x, y, z) = (\sin b \cos C, \sin b \sin C, \cos b) .</math> का मान है <math>\cos c</math> दो कार्टेशियन वैक्टर का डॉट उत्पाद है, जो है <math>\sin a \sin b \cos C + \cos a \cos b .</math>
मान लीजिए {{math|'''u''', '''v'''}}, और {{math|'''w'''}} वृत्त के केंद्र से त्रिभुज के उन शीर्षों तक इकाई सदिशों को दर्शाते हैं। यदि समन्वय प्रणाली को घुमाया जाए तो कोण और दूरियां परिवर्तित नहीं होती हैं, इसलिए हम समन्वय प्रणाली को घुमा सकते हैं जिससे कि <math>\mathbf{u}</math> [[उत्तरी ध्रुव]] पर हो और <math>\mathbf{v}</math> कहीं प्रधान मध्याह्न रेखा (0 का देशांतर) पर हो। इस घूर्णन के साथ, <math>\mathbf{v}</math> के लिए गोलाकार निर्देशांक <math>(r, \theta, \phi) = (1, a, 0) ,</math> है, जहाँ {{mvar|θ}} भूमध्य रेखा से नहीं उत्तरी ध्रुव से मापा गया कोण है, और <math>\mathbf{w}</math> के लिए गोलाकार निर्देशांक <math>(r, \theta, \phi) = (1, b, C) .</math> है। <math>\mathbf{v}</math> के लिए कार्तीय निर्देशांक <math>(x, y, z) = (\sin a, 0, \cos a)</math> है और <math>\mathbf{w}</math> के लिए कार्तीय निर्देशांक <math>(x, y, z) = (\sin b \cos C, \sin b \sin C, \cos b) .</math> है। <math>\cos c</math> का मान दो कार्टेशियन वैक्टर का डॉट गुणनफल है, जो <math>\sin a \sin b \cos C + \cos a \cos b .</math> है।
'''दूसरा प्रमाण'''
'''द्वितीय प्रमाण'''
होने देना {{math|'''u''', '''v'''}}, और {{math|'''w'''}} गोले के केंद्र से त्रिभुज के उन कोनों तक इकाई सदिशों को निरूपित करें। अपने पास {{math|1='''u''' · '''u''' = 1}}, {{math|1='''v''' · '''w''' = cos ''c''}}, {{math|1='''u''' · '''v''' = cos ''a''}}, और {{math|1='''u''' · '''w''' = cos ''b''}}. वैक्टर {{math|'''u''' × '''v'''}} और {{math|'''u''' × '''w'''}} लंबाई होती है {{math|sin ''a''}} और {{math|sin ''b''}} क्रमशः और उनके बीच का कोण है {{math|''C''}}, इसलिए
मान लीजिए {{math|'''u''', '''v'''}}, और {{math|'''w'''}} वृत्त के केंद्र से त्रिभुज के उन शीर्षों तक इकाई सदिशों को दर्शाते हैं। हमारे निकट {{math|1='''u''' · '''u''' = 1}}, {{math|1='''v''' · '''w''' = cos ''c''}}, {{math|1='''u''' · '''v''' = cos ''a''}}, और {{math|1='''u''' · '''w''' = cos ''b''}} है। सदिश {{math|'''u''' × '''v'''}} और {{math|'''u''' × '''w'''}} की लंबाई क्रमशः {{math|sin ''a''}} और {{math|sin ''b''}} है और उनके मध्य का कोण {{math|''C''}} है, इसलिए
:{{math|1=sin ''a'' sin ''b'' cos ''C'' = ('''u''' × '''v''') · ('''u''' × '''w''') = ('''u''' · '''u''')('''v''' · '''w''') − ('''u''' · '''v''')('''u''' · '''w''') = cos ''c'' − cos ''a'' cos ''b''}},
:{{math|1=sin ''a'' sin ''b'' cos ''C'' = ('''u''' × '''v''') · ('''u''' × '''w''') = ('''u''' · '''u''')('''v''' · '''w''') − ('''u''' · '''v''')('''u''' · '''w''') = cos ''c'' − cos ''a'' cos ''b''}},
क्रॉस उत्पाद, [[डॉट उत्पाद]] और बिनेट-कॉची पहचान का उपयोग करना {{math|1=('''p''' × '''q''') · ('''r''' × '''s''') = ('''p''' · '''r''')('''q''' · '''s''') − ('''p''' · '''s''')('''q''' · '''r''')}}.
क्रॉस गुणनफल, [[डॉट उत्पाद|डॉट गुणनफल]] और बिनेट-कॉची प्रमाण {{math|1=('''p''' × '''q''') · ('''r''' × '''s''') = ('''p''' · '''r''')('''q''' · '''s''') − ('''p''' · '''s''')('''q''' · '''r''')}} का उपयोग करना किया जाता है।
===तीसरा प्रमाण===
===तृतीय प्रमाण===
होने देना {{math|'''u''', '''v'''}}, और {{math|'''w'''}} गोले के केंद्र से त्रिभुज के उन कोनों तक इकाई सदिशों को निरूपित करें। निम्नलिखित घूर्णी अनुक्रम पर विचार करें जहां हम सबसे पहले वेक्टर को घुमाते हैं {{math|'''v'''}} को {{math|'''u'''}} कोण से <math>a,</math> वेक्टर के और घूर्णन का अनुसरण किया {{math|'''u'''}} को {{math|'''w'''}} कोण से <math>b,</math> जिसके बाद हम वेक्टर को घुमाते हैं {{math|'''w'''}} वापस {{math|'''v'''}} कोण से <math>c.</math> इन तीन घुमावों की संरचना पहचान परिवर्तन का निर्माण करेगी। अर्थात्, समग्र घूर्णन बिंदु को मैप करता है {{math|'''v'''}} खुद को। इन तीन घूर्णी संक्रियाओं को चतुर्भुजों द्वारा दर्शाया जा सकता है:
मान लीजिए {{math|'''u''', '''v'''}}, और {{math|'''w'''}} वृत्त के केंद्र से त्रिभुज के उन शीर्षों तक इकाई सदिशों को दर्शाते हैं। निम्नलिखित घूर्णी अनुक्रम पर विचार करें जहां हम सबसे पहले वेक्टर {{math|'''v'''}} को कोण {{math|''a''}} से {{math|'''u'''}} तक घुमाते हैं उसके बाद वेक्टर {{math|'''u'''}} से {{math|'''w'''}} को कोण {{math|''b''}} द्वारा घुमाते हैं, जिसके बाद हम वेक्टर {{math|'''w'''}} को वापस {{math|'''v'''}} पर कोण {{math|''c''}} से घुमाते हैं। इन तीन घूर्णनों की संरचना पहचान परिवर्तन का निर्माण करेगी। अर्थात्, समग्र घूर्णन बिंदु {{math|'''v'''}} को स्वयं में मैप करता है। इन तीन घूर्णी संक्रियाओं को चतुर्भुजों द्वारा दर्शाया जा सकता है:
गोलाकार त्रिकोणमिति में, कोज्या का नियम (जिसे भुजाओं के लिए कोज्या नियम भी कहा जाता है[1]) गोलाकार त्रिकोणों की भुजाओं और कोणों से संबंधित प्रमेय है, जो समतल त्रिकोणमिति के कोज्या के सामान्य नियम के अनुरूप है।
गोलाकार त्रिभुज कोज्या के नियम द्वारा हल किया गया है।
इकाई वृत्त को देखते हुए, वृत्त की सतह पर गोलाकार त्रिभुज को वृत्त पर तीन बिंदुओं u, v, और w को संयोजित करने वाले बड़े वृत्तों द्वारा परिभाषित किया जाता है (जिसे दाईं ओर दर्शाया गया है)। यदि इन तीनों भुजाओं की लम्बाई a (u से v तक) b (u से w तक), और c (v से w तक) है, और c के विपरीत शीर्ष का कोण C है, तो कोज्या का (प्रथम) गोलाकार नियम कहता है:[2][1]
चूँकि यह इकाई वृत्त है, इसलिए लंबाई a, b, और c वृत्त के केंद्र से उन भुजाओं द्वारा अंतरित कोणों (रेडियन में) के समान होती है। (गैर-इकाई वृत्त के लिए, लंबाई त्रिज्या से गुणा किए गए अंतरित कोण हैं, और यदि a, b और c की अंतरित कोणों के रूप में पुनर्व्याख्या की जाती है, तो सूत्र अभी भी मान्य है)। विशेष स्थिति के रूप में, C = π/2 के लिए, तब cos C = 0 है, और पाइथागोरस प्रमेय का गोलाकार एनालॉग प्राप्त होता है:
यदि c को हल करने के लिए कोज्या के नियम का उपयोग किया जाता है, तो c के छोटे होने पर कोज्या को परिवर्तित करने की आवश्यकता पूरक त्रुटियों में वृद्धि कर देती है। इस स्थिति में, हैवर्साइन्स के नियम का वैकल्पिक सूत्रीकरण श्रेष्ठ होता है।[3]
कोज्या के नियम पर भिन्नता, कोज्या का द्वितीय गोलाकार नियम,[4] (जिसे कोणों के लिए कोज्या नियम भी कहा जाता है[1] कहता है:
जहाँ A और B क्रमशः भुजाओं a और b के विपरीत शीर्षों के कोण हैं। इसे दिए गए गोलाकार त्रिकोणमिति अथवा गोलाकार त्रिभुज द्वैत पर विचार करने से प्राप्त किया जा सकता है।
मान लीजिए u, v, और w वृत्त के केंद्र से त्रिभुज के उन शीर्षों तक इकाई सदिशों को दर्शाते हैं। यदि समन्वय प्रणाली को घुमाया जाए तो कोण और दूरियां परिवर्तित नहीं होती हैं, इसलिए हम समन्वय प्रणाली को घुमा सकते हैं जिससे कि उत्तरी ध्रुव पर हो और कहीं प्रधान मध्याह्न रेखा (0 का देशांतर) पर हो। इस घूर्णन के साथ, के लिए गोलाकार निर्देशांक है, जहाँ θ भूमध्य रेखा से नहीं उत्तरी ध्रुव से मापा गया कोण है, और के लिए गोलाकार निर्देशांक है। के लिए कार्तीय निर्देशांक है और के लिए कार्तीय निर्देशांक है। का मान दो कार्टेशियन वैक्टर का डॉट गुणनफल है, जो है।
द्वितीय प्रमाण
मान लीजिए u, v, और w वृत्त के केंद्र से त्रिभुज के उन शीर्षों तक इकाई सदिशों को दर्शाते हैं। हमारे निकट u · u = 1, v · w = cos c, u · v = cos a, और u · w = cos b है। सदिश u × v और u × w की लंबाई क्रमशः sin a और sin b है और उनके मध्य का कोण C है, इसलिए
sin a sin b cos C = (u × v) · (u × w) = (u · u)(v · w) − (u · v)(u · w) = cos c − cos a cos b,
क्रॉस गुणनफल, डॉट गुणनफल और बिनेट-कॉची प्रमाण (p × q) · (r × s) = (p · r)(q · s) − (p · s)(q · r) का उपयोग करना किया जाता है।
तृतीय प्रमाण
मान लीजिए u, v, और w वृत्त के केंद्र से त्रिभुज के उन शीर्षों तक इकाई सदिशों को दर्शाते हैं। निम्नलिखित घूर्णी अनुक्रम पर विचार करें जहां हम सबसे पहले वेक्टर v को कोण a से u तक घुमाते हैं उसके बाद वेक्टर u से w को कोण b द्वारा घुमाते हैं, जिसके बाद हम वेक्टर w को वापस v पर कोण c से घुमाते हैं। इन तीन घूर्णनों की संरचना पहचान परिवर्तन का निर्माण करेगी। अर्थात्, समग्र घूर्णन बिंदु v को स्वयं में मैप करता है। इन तीन घूर्णी संक्रियाओं को चतुर्भुजों द्वारा दर्शाया जा सकता है:
जहाँ और क्रमशः दाएँ हाथ के नियम द्वारा परिभाषित इकाई सदिश घूर्णन के अक्षों का प्रतिनिधित्व करते हैं। इन तीन घुमावों की संरचना ता है, दोनों पक्षों को संयुग्मों से गुणा करना सही है अपने पास जहाँ और इससे हमें पहचान मिलती है[5][6]
इस पहचान के दाहिनी ओर चतुर्भुज गुणनफल द्वारा दिया गया है
सर्वसमिका के दोनों ओर के अदिश भागों को बराबर करने पर, हमें प्राप्त होता है
यहाँ चूँकि यह पहचान किसी भी चाप कोण के लिए मान्य है, इसलिए हम आधे को दबा देते हैं
हम पहले उसे नोट करके भी साइन नियम को पुनः प्राप्त कर सकते हैं और फिर पहचान के दोनों पक्षों पर वेक्टर भागों को बराबर करना
सदिश दोनों सदिशों के लिए ओर्थोगोनल है और और इस तरह से के संबंध में डॉट उत्पाद लेना दोनों तरफ, और हिस्सों को दबाते हुए, हमारे पास है अब और इसलिए हमारे पास है प्रत्येक पक्ष को विभाजित करना अपने पास
चूँकि उपरोक्त अभिव्यक्ति का दाहिना भाग चक्रीय क्रमपरिवर्तन द्वारा अपरिवर्तित है, हमारे पास है
पुनर्व्यवस्था
कोज्या के पहले और दूसरे गोलाकार नियमों को भुजाओं को रखने के लिए पुनर्व्यवस्थित किया जा सकता है (a, b, c) और कोण (A, B, C) समीकरणों के विपरीत पक्षों पर:
तलीय सीमा: छोटे कोण
छोटे गोलाकार त्रिभुजों के लिए, यानी छोटे के लिए a, b, और c, कोज्या का गोलाकार नियम लगभग कोज्या के सामान्य तलीय नियम के समान है,
इन भावों को कोज्या जाल के गोलाकार नियम में प्रतिस्थापित करना:
या सरलीकरण के बाद:
के लिए बड़े O अंकन शर्तें a और b का बोलबाला है O(a4) + O(b4) जैसा a और b छोटा हो जाओ, इसलिए हम इस अंतिम अभिव्यक्ति को इस प्रकार लिख सकते हैं:
इतिहास
मुहम्मद इब्न मूसा अल-ख्वारिज्मी|अल-ख्वारिज्मी (9वीं शताब्दी), अल-बत्तानी|अल-बत्तानी (9वीं शताब्दी), और नीलकंठ सोमयाजी|नीलकंठ द्वारा कोज्या के गोलाकार नियम के समतुल्य कुछ का उपयोग किया गया था (लेकिन सामान्य रूप से नहीं कहा गया था)। (15th शताब्दी)।[7]
↑ 1.01.11.2W. Gellert, S. Gottwald, M. Hellwich, H. Kästner, and H. Küstner, The VNR Concise Encyclopedia of Mathematics, 2nd ed., ch. 12 (Van Nostrand Reinhold: New York, 1989).
↑Romuald Ireneus 'Scibor-Marchocki, Spherical trigonometry, Elementary-Geometry Trigonometry web page (1997).
↑R. W. Sinnott, "Virtues of the Haversine", Sky and Telescope 68 (2), 159 (1984).
↑Reiman, István (1999). Geometria és határterületei. Szalay Könyvkiadó és Kereskedőház Kft. p. 83.