关于切点单形的两个不等式

Definition Let A_i(i=1,2,…,n+1) be the vertex of a simplex Σ_A in n-dimen-sional Euclidean space Eⁿ and A_i′ be the tangent points which the inscribed sphere of Σ_A is tangent to the side face of Σ_A, then the simplex with the tangent points as vertexes is called the tangent points simplex.