Presentan a proba do abc

2012/09/19 Roa Zubia, Guillermo - Elhuyar Zientzia Iturria: Elhuyar aldizkaria

• Matematika

No mundo das matemáticas, as marxes están mesturados: O matemático xaponés Shinichi Mochizuki presentou una proba do aiero abc, un dos grandes retos que se atopaban (ou existen) dentro da teoría dos números. Si a proba está ben —din os matemáticos—, será un dos grandes avances dos últimos tempos, como os de Grigori Perelman ou Andrew Wiles, que presentaron o aieru de Poincaré e a proba do último teorema de Fermat, respectivamente. Grazas a estas obras convertéronse na estrela da matemática moderna. Para que Mochizuki sexa asimilado a eles, hai que confirmar que a proba está ben.

Pero paira iso, os matemáticos necesitan tempo, xa que Mochizuki creou una nova rama das matemáticas paira poder demostrar o abc: a teoría Teichmüller do universo.

O que hai que demostrar parece sinxelo; refírese a fórmulas de tipo a+b=c, onde a, b e c son números enteiros cun expoñente de números enteiros. Pero estas fórmulas aparentemente sinxelas trouxeron consigo grandes retos da matemática moderna, como o último teorema de Fermat.

Neste caso, abc é dicir, este tipo de fórmula aplícase aos números primos. É una teorización sobre as relacións entre os números primos e é a generalización de moitos outros. Isto significa que se o abc queda probado, moitos outros tamén quedarán probados.

Por iso moitos matemáticos buscaron una proba desde que David Masser e Joseph Oesterle propuxeron, desde 1985. Por exemplo, o propio Wiles, que demostrou o teorema de Fermat, tentou. Agora Mochizuki utilizou técnicas moi novas e realizou una proba de 500 páxinas. A comunidade de matemáticos deberá comprender, revisar o realizado e decidir si aceptan ou non a proba. Mochizuki goza de boa reputación entre outros matemáticos, é rigoroso e claro, e é moi posible que teña una proba directa. Con todo, hai que confirmalo; aínda non se deu por probado oficialmente a conxectura abc.