- 665 名前：１３２人目の素数さん mailto:sage [2008/11/27(木) 23:22:39 ]
- >>661
[751] 微分法を使う。
g(t) = log(sin(e^t)) とおくと
g '(t) = (e^t)/tan(e^t) は単調減少(*)
g "(t) = −(e^t){1 - sin(e^t)cos(e^t)}/{sin(t)}^2 < 0,
∴ f は上に凸。
log(与式) = f(log(x)) + f(-log(x)) ≦ 2f(0) = log{sin(1)^2}
(*) {x/tan(x)} ' = 1/tan(x) - x/{sin(x)^2} = {sin(x)cos(x)-x}/{sin(x)^2} <0,
より、x/tan(x) は単調減少。
[763] 無限乗積表示（オイラー積表示）を使う。
sin(x) = x･Π[n=1,∞) {1−(x/nπ)^2},
{1−(x/nπ)^2}{1−1/(nπx)^2} = {1−1/(nπ)^2}^2 −(1/nπ)^2 (x−1/x)^2 ≦ {1−1/(nπ)^2}^2,
等号成立は x=1 のとき,
∴ (与式) ≦ {sin(1)}^2.
|
 |
