त्रिकोणमिति में, स्पर्शरेखा आधा-कोण सूत्र आधे कोण के स्पर्शरेखा को पूरे कोण के त्रिकोणमितीय कार्यों से संबंधित करते हैं। आधे कोण की स्पर्शरेखा एक रेखा पर वृत्त का त्रिविम प्रक्षेपण है। इनमें से सूत्र निम्नलिखित हैं:
इनमें से कोई भी साइन, कोसाइन और स्पर्शरेखा को आधे कोणों के स्पर्शरेखा के कार्यों के रूप में व्यक्त करने वाली पहचान प्राप्त कर सकता है:
द्वि-कोण सूत्रों और पाइथागोरस की पहचान का उपयोग करना देता है
साइन और कोसाइन के सूत्रों का भागफल लेने पर प्राप्त होता है
कोज्या के लिए द्वि-कोण सूत्र के साथ पाइथागोरस की पहचान का संयोजन, ,
पुनर्व्यवस्थित करना, और वर्गमूल लेने से प्राप्त होता है
और
जो, विभाजन पर देता है
वैकल्पिक रूप से,
यह पता चला है कि इन अंतिम दो फ़ार्मुलों में निरपेक्ष मान चिह्नों को छोड़ दिया जा सकता है, चाहे कोई भी चतुर्थांश हो α में है। निरपेक्ष मान बार के साथ या उसके बिना ये सूत्र तब लागू नहीं होते हैं जब दाहिनी ओर अंश और हर दोनों शून्य होते हैं।
इसके अलावा, साइन और कोसाइन दोनों के लिए कोण जोड़ और घटाव सूत्रों का उपयोग करके प्राप्त किया जाता है:
उपरोक्त चार सूत्रों के जोड़ो में योग से प्राप्त होता है:
स्थापना और और प्रतिस्थापन उपज:
साइन के योग को कोसाइन के योग से विभाजित करने पर एक व्यक्ति आता है:
ज्यामितीय प्रमाण
इस समचतुर्भुज की भुजाओं की लंबाई 1 है। क्षैतिज रेखा और दिखाए गए विकर्ण के बीच का कोण है1/2 (a + b). यह विशेष स्पर्शरेखा अर्ध-कोण सूत्र को सिद्ध करने का एक ज्यामितीय तरीका है जो कहता है tan 1/2 (a + b) = (sin a + sin b) / (cos a + cos b). सूत्र sin 1/2(a + b) और cos 1/2(a + b) विकर्ण की लंबाई के लिए वास्तविक दूरियों के अनुपात हैं।
ऊपर दिए गए सूत्र को दाईं ओर समचतुर्भुज आकृति पर लागू करना, यह आसानी से दिखाया गया है
यूनिट सर्कल में, ऊपर के आवेदन से पता चलता है कि . समरूप त्रिभुजों द्वारा,
.
यह इस प्रकार है कि
== अभिन्न कलन == में स्पर्शरेखा आधा कोण प्रतिस्थापन
त्रिकोणमिति के विभिन्न अनुप्रयोगों में, नए चर के तर्कसंगत कार्यों के संदर्भ में त्रिकोणमितीय कार्यों (जैसे साइन और कोज्या) को फिर से लिखना उपयोगी होता है . की परिभाषा के कारण इन सर्वसमिकाओं को सामूहिक रूप से स्पर्शरेखा अर्ध-कोण सूत्रों के रूप में जाना जाता है . ये सर्वसमिकाएँ साइन और कोसाइन के परिमेय फलनों को के फलनों में बदलने के लिए गणना में उपयोगी हो सकती हैं t ताकि उनके antiderivative का पता लगाया जा सके।
ज्यामितीय रूप से, निर्माण इस प्रकार होता है: किसी भी बिंदु के लिए (cos φ, sin φ)यूनिट सर्कल पर, इसके माध्यम से जाने वाली रेखा और बिंदु को खींचें (−1, 0). यह बिंदु पार करता है y-अक्ष किसी बिंदु पर y = t. कोई साधारण ज्यामिति का उपयोग करके दिखा सकता है कि t = tan(φ/2). खींची गई रेखा के लिए समीकरण है y = (1 + x)t. रेखा और वृत्त के प्रतिच्छेदन के लिए समीकरण तब एक द्विघात समीकरण है जिसमें शामिल है t. इस समीकरण के दो हल हैं (−1, 0) और (cos φ, sin φ). यह हमें उत्तरार्द्ध को तर्कसंगत कार्यों के रूप में लिखने की अनुमति देता है t (समाधान नीचे दिए गए हैं)।
पैरामीटर t बिंदु के त्रिविम प्रक्षेपण का प्रतिनिधित्व करता है (cos φ, sin φ) उस पर yप्रक्षेपण के केंद्र के साथ अक्ष (−1, 0). इस प्रकार, स्पर्शरेखा अर्ध-कोण सूत्र त्रिविम समन्वय के बीच रूपांतरण देते हैं t यूनिट सर्कल और मानक कोणीय समन्वय पर φ.
तो हमारे पास हैं
और
सीधे ऊपर और की प्रारंभिक परिभाषा के बीच फाई को हटाकर , प्राकृतिक लघुगणक के संदर्भ में चापस्पर्शज्या के लिए निम्नलिखित उपयोगी संबंध पर आता है
कलन में, वीयरस्ट्रैस प्रतिस्थापन का उपयोग के तर्कसंगत कार्यों के प्रतिपक्षी खोजने के लिए किया जाता है sin φ औरcos φ. सेटिंग के बाद
अतिशयोक्तिपूर्ण कार्यों के साथ एक पूरी तरह से अनुरूप खेल खेल सकते हैं। हाइपरबोला पर (दाहिनी शाखा) पर एक बिंदु दिया जाता है(cosh ψ, sinh ψ). इसे प्रोजेक्ट करना yकेंद्र से अक्ष (−1, 0) निम्नलिखित देता है:
पहचान के साथ
और
खोज ψ के अनुसार t व्युत्क्रम अतिशयोक्तिपूर्ण कार्यों के बीच निम्नलिखित संबंध की ओर जाता है और प्राकृतिक लघुगणक:
अतिशयोक्तिपूर्ण पहचान की तुलना परिपत्र वाले से करते हुए, एक नोटिस करता है कि वे समान कार्यों को शामिल करते हैं t, बस अनुमत। यदि हम पैरामीटर की पहचान करते हैं t दोनों ही मामलों में हम वृत्तीय फलनों और अतिपरवलयिक फलनों के बीच संबंध पर पहुंचते हैं। यानी अगर
तब
कहां gd(ψ)गुडरमैनियन समारोह है। गुडरमेनियन फलन वृत्तीय फलनों और अतिपरवलयिक फलनों के बीच एक सीधा संबंध देता है जिसमें सम्मिश्र संख्याएँ शामिल नहीं होतीं। स्पर्शरेखा अर्ध-कोण सूत्रों के उपरोक्त विवरण (यूनिट सर्कल और मानक हाइपरबोला का प्रक्षेपण y-एक्सिस) इस फ़ंक्शन की ज्यामितीय व्याख्या दें।
यदि tan φ/2 एक परिमेय संख्या है तो प्रत्येक sin φ, cos φ, tan φ, sec φ, csc φ, और cot φ एक परिमेय संख्या होगी (या अनंत होगी)। इसी प्रकार यदि tanh ψ/2 एक परिमेय संख्या है तो प्रत्येक sinh ψ, cosh ψ, tanh ψ, sech ψ, csch ψ, और coth ψ एक परिमेय संख्या होगी (या अनंत होगी)। यह पायथागॉरियन त्रिक के साथ सहायक है; त्रिकोण के एसएएस क्षेत्र सूत्र के कारण प्रत्येक आंतरिक कोण में एक परिमेय ज्या होती है और कोसाइन के नियम के कारण परिमेय कोज्या होती है। इनका अर्थ है कि अर्ध-कोण स्पर्शरेखा आवश्यक रूप से परिमेय है। इसके विपरीत, जब एक अर्ध-कोण स्पर्शरेखा अंतराल में एक परिमेय संख्या होती है (0, 1) तब पूर्ण-कोण ज्या और कोज्या दोनों परिमेय होंगे, और एक समकोण त्रिभुज है जिसमें पूर्ण कोण है और जिसकी भुजाओं की लंबाई पायथागॉरियन ट्रिपल हैं।
सामान्य तौर पर, अगर K तब सम्मिश्र संख्याओं का एक क्षेत्र विस्तार है tan φ/2 ∈ K इसका आशय है {sin φ, cos φ, tan φ, sec φ, csc φ, cot φ} ⊆ K ∪ {∞}. के बारे में इसी तरह का बयान दिया जा सकता है tanh ψ/2.