आर्किमिडीजचे काप फक्त गोलावरच चालतात

शोधनिबंधाची सुरुवात एका कोड्याने होते: 100 एकक व्यासाची चकती, प्रत्येकी 1 एकक रुंदीच्या 99 अनंत पट्ट्यांनी झाकता येईल का? शांघाय जियाओ टोंग युनिव्हर्सिटीच्या स्कूल ऑफ मॅथेमॅटिकल सायन्सेसचे मिजिया लाय लिहितात, याचे उत्तर “आपल्याला दोन सहस्रकांहून अधिक मागे, आर्किमिडीजच्या ‘युरेका’ क्षणांपैकी एकाकडे घेऊन जाते”.

आपल्या स्थानाची पर्वा न करणारे पट्ट्याचे क्षेत्रफळ

आर्किमिडीजचा प्रमेय. त्रिज्या 1 असलेल्या गोलावर, गोलाला छेदणाऱ्या आणि एकमेकांपासून h अंतरावर असलेल्या दोन समांतर प्रतलांमधील प्रदेशाचे क्षेत्रफळ 2πh असते.

लक्षवेधी भाग म्हणजे सूत्रात काय नाही ते: पट्टा कुठे आहे. विषुववृत्ताजवळ असो वा ध्रुवाजवळ, फक्त अंतर h महत्त्वाचे ठरते.

कोड्यासाठी शोधनिबंधाची सूचना अशी: पट्ट्या सपाट चकतीवरून उचलून गोलावर न्या, जिथे त्या गोलावरील पट्टे बनतात. ही सूचना सूत्रासोबत वापरल्यास उत्तर मिळते. 100 एकक व्यासाच्या गोलाची त्रिज्या 50 आणि क्षेत्रफळ 4π × 50² = 10,000π असते. 1 एकक रुंदीचा प्रत्येक पट्टा 2π × 50 × 1 = 100π क्षेत्रफळ झाकतो. असे नव्याण्णव पट्टे जास्तीत जास्त 9,900π झाकतात — ते पुरेसे नाही. म्हणून नाही, पट्ट्या चकती झाकू शकत नाहीत.

उलटा प्रश्न

हा गुणधर्म गोलालाच वेगळे ओळखतो का? बहिर्वक्र पृष्ठभागांसाठी — म्हणजे कुठेही खळगा नसलेल्या आकारांसाठी — आणि हा गुणधर्म प्रत्येक अंतरासाठी लागू असणे आवश्यक असल्यास, उत्तर फार पूर्वीपासून माहीत आहे; शोधनिबंध त्याचा माग ब्लाश्के (Blaschke) यांच्यापर्यंत काढतो. गणितज्ञ मोहम्मद घोमी यांनी ऑक्टोबर 2017 मध्ये MathOverflow या मंचावर अधिक नेमका प्रश्न विचारला: दोन समांतर प्रतले जेव्हा जेव्हा बहिर्वक्र पृष्ठभागाला छेदतात, तेव्हा त्यांच्यामधील क्षेत्रफळ एकाच ठरावीक अंतरासाठी नेहमी सारखे असेल, तर तो पृष्ठभाग गोलच असला पाहिजे का?

लाय सिद्ध करतात की तो गोलच असला पाहिजे, आणि त्याही पुढे जातात.

प्रमेय A. अवकाशातील एक गुळगुळीत, बंद, जोडलेला पृष्ठभाग घ्या. समजा पृष्ठभागाच्या सर्वात अरुंद रुंदीपेक्षा लहान असे एक अंतर h आहे, की h रुंदीचा प्रत्येक काप — प्रत्येक दिशेत आणि दोन्ही प्रतले पृष्ठभागाला छेदतात अशा प्रत्येक स्थानी — 2πh क्षेत्रफळाचा असतो. तर तो पृष्ठभाग त्रिज्या 1 असलेला गोल आहे.

बहिर्वक्रता गृहीत धरलेली नाही: ती निष्कर्षाचा भाग आहे.

दोन पायऱ्या, लहरींमधून एक वळसा

प्रथम, खळगे नाहीत. कापाच्या अटीचा एक भौमितिक परिणाम आहे: जिथे पृष्ठभाग आपल्या बाह्य आवरणापासून दूर आत वळेल, तिथे ती माध्य वक्रता (mean curvature) नावाची राशी शून्य किंवा ऋण होण्यास भाग पाडते. अशा समीकरणांसाठीचे एक अभिजात साधन, हॉपचे कमाल तत्त्व (Hopf maximum principle), वापरून लाय दाखवतात की यातून विरोधाभास निर्माण होतो. खळग्यांना परवानगी नसल्याने पृष्ठभाग बहिर्वक्र असलाच पाहिजे, आणि खरे तर प्रत्येक बिंदूवर बाहेरच्या दिशेने वक्र असला पाहिजे.

मग, फक्त गोल. बहिर्वक्र पृष्ठभागासाठी, कापाच्या अटीमुळे उंचीनुसार क्षेत्रफळ ज्या प्रकारे पसरलेले असते तो आकृतिबंध दर h अंतरावर पुन्हा पुन्हा येतो. हा पुनरावृत्त होणारा आकृतिबंध सर्व दिशांवर सरासरी घेतल्यास लहर समीकरणाचे (wave equation) काळात पुनरावृत्त होणारे उत्तर मिळते. त्याचे प्रारंभिक मूल्य न्यूटनीय विभवाशी (Newtonian potential) जोडलेले आहे असे दिसून येते — वस्तुमान किंवा विद्युतभार निर्माण करतो तसे विभव — जे पृष्ठभागावर एकसमान लेप असता तर त्याने निर्माण केले असते. अशा आवर्ती लहरींबद्दलचा एक अनन्यता-निष्कर्ष, जो परिशिष्टात सिद्ध केला आहे, मग हे विभव पृष्ठभागाच्या आत आणि पलीकडेही स्थिर असण्यास भाग पाडतो. राइखेल (Reichel) यांचा एक ज्ञात सममिती-प्रमेय सांगतो की असे विभव फक्त गोलच निर्माण करू शकतो. शेवटी आर्किमिडीजचे सूत्र त्याची त्रिज्या 1 ठरवते.

एक स्वतंत्र, प्राथमिक विभाग एका विशेष परिस्थितीचा विचार करतो: जिथे एखाद्या दिशेतील पृष्ठभागाची रुंदी h या अंतराची पूर्णांक पट असते.

एआयची मदत

आपल्या ऋणनिर्देशात लेखक ChatGPT 6 Astra या एआय प्रणालीचे “सिद्धतेच्या रणनीतींसाठी मदत” केल्याबद्दल आभार मानतात, शेवटच्या विभागातील प्राथमिक युक्तिवाद त्या मदतीपूर्वीच सापडला होता असे नमूद करतात, आणि सिद्धता तपासण्याची व लिहिण्याची जबाबदारी स्वीकारतात. हा निष्कर्ष एक प्रीप्रिंट असून त्याचे अद्याप समकक्ष परीक्षण झालेले नाही.

चकतीवरील पट्ट्यांच्या कोड्यापासून आवर्ती लहरी आणि विद्युतभारित पृष्ठभागांपर्यंत प्रवास करून, सिद्धता तिथेच संपते जिथून आर्किमिडीजने सुरुवात केली होती: h रुंदीचा पट्टा, आणि 2πh क्षेत्रफळ.