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

गणित में, पंचकोणीय संख्या प्रमेय, मूल रूप से लियोनहार्ड यूलर के कारण, यूलर फ़ंक्शन के उत्पाद और श्रृंखला प्रतिनिधित्व से संबंधित है। यह प्रकट करता है की


 * $$\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 $$ क हैवेंसामान्यीकृत पंचकोणीय संख्या. तब से $$p(n)=0$$ सभी के लिए $$n<0$$, दाईं ओर स्पष्ट रूप से अनंत श्रृंखला में केवल सीमित रूप से कई गैर-शून्य पद हैं, जो पी (एन) की कुशल गणना को सक्षम करते हैं।

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

उदाहरण के लिए, x का गुणांक5 +1 है क्योंकि 5 को सम संख्या में अलग-अलग हिस्सों (4+1 और 3+2) में विभाजित करने के दो तरीके हैं, लेकिन विषम संख्या में अलग-अलग हिस्सों के लिए ऐसा करने का केवल एक ही तरीका है (एक) -भाग विभाजन 5). हालाँकि, x का गुणांक12-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 तत्व जोड़कर), हमें पहले आरेख पर वापस ले जा रहे हैं।

थोड़ा विचार करने से पता चलता है कि यह प्रक्रिया हमेशा पंक्तियों की संख्या की समता को बदलती है, और प्रक्रिया को दो बार लागू करने से हम मूल आरेख पर वापस आ जाते हैं। यह हमें x में 1 और −1 का योगदान देने वाले फेरर्स आरेखों को जोड़ने में सक्षम बनाता हैnश्रृंखला का पद, जिसके परिणामस्वरूप x के लिए शुद्ध गुणांक 0 हैn. यह प्रत्येक पद के लिए लागू होता है, सिवाय इसके कि जब प्रक्रिया को प्रत्येक फेरर्स आरेख पर 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) के बराबर हैम और (−1)क.

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) हैक.

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

विभाजन पुनरावृत्ति
हम विभाजन (संख्या सिद्धांत) का उपयोग करके उपरोक्त प्रमाण को दोबारा लिख ​​सकते हैं, जिसे हम इस प्रकार दर्शाते हैं: $$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 $$.

बाएँ पक्ष को गुणा करने और दोनों पक्षों के गुणांकों को बराबर करने पर, हमें प्राप्त होता है ए0पी(0) = 1 और $$\sum_{i=0}^n p(n{-}i) a_i = 0$$ सभी के लिए $$n\geq 1$$. यह एक पुनरावृत्ति संबंध देता है जो पी(एन) को ए के संदर्भ में परिभाषित करता हैn, और इसके विपरीत a के लिए पुनरावृत्ति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$$. जो कुछ बचा है वह एक सेट से दूसरे सेट पर आपत्ति देना है, जो एक्स से वाई तक फ़ंक्शन φ द्वारा पूरा किया जाता है जो विभाजन को मैप करता है $$\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.