Problema resolvido na íntegra
-
A sobra inutilizada de 90° quando três quadrados se encontram num vértice 5 passos
Três quadrados encontram-se num canto e deixam 90° por usar. Descubra o que acontece a esse resto — e por que razão ele decide se obtém um piso plano, um sólido ou nenhum dos dois.
-
O ângulo interno de um polígono regular resulta do facto de os seus ângulos externos somarem uma volta completa. Um quadrado dá 90°, e esse único número é toda a informação necessária para a questão.
-
Junte três deles à volta de um canto e usa 270°, deixando 90° de sobra. Num piso plano isso é um espaço vazio, e a figura não pode pavimentar o plano.
-
O espaço vazio não é desperdício. Dobre o canto para cima até as arestas se encontrarem e o ângulo restante transforma-se em curvatura — o canto passa a ser um vértice de um sólido. Se isso é sequer possível é decidido por um produto, e 2 é menor do que 4.
-
O sólido em que ele se fecha é o cubo. Conte os seus elementos e a relação de Euler verifica-se, tal como para todo o poliedro convexo: vértices menos arestas mais faces é igual a 2.
-
Agora some o ângulo restante em todos os oito cantos. 720° — e o teorema de Descartes diz que todo o poliedro convexo dá exatamente isso, qualquer que seja a sua forma. O cubo, o tetraedro e um bloco de 900 faces perfazem todos 720°.
Resposta
A ferramenta apresenta 90° por canto, 270° em redor de um vértice, 90° de sobra, o teste como 2 < 4, o 2 de Euler, e um defeito total de 720°. Um produto decide tudo: (p−2)(q−2) menor do que 4 fecha-se numa esfera, igual a 4 fica plano, maior do que 4 só cabe no espaço hiperbólico. É por isso que existem exatamente cinco sólidos platónicos e exatamente três pavimentações regulares do plano — {3,6}, {4,4}, {6,3}, o triângulo, o quadrado e o hexágono, e mais nada, nunca. Defina p = 6, q = 3 e observe o resto a ir para zero.
-
Referências (6)
- Why there is no sixth Platonic solid: Euclid, Elements, Book XIII, Proposition 18 and its closing Remark, which rules out further regular solids on the grounds that six equilateral triangles at a corner "will be equal to four right angles" and so lie flat. The edition by David E. Joyce, Clark University.
- The hyperbolic tilings and Escher: H. S. M. Coxeter, "The Non-Euclidean Symmetry of Escher’s Picture ‘Circle Limit III’." Leonardo 12(1), 19–25, 1979.
- The nested solids of Kepler: Johannes Kepler, Mysterium Cosmographicum. Tübingen, 1596 — the model that spaced the six known planets by inscribing the five regular solids between their spheres, and which Kepler spent the following decades replacing.
- Why the honeycomb is hexagonal: Thomas C. Hales, "The Honeycomb Conjecture." Discrete & Computational Geometry 25, 1–22, 2001 — the proof that the regular hexagonal tiling divides a surface into equal areas with the least total perimeter.
- Why so many viruses are icosahedral: D. L. D. Caspar and A. Klug, "Physical Principles in the Construction of Regular Viruses." Cold Spring Harbor Symposia on Quantitative Biology 27, 1–24, 1962.
- Hyperbolic space for hierarchies and networks: D. Krioukov, F. Papadopoulos, M. Kitsak, A. Vahdat and M. Boguñá, "Hyperbolic geometry of complex networks." Physical Review E 82, 036106, 2010.