Tio Petros



Este blog es una invitación a dar un paseo por la matemática. Intentaré comentar los aspectos más bellos y si es posible menos tópicos de la misma. En todo caso, es tan sólo un paseo que debe darse como se hace en una soleada tarde de verano: con placer.

Temas



Archivos

Enlaces

Matemáticas

Ciencia

Escepticismo

Bitácoras amigas

Divulgación

Estadísticas

  • http://www.nedstatbasic.net/stats?ACs5xQ7APKErFjyOiYVX8yX9V4kw
  • http://www.ademails.com/estadisticas1059866389.htm

Otros


Poliedro imposible

Para el fin de semana, un problema muy sencillo y sorprendente:

demostrar que no puede existir ningún poliedro tal que sea inestable sobre todas sus caras.

Una de las cosas curiosas de este problemilla es que admite una demostración desde fuera de la matemática. Desde la física, concretamente, y más concretamente desde ¡la termodinámica!

_____________________________________________________________________________

HACE UN AÑO nos introducíamos en los espacios de dimensión infinita y preguntábamos cuál era la mayor longitud de un segmento que podía introducirse en el interior de un cubo y de una esfera infinitas dimensiones. La respuesta era bastante antiintuitiva: dentro de una esfera de radio unidad cabía un segmento de dos unidades,pero dentro de un hipercubo de arista unidad cabía toda una recta infinita. Un lector planteó una aparentemente impecable demostración contraria, que dió paso a este post y al siguiente, demostrando una vez más que los lectores son los que dan la vida al blog.

Que tengan un feliz fin de semana, y que ni los políticos se lo puedan amargar...
17/12/2004 12:38

Comentarios » Ir a formulario

gravatar.com
Autor: Palimp

Como ya me lo sé, me abstengo de participar.
¡Saludos!

Fecha: 17/12/2004 09:38.


gravatar.com
Autor: Vailima

Yo no me lo sé pero se lo voy a consultar a un matemático que vive conmigo.
Un saludo

Fecha: 17/12/2004 13:18.


gravatar.com
Autor: Vailima

Vamos a ver, que he estado pensando un poco y me ha dolido... si la segunda ley de la termodinámica va a hacer que mi pecho se caiga, ¿qué no hará con algunas caras de un poliedro?
pues lo mismo, ya verás, ya. Tarde o temprano se caerán y de esta guisa demuestro de un plumazo y yo solita que no puede existir ningún poliedro tal que sea inestable sobre todas sus caras.
Me parece que me he liado y que ésta no es la solución ¿no? jeje
esperaré a que llegue a casa el matemático...

Fecha: 17/12/2004 14:13.


gravatar.com
Autor: Jorje

Si fuese inestable en todas sus caras, tendríamos un móvil perpétuo...

Fecha: 17/12/2004 15:49.



Autor: Raquel

Y eso lo prohíbe la primera ley de la termodinámica!!!

Qué buenooooooo!!!!!!

Fecha: 17/12/2004 16:54.



Autor: TioPetros

Bien. Ahora falta la demostración puramente matemática.

Fecha: 17/12/2004 20:25.



Autor: Nico

Jum... Creo que leí este problema hace años en un libro de Martin Gardner, y resulta que me acuerdo de la solución "física", pero no de la solución geométrica.

Fecha: 17/12/2004 22:25.



Autor: samu

estamos hablando en geometria euclidea, no?

Fecha: 18/12/2004 12:44.



Autor: TioPetros

Sí, Samu. Podemos circunscribirnos a R3 concebido como un espacio euclídeo. Entiende "poliedro" en sentido habitual.

Fecha: 18/12/2004 15:12.


gravatar.com
Autor: Ramiro

Sea di la distancia del centro de masas del poliedro a la cara i. Existe una cara (quizás no única)que hace dicho valor mínimo. Cuando el poliedro descansa sobre dicha cara es estable, ya que en caso contrario la cara a la que volcaría estaría a menor distancia del centro de masas que la actual, contra la suposición inicial.

Por lo tanto el poliedro inestable sobre todas sus caras no existe.

Fecha: 19/12/2004 18:01.



Autor: samu

Supongo que si un poliedro es inestable en todas sus caras no tenemos derecho a decir que existe su centro de masas.
La verdad es que yo de fisica ni idea. Me falta una definicion matematica de "cara inestable" xD.

Fecha: 19/12/2004 18:41.



Autor: jose

Ha llegado a mis oídos el siguiente enunciado:

"Si se toman al azar dos números naturales, la probabilidad de que no tengan divisores comunes es 6/Pi^2 ."

¿Es cierto? Si lo es, ¿por qué?

Fecha: 19/12/2004 23:15.



Autor: BitFarmer

La demostracion fisica esta clara, pero la matematica se me resiste.

Si una cara es estable, eso significa que si proyectamos perpendicularmente a la cara el centro de gravedad, su proyeccion cae dentro de la cara (o en su envoltura convexa), asi que el enunciado equivale a decir que el centro de gravedad no esta en la "columna" que se forma al proyectar una cara en direccion perpendicular a ella misma.

Es como construir todos los cilindros con base una de las caras (cilindros en el sentido mas amplio, e incluyendo el interior), y demostrar que el centro de gravedad no esta dentro de nignuno de ellos.

Intuitivamente no puede ser, pero como poner esto en claro?

Seria como demostrar, en el plano, que si sobre cada segmento del poligono dibujamos una columna que sube hacia el centro del poligono, estas columnas cubren todo el poligono.

Con esto, sabriamos que el centro de gravedad, cae en alguna de esas columnas, y entonces la cara correspondiente es estable.

Pero pasar de la intuicion geometrica a la demostracion, eso no veo como, me debe faltar algun resultado de convexos o algo del estilo.

Fecha: 20/12/2004 08:51.



Autor: BitFarmer

Creo que lo tengo: Si buscamos el punto de la frontera mas cercano al centro de gravedad, el segmento que una al centor con este punto DEBE ser perpendicular a la cara donde caiga dicho punto, asi que esa cara TIENE que ser estable!

El porque tiene que ser asi, es porque como el objeto es convexo, el punto mas cercano a un punto interior no puede caer en una arista (espero que os valga la intuicion, es tedioso escribir todos los casos), asi que no puede caer en una arista, y por los mismos razonamientos, pero con mas razon aun, no puede tampoco caer en una esquina (ademas, la esquina pertenece a una arista siempre), asi que cae en el interior de una de las caras.

El que el segmento que une ambos puntos es perpendicular a la cara tambien es intuitivo, si no fuera asi, habria una direccion en la que si nos movemos nos acercamos mas al centro sin salirnos de la cara (contradiccion, era el mas cercano).

En fin, que limando algunos detalles, creo que asi se podria demostrar.

Fecha: 20/12/2004 09:01.



Autor: TioPetros

Efectivamente, BitFarmen ha dado en el clavo.

Considerar el poliedro como convexo es conveniente, porque en caso contrario pudiera ser estable sobre tres vértices que no formen una cara. Decididamente podemos introducir la convexidad en el enunciado.

Fecha: 20/12/2004 13:38.



Autor: BitFarmer

Si, ya lo pense (luego, claro), que si no era convexo, se aplicaria el razonamiento a su "envoltura convexa", que es como meter el poliedro en un condon -perdon a los muy catolicos, pero creo que para este si se puede usar.

Pero me surje una duda filosofica... si el poliedro original solo es estable en una cara "fantamas", es decir, apoyado en tres vertices pero sin una cara que los una... entonces, no es estble sobre ninguna de sus caras! Ya que para ser estable, primero debes poder poner el poliedro sobre una mesa apoyado sobre esa cara... es mas un problema de lenguaje.

Finalmente se demostraria que alguna cara "real" debe ser estable, pero eso introduce mas "lineas de codigo" a la demostracion.

Fecha: 21/12/2004 14:37.



Autor: BitFarmer

Encontre un "contraejemplo" curioso:

Imaginar un simple cubo, pero en cada cara, le "restamos" una piramide con esa base y altura pequeña. Obtenemos un cubo con 6 pequeñas piramides quitadas, y ninuna cara podria ponerse encima de la mesa... a no ser hagamos una mesa a medida, muy chiquita.

Esas caras son "estables"? Todas lo son siempre que usemos la mesa de la "Barbie".

Bueno, es coña, las caras son todas estables por lo que yo entiendo, pero la mesa de la Barbie nos hara falta para comprobarlo "in situ".

Fecha: 21/12/2004 14:42.



Autor: TioPetros

La "envoltura convexa" de un poliedro es como meter el poliedro en un condón. Me encanta, BitFarmer.

Fecha: 22/12/2004 14:29.



Autor: mewt

Como ya está resuelto, sólo añado un pequeño detalle: una cara es estable cuando la proyección ortogonal del centro de masas sobre el centro definido por dicha cara se encuentra en el interior de la misma. Si la proyección cae fuera de la cara el poliedro "se vuelca" en esa dirección. El hecho de que la cara más cercana al baricentro (para los que nos os guste hablar de centro de gravedad) es estable se muestra de manera similar al caso de los polígonos.

Fecha: 22/12/2004 23:32.


gravatar.com
Autor: anthony

Por favor si alguien pueidra facilitarme un formulario de centro de gravedad, centros de masa y momentos de inercia

Fecha: 06/05/2006 20:18.


gravatar.com
Autor: omar

nesisitot un dibujo doe matematica imposible

Fecha: 10/08/2006 03:27.


Añadir un comentario

*

*
No será mostrado.


*

* Datos requeridos.


Suscrí
bete a este blog. RSS 2.0 Este Blog ha sido creado con Blogia. Ver derechos de autor . Estadísticas. Admin. [Blogia colabora con iCities, 1001 relatos y el I Encuentro Rural de Blogs.]