आर्किमिडीज़ की फाँकें केवल गोले पर काम करती हैं

शोधपत्र एक पहेली से शुरू होता है: क्या 100 इकाई व्यास वाली एक चकती को 99 अनंत पट्टियों से ढका जा सकता है, जिनमें से हर एक 1 इकाई चौड़ी हो? शंघाई जियाओ तोंग विश्वविद्यालय के गणितीय विज्ञान स्कूल के मिजिया लाई (Mijia Lai) लिखते हैं कि इसका हल “हमें दो सहस्राब्दी से भी पहले, आर्किमिडीज़ के एक ‘यूरेका’ क्षण तक ले जाता है”।

एक पट्टी जिसका क्षेत्रफल उसकी स्थिति की परवाह नहीं करता

आर्किमिडीज़ का प्रमेय। त्रिज्या 1 वाले गोले पर, ऐसे दो समानांतर तलों के बीच का क्षेत्र, जो दोनों गोले को काटते हों और एक-दूसरे से h दूरी पर हों, का क्षेत्रफल 2πh होता है।

चौंकाने वाली बात वह है जो सूत्र छोड़ देता है: पट्टी कहाँ है। भूमध्य रेखा के पास हो या किसी ध्रुव के क़रीब, केवल दूरी h मायने रखती है।

पहेली के लिए शोधपत्र का संकेत है कि सपाट चकती की पट्टियों को उठाकर एक गोले पर ले जाइए, जहाँ वे पट्टियाँ (बैंड) बन जाती हैं। इस संकेत को सूत्र के साथ अपनाने पर उत्तर मिल जाता है। 100 इकाई व्यास वाले गोले की त्रिज्या 50 है और क्षेत्रफल 4π × 50² = 10,000π। 1 इकाई चौड़ी हर पट्टी 2π × 50 × 1 = 100π ढकती है। निन्यानवे पट्टियाँ ज़्यादा से ज़्यादा 9,900π ढकती हैं — जो काफ़ी नहीं। तो नहीं, पट्टियाँ चकती को नहीं ढक सकतीं।

उल्टा सवाल

क्या यह गुण गोले को अलग पहचान देता है? उत्तल सतहों — बिना गड्ढों वाली आकृतियों — के लिए, और जब यह गुण हर दूरी के लिए माँगा जाए, तो उत्तर लंबे समय से ज्ञात है; शोधपत्र इसे ब्लाश्के (Blaschke) तक ले जाता है। गणितज्ञ मोहम्मद घोमी (Mohammad Ghomi) ने अक्टूबर 2017 में MathOverflow फ़ोरम पर एक ज़्यादा पैना सवाल पूछा: यदि दो समानांतर तलों के बीच का क्षेत्रफल एक ही निश्चित दूरी के लिए हमेशा समान हो, जब भी दोनों तल किसी उत्तल सतह को काटें, तो क्या वह सतह गोला ही होनी चाहिए?

लाई सिद्ध करते हैं कि हाँ, और उससे आगे भी जाते हैं।

प्रमेय A. अंतरिक्ष में एक चिकनी, बंद, जुड़ी हुई सतह लीजिए। मान लीजिए कोई दूरी h है, जो सतह की सबसे पतली चौड़ाई से छोटी है, ऐसी कि चौड़ाई h की हर फाँक — हर दिशा में और हर उस स्थिति में जहाँ दोनों तल सतह को काटते हों — का क्षेत्रफल 2πh हो। तब वह सतह त्रिज्या 1 का गोला है।

उत्तलता मानी नहीं गई है: वह निष्कर्ष का हिस्सा है।

दो कदम, तरंगों से होकर एक घुमाव

पहला, कोई गड्ढा नहीं। फाँक वाली शर्त का एक ज्यामितीय परिणाम है: जहाँ सतह अपने बाहरी आवरण से हटकर भीतर की ओर मुड़ती, वहाँ यह शर्त माध्य वक्रता नाम की एक राशि को शून्य या ऋणात्मक होने पर मजबूर करती है। लाई ऐसे समीकरणों के एक शास्त्रीय औज़ार, हॉप्फ़ (Hopf) अधिकतम सिद्धांत, का उपयोग करके दिखाते हैं कि इससे विरोधाभास पैदा होता है। गड्ढों की अनुमति न होने से सतह को उत्तल होना ही होगा, और असल में हर बिंदु पर बाहर की ओर मुड़ी हुई।

फिर, केवल गोला। किसी उत्तल सतह के लिए, फाँक वाली शर्त के कारण ऊँचाई के अनुसार क्षेत्रफल के फैलाव का पैटर्न हर h पर ख़ुद को दोहराता है। इस दोहराव वाले पैटर्न का सभी दिशाओं पर औसत लेने से तरंग समीकरण का एक ऐसा हल मिलता है जो समय में दोहराता है। पता चलता है कि उसका प्रारंभिक मान न्यूटनीय विभव से जुड़ा है — वैसा विभव जो द्रव्यमान या विद्युत आवेश पैदा करते हैं — जो सतह पर एकसमान परत चढ़ाने पर वह सतह पैदा करती। ऐसी आवर्ती तरंगों के लिए अद्वितीयता का एक परिणाम, जो एक परिशिष्ट में सिद्ध किया गया है, तब इस विभव को सतह के भीतर और बाहर स्थिर होने पर मजबूर करता है। राइखेल (Reichel) का एक ज्ञात सममिति प्रमेय कहता है कि ऐसा विभव केवल एक गेंद (ठोस गोला) ही पैदा कर सकती है। अंत में आर्किमिडीज़ का सूत्र उसकी त्रिज्या 1 तय कर देता है।

एक अलग, प्रारंभिक खंड उस विशेष स्थिति को देखता है जब किसी दिशा में सतह की चौड़ाई दूरी h का पूर्णांक गुणज हो।

एक AI की मदद

अपने आभार में लेखक AI प्रणाली ChatGPT 6 Astra का “प्रमाण की रणनीतियों में सहायता के लिए” धन्यवाद करते हैं, जोड़ते हैं कि अंतिम खंड का प्रारंभिक तर्क उस मदद से पहले ही मिल गया था, और प्रमाण की जाँच तथा लेखन की ज़िम्मेदारी ख़ुद लेते हैं। यह परिणाम एक प्रीप्रिंट है और अभी इसकी सहकर्मी समीक्षा नहीं हुई है।

चकती पर पट्टियों की एक पहेली से लेकर आवर्ती तरंगों और आवेशित सतहों तक, प्रमाण वहीं ख़त्म होता है जहाँ आर्किमिडीज़ ने शुरू किया था: चौड़ाई h की एक पट्टी, और 2πh का क्षेत्रफल।