Poliedro de Schönhardt
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f3/Sch%C3%B6nhardt_polyhedron.svg/220px-Sch%C3%B6nhardt_polyhedron.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d5/Sch%C3%B6nhardt_polyhedron.stl/220px-Sch%C3%B6nhardt_polyhedron.stl.png)
En geometría, el poliedro de Schönhardt es el poliedro no convexo más simple que no puede descomponerse en tetraedros sin agregar nuevos vértices. Lleva el nombre del matemático alemán Erich Schönhardt, quien lo describió en 1928.[1] Los mismos poliedros también se han estudiado en relación con el teorema de rigidez de Cauchy como un ejemplo en el que poliedros con dos formas diferentes tienen caras de la misma forma.
Construcción
[editar]Una forma de construir el poliedro de Schönhardt comienza con un prisma triangular, con dos triángulos equiláteros paralelos como bases. Uno de los triángulos está girado alrededor de la línea central del prisma, rompiendo las caras cuadradas del prisma en pares de triángulos. Si se elige que cada uno de estos pares sea no convexo, el resultado es el poliedro de Schönhardt.[2]
Propiedades
[editar]El poliedro de Schönhardt tiene seis vértices, doce aristas y ocho caras triangulares. Los seis vértices del poliedro de Schönhardt se pueden utilizar para formar quince pares de vértices desordenados. Doce de estos quince pares forman aristas del poliedro: hay seis aristas en las dos caras del triángulo equilátero y seis aristas que conectan los dos triángulos. Los tres bordes restantes forman las diagonales del poliedro, pero se encuentran completamente fuera del poliedro.[3]
La envolvente convexa del poliedro de Schönhardt es otro poliedro con los mismos seis vértices y un conjunto diferente de doce aristas y ocho caras triangulares; y ambos son combinatoriamente equivalentes a un octaedro. La diferencia simétrica del poliedro de Schönhardt consta de tres tetraedros, cada uno de los cuales se encuentra entre una de sus aristas diédricas cóncavas y una de las diagonales exteriores. Por lo tanto, el poliedro de Schönhardt se puede formar eliminando estos tres tetraedros de un octaedro convexo (pero irregular).[4]
Imposibilidad de triangulación
[editar]Es imposible dividir el poliedro de Schönhardt en tetraedros cuyos vértices sean vértices del poliedro. Más claramente, no existe ningún tetraedro que se encuentre completamente dentro del poliedro de Schönhardt y que tenga vértices del poliedro como sus cuatro vértices. Esto se deduce de las dos propiedades siguientes del poliedro de Schönhardt:[3]
- Todo triángulo formado por sus aristas es una de sus caras. Por lo tanto, al no ser un tetraedro en sí, todo tetraedro formado por cuatro de sus vértices debe tener una arista que no comparte con el poliedro de Schönhardt.[3]
- Cada diagonal que conecta dos de sus vértices pero que no es una arista del poliedro de Schönhardt se encuentra fuera del poliedro. Por lo tanto, todo tetraedro que utilice una diagonal como una de sus aristas también debe quedar en parte fuera del poliedro de Schönhardt.[3]
Poliedro saltador
[editar]En relación con la teoría de los poliedros flexibles, los casos del poliedro de Schönhardt forman un poliedro saltador, es decir, un poliedro que tiene dos estados rígidos diferentes, ambos con las mismas formas de cara y la misma orientación (convexa o cóncava) de cada arista. Se puede hacer que un modelo cuya superficie esté hecha de un material rígido pero algo deformable, como cartulina, salte entre las dos formas. Un modelo sólido no podría cambiar de forma de esta manera. Tampoco podría hacerlo un modelo hecho de un material más rígido como el vidrio: aunque podría existir en cualquiera de las dos formas, sería incapaz de deformarse lo suficiente como para moverse entre ellas. Esto contrasta con teorema de rigidez de Cauchy, según el cual, para cada politopo convexo, no existe ningún otro poliedro que tenga las mismas formas de cara y orientaciones de arista.[5]
Construcciones relacionadas
[editar]Rambau (2005) demostró que el poliedro de Schönhardt se puede generalizar a otros poliedros, combinatoriamente equivalentes a los antiprismas, que no se pueden triangular. Estos poliedros se forman conectando k-gonos regulares en dos planos paralelos, torcidos entre sí, de tal manera que k de las 2k aristas que conectan los dos k-gonos tienen diedros cóncavos. Para ángulos de torsión suficientemente pequeños, el resultado no tiene triangulación.[4][6] Otro poliedro que no se puede triangular es el icosaedro de Jessen, combinatoriamente equivalente al icosaedro regular.[2]
En una dirección diferente, Bagemihl (1948) construyó un poliedro que comparte con el poliedro de Schönhardt la propiedad de que no tiene diagonales internas. El tetraedro y el poliedro de Császár no tienen diagonal alguna: cada par de vértices de estos poliedros forma una arista.[3] Sigue siendo una cuestión abierta si existen otros poliedros (con límite en una variedad) sin diagonales,[7] aunque existen superficies no múltiples sin diagonales y con un número de vértices mayor que cinco.[8]
Aplicaciones
[editar]![](http://upload.wikimedia.org/wikipedia/commons/2/26/Tensegrity_simple_3.gif)
Ruppert y Seidel (1992) utilizaron el poliedro de Schönhardt como base para una demostración NP-completa mediante la que se determina si un poliedro no convexo puede triangularse. La prueba utiliza muchas copias del poliedro de Schönhardt, sin su cara superior, como subunidad dentro de un poliedro más grande. Cualquier triangulación del poliedro general debe incluir un tetraedro que conecte la cara inferior de cada subunidad con un vértice en el resto del poliedro desde el que pueda verse la cara inferior. El complejo patrón de obstrucciones entre tetraedros de este tipo se puede utilizar para simular componentes lógicos boleanos en una reducción a partir del problema de satisfacibilidad booleana.[4][10]
Referencias
[editar]- ↑ Schönhardt, E. (1928), «Über die Zerlegung von Dreieckspolyedern in Tetraeder», Mathematische Annalen 98: 309-312, doi:10.1007/BF01451597.
- ↑ a b Bezdek, Andras; Carrigan, Braxton (2016), «On nontriangulable polyhedra», Beiträge zur Algebra und Geometrie 57 (1): 51-66, MR 3457762, S2CID 118484882, doi:10.1007/s13366-015-0248-4.
- ↑ a b c d e Bagemihl, F. (1948), «On indecomposable polyhedra», American Mathematical Monthly 55 (7): 411-413, JSTOR 2306130, doi:10.2307/2306130.
- ↑ a b c De Loera, Jesús A.; Rambau, Jörg; Santos, Francisco (2010), «Example 3.6.1: Schönhardt’s polyhedron», Triangulations: Structures for algorithms and applications, Algorithms and Computation in Mathematics 25, Berlin: Springer-Verlag, pp. 133-134, ISBN 978-3-642-12970-4, MR 2743368, doi:10.1007/978-3-642-12971-1.
- ↑ Grünbaum, Branko (1975), Lectures on lost mathematics, pp. 41-42.
- ↑ Rambau, J. (2005), «On a generalization of Schönhardt's polyhedron», en Goodman, Jacob E.; Pach, János; Welzl, Emo, eds., Combinatorial and Computational Geometry, MSRI Publications 52, Cambridge: Cambridge University Press, pp. 501-516.
- ↑ Ziegler, Günter M. (2008), «Polyhedral surfaces of high genus», en Bobenko, A. I.; Schröder, P.; Sullivan, J. M. et al., eds., Discrete Differential Geometry, Oberwolfach Seminars 38, Springer-Verlag, pp. 191-213, ISBN 978-3-7643-8620-7, arXiv:math/0412093, doi:10.1007/978-3-7643-8621-4_10, math.MG/0412093.
- ↑ Szabó, Sándor (1984), «Polyhedra without diagonals», Periodica Mathematica Hungarica 15 (1): 41-49, doi:10.1007/BF02109370.; Szabó, Sándor (2009), «Polyhedra without diagonals II», Periodica Mathematica Hungarica 58 (2): 181-187, doi:10.1007/s10998-009-10181-x.
- ↑ Tobie, Roger (2012). «What Can You Learn From a Hole in the Ground?». Proceeding of the Natural Philosophy Alliance, 19th Annual Conference, 25-28 July, 2012, Albquerque, New Mexico 9. Lulu.com. p. 628. ISBN 978-1-105-95509-9.
- ↑ Ruppert, J.; Seidel, R. (1992), «On the difficulty of triangulating three-dimensional nonconvex polyhedra», Discrete & Computational Geometry 7: 227-253, doi:10.1007/BF02187840.
Enlaces externos
[editar]- Tres objetos no tetraédricos, D. Eppstein. Incluye un modelo 3D giratorio del poliedro de Schönhardt.