Sinを1
中寺3
を
証明 ャーー 0のときを考えるのであるから・ 0<lz|く<今 としてよい。
点O を中心とする半径1 の円において,
中心角+の扇形0AB を考える。点B から OA に下ろした垂線を
0 BH, 点 A における円 0 の接線が OB の延長と交わる点をT とす
ると, AT は 0A に垂直で」 画策に2
AOABく扇形0ABくAO
BHニsinx。 AT=tan%iであ
加 0<*<信 のとき
」 in博計靖還
2 sinzくテ テ
よって sinxくz
各辺を sinxで割ると
るから