Explicação Fácil da Conjectura de Kepler! A melhor forma de empacotar melancias
Olá, eu sou o kenji!
Hoje gostaria de tentar explicar, da forma mais simples possível, uma teoria matemática com um nome que soa um pouco complicado: a “Conjectura de Kepler”.
À primeira vista, pode parecer um assunto para nerds, mas também é um problema bem próximo da nossa realidade: “Como podemos empacotar melancias em uma caixa da forma mais eficiente?”. Isso também tem a ver com as geladeiras das lojas de conveniência e como as cargas são empilhadas.
E, no mundo da matemática, há uma história super romântica por trás disso: que isso não pôde ser provado por mais de 400 anos .
Vamos lá!
Quem foi Kepler, afinal?
Primeiro, quem é o “Kepler” da “Conjectura de Kepler”?
Trata-se do nome de um astrônomo e matemático alemão chamado Johannes Kepler .
Esse cara era incrível. Por exemplo, foi ele quem descobriu que a órbita dos planetas é elíptica. Hoje isso é um conhecimento comum, mas na época (por volta de 1600), era uma era em que até o heliocentrismo mal era acreditado.
- Galileu = gênio da observação
- Kepler = o gênio que explicou o universo com fórmulas matemáticas
- Newton = o super gênio que resumiu essa teoria em leis da física
Com esse posicionamento, Kepler era um pioneiro em “explicar o universo com fórmulas matemáticas”.
E, a certa altura, ele disse o seguinte:
O que é a Conjectura de Kepler?
Resumidamente, a “Conjectura de Kepler” é o seguinte.
Ao empacotar esferas do mesmo tamanho (melancias ou laranjas) em uma caixa, qual é a disposição que permite o empacotamento mais denso?
Esse é o problema.
E o que Kepler conjecturou nos anos 1600 foi:
Não seria mais eficiente empilhá-las como triângulos, igual quando empilham laranjas nas quitandas?
Na linguagem matemática, isso é chamado de “problema do empacotamento mais denso” (Sphere Packing), que busca a maneira de empacotar esferas o mais densamente possível no espaço.
Kepler conjecturou que o arranjo chamado “estrutura cúbica de faces centradas (FCC)” (como empilhar melancias em um padrão triangular) seria o mais eficiente.
Todo mundo pensava: “Ah, faz sentido…”, mas provar matematicamente que “isso é absolutamente o melhor!” foi extremamente difícil.
400 anos para provar!?!
Então, quando isso foi realmente provado…?
Surpreendentemente, entre 1998 e 2005 . Ou seja, ninguém conseguiu provar isso por quase 400 anos . Muito louco.
Além disso, quem provou foi um matemático americano chamado Thomas Hales .
Ele percebeu que seria impossível fazer isso apenas com cálculos manuais, então usou computadores para provar . No entanto, ocorreu o problema de a prova ser tão complexa que os humanos não podiam verificá-la adequadamente!
Assim, surgiu um grande debate no mundo matemático: “Podemos realmente confiar em uma prova feita por computadores?”.
Por fim, a prova (formalmente chamada de “prova formal”) que dizia “Verificamos rigorosamente, incluindo o uso de computadores!” foi concluída em 2014 .
Ou seja, levou mais de 400 anos para provar que a intuição de Kepler estava correta . Um verdadeiro romance.
Muito usada na vida real
Você pode pensar que “como arranjar esferas” é assunto só para nerds de matemática, mas, na verdade, é super prático.
- Para empilhar bebidas de forma eficiente em geladeiras de lojas de conveniência
- Ao empilhar latas em paletes de transporte
- Também é aplicada em comunicações (compressão de sinais digitais, etc.)
- Usada no design de impressoras 3D e estruturas cristalinas
Enfim, na verdade, é uma teoria bastante usada nos bastidores da nossa vida.
Conclusão: a intuição humana é incrível
Então, para resumir:
- Conjectura de Kepler = O problema de como empacotar esferas da maneira mais densa
- Sr. Kepler = Matemático e astrônomo que descobriu as órbitas planetárias
- Foi conjecturada nos anos 1600! Mas só foi provada nos anos 2000!
- Muito aplicada na vida real!
E o mais interessante é que: “A forma de empilhar que os quitandeiros faziam por intuição era matematicamente a mais forte” .
Em outras palavras, a intuição humana é incrível . E o fato de que pode levar 400 anos para provar isso é uma história realmente romântica, não acha?
Se você se interessou, não deixe de pesquisar por “Thomas Hales”, “prova formal” e “Sphere Packing”. Se aprofundar nisso é muito divertido.
Até mais!
[PR]
