I am currently exploring generalizations of triangle geometry to higher dimensions. I know that "important questions" of Euclidean geometry have been already addressed and is considered obsolete; most mathematicians are more curious about "curved spaces" where many "basic" questions still remain as mysteries. However, I think that there are some very fascinating results in this Euclidean geometry that are worth some attention (although they likely don't have big impact in other areas of mathematics.)
Anyway, I am in particular trying to generalize several common concepts in traditional triangle geometry like circumsphere/circumcenter (circumscribed sphere to a given simplex and its center), insphere/incenter (inscribed sphere to a given simplex and its center), orthocenter (intersection of orthogonal lines drawn from vertices of a given simplex to its opposite facet). However it is more than possible that what I am working on is tackled previously.
Here's where I need your help. Does anyone know any previous references to studies as such?
I'll also state two theorems I discovered on the way, which may be done before individually in other contexts. Note that Theorem 1 is a further simplified version of a question that was addressed on Math.SE previously.
Definition. Given $n$ vectors in $\mathbb{R}^{n-1}$ in general position: $\{\vec{a}_1, \cdots, \vec{a}_n\}$, any point $\vec p\in \mathbb{R}^{n-1}$ can be expressed as a normalized linear combination $\vec p =\sum p_i \vec a_i$ where $\sum p_i=1$. Then we denote $(p_1,\cdots,p_n)$ by $[\vec p]$ and we call it (absolute) barycentric coordinates of $\vec p$.
Theorem 1. If two points $\vec p,\vec q$ have barycentric coordinates $[\vec p]=(p_1,\cdots,p_n)$ and $[\vec q]=(q_1,\cdots, q_n)$, then we can express distance between the two points in terms of barycentric coordinates as follows: $||\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$
Theorem 2. Denote by $D$ the matrix such that $D_{ij}=||\vec a_i-\vec a_j||^2$. There exists a unique sphere $S$ for which $\{\vec{a}_1,\cdots,\vec{a}_n\}\subset S$. Then a point with barycentric coordinate $(x_1,\cdots, x_n)$ lies on this sphere iff $ \sum_{1\le i,j\le n} {D}_{ij}x_ix_j=0$