Reflection of Plane in Line through Origin is Linear Operator

Theorem
Let $M$ be a straight line in the plane passing through the origin.

Then the reflection $s_M$ of $\R^2$ in $M$ is the rotation of the plane in space through one half turn about $M$ as an axis.


 * $s_M \circ s_M = I_{\R^2}$

and hence:
 * $s_M = s_M^{-1}$

If $M$ is the $x$-axis then $s_M \left({\lambda_1, \lambda_2}\right) = \left({\lambda_1, -\lambda_2}\right)$.

If $M$ is the $y$-axis then $s_M \left({\lambda_1, \lambda_2}\right) = \left({-\lambda_1, \lambda_2}\right)$.

In general, $s_M$ is a linear operator for every straight line $M$ through the origin.