2008-11-25 ■ ゼミ Exercise: 単体に内接・外接する球の半径、カーマーカー法の標準形 担当発表者が以下のようなエレガントな証明をしてくれました。 Assume , then . proof) From the assumption, we have . and, hence . On the other hand, using Jensen's ineq., we have If , the inequality holds. This is the contradiction.