No label defined (Q4031937)

Let \({\mathcal A}=(A_ 1,A_ 2,\dots,A_{n+1})\) be a coordinate simplex in \(E^ n\), with vertices \(A_ 1,A_ 2,\dots,A_{n+1}\), and directed volume \(V({\mathcal A})\). Let \(\overline f_ i(i=1,2,\dots,n+1)\) be an \((n- 1)\)-dimensional simplex, with vertices \(A_ 1,A_ 2,\dots,A_{i- 1},A_{i+1},\dots,A_{n+1}\), and unit normal vector \(\overline e_ i\). From any point \(M\) in \(E^ n\) draw straight lines \(MH_ i\) perpendicular to \(\overline f_ i\) and let \(H_ i\) denote the feet of these perpendiculars. Then the simplex \({\mathcal A}_ M=(H_ 1,H_ 2,\dots,H_{n+1})\) is called the simplex with feet of perpendicular as vertices on \(M\), with directed volume \(V({\mathcal A}_ M)\) and the angles \(\alpha_ i=\arcsin|\text{det}(\overline e_ 1,\dots,\overline e_{i-1},\overline e_{i+1},\dots,\overline e_{n+1})|\) are called vertex-angles on vertices \(A_ i(i=1,2,\dots,n+1)\) in \({\mathcal A}\). The author proves the following conclusions: \[ \begin{multlined} V({\mathcal A}_ M)=(-1)^ nV({\mathcal A})\cdot\sum^{n+1}_{i=1}\left(\prod^{n+1}_{{j=1\atop j\neq i}}r_ j\right)\sin^ 2\alpha_ i \\ =(-1)^ nn^{2n}(V({\mathcal A}))^{2n- 1}\cdot\sum^{n+1}_{i=1}\left(\prod^{n+1}_{{j=1\atop j\neq i}}r_ j\right)|\overline f_ i|2\left / \left((n!)^ 2\prod^{n+1}_{i=1}| f_ i|^ 2\right),\right. \end{multlined} \tag{1} \] if \((r_ 1,r_ 2,\dots,r_{n+1})\) are normalized barycentric coordinates of any point \(M\) in \(E^ n\) and \(| f_ i|\) are the volumes of \(f_ i(i=1,2,\dots,n+1)\). (2) \(\sum^{n+1}_{i=1}\left(\prod^{n+1}_{{j=1\atop j\neq i}}x_ i\right)\sin^ 2\alpha_ i\leq\left({1\over n}\sum^{n+1}_{i=1}x_ i\right)^ n\), if \(x_ 1,x_ 2,\dots,x_{n+1}\left(\sum^{n+1}_{i=1}x_ i\neq 0\right)\) are any \(n+1\) nonnegative real numbers. (3) \(| V({\mathcal A}_ M)|\leq{1\over n^ n}| V({\mathcal A})|\), if \(M\) is an interior point of \({\mathcal A}\) or \(\overline f_ i\). The conditions for equalities in (2), (3) to hold are given.