点(a,b)を角度θだけ反時計周りにまわしたら
なんかあの行列(上cos -sin下sin cos)ってのは加法定理で導き出せました！
でも-sinとsinが間違えそうです！いちいち加法定理使って導くのはめんどくさいからなんとかしてください！