गणितीय सर्वसमिका: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Equation that is satisfied for all values of the variables}} {{Distinguish|identity element|identity function|identity matrix}} File:Trig functions on un...")
 
No edit summary
 
(8 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Equation that is satisfied for all values of the variables}}
{{Short description|Equation that is satisfied for all values of the variables}}
{{Distinguish|identity element|identity function|identity matrix}}
{{Distinguish|सर्वसमिका तथ्य|सर्वसमिका फलन |सर्वसमिका आव्यूह (मैट्रिक्स)}}
[[File:Trig functions on unit circle.PNG|thumb|[[पायथागॉरियन पहचान]] का दृश्य प्रमाण: किसी भी कोण के लिए <math>\theta</math>, बिंदु <math>(x, y) = (\cos\theta, \sin\theta)</math> इकाई वृत्त पर स्थित है, जो समीकरण को संतुष्ट करता है <math>x^2 + y^2 =1</math>. इस प्रकार, <math>\cos^2\theta + \sin^2\theta =1</math>.]]गणित में, एक पहचान एक [[समानता (गणित)]] है जो एक [[गणितीय अभिव्यक्ति]] ''A'' को दूसरे गणितीय अभिव्यक्ति ''B'' से संबंधित करती है, जैसे कि ''A'' और ''B'' (जिसमें कुछ चर शामिल हो सकते हैं ( गणित)) वैधता की एक निश्चित सीमा के भीतर चर के सभी मूल्यों के लिए समान मूल्य उत्पन्न करते हैं।<ref name=":1">{{Cite web|url=https://www.mathwords.com/i/identity.htm|title=गणित: पहचान|website=www.mathwords.com|access-date=2019-12-01}}</ref> दूसरे शब्दों में, A = B एक पहचान है यदि A और B एक ही फ़ंक्शन (गणित) को परिभाषित करते हैं, और एक पहचान अलग-अलग परिभाषित फ़ंक्शन के बीच एक समानता है। उदाहरण के लिए, <math>(a+b)^2 = a^2 + 2ab + b^2</math> तथा <math>\cos^2\theta + \sin^2\theta =1</math> पहचान हैं।<ref name=":1" />पहचान को कभी-कभी [[ट्रिपल बार]] प्रतीक द्वारा दर्शाया जाता है {{math|}} के बजाय {{math|1==}}, [[बराबर का चिह्न]]<ref name=":2">{{Cite web|url=https://www.mathopenref.com/identity.html|title=पहचान - गणित शब्द की परिभाषा - गणित खुला संदर्भ|website=www.mathopenref.com|access-date=2019-12-01}}</ref>
[[File:Trig functions on unit circle.PNG|thumb|[[पायथागॉरियन पहचान]] का दृश्य प्रमाण: किसी भी कोण के लिए <math>\theta</math>, बिंदु <math>(x, y) = (\cos\theta, \sin\theta)</math> इकाई वृत्त पर स्थित है, जो समीकरण को संतुष्ट करता है <math>x^2 + y^2 =1</math>. इस प्रकार, <math>\cos^2\theta + \sin^2\theta =1</math>.]]गणित में, एक पहचान एक गणितीय अभिव्यक्ति A से दूसरे [[गणितीय अभिव्यक्ति]] B से संबंधित एक [[समानता (गणित)|समानता]] है, जैसे कि ''A'' और ''B''(जिसमें कुछ चर सम्मिलित हो सकते हैं) वैधता की एक निश्चित सीमा के भीतर चर के सभी मूल्यों के लिए समान मूल्य देते हैं।<ref name=":1">{{Cite web|url=https://www.mathwords.com/i/identity.htm|title=गणित: पहचान|website=www.mathwords.com|access-date=2019-12-01}}</ref> दूसरे शब्दों में, A = B एक पहचान है यदि A और B एक ही कार्य को परिभाषित करते हैं, और एक पहचान भिन्न रूप से परिभाषित कार्यों के बीच एक समानता है। उदाहरण के लिए <math>(a+b)^2 = a^2 + 2ab + b^2</math> और <math>\cos^2\theta + \sin^2\theta =1</math> तत्समक हैं। <ref name=":1" /> पहचान को कभी-कभी [[ट्रिपल बार]] प्रतीक ≡ के बजाय [[बराबर का चिह्न]] = द्वारा दर्शाया जाता है।<ref name=":2">{{Cite web|url=https://www.mathopenref.com/identity.html|title=पहचान - गणित शब्द की परिभाषा - गणित खुला संदर्भ|website=www.mathopenref.com|access-date=2019-12-01}}</ref>
 
== सामान्य सर्वसमिका ==
 
== सामान्य पहचान ==


=== बीजगणितीय सर्वसमिका ===
=== बीजगणितीय सर्वसमिका ===
{{See also|Factorization#Recognizable patterns}}
{{See also|गुणनखण्ड पहचानने योग्य पैटर्न}}
कुछ पहचान, जैसे <math>a+0=a</math> तथा <math>a+(-a)=0</math>, [[बीजगणित]] का आधार बनता है,<ref>{{Cite web|url=http://www.math.com/tables/algebra/basicidens.htm|title=बुनियादी पहचान|website=www.math.com|access-date=2019-12-01}}</ref> जबकि अन्य पहचान, जैसे <math>(a+b)^2 = a^2 + 2ab +b^2</math> तथा <math>a^2 - b^2 = (a+b)(a-b)</math>, बीजगणितीय व्यंजकों को सरल बनाने और उनका विस्तार करने में उपयोगी हो सकता है।<ref>{{Cite web|url=http://www.sosmath.com/tables/algiden/algiden.html|title=बीजीय पहचान|website=www.sosmath.com|access-date=2019-12-01}}</ref>


कुछ सर्वसमिकाएँ, जैसे <math>a+0=a</math> और <math>a+(-a)=0</math> [[बीजगणित]] का आधार बनती हैं,<ref>{{Cite web|url=http://www.math.com/tables/algebra/basicidens.htm|title=बुनियादी पहचान|website=www.math.com|access-date=2019-12-01}}</ref> जबकि अन्य, जैसे <math>(a+b)^2 = a^2 + 2ab +b^2</math> और <math>a^2 - b^2 = (a+b)(a-b)</math> बीजीय व्यंजकों को सरल और विस्तृत करने के लिए उपयोगी हो सकता है।<ref>{{Cite web|url=http://www.sosmath.com/tables/algiden/algiden.html|title=बीजीय पहचान|website=www.sosmath.com|access-date=2019-12-01}}</ref>
=== त्रिकोणमितीय सर्वसमिकाएँ ===
{{Main|त्रिकोणमितीय सर्वसमिकाओं की सूची}}


=== त्रिकोणमितीय पहचान ===
ज्यामितीय रूप से, त्रिकोणमितीय सर्वसमिकाएँ एक या अधिक कोणों से कुछ कार्यों से संबंधित पहचान हैं।<ref>{{Cite web|url=https://www.purplemath.com/modules/idents.htm|title=त्रिकोणमितीय पहचान|last=Stapel|first=Elizabeth|website=Purplemath|access-date=2019-12-01}}</ref> वे त्रिभुजों की सर्वसमिकाओं से भिन्न होते हैं, जो एक त्रिभुज के दो कोणों और भुजाओं की लंबाई की पहचान होती हैं। यह लेख केवल पूर्व को कवर करता है।
{{Main|List of trigonometric identities}}
ज्यामितीय रूप से, [[त्रि[[कोण]]मितीय पहचान]] एक या अधिक कोणों के कुछ कार्यों को शामिल करने वाली पहचान है।<ref>{{Cite web|url=https://www.purplemath.com/modules/idents.htm|title=त्रिकोणमितीय पहचान|last=Stapel|first=Elizabeth|website=Purplemath|access-date=2019-12-01}}</ref> वे [[त्रिकोण]]मिति # त्रिभुज की पहचान से अलग हैं, जो एक त्रिकोण के दोनों कोणों और भुजाओं की लंबाई से संबंधित पहचान हैं। इस लेख में केवल पूर्व को शामिल किया गया है।


जब भी त्रिकोणमितीय कार्यों को शामिल करने वाले भावों को सरल बनाने की आवश्यकता होती है, तब ये सर्वसमिकाएँ उपयोगी होती हैं। एक अन्य महत्वपूर्ण अनुप्रयोग गैर-त्रिकोणमितीय कार्यों का [[अभिन्न]] अंग है: एक सामान्य तकनीक जिसमें पहले [[त्रिकोणमितीय प्रतिस्थापन]] का उपयोग करना शामिल है, और फिर त्रिकोणमितीय पहचान के साथ परिणामी अभिन्न को सरल बनाना।
जब भी त्रिकोणमितीय कार्यों को सम्मिलित करने वाले भावों को सरल बनाने की आवश्यकता होती है, तब ये सर्वसमिकाएँ उपयोगी होती हैं। एक अन्य महत्वपूर्ण अनुप्रयोग गैर-त्रिकोणमितीय कार्यों का एकीकरण है: एक सामान्य तकनीक जिसमें पहले [[त्रिकोणमितीय प्रतिस्थापन|त्रिकोणमितीय]] फलन के साथ प्रतिस्थापन नियम का उपयोग करना और फिर त्रिकोणमितीय सर्वसमिकाओं के साथ परिणामी [[अभिन्न]] को सरल बनाना सम्मिलित है।


त्रिकोणमितीय पहचान के सबसे प्रमुख उदाहरणों में समीकरण शामिल है <math>\sin^2 \theta + \cos^2 \theta = 1,</math> के सभी [[वास्तविक संख्या]] मानों के लिए सत्य है <math>\theta</math>. दूसरी ओर, समीकरण
त्रिकोणमितीय सर्वसमिका के सबसे प्रमुख उदाहरणों में समीकरण <math>\sin^2 \theta + \cos^2 \theta = 1,</math> सम्मिलित है, जो <math>\theta</math> के सभी [[वास्तविक संख्या|वास्तविक मूल्यों]] के लिए सत्य है। दूसरी ओर समीकरण
:<math>\cos\theta = 1</math>
:<math>\cos\theta = 1</math>
के कुछ मानों के लिए ही सत्य है <math>\theta</math>, सब नहीं। उदाहरण के लिए, यह समीकरण सत्य है जब <math>\theta = 0,</math> लेकिन झूठा कब <math>\theta = 2</math>.
केवल <math>\theta</math> के कुछ मानों के लिए सत्य है, सभी के लिए नहीं। उदाहरण के लिए, यह समीकरण तब सत्य होता है जब <math>\theta = 0,</math> होता है, लेकिन असत्य होता है जब <math>\theta = 2</math> होता है।
 
त्रिकोणमितीय सर्वसमिकाओं का एक अन्य समूह तथाकथित जोड़/घटाव सूत्रों से संबंधित है(उदाहरण के लिए द्वि-कोण पहचान <math>\sin(2\theta) = 2\sin\theta \cos\theta</math>  <math>\tan(x + y)</math>,<ref name=":2" /> के लिए अतिरिक्त सूत्र जिसका उपयोग बड़े कोणों के व्यंजकों को छोटे घटकों वाले व्यंजकों में विभाजित करने के लिए किया जा सकता है।


त्रिकोणमितीय सर्वसमिकाओं का एक अन्य समूह तथाकथित जोड़/घटाव सूत्रों से संबंधित है (उदाहरण के लिए दोहरे कोण की पहचान <math>\sin(2\theta) = 2\sin\theta \cos\theta</math>, के लिए अतिरिक्त सूत्र <math>\tan(x + y)</math>),<ref name=":2" />जिसका उपयोग बड़े कोणों के व्यंजकों को छोटे घटकों वाले व्यंजकों में विभाजित करने के लिए किया जा सकता है।
=== घातीय सर्वसमिका ===
{{Main|घातांक}}


=== घातीय पहचान ===
निम्नलिखित सर्वसमिकाएं सभी [[पूर्णांक]] घातांकों के लिए मान्य हैं, यद्यपि आधार शून्य न हो:
{{Main|Exponentiation}}
निम्नलिखित सर्वसमिकाएँ सभी [[पूर्णांक]] घातांकों के लिए मान्य हैं, बशर्ते कि आधार शून्य न हो:
:<math>\begin{align}
:<math>\begin{align}
       b^{m + n} &= b^m \cdot b^n \\
       b^{m + n} &= b^m \cdot b^n \\
Line 31: Line 30:
   (b \cdot c)^n &= b^n \cdot c^n
   (b \cdot c)^n &= b^n \cdot c^n
\end{align}</math>
\end{align}</math>
जोड़ और गुणा के विपरीत, घातांक क्रम[[विनिमेय]] नहीं है। उदाहरण के लिए, {{nowrap|1=2 + 3 = 3 + 2 = 5}} तथा {{nowrap|1=2 · 3 = 3 · 2 = 6}}, लेकिन {{nowrap|1=2<sup>3</sup> = 8}} जबकि {{nowrap|1=3<sup>2</sup> = 9}}.
जोड़ और गुणा के विपरीत, घातांक [[विनिमेय]] नहीं है। उदाहरण के लिए, {{nowrap|1=2 + 3 = 3 + 2 = 5}} और {{nowrap|1=2 · 3 = 3 · 2 = 6}} परंतु {{nowrap|1=2<sup>3</sup> = 8}} जबकि {{nowrap|1=3<sup>2</sup> = 9}}


जोड़ और गुणा के विपरीत, घातांक भी साहचर्य नहीं है। उदाहरण के लिए, {{nowrap|1=(2 + 3) + 4 = 2 + (3 + 4) = 9}} तथा {{nowrap|1=(2 · 3) · 4 = 2 · (3 · 4) = 24}}, लेकिन 2<sup>3</sup> से 4 तक 8 है<sup>4</sup> (या 4,096) जबकि 2 से 3<sup>4</sup> 2 है<sup>81</sup> (या 2,417,851,639,229,258,349,412,352)। जब कोई कोष्ठक नहीं लिखा जाता है, तो प्रथा के अनुसार क्रम ऊपर-नीचे होता है, नीचे-ऊपर नहीं:
योग और गुणन के विपरीत, घातांक भी साहचर्य नहीं है। उदाहरण के लिए, {{nowrap|1=(2 + 3) + 4 = 2 + (3 + 4) = 9}} और {{nowrap|1=(2 · 3) · 4 = 2 · (3 · 4) = 24}}, लेकिन 2<sup>3</sup> से 4 है 8<sup>4</sup> (या 4,096)जबकि 2 से 3<sup>4</sup> है 2<sup>81</sup>(या 2,417,851,639,229,258,349,412,352)। जब किसी कोष्ठक का उपयोग नहीं किया जाता है, तो परंपरा के अनुसार क्रम ऊपर-नीचे होता है, न कि नीचे-ऊपर:
:<math>b^{p^q} := b^{(p^q)} ,</math> जबकि <math>(b^p)^q = b^{p \cdot q}.</math>
:<math>b^{p^q} := b^{(p^q)} ,</math> जबकि <math>(b^p)^q = b^{p \cdot q}.</math>
 
=== लघुगणकीय सर्वसमिकाएँ ===
 
{{Main|लघुगणकीय सर्वसमिकाएँ}}
=== लघुगणकीय पहचान ===
{{Main|Logarithmic identities}}
कई महत्वपूर्ण सूत्र, जिन्हें कभी-कभी लघुगणकीय पहचान या लॉग कानून कहा जाता है, लघुगणक को एक दूसरे से संबंधित करते हैं:{{efn|All statements in this section can be found in {{harvnb|Shirali|2002|p=|loc=Section 4}}, {{harvnb|Downing|2003|p=275}}, or {{harvnb|Kate|Bhapkar|2009|p=1-1}}, for example.}}
कई महत्वपूर्ण सूत्र, जिन्हें कभी-कभी लघुगणकीय पहचान या लॉग कानून कहा जाता है, लघुगणक को एक दूसरे से संबंधित करते हैं:{{efn|All statements in this section can be found in {{harvnb|Shirali|2002|p=|loc=Section 4}}, {{harvnb|Downing|2003|p=275}}, or {{harvnb|Kate|Bhapkar|2009|p=1-1}}, for example.}}
 
==== गुणनफल, भागफल, शक्ति और मूल ====
 
किसी गुणनफल का लघुगणक गुणित की जाने वाली संख्याओं के लघुगणकों का योग होता है; दो संख्याओं के अनुपात का लघुगणक, लघुगणकों के बीच का अंतर है। किसी संख्या का {{mvar|p}}<sup>th</sup> घात का लघुगणक स्वयं संख्या के लघुगणक का {{mvar|p}} गुना है; {{mvar|p}}<sup>th</sup> मूल का लघुगणक {{mvar|p}} से विभाजित संख्या का लघुगणक है। निम्नलिखित तालिका उदाहरणों के साथ इन सर्वसमिकाओं को सूचीबद्ध करती है। बाईं ओर लॉगरिदमिक परिभाषा <math>x=b^{\log_b x},</math> और/या <math>y=b^{\log_b y},</math>को प्रतिस्थापित करके प्रत्येक पहचान प्राप्त की जा सकती है।
==== गुणन, भागफल, शक्ति और मूल ====
किसी गुणनफल का लघुगणक गुणा की जा रही संख्याओं के लघुगणकों का योग होता है; दो संख्याओं के अनुपात का लघुगणक लघुगणक का अंतर है। का लघुगणक {{mvar|p}}संख्या की शक्ति है {{mvar|p}} स्वयं संख्या के लघुगणक का गुणा; ए का लघुगणक {{mvar|p}}वें मूल द्वारा विभाजित संख्या का लघुगणक है {{mvar|p}}. निम्न तालिका उदाहरणों के साथ इन पहचानों को सूचीबद्ध करती है। लघुगणक परिभाषाओं के प्रतिस्थापन के बाद प्रत्येक पहचान प्राप्त की जा सकती है  <math>x=b^{\log_b x},</math> और/या <math>y=b^{\log_b y},</math> बाएँ पक्ष में।


{| class="wikitable" style="margin:1em auto;"
{| class="wikitable" style="margin:1em auto;"
! !! Formula !! Example
! !! सूत्र !! उदाहरण
|-
|-
| product || <cite id=labegarithmProducts><math>\log_b(x y) = \log_b(x) + \log_b(y)</math></cite>|| <math>\log_3(243) = \log_3(9 \cdot 27) = \log_3(9) + \log_3(27) = 2 + 3 = 5</math>
| गुणन || <cite id="labegarithmProducts"><math>\log_b(x y) = \log_b(x) + \log_b(y)</math></cite>|| <math>\log_3(243) = \log_3(9 \cdot 27) = \log_3(9) + \log_3(27) = 2 + 3 = 5</math>
|-
|-
| quotient || <math>\log_b\! \left( \frac{x}{y} \right) = \log_b(x) - \log_b(y)</math>|| <math>\log_2(16) = \log_2\!\left( \frac{64}{4} \right) = \log_2(64) - \log_2(4) = 6 - 2 = 4</math>
| भागफल || <math>\log_b\! \left( \frac{x}{y} \right) = \log_b(x) - \log_b(y)</math>|| <math>\log_2(16) = \log_2\!\left( \frac{64}{4} \right) = \log_2(64) - \log_2(4) = 6 - 2 = 4</math>
|-
|-
| power || <cite id=labelLogarithmPowers><math>\log_b(x^p) = p \log_b(x)</math></cite>|| <math>\log_2(64) = \log_2(2^6) = 6 \log_2 (2) = 6</math>
| घात || <cite id="labelLogarithmPowers"><math>\log_b(x^p) = p \log_b(x)</math></cite>|| <math>\log_2(64) = \log_2(2^6) = 6 \log_2 (2) = 6</math>
|-
|-
| root || <math>\log_b\! \sqrt[p]{x} = \frac{\log_b(x)} p</math>|| <math>\log_{10}\! \sqrt{1000} = \frac{1}{2}\log_{10} 1000 = \frac{3}{2} = 1.5</math>
| मूल || <math>\log_b\! \sqrt[p]{x} = \frac{\log_b(x)} p</math>|| <math>\log_{10}\! \sqrt{1000} = \frac{1}{2}\log_{10} 1000 = \frac{3}{2} = 1.5</math>
|}
|}




==== आधार परिवर्तन ====
==== आधार परिवर्तन ====
लघुगणक लॉग<sub>''b''</sub>(x) निम्नलिखित सूत्र का उपयोग करके मनमाने आधार k के संबंध में x और b के लघुगणक से गणना की जा सकती है:
लघुगणक log<sub>''b''</sub>(''x'') की गणना x और b के लघुगणक से की जा सकती है, जो कि निम्नलिखित सूत्र का उपयोग करके एक इच्छित आधार k के संबंध में है:
: <उद्धरण आईडी = लेबललॉगरिदमबेस चेंज><math> \log_b(x) = \frac{\log_k(x)}{\log_k(b)}.</math></उद्धरण>
: <math> \log_b(x) = \frac{\log_k(x)}{\log_k(b)}.</math>
विशिष्ट वैज्ञानिक कैलकुलेटर 10 और ई (गणितीय स्थिरांक) के आधार पर लघुगणक की गणना करते हैं।<ref>{{Citation | last1=Bernstein | first1=Stephen | last2=Bernstein | first2=Ruth | title=Schaum's outline of theory and problems of elements of statistics. I, Descriptive statistics and probability | publisher=[[McGraw-Hill]] | location=New York | series=Schaum's outline series | isbn=978-0-07-005023-5 | year=1999 | url-access=registration | url=https://archive.org/details/schaumsoutlineof00bern }}, p. 21</ref> किसी भी आधार b के संबंध में लघुगणक पिछले सूत्र द्वारा इन दो लघुगणकों में से किसी एक का उपयोग करके निर्धारित किया जा सकता है:
विशिष्ट वैज्ञानिक कैलकुलेटर 10 और e के आधार पर लघुगणक की गणना करते हैं।<ref>{{Citation | last1=Bernstein | first1=Stephen | last2=Bernstein | first2=Ruth | title=Schaum's outline of theory and problems of elements of statistics. I, Descriptive statistics and probability | publisher=[[McGraw-Hill]] | location=New York | series=Schaum's outline series | isbn=978-0-07-005023-5 | year=1999 | url-access=registration | url=https://archive.org/details/schaumsoutlineof00bern }}, p. 21</ref> किसी भी आधार b के संबंध में लघुगणक इन दो लघुगणकों में से किसी एक का उपयोग करके पिछले सूत्र द्वारा निर्धारित किया जा सकता है:
:<math> \log_b (x) = \frac{\log_{10} (x)}{\log_{10} (b)} = \frac{\log_{e} (x)}{\log_{e} (b)}. </math>
:<math> \log_b (x) = \frac{\log_{10} (x)}{\log_{10} (b)} = \frac{\log_{e} (x)}{\log_{e} (b)}. </math>
एक संख्या x और उसके लघुगणक को देखते हुए<sub>''b''</sub>(x) अज्ञात आधार b के लिए, आधार निम्न द्वारा दिया गया है:
किसी अज्ञात आधार b को एक संख्या x और उसका लघुगणक log<sub>''b''</sub>(''x'') दिया गया है, तो आधार इस प्रकार दिया गया है:
: <math> b = x^\frac{1}{\log_b(x)}.</math>
: <math> b = x^\frac{1}{\log_b(x)}.</math>
=== अतिपरवलीय फलन सर्वसमिका ===
{{Main|अतिपरवलीय सर्वसमिका }}


 
अतिपरवलीय कार्य कई सर्वसमिकाओं को संतुष्ट करते हैं, उनमें से सभी त्रिकोणमितीय सर्वसमिकाओं के समान रूप में हैं। वास्तव में, ओसबोर्न के नियम <ref>{{cite journal|jstor=3602492|title=109. अतिशयोक्तिपूर्ण सूत्रों के लिए स्मरक|journal=The Mathematical Gazette|first=G.|last=Osborn|date=1 January 1902|volume=2|issue=34|pages=189|doi=10.2307/3602492|url=https://zenodo.org/record/1449741}}</ref> में कहा गया है कि किसी भी त्रिकोणमितीय पहचान को ज्या और कोज्या की पूर्णांक शक्तियों के संदर्भ में पूरी तरह से विस्तारित किया जा सकता है, साइन को sinh और कोसाइन को cosh में बदलना और प्रत्येक पद के चिह्न को बदलना। एक अतिपरवलयिक पहचान में परिवर्तित किया जा सकता है जिसमें अतिपरवलीय साइन की संख्या भी गुणा की जाती है।<ref>{{cite book
=== अतिशयोक्तिपूर्ण कार्य पहचान ===
{{Main|Hyperbolic function}}
अतिशयोक्तिपूर्ण कार्य कई सर्वसमिकाओं को संतुष्ट करते हैं, वे सभी त्रिकोणमितीय पहचान के रूप में समान हैं। वास्तव में, ओसबोर्न का नियम<ref>{{cite journal|jstor=3602492|title=109. अतिशयोक्तिपूर्ण सूत्रों के लिए स्मरक|journal=The Mathematical Gazette|first=G.|last=Osborn|date=1 January 1902|volume=2|issue=34|pages=189|doi=10.2307/3602492|url=https://zenodo.org/record/1449741}}</ref> बताता है कि कोई भी त्रिकोणमितीय पहचान को साइन और कोसाइन की पूर्णांक शक्तियों के संदर्भ में पूरी तरह से विस्तारित करके, साइन को sinh और कोसाइन को cosh में बदलकर, और प्रत्येक शब्द के चिह्न को बदलकर एक अतिपरवलयिक पहचान में परिवर्तित कर सकता है जिसमें समता का उत्पाद होता है ( गणित) अतिशयोक्तिपूर्ण साइन की संख्या।<ref>{{cite book
  |title=कलन के साथ तकनीकी गणित|edition=3rd
  |title=कलन के साथ तकनीकी गणित|edition=3rd
  |first1=John Charles
  |first1=John Charles
Line 78: Line 72:
  |page=1155
  |page=1155
  |url=https://books.google.com/books?id=PGuSDjHvircC}}, [https://books.google.com/books?id=PGuSDjHvircC&pg=PA1155 Chapter 26, page 1155]</ref>
  |url=https://books.google.com/books?id=PGuSDjHvircC}}, [https://books.google.com/books?id=PGuSDjHvircC&pg=PA1155 Chapter 26, page 1155]</ref>
[[गुडरमैनियन समारोह]] त्रिकोणमितीय फ़ंक्शंस और हाइपरबॉलिक कार्यों के बीच सीधा संबंध देता है जिसमें [[जटिल संख्या]]एं शामिल नहीं होती हैं।


== तर्क और सार्वभौमिक बीजगणित ==
[[गुडरमैनियन समारोह|गुडरमेनियन फलन]] त्रिकोणमितीय फलन और हाइपरबोलिक कार्यों के बीच सीधा संबंध देता है जिसमें [[जटिल संख्या|जटिल संख्याएं]] सम्मिलित नहीं होती हैं।
औपचारिक रूप से, एक सर्वसमिका एक वास्तविक सार्वभौम परिमाणक है जो अच्छी तरह से निर्मित सूत्र#रूप का विधेय तर्क है <math>\forall x_1,\ldots,x_n: s=t,</math> कहाँ पे {{math|''s''}} तथा {{math|''t''}} [[शब्द (तर्क)]] हैं जिनके अलावा कोई अन्य [[मुक्त चर]] नहीं है <math>x_1,\ldots,x_n.</math> क्वांटिफायर उपसर्ग <math>\forall x_1,\ldots,x_n</math> अक्सर अस्पष्ट छोड़ दिया जाता है, जब यह कहा जाता है कि सूत्र एक पहचान है। उदाहरण के लिए, एक [[मोनोइड]] के सिद्धांतों को अक्सर सूत्रों के रूप में दिया जाता है
 
== तर्क और सार्वत्रिक बीजगणित ==
औपचारिक रूप से, एक सर्वसमिका एक वास्तविक सार्वत्रिक परिमाणक है जो अच्छी तरह से निर्मित सूत्र रूप का विधेय तर्क है <math>\forall x_1,\ldots,x_n: s=t,</math> जहाँ पे {{math|''s''}} तथा {{math|''t''}} [[शब्द (तर्क)|शब्द(तर्क)]] हैं जिनके अलावा कोई अन्य [[मुक्त चर]] नहीं है <math>x_1,\ldots,x_n.</math> क्वांटिफायर उपसर्ग <math>\forall x_1,\ldots,x_n</math> अक्सर अस्पष्ट छोड़ दिया जाता है, जब यह कहा जाता है कि सूत्र एक पहचान है। उदाहरण के लिए एक [[मोनोइड]] के सिद्धांतों को अक्सर सूत्रों के रूप में दिया जाता है
:<math>\forall x,y,z: x*(y*z)=(x*y)*z,\quad \forall x: x*1=x, \quad \forall x: 1*x=x,</math>
:<math>\forall x,y,z: x*(y*z)=(x*y)*z,\quad \forall x: x*1=x, \quad \forall x: 1*x=x,</math>
या, शीघ्र ही,
या जल्द ही,
:<math>x*(y*z)=(x*y)*z,\qquad x*1=x, \qquad 1*x=x.</math>
:<math>x*(y*z)=(x*y)*z,\qquad x*1=x, \qquad 1*x=x.</math>
तो, ये सूत्र प्रत्येक मोनॉइड में सर्वसमिका हैं। किसी भी समानता के लिए, क्वांटिफायर के बिना सूत्रों को अक्सर [[समीकरण]] कहा जाता है। दूसरे शब्दों में, एक सर्वसमिका एक समीकरण है जो चरों के सभी मानों के लिए सत्य है।<ref>{{cite book | editor=Jan van Leeuwen | editor-link=Jan van Leeuwen | title=औपचारिक मॉडल और शब्दार्थ| publisher=Elsevier | series=Handbook of Theoretical Computer Science | volume=B | year=1990 | author1=Nachum Dershowitz | author2= Jean-Pierre Jouannaud | author1-link=Nachum Dershowitz | author2-link=Jean-Pierre Jouannaud | contribution=Rewrite Systems | pages=243–320 }}</ref><ref>{{cite book | isbn=3-540-54280-9 | author=Wolfgang Wechsler | title=कंप्यूटर वैज्ञानिकों के लिए सार्वभौमिक बीजगणित| location=Berlin | publisher=Springer | editor1=Wilfried Brauer | editor2= Grzegorz Rozenberg |editor3= Arto Salomaa | editor1-link=Wilfried Brauer | editor2-link= Grzegorz Rozenberg |editor3-link= Arto Salomaa| series=[[EATCS]] Monographs on Theoretical Computer Science | volume=25 | year=1992 }} Here: Def.1 of Sect.3.2.1, p.160.</ref>
तो, ये सूत्र प्रत्येक मोनॉइड में सर्वसमिका हैं। किसी भी समानता के लिए, क्वांटिफायर के बिना सूत्रों को अक्सर [[समीकरण]] कहा जाता है। दूसरे शब्दों में, एक सर्वसमिका एक समीकरण है जो चरों के सभी मानों के लिए सत्य है।<ref>{{cite book | editor=Jan van Leeuwen | editor-link=Jan van Leeuwen | title=औपचारिक मॉडल और शब्दार्थ| publisher=Elsevier | series=Handbook of Theoretical Computer Science | volume=B | year=1990 | author1=Nachum Dershowitz | author2= Jean-Pierre Jouannaud | author1-link=Nachum Dershowitz | author2-link=Jean-Pierre Jouannaud | contribution=Rewrite Systems | pages=243–320 }}</ref><ref>{{cite book | isbn=3-540-54280-9 | author=Wolfgang Wechsler | title=कंप्यूटर वैज्ञानिकों के लिए सार्वभौमिक बीजगणित| location=Berlin | publisher=Springer | editor1=Wilfried Brauer | editor2= Grzegorz Rozenberg |editor3= Arto Salomaa | editor1-link=Wilfried Brauer | editor2-link= Grzegorz Rozenberg |editor3-link= Arto Salomaa| series=[[EATCS]] Monographs on Theoretical Computer Science | volume=25 | year=1992 }} Here: Def.1 of Sect.3.2.1, p.160.</ref>
== यह भी देखें ==
== यह भी देखें ==
* [[लेखा पहचान]]
* [[लेखा पहचान]]
Line 93: Line 86:


== संदर्भ ==
== संदर्भ ==
=== टिप्पणियाँ ===
=== टिप्पणियाँ ===
{{notelist}}
{{notelist}}
=== उद्धरण ===
=== उद्धरण ===
{{reflist}}
{{reflist}}
=== स्रोत ===
=== स्रोत ===
{{refbegin}}
{{refbegin}}
Line 110: Line 96:
*{{cite book|last=Shirali|first=S. |title=एडवेंचर्स इन प्रॉब्लम सॉल्विंग|url=https://books.google.com/books?id=TPE0fXGnYtMC&pg=PP1|date= 2002|publisher=Universities Press|isbn=978-81-7371-413-9}}
*{{cite book|last=Shirali|first=S. |title=एडवेंचर्स इन प्रॉब्लम सॉल्विंग|url=https://books.google.com/books?id=TPE0fXGnYtMC&pg=PP1|date= 2002|publisher=Universities Press|isbn=978-81-7371-413-9}}
{{refend}}
{{refend}}
==इस पेज में लापता आंतरिक लिंक की सूची==
*यूनिट सर्कल
*चर (गणित)
*अंक शास्त्र
*समारोह (गणित)
*जोड़नेवाला
*लोगारित्म
*साइंटिफ़िक कैलकुलेटर
*समता (गणित)
*यूनिवर्सल क्वांटिफायर
*स्वयंसिद्ध
== बाहरी संबंध ==
== बाहरी संबंध ==
{{Commons category}}
{{Commons category}}
*[https://web.archive.org/web/20190612171441/https://encyclopedia-of-equation.webnode.jp/ The Encyclopedia of Equation]  Online encyclopedia of mathematical identities (archived)
*[https://web.archive.org/web/20190612171441/https://encyclopedia-of-equation.webnode.jp/ The Encyclopedia of Equation]  Online encyclopedia of mathematical identities(archived)
*[http://sites.google.com/site/tpiezas/Home/ A Collection of Algebraic Identities]
*[http://sites.google.com/site/tpiezas/Home/ A Collection of Algebraic Identities]
[[Category: प्रारंभिक बीजगणित]]
[[Category:गणितीय पहचान| ]]
[[Category: तुल्यता (गणित)]]


 
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category: Machine Translated Page]]
[[Category:Articles with short description]]
[[Category:CS1]]
[[Category:CS1 français-language sources (fr)]]
[[Category:CS1 maint]]
[[Category:CS1 Ελληνικά-language sources (el)]]
[[Category:Citation Style 1 templates|W]]
[[Category:Collapse templates]]
[[Category:Created On 29/11/2022]]
[[Category:Created On 29/11/2022]]
[[Category:Exclude in print]]
[[Category:Interwiki category linking templates]]
[[Category:Interwiki link templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates based on the Citation/CS1 Lua module]]
[[Category:Templates generating COinS|Cite web]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates used by AutoWikiBrowser|Cite web]]
[[Category:Templates using TemplateData]]
[[Category:Wikimedia Commons templates]]
[[Category:Wikipedia fully protected templates|Cite web]]
[[Category:Wikipedia metatemplates]]
[[Category:गणितीय पहचान| ]]
[[Category:तुल्यता (गणित)]]
[[Category:प्रारंभिक बीजगणित]]

Latest revision as of 14:07, 12 December 2022

पायथागॉरियन पहचान का दृश्य प्रमाण: किसी भी कोण के लिए , बिंदु इकाई वृत्त पर स्थित है, जो समीकरण को संतुष्ट करता है . इस प्रकार, .

गणित में, एक पहचान एक गणितीय अभिव्यक्ति A से दूसरे गणितीय अभिव्यक्ति B से संबंधित एक समानता है, जैसे कि A और B(जिसमें कुछ चर सम्मिलित हो सकते हैं) वैधता की एक निश्चित सीमा के भीतर चर के सभी मूल्यों के लिए समान मूल्य देते हैं।[1] दूसरे शब्दों में, A = B एक पहचान है यदि A और B एक ही कार्य को परिभाषित करते हैं, और एक पहचान भिन्न रूप से परिभाषित कार्यों के बीच एक समानता है। उदाहरण के लिए और तत्समक हैं। [1] पहचान को कभी-कभी ट्रिपल बार प्रतीक ≡ के बजाय बराबर का चिह्न = द्वारा दर्शाया जाता है।[2]

सामान्य सर्वसमिका

बीजगणितीय सर्वसमिका

कुछ सर्वसमिकाएँ, जैसे और बीजगणित का आधार बनती हैं,[3] जबकि अन्य, जैसे और बीजीय व्यंजकों को सरल और विस्तृत करने के लिए उपयोगी हो सकता है।[4]

त्रिकोणमितीय सर्वसमिकाएँ

ज्यामितीय रूप से, त्रिकोणमितीय सर्वसमिकाएँ एक या अधिक कोणों से कुछ कार्यों से संबंधित पहचान हैं।[5] वे त्रिभुजों की सर्वसमिकाओं से भिन्न होते हैं, जो एक त्रिभुज के दो कोणों और भुजाओं की लंबाई की पहचान होती हैं। यह लेख केवल पूर्व को कवर करता है।

जब भी त्रिकोणमितीय कार्यों को सम्मिलित करने वाले भावों को सरल बनाने की आवश्यकता होती है, तब ये सर्वसमिकाएँ उपयोगी होती हैं। एक अन्य महत्वपूर्ण अनुप्रयोग गैर-त्रिकोणमितीय कार्यों का एकीकरण है: एक सामान्य तकनीक जिसमें पहले त्रिकोणमितीय फलन के साथ प्रतिस्थापन नियम का उपयोग करना और फिर त्रिकोणमितीय सर्वसमिकाओं के साथ परिणामी अभिन्न को सरल बनाना सम्मिलित है।

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

केवल के कुछ मानों के लिए सत्य है, सभी के लिए नहीं। उदाहरण के लिए, यह समीकरण तब सत्य होता है जब होता है, लेकिन असत्य होता है जब होता है।

त्रिकोणमितीय सर्वसमिकाओं का एक अन्य समूह तथाकथित जोड़/घटाव सूत्रों से संबंधित है(उदाहरण के लिए द्वि-कोण पहचान ,[2] के लिए अतिरिक्त सूत्र जिसका उपयोग बड़े कोणों के व्यंजकों को छोटे घटकों वाले व्यंजकों में विभाजित करने के लिए किया जा सकता है।

घातीय सर्वसमिका

निम्नलिखित सर्वसमिकाएं सभी पूर्णांक घातांकों के लिए मान्य हैं, यद्यपि आधार शून्य न हो:

जोड़ और गुणा के विपरीत, घातांक विनिमेय नहीं है। उदाहरण के लिए, 2 + 3 = 3 + 2 = 5 और 2 · 3 = 3 · 2 = 6 परंतु 23 = 8 जबकि 32 = 9

योग और गुणन के विपरीत, घातांक भी साहचर्य नहीं है। उदाहरण के लिए, (2 + 3) + 4 = 2 + (3 + 4) = 9 और (2 · 3) · 4 = 2 · (3 · 4) = 24, लेकिन 23 से 4 है 84 (या 4,096)। जबकि 2 से 34 है 281(या 2,417,851,639,229,258,349,412,352)। जब किसी कोष्ठक का उपयोग नहीं किया जाता है, तो परंपरा के अनुसार क्रम ऊपर-नीचे होता है, न कि नीचे-ऊपर:

जबकि

लघुगणकीय सर्वसमिकाएँ

कई महत्वपूर्ण सूत्र, जिन्हें कभी-कभी लघुगणकीय पहचान या लॉग कानून कहा जाता है, लघुगणक को एक दूसरे से संबंधित करते हैं:[lower-alpha 1]

गुणनफल, भागफल, शक्ति और मूल

किसी गुणनफल का लघुगणक गुणित की जाने वाली संख्याओं के लघुगणकों का योग होता है; दो संख्याओं के अनुपात का लघुगणक, लघुगणकों के बीच का अंतर है। किसी संख्या का pth घात का लघुगणक स्वयं संख्या के लघुगणक का p गुना है; pth मूल का लघुगणक p से विभाजित संख्या का लघुगणक है। निम्नलिखित तालिका उदाहरणों के साथ इन सर्वसमिकाओं को सूचीबद्ध करती है। बाईं ओर लॉगरिदमिक परिभाषा और/या को प्रतिस्थापित करके प्रत्येक पहचान प्राप्त की जा सकती है।

सूत्र उदाहरण
गुणन
भागफल
घात
मूल


आधार परिवर्तन

लघुगणक logb(x) की गणना x और b के लघुगणक से की जा सकती है, जो कि निम्नलिखित सूत्र का उपयोग करके एक इच्छित आधार k के संबंध में है:

विशिष्ट वैज्ञानिक कैलकुलेटर 10 और e के आधार पर लघुगणक की गणना करते हैं।[6] किसी भी आधार b के संबंध में लघुगणक इन दो लघुगणकों में से किसी एक का उपयोग करके पिछले सूत्र द्वारा निर्धारित किया जा सकता है:

किसी अज्ञात आधार b को एक संख्या x और उसका लघुगणक logb(x) दिया गया है, तो आधार इस प्रकार दिया गया है:

अतिपरवलीय फलन सर्वसमिका

अतिपरवलीय कार्य कई सर्वसमिकाओं को संतुष्ट करते हैं, उनमें से सभी त्रिकोणमितीय सर्वसमिकाओं के समान रूप में हैं। वास्तव में, ओसबोर्न के नियम [7] में कहा गया है कि किसी भी त्रिकोणमितीय पहचान को ज्या और कोज्या की पूर्णांक शक्तियों के संदर्भ में पूरी तरह से विस्तारित किया जा सकता है, साइन को sinh और कोसाइन को cosh में बदलना और प्रत्येक पद के चिह्न को बदलना। एक अतिपरवलयिक पहचान में परिवर्तित किया जा सकता है जिसमें अतिपरवलीय साइन की संख्या भी गुणा की जाती है।[8]

गुडरमेनियन फलन त्रिकोणमितीय फलन और हाइपरबोलिक कार्यों के बीच सीधा संबंध देता है जिसमें जटिल संख्याएं सम्मिलित नहीं होती हैं।

तर्क और सार्वत्रिक बीजगणित

औपचारिक रूप से, एक सर्वसमिका एक वास्तविक सार्वत्रिक परिमाणक है जो अच्छी तरह से निर्मित सूत्र रूप का विधेय तर्क है जहाँ पे s तथा t शब्द(तर्क) हैं जिनके अलावा कोई अन्य मुक्त चर नहीं है क्वांटिफायर उपसर्ग अक्सर अस्पष्ट छोड़ दिया जाता है, जब यह कहा जाता है कि सूत्र एक पहचान है। उदाहरण के लिए एक मोनोइड के सिद्धांतों को अक्सर सूत्रों के रूप में दिया जाता है

या जल्द ही,

तो, ये सूत्र प्रत्येक मोनॉइड में सर्वसमिका हैं। किसी भी समानता के लिए, क्वांटिफायर के बिना सूत्रों को अक्सर समीकरण कहा जाता है। दूसरे शब्दों में, एक सर्वसमिका एक समीकरण है जो चरों के सभी मानों के लिए सत्य है।[9][10]

यह भी देखें

संदर्भ

टिप्पणियाँ

  1. All statements in this section can be found in Shirali 2002, Section 4, Downing 2003, p. 275, or Kate & Bhapkar 2009, p. 1-1, for example.

उद्धरण

  1. 1.0 1.1 "गणित: पहचान". www.mathwords.com. Retrieved 2019-12-01.
  2. 2.0 2.1 "पहचान - गणित शब्द की परिभाषा - गणित खुला संदर्भ". www.mathopenref.com. Retrieved 2019-12-01.
  3. "बुनियादी पहचान". www.math.com. Retrieved 2019-12-01.
  4. "बीजीय पहचान". www.sosmath.com. Retrieved 2019-12-01.
  5. Stapel, Elizabeth. "त्रिकोणमितीय पहचान". Purplemath. Retrieved 2019-12-01.
  6. Bernstein, Stephen; Bernstein, Ruth (1999), Schaum's outline of theory and problems of elements of statistics. I, Descriptive statistics and probability, Schaum's outline series, New York: McGraw-Hill, ISBN 978-0-07-005023-5, p. 21
  7. Osborn, G. (1 January 1902). "109. अतिशयोक्तिपूर्ण सूत्रों के लिए स्मरक". The Mathematical Gazette. 2 (34): 189. doi:10.2307/3602492. JSTOR 3602492.
  8. Peterson, John Charles (2003). कलन के साथ तकनीकी गणित (3rd ed.). Cengage Learning. p. 1155. ISBN 0-7668-6189-9., Chapter 26, page 1155
  9. Nachum Dershowitz; Jean-Pierre Jouannaud (1990). "Rewrite Systems". In Jan van Leeuwen (ed.). औपचारिक मॉडल और शब्दार्थ. Handbook of Theoretical Computer Science. Vol. B. Elsevier. pp. 243–320.
  10. Wolfgang Wechsler (1992). Wilfried Brauer; Grzegorz Rozenberg; Arto Salomaa (eds.). कंप्यूटर वैज्ञानिकों के लिए सार्वभौमिक बीजगणित. EATCS Monographs on Theoretical Computer Science. Vol. 25. Berlin: Springer. ISBN 3-540-54280-9. Here: Def.1 of Sect.3.2.1, p.160.

स्रोत

बाहरी संबंध