KIKOMO CHA JUU CHA A + B = C, CHENYE KIPEO 24

Andika a + b = c kwa namba kamili tatu zisizo na kigawanyo cha pamoja. Sasa orodhesha namba tasa zinazogawanya a, b au c, na uzizidishe pamoja, kila moja mara moja tu. Liite tokeo hilo N.

Mara nyingi, N ni kubwa zaidi sana kuliko c. Chukua 2 + 3 = 5: namba tasa ni 2, 3 na 5, kwa hiyo N = 30, juu sana ya 5. Lakini wakati mwingine namba hizo zimejengwa kwa namba tasa chache sana, ndogo sana. Katika 1 + 8 = 9, namba tasa pekee ni 2 na 3, kwa hiyo N = 6 — ndogo kuliko c. Katika 1 + 80 = 81, ambapo 80 = 2⁴ × 5 na 81 = 3⁴, N ni 30, ilhali c ni 81.

Namba tasa ndogo, jumla kubwa?

Hili linaweza kufika umbali gani? Je, c inaweza kuwa kubwa mno ilhali N inabaki ndogo? Dhana ya abc (abc conjecture) ya Masser na Oesterlé inasema haiwezekani: c hubaki chini ya N iliyopandishwa kwa kipeo fulani. Kauli nyingine kadhaa kuhusu namba kamili zinajulikana kufuata kutokana nayo.

Katika makala ya awali (preprint) iliyochapishwa tarehe 3 Novemba 2026, Christophe Soulé, wa CNRS na Institut des hautes études scientifiques (IHÉS) huko Bures-sur-Yvette, Ufaransa, anatangaza uthibitisho wa toleo dhaifu la dhana hiyo:

c ≤ A(ε) · N^(24+ε)

Hapa ε ni namba chanya yoyote, ndogo kadiri upendavyo, na A(ε) ni thamani isiyobadilika (constant) inayotegemea ε pekee. Kwa maneno: c haiwezi kamwe kuzidi kizidisho fulani kisichobadilika cha N kwa kipeo cha takriban 24. Kwa N = 30, kikomo hicho cha juu ni karibu 3 × 10³⁵ mara thamani isiyobadilika — kikubwa mno, lakini hakibadiliki.

Mwandishi anaeleza wazi kwamba hii si dhana yenyewe: kanuni ya abc inafuata hapa “ingawa kwa kipeo kibaya”, kama makala inavyosema.

Mzunguko kupitia mikunjo

Uthibitisho unapita njia ya mzunguko. Tokeo lake kuu linahusu mikunjo ya jenasi 2 (curves of genus 2) — milinganyo yenye visivyojulikana viwili, ya kiwango fulani cha uchangamano. Kwa mkunjo kama huo, makala inaweka kikomo kwa “kimo” (height) cha suluhisho zake, kipimo cha jinsi namba zake zilivyo kubwa kuziandika, kwa 12 + ε mara kiasi fulani kinachohusishwa na mfumo wa namba ambamo suluhisho hizo zipo. Dhana kabambe zaidi ya Vojta ingeweka 1 + ε mahali pa 12 + ε.

Ilikuwa tayari inajulikana, kutokana na kazi ya Moret-Bailly, kwamba kikomo kama hicho kinamaanisha kuwa toleo fulani la abc ni kweli. Mkakati wenyewe ulipendekezwa na Parshin, kisha Moret-Bailly. Soulé anautekeleza:

Ujenzi uliobuniwa na Kodaira huambatanisha na mkunjo wa jenasi 2 familia nzima ya mikunjo ya jenasi 6.
Kiasi kinachopimwa kwenye kila mkunjo wa familia hiyo, “mkatano-binafsi” (self-intersection) wake wa kiaritimetiki, kinageuka kuwa kimo. Nadharia kuu ya makala inakiwekea kikomo cha juu, kwa kizidishi 36 + ε.
Ili kufika hapo, makala inachanganya nadharia ya mikatano (intersection theory) ya nyuso za kiaritimetiki, nadharia ya Minkowski kuhusu minima zinazofuatana (successive minima), na hesabu kwenye mikunjo ya jenasi 3 na 6 zilizofanywa “kwa msaada wa” Voisin.

Kipeo 24 kisha kinatokana na mkunjo mmoja mahususi, y² + y = x⁵. Kupitia ramani (map) yake ya daraja 5 kwenda kwenye mstari, kizidishi 12 kinakuwa 5/2 × 12 = 30; makadirio ya diskriminanti (discriminant) kisha yanakizidisha kwa 4/5, na kutoa 24.

Matokeo, kwa thamani zisizobadilika dhaifu zaidi

Kwa mujibu wa makala, matokeo yanayojulikana ya abc yanafuata pia kutokana na matokeo yake, “kwa thamani zisizobadilika dhaifu zaidi”. Inathibitisha mifano miwili:

toleo dhaifu la dhana ya Szpiro (Szpiro’s conjecture) kuhusu mikunjo ya kieliptiki (elliptic curves), kwa kizidishi 144 (1 + log 24) + ε;
kutokuwepo kwa kile kinachoitwa sifuri za Siegel (Siegel zeros) kwa familia ya vitendakazi vya nadharia ya namba, vitendakazi-L (L-functions) vya vibainishi vya kikwadratiki (quadratic characters) vyenye diskriminanti hasi — kwa hoja ya Granville na Stark, ambayo, kama makala inavyobainisha, inafanya kazi kwa kipeo tofauti na 1 + ε. Makala pia inarejelea makala nyingine mbili za awali za hivi karibuni kuhusu swali hilo.

Bado kukaguliwa

Huu ni uthibitisho wa kurasa 39 wa mwandishi mmoja, ulioandikwa kwa lugha ya hali ya juu ya jiometri ya kiaritimetiki (arithmetic geometry), na bado haujapitiwa na wataalamu wengine (peer review). Mwandishi anawashukuru wenzake 26 kwa msaada wao, lakini hilo halimaanishi kwamba wameukagua. Makala haisemi kama thamani isiyobadilika A(ε) inaweza kukokotolewa waziwazi.

Hoja ikisimama, jumla a + b = c zitakuwa na kikomo cha juu chenye kipeo kisichobadilika: bado si kile ambacho dhana inadai, bali 24.