对于任意正整数n有 证明 绝对值（sin nx）小等于n*绝对值（sin x)

两个函数
f(x)=|Sin[nx]|和
g(x)=n*|Sin[x]|
的最小正周期为π,和π/n,
取周期的公倍数π作为其共有的周期,不一定是最小正周期.
只要一个周期内正确,则整个实数范围内皆正确.
于是只证明-π/2～π/2范围内就可以了.
再考虑到函数是偶函数,
所以只需要证明0～π/2范围内就可以了.

下面分情况讨论:

情况I:
x=0时,显然
f(0)=g(0)=0,命题成立.

情况II:
f(π)=g(π)=0,命题成立.

情况III:
当x∈(0,π/(2n)]时,
f(x)=|Sin[nx]|
=Sin[nx]
=Sin[nx]-Sin[(n-1)x]+Sin[(n-1)x]-Sin[(n-2)x]+...+Sin[2x]-Sin[x]+Sin[x]
=(Sin[nx]-Sin[(n-1)x])+(Sin[(n-1)x]-Sin[(n-2)x])+...+(Sin[2x]-Sin[x])+Sin[x]
考虑到正弦函数y=Sin[nx]在x∈(0,π/(2n)]范围内为增函数,函数值始终大于0,斜率随着x的增大而减小.
所以
(Sin[nx]-Sin[(n-1)x])≤Sin[x]-Sin[0].
即
(Sin[nx]-Sin[(n-1)x])≤Sin[x],
同理有:
(Sin[(n-1)x]-Sin[(n-2)x])≤Sin[x],
(Sin[(n-2)x]-Sin[(n-3)x])≤Sin[x],
...
(Sin[2x]-Sin[x])≤Sin[x],
Sin[x]≤Sin[x],
于是左右分别相加得.
Sin[nx]<n*Sin[x]
即|Sin[nx]|≤n*|Sin[x]|
即f(x)≤g(x).命题成立.

情况IV:
当x∈(π/(2n),π/2]时,
f(x)=|Sin[nx]|=Sin