VIPANDE VYA ARCHIMEDES HUFANYA KAZI KWENYE TUFE PEKEE

Makala inaanza na fumbo: je, diski yenye kipenyo cha vipimo 100 inaweza kufunikwa na vipande 99 visivyo na mwisho, kila kimoja chenye upana wa kipimo 1? Suluhisho, anaandika Mijia Lai wa Shule ya Sayansi za Hisabati katika Chuo Kikuu cha Shanghai Jiao Tong, “linaturudisha nyuma zaidi ya milenia mbili hadi mojawapo ya nyakati za Eureka za Archimedes”.

Ukanda ambao eneo lake halijali mahali ulipo

Nadharia ya Archimedes. Kwenye tufe lenye nusukipenyo 1, eneo kati ya bapa mbili sambamba ambazo zote zinakata tufe, zikiwa umbali h kutoka moja hadi nyingine, lina eneo 2πh.

Sehemu ya kushangaza ni kile ambacho fomula inakiacha nje: mahali ukanda ulipo. Karibu na ikweta au karibu na ncha, umbali h pekee ndio unaohesabika.

Kidokezo cha makala kwa fumbo hilo ni kuvinyanyua vipande kutoka kwenye diski bapa hadi juu ya tufe, ambapo vinakuwa mikanda. Kufuata kidokezo hicho pamoja na fomula kunatoa jibu. Tufe lenye kipenyo cha vipimo 100 lina nusukipenyo 50 na eneo 4π × 50² = 10,000π. Kila ukanda wenye upana wa kipimo 1 hufunika 2π × 50 × 1 = 100π. Mikanda tisini na tisa hufunika kwa upeo 9,900π — haitoshi. Kwa hiyo hapana, vipande hivyo haviwezi kufunika diski.

Swali la kinyume

Je, sifa hii inalitambulisha tufe pekee? Kwa nyuso mbonyeo — maumbo yasiyo na mabonyeo ya ndani — na sifa hiyo ikitakiwa kwa kila upana wa umbali, jibu limejulikana kwa muda mrefu; makala inalifuatilia hadi kwa Blaschke. Mwanahisabati Mohammad Ghomi aliuliza swali kali zaidi kwenye jukwaa la MathOverflow mnamo Oktoba 2017: ikiwa eneo kati ya bapa mbili sambamba ni lilelile kwa umbali mmoja maalum tu, kila mara bapa zote mbili zinapokata uso mbonyeo, je, uso huo lazima uwe tufe?

Lai anathibitisha kwamba lazima uwe tufe, na anaenda mbali zaidi.

Nadharia A. Chukua uso laini, funge na uliounganika angani. Tuseme kuna umbali h, mdogo kuliko upana mwembamba zaidi wa uso huo, kiasi kwamba kila kipande cha upana h — katika kila mwelekeo na kila mahali ambapo bapa zote mbili zinakata uso — kina eneo 2πh. Basi uso huo ni tufe lenye nusukipenyo 1.

Ubonyeo haudhaniwi: ni sehemu ya hitimisho.

Hatua mbili, mzunguko mmoja kupitia mawimbi

Kwanza, hakuna mabonyeo. Sharti la vipande lina matokeo ya kijiometri: pale ambapo uso ungepinda kuelekea ndani, mbali na ganda lake la nje, linalazimisha kiasi kinachoitwa mpindo wa wastani (mean curvature) kuwa sifuri au hasi. Lai anaonyesha kwamba hili linaleta mkanganyiko, akitumia chombo cha kawaida cha milinganyo ya aina hii, kanuni ya upeo ya Hopf (Hopf maximum principle). Mabonyeo yasiporuhusiwa, uso lazima uwe mbonyeo, na kwa kweli umepinda kuelekea nje katika kila nukta.

Kisha, tufe pekee. Kwa uso mbonyeo, sharti la vipande hufanya jinsi eneo linavyosambaa kulingana na kimo kujirudia kila umbali h. Kuchukua wastani wa mpangilio huo unaojirudia katika mielekeo yote kunazalisha suluhisho la mlinganyo wa wimbi (wave equation) linalojirudia kwa wakati. Thamani yake ya mwanzo inabainika kuwa imefungamana na potenshali ya Newton (Newtonian potential) — aina inayozalishwa na masi au chaji ya umeme — ambayo uso huo ungeizalisha kama ungepakwa kwa usawa. Tokeo la upekee kwa mawimbi kama hayo yanayojirudia, lililothibitishwa katika kiambatisho, kisha linalazimisha potenshali hii kuwa thabiti ndani na nje ya uso. Nadharia inayojulikana ya ulinganifu, ya Reichel, inasema kwamba ni tufe gumu pekee linaloweza kuzalisha potenshali ya aina hiyo. Hatimaye fomula ya Archimedes inaweka nusukipenyo chake kuwa 1.

Sehemu tofauti ya msingi inashughulikia hali maalum ambapo upana wa uso katika mwelekeo fulani ni idadi kamili ya umbali h.

Msaada kutoka kwa AI

Katika shukrani zake, mwandishi anaushukuru mfumo wa AI ChatGPT 6 Astra “kwa msaada kuhusu mikakati ya uthibitisho”, anaongeza kwamba hoja ya msingi ya sehemu ya mwisho ilipatikana kabla ya msaada huo, na anachukua jukumu la kukagua na kuandika uthibitisho. Tokeo hili ni chapisho la awali (preprint) na bado halijapitiwa na wataalamu wenzake.

Kutoka fumbo kuhusu vipande kwenye diski hadi mawimbi yanayojirudia na nyuso zenye chaji, uthibitisho unaishia pale Archimedes alipoanzia: ukanda wa upana h, na eneo la 2πh.