Actualmente estoy explorando las generalizaciones de triángulo de la geometría de dimensiones superiores. Sé que "cuestiones importantes" de la geometría Euclidiana, ya han sido abordados y se considera obsoleto; la mayoría de los matemáticos son más curioso acerca de "espacios curvos", donde muchos de los "básicos" de las preguntas siguen siendo misterios. Sin embargo, creo que hay algunos muy fascinante resultados en esta geometría Euclidiana, que vale la pena la atención (aunque es probable que no tienen gran impacto en otras áreas de las matemáticas.)
De todos modos, yo soy, en particular, tratando de generalizar varios conceptos comunes en el tradicional triángulo de geometría como circumsphere/circuncentro (esfera circunscrita a un determinado simplex y su centro), insphere/incentro (esfera inscrita en un determinado simplex y su centro), ortocentro (intersección ortogonal de líneas trazadas a partir de los vértices de un determinado simplex a su opuesto faceta). Sin embargo, es más que posible que lo que estoy trabajando es abordado anteriormente.
Aquí es donde necesito vuestra ayuda. ¿Alguien sabe alguna referencia previa a los estudios?
Yo también voy estado dos teoremas que he descubierto en el camino, que se puede hacer antes de forma individual en otros contextos. Tenga en cuenta que el Teorema 1 es una versión simplificada de una cuestión que se ha abordado en las Matemáticas.SE anteriormente.
Definición. Dado $n$ vectores en $\mathbb{R}^{n-1}$ en general posición: $\{\vec{a}_1, \cdots, \vec{a}_n\}$, cualquier punto de $\vec p\in \mathbb{R}^{n-1}$ puede ser expresado como una normalizado combinación lineal $\vec p =\sum p_i \vec a_i$ donde $\sum p_i=1$. A continuación, señalamos $(p_1,\cdots,p_n)$ $[\vec p]$ y la llamamos (absoluta) baricéntrico coordenadas de $\vec p$.
Teorema 1. Si dos puntos de $\vec p,\vec q$ han baricéntrico coordenadas $[\vec p]=(p_1,\cdots,p_n)$$[\vec q]=(q_1,\cdots, q_n)$, entonces podemos expresar la distancia entre los dos puntos en términos de baricéntrico coordenadas de la siguiente manera: $$||\vec p -\vec q||^2= -\frac12\sum_{1\le i,j\le n} (p_i-q_i)(p_j-q_j)||\vec{a}_i-\vec{a}_j||^2$$
Teorema 2. Denotar por $D$ la matriz tal que $D_{ij}=||\vec a_i-\vec a_j||^2$. No existe una única esfera $S$ que $\{\vec{a}_1,\cdots,\vec{a}_n\}\subset S$. A continuación, un punto con coordenada baricéntrica $(x_1,\cdots, x_n)$ se encuentra en esta esfera iff $$ \sum_{1\le i,j\le n} {D}_{ij}x_ix_j=0$$