कोज्या का गोलाकार नियम

गोलाकार त्रिकोणमिति में, कोज्या का नियम (जिसे भुजाओं के लिए कोज्या नियम भी कहा जाता है ) गोलाकार त्रिकोणों की भुजाओं और कोणों से संबंधित प्रमेय है, जो समतल त्रिकोणमिति के कोज्या के सामान्य नियम के अनुरूप है।

इकाई वृत्त को देखते हुए, वृत्त की सतह पर गोलाकार त्रिभुज को वृत्त पर तीन बिंदुओं $u, v$, और $w$ को संयोजित करने वाले बड़े वृत्तों द्वारा परिभाषित किया जाता है (जिसे दाईं ओर दर्शाया गया है)। यदि इन तीनों भुजाओं की लम्बाई $a$ ($u$ से $v$ तक) $b$ ($u$ से $w$ तक), और $c$ ($v$ से $w$ तक) है, और $c$ के विपरीत शीर्ष का कोण $C$ है, तो कोज्या का (प्रथम) गोलाकार नियम कहता है:

$$\cos c = \cos a \cos b + \sin a \sin b \cos C\,$$ चूँकि यह इकाई वृत्त है, इसलिए लंबाई $a, b$, और $c$ वृत्त के केंद्र से उन भुजाओं द्वारा अंतरित कोणों (रेडियन में) के समान होती है। (गैर-इकाई वृत्त के लिए, लंबाई त्रिज्या से गुणा किए गए अंतरित कोण हैं, और यदि $a, b$ और $c$ की अंतरित कोणों के रूप में पुनर्व्याख्या की जाती है, तो सूत्र अभी भी मान्य है)। विशेष स्थिति के रूप में, $C = π⁄2$ के लिए, तब $cos C = 0$ है, और पाइथागोरस प्रमेय का गोलाकार एनालॉग प्राप्त होता है:

$$\cos c = \cos a \cos b\,$$ यदि $c$ को हल करने के लिए कोज्या के नियम का उपयोग किया जाता है, तो $c$ के छोटे होने पर कोज्या को परिवर्तित करने की आवश्यकता पूरक त्रुटियों में वृद्धि कर देती है। इस स्थिति में, हैवर्साइन्स के नियम का वैकल्पिक सूत्रीकरण श्रेष्ठ होता है।

कोज्या के नियम पर भिन्नता, कोज्या का द्वितीय गोलाकार नियम, (जिसे कोणों के लिए कोज्या नियम भी कहा जाता है कहता है:

$$\cos C = -\cos A \cos B + \sin A \sin B \cos c\,$$ जहाँ $A$ और $B$ क्रमशः भुजाओं $a$ और $b$ के विपरीत शीर्षों के कोण हैं। इसे दिए गए गोलाकार त्रिकोणमिति अथवा गोलाकार त्रिभुज द्वैत पर विचार करने से प्राप्त किया जा सकता है।

प्रथम प्रमाण
मान लीजिए $u, v$, और $w$ वृत्त के केंद्र से त्रिभुज के उन शीर्षों तक इकाई सदिशों को दर्शाते हैं। यदि समन्वय प्रणाली को घुमाया जाए तो कोण और दूरियां परिवर्तित नहीं होती हैं, इसलिए हम समन्वय प्रणाली को घुमा सकते हैं जिससे कि $$\mathbf{u}$$ उत्तरी ध्रुव पर हो और $$\mathbf{v}$$ कहीं प्रधान मध्याह्न रेखा (0 का देशांतर) पर हो। इस घूर्णन के साथ, $$\mathbf{v}$$ के लिए गोलाकार निर्देशांक $$(r, \theta, \phi) = (1, a, 0) ,$$ है, जहाँ $θ$ भूमध्य रेखा से नहीं उत्तरी ध्रुव से मापा गया कोण है, और $$\mathbf{w}$$ के लिए गोलाकार निर्देशांक $$(r, \theta, \phi) = (1, b, C) .$$ है। $$\mathbf{v}$$ के लिए कार्तीय निर्देशांक $$(x, y, z) = (\sin a, 0, \cos a)$$ है और $$\mathbf{w}$$ के लिए कार्तीय निर्देशांक $$(x, y, z) = (\sin b \cos C, \sin b \sin C, \cos b) .$$ है। $$\cos c$$ का मान दो कार्तीय सदिशों का डॉट गुणनफल है, जो $$\sin a \sin b \cos C + \cos a \cos b .$$ है।

द्वितीय प्रमाण

मान लीजिए $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$ को स्वयं में मैप करता है। इन तीन घूर्णी संक्रियाओं को चतुर्भुजों द्वारा दर्शाया जा सकता है:

$$ \begin{align} q_A &= \cos \frac{a}{2} + \mathbf{A} \sin \frac{a}{2}, \\ q_B &= \cos \frac{b}{2} + \mathbf{B} \sin \frac{b}{2}, \\ q_C &= \cos \frac{c}{2} + \mathbf{C} \sin \frac{c}{2}, \end{align} $$ जहाँ $$\mathbf{A} ,$$ $$\mathbf{B} ,$$ और $$\mathbf{C}$$ क्रमशः दाएँ हाथ के नियम द्वारा परिभाषित इकाई सदिश घूर्णन के अक्षों का प्रतिनिधित्व करते हैं। इन तीन घूर्णनों की संरचना समानता $$q_C q_B q_A = 1.$$ है। दोनों पक्षों को संयुग्म $$q_A^* q_B^* ,$$ गुणा करने पर हमें $$q_C = q_A^* q_B^* ,$$ प्राप्त होता है जहाँ $q_A^* = \cos \frac{a}{2} - \mathbf{A} \sin \frac{a}{2}$ और $q_B^* = \cos \frac{b}{2} - \mathbf{B} \sin \frac{b}{2} .$  हैं। इससे हमें निम्नलिखित प्रमाण प्राप्त होता है-

$$\cos \frac{c}{2} + \mathbf{C} \sin \frac{c}{2} = \left(\cos \frac{a}{2} - \mathbf{A} \sin \frac{a}{2}\right) \left( \cos \frac{b}{2} - \mathbf{B} \sin \frac{b}{2} \right).$$ इस प्रमाण के दाहिनी ओर चतुर्भुज गुणनफल द्वारा दिया गया है-

$$\left(\cos \frac{a}{2} \cos \frac{b}{2} - \mathbf{A} \cdot \mathbf{B} \sin \frac{a}{2} \sin \frac{b}{2} \right) - \left(\mathbf{A} \sin \frac{a}{2} \cos \frac{b}{2} + \mathbf{B} \cos \frac{a}{2} \sin \frac{b}{2} - \mathbf{A} \times \mathbf{B} \sin \frac{a}{2} \sin \frac{b}{2} \right).$$ सर्वसमिका के दोनों ओर के अदिश भागों को समान करने पर, हमें प्राप्त होता है-

$$\cos \frac{c}{2} = \cos \frac{a}{2} \cos \frac{b}{2} - \mathbf{A} \cdot \mathbf{B} \sin \frac{a}{2} \sin \frac{b}{2}.$$ जहाँ $$\mathbf{A} \cdot \mathbf{B} = \cos (\pi - C) = - \cos C .$$ चूँकि यह पहचान किसी भी चाप कोण के लिए मान्य होती है, इसलिए हम अर्ध भाग को अवरोधित कर देते हैं-

$$\cos c = \cos a \cos b + \cos C \sin a \sin b.$$ हम प्रथम $$\mathbf{A} \times \mathbf{B} = -\mathbf{u} \sin C$$ को अंकित करके और तत्पश्चात पहचान के दोनों पक्षों पर सदिश भागों को समरूप करके साइन नियम को भी पुनर्प्राप्त कर सकते हैं-

$$\mathbf{C} \sin \frac{c}{2} = -\left( \mathbf{A} \sin \frac{a}{2} \cos \frac{b}{2} + \mathbf{B} \cos \frac{a}{2} \sin \frac{b}{2} + \mathbf{u} \sin C \sin \frac{a}{2} \sin \frac{b}{2} \right). $$ सदिश $$\mathbf{u}$$ दोनों सदिशों $$\mathbf{A}$$ और $$\mathbf{B} ,$$ के लिए ओर्थोगोनल है और इस प्रकार $$\mathbf{u} \cdot \mathbf{A} = \mathbf{u} \cdot \mathbf{B} = 0 .$$ है। दोनों ओर $$\mathbf{u}$$ के संबंध में डॉट गुणनफल लेने और भागों को अवरोधित करने पर, हमारे निकट $$ \mathbf{u} \cdot \mathbf{C} \sin c = -\sin C \sin a \sin b.$$ है। अब $$\mathbf{v} \times \mathbf{w} = -\mathbf{C} \sin c$$ और इसलिए हमारे निकट $$ \mathbf{u} \cdot (\mathbf{v} \times \mathbf{w}) = -\mathbf{u} \cdot \mathbf{C} \sin c = \sin C \sin a \sin b. $$ है। प्रत्येक पक्ष को $$\sin a \sin b \sin c ,$$ से विभाजित करने पर, हमारे निकट है-

$$\frac{\sin C}{\sin c} = \frac{\mathbf{u} \cdot (\mathbf{w} \times \mathbf{v})}{\sin a \sin b \sin c}.$$ चूँकि उपरोक्त अभिव्यक्ति का दाहिना भाग चक्रीय क्रमपरिवर्तन द्वारा अपरिवर्तित है, हमारे निकट है

$$\frac{\sin A}{\sin a} = \frac{\sin B}{\sin b} = \frac{\sin C}{\sin c}.$$पुनर्व्यवस्था
कोज्या के प्रथम और द्वितीय गोलाकार नियमों को समीकरणों के विपरीत पक्षों पर भुजाओं ($v$) और कोणों ($a, b, c$) को रखने के लिए पुनर्व्यवस्थित किया जा सकता है: $$\begin{align} \cos C &= \frac{\cos c - \cos a \cos b}{\sin a \sin b} \\ \cos c &= \frac{\cos C + \cos A \cos B}{\sin A \sin B} \\ \end{align}$$

समतलीय सीमा: छोटे कोण
छोटे गोलाकार त्रिभुजों के लिए, अर्थात छोटे $A, B, C$, और $a, b$ के लिए, कोज्या का गोलाकार नियम लगभग कोज्या के सामान्य समतलीय नियम के समान है, $$c^2 \approx a^2 + b^2 - 2ab\cos C \,.$$ इसे प्रमाणित करने के लिए, हम कोज्या और साइन फलन के लिए मैकलॉरिन श्रृंखला से प्राप्त छोटे-कोण सन्निकटन का उपयोग करेंगे: $$\begin{align} \cos a &= 1 - \frac{a^2}{2} + O\left(a^4\right) \\ \sin a &= a + O\left(a^3\right) \end{align}$$ इन अभिव्यक्तियों को कोज्या जाल के गोलाकार नियम में प्रतिस्थापित करना:

$$ 1 - \frac{c^2}{2} + O\left(c^4\right) = 1 - \frac{a^2}{2} - \frac{b^2}{2} + \frac{a^2 b^2}{4} + O\left(a^4\right) + O\left(b^4\right) + \cos(C)\left(ab + O\left(a^3 b\right) + O\left(ab^3\right) + O\left(a^3 b^3\right)\right) $$ अथवा सरलीकरण के पश्चात:

$$c^2 = a^2 + b^2 - 2ab\cos C + O\left(c^4\right) + O\left(a^4\right) + O\left(b^4\right) + O\left(a^2 b^2\right) + O\left(a^3 b\right) + O\left(ab^3\right) + O\left(a^3 b^3\right).$$ $c$ और $a$ के लिए बड़े O शब्दों पर $b$ का प्रभुत्व है क्योंकि $O(a^{4}) + O(b^{4})$ और $a$ छोटे हो जाते हैं, इसलिए हम इस अंतिम अभिव्यक्ति को इस प्रकार अंकित कर सकते हैं:

$$c^2 = a^2 + b^2 - 2ab\cos C + O\left(a^4\right) + O\left(b^4\right) + O\left(c^4\right).$$

इतिहास
मुहम्मद इब्न मूसा अल-ख्वारिज्मी (9वें दशक), अल-बत्तानी (9वें दशक), और नीलकंठ सोमयाजी (15वें दशक) द्वारा कोज्या के गोलाकार नियम के समतुल्य कुछ का उपयोग किया गया था (किन्तु सामान्य रूप से नहीं बताया गया था)।

यह भी देखें

 * अर्ध-पक्षीय सूत्र
 * कोज्या का अतिपरवलयिक नियम
 * त्रिभुजों का हल
 * साइन का गोलाकार नियम