लुकास अनुक्रम: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
गणित में, लुकास अनुक्रम <math>U_n(P,Q)</math> और <math>V_n(P, Q)</math> कुछ स्थिर-पुनरावर्ती अनुक्रम | गणित में, लुकास अनुक्रम <math>U_n(P,Q)</math> और <math>V_n(P, Q)</math> कुछ स्थिर-पुनरावर्ती अनुक्रम होता है जो [[पुनरावृत्ति संबंध]] को संतुष्ट करते हैं | ||
: <math>x_n = P \cdot x_{n - 1} - Q \cdot x_{n - 2}</math> | : <math>x_n = P \cdot x_{n - 1} - Q \cdot x_{n - 2}</math> | ||
जहाँ <math>P</math> और <math>Q</math> निश्चित [[पूर्णांक]] होता हैं। इस पुनरावृत्ति संबंध को संतुष्ट करने वाले किसी भी अनुक्रम को लुकास अनुक्रमों <math>U_n(P, Q)</math> और <math>V_n(P, Q)</math>के [[रैखिक संयोजन]] के रूप में प्रदर्शित किया जा सकता है। | |||
लुकास अनुक्रमों के प्रसिद्ध उदाहरणों में [[फाइबोनैचि संख्या]]एं, मेरसेन संख्याएं, पेल संख्याएं, लुकास संख्याएं, जैकबस्टल संख्याएं और फर्मेट संख्याओं का | अधिक सामान्यतः, लुकास अनुक्रम <math>U_n(P, Q)</math> और <math>V_n(P, Q)</math> में [[बहुपद]] के अनुक्रम का प्रतिनिधित्व <math>P</math> और <math>Q</math> पूर्णांक गुणांक के साथ करते हैं। | ||
लुकास अनुक्रमों के प्रसिद्ध उदाहरणों में [[फाइबोनैचि संख्या]]एं, मेरसेन संख्याएं, पेल संख्याएं, लुकास संख्याएं, जैकबस्टल संख्याएं और फर्मेट संख्याओं का सुपरसमुच्चय सम्मिलित होता हैं (नीचे देखें)। लुकास अनुक्रमों का नाम [[फ्रांस]] के गणितज्ञ एडवर्ड लुकास के नाम पर रखा गया था। | |||
== पुनरावृत्ति संबंध == | == पुनरावृत्ति संबंध == | ||
दो पूर्णांक पैरामीटर | दो पूर्णांक पैरामीटर <math>P</math> और <math>Q</math> दिए गएदिए गए है,पहली तरह के लुकास अनुक्रम <math>U_n(P,Q)</math> और दूसरे प्रकार का <math>V_n(P,Q)</math> पुनरावृत्ति संबंधों द्वारा परिभाषित किया जाता हैं: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 23: | Line 24: | ||
V_n(P,Q)&=P\cdot V_{n-1}(P,Q)-Q\cdot V_{n-2}(P,Q) \mbox{ for }n>1. | V_n(P,Q)&=P\cdot V_{n-1}(P,Q)-Q\cdot V_{n-2}(P,Q) \mbox{ for }n>1. | ||
\end{align}</math> | \end{align}</math> | ||
<math>n>0</math> इसे प्रदर्शित करना कठिन नहीं होता है , | |||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 29: | Line 30: | ||
V_n(P,Q)&=\frac{(P^2-4Q)\cdot U_{n-1}(P,Q)+P\cdot V_{n-1}(P,Q)}{2}. | V_n(P,Q)&=\frac{(P^2-4Q)\cdot U_{n-1}(P,Q)+P\cdot V_{n-1}(P,Q)}{2}. | ||
\end{align}</math> | \end{align}</math> | ||
उपरोक्त संबंधों | उपरोक्त संबंधों का [[मैट्रिक्स (गणित)|आव्युह]] रूप में इस प्रकार वर्णित किया जा सकता है: | ||
: <math>\begin{bmatrix} U_n(P,Q)\\ U_{n+1}(P,Q)\end{bmatrix} = \begin{bmatrix} 0 & 1\\ -Q & P\end{bmatrix}\cdot \begin{bmatrix} U_{n-1}(P,Q)\\ U_n(P,Q)\end{bmatrix},</math> | : <math>\begin{bmatrix} U_n(P,Q)\\ U_{n+1}(P,Q)\end{bmatrix} = \begin{bmatrix} 0 & 1\\ -Q & P\end{bmatrix}\cdot \begin{bmatrix} U_{n-1}(P,Q)\\ U_n(P,Q)\end{bmatrix},</math> | ||
<br> | <br> | ||
Line 39: | Line 40: | ||
== उदाहरण == | == उदाहरण == | ||
लुकास अनुक्रमों की प्रारंभिक | लुकास अनुक्रमों की प्रारंभिक स्थितियां <math>U_n(P,Q)</math> और <math>V_n(P,Q)</math> तालिका में निम्न प्रकार दिए गए हैं: | ||
:<math> | :<math> | ||
\begin{array}{r|l|l} | \begin{array}{r|l|l} | ||
Line 64: | Line 65: | ||
== स्पष्ट अभिव्यक्ति == | == स्पष्ट अभिव्यक्ति == | ||
लुकास अनुक्रमों के लिए पुनरावृत्ति संबंध का विशिष्ट समीकरण <math>U_n(P,Q)</math> और <math>V_n(P,Q)</math> है: | लुकास अनुक्रमों के लिए पुनरावृत्ति संबंध का विशिष्ट समीकरण <math>U_n(P,Q)</math> और <math>V_n(P,Q)</math> होता है: | ||
:<math>x^2 - Px + Q=0 \,</math> | :<math>x^2 - Px + Q=0 \,</math> | ||
इसमें | इसमें <math>D = P^2 - 4Q</math> विभेदक होता और बहुपद का मूल निम्न प्रकार है: | ||
:<math>a = \frac{P+\sqrt{D}}2\quad\text{and}\quad b = \frac{P-\sqrt{D}}2. \,</math> | :<math>a = \frac{P+\sqrt{D}}2\quad\text{and}\quad b = \frac{P-\sqrt{D}}2. \,</math> | ||
इस प्रकार: | इस प्रकार: | ||
Line 72: | Line 73: | ||
:<math>a b = \frac{1}{4}(P^2 - D) = Q\, ,</math> | :<math>a b = \frac{1}{4}(P^2 - D) = Q\, ,</math> | ||
:<math>a - b = \sqrt{D}\, .</math> | :<math>a - b = \sqrt{D}\, .</math> | ||
ध्यान दें कि क्रम <math>a^n</math> और क्रम <math>b^n</math> पुनरावृत्ति संबंध को भी संतुष्ट करें। | ध्यान दें कि क्रम <math>a^n</math> और क्रम <math>b^n</math> पुनरावृत्ति संबंध को भी संतुष्ट करें। यघपि ये पूर्णांक अनुक्रम नहीं हो सकते हैं। | ||
=== | === विशिष्ट जड़ें === | ||
जब <math>D\ne 0</math>, ''a'' और ''b'' भिन्न-भिन्न होता हैं और कोई भी इसे शीघ्रता से सत्यापित कर सकता है | |||
:<math>a^n = \frac{V_n + U_n \sqrt{D}}{2}</math> | :<math>a^n = \frac{V_n + U_n \sqrt{D}}{2}</math> | ||
:<math>b^n = \frac{V_n - U_n \sqrt{D}}{2}.</math> | :<math>b^n = \frac{V_n - U_n \sqrt{D}}{2}.</math> | ||
इससे यह पता चलता है कि लुकास अनुक्रमों की | इससे यह पता चलता है कि लुकास अनुक्रमों की स्थितियों को ''a'' और ''b'' के संदर्भ में निम्नानुसार व्यक्त किया जा सकता है | ||
:<math>U_n = \frac{a^n-b^n}{a-b} = \frac{a^n-b^n}{ \sqrt{D}}</math> | :<math>U_n = \frac{a^n-b^n}{a-b} = \frac{a^n-b^n}{ \sqrt{D}}</math> | ||
:<math>V_n = a^n+b^n \,</math> | :<math>V_n = a^n+b^n \,</math> | ||
=== दोहराया गया | === दोहराया गया जड़ें === | ||
स्थिति <math> D=0 </math> मात्र तब होता है जब <math> P=2S \text{ औ र }Q=S^2</math> कुछ पूर्णांक S के लिए होता जिससे <math>a=b=S</math> होता है। इस स्थति में कोई भी इसे सरलता से प्राप्त कर सकते है | |||
:<math>U_n(P,Q)=U_n(2S,S^2) = nS^{n-1}\,</math> | :<math>U_n(P,Q)=U_n(2S,S^2) = nS^{n-1}\,</math> | ||
Line 94: | Line 95: | ||
=== कार्य उत्पन्न करना === | === कार्य उत्पन्न करना === | ||
सामान्य [[जनरेटिंग फ़ंक्शन]] हैं | सामान्य [[जनरेटिंग फ़ंक्शन|जनरेटिंग फलन]] निम्न प्रकार होता हैं | ||
:<math> | :<math> | ||
\sum_{n\ge 0} U_n(P,Q)z^n = \frac{z}{1-Pz+Qz^2}; | \sum_{n\ge 0} U_n(P,Q)z^n = \frac{z}{1-Pz+Qz^2}; | ||
Line 103: | Line 104: | ||
=== पेल समीकरण === | === पेल समीकरण === | ||
कब <math>Q=\pm 1</math>, लुकास अनुक्रम <math>U_n(P, Q)</math> और <math>V_n(P, Q)</math> कुछ [[पेल समीकरण]] | कब <math>Q=\pm 1</math>, लुकास अनुक्रम <math>U_n(P, Q)</math> और <math>V_n(P, Q)</math> कुछ [[पेल समीकरण]] को संतुष्ट करें: | ||
:<math>V_n(P,1)^2 - D\cdot U_n(P,1)^2 = 4,</math> | :<math>V_n(P,1)^2 - D\cdot U_n(P,1)^2 = 4,</math> | ||
:<math>V_{2n}(P,-1)^2 - D\cdot U_{2n}(P,-1)^2 = 4,</math> | :<math>V_{2n}(P,-1)^2 - D\cdot U_{2n}(P,-1)^2 = 4,</math> | ||
:<math>V_{2n+1}(P,-1)^2 - D\cdot U_{2n+1}(P,-1)^2 = -4.</math> | :<math>V_{2n+1}(P,-1)^2 - D\cdot U_{2n+1}(P,-1)^2 = -4.</math> | ||
=== विभिन्न मापदंडों के साथ अनुक्रमों के | === विभिन्न मापदंडों के साथ अनुक्रमों के मध्य संबंध === | ||
*किसी भी संख्या c के लिए, अनुक्रम <math>U_n(P', Q')</math> और <math>V_n(P', Q')</math> साथ | *किसी भी संख्या c के लिए, अनुक्रम <math>U_n(P', Q')</math> और <math>V_n(P', Q')</math> के साथ | ||
::<math> P' = P + 2c </math> | ::<math> P' = P + 2c </math> | ||
::<math> Q' = cP + Q + c^2 </math> | ::<math> Q' = cP + Q + c^2 </math> | ||
:के समान विभेदक | :के समान विभेदक <math>U_n(P, Q)</math> और <math>V_n(P, Q)</math> होता है : | ||
:: <math>P'^2 - 4Q' = (P+2c)^2 - 4(cP + Q + c^2) = P^2 - 4Q = D.</math> | :: <math>P'^2 - 4Q' = (P+2c)^2 - 4(cP + Q + c^2) = P^2 - 4Q = D.</math> | ||
*किसी भी संख्या c के लिए, हमारे पास भी है | ::* किसी भी संख्या c के लिए, हमारे पास भी निम्न समीकरण होता है | ||
:: <math>U_n(cP,c^2Q) = c^{n-1}\cdot U_n(P,Q),</math> | ::<math>U_n(cP,c^2Q) = c^{n-1}\cdot U_n(P,Q),</math> | ||
:: <math>V_n(cP,c^2Q) = c^n\cdot V_n(P,Q).</math> | :: <math>V_n(cP,c^2Q) = c^n\cdot V_n(P,Q).</math> | ||
=== अन्य संबंध === | === अन्य संबंध === | ||
लुकास अनुक्रमों की | लुकास अनुक्रमों की स्थिति उन संबंधों को संतुष्ट करती हैं जो फाइबोनैचि संख्याओं के मध्य <math>F_n=U_n(1,-1)</math> और लुकास संख्याएँ <math>L_n=V_n(1,-1)</math> के सामान्यीकरण होता है। उदाहरण के लिए: | ||
:<math> | :<math> | ||
\begin{array}{r|l} | \begin{array}{r|l} | ||
Line 156: | Line 157: | ||
=== विभाज्यता गुण === | === विभाज्यता गुण === | ||
परिणामों में | परिणामों में सम्मिलित <math>U_{km}(P,Q)</math><math>U_m(P,Q)</math> का गुणज होता है, अर्थात्, अनुक्रम <math>(U_m(P,Q))_{m\ge1}</math>एक [[विभाज्यता क्रम]] होता है। इसका तात्पर्य, विशेष रूप से, जब <math>U_n(P,Q)</math> मात्र तभी [[अभाज्य संख्या]] हो सकती है जब n अभाज्य हो। अन्य परिणाम [[वर्ग द्वारा घातांक]] का अनुरूप होता है जो शीघ्रता से गणना की अनुमति देता है <math>U_n(P,Q)</math> n के बड़े मानों के लिए होता है।इसके अतिरिक्त, यदि <math>\gcd(P,Q)=1</math> होता है, तब <math>(U_m(P,Q))_{m\ge1}</math> विभाज्यता क्रम होता है। | ||
[[विभाज्यता क्रम]] | |||
अन्य परिणाम [[वर्ग द्वारा घातांक]] का | |||
अन्य विभाज्यता गुण इस प्रकार हैं:<ref>For such relations and divisibility properties, see {{harv|Carmichael|1913}}, {{harv|Lehmer|1930}} or {{harv|Ribenboim|1996|loc=2.IV}}.</ref> | अन्य विभाज्यता गुण इस प्रकार हैं:<ref>For such relations and divisibility properties, see {{harv|Carmichael|1913}}, {{harv|Lehmer|1930}} or {{harv|Ribenboim|1996|loc=2.IV}}.</ref> | ||
* अगर <math>n \mid m</math> तो | * अगर <math>n \mid m</math> तो विषम होता है तो <math>V_m</math> विभाजित <math>V_n</math> होता है। | ||
*मान लीजिए N, 2Q के सापेक्ष अभाज्य पूर्णांक है। यदि सबसे छोटा धनात्मक पूर्णांक r जिसके लिए N विभाजित होता है <math>U_r</math> | *मान लीजिए N, 2Q के सापेक्ष अभाज्य पूर्णांक है। यदि सबसे छोटा धनात्मक पूर्णांक r जिसके लिए N विभाजित होता है <math>U_r</math> उपस्थिति है, तो n का वह समुच्चय जिसके लिए N विभाजित होता है <math>U_n</math> अवश्य r के गुणजों का समुच्चय होता है। | ||
* यदि P और Q समता (गणित) हैं, तो <math>U_n, V_n</math> को छोड़कर सदैव सम होते हैं <math>U_1</math>. | * यदि P और Q समता (गणित) हैं, तो <math>U_n, V_n</math> को छोड़कर सदैव सम होते हैं <math>U_1</math>. | ||
* यदि P सम है और Q विषम है, तो समता (गणित) की <math>U_n</math> n और | * यदि P सम है और Q विषम है, तो समता (गणित) की <math>U_n</math> n और <math>V_n</math> के समान होते है जो सदैव सम रहता है। | ||
* यदि P विषम है और Q सम है, तो <math>U_n, V_n</math> | * यदि P विषम है और Q सम है, तो <math>U_n, V_n</math> सदैव <math>n=1, 2, \ldots</math> के लिए विषम होते हैं . | ||
* यदि P और Q विषम हैं, तो <math>U_n, V_n</math> सम हैं यदि और | * यदि P और Q विषम हैं, तो <math>U_n, V_n</math> सम होता हैं यदि और मात्र यदि n, 3 का गुणज होता है। | ||
* यदि p विषम अभाज्य है, तो <math>U_p\equiv\left(\tfrac{D}{p}\right), V_p\equiv P\pmod{p}</math> (लेजेन्ड्रे प्रतीक देखें)। | * यदि p विषम अभाज्य है, तो <math>U_p\equiv\left(\tfrac{D}{p}\right), V_p\equiv P\pmod{p}</math> होता है (लेजेन्ड्रे प्रतीक देखें)। | ||
* यदि p विषम अभाज्य है और P और Q को विभाजित करता है, तो p | * यदि p विषम अभाज्य है और P और Q को विभाजित करता है, तो p प्रत्येक <math>n>1</math> पर <math>U_n</math> से विभाजित होता है। | ||
* यदि p विषम अभाज्य है और P को विभाजित करता है लेकिन Q को नहीं, तो p | * यदि p विषम अभाज्य है और P को विभाजित करता है लेकिन Q को नहीं, तो p <math>U_n</math> को विभाजित करता है यदि और मात्र यदि n सम होता है। | ||
* यदि p विषम अभाज्य है और P को नहीं | * यदि p विषम अभाज्य है और P को नहीं जबकि Q को विभाजित करता है, तो p कभी भी <math>n=1, 2, \ldots</math> के लिए <math>U_n</math> से विभाजित नहीं होता है। . | ||
* यदि p विषम अभाज्य है और PQ को नहीं बल्कि D को विभाजित करता है, तो p विभाजित होता है <math>U_n</math> यदि और | * यदि p विषम अभाज्य है और PQ को नहीं बल्कि D को विभाजित करता है, तो p विभाजित होता है <math>U_n</math> यदि और मात्र यदि p, n को विभाजित करता है। | ||
* यदि p विषम अभाज्य है और PQD को विभाजित नहीं करता है, तो p | * यदि p विषम अभाज्य है और PQD को विभाजित नहीं करता है, तो p <math>U_l</math> से विभाजित होता है, जहाँ <math>l=p-\left(\tfrac{D}{p}\right)</math>होता है। | ||
अंतिम तथ्य फ़र्मेट के छोटे प्रमेय का सामान्यीकरण करता है। इन तथ्यों का उपयोग लुकास-लेहमर प्राइमलिटी परीक्षण में किया जाता है। | अंतिम तथ्य फ़र्मेट के छोटे प्रमेय का सामान्यीकरण करता है। इन तथ्यों का उपयोग लुकास-लेहमर प्राइमलिटी परीक्षण में किया जाता है। अंतिम तथ्य का व्युत्क्रम (तर्क) मान्य नहीं होता है, जैसे फ़र्मेट के छोटे प्रमेय का व्युत्क्रम मान्य नहीं होता है। D और <math>U_l</math> विभाजक के सापेक्ष भाज्य संख्या n उपस्थिति होता है, जहाँ <math>l=n-\left(\tfrac{D}{n}\right)</math>होता है। ऐसे सम्मिश्रण को [[लुकास स्यूडोप्राइम]] कहा जाता है। | ||
अंतिम तथ्य का व्युत्क्रम (तर्क) मान्य नहीं है, जैसे फ़र्मेट के छोटे प्रमेय का व्युत्क्रम मान्य नहीं है। D और | |||
लुकास अनुक्रम में किसी पद का अभाज्य कारक जो अनुक्रम में किसी भी पहले के पद को विभाजित नहीं करता है उसे | लुकास अनुक्रम में किसी पद का अभाज्य कारक जो अनुक्रम में किसी भी पहले के पद को विभाजित नहीं करता है उसे प्राथमिक कहा जाता है। कारमाइकल के प्रमेय में कहा गया है कि लुकास अनुक्रम में सभी लेकिन सीमित रूप से कई शब्दों में प्राथमिक अभाज्य कारक होता है।<ref name=Yabuta>{{cite journal |last1=Yabuta |first1=M |title=आदिम भाजक पर कारमाइकल के प्रमेय का एक सरल प्रमाण|journal=Fibonacci Quarterly |date=2001 |volume=39 |pages=439–443 |url=http://www.fq.math.ca/Scanned/39-5/yabuta.pdf |access-date=4 October 2018}}</ref> वास्तव में, कारमाइकल (1913) ने दिखाया कि यदि ''D'' धनात्मक होता है और ''n'' 1, 2 या 6 नहीं होता है, तो <math>U_n</math> प्राथमिक अभाज्य कारक होता है। ''D'' नकारात्मक स्थितियों में, बिलु, हनरोट, वाउटियर और मिग्नोटे का अत्यंत परिणाम होता है<ref>{{cite journal | first1=Yuri | last1=Bilu | first2=Guillaume | last2=Hanrot | first3=Paul M. | last3=Voutier | first4=Maurice | last4=Mignotte | title=लुकास और लेहमर संख्याओं के आदिम भाजक का अस्तित्व| journal = J. Reine Angew. Math. | year=2001 | volume=2001 | issue=539 |pages= 75–122 | mr=1863855 | doi=10.1515/crll.2001.080| s2cid=122969549 | url=https://hal.inria.fr/inria-00072867/file/RR-3792.pdf }} | ||
कारमाइकल के प्रमेय में कहा गया है कि लुकास अनुक्रम में सभी लेकिन सीमित रूप से कई शब्दों में | </ref> जो प्रदर्शित करता है कि यदि n > 30, तो <math>U_n</math> प्राथमिक अभाज्य कारक होता है और सभी स्थितियों को निर्धारित करता है <math>U_n</math> कोई प्राथमिक अभाज्य गुणनखंड नहीं होता है। | ||
</ref> | |||
== विशिष्ट नाम == | == विशिष्ट नाम == | ||
Line 187: | Line 183: | ||
:{{math|''U<sub>n</sub>''(1, −1)}} : फाइबोनैचि संख्याएँ | :{{math|''U<sub>n</sub>''(1, −1)}} : फाइबोनैचि संख्याएँ | ||
:{{math|''V<sub>n</sub>''(1, −1)}} : लुकास | :{{math|''V<sub>n</sub>''(1, −1)}} : लुकास संख्याएँ | ||
:{{math|''U<sub>n</sub>''(2, −1)}} : | :{{math|''U<sub>n</sub>''(2, −1)}} : पेलें संख्याएँ | ||
:{{math|''V<sub>n</sub>''(2, −1)}} : पेल-लुकास | :{{math|''V<sub>n</sub>''(2, −1)}} : पेल-लुकास संख्याएँ (साथी पेल संख्याएँ ) | ||
:{{math|''U<sub>n</sub>''(1, −2)}} : जैकबस्थल संख्याएँ | :{{math|''U<sub>n</sub>''(1, −2)}} : जैकबस्थल संख्याएँ | ||
:{{math|''V<sub>n</sub>''(1, −2)}} : जैकबस्थल-लुकास संख्याएँ | :{{math|''V<sub>n</sub>''(1, −2)}} : जैकबस्थल-लुकास संख्याएँ | ||
:{{math|''U<sub>n</sub>''(3, 2)}}: मेर्सन संख्या 2<sup>n</sup>− 1 | :{{math|''U<sub>n</sub>''(3, 2)}}: मेर्सन संख्या 2<sup>n</sup>− 1 | ||
:{{math|''V<sub>n</sub>''(3, 2)}} : फॉर्म के | :{{math|''V<sub>n</sub>''(3, 2)}} : फॉर्म के संख्याएँ 2<sup>n</sup> + 1, जिसमें फ़र्मेट संख्याएँ सम्मिलित हैं<ref name=Yabuta/>:{{math|''U<sub>n</sub>''(6, 1)}} : [[वर्ग त्रिकोणीय संख्या]]ओं का वर्गमूल। | ||
:{{math|''U<sub>n</sub>''(''x'', −1)}} : [[फाइबोनैचि बहुपद]] | :{{math|''U<sub>n</sub>''(''x'', −1)}} : [[फाइबोनैचि बहुपद]] | ||
:{{math|''V<sub>n</sub>''(''x'', −1)}} : [[लुकास बहुपद]] | :{{math|''V<sub>n</sub>''(''x'', −1)}} : [[लुकास बहुपद]] | ||
Line 272: | Line 268: | ||
== अनुप्रयोग == | == अनुप्रयोग == | ||
* लुकास अनुक्रमों का उपयोग संभाव्य लुकास स्यूडोप्राइम परीक्षणों में किया जाता है, जो आमतौर पर इस्तेमाल किए जाने वाले बैली-पीएसडब्ल्यू प्राइमलिटी परीक्षण का हिस्सा हैं। | * लुकास अनुक्रमों का उपयोग संभाव्य लुकास स्यूडोप्राइम परीक्षणों में किया जाता है, जो आमतौर पर इस्तेमाल किए जाने वाले बैली-पीएसडब्ल्यू प्राइमलिटी परीक्षण का हिस्सा हैं। | ||
* लुकास अनुक्रमों का उपयोग कुछ प्रारंभिक प्रमाण विधियों में किया जाता है, जिनमें लुकास-लेहमर-रीज़ल परीक्षण, और एन+1 और हाइब्रिड एन−1/एन+1 विधियां जैसे ब्रिलहार्ट-लेहमर-सेल्फ्रिज 1975 | * लुकास अनुक्रमों का उपयोग कुछ प्रारंभिक प्रमाण विधियों में किया जाता है, जिनमें लुकास-लेहमर-रीज़ल परीक्षण, और एन+1 और हाइब्रिड एन−1/एन+1 विधियां जैसे ब्रिलहार्ट-लेहमर-सेल्फ्रिज 1975 सम्मिलित हैं।<ref name="BLS75">{{ cite journal|author=John Brillhart|author2=Derrick Henry Lehmer|author3-link=John Selfridge|author3=John Selfridge|title=New Primality Criteria and Factorizations of 2<sup>m</sup> ± 1|journal=Mathematics of Computation |volume=29|number=130|date=April 1975|pages=620–647|jstor=2005583|doi=10.1090/S0025-5718-1975-0384673-1|author-link=John Brillhart|author2-link=Derrick Henry Lehmer|doi-access=free}}</ref> | ||
* LUC लुकास अनुक्रमों पर आधारित [[सार्वजनिक-कुंजी क्रिप्टोसिस्टम]] है<ref>{{cite journal |author1=P. J. Smith |author2=M. J. J. Lennon |title=LUC: A new public key system |journal=Proceedings of the Ninth IFIP Int. Symp. On Computer Security |year=1993 |pages=103–117 |citeseerx=10.1.1.32.1835 }}</ref> जो [[एलगमाल]] (LUCELG), डिफी-हेलमैन (LUCDIF), और RSA (एल्गोरिदम) (LUCRSA) के एनालॉग्स को लागू करता है। एलयूसी में संदेश के एन्क्रिप्शन की गणना आरएसए या डिफी-हेलमैन जैसे [[मॉड्यूलर घातांक]] का उपयोग करने के बजाय, कुछ लुकास अनुक्रम के शब्द के रूप में की जाती है। | * LUC लुकास अनुक्रमों पर आधारित [[सार्वजनिक-कुंजी क्रिप्टोसिस्टम]] है<ref>{{cite journal |author1=P. J. Smith |author2=M. J. J. Lennon |title=LUC: A new public key system |journal=Proceedings of the Ninth IFIP Int. Symp. On Computer Security |year=1993 |pages=103–117 |citeseerx=10.1.1.32.1835 }}</ref> जो [[एलगमाल]] (LUCELG), डिफी-हेलमैन (LUCDIF), और RSA (एल्गोरिदम) (LUCRSA) के एनालॉग्स को लागू करता है। एलयूसी में संदेश के एन्क्रिप्शन की गणना आरएसए या डिफी-हेलमैन जैसे [[मॉड्यूलर घातांक]] का उपयोग करने के बजाय, कुछ लुकास अनुक्रम के शब्द के रूप में की जाती है। यघपि , ब्लेइचेनबैकर एट अल द्वारा पेपर।<ref>{{cite journal |author1=D. Bleichenbacher |author2=W. Bosma |author3=A. K. Lenstra |title=लुकास-आधारित क्रिप्टोसिस्टम पर कुछ टिप्पणियाँ|journal=[[Lecture Notes in Computer Science]] |volume=963 |year=1995 |pages=386–396 |doi=10.1007/3-540-44750-4_31 |isbn=978-3-540-60221-7 |url=http://www.math.ru.nl/~bosma/pubs/CRYPTO95.pdf|doi-access=free }}</ref> दर्शाता है कि मॉड्यूलर एक्सपोनेंटिएशन पर आधारित क्रिप्टोसिस्टम पर एलयूसी के कई कथित सुरक्षा लाभ या तो उपस्थिति नहीं हैं, या उतने पर्याप्त नहीं हैं जितना दावा किया गया है। | ||
==यह भी देखें== | ==यह भी देखें== |
Revision as of 00:53, 13 July 2023
गणित में, लुकास अनुक्रम और कुछ स्थिर-पुनरावर्ती अनुक्रम होता है जो पुनरावृत्ति संबंध को संतुष्ट करते हैं
जहाँ और निश्चित पूर्णांक होता हैं। इस पुनरावृत्ति संबंध को संतुष्ट करने वाले किसी भी अनुक्रम को लुकास अनुक्रमों और के रैखिक संयोजन के रूप में प्रदर्शित किया जा सकता है।
अधिक सामान्यतः, लुकास अनुक्रम और में बहुपद के अनुक्रम का प्रतिनिधित्व और पूर्णांक गुणांक के साथ करते हैं।
लुकास अनुक्रमों के प्रसिद्ध उदाहरणों में फाइबोनैचि संख्याएं, मेरसेन संख्याएं, पेल संख्याएं, लुकास संख्याएं, जैकबस्टल संख्याएं और फर्मेट संख्याओं का सुपरसमुच्चय सम्मिलित होता हैं (नीचे देखें)। लुकास अनुक्रमों का नाम फ्रांस के गणितज्ञ एडवर्ड लुकास के नाम पर रखा गया था।
पुनरावृत्ति संबंध
दो पूर्णांक पैरामीटर और दिए गएदिए गए है,पहली तरह के लुकास अनुक्रम और दूसरे प्रकार का पुनरावृत्ति संबंधों द्वारा परिभाषित किया जाता हैं:
और
इसे प्रदर्शित करना कठिन नहीं होता है ,
उपरोक्त संबंधों का आव्युह रूप में इस प्रकार वर्णित किया जा सकता है:
उदाहरण
लुकास अनुक्रमों की प्रारंभिक स्थितियां और तालिका में निम्न प्रकार दिए गए हैं:
स्पष्ट अभिव्यक्ति
लुकास अनुक्रमों के लिए पुनरावृत्ति संबंध का विशिष्ट समीकरण और होता है:
इसमें विभेदक होता और बहुपद का मूल निम्न प्रकार है:
इस प्रकार:
ध्यान दें कि क्रम और क्रम पुनरावृत्ति संबंध को भी संतुष्ट करें। यघपि ये पूर्णांक अनुक्रम नहीं हो सकते हैं।
विशिष्ट जड़ें
जब , a और b भिन्न-भिन्न होता हैं और कोई भी इसे शीघ्रता से सत्यापित कर सकता है
इससे यह पता चलता है कि लुकास अनुक्रमों की स्थितियों को a और b के संदर्भ में निम्नानुसार व्यक्त किया जा सकता है
दोहराया गया जड़ें
स्थिति मात्र तब होता है जब कुछ पूर्णांक S के लिए होता जिससे होता है। इस स्थति में कोई भी इसे सरलता से प्राप्त कर सकते है
गुण
कार्य उत्पन्न करना
सामान्य जनरेटिंग फलन निम्न प्रकार होता हैं
पेल समीकरण
कब , लुकास अनुक्रम और कुछ पेल समीकरण को संतुष्ट करें:
विभिन्न मापदंडों के साथ अनुक्रमों के मध्य संबंध
- किसी भी संख्या c के लिए, अनुक्रम और के साथ
- के समान विभेदक और होता है :
-
- किसी भी संख्या c के लिए, हमारे पास भी निम्न समीकरण होता है
-
अन्य संबंध
लुकास अनुक्रमों की स्थिति उन संबंधों को संतुष्ट करती हैं जो फाइबोनैचि संख्याओं के मध्य और लुकास संख्याएँ के सामान्यीकरण होता है। उदाहरण के लिए:
विभाज्यता गुण
परिणामों में सम्मिलित का गुणज होता है, अर्थात्, अनुक्रम एक विभाज्यता क्रम होता है। इसका तात्पर्य, विशेष रूप से, जब मात्र तभी अभाज्य संख्या हो सकती है जब n अभाज्य हो। अन्य परिणाम वर्ग द्वारा घातांक का अनुरूप होता है जो शीघ्रता से गणना की अनुमति देता है n के बड़े मानों के लिए होता है।इसके अतिरिक्त, यदि होता है, तब विभाज्यता क्रम होता है।
अन्य विभाज्यता गुण इस प्रकार हैं:[1]
- अगर तो विषम होता है तो विभाजित होता है।
- मान लीजिए N, 2Q के सापेक्ष अभाज्य पूर्णांक है। यदि सबसे छोटा धनात्मक पूर्णांक r जिसके लिए N विभाजित होता है उपस्थिति है, तो n का वह समुच्चय जिसके लिए N विभाजित होता है अवश्य r के गुणजों का समुच्चय होता है।
- यदि P और Q समता (गणित) हैं, तो को छोड़कर सदैव सम होते हैं .
- यदि P सम है और Q विषम है, तो समता (गणित) की n और के समान होते है जो सदैव सम रहता है।
- यदि P विषम है और Q सम है, तो सदैव के लिए विषम होते हैं .
- यदि P और Q विषम हैं, तो सम होता हैं यदि और मात्र यदि n, 3 का गुणज होता है।
- यदि p विषम अभाज्य है, तो होता है (लेजेन्ड्रे प्रतीक देखें)।
- यदि p विषम अभाज्य है और P और Q को विभाजित करता है, तो p प्रत्येक पर से विभाजित होता है।
- यदि p विषम अभाज्य है और P को विभाजित करता है लेकिन Q को नहीं, तो p को विभाजित करता है यदि और मात्र यदि n सम होता है।
- यदि p विषम अभाज्य है और P को नहीं जबकि Q को विभाजित करता है, तो p कभी भी के लिए से विभाजित नहीं होता है। .
- यदि p विषम अभाज्य है और PQ को नहीं बल्कि D को विभाजित करता है, तो p विभाजित होता है यदि और मात्र यदि p, n को विभाजित करता है।
- यदि p विषम अभाज्य है और PQD को विभाजित नहीं करता है, तो p से विभाजित होता है, जहाँ होता है।
अंतिम तथ्य फ़र्मेट के छोटे प्रमेय का सामान्यीकरण करता है। इन तथ्यों का उपयोग लुकास-लेहमर प्राइमलिटी परीक्षण में किया जाता है। अंतिम तथ्य का व्युत्क्रम (तर्क) मान्य नहीं होता है, जैसे फ़र्मेट के छोटे प्रमेय का व्युत्क्रम मान्य नहीं होता है। D और विभाजक के सापेक्ष भाज्य संख्या n उपस्थिति होता है, जहाँ होता है। ऐसे सम्मिश्रण को लुकास स्यूडोप्राइम कहा जाता है।
लुकास अनुक्रम में किसी पद का अभाज्य कारक जो अनुक्रम में किसी भी पहले के पद को विभाजित नहीं करता है उसे प्राथमिक कहा जाता है। कारमाइकल के प्रमेय में कहा गया है कि लुकास अनुक्रम में सभी लेकिन सीमित रूप से कई शब्दों में प्राथमिक अभाज्य कारक होता है।[2] वास्तव में, कारमाइकल (1913) ने दिखाया कि यदि D धनात्मक होता है और n 1, 2 या 6 नहीं होता है, तो प्राथमिक अभाज्य कारक होता है। D नकारात्मक स्थितियों में, बिलु, हनरोट, वाउटियर और मिग्नोटे का अत्यंत परिणाम होता है[3] जो प्रदर्शित करता है कि यदि n > 30, तो प्राथमिक अभाज्य कारक होता है और सभी स्थितियों को निर्धारित करता है कोई प्राथमिक अभाज्य गुणनखंड नहीं होता है।
विशिष्ट नाम
P और Q के कुछ मानों के लिए लुकास अनुक्रमों के विशिष्ट नाम हैं:
- Un(1, −1) : फाइबोनैचि संख्याएँ
- Vn(1, −1) : लुकास संख्याएँ
- Un(2, −1) : पेलें संख्याएँ
- Vn(2, −1) : पेल-लुकास संख्याएँ (साथी पेल संख्याएँ )
- Un(1, −2) : जैकबस्थल संख्याएँ
- Vn(1, −2) : जैकबस्थल-लुकास संख्याएँ
- Un(3, 2): मेर्सन संख्या 2n− 1
- Vn(3, 2) : फॉर्म के संख्याएँ 2n + 1, जिसमें फ़र्मेट संख्याएँ सम्मिलित हैं[2]:Un(6, 1) : वर्ग त्रिकोणीय संख्याओं का वर्गमूल।
- Un(x, −1) : फाइबोनैचि बहुपद
- Vn(x, −1) : लुकास बहुपद
- Un(2x, 1) : दूसरी तरह के चेबीशेव बहुपद
- Vn(2x, 1) : पहली तरह के चेबीशेव बहुपद को 2 से गुणा किया गया
- Un(x+1, x) : आधार x में पुनर्पुनित करता है
- Vn(x+1, x) : एक्सn + 1
कुछ लुकास अनुक्रमों की पूर्णांक अनुक्रमों के ऑन-लाइन विश्वकोश में प्रविष्टियाँ हैं:
−1 3 OEIS: A214733 1 −1 OEIS: A000045 OEIS: A000032 1 1 OEIS: A128834 OEIS: A087204 1 2 OEIS: A107920 OEIS: A002249 2 −1 OEIS: A000129 OEIS: A002203 2 1 OEIS: A001477 2 2 OEIS: A009545 OEIS: A007395 2 3 OEIS: A088137 2 4 OEIS: A088138 2 5 OEIS: A045873 3 −5 OEIS: A015523 OEIS: A072263 3 −4 OEIS: A015521 OEIS: A201455 3 −3 OEIS: A030195 OEIS: A172012 3 −2 OEIS: A007482 OEIS: A206776 3 −1 OEIS: A006190 OEIS: A006497 3 1 OEIS: A001906 OEIS: A005248 3 2 OEIS: A000225 OEIS: A000051 3 5 OEIS: A190959 4 −3 OEIS: A015530 OEIS: A080042 4 −2 OEIS: A090017 4 −1 OEIS: A001076 OEIS: A014448 4 1 OEIS: A001353 OEIS: A003500 4 2 OEIS: A007070 OEIS: A056236 4 3 OEIS: A003462 OEIS: A034472 4 4 OEIS: A001787 5 −3 OEIS: A015536 5 −2 OEIS: A015535 5 −1 OEIS: A052918 OEIS: A087130 5 1 OEIS: A004254 OEIS: A003501 5 4 OEIS: A002450 OEIS: A052539 6 1 OEIS: A001109 OEIS: A003499
अनुप्रयोग
- लुकास अनुक्रमों का उपयोग संभाव्य लुकास स्यूडोप्राइम परीक्षणों में किया जाता है, जो आमतौर पर इस्तेमाल किए जाने वाले बैली-पीएसडब्ल्यू प्राइमलिटी परीक्षण का हिस्सा हैं।
- लुकास अनुक्रमों का उपयोग कुछ प्रारंभिक प्रमाण विधियों में किया जाता है, जिनमें लुकास-लेहमर-रीज़ल परीक्षण, और एन+1 और हाइब्रिड एन−1/एन+1 विधियां जैसे ब्रिलहार्ट-लेहमर-सेल्फ्रिज 1975 सम्मिलित हैं।[4]
- LUC लुकास अनुक्रमों पर आधारित सार्वजनिक-कुंजी क्रिप्टोसिस्टम है[5] जो एलगमाल (LUCELG), डिफी-हेलमैन (LUCDIF), और RSA (एल्गोरिदम) (LUCRSA) के एनालॉग्स को लागू करता है। एलयूसी में संदेश के एन्क्रिप्शन की गणना आरएसए या डिफी-हेलमैन जैसे मॉड्यूलर घातांक का उपयोग करने के बजाय, कुछ लुकास अनुक्रम के शब्द के रूप में की जाती है। यघपि , ब्लेइचेनबैकर एट अल द्वारा पेपर।[6] दर्शाता है कि मॉड्यूलर एक्सपोनेंटिएशन पर आधारित क्रिप्टोसिस्टम पर एलयूसी के कई कथित सुरक्षा लाभ या तो उपस्थिति नहीं हैं, या उतने पर्याप्त नहीं हैं जितना दावा किया गया है।
यह भी देखें
- लुकास स्यूडोप्राइम
- फ्रोबेनियस स्यूडोप्राइम
- सोमर-लुकास स्यूडोप्राइम
टिप्पणियाँ
- ↑ For such relations and divisibility properties, see (Carmichael 1913), (Lehmer 1930) or (Ribenboim 1996, 2.IV).
- ↑ 2.0 2.1 Yabuta, M (2001). "आदिम भाजक पर कारमाइकल के प्रमेय का एक सरल प्रमाण" (PDF). Fibonacci Quarterly. 39: 439–443. Retrieved 4 October 2018.
- ↑ Bilu, Yuri; Hanrot, Guillaume; Voutier, Paul M.; Mignotte, Maurice (2001). "लुकास और लेहमर संख्याओं के आदिम भाजक का अस्तित्व" (PDF). J. Reine Angew. Math. 2001 (539): 75–122. doi:10.1515/crll.2001.080. MR 1863855. S2CID 122969549.
- ↑ John Brillhart; Derrick Henry Lehmer; John Selfridge (April 1975). "New Primality Criteria and Factorizations of 2m ± 1". Mathematics of Computation. 29 (130): 620–647. doi:10.1090/S0025-5718-1975-0384673-1. JSTOR 2005583.
- ↑ P. J. Smith; M. J. J. Lennon (1993). "LUC: A new public key system". Proceedings of the Ninth IFIP Int. Symp. On Computer Security: 103–117. CiteSeerX 10.1.1.32.1835.
- ↑ D. Bleichenbacher; W. Bosma; A. K. Lenstra (1995). "लुकास-आधारित क्रिप्टोसिस्टम पर कुछ टिप्पणियाँ" (PDF). Lecture Notes in Computer Science. 963: 386–396. doi:10.1007/3-540-44750-4_31. ISBN 978-3-540-60221-7.
संदर्भ
- Carmichael, R. D. (1913), "On the numerical factors of the arithmetic forms αn±βn", Annals of Mathematics, 15 (1/4): 30–70, doi:10.2307/1967797, JSTOR 1967797
- Lehmer, D. H. (1930). "An extended theory of Lucas' functions". Annals of Mathematics. 31 (3): 419–448. Bibcode:1930AnMat..31..419L. doi:10.2307/1968235. JSTOR 1968235.
- Ward, Morgan (1954). "Prime divisors of second order recurring sequences". Duke Math. J. 21 (4): 607–614. doi:10.1215/S0012-7094-54-02163-8. hdl:10338.dmlcz/137477. MR 0064073.
- Somer, Lawrence (1980). "The divisibility properties of primary Lucas Recurrences with respect to primes" (PDF). Fibonacci Quarterly. 18: 316.
- Lagarias, J. C. (1985). "The set of primes dividing Lucas Numbers has density 2/3". Pac. J. Math. 118 (2): 449–461. doi:10.2140/pjm.1985.118.449. MR 0789184.
- Hans Riesel (1994). Prime Numbers and Computer Methods for Factorization. Progress in Mathematics. Vol. 126 (2nd ed.). Birkhäuser. pp. 107–121. ISBN 0-8176-3743-5.
- Ribenboim, Paulo; McDaniel, Wayne L. (1996). "The square terms in Lucas Sequences". J. Number Theory. 58 (1): 104–123. doi:10.1006/jnth.1996.0068.
- Joye, M.; Quisquater, J.-J. (1996). "Efficient computation of full Lucas sequences" (PDF). Electronics Letters. 32 (6): 537–538. Bibcode:1996ElL....32..537J. doi:10.1049/el:19960359. Archived from the original (PDF) on 2015-02-02.
- Ribenboim, Paulo (1996). The New Book of Prime Number Records (eBook ed.). Springer-Verlag, New York. doi:10.1007/978-1-4612-0759-7. ISBN 978-1-4612-0759-7.
- Ribenboim, Paulo (2000). My Numbers, My Friends: Popular Lectures on Number Theory. New York: Springer-Verlag. pp. 1–50. ISBN 0-387-98911-0.
- Luca, Florian (2000). "Perfect Fibonacci and Lucas numbers". Rend. Circ Matem. Palermo. 49 (2): 313–318. doi:10.1007/BF02904236. S2CID 121789033.
- Yabuta, M. (2001). "A simple proof of Carmichael's theorem on primitive divisors" (PDF). Fibonacci Quarterly. 39: 439–443.
- Benjamin, Arthur T.; Quinn, Jennifer J. (2003). Proofs that Really Count: The Art of Combinatorial Proof. Dolciani Mathematical Expositions. Vol. 27. Mathematical Association of America. p. 35. ISBN 978-0-88385-333-7.
- Lucas sequence at Encyclopedia of Mathematics.
- Weisstein, Eric W. "Lucas Sequence". MathWorld.
- Wei Dai. "Lucas Sequences in Cryptography".