\end{eqnarray}となります。ここでも相互関係を使っています。\end{eqnarray}となります。\end{eqnarray}が成り立ちます。これらが、余弦の加法定理です。正弦の加法定理は、余弦の加法定理を利用して導きます。【標準】一般角の三角関数と鋭角の三角関数でも示しましたが、もう一度簡単に復習しておきましょう。回転した点を考えます。回転した点になります。座標が入れ替わります。\end{eqnarray}となります。\end{eqnarray}となります。これらが、正弦に関する加法定理です。正接の加法定理は、余弦と正弦の加法定理を組み合わせて導くことができます。\end{eqnarray}が成り立ちます。\end{eqnarray}が得られます。関して、次の式が成り立つ。\frac{\tan\alpha-\tan\beta}{1+\tan\alpha\tan\beta}\end{eqnarray}おわりにここでは、三角関数の加法定理の証明を見てきました。余弦に関する加法定理から他の加法定理を導くことができます。【基本】図で理解する正弦・余弦の加法定理で見た内容とは異なり、ここでの内容は一般の角について成り立つ証明になっています。