クサ゠スネル゠ホイヘンスの不等式
幾何学的なことを書かなかったので、特に面白みは無い記事です。よくありそうな不等式の基本的な証明問題ですが、ホイヘンスの名前を出して、日本語で、高校数学として解説しているものがあまりネットにないと感じたので証明を書いてみました。円周率の昔の計算に使われたようです。背景や幾何学的なことは参考文献[1]が詳しいと思います。また[3]が分かりやすいと思います。
$0< x<\frac{\pi}{2}$のとき、
$$
\frac{3\sin x}{2+\cos x}< x<\frac{\tan x + 2\sin x}{3},
$$
すなわち、
$$
\sin x-x\cos x < 2(x-\sin x) < \tan x -x
$$
が成り立つ。
この定理を証明する前に補題を用意します。
$0< x<\frac{\pi}{2}$のとき、
$$
x\cos x < \sin x < x < \tan x
$$
が成り立つ。
$0< x<\frac{\pi}{2}$で補題の不等式で、$x\cos x < \sin x$は$x<\tan x$と同値です。
$$
\lim_{x\to 0} \frac{\sin x}{x}=1
$$
の証明に良く使われます。この極限から三角関数の導関数の公式が導かれます。補題の不等式を使わないで三角関数の導関数の公式を導くこともできるので、補題を証明する際に普通に微分、積分を使う方法が悪いとは言えません。しかし、循環論法に注意しながら考えたくないので、補題の証明は省略します。
\begin{align*}
\tan x- x &= \int_0^x \left(\frac{1}{\cos^2 t} - 1\right)\, dt \\
x-\sin x &= \int_0^x (1-\cos t)\,dt \\
\sin x - x\cos x &= \int_0^x t\sin t\, dt
\end{align*}
が成り立つ。
\begin{align*}
\underline{\tan x- x} &= \int_0^x \left(\frac{1}{\cos^2 t}+\frac{1}{\cos t}\right) (1-\cos t) \, dt\\
&>\int_0^x \left(\frac{1}{\cos^2 0}+\frac{1}{\cos 0}\right) (1-\cos t) \, dt\\
&=\underline{2 (x- \sin x)}\\
&=4\int_0^x \sin^2\frac{t}{2}\, dt\quad (\because\text{半角の公式})\\
&>2\int_0^x t\cos\frac{t}{2}\sin\frac{t}{2}\,dt
\quad (\because \text{補題を利用})\\
&=\int_0^x t\sin t\,dt\quad (\because \text{倍角の公式})\\
&=\underline{\sin x-x\cos x}.
\end{align*}
$x$について整理すれば、
$$
\frac{3\sin x}{2+\cos x}< x<\frac{\tan x + 2\sin x}{3}
$$
が得られる。
上からの評価は$\sin x$と$\tan x$のマクローリン展開、下からの評価は$\frac{\sin x}{x}$と$\cos x$のマクローリン展開を比べてみると良いと思います。
追記
東大の入試問題で$\pi>3.05$を示せという問題があったことを思い出して、「$\pi>3.05$」と「ホイヘンス」で検索してみました。ブログ[2]や5chの書き込みでこの不等式を使っているものが見つかりました。しかしやはり少ない気がしました。（この不等式が大して役に立たないからだと思いますが）
$\pi>3.05$を
$$\frac{3\sin x}{2+\cos x}< x$$
を使って確かめてみます。
$x=\frac{\pi}{6}$を代入すると、
$$\pi>\frac{3\cdot 6}{4+\sqrt{3}}>\frac{18}{4+1.8}=\frac{180}{58}=\frac{90}{29}=3+\frac{3}{29}
>3+\frac{3}{30}=3.1.$$
双曲線関数の場合
\begin{align} \sinh \theta &= \frac{e^\theta-e^{-\theta}}{2},\quad \cosh \theta = \frac{e^\theta+e^{-\theta}}{2} \\ \tanh \theta &= \frac{\sinh\theta}{\cosh\theta} =\frac{e^\theta-e^{-\theta}}{e^\theta+e^{-\theta}} \end{align}
任意の$x$に対して、
$$
\cosh^2x-\sinh^2x=1
$$
が成り立つ。
$$(x,y)=(\cosh\theta,\sinh\theta)$$
は双曲線のパラメータ表示である。
任意の実数$x$に対して、
$$
\cosh x\geqq 1.
$$
等号は$x=0$のときに限り成立する。
$\cosh x= \frac{e^x+e^{-x}}{2}>0$であるから、
$$
\cosh x=\sqrt{\sinh^2 x+1}\geqq 1.
$$
また、
$$\cosh x=1\Leftrightarrow \sinh x=0\Leftrightarrow e^x=e^{-x}\Leftrightarrow x=-x\Leftrightarrow x=0.$$
任意の$x$, $y$に対して、
\begin{align}
\cosh (x+y)&=\cosh x \cosh y + \sinh x \sinh y,\\
\sinh (x +y)&=\sinh x \cosh y +\sinh y \cosh x,\\
\tanh(x+y)&=\frac{\tanh x + \tanh y}{1+\tanh x\tanh y}
\end{align}
が成り立つ。特に、
\begin{align}
\cosh(2x)&=\cosh^2 x + \sinh^2x = 1 + 2\sinh^2 x=2\cosh^2 x -1, \\
\cosh^2 x&=\frac{\cosh(2x)+1}{2},\quad \sinh^2x=\frac{\cosh(2x)-1}{2},\\
\sinh(2x)&=2\sinh x \cosh x.
\end{align}
任意の$x$に対して、
$$
(\sinh x)'=\cosh x,\quad (\cosh x)'=\sinh x,\quad (\tanh x)'=\frac{1}{\cosh^2 x}
$$
$0< x$のとき、
$$
\tanh x < x < \sinh x < x\cosh x
$$
と
$$
x-\tanh x < 2(\sinh x- x) < x\cosh x - \sinh x
$$
が成り立つ。
\begin{align} \underline{x\cosh x-\sinh x} &=\int_0^x t\sinh t \, dt\\ &=\int_0^x 2t \cosh \frac{t}{2} \sinh \frac{t}{2}\,dt(>0)\\ &>4\int_0^x \sinh^2\frac{t}{2}\,dt \\ &=2\int_0^x (\cosh t -1)\,dt=\underline{2(\sinh x - x)}\\ &>\int_0^x (\cosh t -1)\left(\frac{1}{\cosh t}+ \frac{1}{\cosh^2 t}\right)\,dt\\ &=\int_0^x \frac{\cosh^2t-1}{\cosh^2 t}\, dt\\ &=\int_0^x \left(1-\frac{1}{\cosh^2 t} \right) dt=\underline{x-\tanh x} \\ &>0. \end{align}
