AiとAjからなる回転後のX’、y’の値は、それぞれのx軸、y軸の値を足す。
Ai=(cosθ,sinθ) Aj=(cos(θ+π/2),sin(θ+π/2))
座標x,yをθ度回転して出来るx’,y’は
x’=xcosθ+ycos(θ+π/2) y’=xsinθ+ysin(θ+π/2)
cosはx軸 sinはy軸
これを言い換えると
x’=xcosθ-ysinθ y’=xsinθ+ycosθ
(π/2=90度を超えるとcosとsinが逆転する)
に成ります。
どちらも同じ答えを得ることが出来ます。