A rigid motion of the Euclidean plane is a transformation of the plane into itself such that .
Would I just write that if you are given a circle with center and any arbitrary point on the circle that is always distance from the center, then according to the definition of rigid motion, , so any arbitrary point on is distance from , and so is a circle?