1. No category

複素関数を用いて三角関数の加法・倍角定理を導出する