लुकास अनुक्रम: 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>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>U_n(P, Q)</math> और <math>V_n(P, Q)</math> में [[बहुपद]] के अनुक्रम का प्रतिनिधित्व <math>P</math> और <math>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 67: | Line 67: | ||
लुकास अनुक्रमों के लिए पुनरावृत्ति संबंध का विशिष्ट समीकरण <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 73: | 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'' और | जब <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> | ||
Line 85: | Line 85: | ||
:<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> D=0 </math> मात्र तब होता है जब <math> P=2S \text{ औ र }Q=S^2</math> कुछ पूर्णांक S के लिए होता जिससे <math>a=b=S</math> होता है। इस स्थति में कोई भी इसे सरलता से प्राप्त कर सकते है | ||
Line 113: | Line 113: | ||
::<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>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 के लिए, हमारे पास भी निम्न समीकरण होता है | ||
Line 120: | Line 120: | ||
=== अन्य संबंध === | === अन्य संबंध === | ||
लुकास अनुक्रमों की स्थिति उन संबंधों को संतुष्ट करती हैं जो फाइबोनैचि संख्याओं के मध्य | लुकास अनुक्रमों की स्थिति उन संबंधों को संतुष्ट करती हैं जो फाइबोनैचि संख्याओं के मध्य <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 161: | Line 161: | ||
अन्य विभाज्यता गुण इस प्रकार हैं:<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>V_m</math> विभाजित <math>V_n</math> होता है। | * अगर <math>n \mid m</math> तो विषम होता है तो <math>V_m</math> विभाजित <math>V_n</math> होता है। | ||
*मान लीजिए N, 2Q के सापेक्ष अभाज्य पूर्णांक है। यदि सबसे छोटा धनात्मक पूर्णांक r जिसके लिए N विभाजित होता है | *मान लीजिए N, 2Q के सापेक्ष अभाज्य पूर्णांक है। यदि सबसे छोटा धनात्मक पूर्णांक r जिसके लिए N विभाजित होता है <math>U_r</math> उपस्थिति है, तो n का वह समुच्चय जिसके लिए N विभाजित होता है <math>U_n</math> अवश्य r के गुणजों का समुच्चय होता है। | ||
* यदि P और Q समता (गणित) हैं, तो <math>U_n, V_n</math> को छोड़कर | * यदि P और Q समता (गणित) हैं, तो <math>U_n, V_n</math> को छोड़कर <math>U_1</math>सदैव सम होते हैं। | ||
* यदि P सम है और Q विषम है, तो समता (गणित) की <math>U_n</math> n और <math>V_n</math> के समान होते है जो सदैव सम रहता है। | * यदि P सम है और Q विषम है, तो समता (गणित) की <math>U_n</math> n और <math>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> सदैव <math>n=1, 2, \ldots</math> के लिए विषम होते हैं। | ||
* यदि P और Q विषम हैं, तो <math>U_n, V_n</math> सम होता हैं यदि और मात्र यदि n, 3 का गुणज होता है। | * यदि 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 <math>U_n</math> को विभाजित करता है | * यदि p विषम अभाज्य है और P को विभाजित करता है लेकिन Q को नहीं, तो p <math>U_n</math> को विभाजित करता है यदि और मात्र यदि n सम होता है। | ||
* यदि p विषम अभाज्य है और P को नहीं जबकि Q को विभाजित करता है, तो p कभी भी <math>n=1, 2, \ldots</math> के लिए <math>U_n</math> से विभाजित नहीं होता है। | * यदि 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 <math>U_l</math> से विभाजित होता है, जहाँ <math>l=p-\left(\tfrac{D}{p}\right)</math>होता है। | * यदि 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>होता है। ऐसे सम्मिश्रण को [[लुकास स्यूडोप्राइम|लुकास स्यूडोअभाज्य]] कहा जाता है। | ||
लुकास अनुक्रम में किसी पद का अभाज्य कारक जो अनुक्रम में किसी भी पहले के पद को विभाजित नहीं करता है उसे प्राथमिक कहा जाता है। कारमाइकल के प्रमेय में कहा गया है कि लुकास अनुक्रम में सभी लेकिन सीमित रूप से कई शब्दों में प्राथमिक अभाज्य कारक होता है।<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 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> जो प्रदर्शित करता है कि यदि n > 30, तो <math>U_n</math> प्राथमिक अभाज्य कारक होता है और सभी स्थितियों को निर्धारित करता है <math>U_n</math> कोई प्राथमिक अभाज्य गुणनखंड नहीं होता है। | ||
== विशिष्ट नाम == | == विशिष्ट नाम == | ||
Line 183: | 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)}} : [[लुकास बहुपद]] | ||
:{{math|''U<sub>n</sub>''(2''x'', 1)}} : दूसरी तरह के [[चेबीशेव बहुपद]] | :{{math|''U<sub>n</sub>''(2''x'', 1)}} : दूसरी तरह के [[चेबीशेव बहुपद]] | ||
:{{math|''V<sub>n</sub>''(2''x'', 1)}} : | :{{math|''V<sub>n</sub>''(2''x'', 1)}} : प्रथम प्रकार के चेबीशेव बहुपद को 2 से गुणा किया गया | ||
:{{math|''U<sub>n</sub>''(''x''+1, ''x'')}} : आधार x में | :{{math|''U<sub>n</sub>''(''x''+1, ''x'')}} : आधार x में पुनःपुनित करता है | ||
:{{math|''V<sub>n</sub>''(''x''+1, ''x'')}} : | :{{math|''V<sub>n</sub>''(''x''+1, ''x'')}} : ''x<sup>n</sup>'' + 1 | ||
कुछ लुकास अनुक्रमों की पूर्णांक अनुक्रमों के ऑन-लाइन विश्वकोश में प्रविष्टियाँ हैं: | कुछ लुकास अनुक्रमों की पूर्णांक अनुक्रमों के ऑन-लाइन विश्वकोश में प्रविष्टियाँ निम्न प्रकार हैं: | ||
:{|class="wikitable" style="background: #fff" | :{|class="wikitable" style="background: #fff" | ||
Line 267: | Line 268: | ||
== अनुप्रयोग == | == अनुप्रयोग == | ||
* लुकास अनुक्रमों का उपयोग संभाव्य लुकास | * लुकास अनुक्रमों का उपयोग संभाव्य लुकास स्यूडोअभाज्य परीक्षणों में किया जाता है, जो सामान्यतः प्रयोग किए जाने वाले बैली-पीएसडब्ल्यू प्रारंभिक परीक्षण का भाग होता हैं। | ||
* लुकास अनुक्रमों का उपयोग कुछ प्रारंभिक प्रमाण विधियों में किया जाता है, जिनमें लुकास-लेहमर-रीज़ल परीक्षण, और | * लुकास अनुक्रमों का उपयोग कुछ प्रारंभिक प्रमाण विधियों में किया जाता है, जिनमें लुकास-लेहमर-रीज़ल परीक्षण, और N+1और संकर N−1/N+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> | ||
* | * एलयूसी लुकास अनुक्रमों पर आधारित [[सार्वजनिक-कुंजी क्रिप्टोसिस्टम|सार्वजनिक-कुंजी क्रिप्टोप्रणाली]] है<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 01:39, 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) : xn + 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
अनुप्रयोग
- लुकास अनुक्रमों का उपयोग संभाव्य लुकास स्यूडोअभाज्य परीक्षणों में किया जाता है, जो सामान्यतः प्रयोग किए जाने वाले बैली-पीएसडब्ल्यू प्रारंभिक परीक्षण का भाग होता हैं।
- लुकास अनुक्रमों का उपयोग कुछ प्रारंभिक प्रमाण विधियों में किया जाता है, जिनमें लुकास-लेहमर-रीज़ल परीक्षण, और N+1और संकर N−1/N+1 विधियां जैसे ब्रिलहार्ट-लेहमर-सेल्फ्रिज 1975 सम्मिलित होता हैं।[4]
- एलयूसी लुकास अनुक्रमों पर आधारित सार्वजनिक-कुंजी क्रिप्टोप्रणाली है[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".