In the book Geometry of Surface, John Stillwell proves that:
Any translation or rotation is the product of two reflections.
He starts with the translations. The proof starts with
By suitable choice of $y$-axis (namely, as a line parallel to the direction of translation) we can assume that the given translation is $t_{(0,\delta)}$.
I'm having trouble with this "suitable" choice, because in doing this we are actually doing a conjugation with a map that brings a line to the $y$-axis. And how do we know that this conjugation is still a product of two reflections? It seems like unsound reasoning to me. Can I get comments on this?
Here the translation $t_{(\alpha, \beta)}$ of $O$ to $(\alpha, \beta)$ is given by $x' = \alpha + x$ and $y' = \beta + y$.
The claim can be proven by simple euclidean geometry without introducing coordinates. I think he drew an auxiliary $y$-axis in order to explain the intended geometric construction.