求证正弦无穷乘积推导中的三角函数不等式

嘿，我来帮你把这个不等式的推导过程拆解清楚——它其实是正弦无穷乘积证明里的关键步骤，核心依赖三角函数的单调性和基本性质，咱们一步步来：

首先明确适用场景：在推导正弦无穷乘积时，通常限定 $x \in (-\pi, \pi)$（超出区间可利用正弦周期性扩展），且 $n$ 是正整数，$m$ 是满足 $1 \leq m \leq n$ 的正整数。

步骤1：简化符号，明确核心变量 #

令 $N = 2n - 1$（这是一个奇数），$\theta = \frac{x}{N}$，原不等式可改写为：
$$1 \geq \prod_{k=m}^n\left(1 - \frac{\sin^{2\theta}{\sin}2\frac{k\pi}{N}}\right)$$
此时 $|\theta| = \frac{|x|}{N} < \frac{\pi}{N} < \frac{\pi}{2}$（因为 $|x| < \pi$，$N \geq 1$），这是后续推导的关键前提。

步骤2：分析每个乘积因子的范围 #

对于每个 $k \in [m, n]$，分两种情况讨论：

• 当 $k \leq n-1$ 时：$\frac{k\pi}{N} = \frac{k\pi}{2n-1} \leq \frac{(n-1)\pi}{2n-1} = \frac{\pi}{2} - \frac{\pi}{2(2n-1)} < \frac{\pi}{2}$。由于正弦函数在 $(0, \frac{\pi}{2})$ 上严格递增，且 $\frac{k\pi}{N} \geq \frac{m\pi}{N} \geq \frac{\pi}{N} > |\theta|$，因此：
  $$\sin\frac{k\pi}{N} > \sin|\theta| \implies \sin^2\frac{k\pi}{N} > \sin^2\theta$$
  由此可得 $0 < \frac{\sin^{2\theta}{\sin}2\frac{k\pi}{N}} < 1$，对应的因子 $1 - \frac{\sin^{2\theta}{\sin}2\frac{k\pi}{N}} \in (0, 1]$。
• 当 $k = n$ 时：$\frac{n\pi}{N} = \frac{n\pi}{2n-1} = \pi - \frac{(n-1)\pi}{2n-1}$，根据诱导公式 $\sin(\pi - \alpha) = \sin\alpha$，可得 $\sin\frac{n\pi}{N} = \sin\frac{(n-1)\pi}{2n-1}$，同样满足 $\sin^2\frac{n\pi}{N} > \sin^2\theta$，对应的因子也属于 $(0, 1]$。

步骤3：推导乘积的上界 #

有限个大于0且小于等于1的数相乘，结果必然小于等于1（每乘一个≤1的正数，乘积不会增大）。因此：
$$\prod_{k=m}^n\left(1 - \frac{\sin^{2\theta}{\sin}2\frac{k\pi}{N}}\right) \leq 1$$
当且仅当 $x=0$ 时，每个因子都等于1，等号成立；当 $x \neq 0$ 时，每个因子都小于1，乘积严格小于1。

补充：这个不等式在正弦无穷乘积中的作用 #

在证明 $\sin x = x\prod_{i=1}^\infty \left(1-\frac{x^2}{n2\pi^2}\right)$ 时，这个不等式用来控制部分乘积的上界，结合另一个下界估计（比如利用 $\sin(N\theta)$ 的乘积展开得到乘积下界），再通过夹逼定理让 $n \to \infty$，最终得到无穷乘积的收敛结果。

内容的提问来源于stack exchange，提问作者SHORE SHEN