回転行列の積から加法定理が導ける

原点を中心に点を回転する回転行列を2回かけあわせると加法定理が導けることに気付く。シンプルで美しい。(加法定理と回転行列)