Teorema de Soddy-Gosset (ou Teorema das Esferas de Soddy)

O prolongamento tridimensional do Teorema de Descartes é o Teorema das Esferas de Soddy (ou Teorema de Soddy-Gosset), que generaliza a ideia dos 4 círculos mutuamente tangentes para cinco esferas mutuamente tangentes no espaço tridimensional.

A formulação formal é dada por:

Frederick Soddy redescobriu a fórmula para as esferas em 1937 e a publicou como um poema, mas o matemático britânico Thorold Gosset (Arthur Thorold Gosset) já havia generalizado a relação para qualquer número de dimensões anteriormente. Arthur Thorold Gosset (1869–1962) foi um advogado e matemático amador britânico. Enquanto Soddy focou na versão 3D, Gosset trabalhou na generalização para n dimensões. Em 1936, Gosset derivou a fórmula para n esferas em um espaço n-dimensional, mostrando que o número máximo de objetos mutuamente tangentes é n+2.

A contribuição de Gosset foi a prova formal da generalização dimensional da fórmula de Descartes.

– “É possível visualizarmos Soddy-Gosset na quarta dimensão? Quero dizer, o que seriam 6 esferas na quarta dimensão mutuamente tangentes?”

Sim, embora nosso cérebro continue limitado fisicamente às três dimensões espaciais, utilizamos técnicas matemáticas e computacionais avançadas para “visualizar” essas estruturas da quarta dimensão 4D.

O que seriam 6 esferas mutuamente tangentes em 4D? Na quarta dimensão, o objeto análogo à esfera é chamado de hiperesfera (ou 3-sphere). O teorema de Soddy-Gosset afirma que, para que todos os objetos se toquem simultaneamente em n dimensões, você precisa de n+2 objetos. Assim, em 4D (n=4), precisamos de 6 hiperesferas. Cada uma dessas 6 hiperesferas “beijaria” as outras 5 em pontos únicos de tangência.

Imagine o seguinte cenário: Se você pegasse qualquer subgrupo de 5 hiperesferas, elas estariam organizadas de forma que uma 6ª pudesse se encaixar perfeitamente no “buraco” central deixado por elas. Como podemos visualizar isso? Como não conseguimos enxergar o espaço 4D diretamente, usamos métodos de projeção ou seccionamento:

Fatiamento (Slicing): Imagine que as 6 hiperesferas “atravessam” o nosso mundo 3D. O que veríamos seriam esferas 3D comuns que surgem do nada, crescem de tamanho, tocam-se e depois encolhem até desaparecer conforme se movem ao longo do quarto eixo (eixo W).

Projeção Estereográfica: É a técnica mais comum em softwares de visualização matemática. Ela “achata” o espaço 4D para o 3D, de forma similar a como o mapa-múndi achata a Terra esférica para um papel plano. Nessa visualização, as 6 hiperesferas pareceriam esferas 3D de tamanhos variados, algumas “dentro” das outras ou distorcidas, mas todas mantendo os pontos de contato.

Analogia de Cores: Em estudos de visualização, a quarta dimensão é frequentemente representada por mapeamento de cores. Poderíamos ver 6 esferas 3D onde a cor de cada ponto da superfície indica sua posição na quarta dimensão.

   Send article as PDF