论文部分内容阅读
Ｅ＾ｎ中基本图形的度量方程是距离几何中的一个重要结果。作者提出了Ｅ＾ｎ中双基本图形的概念，建立了双基本图形的度量方程，并相应地推广了高维余弦定理，后者可以用于计算许多夹角，例如Ｅ＾３中异面直线的夹角和Ｅ＾２中四边形的对角线的夹角。最后，还把关于Ｅ＾ｎ中有限点集的一类几何不等式推广到基本图形为点的双基本图形。