abc-konjektuuri

lukuteorian ongelma

Abc-konjektuuri on lukuteorian ongelma, jonka määrittelivät Joseph Oesterlé ja David Masser vuonna 1985. Sen ratkaisun sanoo löytäneensä Kioton yliopistossa työskentelevä japanilainen matemaatikko Shinichi Mochizuki elokuussa 2012.

MääritelmäMuokkaa

Olkoon

 

kolme keskenään jaotonta positiivista kokonaislukua ja rad(abc) (abc:n radikaali) neliövapaa tulo luvun erillisistä alkutekijöistä, toisin sanoen luku, joka saadaan kertomalla kaikkien kolmen luvun alkutekijöitä, mutta kutakin vain kertaalleen.

Rad(abc) on tyypillisesti suurempi kuin c. Kuitenkin suhde rad(abc)/c saadaan mielivaltaisen lähelle nollaa valitsemalla a ja b sopivasti. Esimerkiksi jos a = 5 ja b = 27 = 33, on c = 32 = 25 ja tällöin rad(abc) = 30 on vähemmän kuin c.

abc-konjektuurin mukaan kaikilla ε > 0 suhde

rad(abc)1 + ε/c

on alhaalta rajoitettu jollakin vakiolla k > 0, kaikilla a, b ja c = a + b.

Formaalimmin kaikilla ε>0 on olemassa äärellinen Kε siten, että kaikilla keskenään jaottomilla kokonaisluvuilla a + b = c

 

SeurauksiaMuokkaa

Vaikkei otaksumaa kyetty todistamaan miltei kolmeen vuosikymmeneen, sillä on ollut useita seurauksia, kuten Rothin lause, Mordellin otaksuma ja Fermat'n suuri lause, jotka kaikki on myös kyetty todistamaan. Abc-otaksuma yhdistää lukuteorian syvällisiä tuloksia toisiinsa.

Muita seurauksia:

Tarkemmat määritelmätMuokkaa

Alan Baker esitti vuonna 1996 tarkemman otaksuman, jonka mukaan epäyhtälössä voidaan korvata rad(abc) termillä

ε−ωrad(abc),

jossa ω on lukumäärä erillisille alkuluvuille, jotka jakavat jonkin luvun a, b tai c. Andrew Granvillen kehittämän otaksuman mukaan lausekkeen oikea puoli voidaan korvata termillä

O(rad(abc) Θ(rad(abc)),

jossa Θ(n) on lukumäärä (korkeintaan n) niille kokonaisluvuille, jotka ovat jaollisia vain niillä alkuluvuilla, jotka jakavat n:n.

Abc-konjektuuria pyritään ratkaisemaan hajautetun laskennan projektissa joka tunnetaan nimellä ABC@home.[1]

RatkaisuMuokkaa

Elokuussa 2012 Kioton yliopistossa työskentelevä japanilainen matemaatikko Shinichi Mochizuki julkaisi abc-konjektuuria käsittelevän 500-sivuisen työn, joka hänen mukaansa todistaa abc-konjektuurin. Mochizuki hyödynsi ratkaisussaan muotoa

 

olevia elliptisiä käyriä. Hän kehitti työtään varten täysin uusia matemaattisia menetelmiä ja käsitteitä, minkä vuoksi saattaa kulua vuosia, ennen kuin hänen todistuksensa voidaan joko vahvistaa tai hylätä. Mochizuki kuitenkin tunnetaan tutkijana, joka on aiemmin selvittänyt erittäin haastavia matemaattisia ongelmia.[2] Columbian yliopiston matemaatikko Dorian Goldfeld sanoi Nature-lehdelle Mochizukin todistuksen olevan yksi 2000-luvun ensivuosisadan hämmästyttävimmistä matemaattisista saavutuksista, mikäli se on oikea.[3][4]

LähteetMuokkaa

  1. http://abcathome.com/conjecture.php
  2. Leino, Raili: Yksi matematiikan suurista ongelmista on ehkä ratkaistu – mutta kuka ymmärtää 500-sivuista todistusta? Tekniikkatalous.fi. 15.9.2012. Talentum Oyj. Viitattu 19.9.2012.
  3. Ryall, Julian: World's most complex mathematical theory 'cracked' Telegraph.co.uk. 19.9.2012. Telegraph Media Group Limited. Viitattu 19.9.2012. (englanniksi)
  4. Ball, Philip: Proof claimed for deep connection between primes Nature.com. 10.9.2012. Nature Publishing Group. Viitattu 19.9.2012. (englanniksi)