是一个几何学定理，它表明任何一个正四面体内切于其面的三角形在三个面上的三条边的平方和是相等的。

这个定理最初是由古希腊数学家阿基米德在公元前220年左右提出的。

这个定理可以用于解决一些几何学问题，例如计算三角形的面积或找到一个三角形内接（或外接）圆的半径。

此外，它还可以应用于物理学中的一些力学问题。

总之，是一个几何学中的重要定理，具有广泛的应用价值。