Let be a point in the plane of , and a line passing through . Let , , be the points where the reflections of lines , , with respect to intersect lines , , , respectively. Prove that , , are collinear.

Let be a point in the plane of , and a line passing through . Let , , be the points where the reflections of lines , , with respect to intersect lines , , , respectively. Prove that , , are collinear.

There are several possible configurations depending on the location of and the orientation of . We will consider the configuration above but will use directed lengths and angles so our arguments apply to all diagram configurations. By the law of sines on triangles and , we have
Rearranging and considering the two other analogous equalities yields
Now, observe that and are angles between lines which are reflections of each other, meaning that they are either equal or supplementary. In either case, applying analogous arguments, we obtain
Put the points on the complex plane and denote the complex number representing a point by the corresponding lowercase letter. Place at the origin and let be the real line, so that reflection about is given by complex conjugation. Now, because lies on , we have
while the fact that it lies on the reflection of implies that it is proportional to , meaning that . Substituting into the previous equation and solving for yields
Now, because lies on , we may compute
Multiplying this with the analogous expressions for and , we obtain
again yielding the conclusion by Menelaus' theorem.