1. カテゴリーなし

7 命題 3.1 (加法定理） 複合同順として， sin(α ± β ) = sin α cosβ ± cosα