Prove that if you rotate through an angle of α with the center at the origin, the point with the coordinates (x,y), it goes to the point (xcosα−ysinα,xsinα+ycosα).