点(x,y)を原点のまわりに反時計回りに90度回転する変換は線形変換であること、さらに、対応する行列を求めよ