Intuitively, we think that reflections are isometries. After all, when we look in the mirror, it seems as though the reflection is our size. So how do we prove this?
Suppose that the segment AB is reflected about a flat n-dimensional (don't worry, the value of n doesn't really matter) surface S to the segment A′B′. We would like to prove that AB=A′B′, regardless of the surface.
Suppose that AA′ meets S at XA and that BB′ meets S at XB.
From the definition of reflection, we have the following statements:
AXA=A′XA
BXB=B′XB
AA′⊥S
BB′⊥S
Of course, XAXB is congruent to itself.
Now look at the quadrilaterals AXAXBB and A′XAXBB′.
Clearly, these two quadrilaterals are congruent, since the remaining parts of the quadrilateral may be completely determined from the existing information.
Thus, since AB and A′B′ are corresponding segments in the two quadrilaterals, we have AB=A′B′.
Thus, a reflection preserves distances, so it is an isometry.