三角関数の様々な等式を証明していきます。
(TeX表記を久しぶりに使いたかったからなんていう理由は内緒( ̄b ̄))
tan(x/2 + π/4) = tanx + 1/cosx
命題: 
証明には、ピタゴラスの定理(
)と加法定理しか使いません。
加法定理は、

です。
のときは、倍角の公式と呼ぶこともあります。
では、証明です。
証明

まず、加法定理で展開し、有理化を行い、加法定理の逆やピタゴラスの定理を使うことによって、求めています。
このほかにも図形的解法や二乗して計算する方法もあります。
ただ二乗する方法は符号の問題が絡むので多少ややこしいかもしれません。