sin7.5°、cos7.5°、tan7.5°はどんな数？

　$7.5°\ (=\dfrac{\pi}{24})$のときの三角関数がどんな式で表されるのかを調べてみました。

$\sin7.5°$

　$\sin$の加法定理より

$$\begin{align*}\sin7.5°&=\sin(22.5°-15°)\\[0.5em]&=\sin22.5°\cos15°-\cos22.5°\sin15°\end{align*}$$

「$\sin15°,\cos15°,\tan15°$はどんな数？」、「$\sin22.5°,\cos22.5°,\tan22.5°$はどんな数？」より

$$\begin{align*}\sin15°&=\frac{\sqrt{6}-\sqrt{2}}{4}\\[0.5em]\cos15°&=\frac{\sqrt{6}+\sqrt{2}}{4}\\[1em]\sin22.5°&=\frac{\sqrt{2-\sqrt{2}}}{2}\\[0.5em]\cos22.5°&=\frac{\sqrt{2+\sqrt{2}}}{2}\end{align*}$$

なので

$$\begin{align*}\sin7.5°&=\frac{\sqrt{2-\sqrt{2}}}{2}\cdot\frac{\sqrt{6}+\sqrt{2}}{4}-\frac{\sqrt{2+\sqrt{2}}}{2}\cdot\frac{\sqrt{6}-\sqrt{2}}{4}\\[0.5em]&=\frac{\sqrt{2}\left\{(\sqrt{3}+1)\sqrt{2-\sqrt{2}}-(\sqrt{3}-1)\sqrt{2+\sqrt{2}}\right\}}{8}\tag{a}\end{align*}$$

ここで

$$\tan22.5°=\frac{\sqrt{2-\sqrt{2}}}{\sqrt{2+\sqrt{2}}}=\sqrt{2}-1$$

より

$$\sqrt{2-\sqrt{2}}=(\sqrt{2}-1)\sqrt{2+\sqrt{2}}$$

なので

$$\begin{align*}\sin7.5°&=\frac{\sqrt{2}\left\{(\sqrt{3}+1)(\sqrt{2}-1)\sqrt{2+\sqrt{2}}-(\sqrt{3}-1)\sqrt{2+\sqrt{2}}\right\}}{8}\\[0.5em]&=\frac{(1+\sqrt{3}-\sqrt{6})\sqrt{2+\sqrt{2}}}{4}\\[0.5em]&=\frac{\sqrt{(1+\sqrt{3}-\sqrt{6})^2(2+\sqrt{2})}}{4}\\[0.5em]&=\underline{\frac{\sqrt{8-2\sqrt{2}-2\sqrt{6}}}{4}}\end{align*}$$

$\cos7.5°$

　$\cos$の加法定理より

$$\begin{align*}\cos7.5°&=\cos(22.5°-15°)\\[0.5em]&=\cos22.5°\cos15°+\sin22.5°\sin15°\\[0.5em]&=\frac{\sqrt{2+\sqrt{2}}}{2}\cdot\frac{\sqrt{6}+\sqrt{2}}{4}+\frac{2-\sqrt{2}}{2}\cdot\frac{\sqrt{6}-\sqrt{2}}{4}\\[0.5em]&=\frac{\sqrt{2}\left\{(\sqrt{3}+1)\sqrt{2+\sqrt{2}}+(\sqrt{3}-1)\sqrt{2-\sqrt{2}}\right\}}{8}\tag{b}\\[0.5em]&=\frac{\sqrt{2}\left\{(\sqrt{3}+1)\sqrt{2+\sqrt{2}}+(\sqrt{3}-1)(\sqrt{2}-1)\sqrt{2+\sqrt{2}}\right\}}{8}\\[0.5em]&=\frac{(\sqrt{3}+\sqrt{2}-1)\sqrt{2+\sqrt{2}}}{4}\\[0.5em]&=\frac{\sqrt{(\sqrt{3}+\sqrt{2}-1)^2(2+\sqrt{2})}}{4}\\[0.5em]&=\underline{\frac{\sqrt{8+2\sqrt{2}+2\sqrt{6}}}{4}}\end{align*}$$

$\tan7.5°$

　三角関数の相互関係

$$\tan\theta=\frac{\sin\theta}{\cos\theta}$$

に$\text{(a),(b)}$を代入して

$$\begin{align*}\tan7.5°&=\frac{\sin7.5°}{\cos7.5°}\\[0.5em]&=\frac{\cfrac{\sqrt{2}\left\{(\sqrt{3}+1)\sqrt{2-\sqrt{2}}-(\sqrt{3}-1)\sqrt{2+\sqrt{2}}\right\}}{8}}{\cfrac{\sqrt{2}\left\{(\sqrt{3}+1)\sqrt{2+\sqrt{2}}+(\sqrt{3}-1)\sqrt{2-\sqrt{2}}\right\}}{8}}\\[0.5em]&=\frac{(\sqrt{3}+1)\sqrt{2-\sqrt{2}}-(\sqrt{3}-1)\sqrt{2+\sqrt{2}}}{(\sqrt{3}+1)\sqrt{2+\sqrt{2}}+(\sqrt{3}-1)\sqrt{2-\sqrt{2}}}\\ &\qquad\cdot\frac{(\sqrt{3}+1)\sqrt{2+\sqrt{2}}-(\sqrt{3}-1)\sqrt{2-\sqrt{2}}}{(\sqrt{3}+1)\sqrt{2+\sqrt{2}}-(\sqrt{3}-1)\sqrt{2-\sqrt{2}}}\\[0.5em]&=\frac{\sqrt{2}-1}{\sqrt{3}+\sqrt{2}}×\frac{\sqrt{3}-\sqrt{2}}{\sqrt{3}-\sqrt{2}}\\[0.5em]&=\underline{\sqrt{6}+\sqrt{2}-\sqrt{3}-2}\end{align*}$$

　それぞれの近似値は以下のようになります。

$$\begin{align*}\sin7.5°&=0.13053\\[1em]\cos7.5°&=0.99144\\[1em]\tan7.5°&=0.13165\end{align*}$$

関連：$\sin22.5°,\cos22.5°,\tan22.5°$はどんな数？

関連：$\sin15°,\cos15°,\tan15°$はどんな数？

関連：三角関数の加法定理

関連：三角関数$\sinθ,\cosθ,\tanθ$の相互関係