设 为实数, 为正整数,且 。证明:
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
正弦在 上位于端点连线之上,故 ;可由二阶导数 说明凹性。折角利用 ,整数倍角的绝对值也保持。
想法从哪来:先利用已知非零条件去分母,而不是反复把正弦放大或缩小。将两个正弦绝对值记作 ,多倍角记作 后,目标变成 。其中 与 都只依赖角 ,值得先研究它们能否同时很小。 当原角离整倍 很近时,倍角尚未越过对称位置,可以用正弦的图像比较,保证比值不小;原角离零较远时,正弦本身的下界反而足够。于是把角折回第一象限,并以 分段。辅助结论只需非严格不等号,最后严格性由其余正项补出;这样也能自然覆盖 和多倍角正弦为零的情形。
去掉正分母后,需要把 和 联系起来。先证明:前者乘以 与两者的比值中至少有一个不小于 。
先证辅助结论:对正整数 及满足 的实数 ,
利用正弦的周期与关于 的对称性,可取 ,使得 ,其中 为整数。因此
若 ,则 。正弦在 上不小于 ,故 。 若 ,利用 ,得
这里 可由 在 上的凹性及两端点所连弦直接得到。于是两种情形均证明了 (1)。
记 ,,。对 使用 (1),有
再加上正数 ,得到
两边乘以 ,即
由于 ,除以 ,便得
即所证不等式。
辅助结论覆盖 ;第一种情形应使用非严格比较 ,不能在 时误写严格大于。 也不会使分母为零,最终严格性来自 。
多倍角的绝对值可先把原角折回 ,再依据倍角是否接近 分区估计。证明严格不等式时,须指出哪一项提供严格性。
先按三角项是否达到1分类,再将角折回基本区间并衔接正弦的弦下界,最后处理正项带来的严格性,属于多个相互依赖判断的综合。
已记下,谢谢!