História da Educação Matemática

Prévia do material em texto

Busque uma teoria matemática que explique a estratégia de resolução do
problema da contagem de balas do livro Exames de Artilharia de Alpoym.
Por volta de 1611, Johannes Kepler queria saber a melhor forma de empacotar esferas
em um espaço cúbico.E de acordo com a Kepler, as balas esféricas eram empilhadas
da melhor forma, em um arranjo piramidal, porque comporta mais esferas por metro
cúbico, e esta fórmula para empilhamento de esferas é conhecida entre os
matemáticos como Conjectura de Kepler. Uma conjectura é uma afirmação feita sem
provas. E prová-la por A+B pode levar muito tempo. Apesar da conjectura ser muito
boa, Kepler não conseguiu provar matematicamente a teoria.
Esta conjectura afirma que se empilhamos esferas iguais, a densidade máxima é
alcançada com um empilhamento piramidal de faces centradas. Esta densidade é
aproximadamente de 74%.
Em 1998, um matemático da Universidade de Pittsburgh, Thomas Hales, apresentou
uma prova, ele checou vários casos individuais e chegou a um documento de 300
páginas. E foram necessárias 12 revisões e 4 anos para dizer que Hales tinha 99% de
chances de estar certo. Só que, para a matemática, isso não é suficiente. Em 2003, ele
iniciou um projeto chamado Flyspeck para conseguir uma prova formal de sua
verificação. A comprovação de Hales é uma demonstração por casos na qual se
provam agrupamentos mediante complexos cálculos computacionais. Hales formulou
uma equação com 150 variáveis que reconhecia cinco mil possíveis agrupamentos de
esferas iguais. Foram usados dois softwares, Isabelle e HOL Light, para checar os
cálculos. No dia 10 de agosto, depois de 10 anos de trabalho, Hales conquistou o 1%
que faltava. A prova matemática da Conjectura de Kepler está correta.
Eu pesquisei sobre a Conjectura de Kepler pra tentar achar a versão original mas não
consegui. Achei a versão de Hales no site do Annals of Mathematics. E como não sei
inglês, acabou dificultando e não consegui ler. Mas vou deixar o link abaixo.
Sinceramente, a origem e como ele chegou a fórmula ainda é confuso pra mim.
1. https://annals.math.princeton.edu/wp-content/uploads/annals-v162-n3-p01.pdf
https://pt.wikipedia.org/wiki/Esfera
https://pt.wikipedia.org/wiki/For%C3%A7a_bruta_e_ignor%C3%A2ncia