補助問題2証明
半径π/3(以下a)の円に内接し、最短辺の長さがπ/3以上三角形で,2番目に短い辺BC(以下s)の長さが最大となるのは,a,s,sの二等辺三角形である。1辺がaの正三角形の1つの内角をφとすると(図Ⅱ)、球面余弦定理より
cosa = cosb cosc + sinb sinc cosA(下図Ⅰ)
が成り立つので
図Ⅱより
(Ⅱ)
となる。a=π/3よりcosφ=1/3ゆえ
を得る
ところで三角形の各辺の長さはa以上で、外接円の半径はa以下ゆえBC<c
続く ・・・12ptにすべきだったorz





