Rotation of right triangle on coordinate plane