द्विपद गुणांक: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 4: Line 4:
[[Image:binomial_theorem_visualisation.svg|thumb|300px|चौथी शक्ति तक द्विपद विस्तार का दृश्य]]गणित में, द्विपद गुणांक धनात्मक [[ पूर्णांक ]] होते हैं जिन्हें [[ द्विपद प्रमेय ]] में गुणांक के रूप में प्रयोग किया जाता हैं। साधारणतयः द्विपद गुणांक को पूर्णांकों के एक युग्म द्वारा अनुक्रमित किया जाता है, {{math|''n'' ≥ ''k'' ≥ 0}} और लिखा है <math>\tbinom{n}{k}.</math> यह [[द्विपद गुणांक]] [[ घातांक ]] {{math|(1 + ''x'')<sup>''n''</sup>}} के [[बहुपद विस्तार]] में {{math|''x''<sup>''k''</sup>}} पद का गुणांक है; इस गुणांक की गणना गुणक सूत्र द्वारा की जा सकती है
[[Image:binomial_theorem_visualisation.svg|thumb|300px|चौथी शक्ति तक द्विपद विस्तार का दृश्य]]गणित में, द्विपद गुणांक धनात्मक [[ पूर्णांक ]] होते हैं जिन्हें [[ द्विपद प्रमेय ]] में गुणांक के रूप में प्रयोग किया जाता हैं। साधारणतयः द्विपद गुणांक को पूर्णांकों के एक युग्म द्वारा अनुक्रमित किया जाता है, {{math|''n'' ≥ ''k'' ≥ 0}} और लिखा है <math>\tbinom{n}{k}.</math> यह [[द्विपद गुणांक]] [[ घातांक ]] {{math|(1 + ''x'')<sup>''n''</sup>}} के [[बहुपद विस्तार]] में {{math|''x''<sup>''k''</sup>}} पद का गुणांक है; इस गुणांक की गणना गुणक सूत्र द्वारा की जा सकती है
:<math>\binom nk = \frac{n\times(n-1)\times\cdots\times(n-k+1)}{k\times(k-1)\times\cdots\times1},</math>
:<math>\binom nk = \frac{n\times(n-1)\times\cdots\times(n-k+1)}{k\times(k-1)\times\cdots\times1},</math>
[[फैक्टोरियल]] नोटेशन का उपयोग करके सुगठित रूप से व्यक्त किया जा सकता है
[[फैक्टोरियल]] अंकन का उपयोग करके सुगठित रूप से व्यक्त किया जा सकता है


:<math>\binom{n}{k} = \frac{n!}{k! (n-k)!}.</math>
:<math>\binom{n}{k} = \frac{n!}{k! (n-k)!}.</math>
Line 21: Line 21:


==इतिहास और संकेतन==
==इतिहास और संकेतन==
1826 में [[ एंड्रियास वॉन एटिंग्सहॉसन |एंड्रियास वॉन एटिंग्सहॉसन]] ने <math>\tbinom nk</math> की शुरुआत की।<ref>{{harvtxt|Higham|1998}}</ref>, हालाँकि संख्याएँ सदियों पहले ज्ञात थीं (पास्कल का त्रिकोण देखें)। द्विपद गुणांकों की सबसे पहली ज्ञात विस्तृत चर्चा, [[ हलयुध: ]] द्वारा, एक प्राचीन [[ संस्कृत ]] पाठ, [[ पिंगला ]]  के चंदाशास्त्र पर, दसवीं शताब्दी की टिप्पणी में है। द्विपद गुणांकों का दूसरा सबसे पुराना विवरण [[ गैराज |गैराज]] द्वारा दिया गया है। लगभग 1150 में, भारतीय गणितज्ञ [[ भास्कराचार्य |भास्कराचार्य]] ने अपनी पुस्तक लीलावती में द्विपद गुणांकों की व्याख्या की।<ref>[[Lilavati]] Section 6, Chapter 4 (see {{harvtxt|Knuth|1997}}).</ref>
1826 में [[ एंड्रियास वॉन एटिंग्सहॉसन |एंड्रियास वॉन एटिंग्सहॉसन]] ने <math>\tbinom nk</math> प्रारम्भ किया।<ref>{{harvtxt|Higham|1998}}</ref>, चूंकि संख्याएँ सदियों पहले ज्ञात थीं (पास्कल का त्रिकोण देखें)। द्विपद गुणांकों की सबसे पहली ज्ञात विस्तृत चर्चा, [[ हलयुध: ]] द्वारा, एक प्राचीन [[ संस्कृत ]] पाठ, [[ पिंगला ]]  के चंदाशास्त्र पर, दसवीं शताब्दी की टिप्पणी में है। द्विपद गुणांकों का दूसरा सबसे पुराना विवरण [[ गैराज |गैराज]] द्वारा दिया गया है। लगभग 1150 में, भारतीय गणितज्ञ [[ भास्कराचार्य |भास्कराचार्य]] ने अपनी पुस्तक लीलावती में द्विपद गुणांकों की व्याख्या की।<ref>[[Lilavati]] Section 6, Chapter 4 (see {{harvtxt|Knuth|1997}}).</ref>


वैकल्पिक नोटेशन में  {{math|''C''(''n'', ''k'')}}, {{math|<sub>''n''</sub>''C''<sub>''k''</sub>}}, {{math|<sup>''n''</sup>''C''<sub>''k''</sub>}}, {{math|1=''C''<sup>''k''</sup><sub style="position:relative; left:-.5em;">''n''</sub>}}, {{math|1=''C''<sup>''n''</sup><sub style="position:relative; left:-.5em;">''k''</sub>}}, तथा {{math|''C''<sub>''n'',''k''</sub>}}  सम्मलित हैं जिनमें से सभी में  {{math|''C''}} [[ संयोजन | संयोजन]] या विकल्पों के लिए है। कई कैलकुलेटर सी नोटेशन के रूपों का उपयोग करते हैं क्योंकि वे इसे एक-पंक्ति डिस्प्ले पर प्रदर्शित कर सकते हैं। इस रूप में द्विपद गुणांक की तुलना n के k-क्रमपरिवर्तन से आसानी से की जाती है, जिसे {{math|''P''(''n'', ''k'')}}, आदि के रूप में लिखा जाता है।
वैकल्पिक नोटेशन में  {{math|''C''(''n'', ''k'')}}, {{math|<sub>''n''</sub>''C''<sub>''k''</sub>}}, {{math|<sup>''n''</sup>''C''<sub>''k''</sub>}}, {{math|1=''C''<sup>''k''</sup><sub style="position:relative; left:-.5em;">''n''</sub>}}, {{math|1=''C''<sup>''n''</sup><sub style="position:relative; left:-.5em;">''k''</sub>}}, तथा {{math|''C''<sub>''n'',''k''</sub>}}  सम्मलित हैं जिनमें से सभी में  {{math|''C''}} [[ संयोजन | संयोजन]] या विकल्पों के लिए है। कई कैलकुलेटर सी नोटेशन के रूपों का उपयोग करते हैं क्योंकि वे इसे एक-पंक्ति डिस्प्ले पर प्रदर्शित कर सकते हैं। इस रूप में द्विपद गुणांक की तुलना n के k-क्रमपरिवर्तन से आसानी से की जाती है, जिसे {{math|''P''(''n'', ''k'')}}, आदि के रूप में लिखा जाता है।
Line 51: Line 51:
बाएँ संरेखित पास्कल के त्रिभुज पर
बाएँ संरेखित पास्कल के त्रिभुज पर
|}
|}
प्राकृतिक संख्याओं के लिए (0 को शामिल करने के लिए) n और k, द्विपद गुणांक <math>\tbinom nk</math> को {{math|(1 + ''X'')<sup>''n''</sup>}} के विस्तार में मोनोमियल X<sup>k</sup> के गुणांक के रूप में परिभाषित किया जा सकता है। [[ द्विपद सूत्र | द्विपद सूत्र]] (यदि {{math|''k'' ≤ ''n''}}) में भी यही गुणांक होता है ।
प्राकृतिक संख्याओं के लिए (0 को सम्मलित करने के लिए) n और k, द्विपद गुणांक <math>\tbinom nk</math> को {{math|(1 + ''X'')<sup>''n''</sup>}} के विस्तार में मोनोमियल X<sup>k</sup> के गुणांक के रूप में परिभाषित किया जा सकता है। [[ द्विपद सूत्र | द्विपद सूत्र]] (यदि {{math|''k'' ≤ ''n''}}) में भी यही गुणांक होता है ।
{{NumBlk|:|<math>(x+y)^n=\sum_{k=0}^n\binom nk x^{n-k}y^k</math>|{{EquationRef|∗}}}}
{{NumBlk|:|<math>(x+y)^n=\sum_{k=0}^n\binom nk x^{n-k}y^k</math>|{{EquationRef|∗}}}}
([[कम्यूटेटिव रिंग]] के किसी भी तत्व x, y के लिए मान्य),जो द्विपद गुणांक नाम की व्याख्या करता है।
([[कम्यूटेटिव रिंग]] के किसी भी तत्व x, y के लिए मान्य),जो द्विपद गुणांक नाम की व्याख्या करता है।


इस संख्या की एक और घटना साहचर्य में है, जहां यह तरीकों की संख्या देता है, आदेश की अवहेलना करता है, कि k वस्तुओं को n वस्तुओं में से चुना जा सकता है; अधिक औपचारिक रूप से, n-तत्व सेट के k-तत्व उप-समूचय (या के-संयोजन) की संख्या। इस संख्या को पहली परिभाषा में से एक के बराबर देखा जा सकता है, इसकी गणना करने के लिए नीचे दिए गए किसी भी सूत्र से स्वतंत्र: यदि शक्ति के n कारकों में से प्रत्येक में {{math|(1 + ''X'')<sup>''n''</sup>}} एक अस्थायी रूप से शब्द X को एक सूचकांक i (1 से n तक चल रहा है) के साथ लेबल करता है, तब k सूचकांकों का प्रत्येक उपसमुच्चय विस्तार के बाद X<sup>k</sup> का योगदान देता है, और परिणाम में उस एकपदी का गुणांक ऐसे उपसमुच्चयों की संख्या होगी। यह विशेष रूप से दिखाता है कि <math>\tbinom nk</math> किसी भी प्राकृतिक संख्या n और k के लिए एक प्राकृतिक संख्या है। द्विपद गुणांकों की कई अन्य संयोजी व्याख्याएं हैं (के लिए समस्याओं की गणना करना जिसका उत्तर एक द्विपद गुणांक अभिव्यक्ति द्वारा दिया गया है), उदाहरण के लिए n बिट्स (अंक 0 या 1) से बने शब्दों की संख्या जिसका योग k है <math>\tbinom nk</math>, जबकि लिखने के तरीकों की संख्या <math>k = a_1 + a_2 + \cdots + a_n</math> जहां प्रत्येक ai एक गैर-ऋणात्मक पूर्णांक है <math>\tbinom{n+k-1}{n-1}</math> द्वारा दिया जाता है। इनमें से अधिकतर व्याख्याओं को आसानी से गिनती के-संयोजनों के बराबर देखा जा सकता है।
इस संख्या की एक और घटना साहचर्य में है, जहां यह विधियों की संख्या देता है, आदेश की अवहेलना करता है, कि k वस्तुओं को n वस्तुओं में से चुना जा सकता है; अधिक औपचारिक रूप से, n-तत्व सेट के k-तत्व उप-समूचय (या के-संयोजन) की संख्या। इस संख्या को पहली परिभाषा में से एक के बराबर देखा जा सकता है, इसकी गणना करने के लिए नीचे दिए गए किसी भी सूत्र से स्वतंत्र: यदि शक्ति के n कारकों में से प्रत्येक में {{math|(1 + ''X'')<sup>''n''</sup>}} एक अस्थायी रूप से शब्द X को एक सूचकांक i (1 से n तक चल रहा है) के साथ लेबल करता है, तब k सूचकांकों का प्रत्येक उपसमुच्चय विस्तार के बाद X<sup>k</sup> का योगदान देता है, और परिणाम में उस एकपदी का गुणांक ऐसे उपसमुच्चयों की संख्या होगी। यह विशेष रूप से दिखाता है कि <math>\tbinom nk</math> किसी भी प्राकृतिक संख्या n और k के लिए एक प्राकृतिक संख्या है। द्विपद गुणांकों की कई अन्य संयोजी व्याख्याएं हैं (के लिए समस्याओं की गणना करना जिसका उत्तर एक द्विपद गुणांक अभिव्यक्ति द्वारा दिया गया है), उदाहरण के लिए n बिट्स (अंक 0 या 1) से बने शब्दों की संख्या जिसका योग k है <math>\tbinom nk</math>, जबकि लिखने के विधियों की संख्या <math>k = a_1 + a_2 + \cdots + a_n</math> जहां प्रत्येक ai एक गैर-ऋणात्मक पूर्णांक है <math>\tbinom{n+k-1}{n-1}</math> द्वारा दिया जाता है। इनमें से अधिकतर व्याख्याओं को आसानी से गिनती के-संयोजनों के बराबर देखा जा सकता है।


== द्विपद गुणांकों के मान की गणना ==
== द्विपद गुणांकों के मान की गणना ==
{{See also|#प्रोग्रामिंग भाषाओं में}}
{{See also|#प्रोग्रामिंग भाषाओं में}}
<math>\tbinom{n}{k}</math> के मान की गणना करने के लिए कई विधियाँ मौजूद हैं बिना वास्तव में द्विपद शक्ति का विस्तार किए बिना या k-संयोजन की गणना किए बिना।
<math>\tbinom{n}{k}</math> के मान की गणना करने के लिए कई विधियाँ सम्मलित हैं बिना वास्तव में द्विपद शक्ति का विस्तार किए बिना या k-संयोजन की गणना किए बिना।


=== पुनरावर्ती सूत्र ===
=== पुनरावर्ती सूत्र ===
Line 65: Line 65:
<math display="block"> \binom nk = \binom{n-1}{k-1} + \binom{n-1}k</math> सभी पूर्णांकों के लिए <math>n,k</math> ऐसा है कि <math>1 \le k \le n-1,</math> प्रारंभिक/सीमा मूल्यों के लिए<math display="block">\binom n0 = \binom nn = 1</math>सभी पूर्णांकों के लिए <math>n \ge 0.</math>
<math display="block"> \binom nk = \binom{n-1}{k-1} + \binom{n-1}k</math> सभी पूर्णांकों के लिए <math>n,k</math> ऐसा है कि <math>1 \le k \le n-1,</math> प्रारंभिक/सीमा मूल्यों के लिए<math display="block">\binom n0 = \binom nn = 1</math>सभी पूर्णांकों के लिए <math>n \ge 0.</math>


सूत्र सेट {{math|{1, 2, 3, ..., ''n''} }} पर विचार करने और अलग से गिनती करने से आता है (a) k-तत्व समूह जिसमें एक विशेष सेट तत्व शामिल है, "i" कहें, प्रत्येक समूह में (चूंकि "i" पहले से ही प्रत्येक समूह में एक स्थान भरने के लिए चुना गया है, हमें शेष {{math|''n'' − 1}} और (b) सभी k-समूहों में से केवल {{math|''k'' − 1}} चुनने की आवश्यकता है जिसमें "i" शामिल नहीं है; यह n तत्वों के सभी संभावित k-संयोजनों की गणना करता है। यह {{math|(1 + ''X'')<sup>''n''−1</sup>(1 + ''X'')}} में X<sup>k</sup> के योगदान को ट्रेस करने के बाद भी आता है। चूंकि {{math|''X''<sup>''n''+1</sup>}} में शून्य {{math|(1 + ''X'')<sup>''n''</sup>}} या {{math|''X''<sup>−1</sup>}} है, इसलिए <math>\tbinom nk = 0</math> जब या तो {{math|''k'' > ''n''}} या {{math|''k'' < 0}}। यह पुनरावर्ती सूत्र तब पास्कल के त्रिकोण के निर्माण की अनुमति देता है, जो सफेद रिक्त स्थान से घिरा हुआ है जहां शून्य या तुच्छ गुणांक होंगे।
सूत्र सेट {{math|{1, 2, 3, ..., ''n''} }} पर विचार करने और अलग से गिनती करने से आता है (a) k-तत्व समूह जिसमें एक विशेष सेट तत्व सम्मलित है, "i" कहें, प्रत्येक समूह में (चूंकि "i" पहले से ही प्रत्येक समूह में एक स्थान भरने के लिए चुना गया है, हमें शेष {{math|''n'' − 1}} और (b) सभी k-समूहों में से केवल {{math|''k'' − 1}} चुनने की आवश्यकता है जिसमें "i" सम्मलित नहीं है; यह n तत्वों के सभी संभावित k-संयोजनों की गणना करता है। यह {{math|(1 + ''X'')<sup>''n''−1</sup>(1 + ''X'')}} में X<sup>k</sup> के योगदान को ट्रेस करने के बाद भी आता है। चूंकि {{math|''X''<sup>''n''+1</sup>}} में शून्य {{math|(1 + ''X'')<sup>''n''</sup>}} या {{math|''X''<sup>−1</sup>}} है, इसलिए <math>\tbinom nk = 0</math> जब या तो {{math|''k'' > ''n''}} या {{math|''k'' < 0}}। यह पुनरावर्ती सूत्र तब पास्कल के त्रिकोण के निर्माण की अनुमति देता है, जो सफेद रिक्त स्थान से घिरा हुआ है जहां शून्य या तुच्छ गुणांक होंगे।


=== गुणक सूत्र ===
=== गुणक सूत्र ===
व्यक्तिगत द्विपद गुणांकों की गणना करने के लिए एक अधिक कुशल विधि सूत्र द्वारा दी गई है<math display="block">\binom nk = \frac{n^{\underline{k}}}{k!} = \frac{n(n-1)(n-2)\cdots(n-(k-1))}{k(k-1)(k-2)\cdots 1} =  \prod_{i=1}^k\frac{ n+1-i}{ i},</math>जहां पहले भिन्न का अंश <math>n^{\underline{k}}</math> को घटती क्रमगुणित शक्ति के रूप में व्यक्त किया जाता है। यह सूत्र द्विपद गुणांकों की संयोजक व्याख्या के लिए समझने में सबसे आसान है। अंश n वस्तुओं के एक सेट से, चयन के क्रम को बनाए रखते हुए, k विशिष्ट वस्तुओं के अनुक्रम का चयन करने के तरीकों की संख्या देता है। भाजक विशिष्ट अनुक्रमों की संख्या की गणना करता है जब आदेश की अवहेलना की जाती है तो उसी के-संयोजन को परिभाषित करता है।
व्यक्तिगत द्विपद गुणांकों की गणना करने के लिए एक अधिक कुशल विधि सूत्र द्वारा दी गई है<math display="block">\binom nk = \frac{n^{\underline{k}}}{k!} = \frac{n(n-1)(n-2)\cdots(n-(k-1))}{k(k-1)(k-2)\cdots 1} =  \prod_{i=1}^k\frac{ n+1-i}{ i},</math>जहां पहले भिन्न का अंश <math>n^{\underline{k}}</math> को घटती क्रमगुणित शक्ति के रूप में व्यक्त किया जाता है। यह सूत्र द्विपद गुणांकों की संयोजक व्याख्या के लिए समझने में सबसे आसान है। अंश n वस्तुओं के एक सेट से, चयन के क्रम को बनाए रखते हुए, k विशिष्ट वस्तुओं के अनुक्रम का चयन करने के विधियों की संख्या देता है। भाजक विशिष्ट अनुक्रमों की संख्या की गणना करता है जब आदेश की अवहेलना की जाती है तो उसी के-संयोजन को परिभाषित करता है।
k और {{math|''n'' − ''k''}} के संबंध में द्विपद गुणांक की समरूपता के कारण, k और {{math|''n'' − ''k''}} के छोटे से ऊपर उत्पाद की ऊपरी सीमा निर्धारित करके गणना को अनुकूलित किया जा सकता है।
k और {{math|''n'' − ''k''}} के संबंध में द्विपद गुणांक की समरूपता के कारण, k और {{math|''n'' − ''k''}} के छोटे से ऊपर उत्पाद की ऊपरी सीमा निर्धारित करके गणना को अनुकूलित किया जा सकता है।


=== गुणनखंड सूत्र ===
=== गुणनखंड सूत्र ===
अंत में, चूंकि कम्प्यूटेशल रूप से अनुपयुक्त, कॉम्पैक्ट फॉर्म है, जिसे साधारणतयः सबूत और व्युत्पत्तियों में उपयोग किया जाता है, जो परिचित फैक्टोरियल फ़ंक्शन का बार-बार उपयोग करता है::<math display="block"> \binom nk = \frac{n!}{k!\,(n-k)!} \quad \text{for }\ 0\leq k\leq n,</math>जहां पर n!  के भाज्य को दर्शाता है। यह सूत्र अंश और हर को {{math|(''n'' − ''k'')!}} परिणामस्वरूप इसमें अंश और भाजक के लिए सामान्य कई कारक शामिल होते हैं। यह स्पष्ट संगणना के लिए कम व्यावहारिक है (उस स्थिति में जब k छोटा है और n बड़ा है) जब तक कि सामान्य कारकों को पहले रद्द नहीं किया जाता है (विशेष रूप से क्योंकि तथ्यात्मक मूल्य बहुत तेजी से बढ़ते हैं)। सूत्र एक समरूपता प्रदर्शित करता है जो गुणात्मक सूत्र से कम स्पष्ट है (चूंकि यह परिभाषाओं से है)
अंत में, चूंकि कम्प्यूटेशल रूप से अनुपयुक्त, कॉम्पैक्ट फॉर्म है, जिसे साधारणतयः सबूत और व्युत्पत्तियों में उपयोग किया जाता है, जो परिचित फैक्टोरियल फ़ंक्शन का बार-बार उपयोग करता है::<math display="block"> \binom nk = \frac{n!}{k!\,(n-k)!} \quad \text{for }\ 0\leq k\leq n,</math>जहां पर n!  के भाज्य को दर्शाता है। यह सूत्र अंश और हर को {{math|(''n'' − ''k'')!}} परिणामस्वरूप इसमें अंश और भाजक के लिए सामान्य कई कारक सम्मलित होते हैं। यह स्पष्ट संगणना के लिए कम व्यावहारिक है (उस स्थिति में जब k छोटा है और n बड़ा है) जब तक कि सामान्य कारकों को पहले निरस्त नहीं किया जाता है (विशेष रूप से क्योंकि तथ्यात्मक मूल्य बहुत तेजी से बढ़ते हैं)। सूत्र एक समरूपता प्रदर्शित करता है जो गुणात्मक सूत्र से कम स्पष्ट है (चूंकि यह परिभाषाओं से है)
{{NumBlk|:|<math> \binom nk = \binom n{n-k} \quad \text{for }\ 0\leq k\leq n,</math>|{{EquationRef|1}}}}
{{NumBlk|:|<math> \binom nk = \binom n{n-k} \quad \text{for }\ 0\leq k\leq n,</math>|{{EquationRef|1}}}}


Line 84: Line 84:
=== सामान्यीकरण और द्विपद श्रृंखला से संबंध ===
=== सामान्यीकरण और द्विपद श्रृंखला से संबंध ===
{{Main|द्विपद श्रृंखला}}
{{Main|द्विपद श्रृंखला}}
गुणात्मक सूत्र द्विपद गुणांक की परिभाषा को विस्तारित करने की अनुमति देता है<ref>See {{Harv|Graham|Knuth|Patashnik|1994}}, which also defines <math>\tbinom n k = 0</math> for <math>k<0</math>. Alternative generalizations, such as to [[#Two real or complex valued arguments|two real or complex valued arguments]] using the [[Gamma function]] assign nonzero values to <math>\tbinom n k</math> for <math>k < 0</math>, but this causes most binomial coefficient identities to fail, and thus is not widely used by the majority of definitions. One such choice of nonzero values leads to the aesthetically pleasing "Pascal windmill" in Hilton, Holton and Pedersen, ''Mathematical reflections: in a room with many mirrors'', Springer, 1997, but causes even [[Pascal's identity]] to fail (at the origin).</ref> n को एक स्व संख्या α (ऋणात्मक, वास्तविक, जटिल) या यहां तक ​​​​कि किसी भी कम्यूटेटिव रिंग के एक तत्व द्वारा प्रतिस्थापित किया जाता है जिसमें सभी सकारात्मक पूर्णांक व्युत्क्रमणीय होते हैं:<math display="block">\binom \alpha k = \frac{\alpha^{\underline k}}{k!} = \frac{\alpha(\alpha-1)(\alpha-2)\cdots(\alpha-k+1)}{k(k-1)(k-2)\cdots 1}
गुणात्मक सूत्र द्विपद गुणांक की परिभाषा को विस्तारित करने की अनुमति देता है<ref>See {{Harv|Graham|Knuth|Patashnik|1994}}, which also defines <math>\tbinom n k = 0</math> for <math>k<0</math>. Alternative generalizations, such as to [[#Two real or complex valued arguments|two real or complex valued arguments]] using the [[Gamma function]] assign nonzero values to <math>\tbinom n k</math> for <math>k < 0</math>, but this causes most binomial coefficient identities to fail, and thus is not widely used by the majority of definitions. One such choice of nonzero values leads to the aesthetically pleasing "Pascal windmill" in Hilton, Holton and Pedersen, ''Mathematical reflections: in a room with many mirrors'', Springer, 1997, but causes even [[Pascal's identity]] to fail (at the origin).</ref> n को एक स्व संख्या α (ऋणात्मक, वास्तविक, जटिल) या यहां तक ​​​​कि किसी भी कम्यूटेटिव रिंग के एक तत्व द्वारा प्रतिस्थापित किया जाता है जिसमें सभी धनात्मक पूर्णांक व्युत्क्रमणीय होते हैं:<math display="block">\binom \alpha k = \frac{\alpha^{\underline k}}{k!} = \frac{\alpha(\alpha-1)(\alpha-2)\cdots(\alpha-k+1)}{k(k-1)(k-2)\cdots 1}
\quad\text{for } k\in\N \text{ and arbitrary } \alpha.
\quad\text{for } k\in\N \text{ and arbitrary } \alpha.
</math>इस परिभाषा के साथ द्विपद सूत्र का सामान्यीकरण होता है (1 पर सेट चर में से एक के साथ), जो अभी भी <math>\tbinom\alpha k</math> द्विपद गुणांकों को बुलाने को सही ठहराता है:
</math>इस परिभाषा के साथ द्विपद सूत्र का सामान्यीकरण होता है (1 पर सेट चर में से एक के साथ), जो अभी भी <math>\tbinom\alpha k</math> द्विपद गुणांकों को बुलाने को सही ठहराता है:
{{NumBlk|:|<math> (1+X)^\alpha = \sum_{k=0}^\infty {\alpha \choose k} X^k.</math>|{{EquationRef|2}}}}
{{NumBlk|:|<math> (1+X)^\alpha = \sum_{k=0}^\infty {\alpha \choose k} X^k.</math>|{{EquationRef|2}}}}


यह सूत्र सभी सम्मिश्र संख्याओं α और X के साथ |X| के लिए मान्य है <1। इसे एक्स में [[ औपचारिक शक्ति श्रृंखला |औपचारिक शक्ति श्रृंखला]] की पहचान के रूप में भी व्याख्या किया जा सकता है, जहां यह वास्तव में 1 के बराबर निरंतर गुणांक वाली शक्ति श्रृंखला की मनमानी शक्तियों की परिभाषा के रूप में काम कर सकता है; मुद्दा यह है कि इस परिभाषा के साथ सभी सर्वसमिकाएं, विशेष रूप से, घातांक के लिए अपेक्षा रखती हैं<math display="block">(1+X)^\alpha(1+X)^\beta=(1+X)^{\alpha+\beta} \quad\text{and}\quad ((1+X)^\alpha)^\beta=(1+X)^{\alpha\beta}.</math>यदि α एक गैर-ऋणात्मक पूर्णांक n है, तो {{math|''k'' &gt; ''n''}} वाले सभी पद शून्य हैं, और अनंत श्रृंखला एक परिमित योग बन जाती है, जिससे द्विपद सूत्र को पुनः प्राप्त किया जा सकता है। चूंकि, α के अन्य मूल्यों के लिए, नकारात्मक पूर्णांक और परिमेय संख्याओं सहित, श्रृंखला वास्तव में अनंत है।
यह सूत्र सभी सम्मिश्र संख्याओं α और X के साथ |X| के लिए मान्य है <1। इसे एक्स में [[ औपचारिक शक्ति श्रृंखला |औपचारिक शक्ति श्रृंखला]] की पहचान के रूप में भी व्याख्या किया जा सकता है, जहां यह वास्तव में 1 के बराबर निरंतर गुणांक वाली शक्ति श्रृंखला की मनमानी शक्तियों की परिभाषा के रूप में काम कर सकता है; मुद्दा यह है कि इस परिभाषा के साथ सभी सर्वसमिकाएं, विशेष रूप से, घातांक के लिए अपेक्षा रखती हैं<math display="block">(1+X)^\alpha(1+X)^\beta=(1+X)^{\alpha+\beta} \quad\text{and}\quad ((1+X)^\alpha)^\beta=(1+X)^{\alpha\beta}.</math>यदि α एक गैर-ऋणात्मक पूर्णांक n है, तो {{math|''k'' &gt; ''n''}} वाले सभी पद शून्य हैं, और अनंत श्रृंखला एक परिमित योग बन जाती है, जिससे द्विपद सूत्र को पुनः प्राप्त किया जा सकता है। चूंकि, α के अन्य मूल्यों के लिए, ऋणात्मक पूर्णांक और परिमेय संख्याओं सहित, श्रृंखला वास्तव में अनंत है।


== पास्कल का त्रिभुज ==
== पास्कल का त्रिभुज ==
Line 123: Line 123:
== संयोजन और सांख्यिकी ==
== संयोजन और सांख्यिकी ==
साहचर्य में द्विपद गुणांक महत्वपूर्ण हैं, क्योंकि वे कुछ लगातार गिनती की समस्याओं के लिए तैयार सूत्र प्रदान करते हैं:
साहचर्य में द्विपद गुणांक महत्वपूर्ण हैं, क्योंकि वे कुछ लगातार गिनती की समस्याओं के लिए तैयार सूत्र प्रदान करते हैं:
* n तत्वों के एक सेट से k तत्वों को चुनने के लिए <math>\tbinom n k</math> तरीके हैं। संयोजन देखें।
* n तत्वों के एक सेट से k तत्वों को चुनने के लिए <math>\tbinom n k</math> विधियां हैं। संयोजन देखें।
*<math>\tbinom {n+k-1}k</math> n तत्वों के एक सेट से k तत्वों को चुनने के तरीके हैं यदि दोहराव की अनुमति है। [[मल्टीसेट]] देखें।
*<math>\tbinom {n+k-1}k</math> n तत्वों के एक सेट से k तत्वों को चुनने के विधियां हैं यदि दोहराव की अनुमति है। [[मल्टीसेट]] देखें।
* <math> \tbinom {n+k} k</math> [[ स्ट्रिंग (कंप्यूटर विज्ञान) |स्ट्रिंग (कंप्यूटर विज्ञान)]]  में k वाले और n शून्य हैं।
* <math> \tbinom {n+k} k</math> [[ स्ट्रिंग (कंप्यूटर विज्ञान) |स्ट्रिंग (कंप्यूटर विज्ञान)]]  में k वाले और n शून्य हैं।
* <math> \tbinom {n+1} k</math> स्ट्रिंग्स हैं जिनमें k वाले और n शून्य हैं जैसे कि कोई भी दो आसन्न नहीं हैं।<ref>{{cite journal|last=Muir|first=Thomas|title=चयनित संयोजनों पर ध्यान दें|journal=Proceedings of the Royal Society of Edinburgh|year=1902|url=https://books.google.com/books?id=EN8vAAAAIAAJ&pg=GBS.PA102}}</ref>
* <math> \tbinom {n+1} k</math> स्ट्रिंग्स हैं जिनमें k वाले और n शून्य हैं जैसे कि कोई भी दो आसन्न नहीं हैं।<ref>{{cite journal|last=Muir|first=Thomas|title=चयनित संयोजनों पर ध्यान दें|journal=Proceedings of the Royal Society of Edinburgh|year=1902|url=https://books.google.com/books?id=EN8vAAAAIAAJ&pg=GBS.PA102}}</ref>
Line 148: Line 148:
:<math>\frac{\mathrm{d}}{\mathrm{d}t} \binom{t}{k} = \sum_{i=0}^{k-1} \frac{(-1)^{k-i-1}}{k-i} \binom{t}{i}.</math>
:<math>\frac{\mathrm{d}}{\mathrm{d}t} \binom{t}{k} = \sum_{i=0}^{k-1} \frac{(-1)^{k-i-1}}{k-i} \binom{t}{i}.</math>
=== बहुपद के स्थान के आधार के रूप में द्विपद गुणांक ===
=== बहुपद के स्थान के आधार के रूप में द्विपद गुणांक ===
[[ विशेषता (बीजगणित) ]] के किसी भी [[ क्षेत्र (गणित) ]] पर (अर्थात, कोई भी क्षेत्र जिसमें परिमेय संख्याएँ होती हैं), प्रत्येक बहुपद p(t) डिग्री का अधिकतम d एक रैखिक संयोजन के रूप में विशिष्ट रूप से अभिव्यक्त होता है <math display="inline">\sum_{k=0}^d a_k \binom{t}{k}</math> द्विपद गुणांक के। गुणांक <sub>''k''</sub> अनुक्रम p(0), p(1), ..., p(k) का परिमित अंतर है। स्पष्ट रूप से,<ref>This can be seen as a discrete analog of [[Taylor's theorem]]. It is closely related to [[Newton's polynomial]]. Alternating sums of this form may be expressed as the [[Nörlund–Rice integral]].</ref>
[[ विशेषता (बीजगणित) ]] के किसी भी [[ क्षेत्र (गणित) ]] पर (अर्थात, कोई भी क्षेत्र जिसमें परिमेय संख्याएँ होती हैं), प्रत्येक बहुपद p(t) डिग्री का अधिकतम d एक रैखिक संयोजन के रूप में विशिष्ट रूप से अभिव्यक्त होता है <math display="inline">\sum_{k=0}^d a_k \binom{t}{k}</math> द्विपद गुणांक के। गुणांक a<sub>''k''</sub> अनुक्रम p(0), p(1), ..., p(k) का परिमित अंतर है। स्पष्ट रूप से,<ref>This can be seen as a discrete analog of [[Taylor's theorem]]. It is closely related to [[Newton's polynomial]]. Alternating sums of this form may be expressed as the [[Nörlund–Rice integral]].</ref>
{{NumBlk|:|<math>a_k = \sum_{i=0}^k (-1)^{k-i} \binom{k}{i} p(i).</math>|{{EquationRef|4}}}}
{{NumBlk|:|<math>a_k = \sum_{i=0}^k (-1)^{k-i} \binom{k}{i} p(i).</math>|{{EquationRef|4}}}}


Line 159: Line 159:
:<math>9\binom{t}{2} + 6 \binom{t}{1} + 0\binom{t}{0}.</math>
:<math>9\binom{t}{2} + 6 \binom{t}{1} + 0\binom{t}{0}.</math>
== द्विपद गुणांक वाली सर्वसमिकाएँ ==
== द्विपद गुणांक वाली सर्वसमिकाएँ ==
भाज्य सूत्र निकटवर्ती द्विपद गुणांकों को संबंधित करने की सुविधा प्रदान करता है। उदाहरण के लिए, यदि k एक सकारात्मक पूर्णांक है और n मनमाना है, तो
भाज्य सूत्र निकटवर्ती द्विपद गुणांकों को संबंधित करने की सुविधा प्रदान करता है। उदाहरण के लिए, यदि k और n एक धनात्मक पूर्णांक है, तो
{{NumBlk|:|<math> \binom{n}{k} = \frac{n}{k} \binom{n-1}{k-1}</math>|{{EquationRef|5}}}}
{{NumBlk|:|<math> \binom{n}{k} = \frac{n}{k} \binom{n-1}{k-1}</math>|{{EquationRef|5}}}}


Line 176: Line 176:
सूत्र
सूत्र
{{NumBlk|:|<math> \sum_{k=0}^n \binom n k = 2^n</math>|{{EquationRef|∗∗}}}}
{{NumBlk|:|<math> \sum_{k=0}^n \binom n k = 2^n</math>|{{EquationRef|∗∗}}}}
यह सूत्र कहता है कि पास्कल के त्रिभुज की nवीं पंक्ति में तत्व हमेशा nवें घात में 2 तक जुड़ते हैं। यह x = 1 और y = 1 सेट करके द्विपद प्रमेय (∗) से प्राप्त किया जाता है। सूत्र की एक प्राकृतिक दहनशील व्याख्या भी है: बाईं ओर आकार k = 0, 1, ..., n के {1, ..., n} के उपसमुच्चयों की संख्या का योग है, जिससे उपसमुच्चयों की कुल संख्या मिलती है। (यानी, बाईं ओर {1, ..., n} के [[पावर सेट]]<nowiki> की गणना करता है।) हालाँकि, ये उपसमुच्चय प्रत्येक तत्व 1, ..., n; n स्वतंत्र बाइनरी विकल्प (बिट-स्ट्रिंग्स) कुल {\displaystyle 2^{n}}2^{n} विकल्पों की अनुमति देते हैं। उपसमुच्चयों के समान संग्रह को गिनने के लिए बाएँ और दाएँ पक्ष दो तरीके हैं, इसलिए वे समान हैं।</nowiki>
यह सूत्र कहता है कि पास्कल के त्रिभुज की nवीं पंक्ति में तत्व हमेशा nवें घात में 2 तक जुड़ते हैं। यह x = 1 और y = 1 सेट करके द्विपद प्रमेय (∗) से प्राप्त किया जाता है। सूत्र की एक प्राकृतिक दहनशील व्याख्या भी है: बाईं ओर आकार k = 0, 1, ..., n के {1, ..., n} के उपसमुच्चयों की संख्या का योग है, जिससे उपसमुच्चयों की कुल संख्या मिलती है। (यानी, बाईं ओर {1, ..., n} के [[पावर सेट]] की गणना करता है।) चूंकि, ये उपसमुच्चय प्रत्येक तत्व 1, ..., n; n स्वतंत्र बाइनरी विकल्प (बिट-स्ट्रिंग्स) कुल 2<sup>n</sup> विकल्पों की अनुमति देते हैं। उपसमुच्चयों के समान संग्रह को गिनने के लिए बाएँ और दाएँ पक्ष दो विधियां हैं, इसलिए वे समान हैं।


सूत्र
सूत्र
Line 184: Line 184:
{{mvar|x}} के संबंध में अवकलन (बाद वाले के लिए दो बार) और फिर {{math|1=''x'' = ''y'' = 1}} को प्रतिस्थापित करने के बाद द्विपद प्रमेय से अनुसरण करें।
{{mvar|x}} के संबंध में अवकलन (बाद वाले के लिए दो बार) और फिर {{math|1=''x'' = ''y'' = 1}} को प्रतिस्थापित करने के बाद द्विपद प्रमेय से अनुसरण करें।


चू-वंडरमोंड की पहचान की गई, जो किसी भी जटिल मान m और n और किसी भी गैर-नकारात्मक पूर्णांक k के लिए है
चू-वंडरमोंड की पहचान की गई, जो किसी भी जटिल मान m और n और किसी भी गैर-ऋणात्मक पूर्णांक k के लिए है
{{NumBlk|:|<math> \sum_{j=0}^k \binom m j \binom{n-m}{k-j} = \binom n k</math>|{{EquationRef|7}}}}
{{NumBlk|:|<math> \sum_{j=0}^k \binom m j \binom{n-m}{k-j} = \binom n k</math>|{{EquationRef|7}}}}
और {{math|1=(1 + ''x'')<sup>''m''</sup>(1 + ''x'')<sup>''n''−''m''</sup> = (1 + ''x'')<sup>''n''</sup>}} के विस्तार में <math>x^k</math> के गुणांक की जांच करके पाया जा सकता है समीकरण ({{EquationNote|2}})। जब m = 1, समीकरण ({{EquationNote|7}}) समीकरण ({{EquationNote|3}}) में बदल जाता है। विशेष मामले में {{math|1=''n'' = 2''m'', ''k'' = ''m''}} का उपयोग करके, विस्तार ({{EquationNote|7}}) हो जाता है (जैसा कि पास्कल के त्रिकोण में दाईं ओर देखा गया है)
और {{math|1=(1 + ''x'')<sup>''m''</sup>(1 + ''x'')<sup>''n''−''m''</sup> = (1 + ''x'')<sup>''n''</sup>}} के विस्तार में <math>x^k</math> के गुणांक की जांच करके पाया जा सकता है समीकरण ({{EquationNote|2}})। जब m = 1, समीकरण ({{EquationNote|7}}) समीकरण ({{EquationNote|3}}) में बदल जाता है। विशेष मामले में {{math|1=''n'' = 2''m'', ''k'' = ''m''}} का उपयोग करके, विस्तार ({{EquationNote|7}}) हो जाता है (जैसा कि पास्कल के त्रिकोण में दाईं ओर देखा गया है)
Line 216: Line 216:


==== राशियों का बहुविकल्पी ====
==== राशियों का बहुविकल्पी ====
पूर्णांक एस और टी के लिए ऐसा है कि <math>0\leq t < s,</math> [[श्रृंखला बहुविभाग]] द्विपद गुणांकों के योग के लिए निम्नलिखित पहचान देता है:
पूर्णांक s और t के लिए ऐसा है कि <math>0\leq t < s,</math> [[श्रृंखला बहुविभाग]] द्विपद गुणांकों के योग के लिए निम्नलिखित पहचान देता है:
: <math>\binom{n}{t}+\binom{n}{t+s}+\binom{n}{t+2s}+\ldots=\frac{1}{s}\sum_{j=0}^{s-1}\left(2\cos\frac{\pi j}{s}\right)^n\cos\frac{\pi(n-2t)j}{s}.</math>
: <math>\binom{n}{t}+\binom{n}{t+s}+\binom{n}{t+2s}+\ldots=\frac{1}{s}\sum_{j=0}^{s-1}\left(2\cos\frac{\pi j}{s}\right)^n\cos\frac{\pi(n-2t)j}{s}.</math>
छोटे {{mvar|s}} के लिए , इन श्रृंखलाओं के विशेष रूप से अच्छे रूप हैं; उदाहरण के लिए,<ref>{{harvtxt|Gradshteyn|Ryzhik|2014|pp=3–4}}.</ref>
छोटे {{mvar|s}} के लिए , इन श्रृंखलाओं के विशेष रूप से अच्छे रूप हैं; उदाहरण के लिए,<ref>{{harvtxt|Gradshteyn|Ryzhik|2014|pp=3–4}}.</ref>
Line 226: Line 226:
:<math> \binom{n}{2} + \binom{n}{6}+\binom{n}{10}+\cdots = \frac{1}{2}\left(2^{n-1} -2^{\frac{n}{2}} \cos\frac{n\pi}{4}\right) </math>
:<math> \binom{n}{2} + \binom{n}{6}+\binom{n}{10}+\cdots = \frac{1}{2}\left(2^{n-1} -2^{\frac{n}{2}} \cos\frac{n\pi}{4}\right) </math>
:<math> \binom{n}{3} + \binom{n}{7}+\binom{n}{11}+\cdots = \frac{1}{2}\left(2^{n-1} -2^{\frac{n}{2}} \sin\frac{n\pi}{4}\right) </math>
:<math> \binom{n}{3} + \binom{n}{7}+\binom{n}{11}+\cdots = \frac{1}{2}\left(2^{n-1} -2^{\frac{n}{2}} \sin\frac{n\pi}{4}\right) </math>
==== आंशिक योग ====
==== आंशिक योग ====
यद्यपि आंशिक योगों के लिए कोई [[ बंद सूत्र ]] नहीं है
यद्यपि आंशिक योगों के लिए कोई [[ बंद सूत्र ]] नहीं है
Line 249: Line 247:
विभेदक ({{EquationNote|2}}) k बार और सेटिंग x = −1 इसके लिए देता है
विभेदक ({{EquationNote|2}}) k बार और सेटिंग x = −1 इसके लिए देता है
<math>P(x)=x(x-1)\cdots(x-k+1)</math>,
<math>P(x)=x(x-1)\cdots(x-k+1)</math>,
जब 0 k < n,
जब 0 k < n,
और सामान्य स्थिति इनके रैखिक संयोजनों को लेकर अनुसरण करती है।
और सामान्य स्थिति इनके रैखिक संयोजनों को लेकर अनुसरण करती है।


Line 266: Line 266:


:<math>\sum_{k=q}^n \binom{n}{k} \binom{k}{q} = 2^{n-q}\binom{n}{q}</math>
:<math>\sum_{k=q}^n \binom{n}{k} \binom{k}{q} = 2^{n-q}\binom{n}{q}</math>
(जो कम हो जाता है ({{EquationNote|6}}) जब q = 1) को दोहरी गणना (प्रूफ तकनीक) निम्न प्रकार से दी जा सकती है। बाईं ओर कम से कम q तत्वों के साथ [n] = {1, 2, ..., n} के उपसमुच्चय का चयन करने और चयनित तत्वों में q तत्वों को चिह्नित करने के तरीकों की संख्या की गणना करता है। दाहिना पक्ष एक ही चीज़ को गिनता है, क्योंकि वहाँ हैं <math>\tbinom n q</math> चिह्नित करने के लिए q तत्वों का एक सेट चुनने के तरीके, और <math>2^{n-q}</math> यह चुनने के लिए कि [n] के शेष तत्वों में से कौन सा उप-समूचय से संबंधित है।
(जो कम हो जाता है ({{EquationNote|6}}) जब q = 1) को दोहरी गणना (प्रूफ तकनीक) निम्न प्रकार से दी जा सकती है। बाईं ओर कम से कम q तत्वों के साथ [n] = {1, 2, ..., n} के उपसमुच्चय का चयन करने और चयनित तत्वों में q तत्वों को चिह्नित करने के विधियों की संख्या की गणना करता है। दाहिना पक्ष एक ही चीज़ को गिनता है, क्योंकि वहाँ हैं <math>\tbinom n q</math> चिह्नित करने के लिए q तत्वों का एक सेट चुनने के विधियां, और <math>2^{n-q}</math> यह चुनने के लिए कि [n] के शेष तत्वों में से कौन सा उप-समूचय से संबंधित है।


पास्कल की पहचान में
पास्कल की पहचान में
Line 275: Line 275:


:<math>\sum_{k=0}^n \binom{n}{k}^2 = \binom{2n}{n}.</math>
:<math>\sum_{k=0}^n \binom{n}{k}^2 = \binom{2n}{n}.</math>
मान लीजिए आपके पास है <math>2n</math> एक पंक्ति में व्यवस्थित खाली वर्ग और आप उनमें से n को चिह्नित (चयन) करना चाहते हैं। वहाँ हैं <math>\tbinom {2n}n</math> ऐसा करने के तरीके। दूसरी ओर, आप पहले n और . में से k वर्ग चुनकर अपने n वर्ग चुन सकते हैं <math>n-k</math> शेष n वर्गों से वर्ग; 0 से n तक कोई भी k काम करेगा। यह देता है
मान लीजिए आपके पास है <math>2n</math> एक पंक्ति में व्यवस्थित खाली वर्ग और आप उनमें से n को चिह्नित (चयन) करना चाहते हैं। वहाँ हैं <math>\tbinom {2n}n</math> ऐसा करने के विधियां। दूसरी ओर, आप पहले n और . में से k वर्ग चुनकर अपने n वर्ग चुन सकते हैं <math>n-k</math> शेष n वर्गों से वर्ग; 0 से n तक कोई भी k काम करेगा। यह देता है
:<math>\sum_{k=0}^n\binom n k\binom n{n-k} = \binom {2n} n.</math>
:<math>\sum_{k=0}^n\binom n k\binom n{n-k} = \binom {2n} n.</math>
अब आवेदन करें ({{EquationNote|1}}) परिणाम प्राप्त करने के लिए।
अब आवेदन करें ({{EquationNote|1}}) परिणाम प्राप्त करने के लिए।


यदि कोई दर्शाता है {{math|''F''(''i'')}} फाइबोनैचि संख्याओं का क्रम, अनुक्रमित ताकि {{math|1=''F''(0) = ''F''(1) = 1}}, फिर पहचान
यदि कोई दर्शाता है {{math|''F''(''i'')}} फाइबोनैचि संख्याओं का क्रम, अनुक्रमित जिससे {{math|1=''F''(0) = ''F''(1) = 1}}, फिर पहचान
<math display="block">\sum_{k=0}^{\left\lfloor\frac{n}{2}\right\rfloor} \binom {n-k} k = F(n)</math>निम्नलिखित संयोजन प्रमाण है।<ref>{{harvnb|Benjamin|Quinn|2003|loc=pp. 4−5}}</ref> इंडक्शन द्वारा दिखाया जा सकता है कि {{math|''F''(''n'')}} उन तरीकों की संख्या की गणना करता है जिनमें {{math|''n'' × 1}} वर्गों की पट्टी को {{math|2 × 1}} और {{math|1 × 1}} टाइलों द्वारा कवर किया जा सकता है। दूसरी ओर, यदि ऐसी टाइलिंग {{math|2 × 1}} टाइलों में से ठीक {{mvar|k}} का उपयोग करती है, तो यह {{math|1 × 1}} टाइलों में से {{math|''n'' − 2''k''}} का उपयोग करता है, और इसलिए कुल {{math|''n'' − ''k''}} टाइलों का उपयोग करता है। इन टाइलों को ऑर्डर करने के <math>\tbinom{n-k}{k}</math> तरीके हैं, और इसलिए इस गुणांक को {{mvar|k}} के सभी संभावित मानों पर योग करने से सर्वसमिका प्राप्त होती है।
<math display="block">\sum_{k=0}^{\left\lfloor\frac{n}{2}\right\rfloor} \binom {n-k} k = F(n)</math>निम्नलिखित संयोजन प्रमाण है।<ref>{{harvnb|Benjamin|Quinn|2003|loc=pp. 4−5}}</ref> प्रवर्तन द्वारा दिखाया जा सकता है कि {{math|''F''(''n'')}} उन विधियों की संख्या की गणना करता है जिनमें {{math|''n'' × 1}} वर्गों की पट्टी को {{math|2 × 1}} और {{math|1 × 1}} टाइलों द्वारा कवर किया जा सकता है। दूसरी ओर, यदि ऐसी टाइलिंग {{math|2 × 1}} टाइलों में से ठीक {{mvar|k}} का उपयोग करती है, तो यह {{math|1 × 1}} टाइलों में से {{math|''n'' − 2''k''}} का उपयोग करता है, और इसलिए कुल {{math|''n'' − ''k''}} टाइलों का उपयोग करता है। इन टाइलों को ऑर्डर करने के <math>\tbinom{n-k}{k}</math> विधियां हैं, और इसलिए इस गुणांक को {{mvar|k}} के सभी संभावित मानों पर योग करने से सर्वसमिका प्राप्त होती है।
==== गुणांकों का योग पंक्ति ====
==== गुणांकों का योग पंक्ति ====
{{See also|संयोजन#सभी k के लिए k-संयोजनों की संख्या}}
{{See also|संयोजन#सभी k के लिए k-संयोजनों की संख्या}}
'''k-संयोजन की संख्या# सभी k के लिए k-संयोजनों की संख्या k, <math display="inline">\sum_{0\leq{k}\leq{n}}\binom nk = 2^n</math>, द्विपद गुणांकों की nवीं पंक्ति (0 से गिनती) का योग है। इन संयोजनों की गणना [[ आधार 2 | आधार 2]] संख्याओं के सेट के 1 अंकों द्वारा की जाती है, जिनकी गणना 0 से होती है <math>2^n - 1</math>, जहां प्रत्येक अंक की स्थिति n के सेट से एक आइटम है।'''
सभी k के लिए k-संयोजनों की संख्या, <math display="inline">\sum_{0\leq{k}\leq{n}}\binom nk = 2^n</math>, द्विपद गुणांकों की nवीं पंक्ति (0 से गिनती) का योग है। इन संयोजनों को 0 से <math>2^n - 1</math> तक गिनने वाली [[आधार 2]] संख्याओं के सेट के 1 अंकों द्वारा गिना जाता है, जहां प्रत्येक अंक की स्थिति n के सेट से एक आइटम है।


=== डिक्सन की पहचान ===
=== डिक्सन की पहचान ===
Line 289: Line 289:


:<math>\sum_{k=-a}^{a}(-1)^{k}{2a\choose k+a}^3 =\frac{(3a)!}{(a!)^3}</math>
:<math>\sum_{k=-a}^{a}(-1)^{k}{2a\choose k+a}^3 =\frac{(3a)!}{(a!)^3}</math>
या, अधिक साधारणतयः,
या, अधिकांशतयः,


:<math>\sum_{k=-a}^a(-1)^k{a+b\choose a+k} {b+c\choose b+k}{c+a\choose c+k} = \frac{(a+b+c)!}{a!\,b!\,c!}\,,</math>
:<math>\sum_{k=-a}^a(-1)^k{a+b\choose a+k} {b+c\choose b+k}{c+a\choose c+k} = \frac{(a+b+c)!}{a!\,b!\,c!}\,,</math>
Line 312: Line 312:


=== सर्वांगसमताएं ===
=== सर्वांगसमताएं ===
यदि n प्रधान है, तो <math display="block">\binom {n-1}k \equiv (-1)^k \mod n</math> हर कश्मीर के साथ <math>0\leq k \leq n-1.</math>
यदि n प्रधान है, तो <math display="block">\binom {n-1}k \equiv (-1)^k \mod n</math> हर k के लिए साथ <math>0\leq k \leq n-1.</math> अधिकांशतयः, यह सत्य है यदि n कोई संख्या है और k का मान इस तरह है कि 1 और k के बीच की सभी संख्याएँ n से सहअभाज्य हैं।
अधिक साधारणतयः, यह सत्य रहता है यदि n कोई संख्या है और k ऐसा है कि 1 और k के बीच की सभी संख्याएँ n के सहअभाज्य हैं।


वाकई, हमारे पास है
तो हमें कुछ इस तरह का मान मिलेगा
:<math>
:<math>
\binom {n-1} k = {(n-1)(n-2)\cdots(n-k)\over 1\cdot 2\cdots k}
\binom {n-1} k = {(n-1)(n-2)\cdots(n-k)\over 1\cdot 2\cdots k}
= \prod_{i=1}^{k}{n-i\over i}\equiv \prod_{i=1}^{k}{-i\over i} = (-1)^k \mod n.
= \prod_{i=1}^{k}{n-i\over i}\equiv \prod_{i=1}^{k}{-i\over i} = (-1)^k \mod n.
</math>
</math>
 
== फ़ंक्शन का निर्माण (जनरेटिंग फ़ंक्शन) ==
 
== फ़ंक्शन उत्पन्न करना ==


=== साधारण उत्पादन कार्य ===
=== साधारण उत्पादन कार्य ===
Line 338: Line 335:
द्विपद गुणांकों का एक सममित घातांक उत्पन्न करने वाला फलन है:
द्विपद गुणांकों का एक सममित घातांक उत्पन्न करने वाला फलन है:
: <math>\sum_{n=0}^\infty \sum_{k=0}^\infty {n+k\choose k} \frac{x^k y^n}{(n+k)!} = e^{x+y}.</math>
: <math>\sum_{n=0}^\infty \sum_{k=0}^\infty {n+k\choose k} \frac{x^k y^n}{(n+k)!} = e^{x+y}.</math>
== विभाज्यता गुण ==
== विभाज्यता गुण ==
{{main|कुम्मर की प्रमेय|लुकास की प्रमेय}}
{{main|कुम्मर की प्रमेय|लुकास की प्रमेय}}
1852 में [[कुमेर]] ने सिद्ध किया कि यदि m और n ऋणात्मक पूर्णांक हैं और p एक अभाज्य संख्या है, तब p विभाजन की सबसे बड़ी शक्ति <math>\tbinom{m+n}{m}</math> पीसी के बराबर होती है, जहाँ c कैरीज़ की संख्या है जब m और n हैं बेस पी में जोड़ा गया। समान रूप से, <math>\tbinom n k</math> में अभाज्य p का घातांक गैर-नकारात्मक पूर्णांक j की संख्या के बराबर है जैसे कि k/p<sup>j</sup> का भिन्नात्मक भाग n/p<sup>j</sup> के भिन्नात्मक भाग से बड़ा है। इससे यह निष्कर्ष निकाला जा सकता है कि <math>\tbinom n k</math> से विभाज्य है। विशेष रूप से इसलिए यह अनुसरण करता है कि <math>\tbinom{p^r}{s}</math> को सभी सकारात्मक पूर्णांकों r और s के लिए विभाजित करता है जैसे कि {{math|''s'' < ''p''<sup>''r''</sup>}}। चूंकि यह पी की उच्च शक्तियों के लिए सही नहीं है: उदाहरण के लिए <math>\tbinom{9}{6}</math> को विभाजित नहीं करता है।
1852 में [[कुमेर]] ने सिद्ध किया कि यदि m और n ऋणात्मक पूर्णांक हैं और p एक अभाज्य संख्या है, तब p विभाजन की सबसे बड़ी शक्ति <math>\tbinom{m+n}{m}</math> पीसी के बराबर होती है, जहाँ c कैरीज़ की संख्या है जब m और n हैं बेस पी में जोड़ा गया। समान रूप से, <math>\tbinom n k</math> में अभाज्य p का घातांक गैर-ऋणात्मक पूर्णांक j की संख्या के बराबर है जैसे कि k/p<sup>j</sup> का भिन्नात्मक भाग n/p<sup>j</sup> के भिन्नात्मक भाग से बड़ा है। इससे यह निष्कर्ष निकाला जा सकता है कि <math>\tbinom n k</math> से विभाज्य है। विशेष रूप से इसलिए यह अनुसरण करता है कि <math>\tbinom{p^r}{s}</math> को सभी धनात्मक पूर्णांकों r और s के लिए विभाजित करता है जैसे कि {{math|''s'' < ''p''<sup>''r''</sup>}}। चूंकि यह पी की उच्च शक्तियों के लिए सही नहीं है: उदाहरण के लिए <math>\tbinom{9}{6}</math> को विभाजित नहीं करता है।


[[ डेविड सिंगमास्टर ]] (1974) द्वारा कुछ हद तक आश्चर्यजनक परिणाम यह है कि कोई भी पूर्णांक लगभग सभी द्विपद गुणांकों को विभाजित करता है। अधिक सटीक रूप से, एक पूर्णांक d को ठीक करें और f(N) द्विपद गुणांक <math>\tbinom n k</math> की संख्या को n <N के साथ निरूपित करें जैसे कि <math>\tbinom n k</math> को विभाजित करता है। फिर
[[ डेविड सिंगमास्टर ]] (1974) द्वारा कुछ हद तक आश्चर्यजनक परिणाम यह है कि कोई भी पूर्णांक लगभग सभी द्विपद गुणांकों को विभाजित करता है। अधिक सटीक रूप से, एक पूर्णांक d को ठीक करें और f(N) द्विपद गुणांक <math>\tbinom n k</math> की संख्या को n <N के साथ निरूपित करें जैसे कि <math>\tbinom n k</math> को विभाजित करता है। फिर
Line 365: Line 360:


== सीमा और स्पर्शोन्मुख सूत्र ==
== सीमा और स्पर्शोन्मुख सूत्र ==
<math>\tbinom n k</math> के लिए निम्न सीमाएं n और k के सभी मानों के लिए समान हैं जैसे कि {{math|1 ≤ ''k'' ≤ ''n''}}<math display="block">\frac{n^k}{k^k} \le {n \choose k} \le \frac{n^k}{k!} < \left(\frac{n\cdot e}{k}\right)^k.</math>पहली असमानता इस तथ्य से अनुसरण करती है कि<math display="block"> {n \choose k} = \frac{n}{k} \cdot \frac{n-1}{k-1} \cdots \frac{n-(k-1)}{1} </math>और इस उत्पाद में इनमें से प्रत्येक <math>k </math> <math display="inline"> \geq \frac{n}{k} </math> है। दूसरी असमानता दिखाने के लिए इसी तरह का तर्क दिया जा सकता है। अंतिम सख्त असमानता <math display="inline">e^k > k^k / k!</math> के बराबर है,यह स्पष्ट है क्योंकि RHS चरघातांकी श्रृंखला <math display="inline"> e^k = \sum_{j=0}^\infty k^j/j! </math>विभाज्यता गुणों से हम यह अनुमान लगा सकते हैं<math display="block">\frac{\operatorname{lcm}(n-k, \ldots, n)}{(n-k) \cdot \operatorname{lcm}\left(\binom{k}{0}, \ldots, \binom{k}{k}\right)}\leq\binom{n}{k} \leq \frac{\operatorname{lcm}(n-k, \ldots, n)}{n - k},</math>
<math>\tbinom n k</math> के लिए निम्न सीमाएं n और k के सभी मानों के लिए समान हैं जैसे कि {{math|1 ≤ ''k'' ≤ ''n''}}<math display="block">\frac{n^k}{k^k} \le {n \choose k} \le \frac{n^k}{k!} < \left(\frac{n\cdot e}{k}\right)^k.</math>पहली असमानता इस तथ्य से अनुसरण करती है कि<math display="block"> {n \choose k} = \frac{n}{k} \cdot \frac{n-1}{k-1} \cdots \frac{n-(k-1)}{1} </math>और इस उत्पाद में इनमें से प्रत्येक <math>k </math> <math display="inline"> \geq \frac{n}{k} </math> है। दूसरी असमानता दिखाने के लिए इसी तरह का तर्क दिया जा सकता है। अंतिम सख्त असमानता <math display="inline">e^k > k^k / k!</math> के बराबर है,यह स्पष्ट है क्योंकि RHS चरघातांकी श्रृंखला <math display="inline"> e^k = \sum_{j=0}^\infty k^j/j! </math> विभाज्यता गुणों से हम यह अनुमान लगा सकते हैं<math display="block">\frac{\operatorname{lcm}(n-k, \ldots, n)}{(n-k) \cdot \operatorname{lcm}\left(\binom{k}{0}, \ldots, \binom{k}{k}\right)}\leq\binom{n}{k} \leq \frac{\operatorname{lcm}(n-k, \ldots, n)}{n - k},</math>
जहां दोनों समानताएं हासिल की जा सकती हैं।<ref name="Farhi2007" />
जहां दोनों समानताएं हासिल की जा सकती हैं।<ref name="Farhi2007" />


सूचना सिद्धांत में निम्नलिखित सीमाएँ उपयोगी हैं:<ref name=cover2006>{{cite book |author1=Thomas M. Cover |author2=Joy A. Thomas |title=सूचना सिद्धांत के तत्व|date=18 July 2006 |publisher=Wiley |location=Hoboken, New Jersey |isbn=0-471-24195-4}}</ref>{{rp|353}}<math display="block"> \frac{1}{n+1} 2^{nH(k/n)} \leq {n \choose k} \leq 2^{nH(k/n)} </math>जहाँ <math>H(p) = -p\log_2(p) -(1-p)\log_2(1-p)</math> [[ बाइनरी एन्ट्रापी फ़ंक्शन |बाइनरी एन्ट्रापी फ़ंक्शन]] है। इसे और कड़ा किया जा सकता है<math display="block"> \sqrt{\frac{n}{8k(n-k)}} 2^{nH(k/n)} \leq {n \choose k} \leq \sqrt{\frac{n}{\pi k(n-k)}} 2^{nH(k/n)}</math>सभी के लिए <math>1 \leq k \leq n-1</math>.<ref name="cover2006" />{{rp|666}}
सूचना सिद्धांत में निम्नलिखित सीमाएँ उपयोगी हैं:<ref name=cover2006>{{cite book |author1=Thomas M. Cover |author2=Joy A. Thomas |title=सूचना सिद्धांत के तत्व|date=18 July 2006 |publisher=Wiley |location=Hoboken, New Jersey |isbn=0-471-24195-4}}</ref>{{rp|353}}<math display="block"> \frac{1}{n+1} 2^{nH(k/n)} \leq {n \choose k} \leq 2^{nH(k/n)} </math>जहाँ <math>H(p) = -p\log_2(p) -(1-p)\log_2(1-p)</math> [[ बाइनरी एन्ट्रापी फ़ंक्शन |बाइनरी एन्ट्रापी फ़ंक्शन]] है। इसे और कठिन करने के लिए<math display="block"> \sqrt{\frac{n}{8k(n-k)}} 2^{nH(k/n)} \leq {n \choose k} \leq \sqrt{\frac{n}{\pi k(n-k)}} 2^{nH(k/n)}</math>सभी के लिए <math>1 \leq k \leq n-1</math>.<ref name="cover2006" />{{rp|666}}


=== दोनों {{mvar|n}} तथा {{mvar|k}} बड़ा ===
=== दोनों {{mvar|n}} तथा {{mvar|k}} बड़ा ===
Line 376: Line 371:
</math>क्योंकि स्टर्लिंग के फार्मूले के असमानता रूपों ने फैक्टोरियल्स को भी बाध्य किया है, उपरोक्त स्पर्शोन्मुख सन्निकटन पर मामूली भिन्नताएं सटीक सीमाएं देती हैं। विशेष रूप से, जब <math>n</math> पर्याप्त रूप से बड़ा होता है, तो किसी के पास होता है<math display="block"> {2n \choose n} \sim \frac{2^{2n}}{\sqrt{n\pi }}</math>तथा <math>\sqrt{n}{2n \choose n} \ge 2^{2n-1}</math>
</math>क्योंकि स्टर्लिंग के फार्मूले के असमानता रूपों ने फैक्टोरियल्स को भी बाध्य किया है, उपरोक्त स्पर्शोन्मुख सन्निकटन पर मामूली भिन्नताएं सटीक सीमाएं देती हैं। विशेष रूप से, जब <math>n</math> पर्याप्त रूप से बड़ा होता है, तो किसी के पास होता है<math display="block"> {2n \choose n} \sim \frac{2^{2n}}{\sqrt{n\pi }}</math>तथा <math>\sqrt{n}{2n \choose n} \ge 2^{2n-1}</math>
और, अधिक साधारणतयः, के लिए {{math|''m'' ≥ 2}} तथा {{math|''n'' ≥ 1}},{{why|date=September 2017}}
और, अधिक साधारणतयः, के लिए {{math|''m'' ≥ 2}} तथा {{math|''n'' ≥ 1}},{{why|date=September 2017}}
<math display="block">\sqrt{n}{mn \choose n} \ge \frac{m^{m(n-1)+1}}{(m-1)^{(m-1)(n-1)}}.</math>यदि n बड़ा है और k n में रैखिक है, तो द्विपद गुणांक <math display="inline"> \binom{n}{k}</math> के लिए विभिन्न सटीक स्पर्शोन्मुख अनुमान मौजूद हैं। उदाहरण के लिए, यदि <math>| n/2 - k | = o(n^{2/3})</math> तो<math display="block"> \binom{n}{k} \sim \binom{n}{\frac{n}{2}} e^{-d^2/(2n)} \sim \frac{2^n}{\sqrt{\frac{1}{2}n \pi }} e^{-d^2/(2n)}</math>जहाँ d = n - 2k।<ref>{{cite book|title=स्पर्शोन्मुखता|last1=Spencer|first1=Joel|last2=Florescu|first2=Laura|date=2014| publisher=[[American Mathematical Society|AMS]]|isbn=978-1-4704-0904-3|series=Student mathematical library|volume=71|page=66| oclc=865574788|author1-link=Joel Spencer}}</ref>
<math display="block">\sqrt{n}{mn \choose n} \ge \frac{m^{m(n-1)+1}}{(m-1)^{(m-1)(n-1)}}.</math>यदि n बड़ा है और k n में रैखिक है, तो द्विपद गुणांक <math display="inline"> \binom{n}{k}</math> के लिए विभिन्न सटीक स्पर्शोन्मुख अनुमान सम्मलित हैं। उदाहरण के लिए, यदि <math>| n/2 - k | = o(n^{2/3})</math> तो<math display="block"> \binom{n}{k} \sim \binom{n}{\frac{n}{2}} e^{-d^2/(2n)} \sim \frac{2^n}{\sqrt{\frac{1}{2}n \pi }} e^{-d^2/(2n)}</math>जहाँ d = n - 2k।<ref>{{cite book|title=स्पर्शोन्मुखता|last1=Spencer|first1=Joel|last2=Florescu|first2=Laura|date=2014| publisher=[[American Mathematical Society|AMS]]|isbn=978-1-4704-0904-3|series=Student mathematical library|volume=71|page=66| oclc=865574788|author1-link=Joel Spencer}}</ref>
=== {{mvar|n}} से बहुत बड़ा {{mvar|k}} ===
=== {{mvar|n}} से बहुत बड़ा {{mvar|k}} ===
यदि {{mvar|n}} बड़ा है और {{mvar|k}}, {{math|''o''(''n'')}} है (अर्थात, यदि {{math| ''k''/''n'' → 0}}), तो<math display = block> \binom{n}{k} \sim \left(\frac{n e}{k} \right)^k \cdot (2\pi k)^{-1/2} \cdot \exp\left(- \frac{k^2}{2n}(1 + o(1))\right)</math>जहाँ फिर से {{mvar|o}} छोटा ओ संकेतन है।<ref>{{cite book|title=स्पर्शोन्मुखता|last1=Spencer|first1=Joel| last2=Florescu|first2=Laura|date=2014|publisher=[[American Mathematical Society|AMS]]|isbn=978-1-4704-0904-3|series=Student mathematical library|volume=71|page=59|oclc=865574788|author1-link=Joel Spencer}}</ref>
यदि {{mvar|n}} बड़ा है और {{mvar|k}}, {{math|''o''(''n'')}} है (अर्थात, यदि {{math| ''k''/''n'' → 0}}), तो<math display = block> \binom{n}{k} \sim \left(\frac{n e}{k} \right)^k \cdot (2\pi k)^{-1/2} \cdot \exp\left(- \frac{k^2}{2n}(1 + o(1))\right)</math>जहाँ फिर से {{mvar|o}} छोटा ओ संकेतन है।<ref>{{cite book|title=स्पर्शोन्मुखता|last1=Spencer|first1=Joel| last2=Florescu|first2=Laura|date=2014|publisher=[[American Mathematical Society|AMS]]|isbn=978-1-4704-0904-3|series=Student mathematical library|volume=71|page=59|oclc=865574788|author1-link=Joel Spencer}}</ref>
Line 420: Line 415:
द्विपद गुणांक की परिभाषा को उस मामले तक बढ़ाया जा सकता है जहां <math>n</math> वास्तविक है और <math>k</math> पूर्णांक है।
द्विपद गुणांक की परिभाषा को उस मामले तक बढ़ाया जा सकता है जहां <math>n</math> वास्तविक है और <math>k</math> पूर्णांक है।


विशेष रूप से, निम्नलिखित पहचान किसी भी गैर-ऋणात्मक पूर्णांक <math>k</math> के लिए लागू होती है:
विशेष रूप से, निम्नलिखित पहचान किसी भी धनात्मक पूर्णांक <math>k</math> के लिए लागू होती है:
:<math>{{1/2}\choose{k}}={{2k}\choose{k}}\frac{(-1)^{k+1}}{2^{2k}(2k-1)}.</math>
:<math>{{1/2}\choose{k}}={{2k}\choose{k}}\frac{(-1)^{k+1}}{2^{2k}(2k-1)}.</math>
यह तब दिखाई देता है जब <math>\sqrt{1+x}</math> को न्यूटन बाइनोमियल सीरीज़ का इस्तेमाल करते हुए पावर सीरीज़ में एक्सपैंड किया जाता है:
यह तब दिखाई देता है जब <math>\sqrt{1+x}</math> को न्यूटन बाइनोमियल सीरीज़ का उपयोग करते हुए पावर सीरीज़ में एक्सपैंड किया जाता है:
:<math>\sqrt{1+x}=\sum_{k\geq 0}{\binom{1/2}{k}}x^k.</math>
:<math>\sqrt{1+x}=\sum_{k\geq 0}{\binom{1/2}{k}}x^k.</math>
=== द्विपद गुणांकों के गुणनफल ===
=== द्विपद गुणांकों के गुणनफल ===
Line 428: Line 423:


:<math>{z \choose m} {z\choose n} = \sum_{k=0}^m {m + n - k \choose k, m - k, n - k} {z \choose m + n - k},</math>
:<math>{z \choose m} {z\choose n} = \sum_{k=0}^m {m + n - k \choose k, m - k, n - k} {z \choose m + n - k},</math>
जहां कनेक्शन गुणांक [[ बहुपद प्रमेय |बहुपद प्रमेय]] हैं। लेबल किए गए कॉम्बीनेटरियल ऑब्जेक्ट्स के संदर्भ में, कनेक्शन गुणांक {{math|''m'' + ''n'' − ''k''}} लेबल्स को वजन एम और एन के लेबल किए गए कॉम्बीनेटरियल ऑब्जेक्ट्स की एक जोड़ी को असाइन करने के तरीकों की संख्या का प्रतिनिधित्व करते हैं। जिनके पहले k लेबल की पहचान की गई है, या वजन {{math|''m'' + ''n'' − ''k''}}का एक नया लेबल वाला कॉम्बीनेटरियल ऑब्जेक्ट प्राप्त करने के लिए एक साथ चिपकाया गया है। (अर्थात्, लेबल को तीन भागों में अलग करने के लिए चिपकाए गए भाग पर लागू करने के लिए, पहली वस्तु का अनलग्ड भाग, और दूसरी वस्तु का अनलग्ड भाग।) इस संबंध में, द्विपद गुणांक घातीय उत्पादन श्रृंखला के लिए हैं जो गिरने वाले तथ्य सामान्य उत्पादन श्रृंखला के लिए हैं।
जहां कनेक्शन गुणांक [[ बहुपद प्रमेय |बहुपद प्रमेय]] हैं। लेबल किए गए कॉम्बीनेटरियल ऑब्जेक्ट्स के संदर्भ में, कनेक्शन गुणांक {{math|''m'' + ''n'' − ''k''}} लेबल्स को वजन एम और एन के लेबल किए गए कॉम्बीनेटरियल ऑब्जेक्ट्स की एक जोड़ी को निर्दिष्ट करने के विधियों की संख्या का प्रतिनिधित्व करते हैं। जिनके पहले k लेबल की पहचान की गई है, या वजन {{math|''m'' + ''n'' − ''k''}} का एक नया लेबल वाला कॉम्बीनेटरियल ऑब्जेक्ट प्राप्त करने के लिए एक साथ चिपकाया गया है। (अर्थात्, लेबल को तीन भागों में अलग करने के लिए चिपकाए गए भाग पर लागू करने के लिए, पहली वस्तु का अनलग्ड भाग, और दूसरी वस्तु का अनलग्ड भाग।) इस संबंध में, द्विपद गुणांक घातीय उत्पादन श्रृंखला के लिए हैं जो गिरने वाले तथ्य सामान्य उत्पादन श्रृंखला के लिए हैं।


पास्कल त्रिभुज की nवीं पंक्ति में सभी द्विपद गुणांकों का गुणनफल सूत्र द्वारा दिया जाता है:
पास्कल त्रिभुज की nवीं पंक्ति में सभी द्विपद गुणांकों का गुणनफल सूत्र द्वारा दिया जाता है:
Line 454: Line 449:
=== मल्टीसेट (उभरता हुआ) द्विपद गुणांक ===
=== मल्टीसेट (उभरता हुआ) द्विपद गुणांक ===
{{main|मल्टी चूज#काउंटिंग मल्टीसेट्स}}
{{main|मल्टी चूज#काउंटिंग मल्टीसेट्स}}
द्विपद गुणांक किसी दिए गए सेट से निर्धारित आकार के उप-समूचय की गणना करते हैं। किसी दिए गए सेट से तैयार किए गए तत्वों के साथ निर्धारित आकार के मल्टीसेट को गिनने के लिए एक संबंधित संयोजी समस्या है, अर्थात्, एक ही तत्व को बार-बार चुनने की संभावना के साथ दिए गए सेट से तत्वों की एक निश्चित संख्या का चयन करने के तरीकों की संख्या की गणना करना। परिणामी संख्याओं को मल्टीसेट गुणांक कहा जाता है;<ref>{{citation
द्विपद गुणांक किसी दिए गए सेट से निर्धारित आकार के उप-समूचय की गणना करते हैं। किसी दिए गए सेट से तैयार किए गए तत्वों के साथ निर्धारित आकार के मल्टीसेट को गिनने के लिए एक संबंधित संयोजी समस्या है, अर्थात्, एक ही तत्व को बार-बार चुनने की संभावना के साथ दिए गए सेट से तत्वों की एक निश्चित संख्या का चयन करने के विधियों की संख्या की गणना करना। परिणामी संख्याओं को मल्टीसेट गुणांक कहा जाता है;<ref>{{citation
  | last = Munarini | first = Emanuele
  | last = Munarini | first = Emanuele
  | doi = 10.2298/AADM110609014M
  | doi = 10.2298/AADM110609014M
Line 464: Line 459:
  | volume = 5
  | volume = 5
  | year = 2011| url = http://www.doiserbia.nb.rs/img/doi/1452-8630/2011/1452-86301100014M.pdf
  | year = 2011| url = http://www.doiserbia.nb.rs/img/doi/1452-8630/2011/1452-86301100014M.pdf
  }}.</ref> n तत्व सेट से "मल्टीचॉइस" (यानी, प्रतिस्थापन के साथ चुनें) k आइटम के तरीकों की संख्या <math display="inline">\left(\!\!\binom n k\!\!\right)</math> चिह्नित है ) {{math|1=''f'' = ''n'' = ''r'' + (''k'' − 1)}} तथा {{math|1=''r'' = ''f'' − (''k'' − 1)}}.
  }}.</ref> n तत्व सेट से "मल्टीचॉइस" (अर्थात, प्रतिस्थापन के साथ चुनें) k आइटम के विधियों की संख्या <math display="inline">\left(\!\!\binom n k\!\!\right)</math> चिह्नित है ) {{math|1=''f'' = ''n'' = ''r'' + (''k'' − 1)}} तथा {{math|1=''r'' = ''f'' − (''k'' − 1)}}.


=== इस आलेख में एन के मुख्य अर्थ के साथ अस्पष्टता और भ्रम से बचने के लिए,<math display="block">\binom{f}{k}=\left(\!\!\binom{r}{k}\!\!\right)=\binom{r+k-1}{k}.</math>इस पहचान का एक संभावित वैकल्पिक लक्षण वर्णन इस प्रकार है: हम गिरने वाले फैक्टोरियल को परिभाषित कर सकते हैं<math display="block">(f)_{k}=f^{\underline k}=(f-k+1)\cdots(f-3)\cdot(f-2)\cdot(f-1)\cdot f,</math>और इसी बढ़ती भाज्य के रूप में<math display="block">r^{(k)}=\,r^{\overline k}=\,r\cdot(r+1)\cdot(r+2)\cdot(r+3)\cdots(r+k-1);</math>उदाहरण के लिए,<math display="block">17\cdot18\cdot19\cdot20\cdot21=(21)_{5}=21^{\underline 5}=17^{\overline 5}=17^{(5)}.</math>फिर द्विपद गुणांक के रूप में लिखा जा सकता है<math display="block">\binom{f}{k} = \frac{(f)_{k}}{k!} =\frac{(f-k+1)\cdots(f-2)\cdot(f-1)\cdot f}{1\cdot2\cdot3\cdot4\cdot5\cdots k} ,</math>जबकि संबंधित मल्टीसेट गुणांक को बढ़ते हुए फैक्टोरियल के साथ गिरने से बदलकर परिभाषित किया गया है:<math display="block">\left(\!\!\binom{r}{k}\!\!\right)=\frac{r^{(k)}}{k!}=\frac{r\cdot(r+1)\cdot(r+2)\cdots(r+k-1)}{1\cdot2\cdot3\cdot4\cdot5\cdots k}.</math> ऋणात्मक पूर्णांक n के लिए सामान्यीकरण {{Pascal_triangle_extended.svg}} ===
=== इस आलेख में एन के मुख्य अर्थ के साथ अस्पष्टता और भ्रम से बचने के लिए,<math display="block">\binom{f}{k}=\left(\!\!\binom{r}{k}\!\!\right)=\binom{r+k-1}{k}.</math>इस पहचान का एक संभावित वैकल्पिक लक्षण वर्णन इस प्रकार है: हम गिरने वाले फैक्टोरियल को परिभाषित कर सकते हैं<math display="block">(f)_{k}=f^{\underline k}=(f-k+1)\cdots(f-3)\cdot(f-2)\cdot(f-1)\cdot f,</math>और इसी बढ़ती भाज्य के रूप में<math display="block">r^{(k)}=\,r^{\overline k}=\,r\cdot(r+1)\cdot(r+2)\cdot(r+3)\cdots(r+k-1);</math>उदाहरण के लिए,<math display="block">17\cdot18\cdot19\cdot20\cdot21=(21)_{5}=21^{\underline 5}=17^{\overline 5}=17^{(5)}.</math>फिर द्विपद गुणांक के रूप में लिखा जा सकता है<math display="block">\binom{f}{k} = \frac{(f)_{k}}{k!} =\frac{(f-k+1)\cdots(f-2)\cdot(f-1)\cdot f}{1\cdot2\cdot3\cdot4\cdot5\cdots k} ,</math>जबकि संबंधित मल्टीसेट गुणांक को बढ़ते हुए फैक्टोरियल के साथ गिरने से बदलकर परिभाषित किया गया है:<math display="block">\left(\!\!\binom{r}{k}\!\!\right)=\frac{r^{(k)}}{k!}=\frac{r\cdot(r+1)\cdot(r+2)\cdots(r+k-1)}{1\cdot2\cdot3\cdot4\cdot5\cdots k}.</math> ऋणात्मक पूर्णांक n के लिए सामान्यीकरण ===
किसी भी n के लिए,
किसी भी n के लिए,
:<math>\begin{align}\binom{-n}{k} &= \frac{-n\cdot-(n+1)\dots-(n+k-2)\cdot-(n+k-1)}{k!}\\
:<math>\begin{align}\binom{-n}{k} &= \frac{-n\cdot-(n+1)\dots-(n+k-2)\cdot-(n+k-1)}{k!}\\
Line 487: Line 482:
इसके अतिरिक्त,
इसके अतिरिक्त,
:<math>{x \choose y} \cdot {y \choose x}= \frac{\sin((x-y) \pi)}{(x-y) \pi}.</math>
:<math>{x \choose y} \cdot {y \choose x}= \frac{\sin((x-y) \pi)}{(x-y) \pi}.</math>
परिणामी कार्य का बहुत कम अध्ययन किया गया है, जाहिरा तौर पर पहली बार (फाउलर 1996) में रेखांकन किया जा रहा है।{{Harv|Fowler|1996}} विशेष रूप से, कई द्विपद सर्वसमिकाएं विफल हो जाती हैं: <math display="inline">\binom{n }{ m} = \binom{n }{ n-m}</math> लेकिन <math display="inline">\binom{-n}{m} \neq \binom{-n}{-n-m}</math> n सकारात्मक के लिए (इसलिए <math>-n</math> नकारात्मक)। व्यवहार काफी जटिल है, और विभिन्न अष्टक में स्पष्ट रूप से भिन्न है (अर्थात, x और y अक्षों और रेखा के संबंध में) <math>y=x</math>), ऋणात्मक x के लिए व्यवहार के साथ ऋणात्मक पूर्णांक मान और धनात्मक और ऋणात्मक क्षेत्रों की एक बिसात पर विलक्षणताएँ हैं:
परिणामी कार्य का बहुत कम अध्ययन किया गया है, जाहिरा तौर पर पहली बार (फाउलर 1996) में रेखांकन किया जा रहा है।{{Harv|Fowler|1996}} विशेष रूप से, कई द्विपद सर्वसमिकाएं विफल हो जाती हैं: <math display="inline">\binom{n }{ m} = \binom{n }{ n-m}</math> लेकिन <math display="inline">\binom{-n}{m} \neq \binom{-n}{-n-m}</math> n धनात्मक के लिए (इसलिए <math>-n</math> ऋणात्मक)। व्यवहार बहुत जटिल है, और विभिन्न अष्टक में स्पष्ट रूप से भिन्न है (अर्थात, x और y अक्षों और रेखा के संबंध में) <math>y=x</math>), ऋणात्मक x के लिए व्यवहार के साथ ऋणात्मक पूर्णांक मान और धनात्मक और ऋणात्मक क्षेत्रों की एक बिसात पर विलक्षणताएँ हैं:
* अष्टांश में <math>0 \leq y \leq x</math> यह एक रिज (पास्कल रिज) के साथ सामान्य द्विपद का सुचारू रूप से प्रक्षेपित रूप है।
* अष्टांश में <math>0 \leq y \leq x</math> यह एक रिज (पास्कल रिज) के साथ सामान्य द्विपद का सुचारू रूप से प्रक्षेपित रूप है।
* अष्टांश में <math>0 \leq x \leq y</math> और चतुर्थांश में <math>x \geq 0, y \leq 0</math> समारोह शून्य के करीब है।
* अष्टांश में <math>0 \leq x \leq y</math> और चतुर्थांश में <math>x \geq 0, y \leq 0</math> समारोह शून्य के करीब है।
* चतुर्थांश में <math>x \leq 0, y \geq 0</math> फ़ंक्शन बारी-बारी से बहुत बड़े धनात्मक और ऋणात्मक समांतर चतुर्भुज पर शिखर के साथ है <math display="block">(-n,m+1), (-n,m), (-n-1,m-1), (-n-1,m)</math>
* चतुर्थांश में <math>x \leq 0, y \geq 0</math> फ़ंक्शन बारी-बारी से बहुत बड़े धनात्मक और ऋणात्मक समांतर चतुर्भुज पर शिखर के साथ है <math display="block">(-n,m+1), (-n,m), (-n-1,m-1), (-n-1,m)</math>
* अष्टांश में <math>0 > x > y</math> व्यवहार फिर से वैकल्पिक रूप से बहुत बड़ा सकारात्मक और नकारात्मक है, लेकिन एक वर्ग ग्रिड पर।
* अष्टांश में <math>0 > x > y</math> व्यवहार फिर से वैकल्पिक रूप से बहुत बड़ा धनात्मक और ऋणात्मक है, लेकिन एक वर्ग ग्रिड पर।
* अष्टांश में <math>-1 > y > x + 1</math> निकट विलक्षणताओं को छोड़कर, यह शून्य के करीब है।
* अष्टांश में <math>-1 > y > x + 1</math> निकट विलक्षणताओं को छोड़कर, यह शून्य के करीब है।


Line 513: Line 508:
  def binomial_coefficient(n: int, k: int) -> int:
  def binomial_coefficient(n: int, k: int) -> int:
     return factorial(n) // (factorial(k) * factorial(n - k))
     return factorial(n) // (factorial(k) * factorial(n - k))
</वाक्यविन्यास हाइलाइट>
बहुत धीमी हैं और बहुत अधिक संख्याओं के फैक्टोरियल की गणना के लिए बेकार हैं ([[ सी (प्रोग्रामिंग भाषा) ]] या [[ जावा (प्रोग्रामिंग भाषा) ]] जैसी भाषाओं में वे इस कारण से अतिप्रवाह त्रुटियों से ग्रस्त हैं)। गुणात्मक सूत्र का सीधा कार्यान्वयन अच्छी तरह से काम करता है:
बहुत धीमी हैं और बहुत अधिक संख्याओं के फैक्टोरियल की गणना के लिए बेकार हैं ([[ सी (प्रोग्रामिंग भाषा) ]] या [[ जावा (प्रोग्रामिंग भाषा) ]] जैसी भाषाओं में वे इस कारण से अतिप्रवाह त्रुटियों से ग्रस्त हैं)। गुणात्मक सूत्र का सीधा कार्यान्वयन अच्छी तरह से काम करता है:
     def binomial_coefficient(n: int, k: int) -> int:
     def binomial_coefficient(n: int, k: int) -> int:
Line 559: Line 552:
गणना करते समय <math display="inline"> {n \choose k+1} = \left[(n-k) {n \choose k}\right] \div (k+1) </math> निश्चित-लंबाई वाले पूर्णांक वाली भाषा में, द्वारा गुणा किया जाता है <math>(n-k)</math> परिणाम फिट होने पर भी ओवरफ्लो हो सकता है। पहले विभाजित करके और शेष का उपयोग करके परिणाम को ठीक करके अतिप्रवाह से बचा जा सकता है:
गणना करते समय <math display="inline"> {n \choose k+1} = \left[(n-k) {n \choose k}\right] \div (k+1) </math> निश्चित-लंबाई वाले पूर्णांक वाली भाषा में, द्वारा गुणा किया जाता है <math>(n-k)</math> परिणाम फिट होने पर भी ओवरफ्लो हो सकता है। पहले विभाजित करके और शेष का उपयोग करके परिणाम को ठीक करके अतिप्रवाह से बचा जा सकता है:
:<math>{n \choose k+1} = \left[\frac{\binom {n}{k}}{(k+1)}\right](n-k) + {\left[{n\choose k}\ \mathrm{mod}\ (k+1)\right](n-k) \over (k+1)}</math>
:<math>{n \choose k+1} = \left[\frac{\binom {n}{k}}{(k+1)}\right](n-k) + {\left[{n\choose k}\ \mathrm{mod}\ (k+1)\right](n-k) \over (k+1)}</math>
सी भाषा में कार्यान्वयन:
C भाषा में कार्यान्वयन:
   #include <limits.h>
   #include <limits.h>



Revision as of 13:08, 21 November 2022

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

गणित में, द्विपद गुणांक धनात्मक पूर्णांक होते हैं जिन्हें द्विपद प्रमेय में गुणांक के रूप में प्रयोग किया जाता हैं। साधारणतयः द्विपद गुणांक को पूर्णांकों के एक युग्म द्वारा अनुक्रमित किया जाता है, nk ≥ 0 और लिखा है यह द्विपद गुणांक घातांक (1 + x)n के बहुपद विस्तार में xk पद का गुणांक है; इस गुणांक की गणना गुणक सूत्र द्वारा की जा सकती है

फैक्टोरियल अंकन का उपयोग करके सुगठित रूप से व्यक्त किया जा सकता है

उदाहरण के लिए, (1 + x)4 घातांक है

और द्विपद गुणांक , x2 पद का गुणांक है।

संख्याओं को व्यवस्थित करने के लिए लगातार पंक्तियों में श्रंख्ला पास्कल त्रिभुज नामक त्रिकोणीय सारणी देता है, जो पुनरावृत्ति संबंध को संतुष्ट करता है

द्विपद गुणांक गणित के कई क्षेत्रों में विशेष रूप से संयोजन विज्ञान में पाए जाते हैं। जिसका प्रतीक साधारणतयः के रूप में पढ़ा जाता है, n और k को इस प्रकार चुना जाता है कि का एक उपसमुच्चय चुनने के लिए k के एक निश्चित समुच्चय से तत्व n को चुनते है। उदाहरण के लिए, हैं से 2 तत्वों को चुनने के लिए अर्थात तथा हैं।

द्विपद गुणांक को से सामान्यीकृत किया जा सकता है किसी भी जटिल संख्या के लिए z और पूर्णांक k ≥ 0, और इस प्रकार इनके कई मान अधिकांशतः सामान्य रूप में बनी रहती हैं।

इतिहास और संकेतन

1826 में एंड्रियास वॉन एटिंग्सहॉसन ने प्रारम्भ किया।[1], चूंकि संख्याएँ सदियों पहले ज्ञात थीं (पास्कल का त्रिकोण देखें)। द्विपद गुणांकों की सबसे पहली ज्ञात विस्तृत चर्चा, हलयुध: द्वारा, एक प्राचीन संस्कृत पाठ, पिंगला के चंदाशास्त्र पर, दसवीं शताब्दी की टिप्पणी में है। द्विपद गुणांकों का दूसरा सबसे पुराना विवरण गैराज द्वारा दिया गया है। लगभग 1150 में, भारतीय गणितज्ञ भास्कराचार्य ने अपनी पुस्तक लीलावती में द्विपद गुणांकों की व्याख्या की।[2]

वैकल्पिक नोटेशन में C(n, k), nCk, nCk, Ckn, Cnk, तथा Cn,k सम्मलित हैं जिनमें से सभी में C संयोजन या विकल्पों के लिए है। कई कैलकुलेटर सी नोटेशन के रूपों का उपयोग करते हैं क्योंकि वे इसे एक-पंक्ति डिस्प्ले पर प्रदर्शित कर सकते हैं। इस रूप में द्विपद गुणांक की तुलना n के k-क्रमपरिवर्तन से आसानी से की जाती है, जिसे P(n, k), आदि के रूप में लिखा जाता है।

परिभाषा और व्याख्या

k
n
0 1 2 3 4
0 1 0 0 0 0
1 1 1 0 0 0
2 1 2 1 0 0
3 1 3 3 1 0
4 1 4 6 4 1
पहले कुछ द्विपद गुणांक

बाएँ संरेखित पास्कल के त्रिभुज पर

प्राकृतिक संख्याओं के लिए (0 को सम्मलित करने के लिए) n और k, द्विपद गुणांक को (1 + X)n के विस्तार में मोनोमियल Xk के गुणांक के रूप में परिभाषित किया जा सकता है। द्विपद सूत्र (यदि kn) में भी यही गुणांक होता है ।

 

 

 

 

()

(कम्यूटेटिव रिंग के किसी भी तत्व x, y के लिए मान्य),जो द्विपद गुणांक नाम की व्याख्या करता है।

इस संख्या की एक और घटना साहचर्य में है, जहां यह विधियों की संख्या देता है, आदेश की अवहेलना करता है, कि k वस्तुओं को n वस्तुओं में से चुना जा सकता है; अधिक औपचारिक रूप से, n-तत्व सेट के k-तत्व उप-समूचय (या के-संयोजन) की संख्या। इस संख्या को पहली परिभाषा में से एक के बराबर देखा जा सकता है, इसकी गणना करने के लिए नीचे दिए गए किसी भी सूत्र से स्वतंत्र: यदि शक्ति के n कारकों में से प्रत्येक में (1 + X)n एक अस्थायी रूप से शब्द X को एक सूचकांक i (1 से n तक चल रहा है) के साथ लेबल करता है, तब k सूचकांकों का प्रत्येक उपसमुच्चय विस्तार के बाद Xk का योगदान देता है, और परिणाम में उस एकपदी का गुणांक ऐसे उपसमुच्चयों की संख्या होगी। यह विशेष रूप से दिखाता है कि किसी भी प्राकृतिक संख्या n और k के लिए एक प्राकृतिक संख्या है। द्विपद गुणांकों की कई अन्य संयोजी व्याख्याएं हैं (के लिए समस्याओं की गणना करना जिसका उत्तर एक द्विपद गुणांक अभिव्यक्ति द्वारा दिया गया है), उदाहरण के लिए n बिट्स (अंक 0 या 1) से बने शब्दों की संख्या जिसका योग k है , जबकि लिखने के विधियों की संख्या जहां प्रत्येक ai एक गैर-ऋणात्मक पूर्णांक है द्वारा दिया जाता है। इनमें से अधिकतर व्याख्याओं को आसानी से गिनती के-संयोजनों के बराबर देखा जा सकता है।

द्विपद गुणांकों के मान की गणना

के मान की गणना करने के लिए कई विधियाँ सम्मलित हैं बिना वास्तव में द्विपद शक्ति का विस्तार किए बिना या k-संयोजन की गणना किए बिना।

पुनरावर्ती सूत्र

एक विधि पुनरावर्ती, विशुद्ध रूप से योज्य सूत्र का उपयोग करती है

सभी पूर्णांकों के लिए ऐसा है कि प्रारंभिक/सीमा मूल्यों के लिए
सभी पूर्णांकों के लिए

सूत्र सेट {1, 2, 3, ..., n} पर विचार करने और अलग से गिनती करने से आता है (a) k-तत्व समूह जिसमें एक विशेष सेट तत्व सम्मलित है, "i" कहें, प्रत्येक समूह में (चूंकि "i" पहले से ही प्रत्येक समूह में एक स्थान भरने के लिए चुना गया है, हमें शेष n − 1 और (b) सभी k-समूहों में से केवल k − 1 चुनने की आवश्यकता है जिसमें "i" सम्मलित नहीं है; यह n तत्वों के सभी संभावित k-संयोजनों की गणना करता है। यह (1 + X)n−1(1 + X) में Xk के योगदान को ट्रेस करने के बाद भी आता है। चूंकि Xn+1 में शून्य (1 + X)n या X−1 है, इसलिए जब या तो k > n या k < 0। यह पुनरावर्ती सूत्र तब पास्कल के त्रिकोण के निर्माण की अनुमति देता है, जो सफेद रिक्त स्थान से घिरा हुआ है जहां शून्य या तुच्छ गुणांक होंगे।

गुणक सूत्र

व्यक्तिगत द्विपद गुणांकों की गणना करने के लिए एक अधिक कुशल विधि सूत्र द्वारा दी गई है

जहां पहले भिन्न का अंश को घटती क्रमगुणित शक्ति के रूप में व्यक्त किया जाता है। यह सूत्र द्विपद गुणांकों की संयोजक व्याख्या के लिए समझने में सबसे आसान है। अंश n वस्तुओं के एक सेट से, चयन के क्रम को बनाए रखते हुए, k विशिष्ट वस्तुओं के अनुक्रम का चयन करने के विधियों की संख्या देता है। भाजक विशिष्ट अनुक्रमों की संख्या की गणना करता है जब आदेश की अवहेलना की जाती है तो उसी के-संयोजन को परिभाषित करता है। k और nk के संबंध में द्विपद गुणांक की समरूपता के कारण, k और nk के छोटे से ऊपर उत्पाद की ऊपरी सीमा निर्धारित करके गणना को अनुकूलित किया जा सकता है।

गुणनखंड सूत्र

अंत में, चूंकि कम्प्यूटेशल रूप से अनुपयुक्त, कॉम्पैक्ट फॉर्म है, जिसे साधारणतयः सबूत और व्युत्पत्तियों में उपयोग किया जाता है, जो परिचित फैक्टोरियल फ़ंक्शन का बार-बार उपयोग करता है::

जहां पर n! के भाज्य को दर्शाता है। यह सूत्र अंश और हर को (nk)! परिणामस्वरूप इसमें अंश और भाजक के लिए सामान्य कई कारक सम्मलित होते हैं। यह स्पष्ट संगणना के लिए कम व्यावहारिक है (उस स्थिति में जब k छोटा है और n बड़ा है) जब तक कि सामान्य कारकों को पहले निरस्त नहीं किया जाता है (विशेष रूप से क्योंकि तथ्यात्मक मूल्य बहुत तेजी से बढ़ते हैं)। सूत्र एक समरूपता प्रदर्शित करता है जो गुणात्मक सूत्र से कम स्पष्ट है (चूंकि यह परिभाषाओं से है)

 

 

 

 

(1)

जो एक अधिक कुशल गुणात्मक कम्प्यूटरीकृत रूटीन की ओर ले जाता है। गिरते क्रमगुणित अंकन का उपयोग करना,

सामान्यीकरण और द्विपद श्रृंखला से संबंध

गुणात्मक सूत्र द्विपद गुणांक की परिभाषा को विस्तारित करने की अनुमति देता है[3] n को एक स्व संख्या α (ऋणात्मक, वास्तविक, जटिल) या यहां तक ​​​​कि किसी भी कम्यूटेटिव रिंग के एक तत्व द्वारा प्रतिस्थापित किया जाता है जिसमें सभी धनात्मक पूर्णांक व्युत्क्रमणीय होते हैं:

इस परिभाषा के साथ द्विपद सूत्र का सामान्यीकरण होता है (1 पर सेट चर में से एक के साथ), जो अभी भी द्विपद गुणांकों को बुलाने को सही ठहराता है:

 

 

 

 

(2)

यह सूत्र सभी सम्मिश्र संख्याओं α और X के साथ |X| के लिए मान्य है <1। इसे एक्स में औपचारिक शक्ति श्रृंखला की पहचान के रूप में भी व्याख्या किया जा सकता है, जहां यह वास्तव में 1 के बराबर निरंतर गुणांक वाली शक्ति श्रृंखला की मनमानी शक्तियों की परिभाषा के रूप में काम कर सकता है; मुद्दा यह है कि इस परिभाषा के साथ सभी सर्वसमिकाएं, विशेष रूप से, घातांक के लिए अपेक्षा रखती हैं

यदि α एक गैर-ऋणात्मक पूर्णांक n है, तो k > n वाले सभी पद शून्य हैं, और अनंत श्रृंखला एक परिमित योग बन जाती है, जिससे द्विपद सूत्र को पुनः प्राप्त किया जा सकता है। चूंकि, α के अन्य मूल्यों के लिए, ऋणात्मक पूर्णांक और परिमेय संख्याओं सहित, श्रृंखला वास्तव में अनंत है।

पास्कल का त्रिभुज

लॉग-अवतल अनुक्रम बनाते हैं।

पास्कल का नियम महत्वपूर्ण पुनरावृत्ति संबंध है

 

 

 

 

(3)

जिसका उपयोग गणितीय आगमन द्वारा सिद्ध करने के लिए किया जा सकता है कि सभी पूर्णांक n ≥ 0 और सभी पूर्णांक k के लिए एक प्राकृत संख्या है, एक तथ्य जो सूत्र (1) से तुरंत स्पष्ट नहीं होता है। पास्कल के त्रिभुज के बाएँ और दाएँ, प्रविष्टियाँ (रिक्त स्थान के रूप में दिखाई गई) सभी शून्य हैं।

पास्कल का नियम भी पास्कल के त्रिभुज को जन्म देता है:

0: 1
1: 1 1
2: 1 2 1
3: 1 3 3 1
4: 1 4 6 4 1
5: 1 5 10 10 5 1
6: 1 6 15 20 15 6 1
7: 21 35 35 21
8: 28 56 70 56 28

पंक्ति संख्या n में k = 0, …, n के लिए संख्याएँ सम्मलित हैं। इसे सबसे पहले 1s को सबसे बाहरी स्थिति में रखकर बनाया गया है, और फिर प्रत्येक आंतरिक स्थिति को सीधे ऊपर की दो संख्याओं के योग से भर दिया गया है। यह विधि भिन्न या गुणन की आवश्यकता के बिना द्विपद गुणांक की त्वरित गणना की अनुमति देती है। उदाहरण के लिए, त्रिभुज की पंक्ति संख्या 5 को देखकर, कोई भी इसे तुरंत पढ़ सकता है

संयोजन और सांख्यिकी

साहचर्य में द्विपद गुणांक महत्वपूर्ण हैं, क्योंकि वे कुछ लगातार गिनती की समस्याओं के लिए तैयार सूत्र प्रदान करते हैं:

  • n तत्वों के एक सेट से k तत्वों को चुनने के लिए विधियां हैं। संयोजन देखें।
  • n तत्वों के एक सेट से k तत्वों को चुनने के विधियां हैं यदि दोहराव की अनुमति है। मल्टीसेट देखें।
  • स्ट्रिंग (कंप्यूटर विज्ञान) में k वाले और n शून्य हैं।
  • स्ट्रिंग्स हैं जिनमें k वाले और n शून्य हैं जैसे कि कोई भी दो आसन्न नहीं हैं।[4]
  • कैटलन संख्या हैं
  • सांख्यिकी में द्विपद वितरण है

द्विपद गुणांक बहुपद के रूप में

किसी भी गैर-ऋणात्मक पूर्णांक k के लिए, व्यंजक द्वारा विभाजित बहुपद के रूप में सरल और परिभाषित किया जा सकता है k!:

यह परिमेय संख्या गुणांक के साथ t में एक बहुपद प्रस्तुत करता है।

जैसे, इस तरह के पहले तर्कों के साथ द्विपद गुणांक को परिभाषित करने के लिए किसी भी वास्तविक या जटिल संख्या टी पर इसका मूल्यांकन किया जा सकता है।

ये "सामान्यीकृत द्विपद गुणांक" न्यूटन के सामान्यीकृत द्विपद प्रमेय में दिखाई देते हैं।

प्रत्येक k के लिए, बहुपद अद्वितीय डिग्री k बहुपद के रूप में चित्रित किया जा सकता है p(t) संतुष्टि देने वाला p(0) = p(1) = ⋯ = p(k − 1) = 0 तथा p(k) = 1.

इसके गुणांक पहली तरह की स्टर्लिंग संख्या के रूप में अभिव्यक्त होते हैं:

के डेरिवेटिव की गणना लघुगणक विभेदन द्वारा की जा सकती है:

से तक पूर्णांकों पर मूल्यांकन करने पर यह समस्या पैदा कर सकता है, लेकिन नीचे दी गई पहचानों का उपयोग करके हम व्युत्पन्न की गणना कर सकते हैं:

बहुपद के स्थान के आधार के रूप में द्विपद गुणांक

विशेषता (बीजगणित) के किसी भी क्षेत्र (गणित) पर (अर्थात, कोई भी क्षेत्र जिसमें परिमेय संख्याएँ होती हैं), प्रत्येक बहुपद p(t) डिग्री का अधिकतम d एक रैखिक संयोजन के रूप में विशिष्ट रूप से अभिव्यक्त होता है द्विपद गुणांक के। गुणांक ak अनुक्रम p(0), p(1), ..., p(k) का परिमित अंतर है। स्पष्ट रूप से,[5]

 

 

 

 

(4)

पूर्णांक-मूल्यवान बहुपद

प्रत्येक बहुपद पूर्णांक-मूल्यवान बहुपद है: सभी पूर्णांक इनपुट पर इसका एक पूर्णांक मान होता है। (इसे साबित करने का एक तरीका पास्कल की पहचान का उपयोग करके के पर प्रेरण है।) इसलिए, द्विपद गुणांक बहुपदों का कोई पूर्णांक रैखिक संयोजन भी पूर्णांक-मूल्यवान होता है। इसके विपरीत, (4) दर्शाता है कि कोई भी पूर्णांक-मान बहुपद इन द्विपद गुणांक बहुपदों का एक पूर्णांक रैखिक संयोजन है। अधिक साधारणतयः, विशेषता 0 फ़ील्ड K के किसी भी सबरिंग R के लिए, K[t] में एक बहुपद सभी पूर्णांकों में R में मान लेता है यदि और केवल यदि यह द्विपद गुणांक बहुपदों का R-रैखिक संयोजन है।

उदाहरण

पूर्णांक-मूल्यवान बहुपद 3t(3t + 1) / 2 को फिर से लिखा जा सकता है

द्विपद गुणांक वाली सर्वसमिकाएँ

भाज्य सूत्र निकटवर्ती द्विपद गुणांकों को संबंधित करने की सुविधा प्रदान करता है। उदाहरण के लिए, यदि k और n एक धनात्मक पूर्णांक है, तो

 

 

 

 

(5)

और, थोड़ा और काम करके,

हम भी प्राप्त कर सकते हैं

इसके अलावा, निम्नलिखित उपयोगी हो सकते हैं:

निरंतर n के लिए, हमें निम्नलिखित पुनरावृत्ति मिलती है:

संक्षेप में, हमारे पास है

द्विपद गुणांकों का योग

सूत्र

 

 

 

 

(∗∗)

यह सूत्र कहता है कि पास्कल के त्रिभुज की nवीं पंक्ति में तत्व हमेशा nवें घात में 2 तक जुड़ते हैं। यह x = 1 और y = 1 सेट करके द्विपद प्रमेय (∗) से प्राप्त किया जाता है। सूत्र की एक प्राकृतिक दहनशील व्याख्या भी है: बाईं ओर आकार k = 0, 1, ..., n के {1, ..., n} के उपसमुच्चयों की संख्या का योग है, जिससे उपसमुच्चयों की कुल संख्या मिलती है। (यानी, बाईं ओर {1, ..., n} के पावर सेट की गणना करता है।) चूंकि, ये उपसमुच्चय प्रत्येक तत्व 1, ..., n; n स्वतंत्र बाइनरी विकल्प (बिट-स्ट्रिंग्स) कुल 2n विकल्पों की अनुमति देते हैं। उपसमुच्चयों के समान संग्रह को गिनने के लिए बाएँ और दाएँ पक्ष दो विधियां हैं, इसलिए वे समान हैं।

सूत्र

 

 

 

 

(6)

तथा

x के संबंध में अवकलन (बाद वाले के लिए दो बार) और फिर x = y = 1 को प्रतिस्थापित करने के बाद द्विपद प्रमेय से अनुसरण करें।

चू-वंडरमोंड की पहचान की गई, जो किसी भी जटिल मान m और n और किसी भी गैर-ऋणात्मक पूर्णांक k के लिए है

 

 

 

 

(7)

और (1 + x)m(1 + x)nm = (1 + x)n के विस्तार में के गुणांक की जांच करके पाया जा सकता है समीकरण (2)। जब m = 1, समीकरण (7) समीकरण (3) में बदल जाता है। विशेष मामले में n = 2m, k = m का उपयोग करके, विस्तार (7) हो जाता है (जैसा कि पास्कल के त्रिकोण में दाईं ओर देखा गया है)

Pascal's triangle, rows 0 through 7. Equation 8 for m = 3 is illustrated in rows 3 and 6 as

 

 

 

 

(8)

जहां दाईं ओर का पद एक केंद्रीय द्विपद गुणांक है।

चू-वंडरमोंड पहचान का दूसरा रूप, जो 0 ≤ j ≤ k ≤ n को संतुष्ट करने वाले किसी पूर्णांक j, k, और n के लिए लागू होता है,

 

 

 

 

(9)

यहाँ प्रमाण समान है, लेकिन ऋणात्मक पूर्णांक घातांक के साथ द्विपद श्रृंखला विस्तार (2) का उपयोग करता है। जब j = k, समीकरण (9) हॉकी-स्टिक की पहचान देता है

और इससे जुड़े हुए

मान लीजिए कि F(n) n-वें फाइबोनैचि संख्या को दर्शाता है। फिर

यह (3) का उपयोग करके या ज़ेकेनडॉर्फ के प्रतिनिधित्व द्वारा प्रेरण द्वारा सिद्ध किया जा सकता है। एक संयोजन प्रमाण नीचे दिया गया है।

राशियों का बहुविकल्पी

पूर्णांक s और t के लिए ऐसा है कि श्रृंखला बहुविभाग द्विपद गुणांकों के योग के लिए निम्नलिखित पहचान देता है:

छोटे s के लिए , इन श्रृंखलाओं के विशेष रूप से अच्छे रूप हैं; उदाहरण के लिए,[6]

आंशिक योग

यद्यपि आंशिक योगों के लिए कोई बंद सूत्र नहीं है

द्विपद गुणांकों की,[7] कोई फिर से (3) और प्रेरण का उपयोग कर सकता है यह दिखाने के लिए कि k = 0, …, n − 1

विशेष मामले के साथ[8]

n > 0 के लिए। यह बाद वाला परिणाम भी परिमित अंतर के सिद्धांत से परिणाम का एक विशेष मामला है कि n से कम डिग्री के किसी भी बहुपद P(x) के लिए,[9]

विभेदक (2) k बार और सेटिंग x = −1 इसके लिए देता है ,

जब 0 k < n,

और सामान्य स्थिति इनके रैखिक संयोजनों को लेकर अनुसरण करती है।

जब P(x) n से कम या उसके बराबर डिग्री का है,

 

 

 

 

(10)

कहाँ पे P(x) में डिग्री n का गुणांक है।

अधिक सामान्यतः के लिए (10),

जहाँ m और d सम्मिश्र संख्याएँ हैं। यह तुरंत आवेदन करने के बाद (10) बहुपद के लिए के अतिरिक्त , और यह देखते हुए कि की अभी भी डिग्री n से कम या उसके बराबर है, और यह कि डिग्री n का गुणांक dnan है।

श्रृंखला (गणित) k ≥ 2 के लिए अभिसरण है। इस सूत्र का उपयोग जर्मन टैंक समस्या के विश्लेषण में किया जाता है। यह इस प्रकार है जो एम पर प्रेरण द्वारा सिद्ध होता है।

मिश्रित सबूत के साथ पहचान

द्विपद गुणांकों वाली अनेक सर्वसमिकाओं को संयोजी विधियों द्वारा सिद्ध किया जा सकता है। उदाहरण के लिए, गैर-ऋणात्मक पूर्णांकों के लिए , पहचान

(जो कम हो जाता है (6) जब q = 1) को दोहरी गणना (प्रूफ तकनीक) निम्न प्रकार से दी जा सकती है। बाईं ओर कम से कम q तत्वों के साथ [n] = {1, 2, ..., n} के उपसमुच्चय का चयन करने और चयनित तत्वों में q तत्वों को चिह्नित करने के विधियों की संख्या की गणना करता है। दाहिना पक्ष एक ही चीज़ को गिनता है, क्योंकि वहाँ हैं चिह्नित करने के लिए q तत्वों का एक सेट चुनने के विधियां, और यह चुनने के लिए कि [n] के शेष तत्वों में से कौन सा उप-समूचय से संबंधित है।

पास्कल की पहचान में

दोनों पक्ष [n] के k-तत्व उपसमुच्चय की संख्या की गणना करते हैं: दाईं ओर के दो पद उन्हें उन तत्वों में समूहित करते हैं जिनमें तत्व n होता है और जो नहीं होते हैं।

पहचान (8) का एक संयोजन प्रमाण भी है। पहचान पढ़ता है

मान लीजिए आपके पास है एक पंक्ति में व्यवस्थित खाली वर्ग और आप उनमें से n को चिह्नित (चयन) करना चाहते हैं। वहाँ हैं ऐसा करने के विधियां। दूसरी ओर, आप पहले n और . में से k वर्ग चुनकर अपने n वर्ग चुन सकते हैं शेष n वर्गों से वर्ग; 0 से n तक कोई भी k काम करेगा। यह देता है

अब आवेदन करें (1) परिणाम प्राप्त करने के लिए।

यदि कोई दर्शाता है F(i) फाइबोनैचि संख्याओं का क्रम, अनुक्रमित जिससे F(0) = F(1) = 1, फिर पहचान

निम्नलिखित संयोजन प्रमाण है।[10] प्रवर्तन द्वारा दिखाया जा सकता है कि F(n) उन विधियों की संख्या की गणना करता है जिनमें n × 1 वर्गों की पट्टी को 2 × 1 और 1 × 1 टाइलों द्वारा कवर किया जा सकता है। दूसरी ओर, यदि ऐसी टाइलिंग 2 × 1 टाइलों में से ठीक k का उपयोग करती है, तो यह 1 × 1 टाइलों में से n − 2k का उपयोग करता है, और इसलिए कुल nk टाइलों का उपयोग करता है। इन टाइलों को ऑर्डर करने के विधियां हैं, और इसलिए इस गुणांक को k के सभी संभावित मानों पर योग करने से सर्वसमिका प्राप्त होती है।

गुणांकों का योग पंक्ति

सभी k के लिए k-संयोजनों की संख्या, , द्विपद गुणांकों की nवीं पंक्ति (0 से गिनती) का योग है। इन संयोजनों को 0 से तक गिनने वाली आधार 2 संख्याओं के सेट के 1 अंकों द्वारा गिना जाता है, जहां प्रत्येक अंक की स्थिति n के सेट से एक आइटम है।

डिक्सन की पहचान

डिक्सन की पहचान है

या, अधिकांशतयः,

जहाँ a, b और c गैर-ऋणात्मक पूर्णांक हैं।

सतत पहचान

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

त्रिकोणमितीय कार्यों को जटिल घातांक में बदलने के लिए, द्विपद प्रमेय का उपयोग करके विस्तार करने और शब्द द्वारा शब्द को एकीकृत करने के लिए यूलर के सूत्र का उपयोग करके इन्हें सिद्ध किया जा सकता है।

सर्वांगसमताएं

यदि n प्रधान है, तो

हर k के लिए साथ अधिकांशतयः, यह सत्य है यदि n कोई संख्या है और k का मान इस तरह है कि 1 और k के बीच की सभी संख्याएँ n से सहअभाज्य हैं।

तो हमें कुछ इस तरह का मान मिलेगा

फ़ंक्शन का निर्माण (जनरेटिंग फ़ंक्शन)

साधारण उत्पादन कार्य

एक निश्चित के लिए n, अनुक्रम का सामान्य जनरेटिंग फ़ंक्शन है

एक निश्चित के लिए k, अनुक्रम का सामान्य जनरेटिंग फ़ंक्शन है

द्विपद गुणांकों का द्विचर जनक फलन है

द्विपद गुणांकों का एक सममित द्विभाजित जनक फलन है

जो प्रतिस्थापन के बाद पिछले जनरेटिंग फ़ंक्शन के समान है .

घातीय जनरेटिंग फ़ंक्शन

द्विपद गुणांकों का एक सममित घातांक उत्पन्न करने वाला फलन है:

विभाज्यता गुण

1852 में कुमेर ने सिद्ध किया कि यदि m और n ऋणात्मक पूर्णांक हैं और p एक अभाज्य संख्या है, तब p विभाजन की सबसे बड़ी शक्ति पीसी के बराबर होती है, जहाँ c कैरीज़ की संख्या है जब m और n हैं बेस पी में जोड़ा गया। समान रूप से, में अभाज्य p का घातांक गैर-ऋणात्मक पूर्णांक j की संख्या के बराबर है जैसे कि k/pj का भिन्नात्मक भाग n/pj के भिन्नात्मक भाग से बड़ा है। इससे यह निष्कर्ष निकाला जा सकता है कि से विभाज्य है। विशेष रूप से इसलिए यह अनुसरण करता है कि को सभी धनात्मक पूर्णांकों r और s के लिए विभाजित करता है जैसे कि s < pr। चूंकि यह पी की उच्च शक्तियों के लिए सही नहीं है: उदाहरण के लिए को विभाजित नहीं करता है।

डेविड सिंगमास्टर (1974) द्वारा कुछ हद तक आश्चर्यजनक परिणाम यह है कि कोई भी पूर्णांक लगभग सभी द्विपद गुणांकों को विभाजित करता है। अधिक सटीक रूप से, एक पूर्णांक d को ठीक करें और f(N) द्विपद गुणांक की संख्या को n <N के साथ निरूपित करें जैसे कि को विभाजित करता है। फिर

चूंकि n < N के साथ द्विपद गुणांक की संख्या N(N + 1) / 2 है, इसका मतलब यह है कि d से विभाज्य द्विपद गुणांक का घनत्व 1 हो जाता है।

द्विपद गुणांकों में क्रमागत पूर्णांकों के लघुत्तम सामान्य गुणजों से संबंधित विभाज्यता गुण होते हैं। उदाहरण के लिए:[11]

विभाजित .

का गुणज है .

एक अन्य तथ्य: एक पूर्णांक n ≥ 2 अभाज्य है यदि और केवल यदि सभी मध्यवर्ती द्विपद गुणांक

n से विभाज्य हैं।

उपपत्ति: जब p अभाज्य है, p विभाजित होता है

सभी के लिए 0 < k < p

क्योंकि एक प्राकृतिक संख्या है और p अंश को विभाजित करता है लेकिन हर को नहीं। जब n संमिश्र होता है, तो p को n का सबसे छोटा अभाज्य गुणक होने दें और k = n/p दें। फिर 0 < p < n और

अन्यथा अंश k(n − 1)(n − 2)⋯(np + 1) को n = k×p से विभाज्य होना चाहिए, यह केवल तभी हो सकता है जब (n − 1)(n − 2)⋯(np + 1) से विभाज्य हो। लेकिन n, p से विभाज्य है, इसलिए n − 1, n − 2, …, np + 1 को विभाजित नहीं करता है और क्योंकि p अभाज्य है, हम जानते हैं कि (n − 1)(n − 2)⋯(np + 1) को विभाजित नहीं करता है और इसलिए अंश n से विभाज्य नहीं हो सकता।

सीमा और स्पर्शोन्मुख सूत्र

के लिए निम्न सीमाएं n और k के सभी मानों के लिए समान हैं जैसे कि 1 ≤ kn

पहली असमानता इस तथ्य से अनुसरण करती है कि
और इस उत्पाद में इनमें से प्रत्येक है। दूसरी असमानता दिखाने के लिए इसी तरह का तर्क दिया जा सकता है। अंतिम सख्त असमानता के बराबर है,यह स्पष्ट है क्योंकि RHS चरघातांकी श्रृंखला विभाज्यता गुणों से हम यह अनुमान लगा सकते हैं
जहां दोनों समानताएं हासिल की जा सकती हैं।[11]

सूचना सिद्धांत में निम्नलिखित सीमाएँ उपयोगी हैं:[12]: 353 

जहाँ बाइनरी एन्ट्रापी फ़ंक्शन है। इसे और कठिन करने के लिए
सभी के लिए .[12]: 666 

दोनों n तथा k बड़ा

स्टर्लिंग के सन्निकटन से निम्नलिखित सन्निकटन प्राप्त होता है, जो वैध है जब दोनों अनंत की ओर जाते हैं:

क्योंकि स्टर्लिंग के फार्मूले के असमानता रूपों ने फैक्टोरियल्स को भी बाध्य किया है, उपरोक्त स्पर्शोन्मुख सन्निकटन पर मामूली भिन्नताएं सटीक सीमाएं देती हैं। विशेष रूप से, जब पर्याप्त रूप से बड़ा होता है, तो किसी के पास होता है
तथा और, अधिक साधारणतयः, के लिए m ≥ 2 तथा n ≥ 1,[why?]
यदि n बड़ा है और k n में रैखिक है, तो द्विपद गुणांक के लिए विभिन्न सटीक स्पर्शोन्मुख अनुमान सम्मलित हैं। उदाहरण के लिए, यदि तो
जहाँ d = n - 2k।[13]

n से बहुत बड़ा k

यदि n बड़ा है और k, o(n) है (अर्थात, यदि k/n → 0), तो

जहाँ फिर से o छोटा ओ संकेतन है।[14]

द्विपद गुणांकों का योग

द्विपद प्रमेय का उपयोग करके द्विपद गुणांकों के योग के लिए एक सरल और अपरिष्कृत ऊपरी सीमा प्राप्त की जा सकती है:

द्वारा अधिक सटीक सीमाएँ दी गई हैं
सभी पूर्णांकों के लिए मान्य साथ .[15]

सामान्यीकृत द्विपद गुणांक

गामा फलन के लिए अनंत गुणन सूत्र भी द्विपद गुणांकों के लिए एक व्यंजक देता है

जो असिम्प्टोटिक सूत्र उत्पन्न करता है
जैसा .

यह स्पर्शोन्मुख व्यवहार सन्निकटन में निहित है

भी। (यहां के-वें हार्मोनिक संख्या है और यूलर-मास्चेरोनी स्थिरांक है।)

इसके अलावा, स्पर्शोन्मुख सूत्र

सच मानो, जब भी तथा कुछ जटिल संख्या के लिए .

सामान्यीकरण

बहुपदों का सामान्यीकरण

द्विपद गुणांकों को संख्या के रूप में परिभाषित बहुपद गुणांकों के लिए सामान्यीकृत किया जा सकता है:

जहाँ पर

जबकि द्विपद गुणांक (x+y)n के गुणांक का प्रतिनिधित्व करते हैं, बहुपद गुणांक बहुपद के गुणांक का प्रतिनिधित्व करते हैं

मामला r = 2 द्विपद गुणांक देता है:

बहुराष्ट्रीय गुणांकों की संयोजी व्याख्या r (अलग करने योग्य) कंटेनरों पर n विशिष्ट तत्वों का वितरण है, प्रत्येक में बिल्कुल की तत्व होते हैं, जहां मैं कंटेनर की अनुक्रमणिका है।

बहुपद गुणांकों में द्विपद गुणांकों के समान कई गुण होते हैं, उदाहरण के लिए पुनरावृत्ति संबंध:

और समरूपता:

जहाँ (1, 2, ..., r) का क्रमचय है।

टेलर श्रृंखला

पहली तरह की स्टर्लिंग संख्याओं का उपयोग करके किसी भी मनमाने ढंग से चुने गए बिंदु के आसपास श्रृंखला का विस्तार होता है

साथ द्विपद गुणांक n = 1/2

द्विपद गुणांक की परिभाषा को उस मामले तक बढ़ाया जा सकता है जहां वास्तविक है और पूर्णांक है।

विशेष रूप से, निम्नलिखित पहचान किसी भी धनात्मक पूर्णांक के लिए लागू होती है:

यह तब दिखाई देता है जब को न्यूटन बाइनोमियल सीरीज़ का उपयोग करते हुए पावर सीरीज़ में एक्सपैंड किया जाता है:

द्विपद गुणांकों के गुणनफल

दो द्विपद गुणांकों के गुणनफल को द्विपद गुणांकों के रैखिक संयोजन के रूप में अभिव्यक्त किया जा सकता है:

जहां कनेक्शन गुणांक बहुपद प्रमेय हैं। लेबल किए गए कॉम्बीनेटरियल ऑब्जेक्ट्स के संदर्भ में, कनेक्शन गुणांक m + nk लेबल्स को वजन एम और एन के लेबल किए गए कॉम्बीनेटरियल ऑब्जेक्ट्स की एक जोड़ी को निर्दिष्ट करने के विधियों की संख्या का प्रतिनिधित्व करते हैं। जिनके पहले k लेबल की पहचान की गई है, या वजन m + nk का एक नया लेबल वाला कॉम्बीनेटरियल ऑब्जेक्ट प्राप्त करने के लिए एक साथ चिपकाया गया है। (अर्थात्, लेबल को तीन भागों में अलग करने के लिए चिपकाए गए भाग पर लागू करने के लिए, पहली वस्तु का अनलग्ड भाग, और दूसरी वस्तु का अनलग्ड भाग।) इस संबंध में, द्विपद गुणांक घातीय उत्पादन श्रृंखला के लिए हैं जो गिरने वाले तथ्य सामान्य उत्पादन श्रृंखला के लिए हैं।

पास्कल त्रिभुज की nवीं पंक्ति में सभी द्विपद गुणांकों का गुणनफल सूत्र द्वारा दिया जाता है:

आंशिक अंश अपघटन

व्युत्क्रम का आंशिक अंश अपघटन द्वारा दिया जाता है

न्यूटन की द्विपद श्रृंखला

सर आइजैक न्यूटन के नाम पर न्यूटन की द्विपद श्रृंखला, अनंत श्रृंखला के लिए द्विपद प्रमेय का एक सामान्यीकरण है:

पहचान यह दिखाकर प्राप्त की जा सकती है कि दोनों पक्ष अवकल समीकरण (1 + z) f'(z) = α f(z) को संतुष्ट करते हैं।

इस श्रृंखला की अभिसरण की त्रिज्या 1 है। एक वैकल्पिक अभिव्यक्ति है

जहां पहचान

लागू की गई है।

मल्टीसेट (उभरता हुआ) द्विपद गुणांक

द्विपद गुणांक किसी दिए गए सेट से निर्धारित आकार के उप-समूचय की गणना करते हैं। किसी दिए गए सेट से तैयार किए गए तत्वों के साथ निर्धारित आकार के मल्टीसेट को गिनने के लिए एक संबंधित संयोजी समस्या है, अर्थात्, एक ही तत्व को बार-बार चुनने की संभावना के साथ दिए गए सेट से तत्वों की एक निश्चित संख्या का चयन करने के विधियों की संख्या की गणना करना। परिणामी संख्याओं को मल्टीसेट गुणांक कहा जाता है;[16] n तत्व सेट से "मल्टीचॉइस" (अर्थात, प्रतिस्थापन के साथ चुनें) k आइटम के विधियों की संख्या चिह्नित है ) f = n = r + (k − 1) तथा r = f − (k − 1).

इस आलेख में एन के मुख्य अर्थ के साथ अस्पष्टता और भ्रम से बचने के लिए,
इस पहचान का एक संभावित वैकल्पिक लक्षण वर्णन इस प्रकार है: हम गिरने वाले फैक्टोरियल को परिभाषित कर सकते हैं
और इसी बढ़ती भाज्य के रूप में
उदाहरण के लिए,
फिर द्विपद गुणांक के रूप में लिखा जा सकता है
जबकि संबंधित मल्टीसेट गुणांक को बढ़ते हुए फैक्टोरियल के साथ गिरने से बदलकर परिभाषित किया गया है:
ऋणात्मक पूर्णांक n के लिए सामान्यीकरण

किसी भी n के लिए,

विशेष रूप से, ऋणात्मक पूर्णांक n पर मूल्यांकन किए गए द्विपद गुणांक हस्ताक्षरित मल्टीसेट गुणांक द्वारा दिए गए हैं। विशेष स्थिति में यह कम हो जाता है उदाहरण के लिए, यदि n = -4 और k = 7, तो r = 4 और f = 10:

दो वास्तविक या जटिल मूल्यवान तर्क

द्विपद गुणांक को गामा फ़ंक्शन या बीटा फ़ंक्शन के माध्यम से दो वास्तविक या जटिल मूल्यवान तर्कों के लिए सामान्यीकृत किया जाता है

यह परिभाषा इन निम्नलिखित अतिरिक्त गुणों को से इनहेरिट करती है:

इसके अतिरिक्त,

परिणामी कार्य का बहुत कम अध्ययन किया गया है, जाहिरा तौर पर पहली बार (फाउलर 1996) में रेखांकन किया जा रहा है।(Fowler 1996) विशेष रूप से, कई द्विपद सर्वसमिकाएं विफल हो जाती हैं: लेकिन n धनात्मक के लिए (इसलिए ऋणात्मक)। व्यवहार बहुत जटिल है, और विभिन्न अष्टक में स्पष्ट रूप से भिन्न है (अर्थात, x और y अक्षों और रेखा के संबंध में) ), ऋणात्मक x के लिए व्यवहार के साथ ऋणात्मक पूर्णांक मान और धनात्मक और ऋणात्मक क्षेत्रों की एक बिसात पर विलक्षणताएँ हैं:

  • अष्टांश में यह एक रिज (पास्कल रिज) के साथ सामान्य द्विपद का सुचारू रूप से प्रक्षेपित रूप है।
  • अष्टांश में और चतुर्थांश में समारोह शून्य के करीब है।
  • चतुर्थांश में फ़ंक्शन बारी-बारी से बहुत बड़े धनात्मक और ऋणात्मक समांतर चतुर्भुज पर शिखर के साथ है
  • अष्टांश में व्यवहार फिर से वैकल्पिक रूप से बहुत बड़ा धनात्मक और ऋणात्मक है, लेकिन एक वर्ग ग्रिड पर।
  • अष्टांश में निकट विलक्षणताओं को छोड़कर, यह शून्य के करीब है।

q-श्रृंखला के लिए सामान्यीकरण

द्विपद गुणांक में q-एनालॉग सामान्यीकरण होता है जिसे गॉसियन द्विपद गुणांक कहा जाता है।

अनंत कार्डिनल्स के लिए सामान्यीकरण

द्विपद गुणांक की परिभाषा को परिभाषित करके बुनियादी संख्या के लिए सामान्यीकृत किया जा सकता है:

जहाँ A प्रमुखता के साथ कुछ सेट है . कोई यह दिखा सकता है कि सामान्यीकृत द्विपद गुणांक अच्छी तरह से परिभाषित है, इस अर्थ में कि कार्डिनल संख्या का प्रतिनिधित्व करने के लिए हम जो भी सेट चुनते हैं, उससे कोई फर्क नहीं पड़ता , वही रहेगा। परिमित कार्डिनल्स के लिए, यह परिभाषा द्विपद गुणांक की मानक परिभाषा के साथ मेल खाती है।

पसंद के स्वयंसिद्ध मानकर, कोई यह दिखा सकता है कि किसी भी अनंत कार्डिनल के लिए .

प्रोग्रामिंग भाषाओं में

संकेतन लिखावट में सुविधाजनक है लेकिन टाइपराइटर और कंप्यूटर टर्मिनल के लिए असुविधाजनक है। कई प्रोग्रामिंग भाषा द्विपद गुणांक की गणना के लिए एक मानक उपनेमका प्रदान नहीं करती हैं, लेकिन उदाहरण के लिए एपीएल प्रोग्रामिंग भाषा और (संबंधित) जे प्रोग्रामिंग भाषा विस्मयादिबोधक चिह्न का उपयोग करती है: k ! n द्विपद गुणांक को SciPy में scipy.special.comb के रूप में लागू किया गया है।[17]

फैक्टोरियल फॉर्मूले का सरल कार्यान्वयन, जैसे कि पायथन (प्रोग्रामिंग लैंग्वेज) में निम्नलिखित स्निपेट:

 from math import factorial
def binomial_coefficient(n: int, k: int) -> int:
    return factorial(n) // (factorial(k) * factorial(n - k))

बहुत धीमी हैं और बहुत अधिक संख्याओं के फैक्टोरियल की गणना के लिए बेकार हैं (सी (प्रोग्रामिंग भाषा) या जावा (प्रोग्रामिंग भाषा) जैसी भाषाओं में वे इस कारण से अतिप्रवाह त्रुटियों से ग्रस्त हैं)। गुणात्मक सूत्र का सीधा कार्यान्वयन अच्छी तरह से काम करता है:

   def binomial_coefficient(n: int, k: int) -> int:
    if k < 0 or k > n:
        return 0
    if k == 0 or k == n:
        return 1
    k = min(k, n - k) # Take advantage of symmetry
    c = 1
    for i in range(k):
        c = c * (n - i) // (i + 1)
    return c

(पायथन में, रेंज (के) 0 से के-1 तक एक सूची बनाता है।)

पास्कल का नियम एक पुनरावर्ती परिभाषा प्रदान करता है जिसे पायथन में भी लागू किया जा सकता है, चूंकि यह कम कुशल है:

def binomial_coefficient(n: int, k: int) -> int:
    if k < 0 or k > n:
        return 0
    if k > n - k: # Take advantage of symmetry
        k = n - k
    if k == 0 or n <= 1:
        return 1
    return binomial_coefficient(n - 1, k) + binomial_coefficient(n - 1, k - 1)

ऊपर वर्णित उदाहरण को कार्यात्मक शैली में भी लिखा जा सकता है। निम्नलिखित योजना (प्रोग्रामिंग भाषा) उदाहरण पुनरावर्ती परिभाषा का उपयोग करता है

पूर्णांक विभाजन का उपयोग करके तर्कसंगत अंकगणित को आसानी से टाला जा सकता है

निम्नलिखित कार्यान्वयन इन सभी विचारों का उपयोग करता है

(define (binomial n k)
;; Helper function to compute C(n,k) via forward recursion
  (define (binomial-iter n k i prev)
    (if (>= i k)
      prev
     (binomial-iter n k (+ i 1) (/ (* (- n i) prev) (+ i 1)))))
;; Use symmetry property C(n,k)=C(n, n-k)
  (if (< k (- n k))
    (binomial-iter n k 0 1)
    (binomial-iter n (- n k) 0 1)))

गणना करते समय निश्चित-लंबाई वाले पूर्णांक वाली भाषा में, द्वारा गुणा किया जाता है परिणाम फिट होने पर भी ओवरफ्लो हो सकता है। पहले विभाजित करके और शेष का उपयोग करके परिणाम को ठीक करके अतिप्रवाह से बचा जा सकता है:

C भाषा में कार्यान्वयन:

 #include <limits.h>
unsigned long binomial(unsigned long n, unsigned long k) {
  unsigned long c = 1, i;

  if (k > n-k) // take advantage of symmetry
    k = n-k;

  for (i = 1; i <= k; i++, n--) {
    if (c/i > ULONG_MAX/n) // return 0 on potential overflow
      return 0;

    c = c / i * n + c % i * n / i; // split c * n / i into (c / i * i + c % i) * n / i
  }

  return c;
}

बड़ी संख्याओं का उपयोग करते समय द्विपद गुणांक की गणना करने का दूसरा तरीका यह है कि इसे पहचानें

कहाँ पे गामा फ़ंक्शन के प्राकृतिक लघुगणक को दर्शाता है . यह एक विशेष कार्य है जिसे आसानी से गणना की जाती है और कुछ प्रोग्रामिंग भाषाओं में मानक है जैसे मैक्सिमा (सॉफ्टवेयर) में log_gamma का उपयोग करना, गणित में लॉगगामा, MATLAB में गैमलन और पायथन के SciPy मॉड्यूल, PARI/GP में lngamma या C, R में lgamma ( प्रोग्रामिंग भाषा),[18] और जूलिया (प्रोग्रामिंग भाषा) । राउंडऑफ़ त्रुटि के कारण लौटाया गया मान पूर्णांक नहीं हो सकता है।

यह भी देखें

टिप्पणियाँ

  1. Higham (1998)
  2. Lilavati Section 6, Chapter 4 (see Knuth (1997)).
  3. See (Graham, Knuth & Patashnik 1994), which also defines for . Alternative generalizations, such as to two real or complex valued arguments using the Gamma function assign nonzero values to for , but this causes most binomial coefficient identities to fail, and thus is not widely used by the majority of definitions. One such choice of nonzero values leads to the aesthetically pleasing "Pascal windmill" in Hilton, Holton and Pedersen, Mathematical reflections: in a room with many mirrors, Springer, 1997, but causes even Pascal's identity to fail (at the origin).
  4. Muir, Thomas (1902). "चयनित संयोजनों पर ध्यान दें". Proceedings of the Royal Society of Edinburgh.
  5. This can be seen as a discrete analog of Taylor's theorem. It is closely related to Newton's polynomial. Alternating sums of this form may be expressed as the Nörlund–Rice integral.
  6. Gradshteyn & Ryzhik (2014, pp. 3–4).
  7. Boardman, Michael (2004), "The Egg-Drop Numbers", Mathematics Magazine, 77 (5): 368–372, doi:10.2307/3219201, JSTOR 3219201, MR 1573776, it is well known that there is no closed form (that is, direct formula) for the partial sum of binomial coefficients.
  8. see induction developed in eq (7) p. 1389 in Aupetit, Michael (2009), "Nearly homogeneous multi-partitioning with a deterministic generator", Neurocomputing, 72 (7–9): 1379–1389, doi:10.1016/j.neucom.2008.12.024, ISSN 0925-2312.
  9. Ruiz, Sebastian (1996). "एक बीजगणितीय पहचान जो विल्सन के प्रमेय की ओर ले जाती है". The Mathematical Gazette. 80 (489): 579–582. arXiv:math/0406086. doi:10.2307/3618534. JSTOR 3618534.
  10. Benjamin & Quinn 2003, pp. 4−5
  11. 11.0 11.1 Farhi, Bakir (2007). "पूर्णांकों के कुछ परिमित अनुक्रम के कम से कम सामान्य गुणकों के लिए गैर-तुच्छ निचली सीमाएं". Journal of Number Theory. 125 (2): 393–411. arXiv:0803.0290. doi:10.1016/j.jnt.2006.10.017. S2CID 115167580.
  12. 12.0 12.1 Thomas M. Cover; Joy A. Thomas (18 July 2006). सूचना सिद्धांत के तत्व. Hoboken, New Jersey: Wiley. ISBN 0-471-24195-4.
  13. Spencer, Joel; Florescu, Laura (2014). स्पर्शोन्मुखता. Student mathematical library. Vol. 71. AMS. p. 66. ISBN 978-1-4704-0904-3. OCLC 865574788.
  14. Spencer, Joel; Florescu, Laura (2014). स्पर्शोन्मुखता. Student mathematical library. Vol. 71. AMS. p. 59. ISBN 978-1-4704-0904-3. OCLC 865574788.
  15. see e.g. Ash (1990, p. 121) or Flum & Grohe (2006, p. 427).
  16. Munarini, Emanuele (2011), "Riordan matrices and sums of harmonic numbers" (PDF), Applicable Analysis and Discrete Mathematics, 5 (2): 176–200, doi:10.2298/AADM110609014M, MR 2867317.
  17. "scipy.special.comb". SciPy Reference Guide. 2021-02-18. Retrieved 2021-03-02.
  18. Bloomfield, Victor A. (2016). विज्ञान और इंजीनियरिंग में संख्यात्मक विश्लेषण के लिए R का उपयोग करना. CRC Press. p. 74. ISBN 978-1-4987-8662-1.


संदर्भ


बाहरी संबंध

This article incorporates material from the following PlanetMath articles, which are licensed under the Creative Commons Attribution/Share-Alike License: Binomial Coefficient, Upper and lower bounds to binomial coefficient, Binomial coefficient is an integer, Generalized binomial coefficients.