Wallace–Simson Theorem on Four Lines Parallel to a Plane

The impulse to study this topic came from a variant of the Wallace-Simson theorem, which deals with the locus of the point P such that the points that are symmetric to P with respect to three lines in the plane are collinear. A 3D generalization can be as follows: Given four straight lines which are parallel to a plane. Determine the locus of the point P such that points that are symmetric to P with respect to these four lines are coplanar. Surprisingly, the locus of P is a cylinder of revolution with the axis which is perpendicular to the fixed plane. Moreover, all planes given by points that are symmetric with an arbitrary point P of the locus with respect to the given four lines pass through a fixed line f . While in the planar version the fixed element is the orthocenter of the triangle given by the three lines, the role of the fixed line f with respect to the four given lines is not obvious.