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

From Vigyanwiki
No edit summary
No edit summary
Line 397: Line 397:
=== बहुपदों का सामान्यीकरण ===
=== बहुपदों का सामान्यीकरण ===
{{main|बहुपद प्रमेय}}
{{main|बहुपद प्रमेय}}
'''द्विपद गुणांकों को संख्या के रूप में परिभाषित बहुपद गुणांकों के लिए सामान्यीकृत किया जा सकता है:'''
द्विपद गुणांकों को संख्या के रूप में परिभाषित बहुपद गुणांकों के लिए सामान्यीकृत किया जा सकता है:
:<math>{n\choose k_1,k_2,\ldots,k_r} =\frac{n!}{k_1!k_2!\cdots k_r!}</math>
:<math>{n\choose k_1,k_2,\ldots,k_r} =\frac{n!}{k_1!k_2!\cdots k_r!}</math>
कहाँ पे
जहाँ पर
:<math>\sum_{i=1}^rk_i=n.</math>
:<math>\sum_{i=1}^rk_i=n.</math>
जबकि द्विपद गुणांक (x+y) के गुणांकों का प्रतिनिधित्व करते हैं<sup>n</sup>, बहुपद गुणांक
जबकि द्विपद गुणांक (x+y)<sup>n</sup> के गुणांक का प्रतिनिधित्व करते हैं, बहुपद गुणांक बहुपद के गुणांक का प्रतिनिधित्व करते हैं
बहुपद के गुणांकों का प्रतिनिधित्व करते हैं
:<math>(x_1 + x_2 + \cdots + x_r)^n.</math>
:<math>(x_1 + x_2 + \cdots + x_r)^n.</math>
मामला r = 2 द्विपद गुणांक देता है:
मामला r = 2 द्विपद गुणांक देता है:
:<math>{n\choose k_1,k_2}={n\choose k_1, n-k_1}={n\choose k_1}= {n\choose k_2}.</math>
:<math>{n\choose k_1,k_2}={n\choose k_1, n-k_1}={n\choose k_1}= {n\choose k_2}.</math>
बहुराष्ट्रीय गुणांकों की संयुक्त व्याख्या r (अलग-अलग) कंटेनरों पर n अलग-अलग तत्वों का वितरण है, प्रत्येक में बिल्कुल k होता है<sub>i</sub>तत्व, जहां मैं कंटेनर की अनुक्रमणिका है।
बहुराष्ट्रीय गुणांकों की संयोजी व्याख्या r (अलग करने योग्य) कंटेनरों पर n विशिष्ट तत्वों का वितरण है, प्रत्येक में बिल्कुल की तत्व होते हैं, जहां मैं कंटेनर की अनुक्रमणिका है।


बहुपद गुणांकों में द्विपद गुणांकों के समान कई गुण होते हैं, उदाहरण के लिए पुनरावृत्ति संबंध:
बहुपद गुणांकों में द्विपद गुणांकों के समान कई गुण होते हैं, उदाहरण के लिए पुनरावृत्ति संबंध:
Line 412: Line 411:
और समरूपता:
और समरूपता:
:<math>{n\choose k_1,k_2,\ldots,k_r} ={n\choose k_{\sigma_1},k_{\sigma_2},\ldots,k_{\sigma_r}}</math>
:<math>{n\choose k_1,k_2,\ldots,k_r} ={n\choose k_{\sigma_1},k_{\sigma_2},\ldots,k_{\sigma_r}}</math>
कहाँ पे <math>(\sigma_i)</math> (1, 2, ..., r) का क्रमचय है।
जहाँ<math>(\sigma_i)</math> (1, 2, ..., r) का क्रमचय है।


=== [[ टेलर श्रृंखला ]] ===
=== [[ टेलर श्रृंखला ]] ===
किसी भी मनमाने ढंग से चुने गए बिंदु के आसपास टेलर श्रृंखला की पहली तरह की स्टर्लिंग संख्याओं का उपयोग करना <math>z_0</math> है
पहली तरह की स्टर्लिंग संख्याओं का उपयोग करके किसी भी मनमाने ढंग से चुने गए बिंदु <math>z_0</math> के आसपास श्रृंखला का विस्तार होता है
:<math>\begin{align} {z \choose k} = \frac{1}{k!}\sum_{i=0}^k z^i s_{k,i}&=\sum_{i=0}^k (z- z_0)^i \sum_{j=i}^k {z_0 \choose j-i} \frac{s_{k+i-j,i}}{(k+i-j)!} \\ &=\sum_{i=0}^k (z-z_0)^i \sum_{j=i}^k z_0^{j-i} {j \choose i} \frac{s_{k,j}}{k!}.\end{align}</math>
:<math>\begin{align} {z \choose k} = \frac{1}{k!}\sum_{i=0}^k z^i s_{k,i}&=\sum_{i=0}^k (z- z_0)^i \sum_{j=i}^k {z_0 \choose j-i} \frac{s_{k+i-j,i}}{(k+i-j)!} \\ &=\sum_{i=0}^k (z-z_0)^i \sum_{j=i}^k z_0^{j-i} {j \choose i} \frac{s_{k,j}}{k!}.\end{align}</math>
=== साथ द्विपद गुणांक {{math|1=''n'' = 1/2}} ===
=== साथ द्विपद गुणांक {{math|1=''n'' = 1/2}} ===
द्विपद गुणांक की परिभाषा को उस मामले तक बढ़ाया जा सकता है जहां <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>
=== द्विपद गुणांकों के गुणनफल ===
=== द्विपद गुणांकों के गुणनफल ===
दो द्विपद गुणांकों के गुणनफल को द्विपद गुणांकों के रैखिक संयोजन के रूप में अभिव्यक्त किया जा सकता है:
दो द्विपद गुणांकों के गुणनफल को द्विपद गुणांकों के रैखिक संयोजन के रूप में अभिव्यक्त किया जा सकता है:


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


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


:<math>\prod_{k=0}^{n}\binom{n}{k}=\prod_{k=1}^{n}k^{2k-n-1}.</math>
:<math>\prod_{k=0}^{n}\binom{n}{k}=\prod_{k=1}^{n}k^{2k-n-1}.</math>
=== [[ आंशिक अंश अपघटन ]] ===
=== [[ आंशिक अंश अपघटन ]] ===
व्युत्क्रम का आंशिक अंश अपघटन द्वारा दिया जाता है
व्युत्क्रम का आंशिक अंश अपघटन द्वारा दिया जाता है
:<math>\frac{1}{{z \choose n}}= \sum_{i=0}^{n-1} (-1)^{n-1-i} {n \choose i} \frac{n-i}{z-i},
:<math>\frac{1}{{z \choose n}}= \sum_{i=0}^{n-1} (-1)^{n-1-i} {n \choose i} \frac{n-i}{z-i},
\qquad \frac{1}{{z+n \choose n}}= \sum_{i=1}^n (-1)^{i-1} {n \choose i} \frac{i}{z+i}.</math>
\qquad \frac{1}{{z+n \choose n}}= \sum_{i=1}^n (-1)^{i-1} {n \choose i} \frac{i}{z+i}.</math>
=== न्यूटन की द्विपद श्रृंखला ===
=== न्यूटन की द्विपद श्रृंखला ===
{{main|बहुपद प्रमेय}}
{{main|बहुपद प्रमेय}}
[[ सर आइजैक न्यूटन ]] के नाम पर न्यूटन की द्विपद श्रृंखला, अनंत श्रृंखला के लिए द्विपद प्रमेय का एक सामान्यीकरण है:
[[ सर आइजैक न्यूटन |सर आइजैक न्यूटन]] के नाम पर न्यूटन की द्विपद श्रृंखला, अनंत श्रृंखला के लिए द्विपद प्रमेय का एक सामान्यीकरण है:


:<math> (1+z)^{\alpha} = \sum_{n=0}^{\infty}{\alpha\choose n}z^n = 1+{\alpha\choose1}z+{\alpha\choose 2}z^2+\cdots.</math>
:<math> (1+z)^{\alpha} = \sum_{n=0}^{\infty}{\alpha\choose n}z^n = 1+{\alpha\choose1}z+{\alpha\choose 2}z^2+\cdots.</math>
पहचान यह दिखा कर प्राप्त की जा सकती है कि दोनों पक्ष अवकल समीकरण को संतुष्ट करते हैं {{math|1=(1 + ''z'') ''f'''(''z'') = ''α'' ''f''(''z'')}}.
पहचान यह दिखाकर प्राप्त की जा सकती है कि दोनों पक्ष अवकल समीकरण {{math|1=(1 + ''z'') ''f'''(''z'') = ''α'' ''f''(''z'')}} को संतुष्ट करते हैं।


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


:<math>\frac{1}{(1-z)^{\alpha+1}} = \sum_{n=0}^{\infty}{n+\alpha \choose n}z^n</math>
:<math>\frac{1}{(1-z)^{\alpha+1}} = \sum_{n=0}^{\infty}{n+\alpha \choose n}z^n</math>
Line 460: Line 451:
लागू की गई है।
लागू की गई है।


=== बहुसेट (बढ़ती) द्विपद गुणांक ===
=== मल्टीसेट (उभरता हुआ) द्विपद गुणांक ===
{{main|मल्टी चूज#काउंटिंग मल्टीसेट्स}}
{{main|मल्टी चूज#काउंटिंग मल्टीसेट्स}}
द्विपद गुणांक किसी दिए गए सेट से निर्धारित आकार के सबसेट की गणना करते हैं। एक संबंधित संयोजी समस्या निर्धारित आकार के मल्टीसेट को किसी दिए गए सेट से निकाले गए तत्वों के साथ गिनना है, अर्थात, एक ही तत्व को बार-बार चुनने की संभावना के साथ दिए गए सेट से तत्वों की एक निश्चित संख्या का चयन करने के तरीकों की संख्या की गणना करना। परिणामी संख्याओं को मल्टीसेट#काउंटिंग मल्टीसेट कहा जाता है;<ref>{{citation
द्विपद गुणांक किसी दिए गए सेट से निर्धारित आकार के सबसेट की गणना करते हैं। किसी दिए गए सेट से तैयार किए गए तत्वों के साथ निर्धारित आकार के मल्टीसेट को गिनने के लिए एक संबंधित संयोजी समस्या है, अर्थात्, एक ही तत्व को बार-बार चुनने की संभावना के साथ दिए गए सेट से तत्वों की एक निश्चित संख्या का चयन करने के तरीकों की संख्या की गणना करना। परिणामी संख्याओं को मल्टीसेट गुणांक कहा जाता है;<ref>{{citation
  | last = Munarini | first = Emanuele
  | last = Munarini | first = Emanuele
  | doi = 10.2298/AADM110609014M
  | doi = 10.2298/AADM110609014M
Line 472: Line 463:
  | 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>.
  }}.</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)}}.
इस लेख में n मुख्य अर्थ के साथ अस्पष्टता और भ्रम से बचने के लिए,<be /> जाने दें {{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 के लिए सामान्यीकरण {{Pascal_triangle_extended.svg}} ===
किसी भी 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!}\\
&=(-1)^k\;\frac{n\cdot(n+1)\cdot(n+2)\cdots (n + k - 1)}{k!}\\
&=(-1)^k\;\frac{n\cdot(n+1)\cdot(n+2)\cdots (n + k - 1)}{k!}\\
&=(-1)^k\binom{n + k - 1}{k}\\
&=(-1)^k\binom{n + k - 1}{k}\\
&=(-1)^k\left(\!\!\binom{n}{k}\!\!\right)\;.\end{align}</math>
&=(-1)^k\left(\!\!\binom{n}{k}\!\!\right)\;.\end{align}</math>
विशेष रूप से, ऋणात्मक पूर्णांक n पर मूल्यांकन किए गए द्विपद गुणांक हस्ताक्षरित मल्टीसेट गुणांक द्वारा दिए गए हैं। विशेष मामले में <math>n = -1</math>, यह कम हो जाता है <math>(-1)^k=\binom{-1}{k}=\left(\!\!\binom{-k}{k}\!\!\right) .</math>
विशेष रूप से, ऋणात्मक पूर्णांक n पर मूल्यांकन किए गए द्विपद गुणांक हस्ताक्षरित मल्टीसेट गुणांक द्वारा दिए गए हैं। विशेष स्थिति में <math>n = -1</math> यह कम हो जाता है <math>(-1)^k=\binom{-1}{k}=\left(\!\!\binom{-k}{k}\!\!\right) .</math>
उदाहरण के लिए, यदि n = -4 और k = 7, तो r = 4 और f = 10:
उदाहरण के लिए, यदि n = -4 और k = 7, तो r = 4 और f = 10:
:<math>\begin{align}\binom{-4}{7} &= \frac
:<math>\begin{align}\binom{-4}{7} &= \frac
Line 506: Line 479:
{1\cdot2\cdot3\cdot4\cdot5\cdot6\cdot7}\\
{1\cdot2\cdot3\cdot4\cdot5\cdot6\cdot7}\\
&=\left(\!\!\binom{-7}{7}\!\!\right)\left(\!\!\binom{4}{7}\!\!\right)=\binom{-1}{7}\binom{10}{7}.\end{align}</math>
&=\left(\!\!\binom{-7}{7}\!\!\right)\left(\!\!\binom{4}{7}\!\!\right)=\binom{-1}{7}\binom{10}{7}.\end{align}</math>
=== दो वास्तविक या जटिल मूल्यवान तर्क ===
=== दो वास्तविक या जटिल मूल्यवान तर्क ===
द्विपद गुणांक को [[ गामा समारोह ]] या [[ बीटा फ़ंक्शन ]] के माध्यम से दो वास्तविक या जटिल मूल्यवान तर्कों के लिए सामान्यीकृत किया जाता है
द्विपद गुणांक को [[गामा फ़ंक्शन]] या [[बीटा फ़ंक्शन]] के माध्यम से दो वास्तविक या जटिल मूल्यवान तर्कों के लिए सामान्यीकृत किया जाता है
:<math>{x \choose y}= \frac{\Gamma(x+1)}{\Gamma(y+1) \Gamma(x-y+1)}= \frac{1}{(x+1) \Beta(y+1, x-y+1)}.</math>
:<math>{x \choose y}= \frac{\Gamma(x+1)}{\Gamma(y+1) \Gamma(x-y+1)}= \frac{1}{(x+1) \Beta(y+1, x-y+1)}.</math>
यह परिभाषा इन निम्नलिखित अतिरिक्त गुणों को इनहेरिट करती है <math>\Gamma</math>:
यह परिभाषा इन निम्नलिखित अतिरिक्त गुणों को <math>\Gamma</math> से इनहेरिट करती है:
:<math>{x \choose y}= \frac{\sin (y \pi)}{\sin(x \pi)} {-y-1 \choose -x-1}= \frac{\sin((x-y) \pi)}{\sin (x \pi)} {y-x-1 \choose y};</math>
:<math>{x \choose y}= \frac{\sin (y \pi)}{\sin(x \pi)} {-y-1 \choose -x-1}= \frac{\sin((x-y) \pi)}{\sin (x \pi)} {y-x-1 \choose y};</math>
इसके अतिरिक्त,
इसके अतिरिक्त,
:<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>
परिणामी फ़ंक्शन का बहुत कम अध्ययन किया गया है, जाहिरा तौर पर पहले में रेखांकन किया जा रहा है {{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> एन सकारात्मक के लिए (इसलिए <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> समारोह शून्य के करीब है।
Line 523: Line 494:


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


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


:<math>{\alpha \choose \beta} = \left| \left\{ B \subseteq A : \left|B\right| = \beta \right\} \right|</math>
:<math>{\alpha \choose \beta} = \left| \left\{ B \subseteq A : \left|B\right| = \beta \right\} \right|</math>
जहाँ A [[ प्रमुखता ]] के साथ कुछ सेट है <math>\alpha</math>. कोई यह दिखा सकता है कि सामान्यीकृत द्विपद गुणांक अच्छी तरह से परिभाषित है, इस अर्थ में कि कार्डिनल संख्या का प्रतिनिधित्व करने के लिए हम जो भी सेट चुनते हैं, उससे कोई फर्क नहीं पड़ता <math>\alpha</math>, <math display="inline">{\alpha \choose \beta}</math> वही रहेगा। परिमित कार्डिनल्स के लिए, यह परिभाषा द्विपद गुणांक की मानक परिभाषा के साथ मेल खाती है।
जहाँ A [[ प्रमुखता ]] के साथ कुछ सेट है . कोई यह दिखा सकता है कि सामान्यीकृत द्विपद गुणांक अच्छी तरह से परिभाषित है, इस अर्थ में कि कार्डिनल संख्या का प्रतिनिधित्व करने के लिए हम जो भी सेट चुनते हैं, उससे कोई फर्क नहीं पड़ता <math>\alpha</math>, <math display="inline">{\alpha \choose \beta}</math> वही रहेगा। परिमित कार्डिनल्स के लिए, यह परिभाषा द्विपद गुणांक की मानक परिभाषा के साथ मेल खाती है।


पसंद के स्वयंसिद्ध मानकर, कोई यह दिखा सकता है कि <math display="inline">{\alpha \choose \alpha} = 2^{\alpha}</math> किसी भी अनंत कार्डिनल के लिए <math>\alpha</math>.
पसंद के स्वयंसिद्ध मानकर, कोई यह दिखा सकता है कि <math display="inline">{\alpha \choose \alpha} = 2^{\alpha}</math> किसी भी अनंत कार्डिनल के लिए <math>\alpha</math>.


== प्रोग्रामिंग भाषाओं में ==
== प्रोग्रामिंग भाषाओं में ==
संकेतन <math display="inline"> {n \choose k} </math> लिखावट में सुविधाजनक है लेकिन [[ टाइपराइटर ]] और [[ कंप्यूटर टर्मिनल ]]ों के लिए असुविधाजनक है। कई [[ प्रोग्रामिंग भाषा ]]एं द्विपद गुणांक की गणना के लिए एक मानक उपनेमका प्रदान नहीं करती हैं, लेकिन उदाहरण के लिए [[ एपीएल प्रोग्रामिंग भाषा ]] और (संबंधित) [[ जे प्रोग्रामिंग भाषा ]] विस्मयादिबोधक चिह्न का उपयोग करती हैं: <code>k ! n</code>. द्विपद गुणांक [[ SciPy ]] में scipy.special.comb के रूप में लागू किया गया है।<ref name="scipy.special.comb">{{cite web|title=scipy.special.comb|url=https://docs.scipy.org/doc/scipy/reference/generated/scipy.special.comb.html|website=SciPy Reference Guide|date=2021-02-18|access-date=2021-03-02}}</ref>
संकेतन <math display="inline"> {n \choose k} </math> लिखावट में सुविधाजनक है लेकिन [[ टाइपराइटर |टाइपराइटर]] और [[ कंप्यूटर टर्मिनल |कंप्यूटर टर्मिनल]] के लिए असुविधाजनक है। कई [[ प्रोग्रामिंग भाषा |प्रोग्रामिंग भाषा]] द्विपद गुणांक की गणना के लिए एक मानक उपनेमका प्रदान नहीं करती हैं, लेकिन उदाहरण के लिए [[ एपीएल प्रोग्रामिंग भाषा |एपीएल प्रोग्रामिंग भाषा]] और (संबंधित) [[ जे प्रोग्रामिंग भाषा |जे प्रोग्रामिंग भाषा]] विस्मयादिबोधक चिह्न का उपयोग करती है: <code>k ! n</code> द्विपद गुणांक को [[ SciPy |SciPy]] में scipy.special.comb के रूप में लागू किया गया है।<ref name="scipy.special.comb">{{cite web|title=scipy.special.comb|url=https://docs.scipy.org/doc/scipy/reference/generated/scipy.special.comb.html|website=SciPy Reference Guide|date=2021-02-18|access-date=2021-03-02}}</ref>
फैक्टोरियल फॉर्मूले का सरल कार्यान्वयन, जैसे कि पायथन (प्रोग्रामिंग लैंग्वेज) में निम्नलिखित स्निपेट:
 
<वाक्यविन्यास लैंग = अजगर>
फैक्टोरियल फॉर्मूले का सरल कार्यान्वयन, जैसे कि पायथन (प्रोग्रामिंग लैंग्वेज) में निम्नलिखित स्निपेट:  
गणित आयात भाज्य से
  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
    यदि के <0 या के> एन:
    if k == 0 or k == n:
        वापसी 0
        return 1
    अगर के == 0 या के == एन:
    k = min(k, n - k) # Take advantage of symmetry
        वापसी 1
    c = 1
    k = min(k, n - k) # समरूपता का लाभ उठाएं
    for i in range(k):
    सी = 1
        c = c * (n - i) // (i + 1)
    मैं सीमा में (के) के लिए:
    return c
        सी = सी * (एन - मैं) // (मैं + 1)
    वापसी सी
</वाक्यविन्यास हाइलाइट>
(पायथन में, रेंज (के) 0 से के-1 तक एक सूची बनाता है।)
(पायथन में, रेंज (के) 0 से के-1 तक एक सूची बनाता है।)


पास्कल का नियम एक पुनरावर्ती परिभाषा प्रदान करता है जिसे पायथन में भी लागू किया जा सकता है, हालांकि यह कम कुशल है:
पास्कल का नियम एक पुनरावर्ती परिभाषा प्रदान करता है जिसे पायथन में भी लागू किया जा सकता है, हालांकि यह कम कुशल है:
<वाक्यविन्यास लैंग = अजगर>
def binomial_coefficient(n: int, k: int) -> int:
डीईएफ़ द्विपद गुणांक (एन: इंट, के: इंट) -> इंट:
    if k < 0 or k > n:
    यदि के <0 या के> एन:
        return 0
        वापसी 0
    if k > n - k: # Take advantage of symmetry
    अगर k> n - k: # समरूपता का लाभ उठाएं
        k = n - k
        के = एन - के
    if k == 0 or n <= 1:
    अगर के == 0 या एन <= 1:
        return 1
        वापसी 1
    वापसी द्विपद_गुणांक (n - 1, k) + द्विपद_गुणांक (n - 1, k - 1)
</वाक्यविन्यास हाइलाइट>


    return binomial_coefficient(n - 1, k) + binomial_coefficient(n - 1, k - 1)
ऊपर वर्णित उदाहरण को कार्यात्मक शैली में भी लिखा जा सकता है। निम्नलिखित [[ योजना (प्रोग्रामिंग भाषा) ]] उदाहरण पुनरावर्ती परिभाषा का उपयोग करता है
ऊपर वर्णित उदाहरण को कार्यात्मक शैली में भी लिखा जा सकता है। निम्नलिखित [[ योजना (प्रोग्रामिंग भाषा) ]] उदाहरण पुनरावर्ती परिभाषा का उपयोग करता है
:<math>{n \choose k+1} = \frac{n-k}{k+1} {n \choose k} </math>
:<math>{n \choose k+1} = \frac{n-k}{k+1} {n \choose k} </math>
Line 575: Line 543:
:<math>{n \choose k+1} = \left[(n-k) {n \choose k}\right] \div (k+1) </math>
:<math>{n \choose k+1} = \left[(n-k) {n \choose k}\right] \div (k+1) </math>
निम्नलिखित कार्यान्वयन इन सभी विचारों का उपयोग करता है
निम्नलिखित कार्यान्वयन इन सभी विचारों का उपयोग करता है
<वाक्यविन्यास हाइलाइट लैंग = योजना>
 
(परिभाषित करें (द्विपद n k)
(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(n,k)=C(n, n-k)
   (परिभाषित करें (द्विपद-पुनरावृति n k i पिछला)
   (परिभाषित करें (द्विपद-पुनरावृति n k i पिछला)
     (यदि (>= मैं कश्मीर)
     (यदि (>= मैं कश्मीर)
       पिछला
       पिछला
     (द्विपद-पुनरावृति n k (+ i 1) (/ (* (- n i) पिछला) (+ i 1))))
     (द्विपद-पुनरावृति n k (+ i 1) (/ (* (- n i) पिछला) (+ i 1))))
;; सममिति गुण का प्रयोग करें C(n,k)=C(n, n-k)
  (यदि (< के (- एन के))
    (द्विपद-पुनरावृति n k 0 1)
    (द्विपद-पुनरावृति n (- n k) 0 1)))
</वाक्यविन्यास हाइलाइट>
गणना करते समय <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>
सी भाषा में कार्यान्वयन:
सी भाषा में कार्यान्वयन:
  #include <limits.h>


<वाक्यविन्यास हाइलाइट लैंग = सी प्रारंभ = 1>
unsigned long binomial(unsigned long n, unsigned long k) {
#शामिल करें <limits.h>
  unsigned long c = 1, i;
 
अहस्ताक्षरित लंबी द्विपद (अहस्ताक्षरित लंबी n, अहस्ताक्षरित लंबी k) {
  if (k > n-k) // take advantage of symmetry
  अहस्ताक्षरित लंबा सी = 1, मैं;
    k = n-k;
 
  अगर (के> एन-के) // समरूपता का लाभ उठाएं
  for (i = 1; i <= k; i++, n--) {
    के = एन-के;
    if (c/i > ULONG_MAX/n) // return 0 on potential overflow
 
      return 0;
  के लिए (i = 1; i <= k; i++, n--) {
    अगर (c/i > ULONG_MAX/n) // संभावित अतिप्रवाह पर 0 लौटाएं
    c = c / i * n + c % i * n / i; // split c * n / i into (c / i * i + % i) * n / i
      वापसी 0;
  }
 
    सी = सी / आई * एन + सी% आई * एन / आई; // विभाजित c * n / i में (c / i * i + c% i) * n / i
  return c;
  }
}
 
  वापसी सी;
}
</वाक्यविन्यास हाइलाइट>
बड़ी संख्याओं का उपयोग करते समय द्विपद गुणांक की गणना करने का दूसरा तरीका यह है कि इसे पहचानें
बड़ी संख्याओं का उपयोग करते समय द्विपद गुणांक की गणना करने का दूसरा तरीका यह है कि इसे पहचानें
:<math>{n \choose k} = \frac{n!}{k!\,(n-k)!} = \frac{\Gamma(n+1)}{\Gamma(k+1)\,\Gamma(n-k+1)} = \exp(\ln\Gamma(n+1)-\ln\Gamma(k+1)-\ln\Gamma(n-k+1)),</math>
:<math>{n \choose k} = \frac{n!}{k!\,(n-k)!} = \frac{\Gamma(n+1)}{\Gamma(k+1)\,\Gamma(n-k+1)} = \exp(\ln\Gamma(n+1)-\ln\Gamma(k+1)-\ln\Gamma(n-k+1)),</math>
Line 631: Line 600:
* [[ त्रिनोमियल विस्तार ]]
* [[ त्रिनोमियल विस्तार ]]
{{Div col end}}
{{Div col end}}


== टिप्पणियाँ ==
== टिप्पणियाँ ==

Revision as of 17:27, 18 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
The first few binomial coefficients
on a left-aligned Pascal's triangle

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

 

 

 

 

()

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

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

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

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

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

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

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

सूत्र सेट {1, 2, 3, ..., n} पर विचार करने और अलग से गिनती करने से आता है (ए) 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 एक रैखिक संयोजन के रूप में विशिष्ट रूप से अभिव्यक्त होता है द्विपद गुणांक के। गुणांक एk अनुक्रम 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 स्वतंत्र बाइनरी विकल्प (बिट-स्ट्रिंग्स) कुल {\displaystyle 2^{n}}2^{n} विकल्पों की अनुमति देते हैं। उपसमुच्चयों के समान संग्रह को गिनने के लिए बाएँ और दाएँ पक्ष दो तरीके हैं, इसलिए वे समान हैं।

सूत्र

 

 

 

 

(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 के लिए , इन श्रृंखलाओं के विशेष रूप से अच्छे रूप हैं; उदाहरण के लिए,[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 के लिए k-संयोजनों की संख्या k, , द्विपद गुणांकों की nवीं पंक्ति (0 से गिनती) का योग है। इन संयोजनों की गणना आधार 2 संख्याओं के सेट के 1 अंकों द्वारा की जाती है, जिनकी गणना 0 से होती है , जहां प्रत्येक अंक की स्थिति n के सेट से एक आइटम है।

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

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

या, अधिक आम तौर पर,

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

सतत पहचान

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

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

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

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

हर कश्मीर के साथ अधिक आम तौर पर, यह सत्य रहता है यदि 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 के लिए सामान्यीकरण Template:Pascal triangle extended.svg

किसी भी 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(n,k)=C(n, n-k)
 (परिभाषित करें (द्विपद-पुनरावृति n k i पिछला)
   (यदि (>= मैं कश्मीर)
     पिछला
    (द्विपद-पुनरावृति n k (+ i 1) (/ (* (- n i) पिछला) (+ i 1))))

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

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

 #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.