※ 引述《Crissangel (大家都叫我韩)》之铭言： : 要证明 : 在0<x<π/2时 : x-(1/2)*x^3<sinx<x : sinx<x的部分没问题 : 想请教的是前半部分的不等式 : 应该怎麽从单位圆内部的长度or面积来想 : 感谢各位 三角估计的基本定理：sin x < x < tan x 首先是 cos x < (sin x)/x， 所以 1 - (sin x)/x < 1 - cos x = 2 sin^2 (x/2) < 2 * (x/2)^2 = x^2 / 2 => x - sin x < x^3 / 2 => sin x > x - x^3 / 2 如果想要更精确的估计，一样可以从 cos x 下手。 从上面已经知道 1 - x^2 / 2 < cos x 了。 另外，从 x * cos x < sin x 出发， 可以知道 x^2 * cos^2 x < 1 - cos^2 x => cos x < 1 / √( 1 + x^2 ) 所以 1 - x^2 / 2 < cos x < 1 - x^2 / 2 + 3/8 * x^4 - ... 这边为了展开级数，牺牲掉了 x 的范围，只剩下 0 < x < 1。 然後逐项积分，可以得到 x - x^3 / 6 < sin x < x - x^3 / 6 + 3/40 * x^5 - ... 这样在 0 < x < 1 的范围内，sin x 就可以夹得更紧一点了。 然後再回头夹 cos x，反覆估计就可以把两个函数的泰勒展开都算出来。 不透过积分的话，也有其他手段可以估计 (x - sin x) / x^3。 为了方便，先给个名字 f(x) = (x - sin x) / x^3。 原本的题目只告诉我们 x 是第一象限角的时候 f(x) < 1/2。 利用三倍角公式：f(x) = 1/9 * f(x/3) + 4/27 * [ (sin x/3)/(x/3) ]^3 所以 f(x) < 1/9 * f(x/3) + 4/27 < ... < 1/9^n * f(x/3^n) + 1/6 * ( 1 - 1/9^n ) 得到 f(x) - 1/6 < 1/9^n * [ f(x/3^n) - 1/6 ] < 1/9^n * 1/3 for all n 最後那三个英文字很重要，他们告诉我们 f(x) - 1/6 ≦ 0 也就是说 (x - sin x) / x^3 ≦ 1/6 => sin x ≧ x - x^3 / 6 刚刚是先用 1 高估 (sin x/3)/(x/3)，这次用 cos x/3 低估他。 所以 f(x) > 1/9 * f(x/3) + 4/27 * cos^3 x/3 = 1/9 * f(x/3) + 1/9 * cos x/3 + 1/27 * cos x > 1/9 * f(x/3) + 1/9 * ( 1 - x^2 / 18 ) + 1/27 * ( 1 - x^2 / 2 ) 这次的计算比较复杂，但一路递回下去也可以得到 f(x) - 1/6 + x^2/40 > 1/9^n * [ f(x/3^n) - 1/6 + (x/3^n)^2 / 40 ] > -1/(6*9^n) 这次是直接利用 f(x) > 0 和 x^2/40 > 0 的特性。 然後上面的式子一样要对所有 n 都成立，所以 f(x) - 1/6 + x^2/40 ≧ 0 就得到了 sin x ≦ x - x^3 / 6 + x^5 / 40 所以新的 sin x 估计公式就是：x - x^3 / 6 ≦ sin x ≦ x - x^3 / 6 + x^5 / 40 上下限都成功收紧了。 想收得更紧就去找 ( sin x - x + x^3 / 6 ) / x^5 的上下限。 虽然不直接积分是可行的，不过刻意避开微积分不是很有必要。 但是「这个过程行得通」可以表明： 真的只要知道 sin x < x < tan x，和上确界、下确界的概念， 就足够把 sin x 这些三角函数的锐角函数值估计得非常准。 --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 1.160.14.64 (台湾) ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1688846490.A.FE3.html