सोफी जर्मेन की पहचान: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Factorization of sum of fourth powers}} | {{Short description|Factorization of sum of fourth powers}} | ||
{{about| | {{about|एक बहुपद पहचान जिसका श्रेय सोफी जर्मेन को दिया जाता है|जर्मेन द्वारा प्रयुक्त छद्म नाम की पहचान|एंटोनी-अगस्टे ले ब्लैंक}} | ||
गणित में, [[सोफी जर्मेन]] की पहचान एक बहुपद गुणनखंड है जिसका नाम सोफी जर्मेन के नाम पर रखा गया है, जिसमें कहा गया है | गणित में, [[सोफी जर्मेन]] की पहचान एक बहुपद गुणनखंड है जिसका नाम सोफी जर्मेन के नाम पर रखा गया है, जिसमें कहा गया है | ||
<math display=block> | <math display=block> | ||
Line 7: | Line 7: | ||
&= (x^2 + 2xy + 2y^2)\cdot(x^2 - 2xy + 2y^2). | &= (x^2 + 2xy + 2y^2)\cdot(x^2 - 2xy + 2y^2). | ||
\end{align}</math> | \end{align}</math> | ||
प्रारंभिक बीजगणित में इसके उपयोग के अतिरिक्त , इसका उपयोग विशेष रूप <math>x^4+4y^4</math> के पूर्णांकों को गुणनखंडित करने के लिए संख्या सिद्धांत में भी किया जा सकता है, और यह अधिकांशतः गणित प्रतियोगिताओं में समस्याओं का आधार बनता है।{{r|mgc|crux|engel}} | |||
==इतिहास== | ==इतिहास== | ||
चूँकि इस पहचान का श्रेय सोफी जर्मेन को दिया गया है, किंतु यह उनके कार्यों में दिखाई नहीं देता है। इसके अतिरिक्त , उनके कार्यों में संबंधित पहचान पाई जा सकती है{{r|lss|totd}} | |||
<math display=block> | <math display=block> | ||
\begin{align} | \begin{align} | ||
Line 16: | Line 18: | ||
&= (x^2+y^2)^2-2(xy)^2.\\ | &= (x^2+y^2)^2-2(xy)^2.\\ | ||
\end{align}</math> | \end{align}</math> | ||
<math>y</math> को <math>\sqrt2</math> से गुणा करके इस समीकरण को संशोधित करने से प्राप्त होता है | |||
<math display=block> | <math display=block> | ||
x^4+4y^4 = (x^2+2y^2)^2-4(xy)^2, | x^4+4y^4 = (x^2+2y^2)^2-4(xy)^2, | ||
Line 22: | Line 24: | ||
[[दो वर्गों का अंतर]], जिससे जर्मेन की पहचान होती है।{{r|totd}} जर्मेन को इस पहचान का गलत श्रेय [[लियोनार्ड यूजीन डिक्सन]] ने अपने [[संख्याओं के सिद्धांत का इतिहास]] में दिया था, जिसमें यह भी कहा गया था (समान रूप से गलत) कि यह [[लियोनहार्ड यूलर]] के [[क्रिश्चियन गोल्डबैक]] को लिखे एक पत्र में पाया जा सकता है।{{r|totd|dickson}} | [[दो वर्गों का अंतर]], जिससे जर्मेन की पहचान होती है।{{r|totd}} जर्मेन को इस पहचान का गलत श्रेय [[लियोनार्ड यूजीन डिक्सन]] ने अपने [[संख्याओं के सिद्धांत का इतिहास]] में दिया था, जिसमें यह भी कहा गया था (समान रूप से गलत) कि यह [[लियोनहार्ड यूलर]] के [[क्रिश्चियन गोल्डबैक]] को लिखे एक पत्र में पाया जा सकता है।{{r|totd|dickson}} | ||
पहचान को केवल गुणनखंडन के दो शब्दों को एक साथ गुणा करके और यह सत्यापित करके सिद्ध किया जा सकता है कि उनका उत्पाद समानता के दाहिने हाथ के | पहचान को केवल गुणनखंडन के दो शब्दों को एक साथ गुणा करके और यह सत्यापित करके सिद्ध किया जा सकता है कि उनका उत्पाद समानता के दाहिने हाथ के समान है।{{r|cut}} [[पाइथागोरस प्रमेय]] के अनेक अनुप्रयोगों के आधार पर शब्दों के बिना भी प्रमाण संभव है।{{r|mgc}} | ||
==पूर्णांक गुणनखंडन के लिए अनुप्रयोग== | ==पूर्णांक गुणनखंडन के लिए अनुप्रयोग== | ||
जर्मेन की पहचान का एक परिणाम यह है कि प्रपत्र की संख्याएँ | जर्मेन की पहचान का एक परिणाम यह है कि प्रपत्र की संख्याएँ | ||
<math display=block>n^4+4^n</math> | <math display=block>n^4+4^n</math> | ||
<math>n>1</math> के लिए अभाज्य नहीं हो सकता। (<math>n=1</math> के लिए, परिणाम अभाज्य संख्या 5 है।) यदि <math>n</math> सम है तो वे स्पष्ट रूप से अभाज्य नहीं हैं, और यदि <math>n</math> विषम है तो उनके पास <math>x=n</math> और <math>y=2^{(n-1)/2}</math> के साथ पहचान द्वारा दिया गया एक गुणनखंड है।.{{r|engel|cut}} ये संख्याएँ (<math>n=0</math> से प्रारंभ होकर) पूर्णांक अनुक्रम बनाती हैं | |||
{{bi|left=1.6|1, 5, 32, 145, 512, 1649, 5392, 18785, 69632, ... {{OEIS|A001589}}.}} | {{bi|left=1.6|1, 5, 32, 145, 512, 1649, 5392, 18785, 69632, ... {{OEIS|A001589}}.}} | ||
गणित प्रतियोगिताओं में सोफी जर्मेन की पहचान की कई झलकें इसी के परिणाम स्वरूप सामने आती हैं।{{r|crux|engel}} | गणित प्रतियोगिताओं में सोफी जर्मेन की पहचान की कई झलकें इसी के परिणाम स्वरूप सामने आती हैं।{{r|crux|engel}} | ||
के | गणित प्रतियोगिताओं में सोफी जर्मेन की कई पहचान इसी के परिणाम से सामने आती हैं।{{r|crux|engel}} | ||
<math display=block> | <math>x=1</math> और <math>y=2^k</math> के साथ पहचान का एक और विशेष स्थिति गुणनखंड उत्पन्न करने के लिए उपयोग किया जा सकता है | ||
<math display="block"> | |||
\begin{align} | \begin{align} | ||
\Phi_4(2^{2k+1})&=2^{4k+2}+1\\ | \Phi_4(2^{2k+1})&=2^{4k+2}+1\\ | ||
&=(2^{2k+1}-2^{k+1}+1)\cdot (2^{2k+1}+2^{k+1}+1),\\ | &=(2^{2k+1}-2^{k+1}+1)\cdot (2^{2k+1}+2^{k+1}+1),\\ | ||
\end{align}</math> | \end{align}</math> | ||
जहाँ <math>\Phi_4(x)=x^2+1</math> चौथा साइक्लोटोमिक बहुपद है। सामान्यतः साइक्लोटोमिक बहुपदों की तरह,<math>\Phi_4</math>एक अघुलनशील बहुपद है, इसलिए इसके अनंत मानों के इस गुणनखंड को एक बहुपद के रूप में <math>\Phi_4</math> के गुणनखंडन तक नहीं बढ़ाया जा सकता है, जिससे यह ऑरिफ्यूइलियन गुणनखंडन का एक उदाहरण बन जाता है।{{r|gp}} | |||
==सामान्यीकरण== | ==सामान्यीकरण== | ||
जर्मेन की पहचान को [[कार्यात्मक समीकरण]] में सामान्यीकृत किया गया है | जर्मेन की पहचान को [[कार्यात्मक समीकरण]] में सामान्यीकृत किया गया है | ||
<math display=block> | <math display="block"> | ||
f(x)^2+4f(y)^2 = \bigl( f(x+y)+f(y) \bigr)\bigl(f(x-y)+f(y)\bigr), | f(x)^2+4f(y)^2 = \bigl( f(x+y)+f(y) \bigr)\bigl(f(x-y)+f(y)\bigr), | ||
</math> | </math> | ||
जो सोफी जर्मेन की पहचान वर्ग फलन से संतुष्ट होती है।{{r|lss}} | जो सोफी जर्मेन की पहचान वर्ग फलन से संतुष्ट होती है।{{r|lss}} | ||
==संदर्भ== | ==संदर्भ == | ||
{{reflist|refs= | {{reflist|refs= | ||
Revision as of 17:26, 21 July 2023
गणित में, सोफी जर्मेन की पहचान एक बहुपद गुणनखंड है जिसका नाम सोफी जर्मेन के नाम पर रखा गया है, जिसमें कहा गया है
प्रारंभिक बीजगणित में इसके उपयोग के अतिरिक्त , इसका उपयोग विशेष रूप के पूर्णांकों को गुणनखंडित करने के लिए संख्या सिद्धांत में भी किया जा सकता है, और यह अधिकांशतः गणित प्रतियोगिताओं में समस्याओं का आधार बनता है।[1][2][3]
इतिहास
चूँकि इस पहचान का श्रेय सोफी जर्मेन को दिया गया है, किंतु यह उनके कार्यों में दिखाई नहीं देता है। इसके अतिरिक्त , उनके कार्यों में संबंधित पहचान पाई जा सकती है[4][5]
पहचान को केवल गुणनखंडन के दो शब्दों को एक साथ गुणा करके और यह सत्यापित करके सिद्ध किया जा सकता है कि उनका उत्पाद समानता के दाहिने हाथ के समान है।[7] पाइथागोरस प्रमेय के अनेक अनुप्रयोगों के आधार पर शब्दों के बिना भी प्रमाण संभव है।[1]
पूर्णांक गुणनखंडन के लिए अनुप्रयोग
जर्मेन की पहचान का एक परिणाम यह है कि प्रपत्र की संख्याएँ
गणित प्रतियोगिताओं में सोफी जर्मेन की पहचान की कई झलकें इसी के परिणाम स्वरूप सामने आती हैं।[2][3]
गणित प्रतियोगिताओं में सोफी जर्मेन की कई पहचान इसी के परिणाम से सामने आती हैं।[2][3]
और के साथ पहचान का एक और विशेष स्थिति गुणनखंड उत्पन्न करने के लिए उपयोग किया जा सकता है
जहाँ चौथा साइक्लोटोमिक बहुपद है। सामान्यतः साइक्लोटोमिक बहुपदों की तरह,एक अघुलनशील बहुपद है, इसलिए इसके अनंत मानों के इस गुणनखंड को एक बहुपद के रूप में के गुणनखंडन तक नहीं बढ़ाया जा सकता है, जिससे यह ऑरिफ्यूइलियन गुणनखंडन का एक उदाहरण बन जाता है।[8]
सामान्यीकरण
जर्मेन की पहचान को कार्यात्मक समीकरण में सामान्यीकृत किया गया है
संदर्भ
- ↑ 1.0 1.1 Moreno, Samuel G.; García-Caballero, Esther M. (2019), "Proof without words: Sophie Germain's identity", The College Mathematics Journal, 50 (3): 197, doi:10.1080/07468342.2019.1603533, MR 3955328
- ↑ 2.0 2.1 2.2 "CC79: Show that if is an integer greater than 1, then is not prime" (PDF), The contest corner, Crux Mathematicorum, 40 (6): 239, June 2014; originally from 1979 APICS Math Competition
- ↑ 3.0 3.1 3.2 3.3 Engel, Arthur (1998), Problem-Solving Strategies, Problem Books in Mathematics, New York: Springer-Verlag, p. 121, doi:10.1007/b97682, ISBN 0-387-98219-1, MR 1485512
- ↑ 4.0 4.1 Łukasik, Radosław; Sikorska, Justyna; Szostok, Tomasz (2018), "On an equation of Sophie Germain", Results in Mathematics, 73 (2), Paper No. 60, doi:10.1007/s00025-018-0820-y, MR 3783549
- ↑ 5.0 5.1 5.2 Whitty, Robin, "Sophie Germain's identity" (PDF), Theorem of the day
- ↑ Dickson, Leonard Eugene (1919), History of the Theory of Numbers, Volume I: Divisibility and Primality, Carnegie Institute of Washington, p. 382
- ↑ 7.0 7.1 Bogomolny, Alexander, "Sophie Germain's identity", Cut-the-Knot, retrieved 2023-06-19
- ↑ Granville, Andrew; Pleasants, Peter (2006), "Aurifeuillian factorization", Mathematics of Computation, 75 (253): 497–508, doi:10.1090/S0025-5718-05-01766-7, MR 2176412