展开 闵可夫斯基不等式证明过