简单的三角函数不等式.PDFVIP

此note獻給我的已故恩師沈昭亮‧ 1 簡單的三角函數不等式 定理 1.1 假設 ，則 sin 證明：由於 ，所以sin 為顯然‧假設 且 ‧做 垂直 交於 ‧ 則有 sin ‧利用歐幾里得平面距離公設(連接兩點之間以直線距離最短)得 弧 sin 定理 1.2 假如 ‧則 (1) sin ( )為絕對遞增‧ (2) 數列 sin 證明：令 所以對任意的自然數 ‧利用定理1.1，我們可 且 以推得(1)‧假設對做角平分線交圓於 ‧連接 與 ‧則 利用餘弦定理，我們可以求出 cos cos sin 1 其中我們使用了半角公式 cos sin 因此我們推得 sin 利用三角形兩邊之和 大於第三邊 ，我們得到 sin sin 令 我們將上式的 以取代，我們得到了 sin sin 此不等式兩邊同 乘 我們就得到了 sin sin 於是我們就得到了數列遞增性‧ ( )收斂‧以下我們將來計算這個 利用(1)與(2)與單調有界數列性質，我們證明了數列 sin 數列的極限‧ 定理 1.3 (阿基米德曲線公設)設表平面上一直線，且 為其上兩點‧若 與 為以 為端 點，而在 同側的兩凸形曲線