पंचभुज संख्या प्रमेय

गणित में, पंचकोणीय संख्या प्रमेय, मूल रूप से लियोनहार्ड यूलर के कारण, यूलर फ़ंक्शन के उत्पाद और श्रृंखला प्रतिनिधित्व से संबंधित है। यह प्रकट करता है की
 * $$\prod_{n=1}^{\infty}\left(1-x^{n}\right)=\sum_{k=-\infty}^{\infty}\left(-1\right)^{k}x^{k\left(3k-1\right)/2}=1+\sum_{k=1}^\infty(-1)^k\left(x^{k(3k+1)/2}+x^{k(3k-1)/2}\right).$$

दूसरे शब्दों में,


 * $$(1-x)(1-x^2)(1-x^3) \cdots = 1 - x - x^2 + x^5 + x^7 - x^{12} - x^{15} + x^{22} + x^{26} - \cdots.$$

दायीं ओर के घातांक 1, 2, 5, 7, 12, ... सूत्र द्वारा दिए गए हैं $g_{k} = k(3k − 1)/2$ k = 1, −1, 2, −2, 3, ... के लिए और (सामान्यीकृत) पंचकोणीय संख्याएं कहलाती हैं. (स्थिर पद 1 से मेल खाता है $$k=0$$.) यह अभिसरण शक्ति श्रृंखला की पहचान के रूप में कार्य करता है $$|x|<1$$, और औपचारिक शक्ति श्रृंखला की पहचान के रूप में भी।

इस फॉर्मूले की एक खास विशेषता उत्पाद के विस्तार में रद्दीकरण की मात्रा है।

विभाजन के साथ संबंध
पहचान गणना के लिए एक पुनरावृत्ति संबंध का तात्पर्य करती है $$p(n)$$, n के विभाजन की संख्या (संख्या सिद्धांत):


 * $$p(n)=p(n-1)+p(n-2)-p(n-5)-p(n-7)+\cdots$$

या अधिक औपचारिक रूप से,


 * $$p(n)=\sum_{k\neq 0} (-1)^{k-1}p(n-g_k)$$

जहां योग सभी गैर-शून्य पूर्णांक k (धनात्मक और ऋणात्मक) से अधिक है $$g_k $$ kth सामान्यीकृत पंचकोणीय संख्या  हैl तब से $$p(n)=0$$ सभी के लिए $$n<0$$, दाईं ओर स्पष्ट रूप से अनंत श्रृंखला में केवल सीमित रूप से कई गैर-शून्य पद हैं, जो p(n) की कुशल गणना को सक्षम करते हैं।

फ्रैंकलिन का विशेषण प्रमाण
प्रमेय की व्याख्या पूर्णांक विभाजन के संदर्भ में साहचर्य से की जा सकती है। विशेष रूप से, बायीं ओर n के विभाजनों की संख्या को एक सम संख्या में अलग-अलग हिस्सों में से घटाकर n के विभाजनों की संख्या को विषम संख्या में अलग-अलग हिस्सों में विभाजित करने के लिए एक जनरेटिंग फ़ंक्शन है। अलग-अलग भागों की सम संख्या में n का प्रत्येक विभाजन xn के गुणांक में +1 का योगदान देता है; अलग-अलग भागों की विषम संख्या में प्रत्येक विभाजन -1 का योगदान देता है। (विभाजन फलन (संख्या सिद्धांत) पर लेख इस प्रकार के सृजन फलन पर चर्चा करता है।)

उदाहरण के लिए, x5 का गुणांक +1 है क्योंकि 5 को सम संख्या में अलग-अलग हिस्सों (4+1 और 3+2) में विभाजित करने के दो तरीके हैं, लेकिन विषम संख्या में अलग-अलग हिस्सों के लिए ऐसा करने का केवल एक ही तरीका है (एक) -भाग विभाजन 5). हालाँकि, x12 का गुणांक-1 है क्योंकि 12 को सम संख्या में अलग-अलग भागों में विभाजित करने के सात तरीके हैं, लेकिन 12 को विषम संख्या में अलग-अलग हिस्सों में विभाजित करने के आठ तरीके हैं, और 7 - 8 = −1।

यह व्याख्या सुमेलित पदों (इनवोल्यूशन (गणित) विधि) के जोड़े को रद्द करके पहचान के प्रमाण की ओर ले जाती है। अलग-अलग भागों में n के किसी भी विभाजन के फेरर्स आरेख पर विचार करें। उदाहरण के लिए, नीचे दिया गया चित्र n = 20 और विभाजन 20 = 7 + 6 + 4 + 3 दिखाता है।


 * [[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:RedDot.svg|16px|हे]] [[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:RedDot.svg|16px|हे]] [[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]] [[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]]
 * मान लीजिए m आरेख की सबसे छोटी रो में तत्वों की संख्या है (उपरोक्त उदाहरण में m = 3)। मान लीजिए s आरेख की सबसे दाहिनी 45 डिग्री रेखा में तत्वों की संख्या है (s = ऊपर लाल रंग में 2 बिंदु, क्योंकि 7−1 = 6, लेकिन 6−1 > 4)। यदि m > s, तो सबसे दाहिनी 45-डिग्री रेखा लें और इसे एक नई रो बनाने के लिए ले जाएँ, जैसा कि नीचे दिए गए मिलान आरेख में है।


 * [[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]] [[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]] [[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]] [[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]] [[Image:RedDot.svg|16px|हे]][[Image:RedDot.svg|16px|हे]]
 * यदि m ≤ s (जैसा कि हमारे नवगठित आरेख में है जहां m = 2, s = 5) तो हम एक नई 45 डिग्री रेखा बनाने के लिए नीचे की रो को स्थानांतरित करके प्रक्रिया को उलट सकते हैं (पहली m रो में से प्रत्येक में 1 तत्व जोड़कर), हमें पहले आरेख पर वापस ले जा रहे हैं।

थोड़ा विचार करने से पता चलता है कि यह प्रक्रिया हमेशा रो की संख्या की समता को बदलती है, और प्रक्रिया को दो बार लागू करने से हम मूल आरेख पर वापस आ जाते हैं। यह हमें xn में 1 और −1 का योगदान देने वाले फेरर्स आरेखों को जोड़ने में सक्षम बनाता है श्रृंखला का पद, जिसके परिणामस्वरूप xn के लिए शुद्ध गुणांक 0 हैl यह प्रत्येक पद के लिए लागू होता है, सिवाय इसके कि जब प्रक्रिया को प्रत्येक फेरर्स आरेख पर n बिंदुओं के साथ निष्पादित नहीं किया जा सकता है। ऐसे दो स्थिति हैं:

1) m = s और सबसे दाहिना विकर्ण और निचली रो मिलती है। उदाहरण के लिए,


 * [[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]] [[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]] [[Image:RedDot.svg|16px|*]][[Image:RedDot.svg|16px|*]][[Image:RedDot.svg|16px|*]]
 * ऑपरेशन करने का प्रयास हमें निम्न तक ले जाएगा:


 * [[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:RedDot.svg|16px|*]] [[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:RedDot.svg|16px|*]] [[Image:RedDot.svg|16px|*]]
 * जो रो की संख्या की समता को बदलने में विफल रहता है, और इस अर्थ में प्रतिवर्ती नहीं है कि ऑपरेशन को दोबारा करने से हमें मूल आरेख पर वापस नहीं ले जाया जाता है। यदि मूल आरेख की अंतिम रो में m तत्व हैं, तो


 * $$n=m+(m+1)+(m+2)+\cdots+(2m-1)=\frac {m(3m-1)}{2}=\frac {k(3k-1)}{2}$$

जहां नए सूचकांक k को m के बराबर लिया जाता है। ध्यान दें कि इस विभाजन से जुड़ा चिह्न (−1)s है, जो निर्माण के अनुसार (−1)m के बराबर है और (−1)k.

2) m = s+1 और सबसे दाहिना विकर्ण और निचली रो मिलती है। उदाहरण के लिए,


 * [[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:RedDot.svg|16px|*]] [[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:RedDot.svg|16px|*]] [[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:RedDot.svg|16px|*]]
 * हमारे ऑपरेशन के लिए हमें दाएँ विकर्ण को निचली रो में ले जाने की आवश्यकता है, लेकिन इससे तीन तत्वों की दो पंक्तियाँ बन जाएँगी, जो वर्जित हैं क्योंकि हम विभाजनों को अलग-अलग हिस्सों में गिन रहे हैं। यह पिछला मामला है लेकिन एक रो कम है, इसलिए


 * $$n=m+(m+1)+(m+2)+\cdots+(2m-2)=\frac{(m-1)(3m-2)}{2}=\frac{k(3k-1)}{2},$$

जहां हम k = 1−m (एक ऋणात्मक पूर्णांक) लेते हैं। यहां संबंधित चिह्न (−1) हैs s = m−1 = −k के साथ, इसलिए चिह्न फिर से (−1)k हैl

संक्षेप में, यह दिखाया गया है कि अलग-अलग हिस्सों की एक सम संख्या और अलग-अलग हिस्सों की एक विषम संख्या में विभाजन एक-दूसरे को बिल्कुल रद्द कर देते हैं, जिससे शून्य शब्द 0xn उत्पन्न होते हैं। सिवाय इसके कि यदि n एक सामान्यीकृत पंचकोणीय संख्या है $$n = g_k = k(3k-1)/2$$, जिस स्थिति में वास्तव में एक फेरर्स आरेख बचा हुआ है, जो एक शब्द (−1)kxn का निर्माण करता हैl लेकिन यह वही है जो पहचान का दाहिना पक्ष कहता है कि घटित होना चाहिए, इसलिए हम समाप्त हो गए हैं।

विभाजन पुनरावृत्ति
हम विभाजन (संख्या सिद्धांत) का उपयोग करके उपरोक्त प्रमाण को दोबारा लिख ​​सकते हैं, जिसे हम इस प्रकार दर्शाते हैं: $$n = \lambda_1 + \lambda_2 + \dotsb + \lambda_\ell$$, जहाँ $$\lambda_1\geq \lambda_2\geq\ldots\geq\lambda_\ell > 0$$. n के विभाजनों की संख्या विभाजन फ़ंक्शन p(n) है जिसमें जनरेटिंग फ़ंक्शन है:


 * $$\sum_{n=0}^\infty p(n) x^n = \prod_{k=1}^\infty (1 - x^k)^{-1}$$

ध्यान दें कि यह हमारी पहचान के बायीं ओर उत्पाद का व्युत्क्रम है:


 * $$ \left( \sum_{n=0}^\infty p(n) x^n \right) \cdot \left(\prod_{n=1}^\infty (1-x^n)\right)

= 1 $$ आइए हम अपने उत्पाद के विस्तार को इससे निरूपित करें $$ \prod_{n=1}^\infty (1-x^n) = \sum_{n=0}^\infty a_nx^n$$, ताकि


 * $$ \left( \sum_{n=0}^\infty p(n) x^n \right) \cdot \left(\sum_{n=0}^\infty a_nx^n\right) = 1 $$.

बाएँ पक्ष को गुणा करने और दोनों पक्षों के गुणांकों को बराबर करने पर, हमें प्राप्त होता है

a0 p(0) = 1 और $$\sum_{i=0}^n p(n{-}i) a_i = 0$$ सभी के लिए $$n\geq 1$$. यह एक पुनरावृत्ति संबंध देता है जो p(n) को an के संदर्भ में परिभाषित करता है, और इसके विपरीत an के लिए पुनरावृत्ति p(n) के संदर्भ में। इस प्रकार, हमारा वांछित परिणाम:


 * $$a_i := \begin{cases}1 & \mbox{ if } i = \frac{1}{2}(3k^2 \pm k) \mbox{ and } k \mbox{ is even}\\

-1 & \mbox{ if } i = \frac{1}{2}(3k^2 \pm k) \mbox{ and } k \mbox{ is odd }\\ 0 & \mbox{ otherwise }\end{cases}$$ के लिए $$i\geq 1$$ पहचान के बराबर है $$\sum_i (-1)^i p(n{-}g_i) = 0,$$ जहाँ $$g_i := \textstyle\frac{1}{2}(3i^2-i)$$ और i का दायरा ऐसे सभी पूर्णांकों पर है $$g_i \leq n$$ (इस श्रेणी में घनात्मक और ऋणात्मक दोनों सम्मिलित हैं, ताकि दोनों प्रकार की सामान्यीकृत पंचकोणीय संख्याओं का उपयोग किया जा सके)। बदले में इसका अर्थ है:


 * $$\sum_{i \mathrm{\ even}} p(n{-}g_i) = \sum_{i \mathrm{\ odd}} p(n{-}g_i),$$.

विभाजनों के सेट के संदर्भ में, यह कहने के बराबर है कि निम्नलिखित सेट समान कार्डिनलिटी के हैं:
 * $$\mathcal{X} := \bigcup_{i \mathrm{\ even}} \mathcal{P}(n-g_i)$$ और $$\mathcal{Y} := \bigcup_{i \mathrm{\ odd}} \mathcal{P}(n-g_i)$$,

जहाँ $$\mathcal{P}(n)$$ के सभी विभाजनों के समुच्चय को दर्शाता है $$n$$. जो कुछ बचा है वह एक सेट से दूसरे सेट पर आपत्ति देना है, जो X से Y तक फ़ंक्शन φ द्वारा पूरा किया जाता है जो विभाजन को मैप करता है $$\mathcal{P}(n-g_i) \ni \lambda : n-g_i = \lambda_1 + \lambda_2 + \dotsb + \lambda_\ell$$ विभाजन के लिए $$\lambda' = \varphi(\lambda)$$ द्वारा परिभाषित:


 * $$ \varphi(\lambda) :=

\begin{cases} \lambda' : n - g_{i-1} = (\ell + 3i -2) + (\lambda_1 - 1) + \dotsb + (\lambda_\ell - 1) &\mbox{ if } \ell+3i > \lambda_1\\ \\ \lambda' : n - g_{i+1} = (\lambda_2 + 1) + \dotsb + (\lambda_\ell + 1) + \underbrace{1+\dotsb+1}_{\lambda_1 - \ell - 3i} &\mbox{ if } \ell+3i \leq \lambda_1. \end{cases} $$ यह एक इनवोल्यूशन (एक स्व-उलटा मानचित्रण) है, और इस प्रकार विशेष रूप से एक आक्षेप है, जो हमारे दावे और पहचान को साबित करता है।

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

बाहरी संबंध

 * On Euler's Pentagonal Theorem at MathPages
 * De mirabilis proprietatibus numerorum pentagonalium at Scholarly Commons.
 * De mirabilis proprietatibus numerorum pentagonalium at Scholarly Commons.
 * De mirabilis proprietatibus numerorum pentagonalium at Scholarly Commons.