ஆர்க்கிமிடீஸின் துண்டுகள் கோளத்தில் மட்டுமே பொருந்தும்

ஆய்வுக் கட்டுரை ஒரு புதிருடன் தொடங்குகிறது: 100 அலகு குறுக்களவுள்ள ஒரு வட்டத்தட்டை, ஒவ்வொன்றும் 1 அலகு அகலமுள்ள 99 முடிவற்ற பட்டைகளால் மூட முடியுமா? இதற்கான தீர்வு “நம்மை இரண்டாயிரம் ஆண்டுகளுக்கும் மேல் பின்னோக்கி, ஆர்க்கிமிடீஸின் ‘யுரேகா’ தருணங்களில் ஒன்றுக்கு அழைத்துச் செல்கிறது” என்று ஷாங்காய் ஜியாவ் டோங் பல்கலைக்கழகத்தின் கணித அறிவியல் பள்ளியைச் சேர்ந்த மிஜியா லாய் எழுதுகிறார்.

தன் இருப்பிடத்தைப் பொருட்படுத்தாத பரப்புள்ள பட்டை

ஆர்க்கிமிடீஸ் தேற்றம். ஆரம் 1 கொண்ட கோளத்தில், இரண்டுமே கோளத்தை வெட்டும், இடையே h தூரம் கொண்ட இரண்டு இணைத் தளங்களுக்கு இடையிலான பகுதியின் பரப்பு 2πh.

வியக்கவைப்பது சூத்திரம் விட்டுவிடும் விஷயம்தான்: பட்டை எங்கே இருக்கிறது என்பது. நிலநடுக்கோட்டுக்கு அருகிலோ ஒரு துருவத்துக்கு அருகிலோ, இடைவெளி h மட்டுமே கணக்கில் வருகிறது.

புதிருக்குக் கட்டுரை தரும் குறிப்பு: பட்டைகளைத் தட்டையான வட்டத்தட்டிலிருந்து ஒரு கோளத்தின் மீது உயர்த்துங்கள்; அங்கே அவை கோளப் பட்டைகளாகின்றன. அந்தக் குறிப்பைச் சூத்திரத்துடன் பின்பற்றினால் விடை கிடைக்கிறது. 100 அலகு குறுக்களவுள்ள கோளத்தின் ஆரம் 50, பரப்பு 4π × 50² = 10,000π. 1 அலகு அகலமுள்ள ஒவ்வொரு பட்டையும் 2π × 50 × 1 = 100π பரப்பை மூடுகிறது. தொண்ணூற்றொன்பது பட்டைகள் அதிகபட்சம் 9,900π மூடுகின்றன — போதாது. எனவே இல்லை, பட்டைகளால் வட்டத்தட்டை மூட முடியாது.

தலைகீழ்க் கேள்வி

இந்தப் பண்பு கோளத்தை மட்டும் தனித்துக் காட்டுகிறதா? குவிந்த (convex) பரப்புகளுக்கு — குழிவுகள் இல்லாத வடிவங்களுக்கு — அந்தப் பண்பு ஒவ்வொரு இடைவெளி அகலத்துக்கும் தேவைப்பட்டால், விடை நீண்ட காலமாகத் தெரியும்; கட்டுரை அதை பிளாஷ்கே (Blaschke) வரை பின்தொடர்கிறது. கணிதவியலாளர் முகமது கோமி அக்டோபர் 2017-இல் MathOverflow மன்றத்தில் இன்னும் கூர்மையான கேள்வியைக் கேட்டார்: இரண்டு தளங்களும் ஒரு குவிந்த பரப்பை வெட்டும்போதெல்லாம், இரண்டு இணைத் தளங்களுக்கு இடையிலான பரப்பு ஒரே ஒரு நிலையான இடைவெளிக்கு ஒன்றாக இருந்தால், அந்தப் பரப்பு கோளமாகத்தான் இருக்க வேண்டுமா?

அப்படித்தான் இருக்க வேண்டும் என்று லாய் நிறுவுகிறார்; மேலும் அதையும் தாண்டிச் செல்கிறார்.

தேற்றம் A. வெளியில் ஒரு வழுவழுப்பான, மூடிய, இணைந்த பரப்பை எடுத்துக்கொள்ளுங்கள். பரப்பின் மிகக் குறுகிய அகலத்தைவிடச் சிறிய ஒரு இடைவெளி h இருப்பதாகவும், h அகலமுள்ள ஒவ்வொரு துண்டுக்கும் — ஒவ்வொரு திசையிலும், இரண்டு தளங்களும் பரப்பை வெட்டும் ஒவ்வொரு நிலையிலும் — பரப்பு 2πh என்றும் கொள்ளுங்கள். அப்படியானால் அந்தப் பரப்பு ஆரம் 1 கொண்ட கோளம்.

குவிவு முன்கூட்டியே கருதப்படவில்லை: அது முடிவின் ஒரு பகுதி.

இரண்டு படிகள், அலைகள் வழியே ஒரு சுற்றுப்பாதை

முதலில், குழிவுகள் இல்லை. துண்டு நிபந்தனைக்கு ஒரு வடிவியல் விளைவு உண்டு: பரப்பு தன் வெளி உறையிலிருந்து விலகி உள்நோக்கி வளையும் இடத்தில், சராசரி வளைவு (mean curvature) எனப்படும் ஒரு அளவை அது பூஜ்ஜியமாகவோ எதிர்மமாகவோ இருக்கக் கட்டாயப்படுத்துகிறது. இத்தகைய சமன்பாடுகளுக்கான ஒரு பாரம்பரியக் கருவியான ஹாப்ஃப் பெரும மதிப்புக் கோட்பாட்டை (Hopf maximum principle) பயன்படுத்தி, இது முரண்பாட்டுக்கு இட்டுச் செல்கிறது என்று லாய் காட்டுகிறார். குழிவுகளுக்கு இடமில்லாததால், பரப்பு குவிந்ததாக இருக்க வேண்டும்; உண்மையில் ஒவ்வொரு புள்ளியிலும் வெளிநோக்கி வளைந்திருக்க வேண்டும்.

பின்னர், கோளம் மட்டுமே. குவிந்த பரப்புக்கு, உயரத்தைப் பொறுத்துப் பரப்பு பரவியிருக்கும் விதம் ஒவ்வொரு h-க்கும் மீண்டும் நிகழும்படி துண்டு நிபந்தனை செய்கிறது. மீண்டும் நிகழும் அந்த அமைப்பை எல்லாத் திசைகளிலும் சராசரி எடுத்தால், காலத்தில் மீண்டும் நிகழும் அலைச் சமன்பாட்டின் (wave equation) ஒரு தீர்வு கிடைக்கிறது. அதன் தொடக்க மதிப்பு, பரப்பு சீராகப் பூசப்பட்டால் அது உருவாக்கும் நியூட்டோனிய மின்னழுத்தத்துடன் (Newtonian potential) — நிறை அல்லது மின்னூட்டம் உருவாக்கும் வகையைச் சேர்ந்தது — பிணைந்திருப்பது தெரிகிறது. பின்னிணைப்பில் நிறுவப்பட்ட, இத்தகைய கால ஒழுங்குள்ள அலைகளுக்கான ஒரு தனித்தன்மை முடிவு, இந்த மின்னழுத்தம் பரப்பின் உள்ளேயும் அதற்கு அப்பாலும் மாறிலியாக இருக்கக் கட்டாயப்படுத்துகிறது. ரைஷல் (Reichel) அளித்த அறியப்பட்ட சமச்சீர்த் தேற்றம், ஒரு திண்மக் கோளத்தால் மட்டுமே இத்தகைய மின்னழுத்தத்தை உருவாக்க முடியும் என்கிறது. இறுதியாக ஆர்க்கிமிடீஸின் சூத்திரம் அதன் ஆரத்தை 1 என நிர்ணயிக்கிறது.

ஒரு திசையில் பரப்பின் அகலம் இடைவெளி h-இன் முழு எண் மடங்காக இருக்கும் சிறப்பு நிலையைத் தனியான, அடிப்படைப் பகுதி ஒன்று கையாள்கிறது.

ஒரு AI-இன் உதவி

நன்றியுரையில், ஆசிரியர் ChatGPT 6 Astra என்ற AI அமைப்புக்கு “நிரூபண உத்திகளில் உதவியதற்காக” நன்றி கூறுகிறார்; கடைசிப் பகுதியின் அடிப்படை வாதம் அந்த உதவிக்கு முன்பே கண்டுபிடிக்கப்பட்டது என்றும் சேர்க்கிறார்; நிரூபணத்தைச் சரிபார்த்து எழுதியதற்கான பொறுப்பைத் தானே ஏற்கிறார். இந்த முடிவு ஒரு முன்பதிப்பு (preprint); இன்னும் சக மதிப்பாய்வு செய்யப்படவில்லை.

வட்டத்தட்டின் மீதான பட்டைகள் பற்றிய புதிரிலிருந்து கால ஒழுங்குள்ள அலைகள், மின்னூட்டம் பெற்ற பரப்புகள் வரை சென்ற நிரூபணம், ஆர்க்கிமிடீஸ் தொடங்கிய இடத்திலேயே முடிகிறது: h அகலமுள்ள ஒரு பட்டை, 2πh பரப்பு.