Você conhece algum outro tipo de poliedro além um dos cinco platônicos, ou seja, poliedros regulares com o mesmo polígono regular em cada uma de suas faces? Lembre que um poliedro é convexo quando está todo de um “mesmo lado” em relação ao plano que contém qualquer uma de suas faces (os polígonos).
Os sólidos arquimedianos, ou sólidos semirregulares, são poliedros convexos cujas faces são polígonos regulares, mas agora não temos a exigência de que todas as faces sejam o mesmo polígono, isto é, contanto que sejam regulares estamos satisfeitos. Estes sólidos recebem o nome do matemático, físico, engenheiro, inventor e astrônomo grego Arquimedes de Siracusa, pois foi ele quem os estudou no século III A.C.
Outro aspecto muito importante nesses poliedros é que em cada vértice deve haver o mesmo arranjo de polígonos (por exemplo, em um cubo temos o arranjo \( (4,4,4) \), pois em cada um deles temos 3 faces quadradas, isto é, de 4 lados), e essa é uma das exigências para o sólido ser arquimediano.
Com essas considerações, podemos garantir (e provar, para os mais curiosos) que:
Existem somente 13 sólidos Arquimedianos onde cada uma de suas faces são polígonos regulares e em cada vértice temos a mesma configuração de faces.
Configuração: \( (3,6,6) \)
Configuração: \( (3,8,8) \).
Composiçāo: 8 triângulos equiláteros e 6 octógonos regulares.
Configuração: \( (3,4,3,4) \).
Composiçāo: 8 triângulos equiláteros e 6 quadrados.
Configuração: \( (4,6,6) \).
Composiçāo: 8 hexágonos regulares e 6 quadrados.
Configuração: \( (4,6,8) \).
Configuração: \( (3,3,3,3,4) \).
Configuraçao: \( (3,10,10) \).
Configuração: \( (5,6,6) \).
Configuração: \( (3,5,3,5) \).
Configuração: \( (3,4,5,4) \).
Configuração: \( (4,6,10) \).
Configuração: \( (3,3,3,3,5) \).
Configuração: \( (3,4,4,4) \).
Isto exige certo grau de compreensão de Geometria Espacial e familiaridade com demonstrações.
Teorema
Além dos cinco poliedros regulares e das duas infinitas famílias de prismas e antiprismas, existe somente 13 (e um variante) outros poliedros semirregulares.
Uma preparação para a demonstração
Antes de começarmos a demonstração, vamos entender o que são os prismas e antiprismas, e o que de fato são poliedros semirregulares. Além de adotarmos uma notação que facilitará a demonstração.
Prismas: Os prismas são compostos por duas faces paralelas chamadas diretrizes, as quais dão nome ao prisma, e vários retângulos (tantos quanto o número de lados das faces das bases). Estes tem a sequência \( (4,4,n) \), pois temos em cada vertice 2 retângulos e um polígono de \(n\) lados da base.
Antiprismas: São compostos por duas faces poligonais iguais e paralelas chamadas diretrizes, ligadas por triângulos. Estes são da forma \( (3,3,n) \), pois temos em cada vertice dois triângulos e um polígono de \(n\) lados da base.
Poliedros semirregulares: São aqueles que contem apenas polígonos regulares como faces e de cada vertice incide a mesma sequência de faces. Por exemplo, o tetraedro é um poliedro semirregular com apenas polígonos regulares nas faces e de cada vértice incide a sequencia \( (3,3,3) \).
Lema: Em poliedros convexos, a soma dos ângulos em um vertice deve ser menor que \( 2\pi \).
Lema: A soma dos ângulos de um poligono de \(n\) lados é \( (n-2)\pi \) .


Usaremos um critério numérico para limitar os possíveis comportamentos em um vertice e mostraremos a existência e unicidade dos sólidos.
Como os sólidos são convexos, a soma dos ângulos em um vértice deve ser menor que \( 2\pi \). Ainda mais, a soma dos ângulos internos de um polígono regular é \( (n-2)\pi \) . Então em um vértice \( (a_1,a_2, \dots , a_k) \) temos:
$$ \sum_{i=1}^{k} \frac{a_i-2}{a_i}\pi < 2\pi \quad \Rightarrow \quad \sum_{i=1}^{k} -\frac{a_i}{a_i}+\frac{2}{a_i} > -2 \quad \Rightarrow \quad \sum_{i=1}^{k} \frac{2}{a_i} > k \ – 2 \quad \quad (1) $$
(\(k\) é o número de faces do em torno de um vértice)
E essa é a nossa restrição numérica para as possíveis configurações de vértices. Veja que \( 3 \le k \le 5 \), pois como cada polígono regular é pelo menos um triângulo, se tivéssemos \( k \ge 6 \) , a soma dos ângulos em torno de um vértice seria maior ou igual a \( 2\pi \).
Caso 1: \(k=3\)
Cada vertice tem 3 faces, sejam elas \( (a,b,c) \). Então substituindo em \( (1) \), obtemos:
$$ \frac{1}{a} + \frac{1}{b} + \frac{1}{c} > \frac{1}{2} \quad \quad (2) $$
\( (3,3,3) \)- TETRAEDRO REGULAR
\( (4,4,4) \) – CUBO
\( (5,5,5) \)- DODECAEDRO
Se \( c=4 \): Temos \( \frac{1}{a} + \frac{1}{b} > \frac{1}{4} \), \( a \ne b \) e novamente vamos ver as possibilidades:
Podemos usar este caso para generalizar:
\( (4,4,n) \) – N-PRISMA
\( (4,6,8) \)- CUBOCTAEDRO TRUNCADO
\( (4,6,10) \) – ICOSADODECAEDRO TRUNCADO
Se \( c = 6 \) : Temos \( \frac{1}{a} + \frac{1}{b} > \frac{1}{3} \), \( a \ne b \) e novamente vamos ver as possibilidades:
\( (3,6,6) \) – TETRAEDRO TRUNCADO
\( (5,6,6) \) – ICOSAEDRO TRUNCADO
\( (4,6,6) \) – OCTAEDRO TRUNCADO
Logo, a partir de \( a=8 \) (com \( a \) par) a desigualdade deixa de ser satisfeita.
Se \( c=8 \), temos \( \frac{1}{a}+\frac{1}{b}>\frac{3}{8} \) com \( a \ne b \):
\( (3,8,8) \) – CUBO TRUNCADO
Se \( c= 10 \), temos \( \frac{1}{a}+\frac{1}{b}>\frac{2}{5} \) com \( a \ne b \):
\( (3,10,10) \) – DODECAEDRO TRUNCADO
Se \( c=12 \) temos \( \frac{1}{a}+\frac{1}{b}>\frac{5}{12} \) com \( a \ne b \):
Logo, a partir de \( c=10 \) não temos uma solução para a desigualdade, o que encerra o caso \( k=3 \).
Caso 2: \( k=4 \)
Cada vertice tem 4 faces, sejam elas \( (a,b,c,d) \). Então substituindo em \( (1) \), obtemos:
\( \frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{d}>1 \)
Se \( a=3 \) temos agora outra limitação. Olhando para o que ocorre na borda de um triângulo, vemos que em cada vértice do triângulo \( b \) e \( d \) são faces opostas pelo vértice, compartilhando uma aresta com o triângulo, enquanto \( c \) é oposto do triângulo em cada vértice. Disto segue que \( b=d \).
\( (3,3,3,3) \) – OCTAEDRO REGULAR
\( (3,3,3,n) \) – N-ANTIPRISMA, com \( c>3 \)
\( (3,4,3,4) \) – CUBOCTAEDRO
\( (3,4,4,4) \) – ROMBICUBOCTAEDRO – PSEUDOROMBICUBOCTAEDRO
\( (3,4,5,4) \) – ROMBICOSIDODECAEDRO
\( (3,5,3,5) \) – ICOSIDODECAEDRO
SE nenhuma das faces é igual a 3, o caso inicial é termos \( a=b=c=d=4 \), mas veja que estes valores não satisfazem a desigualdade \( \frac{1}{4}+\frac{1}{4}+\frac{1}{4}+\frac{1}{4} > 1 \). O que encerra o caso \( k=4 \).
Caso 3: \( k=5 \):
Cada vértice tem 5 faces e a desigualdade fica:
$$ \sum_{i=1}^5 \frac{2}{a_i} > 3 \Rightarrow \frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{d}+\frac{1}{e}> \frac{3}{2} $$
O caso mínimo é termos \( a=b=c=d=e=3 \) e neste caso temos:
\( (3,3,3,3,3) \) – ICOSAEDRO REGULAR
Se ao menos um número da sequência é diferente de 3, seja ele o número \( e \), temos:
\( (3,3,3,3,4) \) – CUBO SNUB
\( (3,3,3,3,5) \) – DODECAEDRO SNUB
Se mais de um deles é diferente de 3, o caso mínimo é serem \( d=e=4 \), mas isto não satisfaz a desigualdade, o que encerra este caso.
Logo, existem apenas 13 sólidos de Platão.
HARTSHORNE, Robin. Geometry: Euclid and Beyond. New York: Springer, 2000.
Aulas de Geometria Espacial – UNICAMP (1º Sem. 2019)