View source for केप्लर अनुमान

{{Short description|Cubic close packing is the densest packing of 3d spheres}}
{{Cleanup bare URLs|date=September 2022}}
केप्लर अनुमान 17वीं शताब्दी के गणितज्ञ और खगोलशास्त्री [[जोहान्स केप्लर]] के नाम पर रखा गया त्रि-आयामी यूक्लिड के नियमों के अनुरूप [[यूक्लिडियन अंतरिक्ष|अंतरिक्ष]] में गोलाकार संकुलन के बारे में एक गणितीय [[प्रमेय]] है इसमें कहा गया है कि समान आकार के गोलों को भरने की व्यवस्था में [[ चेहरा केंद्रित घन |चेहरा केंद्रित घन]] और [[हेक्सागोनल क्लोज पैकिंग|हेक्सागोनल बंद संकुलन]] व्यवस्था की तुलना में अधिक [[पैकिंग घनत्व|औसत घनत्व]] नहीं है इन व्यवस्थाओं का घनत्व लगभग 74.05% है।

1998 में [[थॉमस कॉलिस्टर हेल्स]] द्वारा सुझाए गए दृष्टिकोण का पालन करते हुए फेज टूथ ने 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
 |last6=Hoang|first6=Le Truong |last7=Kaliszyk|first7=Cezary |last8=Magron|first8=Victor |last9=McLaughlin|first9=Sean
 |last10=Nguyen|first10=Tat Thang |last11=Nguyen|first11=Quang Truong |last12=Nipkow|first12=Tobias |last13=Obua|first13=Steven
 |last14=Pleso|first14=Joseph |last15=Rute|first15=Jason |last16=Solovyev|first16=Alexey |last17=Ta|first17=Thi Hoai An
 |last18=Tran|first18=Nam Trung |last19=Trieu|first19=Thi Diep |last20=Urban|first20=Josef |last21=Vu|first21=Ky
 |last22=Zumkeller|first22=Roland
 |title=A Formal Proof of the Kepler Conjecture
 |journal=Forum of Mathematics, Pi
 |date=29 May 2017 |volume=5 |page=e2  |doi=10.1017/fmp.2017.1 |doi-access=free
 }}</ref>



== पृष्ठभूमि ==
[[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> जबकि संगमरमर को सावधानीपूर्वक व्यवस्थित करके उच्च घनत्व प्राप्त किया जा सकता है।
# संगमरमर की पहली परत के लिए उन्हें षटकोणीय जाली में व्यवस्थित करें। 
# संकेत की चिन्ता किए बिना पहली परत में संगमरमर की अगली परत को सबसे निचले स्थान में रखें जिसे आप संगमरमर के बीच पा सकते हैं।
# तीसरी और शेष परतों के लिए पिछली परत में सबसे कम अंतराल को भरने की उसी प्रक्रिया को तब तक जारी रखें जब तक कि कंचे किनारे तक नहीं पहुंच जाते।

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

:<math>\frac{\pi}{3\sqrt{2}} = 0.740480489\ldots</math>
केप्लर अनुमान कहता है कि यह सबसे अच्छा है जो किया जा सकता है संगमरमर की किसी भी अन्य व्यवस्था में उच्च औसत घनत्व नहीं है जबकि  कई अलग-अलग व्यवस्थाएं संभव होते हुए भी चरण 1-3 के समान प्रक्रिया का पालन करती हैं तथा एक ही जग में अधिक कंचे फिट कर सकते हैं।

== उत्पत्ति{{harvs|author-link=|first=जॉननेस केपलर 1611|year=1611}} ==
[[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 में विभिन्न गणितीय तरीके   का एक अध्ययन प्रकाशित किया और परमाणु सिद्धांत का एक प्रारंभिक संस्करण विकसित किया।

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

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

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

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

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

1990 में [[डब्ल्यू यू-वाई मैं हसियांग]] ने केपलर अनुमान को सिद्ध करने का दावा किया जबकि गैबोर फेजेस टूथ ने पेपर की अपनी समीक्षा में कहा था जहाँ तक विवरण का सवाल है मेरी राय है कि कई प्रमुख बयानों में कोई स्वीकार्य प्रमाण नहीं है।
  {{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>


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

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

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

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

=== एक औपचारिक प्रमाण ===
जनवरी 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" />


== संबंधित समस्याएं ==
[[एक्सल थ्यू]] की प्रमेय नियमित षटकोणीय एकत्र विमान है इसमें सबसे घने वृत्त [[सर्कल पैकिंग|एकत्र]] घनत्व हैं {{frac|{{pi}}|{{sqrt|12}}}}.
: केप्लर अनुमान का द्वि-आयामी एनालॉग प्रमाण प्राथमिक है हेंक और ज़िग्लर ने इस परिणाम का श्रेय 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>
षटकोणीय [[मधुकोश अनुमान]] समान क्षेत्रों में विमान का सबसे कुशल विभाजन नियमित षटकोणीय फर्श है<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 का फ्रैंक और ब्रेनी मॉर्गन पुरस्कार मिला।
: एक संबंधित समस्या जिसका प्रमाण केप्लर अनुमान के हेल्स के प्रमाण के समान तकनीकों का उपयोग करता है 1950 के दशक में एल. फेजेस टोथ द्वारा अनुमान लगाया गया है कि

वीयर फेलन संरचना केल्विन अनुमान 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 के अलावा अन्य आयामों में कुछ क्षेत्र के एकत्र प्रश्न अभी भी खुला हैं।

उलाम का एकत्रित अनुमान यह अज्ञात है कि क्या कोई उत्तल ठोस है जिसका घनत्व गोले के घनत्व से कम है।

==संदर्भ==
{{Reflist}}




=== प्रकाशन ===
*{{Citation | last1=Aste | first1=Tomaso | last2=Weaire | first2=Denis | title=The Pursuit of Perfect Packing|title-link=The Pursuit of Perfect Packing | publisher=IOP Publishing Ltd. | location=Bristol | isbn=978-0-7503-0648-5 | mr=1786410 | year=2000 | doi=10.1887/0750306483}}
*{{Citation | last1=Gauss | first1=Carl F. | author1-link=Carl Friedrich Gauss | title=Untersuchungen über die Eigenschaften der positiven ternären quadratischen Formen von Ludwig August Seber | url=http://gdz.sub.uni-goettingen.de/dms/load/img/?IDDOC=267233 | year=1831 | journal=Göttingische Gelehrte Anzeigen}}
*{{Citation | last1=Hales | first1=Thomas C. | title=Cannonballs and honeycombs | url=https://www.ams.org/notices/200004/ | mr=1745624 | year=2000 | journal=[[Notices of the American Mathematical Society]] | issn=0002-9920 | volume=47 | issue=4 | pages=440–449}} केपलर अनुमान के प्रमाण की एक प्रारंभिक व्याख्या।
* {{Citation | doi=10.4007/annals.2005.162.1065 | last1=Hales | first1=Thomas C. | title=A proof of the Kepler conjecture | mr=2179728 | year=2005 | journal=[[Annals of Mathematics]] |series=Second Series | issn=0003-486X | volume=162 | issue=3 | pages=1065–1185| arxiv=math/9811078 }}
*{{Citation | last1=Hales | first1=Thomas C. | title=Historical overview of the Kepler conjecture | doi=10.1007/s00454-005-1210-2 | mr=2229657 | year=2006 | journal=[[Discrete & Computational Geometry]] | issn=0179-5376 | volume=36 | issue=1 | pages=5–20| doi-access=free }}
*{{Citation | last1=Hales | first1=Thomas C. | last2=Ferguson | first2=Samuel P. | s2cid=6529590 | title=A formulation of the Kepler conjecture | doi=10.1007/s00454-005-1211-1 | mr=2229658 | year=2006 | journal=[[Discrete & Computational Geometry]] | issn=0179-5376 | volume=36 | issue=1 | pages=21–69 | url=https://link.springer.com/content/pdf/10.1007%2Fs00454-005-1211-1.pdf| arxiv=math/9811078 }}
*{{Citation | last1=Hales | first1=Thomas C. | last2=Ferguson | first2=Samuel P. | title=The Kepler Conjecture: The Hales-Ferguson Proof | publisher=Springer | location=New York | isbn=978-1-4614-1128-4 | year=2011}}
*{{Citation | 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}}
*{{Citation | last1=Henk | first1=Martin | last2=Ziegler | first2=Guenther | title=La congettura di Keplero|series=La matematica. Problemi e teoremi|volume=2|publisher=Einaudi|location=Torino|year=2008}}
*{{Citation | doi=10.1142/S0129167X93000364 | last1=Hsiang | first1=Wu-Yi | title=On the sphere packing problem and the proof of Kepler's conjecture | mr=1245351 | year=1993 | journal=International Journal of Mathematics | issn=0129-167X | volume=4 | issue=5 | pages=739–831}}
*{{Citation | last1=Hsiang | first1=Wu-Yi | s2cid=119641512 | title=A rejoinder to T. C. Hales's article: ''The status of the Kepler conjecture''  | doi=10.1007/BF03024716 | mr=1319992 | year=1995 | journal=[[The Mathematical Intelligencer]] | issn=0343-6993 | volume=17 | issue=1 | pages=35–42}}
*{{Citation | last1=Hsiang | first1=Wu-Yi | title=Least action principle of crystal formation of dense packing type and Kepler's conjecture | publisher=World Scientific Publishing Co. Inc. | location=River Edge, NJ | series=Nankai Tracts in Mathematics | isbn=978-981-02-4670-9 | mr=1962807 | year=2001 | volume=3 | doi=10.1142/9789812384911}}
*{{Citation | last1=Kepler | first1=Johannes | title=Strena seu de nive sexangula |trans-title=The six-cornered snowflake | url=http://www.thelatinlibrary.com/kepler/strena.html | year=1611|mr=0927925|isbn=978-1-58988-053-5 |language=la}}
**{{cite web |title=छह कोनों वाले हिमपात पर|website=Kepler's Discovery |url=http://www.keplersdiscovery.com/SixCornered.html |archive-url=https://web.archive.org/web/20071219221045/http://www.keplersdiscovery.com/SixCornered.html |archive-date=2007-12-19}}
*{{Citation | last1=Hales | first1=Thomas C. | last2=MacLaughin | first2=Sean | title=The dodecahedral conjecture | journal=[[Journal of the American Mathematical Society]] | volume=23 | issue=2 | pages=299–344|year=2010 | doi=10.1090/S0894-0347-09-00647-X | arxiv=math.MG/9811079| bibcode=2010JAMS...23..299H }}
*{{Citation | last1=Marchal | first1=Christian | s2cid=122088451 | title=Study of Kepler's conjecture: the problem of the closest packing | journal=[[Mathematische Zeitschrift]] | volume=267 | issue=3–4 | pages=737–765|year=2011 | doi=10.1007/s00209-009-0644-2}}
*{{Citation | last1=Rogers | first1=C. A. | title=The packing of equal spheres | doi=10.1112/plms/s3-8.4.609  | mr=0102052 | year=1958 | journal=[[Proceedings of the London Mathematical Society]] |series=Third Series | issn=0024-6115 | volume=8 | issue=4 | pages=609–620}}
*{{Citation | last1=Szpiro | first1=George G. | author-link= George Szpiro | title=Kepler's conjecture | publisher=[[John Wiley & Sons]] | location=New York | isbn=978-0-471-08601-7 | mr=2133723 | year=2003}}
*{{Citation | last1=Fejes Tóth | first1=L. | author1-link=László Fejes Tóth | title=Lagerungen in der Ebene, auf der Kugel und im Raum | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Band LXV | mr=0057566 | year=1953}}

==बाहरी संबंध==
*{{MathWorld | urlname = KeplerConjecture | title = Kepler Conjecture}}
* [http://www.its.caltech.edu/~atomic/snowcrystals/earlyobs/kepler2.gif Front page of 'On the six-cornered snowflake']
* [http://sites.google.com/site/thalespitt/ Thomas Hales' home page]
* [https://code.google.com/p/flyspeck/ Flyspeck project home page]
* [http://www.math.pitt.edu/articles/cannonOverview.html Overview of Hales' proof]
* [https://web.archive.org/web/20160422151301/http://www.americanscientist.org/issues/id.556,y.0,no.,content.true,page.1,css.print/issue.aspx Article in American Scientist by Dana Mackenzie]
* [http://afp.sourceforge.net/entries/Flyspeck-Tame.shtml Flyspeck I: Tame Graphs, verified enumeration of tame plane graphs as defined by Thomas C. Hales in his proof of the Kepler Conjecture]

{{Johannes Kepler}}
{{Authority control}}
[[Category: असतत ज्यामिति]] [[Category: जोहान्स केप्लर]] [[Category: हिल्बर्ट की समस्याएं]] [[Category: अनुमान जो सिद्ध हो चुके हैं]] [[Category: कंप्यूटर-सहायता प्राप्त प्रमाण]] [[Category: क्षेत्रों]] [[Category: पैकिंग की समस्या]] 



[[Category: Machine Translated Page]]
[[Category:Created On 01/05/2023]]
[[Category:Vigyan Ready]]