問題
三角形 の内接円の半径を 、外接円の半径を とし、
とする。また、、、 とおく。
(1) となることを示せ。
(2)三角形 が直角三角形のとき が成り立つことを示せ。また、等号が成り立つのはどのような場合か。
(3)一般の三角形 に対して
が成り立つことを示せ。また、等号が成り立つのはどのような場合か。
方針
解法1
面積を 、半周長を とし、 と 、さらに正弦定理 を組み合わせる。 などを代入し、 から を使う。(2)(3)は の最大化で、和が一定のもとで2つの角を平均化すると積が増えることを用いる。
解法2(対数の凹性で最大化)
設問(1)の半角公式を得た後、 の凹性を使って、和が一定の正の角の正弦積は角が等しいとき最大になることを一度に示す。
解答
解法1
(1)
三角形の面積を 、半周長を とする。よく知られた面積公式より であり、また外接円半径を用いると である。正弦定理より なので である。一方 である。したがって
である。
ここで 、、 であり、 である。このとき が成り立つ。また などであるから
である。
(2)
直角三角形であるとする。たとえば としてよい。このとき である。(1)より である。
和 が一定のとき、 であり、等号は のときである。したがって である。さらに だから である。等号は のとき、すなわち直角をはさむ2角が等しい直角二等辺三角形のときに成り立つ。
(3)
一般の三角形では である。2つの正の角 について、和を一定にすると であり、等号は のときである。したがって、 のうち等しくない2つを平均に置き換えると、 は小さくならない。
これを繰り返すと、積が最大になるのは のときである。よって
である。等号は すなわち のときであり、三角形 が正三角形のときに限る。
解法2(対数の凹性で最大化)
(1)
面積公式 と正弦定理から整理すると
ここで とおくと
だから は凹関数(高校数学の表現では上に凸)である。
(2)
直角三角形では、例えば 、 である。 の凹性から は で最大となるので
等号は直角二等辺三角形のときである。
(3)
一般には同様に、 のもとで正弦積は
のとき最大である。したがって
等号は正三角形のときに限る。