Tópicos de Geometria - CMUP
Tópicos de Geometria - CMUP
Tópicos de Geometria - CMUP
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Exercício 124 Construa prismas ou anti-prismas (com ou sem telhados) que tenham<br />
grupos <strong>de</strong> simetria C i ,i=1, 2,... e D i ,i=2, 3, ...(Sugestão: recor<strong>de</strong> que os prismas P n<br />
eanti-prismasP 0 n têm simetria central quando n é par ou ímpar, respectivamente...)<br />
Nota: Para construir sólidos com grupos <strong>de</strong> rotações C n e D n , bastar-nos-ia consi<strong>de</strong>rar<br />
prismas com telhados adicionados; a razão para consi<strong>de</strong>rar também anti-prismas pren<strong>de</strong>se<br />
com a sugestão dada no exercício anterior.<br />
Os grupos O e I são, como vimos anteriormente, os grupos <strong>de</strong> simetria do octaedro<br />
e icosaedro, respectivamente; o mesmo não acontece com T que não é isomorfo a S 4 ,o<br />
grupo <strong>de</strong> simetria do tetraedro: no entanto,S po<strong>de</strong>mos construir um sólido com grupo <strong>de</strong><br />
simetria T , consi<strong>de</strong>rando um cubo com um padrão adicionado às faces, como se representa<br />
na figuraseguinte(equepo<strong>de</strong>serrealizadoatravésdaadição<strong>de</strong>telhadoscomcumieiras<br />
segundo as direcções <strong>de</strong>senhadas)<br />
Exercício 125 Prove que o objecto representado na figura anterior tem <strong>de</strong> facto grupo<br />
<strong>de</strong> simetria T » = A 4 £f§1g.<br />
Consi<strong>de</strong>ramos agora o segundo caso: <strong>de</strong> G ser um subgrupo finito <strong>de</strong> O(3) com isometrias<br />
inversas mas sem inversão central.<br />
Sejam H = G \ SO(3) = fα 1 ,α 2 , ..., α n g e G ¡ H = fβ 1 ,β 2 , ..., β n g em que nenhuma<br />
das isometrias inversas β i é a inversão central I 0 . Sejam γ i = I 0 β i , i =1, 2, ..., n e<br />
K = H [fγ 1 ,γ 2 , ..., γ n g: isto é, substituimos em G todas as isometrias inversas pelas suas<br />
compostas com a inversão central, obtendo assim n rotações distintas; se α j = γ i = I 0 β i ,<br />
seria α j β −1<br />
i = I 0 o que contraria a nossa hipótese: temos assim que K éumconjunto<strong>de</strong><br />
2n rotações. Acontece que K éumgrupo:<br />
Exercício 126 Mostre que <strong>de</strong> facto K ∙ SO(3).<br />
64