Rotating a triangle in a coordinate plane