大学入試では加法定理を回転行列から証明すると間違い扱いになりますよ．