1996 京都大学 後期MathJax
与えられた条件は、 を三辺とする三角形Tが存在し、その外接円の半径が1未満であるということと同値である。
が必要である。以下、この条件のもとで考える。
三角不等式は ,
⇔ ,
⇔
であり、この中辺はTの対辺の長さが1となる角の大きさをθとおいたときの の値である(∵余弦定理)。
Tの外接円の半径が1未満であることは正弦定理より と同値である。
これを変形して、 (このとき三角不等式は成立する)より
⇔
が求める領域となる(これは
を満たす)。(図省略)