>>176
証明自体は分かりました。ただ>>162の問題で「内心であることを証明せよ」
となっているのは、内心であると仮定して与式を導けばいいのか、それとも
HPの内心の式を証明してから、与式を変形してその式を導けばいいのでしょうか？