برش‌های ارشمیدس فقط روی کره جواب می‌دهند

مقاله با یک معما آغاز می‌شود: آیا می‌توان دیسکی به قطر 100 واحد را با 99 نوار بی‌پایان، هر یک به پهنای 1 واحد، پوشاند؟ میجیا لای از دانشکدهٔ علوم ریاضی دانشگاه جیائوتونگ شانگهای می‌نویسد که پاسخ «ما را بیش از دو هزاره به عقب، به یکی از لحظه‌های اورکای ارشمیدس، می‌برد».

نواری که مساحتش به جایش اعتنایی ندارد

قضیهٔ ارشمیدس. روی کره‌ای به شعاع 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) را وادار می‌کند صفر یا منفی باشد. لای نشان می‌دهد که این به تناقض می‌انجامد، با بهره از ابزاری کلاسیک برای چنین معادلاتی، یعنی اصل ماکسیمم هوپف. وقتی فرورفتگی مجاز نباشد، سطح باید محدب باشد، و در واقع در هر نقطه به بیرون خمیده.

سپس، فقط کره. برای سطحی محدب، شرط برش باعث می‌شود شیوهٔ توزیع مساحت بر حسب ارتفاع در هر h تکرار شود. میانگین‌گیری از این الگوی تکرارشونده روی همهٔ جهت‌ها جوابی از معادلهٔ موج می‌سازد که در زمان تکرار می‌شود. مقدار آغازین آن به پتانسیل نیوتنی — از نوعی که جرم یا بار الکتریکی پدید می‌آورد — گره می‌خورد؛ پتانسیلی که سطح اگر به‌طور یکنواخت پوشانده شود ایجاد می‌کند. نتیجه‌ای دربارهٔ یکتایی چنین امواج دوره‌ای، که در پیوستی اثبات شده، این پتانسیل را وادار می‌کند درون سطح و فراتر از آن ثابت باشد. قضیهٔ تقارن شناخته‌شده‌ای از رایشل (Reichel) می‌گوید تنها یک گوی می‌تواند چنین پتانسیلی پدید آورد. سرانجام فرمول ارشمیدس شعاع آن را 1 تعیین می‌کند.

بخشی جداگانه و مقدماتی به حالت خاصی می‌پردازد که پهنای سطح در یک جهت مضرب صحیحی از فاصلهٔ h باشد.

کمک از یک هوش مصنوعی

نویسنده در بخش سپاسگزاری از سامانهٔ هوش مصنوعی ChatGPT 6 Astra «برای کمک در راهبردهای اثبات» تشکر می‌کند، می‌افزاید که استدلال مقدماتی بخش پایانی پیش از این کمک یافته شده بود، و مسئولیت بررسی و نگارش اثبات را بر عهده می‌گیرد. این نتیجه یک پیش‌انتشار است و هنوز داوری همتا نشده است.

از معمایی دربارهٔ نوارهایی روی یک دیسک تا امواج دوره‌ای و سطح‌های باردار، اثبات همان جایی پایان می‌یابد که ارشمیدس آغاز کرد: نواری به پهنای h و مساحتی برابر 2πh.