$\sin^{2}\frac{A}{2}=\frac{1-\cos A}{2},\ \ \cos^{2}\frac{A}{2}=\frac{1+\cos A}{2}$ の証明

加法定理を用いて半角の公式を導く :

$$\cos (A + B)=\cos A\cos B- \sin A\sin B$$

において, $B=A$ とおけば

\begin{eqnarray*}\cos (A + A)&=&\cos A\cos A- \sin A\sin A\\&=&\cos^{2}A-\sin^{2}A\ \ \ \ \ (\text{∵ }\sin^{2} A+\cos^{2} A=1)\\&=&1-2\sin^{2}A=2\cos^{2} A-1\end{eqnarray*}

すなわち次の２つの等式が得られる:

$$\text{① }\cos 2A=1-2\sin^{2} A,\ \ \ \text{② }\cos 2A=2\cos^{2} A-1$$

これより $$\text{① }\sin^{2} A=\frac{1-\cos 2A}{2},\ \ \ \text{② }\cos^{2} A=\frac{1+\cos 2A}{2}$$ を得る. これらの等式に $A$ に $\frac{A}{2}$ を代入すれば, 半角の公式を得る:

\begin{eqnarray*}\text{① }\sin^{2}\frac{A}{2}&=&\frac{1-\cos 2\cdot \frac{A}{2}}{2}=\frac{1-\cos A}{2}\\\text{② }\cos^{2} \frac{A}{2}&=&\frac{1+\cos 2\cdot \frac{A}{2}}{2}=\frac{1+\cos A}{2}\end{eqnarray*}

$\tan^{2}\frac{A}{2}=\frac{1-\cos A}{1+\cos A}$ の証明

$\tan A=\frac{\sin A}{\cos A}$ より

$$\tan^{2} \frac{A}{2}=\frac{\sin^{2} \frac{A}{2}}{\cos^{2} \frac{A}{2}}=\frac{\frac{1}{2}(1-\cos A)}{\frac{1}{2}(1+\cos A)}=\frac{1-\cos A}{1+\cos A}$$

半角の公式の使い方

半角の公式：

$$\tan^{2} \frac{A}{2}=\frac{1-\cos A}{1+\cos A}$$

において, $\frac{A}{2}=15^{\circ}$ とおけば

$$\tan^{2} 15^{\circ}=\frac{1-\cos 30^{\circ}}{1+\cos 30^{\circ}}=\frac{1-\frac{\sqrt{3}}{2}}{1+\frac{\sqrt{3}}{2}}=\frac{2-\sqrt{3}}{2+\sqrt{3}}=(2-\sqrt{3})^{2}$$

また $\tan 15^{\circ} > 0$ より $$\tan 15^{\circ}=2-\sqrt{3}$$

半角の公式 : $$\cos^{2}\frac{A}{2}=\frac{1+\cos A}{2}$$ において$\frac{A}{2}=x$ とおけば

\begin{eqnarray*}\int \cos^{2} x\ dx&=&\int \frac{1+\cos 2x}{2}\ dx\\&=&\int \frac{1}{2}\ dx+\frac{1}{2}\int \cos 2x\ dx\\&=&\frac{x}{2}+\frac{1}{4}\sin 2x+C\end{eqnarray*}

Raphaem のつぶやき