8 votos

Tetraedros máximos inscritos en elipsoides

Pietro Majer citó el teorema de Michel Chasles en su pregunta de MO, "Curvas convexas con muchos triángulos inscritos maximizando el perímetro," que establece que los triángulos de máximo perímetro inscritos en una elipse forman una familia de un parámetro, todos "triángulos billar." (Este teorema es un caso especial del Teorema 17.6.6 en el libro de Berger Geometry II, p.243, que establece el resultado para polígonos convexas.) Mi pregunta es si se conoce alguna generalización a dimensiones superiores, y en particular, si existe un teorema análogo para tetraedros inscritos en elipsoides en $\mathbb{R}^3$. Presumiblemente, la generalización afirmaría que hay una familia de dos parámetros de tetraedros de área superficial máxima inscritos en una elipse. No he encontrado un teorema así, y me gustaría saber si se conoce o no.
                  Elipsoide

Actualización. Aquí está el ejemplo de Henry Cohn, mostrando solo la rebanada de la elipse $z=0$ que contiene sus tetraedros máximos degenerados:
                  Cohn

1 votos

Algo relacionado: "Cómo Encerrar un Huevo" de Oded Schramm demuestra que hay una familia de tetraedros convexos de 6 dimensiones que "midscribe" una elipsoide (es decir, todos sus bordes son tangentes a la elipsoide). digizeitschriften.de/dms/img/?PPN=GDZPPN002109468

0 votos

@jc: ¡Muy interesante! No sabía de este teorema. Parece estar conectado con "La prueba de Thurston de que la esfera puede ser inscrita por un politopo de combinatorias dadas".

1 votos

No me sorprende que las elipses no tengan esta propiedad; es bueno tener el contraejemplo de Henry. Dos comentarios: Primero, para la esfera (un caso especial), hay una familia de tetraedros de área superficial máxima inscritos en la esfera, a saber, los regulares. Por lo tanto, la primera pregunta parecería ser "¿Hay algún otro cuerpo convexo además de la esfera que soporte una familia de $3$ parámetros?". Segundo, un análisis similar al de las elipses en el plano indica que bien pueden haber muchas otras superficies que soporten una familia de $2$ parámetros. Los detalles seguirán cuando el tiempo lo permita.

6voto

travelbug Puntos 16

No he demostrado nada, solo he realizado algunos experimentos numéricos, pero no creo que siempre haya una familia de tetraedros de área superficial máxima inscritos en una elipsoide (aunque sí se obtiene una familia de dos parámetros de tetraedros regulares inscritos en una esfera). Para la elipsoide definida por $x^2+2y^2+3z^2=1$, el área superficial máxima parece ser $2\sqrt{2}$, y se logra mediante la familia de tetraedros degenerados de un parámetro con vértices $\pm (\alpha,\sqrt{(1-\alpha^2)/2},0)$ y $\pm (-\sqrt{1-\alpha^2},\alpha/\sqrt{2},0)$ para $-1 \le \alpha \le 1$. Estos son los únicos tetraedros de área superficial máxima que mi programa encontró para esta elipsoide.

0 votos

¡¡Very nice!! Although this shows the generalization I suggested does not hold, it may be that you have uncovered a different theorem here. These degenerate tetrahedra are the maximum-area quadrilaterals inscribed in the "fattest" slice of the ellipsoid.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X