琴生不等式(也称为钦生不等式)是数学上的一种不等式,通常用于表示三角函数的关系。它是以17世纪中国数学家琴生(Qián Shēng)的名字命名的。
琴生不等式的一般形式如下:
\[ \sin(x) \leq \frac{x}{\pi} \leq \tan\left(\frac{x}{2}\right), \quad 0 \leq x \leq \frac{\pi}{2} \]
这个不等式表明,对于 \(0 \leq x \leq \frac{\pi}{2}\) 的范围内,正弦函数小于等于 \(x/\pi\),而 \(x/\pi\) 小于等于切线函数的一半。