A Soma de Três Cubos

Desde muito tempo atrás os matemáticos têm se deparado com problemas de teoria dos números envolvendo equações na forma $P(x_1, . . . , x_n) = k$, onde $P$ é um polinômio com coeficientes inteiros e $k$ é um inteiro fixo. De tais problemas, sempre buscou-se inteiros $(x_1, ..., x_n)$ que satisfizessem a equação.

Alguns exemplos:

\begin{eqnarray*}
x^2 + y^2 − z^2 = 0; & \Rightarrow & S=\{(119, 120, 169), (4601, 4800, 6649), ...\} \\
v^5 + w^5 + x^5 + y^5 − z^5 = 0; & \Rightarrow & S=\{(27, 84, 110, 133, 144)\}
\end{eqnarray*}

Um dos casos particulares é a soma de três cubos

\begin{equation*} x^3 + y^3 + z^3 = k, \mbox{ com } x,y,z \mbox{ e }k \in \mathbb{Z}\end{equation*}.

Neste caso, nem todo inteiro $k$ pode ser escrito como a soma de três cubos. De fato, se $ x^3 + y^3 + z^3 = k $ então $k \neq \pm 4\mbox{ mod } 9$, ou seja, o resto da divisão de $k$ por $9$ deve ser diferente de $4$ e de $5$ para que seja possível achar uma solução. 

Assim, não tem como escrever $\pm 4$ como a soma de três cubos e isso vale para todo $k\equiv \pm 4 \mbox{ mod } 9$, dentre eles temos os números $4, 5, 13, 14, 22, 23, 31, 32, ...$.

No decorrer da história vários foram os desafios para resolver essa equação para alguns inteiros, mas alguns matemáticos conseguiram, onde podemos citar:

• Gardiner, Lazarus, Stein - 1963 $(k=87)$;
• Heath-Brown, Lioen, te Riele - 1992 $(k=39)$;
• Conn, Vaserstein -1994 $(k=84)$;
• Jagy - 1995 $(k=478)$;
• Bremmer - 1995 $(k=75, k=768)$;
• Beck, Pine, Tarrant, Yarbrough Jensen - 1999/2000 $(k=30, k=52)$.

No final do milênio, apenas $33$, $42$, $74$ e vinte e quatro outros números abaixo de $1000$ estavam sem solução.

Em 2016 Elsenhans e Jahnel acharam a solução para $k=74$.

Em Março de 2019 Andrew Booker, da Universidade de Bristol, encontrou a solução para o 33.\begin{equation*}(8866128975287528)^3 + (–8778405442862239)^3 + (–2736111468807040)^3 = 33
\end{equation*}

Mas o número 42 tinha um outro nível de complexidade. Quando quis resolvê-lo, Booker percebeu que seu supercomputador não tinha capacidade suficiente para uma tarefa dessa magnitude, então, entrou em contato com seu amigo Andrew Sutherland, um dos principais pesquisadores do departamento de matemática do Instituto Tecnológico de Massachusetts (MIT), nos Estados Unidos, para resolverem esse problema de uma vez por todas.

Depois de alguns meses de testes chegaram na resposta: \begin{equation*} (-80538738812075974)^3 + (80435758145817515)^3 + (12602123297335631)^3 = 42 \end{equation*}

Com isso, podemos ver que a matemática a cada dia vem se redescobrindo e avançando com a ajuda da tecnologia, e que vários problemas que surgem na nossa vida podem ser resolvidos, basta apenas de dedicação e comprometimento com aquilo que queremos. Brooker pensou assim. Que tal resolvermos alguns problemas sem resposta?