केप्लर अनुमान: Difference between revisions

Latest revision as of 16:05, 25 May 2023

केप्लर अनुमान 17वीं शताब्दी के गणितज्ञ और खगोलशास्त्री जोहान्स केप्लर के नाम पर रखा गया त्रि-आयामी यूक्लिड के नियमों के अनुरूप अंतरिक्ष में गोलाकार संकुलन के बारे में एक गणितीय प्रमेय है इसमें कहा गया है कि समान आकार के गोलों को भरने की व्यवस्था में चेहरा केंद्रित घन और हेक्सागोनल बंद संकुलन व्यवस्था की तुलना में अधिक औसत घनत्व नहीं है इन व्यवस्थाओं का घनत्व लगभग 74.05% है।

1998 में थॉमस कॉलिस्टर हेल्स द्वारा सुझाए गए दृष्टिकोण का पालन करते हुए फेज टूथ ने 1953 में घोषणा की कि उनके पास केप्लर अनुमान का प्रमाण है हेल्स का प्रमाण कंप्यूटर गणनाओं का उपयोग करके कई अलग-अलग जगहों की जाँच से संबंधित शून्यीकरण

का प्रमाण है रेफरी ने कहा कि वे हेल्स के प्रमाण की शुद्धता के बारे में% शत निश्चित थे केप्लर लर अनुमान को एक प्रमेय के रूप में स्वीकार किया गया था 2014 में हेल्स की अध्यक्षता वाली संयोजन परियोजना टीम ने इसाबेल प्रमाण सहायक और उच्च क्रम की भाषा विद्युत प्रमाण सहायकों के संयोजन का उपयोग करके केप्लर अनुमान के औपचारिक प्रमाण को पूरा करने की घोषणा की 2017 में गठित गणित पाई द्वारा औपचारिक प्रमाण स्वीकार किया गया था।^[1]

पृष्ठभूमि

क्यूबिक क्लोज पैकिंग (बाएं) और हेक्सागोनल क्लोज पैकिंग (दाएं) के आरेख।

छोटे समान आकार के गोलों के साथ एक बड़े पात्र को भरने की कल्पना करें जो समान पत्थर के साथ एक चीनी मिट्टी के बरतन को गैलन कहते थे तथा व्यवस्था का घनत्व जग के आयतन से विभाजित सभी पत्थरों के कुल आयतन के बराबर है जग में पत्थरों की संख्या को अधिकतम करने का मतलब है कि जग के किनारों और तली के बीच में पत्थर की एक ऐसी व्यवस्था बनाना जिसमें सबसे अधिक घनत्व हो जिससे संगमरमर को यथा संभव बारीकी से एक साथ एकत्र किया जा सके।

प्रयोग से पता चलता है कि संगमरमर को ढंग से गिराने से उन्हें कसकर व्यवस्थित करने के प्रयास के बिना लगभग 65 प्रतिशत का घनत्व प्राप्त होगा ^[2] जबकि संगमरमर को सावधानीपूर्वक व्यवस्थित करके उच्च घनत्व प्राप्त किया जा सकता है।

संगमरमर की पहली परत के लिए उन्हें षटकोणीय जाली में व्यवस्थित करें।
संकेत की चिन्ता किए बिना पहली परत में संगमरमर की अगली परत को सबसे निचले स्थान में रखें जिसे आप संगमरमर के बीच पा सकते हैं।
तीसरी और शेष परतों के लिए पिछली परत में सबसे कम अंतराल को भरने की उसी प्रक्रिया को तब तक जारी रखें जब तक कि कंचे किनारे तक नहीं पहुंच जाते।

प्रत्येक चरण में कम से कम दो विकल्प होते हैं तथा अगली परत को कैसे रखा जाए इसलिए गोले को ढेर करने की यह अनियोजित विधि समान रूप से घन एकत्र की अनगिनत संख्या बनाती है इनमें से सबसे प्रसिद्ध घनिष्ठ संकुलन और षटकोणीय घन कहलाते हैं इनमें से प्रत्येक व्यवस्था का औसत घनत्व इस प्रकार है-

{\frac {\pi }{3{\sqrt {2}}}}=0.740480489\ldots

केप्लर अनुमान कहता है कि यह सबसे अच्छा है जो किया जा सकता है संगमरमर की किसी भी अन्य व्यवस्था में उच्च औसत घनत्व नहीं है जबकि कई अलग-अलग व्यवस्थाएं संभव होते हुए भी चरण 1-3 के समान प्रक्रिया का पालन करती हैं तथा एक ही जग में अधिक कंचे फिट कर सकते हैं।

उत्पत्ति( 1611)

केपलर अनुमान को दर्शाते हुए स्ट्रेना सेउ डे निवे सेक्सांगुला के आरेखों में से एक

जॉनसन केपलर ने 1611 में सबसे पहले अपने पेपर 'ऑन द सिक्स-कोर्नर्ड स्नोफ्लेक' में कहा था कि उन्होंने 1606 में अंग्रेजी गणितज्ञ और खगोलशास्त्री थॉमस हैरियट के साथ अपने पत्राचार के परिणामस्वरूप गोले की व्यवस्था का अध्ययन करना शुरू कर दिया था जो सर वाल्टर रैले के मित्र और सहायक थे जिन्होंने हैरियट तोप के गोले गिनने के लिए तथा सूत्र खोजने के लिए कहा था जिसके बदले में रेले के गणितज्ञ परिचित को आश्चर्य हुआ कि तोप के गोले को ढेर करने का सबसे अच्छा तरीका क्या था ^[3] हैरियट ने 1591 में विभिन्न गणितीय तरीके का एक अध्ययन प्रकाशित किया और परमाणु सिद्धांत का एक प्रारंभिक संस्करण विकसित किया।

उन्नीसवीं सदी

केप्लर के पास अनुमान का कोई प्रमाण नहीं था और 1831 में अगला कदम कॉर्ल फ्रेडरिक गाॅस द्वारा उठाया गया था जिन्होंने प्रमाणित किया कि केप्लर अनुमान सही है गोले को एक नियमित जाली समूह में व्यवस्थित करना है।

इसका मतलब यह था कि कोई भी संकुलन व्यवस्था जो केप्लर अनुमान को गलत प्रमाणित करती है वह अनियमित होगी लेकिन सभी संभावित अनियमित व्यवस्थाओं को समाप्त करना बहुत कठिन है और यही कारण है कि केप्लर अनुमान को प्रमाणित करना इतना कठिन हो गया था ये ऐसी अनियमित व्यवस्थाएँ हैं जो एक छोटे पर्याप्त आयतन पर घनिष्ठ संकुलन व्यवस्था की तुलना में सघन हैं लेकिन एक बड़ी मात्रा को भरने के लिए इन व्यवस्थाओं को विस्तारित करने का कोई भी प्रयास उनके घनत्व को कम करने के लिए जाना जाता है।

गॉस के बाद उन्नीसवीं शताब्दी में केपलर अनुमान को सिद्ध करने की दिशा में कोई और प्रगति नहीं हुई 1900 में डेविड हिल्बर्ट ने गणित की तेईस अनसुलझी समस्याओं को अपनी सूची में सम्मिलित किया यह हिल्बर्ट की अठारहवीं समस्या का हिस्सा है।

बीसवीं सदी

समाधान की दिशा में अगला कदम लेज़्लो फेजेस टोथ ने उठाया [[#CITEREF|]] और दिखाया कि सभी व्यवस्थाओं में नियमित और अनियमित के अधिकतम घनत्व को निर्धारित करने की समस्या को परिमित समूह गणनाओं की संख्या में घटाया जा सकता है इसका मतलब यह था कि थकावट सिद्धांत रूप में संभव था कि फेज टूथ ने महसूस किया कि एक तेज़ कंप्यूटर इस सैद्धांतिक परिणाम को समस्या के व्यावहारिक दृष्टिकोण में बदल सकता है।

इस बीच गोले की किसी भी संभावित व्यवस्था के अधिकतम घनत्व के लिए एक ऊपरी सीमा खोजने का प्रयास किया गया अंग्रेजी गणितज्ञ क्लाउड एम्ब्रोस रोजर्स [[#CITEREF|]]) ने लगभग 78 प्रतिशत का ऊपरी बाध्य मान स्थापित किया और बाद में अन्य गणितज्ञों के प्रयासों ने इस मान को थोड़ा कम कर दिया लेकिन यह अभी भी लगभग 74 प्रतिशत घन पैक घनत्व से बहुत बड़ा था।

1990 में डब्ल्यू यू-वाई मैं हसियांग ने केपलर अनुमान को सिद्ध करने का दावा किया जबकि गैबोर फेजेस टूथ ने पेपर की अपनी समीक्षा में कहा था जहाँ तक विवरण का सवाल है मेरी राय है कि कई प्रमुख बयानों में कोई स्वीकार्य प्रमाण नहीं है।

 [[#CITEREF|]] harvtxt error: no target: CITEREF (help)हेल्स ने 1994 में सियांग के कार्य की विस्तृत आलोचना की जिसके लिए [[#CITEREF|]] harvtxt error: no target: CITEREF (help) हसियांग ने जवाब दिया जो कि वर्तमान मे हिसियांग का प्रमाण अधूरा है।^[4]

हेल्स का प्रमाण

हेल्स द्वारा सुझाए गए तरीके का पालन फेज टूथ 1953 में तथा थॉमस कैलिस्टर हेल्स फिर मिशिगन विश्वविद्यालय में निर्धारित किया कि सभी व्यवस्थाओं का अधिकतम घनत्व 150 चर के साथ एक समारोह को कम करके पाया जा सकता है 1992 में अपने स्नातक छात्र की सहायता से उन्होंने 5,000 से अधिक अलग-अलग क्षेत्रों के विन्यास के प्रत्येक समूह के लिए इस कार्यक्रम के मूल्य पर कम सीमा खोजने के लिए रैखिक कार्यविधियों को व्यवस्थित रूप से लागू करने के लिए एक शोध कार्यक्रम शुरू किया यदि इनमें से हर एक विन्यास के लिए एक निचली सीमा पाई जा सकती है जो घन एकत्र के लिए समारोह के मान से अधिक है तो केप्लर अनुमान सिद्ध हो जाएगा जो लगभग 100,000 रैखिक समस्याओं को हल करने वाले सभी स्थानों के लिए निचली सीमा खोजने के लिए

1996 में अपनी परियोजना की प्रगति को प्रस्तुत करते समय हेल्स ने कहा कि यह अंत दृष्टि में था लेकिन इसे पूरा होने में एक या दो साल लग सकते हैं अगस्त 1998 में हेल्स ने घोषणा की कि प्रमाण पूरा हो गया था उस समय इसमें 250 पृष्ठों के नोट और 3 गीगाबाइट कंप्यूटर डेटा और परिणाम सम्मिलित थे।

प्रमाण की असामान्य प्रकृति के बाद गणित के इतिहास के संपादक इसे प्रकाशित करने के लिए सहमत हुए तथा इसे बारह रेफरी के एक पैनल द्वारा स्वीकार किया गया 2003 में चार साल के काम के बाद रेफरी के पैनल के प्रमुख गेबोर फेजेस टोथ ने बताया कि पैनल प्रमाण की शुद्धता के बारे में 99 प्रतिशत निश्चित था लेकिन वे सभी कंप्यूटर गणनाओं की शुद्धता को प्रमाणित नहीं कर सके।

[[#CITEREF|]] हील्स 2005 ने अपने प्रमाण के गैर-कंप्यूटर भाग का विस्तार से वर्णन करते हुए एक 100-पृष्ठ का पेपर प्रकाशित किया [[#CITEREF|]] हील्स फॉर्मेट 2006 के बाद के कई पत्रों ने अभिकलन भागों का वर्णन किया हेल्स और फर्ग्यूसन ने 2009 के लिए फुलकर्सन पुरस्कार प्राप्त किया।

एक औपचारिक प्रमाण

जनवरी 2003 में हेल्स ने केपलर अनुमान का पूर्ण औपचारिक प्रमाण प्रस्तुत करने के लिए एक सहयोगी परियोजना की शुरुआत की घोषणा की इसका उद्देश्य एक औपचारिक प्रमाण बनाकर प्रमाण की वैधता के बारे में किसी भी शेष अनिश्चितता को दूर करना था जिसे स्वचालित सबूत जाँच सॉफ़्टवेयर जैसे एचओएल विद्युत और इसाबेल सहायक द्वारा सत्यापित किया जा सकता है इस परियोजना को फ्लाई स्पेक या कीट के मल मूत्रों द्वारा बनाया गया छोटा सा स्थान कहा जाता है केप्लर के औपचारिक प्रमाण के लिए एफ पी और के सर्वप्रथम^[when?] हेल्स ने अनुमान लगाया कि एक पूर्ण औपचारिक प्रमाण तैयार करने में लगभग 20 वर्षों का कार्य चलेगा हेल्स ने 2012 में औपचारिक प्रमाण के लिए एक ढ़ॉचा प्रकाशित किया ^[5] परियोजना के पूरा होने की घोषणा 10 अगस्त 2014 को की गई थी जबकि^[6] जनवरी 2015 में हेल्स और 21 सहयोगियों ने केपलर अनुमान का एक औपचारिक प्रमाण शीर्षक से एक पेपर पोस्ट किया जिसमें अनुमान को दिखाने का दावा किया गया था ^[7] 2017 में गणित के फोरम जर्नल द्वारा औपचारिक प्रमाण स्वीकार किया गया था।^[1]

संदर्भ

↑ ^1.0 ^1.1 Hales, Thomas; Adams, Mark; Bauer, Gertrud; Dang, Tat Dat; Harrison, John; Hoang, Le Truong; Kaliszyk, Cezary; Magron, Victor; McLaughlin, Sean; Nguyen, Tat Thang; Nguyen, Quang Truong; Nipkow, Tobias; Obua, Steven; Pleso, Joseph; Rute, Jason; Solovyev, Alexey; Ta, Thi Hoai An; Tran, Nam Trung; Trieu, Thi Diep; Urban, Josef; Vu, Ky; Zumkeller, Roland (29 May 2017). "A Formal Proof of the Kepler Conjecture". Forum of Mathematics, Pi. 5: e2. doi:10.1017/fmp.2017.1.
↑ Li, Shuixiang; Zhao, Liang; Liu, Yuewu (April 2008). "मनमाने आकार के कंटेनर में रैंडम स्फेयर पैकिंग का कंप्यूटर सिमुलेशन". Computers, Materials and Continua. 7: 109–118.
↑ Leutwyler, Kristin (1998-09-14). "ढेर उन्हें तंग". Scientific American (in English). Retrieved 2021-11-15.
↑ Singh, Simon (1997). फर्मेट की अंतिम प्रमेय. New York: Walker. ISBN 978-0-80271-331-5.
↑ Hales, Thomas C. (2012). Dense Sphere Packings: A Blueprint for Formal Proofs. ISBN 978-0-521-61770-3. {{cite book}}: |journal= ignored (help)
↑ "प्रोजेक्ट फ्लाईस्पेक". Google Code.
↑ Hales, Thomas; et al. (9 January 2015). "केपलर अनुमान का एक औपचारिक प्रमाण". arXiv:1501.02155 [math.MG].
↑ Chang, Hai-Chau; Wang, Lih-Chung (22 September 2010). "सर्कल पैकिंग पर थू के प्रमेय का एक सरल प्रमाण". arXiv:1009.4322 [math.MG].
↑ Hales, Thomas C. (20 May 2002). "मधुकोश अनुमान". arXiv:math/9906042.
↑ https://arxiv.org/math/9811079
↑ Klarreich, Erica (March 30, 2016), "Sphere Packing Solved in Higher Dimensions", Quanta Magazine

प्रकाशन

Aste, Tomaso; Weaire, Denis (2000), The Pursuit of Perfect Packing, Bristol: IOP Publishing Ltd., doi:10.1887/0750306483, ISBN 978-0-7503-0648-5, MR 1786410
Gauss, Carl F. (1831), "Untersuchungen über die Eigenschaften der positiven ternären quadratischen Formen von Ludwig August Seber", Göttingische Gelehrte Anzeigen
Hales, Thomas C. (2000), "Cannonballs and honeycombs", Notices of the American Mathematical Society, 47 (4): 440–449, ISSN 0002-9920, MR 1745624 केपलर अनुमान के प्रमाण की एक प्रारंभिक व्याख्या।
Hales, Thomas C. (2005), "A proof of the Kepler conjecture", Annals of Mathematics, Second Series, 162 (3): 1065–1185, arXiv:math/9811078, doi:10.4007/annals.2005.162.1065, ISSN 0003-486X, MR 2179728
Hales, Thomas C. (2006), "Historical overview of the Kepler conjecture", Discrete & Computational Geometry, 36 (1): 5–20, doi:10.1007/s00454-005-1210-2, ISSN 0179-5376, MR 2229657
Hales, Thomas C.; Ferguson, Samuel P. (2006), "A formulation of the Kepler conjecture" (PDF), Discrete & Computational Geometry, 36 (1): 21–69, arXiv:math/9811078, doi:10.1007/s00454-005-1211-1, ISSN 0179-5376, MR 2229658, S2CID 6529590
Hales, Thomas C.; Ferguson, Samuel P. (2011), The Kepler Conjecture: The Hales-Ferguson Proof, New York: Springer, ISBN 978-1-4614-1128-4
Hales, Thomas C. (2012), "Dense Sphere Packings: A Blueprint for Formal Proofs", London Mathematical Society Lecture Note Series, Cambridge University Press, 400, ISBN 978-0-521-61770-3
Henk, Martin; Ziegler, Guenther (2008), La congettura di Keplero, La matematica. Problemi e teoremi, vol. 2, Torino: Einaudi
Hsiang, Wu-Yi (1993), "On the sphere packing problem and the proof of Kepler's conjecture", International Journal of Mathematics, 4 (5): 739–831, doi:10.1142/S0129167X93000364, ISSN 0129-167X, MR 1245351
Hsiang, Wu-Yi (1995), "A rejoinder to T. C. Hales's article: The status of the Kepler conjecture", The Mathematical Intelligencer, 17 (1): 35–42, doi:10.1007/BF03024716, ISSN 0343-6993, MR 1319992, S2CID 119641512
Hsiang, Wu-Yi (2001), Least action principle of crystal formation of dense packing type and Kepler's conjecture, Nankai Tracts in Mathematics, vol. 3, River Edge, NJ: World Scientific Publishing Co. Inc., doi:10.1142/9789812384911, ISBN 978-981-02-4670-9, MR 1962807
Kepler, Johannes (1611), Strena seu de nive sexangula [The six-cornered snowflake] (in Latina), ISBN 978-1-58988-053-5, MR 0927925
- "छह कोनों वाले हिमपात पर". Kepler's Discovery. Archived from the original on 2007-12-19.
Hales, Thomas C.; MacLaughin, Sean (2010), "The dodecahedral conjecture", Journal of the American Mathematical Society, 23 (2): 299–344, arXiv:math.MG/9811079, Bibcode:2010JAMS...23..299H, doi:10.1090/S0894-0347-09-00647-X
Marchal, Christian (2011), "Study of Kepler's conjecture: the problem of the closest packing", Mathematische Zeitschrift, 267 (3–4): 737–765, doi:10.1007/s00209-009-0644-2, S2CID 122088451
Rogers, C. A. (1958), "The packing of equal spheres", Proceedings of the London Mathematical Society, Third Series, 8 (4): 609–620, doi:10.1112/plms/s3-8.4.609, ISSN 0024-6115, MR 0102052
Szpiro, George G. (2003), Kepler's conjecture, New York: John Wiley & Sons, ISBN 978-0-471-08601-7, MR 2133723
Fejes Tóth, L. (1953), Lagerungen in der Ebene, auf der Kugel und im Raum, Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Band LXV, Berlin, New York: Springer-Verlag, MR 0057566

बाहरी संबंध

[formalproof-1] 1.0 ^1.1 Hales, Thomas; Adams, Mark; Bauer, Gertrud; Dang, Tat Dat; Harrison, John; Hoang, Le Truong; Kaliszyk, Cezary; Magron, Victor; McLaughlin, Sean; Nguyen, Tat Thang; Nguyen, Quang Truong; Nipkow, Tobias; Obua, Steven; Pleso, Joseph; Rute, Jason; Solovyev, Alexey; Ta, Thi Hoai An; Tran, Nam Trung; Trieu, Thi Diep; Urban, Josef; Vu, Ky; Zumkeller, Roland (29 May 2017). "A Formal Proof of the Kepler Conjecture". Forum of Mathematics, Pi. 5: e2. doi:10.1017/fmp.2017.1.

[2] Li, Shuixiang; Zhao, Liang; Liu, Yuewu (April 2008). "मनमाने आकार के कंटेनर में रैंडम स्फेयर पैकिंग का कंप्यूटर सिमुलेशन". Computers, Materials and Continua. 7: 109–118.

[3] Leutwyler, Kristin (1998-09-14). "ढेर उन्हें तंग". Scientific American (in English). Retrieved 2021-11-15.

[4] Singh, Simon (1997). फर्मेट की अंतिम प्रमेय. New York: Walker. ISBN 978-0-80271-331-5.

[5] Hales, Thomas C. (2012). Dense Sphere Packings: A Blueprint for Formal Proofs. ISBN 978-0-521-61770-3. {{cite book}}: |journal= ignored (help)

[6] "प्रोजेक्ट फ्लाईस्पेक". Google Code.

[7] Hales, Thomas; et al. (9 January 2015). "केपलर अनुमान का एक औपचारिक प्रमाण". arXiv:1501.02155 [math.MG].

[8] Chang, Hai-Chau; Wang, Lih-Chung (22 September 2010). "सर्कल पैकिंग पर थू के प्रमेय का एक सरल प्रमाण". arXiv:1009.4322 [math.MG].

[9] Hales, Thomas C. (20 May 2002). "मधुकोश अनुमान". arXiv:math/9906042.

[10] ttps://arxiv.org/math/9811079

[11] Klarreich, Erica (March 30, 2016), "Sphere Packing Solved in Higher Dimensions", Quanta Magazine

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

@@ Line 1: / Line 1: @@
 {{Short description|Cubic close packing is the densest packing of 3d spheres}}
 {{Cleanup bare URLs|date=September 2022}}
-वीं शताब्दी के गणितज्ञ और खगोलशास्त्री [[जोहान्स केप्लर]] के नाम पर रखा गया केप्लर अनुमान त्रि-आयामी [[यूक्लिडियन अंतरिक्ष]] में गोले की पैकिंग के बारे में एक गणित [[प्रमेय]] है। इसमें कहा गया है कि समान आकार के गोले भरने की किसी भी व्यवस्था में क्यूबिक क्लोज पैकिंग ([[ चेहरा केंद्रित घन ]]) और [[हेक्सागोनल क्लोज पैकिंग]] व्यवस्था की तुलना में अधिक [[पैकिंग घनत्व]] नहीं है। इन व्यवस्थाओं का घनत्व लगभग 74.05% है।
+केप्लर अनुमान 17वीं शताब्दी के गणितज्ञ और खगोलशास्त्री [[जोहान्स केप्लर]] के नाम पर रखा गया त्रि-आयामी यूक्लिड के नियमों के अनुरूप [[यूक्लिडियन अंतरिक्ष|अंतरिक्ष]] में गोलाकार संकुलन के बारे में एक गणितीय [[प्रमेय]] है इसमें कहा गया है कि समान आकार के गोलों को भरने की व्यवस्था में [[ चेहरा केंद्रित घन |चेहरा केंद्रित घन]] और [[हेक्सागोनल क्लोज पैकिंग|हेक्सागोनल बंद संकुलन]] व्यवस्था की तुलना में अधिक [[पैकिंग घनत्व|औसत घनत्व]] नहीं है इन व्यवस्थाओं का घनत्व लगभग 74.05% है।
-में, [[थॉमस कॉलिस्टर हेल्स]] द्वारा सुझाए गए दृष्टिकोण का पालन करते हुए {{harvtxt|Fejes Tóth|1953}} ने घोषणा की कि उनके पास केपलर अनुमान का प्रमाण है। हेल्स का प्रमाण जटिल कंप्यूटर गणनाओं का उपयोग करके कई अलग-अलग मामलों की जाँच से संबंधित थकावट का प्रमाण है। रेफरी ने कहा कि वे हेल्स के प्रमाण की शुद्धता के बारे में 99% निश्चित थे, और केपलर अनुमान को एक प्रमेय के रूप में स्वीकार किया गया था। 2014 में, हेल्स की अध्यक्षता वाली फ्लाईस्पेक परियोजना टीम ने इसाबेल (प्रमाण सहायक) और [[एचओएल लाइट]] प्रूफ सहायकों के संयोजन का उपयोग करके केप्लर अनुमान के औपचारिक प्रमाण को पूरा करने की घोषणा की। 2017 में, फोरम ऑफ मैथेमेटिक्स | फोरम ऑफ मैथमेटिक्स, पाई द्वारा औपचारिक प्रमाण स्वीकार किया गया था।<ref name="formalproof">{{cite journal
+में [[थॉमस कॉलिस्टर हेल्स]] द्वारा सुझाए गए दृष्टिकोण का पालन करते हुए फेज टूथ ने 1953 में घोषणा की कि उनके पास केप्लर अनुमान का प्रमाण है हेल्स का प्रमाण कंप्यूटर गणनाओं का उपयोग करके कई अलग-अलग जगहों की जाँच से संबंधित शून्यीकरण
+का प्रमाण है रेफरी ने कहा कि वे हेल्स के प्रमाण की शुद्धता के बारे में% शत निश्चित थे केप्लर लर अनुमान को एक प्रमेय के रूप में स्वीकार किया गया था 2014 में हेल्स की अध्यक्षता वाली संयोजन परियोजना टीम ने इसाबेल प्रमाण सहायक और [[एचओएल लाइट|उच्च क्रम की भाषा विद्युत]] प्रमाण सहायकों के संयोजन का उपयोग करके केप्लर अनुमान के औपचारिक प्रमाण को पूरा करने की घोषणा की 2017 में गठित गणित पाई द्वारा औपचारिक प्रमाण स्वीकार किया गया था।<ref name="formalproof">{{cite journal
   |last1=Hales|first1=Thomas|author-link1=Thomas Callister Hales
   |last2=Adams|first2=Mark |last3=Bauer|first3=Gertrud |last4=Dang|first4=Tat Dat |last5=Harrison|first5=John
@@ Line 15: / Line 17: @@
   |date=29 May 2017 |volume=5 |page=e2  |doi=10.1017/fmp.2017.1 |doi-access=free
   }}</ref>
 == पृष्ठभूमि ==
-[[Image:Closepacking.svg|thumb|क्यूबिक क्लोज पैकिंग (बाएं) और हेक्सागोनल क्लोज पैकिंग (दाएं) के आरेख।]]छोटे समान आकार के गोलों के साथ एक बड़े कंटेनर को भरने की कल्पना करें: समान मार्बल्स के साथ एक चीनी मिट्टी के बरतन गैलन जग कहें। व्यवस्था का घनत्व जग के आयतन से विभाजित सभी कंचों के कुल आयतन के बराबर है। जग में मार्बल्स की संख्या को अधिकतम करने का मतलब है कि जग के किनारों और तली के बीच में मार्बल्स की एक ऐसी व्यवस्था बनाना, जिसमें सबसे अधिक संभव घनत्व हो, ताकि मार्बल्स को यथासंभव बारीकी से एक साथ पैक किया जा सके।
+[[Image:Closepacking.svg|thumb|क्यूबिक क्लोज पैकिंग (बाएं) और हेक्सागोनल क्लोज पैकिंग (दाएं) के आरेख।]]छोटे समान आकार के गोलों के साथ एक बड़े पात्र को भरने की कल्पना करें जो समान पत्थर के साथ एक चीनी मिट्टी के बरतन को गैलन कहते थे तथा व्यवस्था का घनत्व जग के आयतन से विभाजित सभी पत्थरों के कुल आयतन के बराबर है जग में पत्थरों की संख्या को अधिकतम करने का मतलब है कि जग के किनारों और तली के बीच में पत्थर की एक ऐसी व्यवस्था बनाना जिसमें सबसे अधिक घनत्व हो जिससे संगमरमर को यथा संभव बारीकी से एक साथ एकत्र किया जा सके।
-प्रयोग से पता चलता है कि मार्बल्स को बेतरतीब ढंग से गिराने से, उन्हें कसकर व्यवस्थित करने के प्रयास के बिना, लगभग 65% का घनत्व प्राप्त होगा।<ref>{{cite journal |last1=Li |first1=Shuixiang |last2=Zhao |first2=Liang |last3=Liu |first3=Yuewu |date=April 2008 |title=मनमाने आकार के कंटेनर में रैंडम स्फेयर पैकिंग का कंप्यूटर सिमुलेशन|journal=Computers, Materials and Continua |volume=7 |pages=109–118 |url=https://www.researchgate.net/publication/280882105}}</ref> हालांकि, मार्बल्स को सावधानीपूर्वक व्यवस्थित करके उच्च घनत्व प्राप्त किया जा सकता है:
+प्रयोग से पता चलता है कि संगमरमर को ढंग से गिराने से उन्हें कसकर व्यवस्थित करने के प्रयास के बिना लगभग 65 प्रतिशत का घनत्व प्राप्त होगा <ref>{{cite journal |last1=Li |first1=Shuixiang |last2=Zhao |first2=Liang |last3=Liu |first3=Yuewu |date=April 2008 |title=मनमाने आकार के कंटेनर में रैंडम स्फेयर पैकिंग का कंप्यूटर सिमुलेशन|journal=Computers, Materials and Continua |volume=7 |pages=109–118 |url=https://www.researchgate.net/publication/280882105}}</ref> जबकि संगमरमर को सावधानीपूर्वक व्यवस्थित करके उच्च घनत्व प्राप्त किया जा सकता है।
-# मार्बल्स की पहली परत के लिए, उन्हें हेक्सागोनल जाली (मधुकोश#मधुकोश पैटर्न लंगर) में व्यवस्थित करें
+# संगमरमर की पहली परत के लिए उन्हें षटकोणीय जाली में व्यवस्थित करें।
-# पैटर्न की परवाह किए बिना, पहली परत में मार्बल्स की अगली परत को सबसे निचले गैप में रखें जो आप ऊपर और मार्बल्स के बीच पा सकते हैं
+# संकेत की चिन्ता किए बिना पहली परत में संगमरमर की अगली परत को सबसे निचले स्थान में रखें जिसे आप संगमरमर के बीच पा सकते हैं।
-# तीसरी और शेष परतों के लिए, पिछली परत में सबसे कम अंतराल को भरने की उसी प्रक्रिया को तब तक जारी रखें, जब तक कि कंचे जग के शीर्ष किनारे तक नहीं पहुंच जाते।
+# तीसरी और शेष परतों के लिए पिछली परत में सबसे कम अंतराल को भरने की उसी प्रक्रिया को तब तक जारी रखें जब तक कि कंचे किनारे तक नहीं पहुंच जाते।
-प्रत्येक चरण में कम से कम दो विकल्प होते हैं कि अगली परत को कैसे रखा जाए, इसलिए गोले को ढेर करने की यह अन्यथा अनियोजित विधि समान रूप से घने पैकिंग की अनगिनत अनंत संख्या बनाती है। इनमें से सबसे प्रसिद्ध क्यूबिक क्लोज पैकिंग और हेक्सागोनल क्लोज पैकिंग कहलाते हैं। इनमें से प्रत्येक व्यवस्था का औसत घनत्व है
+प्रत्येक चरण में कम से कम दो विकल्प होते हैं तथा अगली परत को कैसे रखा जाए इसलिए गोले को ढेर करने की यह अनियोजित विधि समान रूप से घन एकत्र की अनगिनत संख्या बनाती है इनमें से सबसे प्रसिद्ध घनिष्ठ संकुलन और षटकोणीय घन कहलाते हैं इनमें से प्रत्येक व्यवस्था का औसत घनत्व इस प्रकार है-
 :<math>\frac{\pi}{3\sqrt{2}} = 0.740480489\ldots</math>
-केप्लर अनुमान कहता है कि यह सबसे अच्छा है जो किया जा सकता है - मार्बल्स की किसी भी अन्य व्यवस्था में उच्च औसत घनत्व नहीं है: आश्चर्यजनक रूप से कई अलग-अलग व्यवस्थाएं संभव होने के बावजूद जो चरण 1-3 के समान प्रक्रिया का पालन करती हैं, कोई पैकिंग नहीं (के अनुसार) प्रक्रिया या नहीं) संभवतः एक ही जग में अधिक कंचे फिट कर सकते हैं।
+केप्लर अनुमान कहता है कि यह सबसे अच्छा है जो किया जा सकता है संगमरमर की किसी भी अन्य व्यवस्था में उच्च औसत घनत्व नहीं है जबकि  कई अलग-अलग व्यवस्थाएं संभव होते हुए भी चरण 1-3 के समान प्रक्रिया का पालन करती हैं तथा एक ही जग में अधिक कंचे फिट कर सकते हैं।
-== उत्पत्ति ==
+== उत्पत्ति{{harvs|author-link=|first=जॉननेस केपलर 1611|year=1611}} ==
-[[Image:Kepler conjecture 2.jpg|thumb|केपलर अनुमान को दर्शाते हुए स्ट्रेना सेउ डे निवे सेक्सांगुला के आरेखों में से एक]]अनुमान सबसे पहले किसके द्वारा कहा गया था {{harvs|txt|author-link=Johannes Kepler|first=Johannes|last= Kepler|year=1611}} अपने पेपर में 'ऑन द सिक्स-कोर्नर्ड स्नोफ्लेक'। उन्होंने 1606 में अंग्रेजी गणितज्ञ और खगोलशास्त्री [[थॉमस हैरियट]] के साथ अपने पत्राचार के परिणामस्वरूप गोले की व्यवस्था का अध्ययन करना शुरू कर दिया था। हैरियट [[सर वाल्टर रैले]] के मित्र और सहायक थे, जिन्होंने हैरियट को तोप के गोले गिनने के लिए सूत्र खोजने के लिए कहा था, एक असाइनमेंट जिसके बदले में रेले के गणितज्ञ परिचित को आश्चर्य हुआ कि तोप के गोले को ढेर करने का सबसे अच्छा तरीका क्या था।<ref>{{cite journal |last1=Leutwyler |first1=Kristin |title=ढेर उन्हें तंग|journal=Scientific American |date=1998-09-14 |url=https://www.scientificamerican.com/article/stack-em-tight/ |access-date=2021-11-15 |language=en}}</ref> हैरियट ने 1591 में विभिन्न स्टैकिंग पैटर्न का एक अध्ययन प्रकाशित किया, और परमाणु सिद्धांत का एक प्रारंभिक संस्करण विकसित किया।
+[[Image:Kepler conjecture 2.jpg|thumb|केपलर अनुमान को दर्शाते हुए स्ट्रेना सेउ डे निवे सेक्सांगुला के आरेखों में से एक]]जॉनसन केपलर ने 1611 में सबसे पहले अपने पेपर   'ऑन द सिक्स-कोर्नर्ड स्नोफ्लेक' में कहा था कि उन्होंने 1606 में अंग्रेजी गणितज्ञ और खगोलशास्त्री [[थॉमस हैरियट]] के साथ अपने पत्राचार के परिणामस्वरूप गोले की व्यवस्था का अध्ययन करना शुरू कर दिया था जो [[सर वाल्टर रैले]] के मित्र और सहायक थे जिन्होंने हैरियट तोप के गोले गिनने के लिए तथा सूत्र खोजने के लिए कहा था जिसके बदले में रेले के गणितज्ञ परिचित को आश्चर्य हुआ कि तोप के गोले को ढेर करने का सबसे अच्छा तरीका क्या था <ref>{{cite journal |last1=Leutwyler |first1=Kristin |title=ढेर उन्हें तंग|journal=Scientific American |date=1998-09-14 |url=https://www.scientificamerican.com/article/stack-em-tight/ |access-date=2021-11-15 |language=en}}</ref> हैरियट ने 1591 में विभिन्न गणितीय तरीके   का एक अध्ययन प्रकाशित किया और परमाणु सिद्धांत का एक प्रारंभिक संस्करण विकसित किया।
 == उन्नीसवीं सदी ==
-केप्लर के पास अनुमान का कोई प्रमाण नहीं था, और अगला कदम किसके द्वारा उठाया गया था {{harvs|txt|author-link=Carl Friedrich Gauss|first=Carl Friedrich|last=Gauss|year=1831}}, जिन्होंने साबित किया कि केपलर अनुमान सही है अगर गोलों को एक नियमित जालक (समूह) में व्यवस्थित करना है।
+केप्लर के पास अनुमान का कोई प्रमाण नहीं था और 1831 में अगला कदम कॉर्ल फ्रेडरिक गाॅस द्वारा उठाया गया था जिन्होंने प्रमाणित किया कि केप्लर अनुमान सही है गोले को एक नियमित जाली समूह में व्यवस्थित करना है।
-इसका मतलब यह था कि कोई भी पैकिंग व्यवस्था जो केपलर अनुमान को गलत साबित करती है वह अनियमित होगी। लेकिन सभी संभावित अनियमित व्यवस्थाओं को समाप्त करना बहुत कठिन है, और यही कारण है कि केप्लर अनुमान को साबित करना इतना कठिन हो गया। वास्तव में, ऐसी अनियमित व्यवस्थाएँ हैं जो एक छोटे पर्याप्त आयतन पर क्यूबिक क्लोज पैकिंग व्यवस्था की तुलना में सघन हैं, लेकिन एक बड़ी मात्रा को भरने के लिए इन व्यवस्थाओं को विस्तारित करने का कोई भी प्रयास अब उनके घनत्व को कम करने के लिए जाना जाता है।
+इसका मतलब यह था कि कोई भी संकुलन व्यवस्था जो केप्लर अनुमान को गलत प्रमाणित करती है वह अनियमित होगी लेकिन सभी संभावित अनियमित व्यवस्थाओं को समाप्त करना बहुत कठिन है और यही कारण है कि केप्लर अनुमान को प्रमाणित करना इतना कठिन हो गया था ये ऐसी अनियमित व्यवस्थाएँ हैं जो एक छोटे पर्याप्त आयतन पर घनिष्ठ संकुलन व्यवस्था की तुलना में सघन हैं लेकिन एक बड़ी मात्रा को भरने के लिए इन व्यवस्थाओं को विस्तारित करने का कोई भी प्रयास उनके घनत्व को कम करने के लिए जाना जाता है।
-गॉस के बाद, उन्नीसवीं शताब्दी में केपलर अनुमान को सिद्ध करने की दिशा में कोई और प्रगति नहीं हुई। 1900 में [[डेविड हिल्बर्ट]] ने इसे हिल्बर्ट की समस्याओं की अपनी सूची में शामिल किया- यह हिल्बर्ट की अठारहवीं समस्या का हिस्सा है।
+गॉस के बाद उन्नीसवीं शताब्दी में केपलर अनुमान को सिद्ध करने की दिशा में कोई और प्रगति नहीं हुई 1900 में [[डेविड हिल्बर्ट]] ने गणित की तेईस अनसुलझी समस्याओं को अपनी सूची में सम्मिलित किया यह हिल्बर्ट की अठारहवीं समस्या का हिस्सा है।
 ==बीसवीं सदी ==
-समाधान की दिशा में अगला कदम लेज़्लो फेजेस टोथ ने उठाया। {{harvtxt|Fejes Tóth|1953}} ने दिखाया कि सभी व्यवस्थाओं (नियमित और अनियमित) के अधिकतम घनत्व को निर्धारित करने की समस्या को [[परिमित सेट]] (लेकिन बहुत बड़ी) गणनाओं की संख्या में घटाया जा सकता है। इसका मतलब यह था कि थकावट से सबूत सिद्धांत रूप में संभव था। जैसा कि Fejes Tóth ने महसूस किया, एक तेज़ पर्याप्त कंप्यूटर इस सैद्धांतिक परिणाम को समस्या के व्यावहारिक दृष्टिकोण में बदल सकता है।
+समाधान की दिशा में अगला कदम लेज़्लो फेजेस टोथ ने उठाया {{harvtxt}} और दिखाया कि सभी व्यवस्थाओं में नियमित और अनियमित के अधिकतम घनत्व को निर्धारित करने की समस्या को [[परिमित सेट|परिमित स]]मूह गणनाओं की संख्या में घटाया जा सकता है इसका मतलब यह था कि थकावट सिद्धांत रूप में संभव था कि फेज टूथ ने महसूस किया कि एक तेज़  कंप्यूटर इस सैद्धांतिक परिणाम को समस्या के व्यावहारिक दृष्टिकोण में बदल सकता है।
-इस बीच, गोले की किसी भी संभावित व्यवस्था के अधिकतम घनत्व के लिए एक ऊपरी सीमा खोजने का प्रयास किया गया। अंग्रेजी गणितज्ञ [[क्लाउड एम्ब्रोस रोजर्स]] (देखें {{harvtxt|Rogers|1958}}) ने लगभग 78% का ऊपरी बाध्य मान स्थापित किया, और बाद में अन्य गणितज्ञों के प्रयासों ने इस मान को थोड़ा कम कर दिया, लेकिन यह अभी भी लगभग 74% क्यूबिक क्लोज पैकिंग घनत्व से बहुत बड़ा था।
+इस बीच गोले की किसी भी संभावित व्यवस्था के अधिकतम घनत्व के लिए एक ऊपरी सीमा खोजने का प्रयास किया गया अंग्रेजी गणितज्ञ [[क्लाउड एम्ब्रोस रोजर्स]] {{harvtxt}}) ने लगभग 78 प्रतिशत का ऊपरी बाध्य मान स्थापित किया और बाद में अन्य गणितज्ञों के प्रयासों ने इस मान को थोड़ा कम कर दिया लेकिन यह अभी भी लगभग 74 प्रतिशत घन पैक घनत्व से बहुत बड़ा था।
-में, [[डब्ल्यू यू-वाई मैं हसियांग]] ने केपलर अनुमान को सिद्ध करने का दावा किया। एनसाइक्लोपीडिया ब्रिटानिका और विज्ञान द्वारा प्रमाण की प्रशंसा की गई और एएमएस-एमएए की संयुक्त बैठकों में हिसियांग को भी सम्मानित किया गया।<ref>{{cite journal | doi=10.1007/BF03024356 | volume=16 | issue=3 | date=June 1994 | title=केप्लर अनुमान की स्थिति| first=Thomas C. | last=Hales | s2cid=123375854 |author-link=Thomas Callister Hales | journal=[[The Mathematical Intelligencer]] | pages=47–58}}</ref> {{harvs|txt|first=Wu-Yi|last=Hsiang|year1=1993|year2=2001}} ने ज्यामितीय विधियों का उपयोग करके केपलर अनुमान को सिद्ध करने का दावा किया। हालाँकि गैबोर फेजेस टूथ (लेज़्लो फेजेस टूथ के बेटे) ने पेपर की अपनी समीक्षा में कहा था जहाँ तक विवरण का सवाल है, मेरी राय है कि कई प्रमुख बयानों में कोई स्वीकार्य प्रमाण नहीं है।
+में [[डब्ल्यू यू-वाई मैं हसियांग]] ने केपलर अनुमान को सिद्ध करने का दावा किया जबकि गैबोर फेजेस टूथ ने पेपर की अपनी समीक्षा में कहा था जहाँ तक विवरण का सवाल है मेरी राय है कि कई प्रमुख बयानों में कोई स्वीकार्य प्रमाण नहीं है।
-   {{harvtxt|Hales|1994}} ने सियांग के कार्य की विस्तृत आलोचना की, जिसके लिए {{harvtxt|Hsiang|1995}} ने जवाब दिया। वर्तमान आम सहमति यह है कि हिसियांग का प्रमाण अधूरा है।<ref>{{cite book |first=Simon |last=Singh |author-link=Simon Singh |title=फर्मेट की अंतिम प्रमेय|location=New York |publisher=Walker |year=1997 |isbn=978-0-80271-331-5 |url-access=registration |url=https://archive.org/details/fermatsenigmaepi00sing_0 }}</ref>
+   {{harvtxt}}हेल्स ने 1994 में सियांग के कार्य की विस्तृत आलोचना की जिसके लिए {{harvtxt}} हसियांग ने जवाब दिया जो कि वर्तमान मे हिसियांग का प्रमाण अधूरा है।<ref>{{cite book |first=Simon |last=Singh |author-link=Simon Singh |title=फर्मेट की अंतिम प्रमेय|location=New York |publisher=Walker |year=1997 |isbn=978-0-80271-331-5 |url-access=registration |url=https://archive.org/details/fermatsenigmaepi00sing_0 }}</ref>
 == हेल्स का प्रमाण ==
-द्वारा सुझाए गए तरीके का पालन करें {{harvtxt|Fejes Tóth|1953}}, थॉमस कैलिस्टर हेल्स, फिर मिशिगन विश्वविद्यालय में, निर्धारित किया कि सभी व्यवस्थाओं का अधिकतम घनत्व 150 चर के साथ एक फ़ंक्शन को कम करके पाया जा सकता है। 1992 में, अपने स्नातक छात्र सैमुअल फर्ग्यूसन की सहायता से, उन्होंने 5,000 से अधिक अलग-अलग क्षेत्रों के विन्यास के प्रत्येक सेट के लिए इस फ़ंक्शन के मूल्य पर कम सीमा खोजने के लिए [[रैखिक प्रोग्रामिंग]] विधियों को व्यवस्थित रूप से लागू करने के लिए एक शोध कार्यक्रम शुरू किया। यदि इनमें से हर एक विन्यास के लिए एक निचली सीमा (फ़ंक्शन मान के लिए) पाई जा सकती है जो क्यूबिक क्लोज पैकिंग व्यवस्था के लिए फ़ंक्शन के मान से अधिक थी, तो केप्लर अनुमान सिद्ध हो जाएगा। लगभग 100,000 रैखिक प्रोग्रामिंग समस्याओं को हल करने वाले सभी मामलों के लिए निचली सीमा खोजने के लिए।
+हेल्स द्वारा सुझाए गए तरीके का पालन फेज टूथ 1953 में तथा थॉमस कैलिस्टर हेल्स फिर मिशिगन विश्वविद्यालय में निर्धारित किया कि सभी व्यवस्थाओं का अधिकतम घनत्व 150 चर के साथ एक समारोह को कम करके पाया जा सकता है 1992 में अपने स्नातक छात्र  की सहायता से उन्होंने 5,000 से अधिक अलग-अलग क्षेत्रों के विन्यास के प्रत्येक समूह के लिए इस कार्यक्रम के मूल्य पर कम सीमा खोजने के लिए [[रैखिक प्रोग्रामिंग|रैखिक कार्य]]विधियों को व्यवस्थित रूप से लागू करने के लिए एक शोध कार्यक्रम शुरू किया यदि इनमें से हर एक विन्यास के लिए एक निचली सीमा पाई जा सकती है जो घन एकत्र के लिए समारोह के मान से अधिक है तो केप्लर अनुमान सिद्ध हो जाएगा जो लगभग 100,000 रैखिक समस्याओं को हल करने वाले सभी स्थानों के लिए निचली सीमा खोजने के लिए
-में अपनी परियोजना की प्रगति को प्रस्तुत करते समय, हेल्स ने कहा कि अंत दृष्टि में था, लेकिन इसे पूरा होने में एक या दो साल लग सकते हैं। अगस्त 1998 में हेल्स ने घोषणा की कि सबूत पूरा हो गया था। उस समय, इसमें 250 पृष्ठों के नोट और 3 [[गीगाबाइट]] कंप्यूटर प्रोग्राम, डेटा और परिणाम शामिल थे।
+में अपनी परियोजना की प्रगति को प्रस्तुत करते समय हेल्स ने कहा कि यह अंत दृष्टि में था लेकिन इसे पूरा होने में एक या दो साल लग सकते हैं अगस्त 1998 में हेल्स ने घोषणा की कि प्रमाण पूरा हो गया था उस समय इसमें 250 पृष्ठों के नोट और 3 [[गीगाबाइट]] कंप्यूटर डेटा और परिणाम सम्मिलित थे।
-सबूत की असामान्य प्रकृति के बावजूद, [[गणित के इतिहास]] के संपादक इसे प्रकाशित करने के लिए सहमत हुए, बशर्ते इसे बारह रेफरी के एक पैनल द्वारा स्वीकार किया गया। 2003 में, चार साल के काम के बाद, रेफरी के पैनल के प्रमुख गेबोर फेजेस टोथ ने बताया कि पैनल सबूत की शुद्धता के बारे में 99% निश्चित था, लेकिन वे सभी कंप्यूटर गणनाओं की शुद्धता को प्रमाणित नहीं कर सके।
+प्रमाण की असामान्य प्रकृति के बाद [[गणित के इतिहास]] के संपादक इसे प्रकाशित करने के लिए सहमत हुए तथा इसे बारह रेफरी के एक पैनल द्वारा स्वीकार किया गया 2003 में चार साल के काम के बाद रेफरी के पैनल के प्रमुख गेबोर फेजेस टोथ ने बताया कि पैनल प्रमाण की शुद्धता के बारे में 99 प्रतिशत निश्चित था लेकिन वे सभी कंप्यूटर गणनाओं की शुद्धता को प्रमाणित नहीं कर सके।
-{{harvtxt|Hales|2005}} ने अपने प्रमाण के गैर-कंप्यूटर भाग का विस्तार से वर्णन करते हुए एक 100-पृष्ठ का पेपर प्रकाशित किया।
+{{harvtxt}} हील्स 2005 ने अपने प्रमाण के गैर-कंप्यूटर भाग का विस्तार से वर्णन करते हुए एक 100-पृष्ठ का पेपर प्रकाशित किया {{harvtxt}} हील्स फॉर्मेट 2006 के बाद के कई पत्रों ने अभिकलन भागों का वर्णन किया हेल्स और फर्ग्यूसन ने 2009 के लिए [[फुलकर्सन पुरस्कार]] प्राप्त किया।
-{{harvtxt|Hales|Ferguson|2006}} और बाद के कई पत्रों ने कम्प्यूटेशनल भागों का वर्णन किया। हेल्स और फर्ग्यूसन ने 2009 के लिए [[फुलकर्सन पुरस्कार]] प्राप्त किया।
 === एक औपचारिक प्रमाण ===
-जनवरी 2003 में, हेल्स ने केपलर अनुमान का पूर्ण औपचारिक प्रमाण प्रस्तुत करने के लिए एक सहयोगी परियोजना की शुरुआत की घोषणा की। इसका उद्देश्य एक औपचारिक प्रमाण बनाकर प्रमाण की वैधता के बारे में किसी भी शेष अनिश्चितता को दूर करना था जिसे स्वचालित प्रूफ जाँच सॉफ़्टवेयर जैसे HOL लाइट और इसाबेल (प्रूफ सहायक) द्वारा सत्यापित किया जा सकता है। इस परियोजना को फ्लाईस्पेक कहा जाता था - केप्लर के औपचारिक प्रमाण के लिए एफ, पी और के। सर्वप्रथम,{{when|date=September 2022}} हेल्स ने अनुमान लगाया कि एक पूर्ण औपचारिक प्रमाण तैयार करने में लगभग 20 वर्षों का कार्य लगेगा। हेल्स ने 2012 में औपचारिक प्रमाण के लिए एक खाका प्रकाशित किया;<ref>{{cite book | last1=Hales | first1=Thomas C. | title=Dense Sphere Packings: A Blueprint for Formal Proofs | journal=London Mathematical Society Lecture Note Series | volume=400 | publisher=Cambridge University Press | isbn=978-0-521-61770-3 | year=2012}}</ref> परियोजना के पूरा होने की घोषणा 10 अगस्त 2014 को की गई थी।<ref>{{cite web |url=https://code.google.com/p/flyspeck/wiki/AnnouncingCompletion |title=प्रोजेक्ट फ्लाईस्पेक|work=[[Google Code]]}}</ref> जनवरी 2015 में हेल्स और 21 सहयोगियों ने [[arXiv]] पर केपलर अनुमान का एक औपचारिक प्रमाण शीर्षक से एक पेपर पोस्ट किया, जिसमें अनुमान को साबित करने का दावा किया गया था।<ref>{{cite arXiv |eprint=1501.02155 |class=math.MG |title=केपलर अनुमान का एक औपचारिक प्रमाण|last=Hales |first=Thomas |author-link=Thomas Callister Hales |display-authors=etal |date=9 January 2015 }}</ref> 2017 में, गणित के फोरम जर्नल द्वारा औपचारिक प्रमाण स्वीकार किया गया था।<ref name="formalproof" />
+जनवरी 2003 में हेल्स ने केपलर अनुमान का पूर्ण औपचारिक प्रमाण प्रस्तुत करने के लिए एक सहयोगी परियोजना की शुरुआत की घोषणा की इसका उद्देश्य एक औपचारिक प्रमाण बनाकर प्रमाण की वैधता के बारे में किसी भी शेष अनिश्चितता को दूर करना था जिसे स्वचालित सबूत जाँच सॉफ़्टवेयर जैसे एचओएल विद्युत और इसाबेल सहायक द्वारा सत्यापित किया जा सकता है इस परियोजना को फ्लाई स्पेक या कीट के मल मूत्रों द्वारा बनाया गया छोटा सा स्थान कहा जाता है केप्लर के औपचारिक प्रमाण के लिए एफ पी और के सर्वप्रथम {{when|date=September 2022}} हेल्स ने अनुमान लगाया कि एक पूर्ण औपचारिक प्रमाण तैयार करने में लगभग 20 वर्षों का कार्य चलेगा हेल्स ने 2012 में औपचारिक प्रमाण के लिए एक ढ़ॉचा प्रकाशित किया <ref>{{cite book | last1=Hales | first1=Thomas C. | title=Dense Sphere Packings: A Blueprint for Formal Proofs | journal=London Mathematical Society Lecture Note Series | volume=400 | publisher=Cambridge University Press | isbn=978-0-521-61770-3 | year=2012}}</ref> परियोजना के पूरा होने की घोषणा 10 अगस्त 2014 को की गई थी जबकि<ref>{{cite web |url=https://code.google.com/p/flyspeck/wiki/AnnouncingCompletion |title=प्रोजेक्ट फ्लाईस्पेक|work=[[Google Code]]}}</ref> जनवरी 2015 में हेल्स और 21 सहयोगियों ने केपलर अनुमान का एक औपचारिक प्रमाण शीर्षक से एक पेपर पोस्ट किया जिसमें अनुमान को दिखाने का दावा किया गया था <ref>{{cite arXiv |eprint=1501.02155 |class=math.MG |title=केपलर अनुमान का एक औपचारिक प्रमाण|last=Hales |first=Thomas |author-link=Thomas Callister Hales |display-authors=etal |date=9 January 2015 }}</ref> 2017 में गणित के फोरम जर्नल द्वारा औपचारिक प्रमाण स्वीकार किया गया था।<ref name="formalproof" />
 == संबंधित समस्याएं ==
-[[एक्सल थ्यू]] की प्रमेय: नियमित हेक्सागोनल पैकिंग विमान (1890) में सबसे घनी [[सर्कल पैकिंग]] है। घनत्व है {{frac|{{pi}}|{{sqrt|12}}}}.
+[[एक्सल थ्यू]] की प्रमेय नियमित षटकोणीय एकत्र विमान है इसमें सबसे घने वृत्त [[सर्कल पैकिंग|एकत्र]] घनत्व हैं {{frac|{{pi}}|{{sqrt|12}}}}.
-: केप्लर अनुमान का द्वि-आयामी एनालॉग; प्रमाण प्राथमिक है। हेंक और ज़िग्लर ने इस परिणाम का श्रेय 1773 में लाग्रेंज को दिया (संदर्भ देखें, पृष्ठ 770)।
+: केप्लर अनुमान का द्वि-आयामी एनालॉग प्रमाण प्राथमिक है हेंक और ज़िग्लर ने इस परिणाम का श्रेय 1773 में लाग्रेंज को दिया  तथा
-: 2010 से चाउ और चुंग द्वारा एक सरल सबूत उन बिंदुओं के सेट के लिए डेलाउने त्रिभुज का उपयोग करता है जो एक संतृप्त सर्कल पैकिंग में सर्कल के केंद्र हैं।<ref>{{cite arXiv|last1=Chang|first1=Hai-Chau|last2=Wang|first2=Lih-Chung|title=सर्कल पैकिंग पर थू के प्रमेय का एक सरल प्रमाण|eprint=1009.4322|date=22 September 2010|class=math.MG}}</ref>
+: 2010 से चाउ और चुंग द्वारा एक सरल प्रमाण बिंदुओं के समूह के त्रिभुज का उपयोग करता है जो एक संतृप्त वृत्त के केंद्र हैं।<ref>{{cite arXiv|last1=Chang|first1=Hai-Chau|last2=Wang|first2=Lih-Chung|title=सर्कल पैकिंग पर थू के प्रमेय का एक सरल प्रमाण|eprint=1009.4322|date=22 September 2010|class=math.MG}}</ref>
-हेक्सागोनल [[मधुकोश अनुमान]]: समान क्षेत्रों में विमान का सबसे कुशल विभाजन नियमित हेक्सागोनल टाइलिंग है।<ref>{{cite arXiv|last1=Hales|first1=Thomas C.|title=मधुकोश अनुमान|eprint=math/9906042|date=20 May 2002|class=}}</ref>
+षटकोणीय [[मधुकोश अनुमान]] समान क्षेत्रों में विमान का सबसे कुशल विभाजन नियमित षटकोणीय फर्श है<ref>{{cite arXiv|last1=Hales|first1=Thomas C.|title=मधुकोश अनुमान|eprint=math/9906042|date=20 May 2002|class=}}</ref>
-:थू के प्रमेय से संबंधित।
+:जो थू के प्रमेय से संबंधित है
-[[डोडेकाहेड्रल अनुमान]]: बराबर गोले के पैकिंग में एक गोले के [[वोरोनोई आरेख]] का आयतन कम से कम एक नियमित डोडेकाहेड्रॉन का आयतन होता है जिसमें अंतःत्रिज्या 1. मैकलॉघलिन का प्रमाण,<ref>https://arxiv.org/math/9811079</ref> जिसके लिए उन्हें एक स्नातक छात्र द्वारा गणित में उत्कृष्ट शोध के लिए 1999 का फ्रैंक और ब्रेनी मॉर्गन पुरस्कार मिला।
+द्वादश फलक [[डोडेकाहेड्रल अनुमान|अनुमान]] बराबर गोले के एकत्र में एक गोले के [[वोरोनोई आरेख]] का आयतन कम से कम एक नियमित द्वादश फलक का आयतन होता है जिसमें अंतःत्रिज्या 1 का प्रमाण <ref>https://arxiv.org/math/9811079</ref> जिसके लिए उन्हें एक स्नातक छात्र द्वारा गणित में उत्कृष्ट शोध के लिए 1999 का फ्रैंक और ब्रेनी मॉर्गन पुरस्कार मिला।
-: एक संबंधित समस्या, जिसका प्रमाण केप्लर अनुमान के हेल्स के प्रमाण के समान तकनीकों का उपयोग करता है। 1950 के दशक में एल. फेजेस टोथ द्वारा अनुमान।
+: एक संबंधित समस्या जिसका प्रमाण केप्लर अनुमान के हेल्स के प्रमाण के समान तकनीकों का उपयोग करता है 1950 के दशक में एल. फेजेस टोथ द्वारा अनुमान लगाया गया है कि
-वीयर-फेलन संरचना # केल्विन अनुमान: 3 आयामों में सबसे कुशल [[फोम]] क्या है? इसे [[केल्विन संरचना]] द्वारा हल करने का अनुमान लगाया गया था, और यह व्यापक रूप से 100 से अधिक वर्षों तक माना जाता था, जब तक कि 1993 में वीयर-फेलन संरचना की खोज से अस्वीकृत नहीं हो गया। वीयर-फेलन संरचना की आश्चर्यजनक खोज और केल्विन अनुमान का खंडन हेल्स के केप्लर अनुमान के प्रमाण को स्वीकार करने में सावधानी का एक कारण है।
+वीयर फेलन संरचना केल्विन अनुमान 3 आयामों में सबसे कुशल [[फोम]] इसे [[केल्विन संरचना]] द्वारा हल करने का अनुमान लगाया गया था और यह व्यापक रूप से 100 से अधिक वर्षों तक माना जाता था जब तक कि 1993 में संरचना की खोज से अस्वीकृत हो गया तथा संरचना की आश्चर्यजनक खोज और केल्विन अनुमान का खंडन हेल्स के केप्लर अनुमान के प्रमाण को स्वीकार करने में सावधानी का एक कारण है।
-;उच्च आयामों में गोलाकार पैकिंग: 2016 में, [[मरीना वियाज़ोव्स्का]] ने आयाम 8 और 24 में इष्टतम क्षेत्र पैकिंग के प्रमाण की घोषणा की।<ref>{{citation |last1=Klarreich |first1=Erica |author-link1=Erica Klarreich |title=Sphere Packing Solved in Higher Dimensions |url=https://www.quantamagazine.org/20160330-sphere-packing-solved-in-higher-dimensions |magazine=Quanta Magazine |date=March 30, 2016}}</ref> हालाँकि, 1, 2, 3, 8, और 24 के अलावा अन्य आयामों में इष्टतम क्षेत्र पैकिंग प्रश्न अभी भी खुला है।
+;उच्च आयामों में गोलाकार पैकिंग: 2016 में [[मरीना वियाज़ोव्स्का]] ने आयाम 8 और 24 में क्षेत्र के प्रमाण की घोषणा की <ref>{{citation |last1=Klarreich |first1=Erica |author-link1=Erica Klarreich |title=Sphere Packing Solved in Higher Dimensions |url=https://www.quantamagazine.org/20160330-sphere-packing-solved-in-higher-dimensions |magazine=Quanta Magazine |date=March 30, 2016}}</ref> जबकि 1, 2, 3, 8, और 24 के अलावा अन्य आयामों में कुछ क्षेत्र के एकत्र प्रश्न अभी भी खुला हैं।
-उलाम का पैकिंग अनुमान: यह अज्ञात है कि क्या कोई उत्तल ठोस है जिसका इष्टतम पैकिंग घनत्व गोले के घनत्व से कम है।
+उलाम का एकत्रित अनुमान यह अज्ञात है कि क्या कोई उत्तल ठोस है जिसका घनत्व गोले के घनत्व से कम है।
 ==संदर्भ==
@@ Line 117: / Line 119: @@
 {{Johannes Kepler}}
 {{Authority control}}
-[[Category: असतत ज्यामिति]] [[Category: जोहान्स केप्लर]] [[Category: हिल्बर्ट की समस्याएं]] [[Category: अनुमान जो सिद्ध हो चुके हैं]] [[Category: कंप्यूटर-सहायता प्राप्त प्रमाण]] [[Category: क्षेत्रों]] [[Category: पैकिंग की समस्या]]
-[[Category: Machine Translated Page]]
+[[Category:All articles covered by WikiProject Wikify]]
+[[Category:All articles with bare URLs for citations]]
+[[Category:All articles with vague or ambiguous time]]
+[[Category:Articles covered by WikiProject Wikify from September 2022]]
+[[Category:Articles needing cleanup from September 2022]]
+[[Category:Articles with bare URLs for citations from September 2022]]
+[[Category:Articles with invalid date parameter in template]]
+[[Category:CS1 English-language sources (en)]]
+[[Category:CS1 Latina-language sources (la)]]
+[[Category:Collapse templates]]
 [[Category:Created On 01/05/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists]]
+[[Category:Pages with script errors]]
+[[Category:Sidebars with styles needing conversion]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates generating microformats]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that are not mobile friendly]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:Vague or ambiguous time from September 2022]]
+[[Category:Wikipedia metatemplates]]
+[[Category:अनुमान जो सिद्ध हो चुके हैं]]
+[[Category:असतत ज्यामिति]]
+[[Category:कंप्यूटर-सहायता प्राप्त प्रमाण]]
+[[Category:क्षेत्रों]]
+[[Category:जोहान्स केप्लर]]
+[[Category:पैकिंग की समस्या]]
+[[Category:हिल्बर्ट की समस्याएं]]

v t e Johannes Kepler
Scientific career	Kepler conjecture Kepler's laws of planetary motion Kepler orbit Kepler triangle Kepler's equation Kepler polyhedra Kepler's Supernova Keplerian telescope
Works	Mysterium Cosmographicum (1596) De Stella Nova (1606) Astronomia nova (1609) Epitome Astronomiae Copernicanae (1618, 1620-21) Harmonices Mundi (1619) Rudolphine Tables (1627) Somnium (1634)
Related	Die Harmonie der Welt (opera) Katharina Kepler (mother) Jakob Bartsch (son-in-law) Kepler (opera) Kepler space telescope Johannes Kepler ATV List of namesakes

Anonymous

Search

केप्लर अनुमान: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 16:05, 25 May 2023

Contents

पृष्ठभूमि

उत्पत्ति( 1611)

उन्नीसवीं सदी

बीसवीं सदी

हेल्स का प्रमाण

एक औपचारिक प्रमाण

संबंधित समस्याएं

संदर्भ

प्रकाशन

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

केप्लर अनुमान: Difference between revisions

Latest revision as of 16:05, 25 May 2023

पृष्ठभूमि

उत्पत्ति( 1611)

उन्नीसवीं सदी

बीसवीं सदी

हेल्स का प्रमाण

एक औपचारिक प्रमाण

संबंधित समस्याएं

संदर्भ

प्रकाशन

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories