>>129
>回転行列は
>加法定理、倍角と半角の公式は直ぐ出る。
異論なし
ただし、これで証明をすると循環論法