正弦定理よりであるから、トレミーの定理より
となる。相加平均と相乗平均の関係より
…(☆)である。
以下、等号が成立するようなが存在することを示す。
とおく。
は
の連続関数であり、
なので中間値の定理より
となる
が存在し、このとき☆の等号成立条件を満たす。
以上より、求めるべきの値は
である。
正弦定理よりであるから、トレミーの定理より
となる。相加平均と相乗平均の関係より
…(☆)である。
以下、等号が成立するようなが存在することを示す。
とおく。
は
の連続関数であり、
なので中間値の定理より
となる
が存在し、このとき☆の等号成立条件を満たす。
以上より、求めるべきの値は
である。