Vamos a realizar un pequeño «experimento». Echa un vistazo por tu casa, ahora mismo si quieres, y busca una caja que tenga todas sus caras distintas. No, no te vale una caja de zapatos, ya que sus caras son (habitualmente) iguales por parejas. ¿Encuentras alguna?
Posiblemente no, ya que normalmente las cajas que tenemos a mano suelen tener todas forma de cuboide (la de zapatos). Aunque bueno, puede que alguno de vosotros tenga por ahí alguna con una forma extraña que nos pueda servir como ejemplo de caja con todas sus caras distintas, ya que en realidad sí pueden encontrarse cajas con esta característica. Por ejemplo, podemos tomar un cuboide y cortarle un trocito de la siguiente forma:
Evidentemente, cuando hablamos de «caja» en este contexto queremos decir poliedro (es decir, una figura geométrica en tres dimensiones cuyas caras son planas (polígonos) y el volumen interior es finito) convexo (es decir, que cumple que todo segmento que une dos puntos del poliedro está contenido en el interior del propio poliedro). Pero en lo relativo a que sus caras sean todas distintas vamos a afinar un poco más. Hemos visto que hay poliedros que tienen todas sus caras distintas, pero ¿habrá poliedros cuyas caras sean todas polígonos con un número distinto de lados? Es decir, buscamos un poliedro donde no se repita ningún polígono en lo que a número de lados se refiere: que no haya dos o más triángulos, ni dos o más pentágonos, etc. ¿Podremos encontrar ahora algún poliedro con esta característica?
Antes de responder intentad que no os influya la idea de regularidad poliédrica que solemos tener en la cabeza (lo que comenté antes de que habitualmente las cajas que tenemos cerca son esencialmente iguales) y pensad en la tremenda variedad que podemos encontrar en el mundo de los poliedros, y también en la barbaridad de polígonos que pueden hacer de cara de un poliedro…
…¿lo habéis pensado ya? Bien, pues ahí va la respuesta: no se puede encontrar ningún poliedro cuyas caras sean todas polígonos con números distintos de lados. ¿Os lo creéis? ¿Así, sin más? ¿Tan fácil ha sido? Hombre, quizás sería necesaria una demostración, ¿verdad? Bien, pues vamos a ver una que aparece en el libro Mapas del metro y redes neuronales, de Claudi Alsina.
Supongamos que tenemos un poliedro convexo que tiene un número de caras igual a
Vamos a llamar
a la cantidad de números naturales
para los cuales el poliedro
tiene al menos una cara con
aristas. Por ejemplo, un cubo tiene
, ya que solamente hay un número natural para el cual el cubo tiene caras con esa cantidad de aristas: el 4. Y llamemos ahora
al número de aristas que tiene la cara de
con más aristas. En el cubo tendremos que
, ya que ésa es la mayor cantidad de aristas que tiene una cara de un cubo.
Veamos otro ejemplo para aclarar un poco más el asunto. Si es el prisma de base hexagonal que podemos ver a la derecha, se tiene que
, ya que hay dos números naturales para los cuales este prisma tiene al menos una cara con esas cantidades de aristas: el 4 y el 6. Por otro lado,
en este prisma, que es el mayor número de aristas que tiene una cara del mismo.
Bien, aclarado esto vamos a jugar un poco con estos números. Evidentemente tiene al menos una cara con
aristas (ya que
era el número máximo de aristas que tenía una cara de
). Pero cada arista de dicha cara es también arista de otra cara de
, lo que nos da
caras más. Por tanto, el número de caras de
es, al menos,
(la que tiene
aristas más las
caras correspondientes a dichas aristas). Con esto llegamos a la primera expresión interesante:
Por otra parte, las caras de podrán tener 3 aristas (no pueden tener menos, no serían polígonos), ó 4 aristas, ó 5,…,ó
(que era el número máximo de aristas de una cara de
). Si todas las caras tuvieran un número distinto de lados, todos esos números serían alguno del conjunto
, conjunto en el que hay
números. Pero hemos dicho antes que
es la cantidad de números
para los cuales hay una cara con
aristas. Por tanto
no puede ser mayor que
. Y esto nos da una segunda relación
que vamos a escribir así:
Ya casi hemos terminado. Tenemos estas dos relaciones:
De ellas obtenemos lo siguiente:
Es decir, debe ser .
Pero, y aquí está la clave, pensemos en cómo sería todo esto si nuestro poliedro inicial tuviera todas sus caras con un número distinto de lados. Hemos dicho que es su número de caras y que
es la cantidad de «números de lados distintos», es decir, de nuevo el número de caras (recordemos que estamos suponiendo que todas las caras tienen números de lados distintos). Esto significa que en un poliedro como el nuestro debería ser
, expresión que entra en contradicción con la obtenida hace unos instantes,
.
La conclusión de todo esto es que, como comentamos antes, no hay poliedros convexos en los que todas sus caras tengan un número distinto de lados. Por tanto, señores virtuosos de la papiroflexia, ni os molestéis en intentar construir una caja tan rara porque no podréis. Parece que por mucho «desorden» que tenga un poliedro en lo referido al número de lados de sus caras, este «desorden» nunca será «completo», hecho que, por otra parte, seguro que más de uno considera inquietante…
Este post se publicó inicialmente en Naukas, donde lo podéis ver en ¿Se puede construir una caja que tenga todas sus caras distintas?.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Información Bitacoras.com…
Valora en Bitacoras.com: Vamos a realizar un pequeño “experimento”. Echa un vistazo por tu casa, ahora mismo si quieres, y busca una caja que tenga todas sus caras distintas. No, no te vale una caja de zapatos, ya que sus caras son (habitualment……
[…] "CRITEO-300×250", 300, 250); 1 meneos ¿Existen poliedros cuyas caras sean todas distintas? gaussianos.com/existen-poliedros-cuyas-caras-sean-todas-d… por el_alexis hace […]
La verdad es que de entrada sorprende un poco el resultado.
Pero la demostración sirve igual para todos los poliedros, no sólo para los convexos ¿no?.
Llevo pensando en ello desde que en Naukas dejaron un comentario preguntándolo…y no, no se me ocurre ahora mismo ninguna razón por la que no valga para uno no convexo…aunque igual se nos está pasando algo.
O no he entendido bien el planteamiento o la imposibilidad está en el propio enunciado.
Si hubiera un poliedro solución bastaría con fijarse en la cara con mayor numero de lados. Supongamos que son k lados.
Esta cara estará unida a otra por cada una de sus aristas, es decir, tendrá k caras adyacentes. Esto quiere decir que el poliedro tiene k caras con menos de k lados, y k números enteros menores que k incluyen el 2, ell 1 y el 0 que no son lados válidos para la cara de un poliedro.
JJGJJG, básicamente ésa es la idea de la demostración del post, aunque tengo que reconocer que tu razonamiento está expresado de manera mucho más simple. Enhorabuena :).
Por cierto, sigo sin encontrar ninguna razón que obligue a que el poliedro sea convexo. ¿Alguien ve alguna?
Supongo que es suficiente con que sea topológicamente equivalente a uno convexo. Es decir, que no tenga túneles ni agujeros, no se corten las caras, no concurren más de dos en una arista, etc
Muy buena, JJGJJG 😀
Mira que es curioso el mundo. Este mismo problema salió en la fase catalana para la Olimpiada Española de Matemáticas del curso 2008-2009. Evidentemente no lo hice…
Si se permite utilizar cada tipo de polígono como mucho dos veces sí que es posible. Con tipo de polígono me refiero a que dos polígonos son del mismo tipo si tienen la misma cantidad de vértices. Tomando dos pentágonos ABCDE y ABXYZ no coplanarios de modo que las rectas CX, DY, EZ sean paralelas. Podemos describir las caras de nuestro poliedro de 8 vértices como los dos pentágonos anteriores, dos triángulos BCX y AEZ, dos cuadriláteros DYZE, DYXC