Opppn heim不等式 单调递减 二重随机矩阵的幂极限 两两正交 单形的体积 Pythagoras定理 单调递增数列 单形的棱长与体积 正整数 交单 单形体积 初等不等式 Klamkin不等式 高维 估计式 单形的棱与外接球半径 Finsler-Hadwiger不等式 单形的表面积 顶点角