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.


Introduction
The well-known Wallace-Simson (W-S) theorem states: The feet of normals from an arbitrary point P in the circumcircle of a triangle to its side lines are collinear [1,5,7]. A variant of the W-S theorem says: For any point P in the circumcircle of a triangle, the points symmetric to P with respect to the side lines of the triangle are collinear. Moreover, all lines given by points that are symmetric to a locus point P with respect to the side lines of the given triangle pass through the orthocenter of the triangle. We will call it a symmetric variant of the W-S theorem.

W-S theorem: 4 Lines Parallel to a Plane
In this section, we deal with the 3D generalization of the W-S theorem on four straight lines that are parallel to a plane (Theorem 1). We omit the proof because a similar problem is discussed in the next section. Theorem 1. In the Euclidean space E 3 consider four pairwise skew straight lines k 1 , k 2 , k 3 , k 4 that are parallel to a plane. Then the locus of all points P such that feet of normals from P to the given lines are coplanar is a cylinder of revolution whose axis is orthogonal to the given plane.
Assume that the lines k 1 , k 2 , k 3 , k 4 are parallel to the xy-plane and by z 1 , z 2 , z 3 , z 4 we denote their distances from the xy-plane. Let a 1 x+b 1 y+c 1 = 0, a 2 x + b 2 y + c 2 = 0, a 3 x + b 3 y + c 3 = 0 and a 4 x + b 4 y + c 4 = 0 be the equations of the orthogonal projections of k 1 , k 2 , k 3 , k 4 in the xy-plane. Then the locus equation of the point P = (p, q, r) is Figure 1. Given four lines parallel to a plane. The locus of the point P such that the feet of normals from P to the given lines are coplanar is a cylinder of revolution We see that the locus Eq. (1) represents a cylinder of revolution whose axis is perpendicular to the xy-plane, Fig. 1. (1) depends only on the directions of the lines k 1 , k 2 , k 3 , k 4 and their distances z 1 , z 2 , z 3 , z 4 to the fixed xy-plane due to the absence of the terms c 1 , c 2 , c 3 , c 4 .

Remark 2.
If all lines k 1 , k 2 , k 3 , k 4 intersect a line that is perpendicular to the fixed plane (axis z in our coordinate system), then the locus of P is this line instead of the cylinder of revolution. To see this, note that in this case all coefficients c 1 , c 2 , c 3 and c 4 vanish. This means B = C = D = 0 in (1).

Remark 3.
Note that for any point P of the locus, the entire line passing through the point P that is perpendicular to the given plane belongs to the locus. So it is enough to examine the locus in this plane.

Symmetric Variant of W-S Theorem: 4 Lines Parallel to a Plane
In this section, we study the main topic of the paper-a 3D generalization of a symmetric variant of W-S theorem on four straight lines that are parallel to a plane. The symmetric variant of the W-S theorem says that the locus of the point P such that points K , L , M which are symmetric to P with respect to the side lines of a given triangle ABC are collinear is the circumcircle of ABC. Moreover, for an arbitrary locus point P all lines given by collinear points K , L , M are concurrent at the orthocenter H of the triangle ABC, Fig. 2.
The collinearity of the points K , L , M follows from the W-S theorem since a homothety centered at P with ratio 2 sends the feet K, L, M of normals from P to the sides of ABC to the collinear points K , L , M .

Symmetric Variant of W-S Theorem
The following is a spatial generalization of the symmetric variant of the W-S theorem on four straight lines that are parallel to a plane. such that points X 1 , X 2 , X 3 , X 4 that are symmetric to P with respect to the straight lines k 1 , k 2 , k 3 , k 4 are coplanar is a cylinder of revolution.
Proof. With the proper choice of a Cartesian coordinate system, we achieve that a 1 x+b 1 y +c 1 = 0, a 2 x+b 2 y +c 2 = 0, a 3 x+b 3 y +c 3 = 0, a 4 x+b 4 y +c 4 = 0 are equations of orthogonal projections of the lines k 1 , k 2 , k 3 , k 4 . Denote by 4 ) the points that are symmetric to P = (p, q, r) with respect to the lines k 1 , k 2 , k 3 , k 4 . Then: The elimination of the eight variables x 1 , y 1 , . . . , x 4 , y 4 in the ideal J = (h 1 , . . . , h 9 ) leads to a locus equation. In fact, the computation in CoCoA does not terminate due to the complex computation.
We can introduce some simplifications that do not affect the final result. Another approach that seems more readable is the following.
By eliminating x 1 , y 1 in h 1 = 0, h 2 = 0, then x 2 , y 2 in h 3 = 0, h 4 = 0, etc. we get 2 4 ). Assume that the vectors (a 1 , b 1 ), (a 2 , b 2 ), (a 3 , b 3 ), (a 4 , b 4 ) are unit and put a 1 = c 1 = 0, b 1 = 1 and z 1 = 0 which has no effect on the generality. We substitute x 1 , y 1 , . . . , x 4 , y 4 into the determinant (2) and after rearrangement, Figure 3. The locus of all points P such that the points that are symmetric to P with respect to the given four lines are coplanar is a cylinder of revolution we get instead of (2) the relation which yields (1). We obtain a cylinder of revolution, Fig. 3.

Fixed Line
In this part, we will show that all planes given by the points X 1 , X 2 , X 3 , X 4 pass through a fixed line for any locus point P . (1). Then all planes given by the points X 1 , X 2 , X 3 , X 4 that are symmetric to P with respect to the straight lines k 1 , k 2 , k 3 , k 4 pass through a fixed line f .

Theorem 3. Let P be an arbitrary point of the locus
Proof. For every point P of the locus circle (and all points on the line through P which is perpendicular to the given plane) there exists a corresponding plane given by the points X 1 , X 2 , X 3 , X 4 . To determine the fixed line, we proceed in the following way: First, we find two distinct points P 1 and P 2 in the locus circle (1), whose coordinates are rational in a 1 , . . . , a 4 , b 1 , . . . , b 4 , c 1 , . . . , c 4 , z 1 , . . . , z 4 . In this way we avoid cases where the locus point coordinates contain radicals.
Second, we determine two planes given by points X 1 , X 2 , X 3 , X 4 that correspond to the points P 1 , P 2 .
Third, we identify the intersection line f of these two selected planes. Fourth, we verify that the line f lies in all planes corresponding to any point P in the locus circle.
Let P 123 be a plane given by the points X 1 , X 2 , X 3 P 123 : with P = (p, q, 0) obeying (1), see (3). Eliminating q in the ideal I = (P 123 , K) we gain an elimination ideal generated by one polynomial (principle ideal). This gives a factored equation where f (p) is linear in p and does not contain x, y, z, while g(x, y, z, p) is quadratic in x, y, z, p. From f (p) = 0 we get the first coordinate of the point P 1 = (p 1 , q 1 , 0) of the locus .
The case f (p) = 0 in f (p) · g(x, y, z, p) = 0 demonstrates the situation where the points X 1 , X 2 , X 3 are collinear and the corresponding plane is not uniquely determined. For an idea of how complex the computation is, the polynomial f (p) · g(x, y, z, p) in the elimination ideal has 5758 terms. Using elimination of p in the ideal I = (P 123 , K) we get the second coordinate of the point P 1 in the locus Similarly, using the plane P 124 given by the points X 1 , X 2 , X 4 , we eliminate p and then q in the ideal J = (P 124 , K) and get the coordinates of the second point P 2 = (p 2 , q 2 , 0) in the locus The substitution of p 2 , q 2 for p, q into the equation of the plane P 123 gives the equation of the plane P 123 (p 2 , q 2 ) while the substitution of p 1 , q 1 for p, q into the equation of the plane P 124 yields the equation of the plane P 124 (p 1 , q 1 ) where A 1 , B 1 , C 1 , D 1 and A 2 , B 2 , C 2 , D 2 are certain polynomials containing a 1 , . . . , a 4 , b 1 , . . . , b 4 , c 1 , . . . , c 4 and z 1 , . . . , z 4 . Now we identify the intersection of the planes P 123 (p 2 , q 2 ) and P 124 (p 1 , q 1 ). The common line f = P 123 (p 2 , q 2 ) ∩ P 124 (p 1 , q 1 ) is Finally, we verify that the line f is fixed for all planes when P moves along the locus circle (1). Substitution of the coordinates of the line f for x, y and z into the equation of the plane P 123 yields However, for every point P in the locus circle (1) K = 0 and therefore S = 0. This implies that for every point P in the locus circle all points of the line f lie in the plane P 123 .
We can conclude: All planes given by points X 1 , X 2 , X 3 , X 4 pass through the line f when P moves along the locus circle, Fig. 4.

Conclusion
This paper deals with a 3D version of a variant of the W-S theorem, where four given lines are parallel to a plane. We examine the points P such that the points that are symmetric to P with respect to the given four lines are coplanar. The locus of P is a cylinder of revolution. This fact may be considered as another method of construction of a cylinder of revolution.
Moreover, all planes given by the points that are symmetric to P with respect to the given four lines pass through a fixed line f for every locus point P . Unlike the planar version, where the fixed element is the orthocenter of the triangle, which is given by three lines, the role of the fixed line f with respect to the four given lines is unknown. The authors will try to clarify this in the future.
The authors are still working on additional cases according to the position of the four lines.