Generalization of Simson–Wallace theorem: planar and spatial formulation

The paper studies a problem that represents a natural spatial generalization of the well-known Simson–Wallace theorem: Let four skew lines parallel to a fixed plane be given. Determine the locus of the point P in space so that the reflections of P in the given lines are coplanar. The result was very surprising for us — we get a cylinder of revolution. By orthogonal projection onto the given plane, the problem is reformulated as a planar one and subsequently solved synthetically. This solution turns out to have many properties in common with the classical Simson–Wallace theorem.


Introduction
The classical Simson-Wallace theorem, discovered in 1799 by William Wallace [2], can be formulated as follows: Simson-Wallace Theorem Let a triangle ABC be given. Consider reflections P a , P b , P c of a point P in lines a, b, c of the triangle. Then the points P a , P b , P c are collinear iff P lies on the circumcircle of the triangle. Moreover, the line given by P a , P b , P c always passes through the orthocenter of the triangle.
This theorem can be made a bit more complicated: Consider three skew lines a, b, c in 3-dimensional Euclidean space, which we will call space for short, that are parallel to a given plane. What is the locus of the point P such that the reflections P a , P b and P c of the point P in the lines are collinear?
As will be shown later in the paper, the general solution to this problem is not interesting enough-the locus is a straight line perpendicular to the given This work was completed with the support of our TEX-pert. Figure 1 The locus of P is a cylinder of revolution plane. However, this problem can be modified further. This brings us to our problem: Problem 1, formulation 1 Let four lines (skew lines in general) a, b, c, d in space, parallel to a fixed plane, be given. What is the locus of the point P such that reflections P a , P b , P c and P d of the point P in the given lines are coplanar?
Originally, the authors solved this problem by analytical methods [1]. For now, we reveal that the locus is a cylinder of revolution with the axis perpendicular to the fixed plane, Fig. 1.
In the following we solve the problem synthetically (Theorem 3.2).
Furthermore, we will show that if we restrict the locus of the point P to the fixed plane (or any plane parallel to it) then all planes determined by the points P a , P b , P c , P d contain a fixed line about which they rotate.
In addition we will show how the locus of the point P belonging to the fixed plane (i.e. a certain circle) can be constructed by Euclidean means (Problem 2).
Finally, we will state a planar generalization of Simson-Wallace theorem (Theorem 4.1).

Equivalent planar formulation of the problem
First, let us notice that the points P a , P b , P c and P d are coplanar iff the feet of perpendiculars dropped from P to the lines a, b, c, d are coplanar. This means that if some point P of the space satisfies the condition, the whole line perpendicular to the fixed plane and passing through P also satisfies it, since the feet of normals for all points of the line are identical. Therefore, to solve the problem, it is sufficient to search for the locus of the point P that lies in any plane parallel to a fixed plane.
Suppose that this fixed plane has zero height. Let the lines a, b, c, d have heights h a , h b , h c , h d respectively. The images P a , P b , P c and P d have heights 2h a , 2h b , 2h c , 2h d . Let us consider the line P a P b and mark on it the point X ab which has zero height, in other words, which lies in the fixed plane. If there is no such point, let us define it to be improper point of the line. Analogically, let us denote the points by X bc and X cd . Clearly, if the points P a , P b , P c , P d are coplanar, the points X ab , X bc and X cd are collinear (and all other points X ac , X ad , X bd defined similarly).
The converse implication also holds: If these three points are collinear the four images of P are coplanar, (we leave the justification to the reader). Moreover, for the point X ab the relation holds. (If h b = 0 then X ab = P b , if further h a = 0 then the set {X ab , X bc , X cd } can be replaced by {X bc = P b , X cd , X ac = P a } and procedure will be the same. Finally, if three heights will be zero but not the fourth one, the problem is possible reduce to the Simson-Wallace Theorem).
Therefore, if the points P a and P b are constructed, one can easily construct the point X ab -for example, as the image of P a in a homothety with centre P b and ratio h b /(h a + h b ). This reasoning is easily extended to negative heights if considering oriented lengths in the Eq. (2.1). Analogically, we arrive at equations On the basis of these facts the whole problem is reformulated into a planar one. Consider the orthogonal projections of the lines a, b, c, d into the fixed plane and denote them by a , b , c and d . Further denote the projections of the points P a , P b , P c and P d by P a , P b , P c and P d . Then for the points X ab , X bc , X cd relations It is easy to see that the points P a , P b , P c and P d are symmetrical images of P with respect to the lines a , b , c , d . The points P a , P b , P c and P d are coplanar iff the points X ab , X bc , X cd are collinear. Thus we have achieved a planar formulation of the problem: Problem 1, formulation 2: Let four lines a, b, c, d in a plane be given. Consider a point P in the plane and its reflections P a , P b , P c , P d in the lines a, b, c, d.
Let the point X ab be on the line P a P b such that where k ab is a given real constant and |AB| is the oriented distance. Analogically let us define the points X bc and X cd What is the locus of the point P in the plane if the points X ab , X bc and X cd are collinear?

Solution of the planar formulation of Problem 1
First we prove the following where H ab is a homothety and R ab is a reflection in a line, Fig. 2.
Proof. The following considerations are related to Fig. 2.
Let a = AB and b = BC. Then the triangle P a BP b has the same shape regardless of the position of the point P : it is isosceles and ∠P a BP b = ∠2ABC, since if we reflect the point P b in the line b and then its image in a, we get P a .
However composition of two reflections is a rotation about the angle which is two times the angle formed by the lines a and b. At the same time the position of the point X ab on the line P a P b is uniquely determined by the constant k ab . This means that the relative position of the point X ab is fixed with respect to the segment P a P b and therefore the angle α = ∠P b BX ab is constant. Thus the  (In order to prove it for all possible positions of the point P , oriented angles have to be used). Therefore the angle bisector BZ is a fixed line regardless of the position of P. If the ratio of the lengths is a constant, we are done since H ab is a homothety with the centre B and ratio k, R ab is a reflection with respect to the angle bisector of ∠P BX ab . The proof that the right-hand side of (3.2) is a constant follows directly from the fact that the triangle BP b X ab always has the same shape Now consider the lines c = CD and d = DA and construct points X bc and X cd . These points depend on the point P according to Lemma 3.1 as follows where R bc , R cd and H bc , H cd denote reflections and homotheties respectively.
Relations (3.1) and (3.3) imply relations between X ab , X bc and X cd where H −1 and R −1 are inverse homothety and reflection respectively. However where O S1 is a rotation and H S1 is a homothety. The common centre of the rotation and the homothety is a point S 1 [3]. Similarly, where O S2 and H S2 is a rotation and a homothety with the common centre S 2 . Now we are able to prove

Theorem 3.2. The points X ab , X bc and X cd are collinear iff the point P lies on a certain circle. (In special cases, it can also be a point, a line or the whole plane. However, a point and a line can be considered as a special form of a circle.)
First we prove the Lemma 3.3, the trivial consequence of which will be the proof of Theorem 3.2.

Lemma 3.3.
If the points X ab , X bc and X cd are collinear then the locus of points X bc is a certain circle k.
Proof. All of the following considerations are related to Fig. 3. Relation (3.4) implies that the triangle X bc S 1 X ab has the same shape for all positions of X bc . Similarly, from relation (3.5) we conclude that the triangle X bc S 2 X cd has the same shape as well. However, this means that the angles X ab X bc S 1 and S 2 X bc X cd are constant for any position of the point X bc and hence for any position of the point P. If the points X ab , X bc and X cd are collinear the following relation between the oriented angles holds Written differently Thus, the point X bc lies on the circle (in a special case on the line) k passing through the points S 1 , S 2 . It is clear that for every point X bc of the circle k three points X ab , X bc and X cd are collinear. Proof. Denote by F the second intersection of the line given by points X ab , X bc , X cd with the circle k, then Fig. 3. However, the angle X ab X bc S 1 is constant, so the point F is fixed, common to all lines given by X ab , X bc , X cd .
At the end of this paper we show how to construct the locus circle c.

Problem 2 Construct the circle c that is a solution of the plane formulation of the Problem 1.
Construct three points P for which the points X ab , X bc and X cd are collinear. It is obvious that if the points P a , P b , P c , P d are collinear then the three points X ab , X bc , X cd are collinear as well. The point P for which the four points are Three points are also in a line if two of them coincide. We look for points P such that X bc = X ab and X bc = X cd .
If X bc = X ab then the points P a , P b , P c are collinear. In other words the points P a , P b , P c lie on a Simson line of a certain point P. (Here we mean by "Simson line" a line determined by collinear reflections of the point P with respect to the lines a, b, c of a triangle. However, the most common meaning of the Simson line is a line which is determined by feet of perpendiculars dropped from P to the lines of a triangle). It is well known that the point P must lie on the circumcircle of the triangle formed by the lines a, b, c.

Auxiliary construction related to Problem 2
Let a triangle BCE be given by the lines CE = a, BC = b and CE = c. Consider an arbitrary point P of the plane, its reflections P a , P b and P c in the lines a, b, c and the points X ab and X bc defined by relations (2.2). The construction of a point P 1 of the plane for which X ab = X bc is as follows.

Construction
Considerations are related to Fig. 4. Consider the Simson line of a point P moving on the circle (BCE). As we know, this line always passes through the orthocenter H bce of the triangle BCE. Furthermore, the angle P b X ab B is constant (see Lemma 3.1). This means that the oriented angle H bce X ab B is constant. Thus, if we construct a single point X ab on any Simson line, then the circle l 1 circumscribed about the triangle H bce X ab B is the locus of all points X ab corresponding to all Simson lines of points P.
Repeating the same argument for the point X bc we arrive at the constant oriented angle H bce X bc C. Therefore the circle l 2 passing through the points H bce , C and the point X bc belonging to any Simson line of P , is the locus of all points X bc corresponding to all Simson lines. If X ab = X bc holds, this point must be the second intersection S 1 of the circles, S 1 = l 1 ∩ l 2 = H bce .
After the construction of the point S 1 we obtain the Simson line of the point P 1 we are looking for. It is a line S 1 H bce . Now it is easy to construct the point P 1 -it is the intersection of the reflections of the line S 1 H bce in any two sides of the triangle BCE.
One observation The Auxiliary Construction established a solution of the spatial problem: Let three skew lines a, b, c parallel to a fixed plane be given. Determine a point P belonging to the fixed plane whose reflections P a , P b , P c in the lines a, b, c are collinear. The solution of the problem mentioned in the introduction is a line perpendicular to the fixed plane and passing through the point P 1 .
Let us return to the solution of the Problem 2. Applying the Auxiliary Construction to the triangle BCE we find the point P 1 for which X ab = X bc . Applying the construction to the triangle CDG, where G is the intersection of the lines b, d, we find the point P 2 for which X bc = X cd . The circle passing through the points M, P 1 and P 2 is the searched locus.
In Fig. 5 the circle (P 1 P 2 M ) is depicted. The three collinear points are shown in green for P = M and in red for an arbitrary point P of the circle (P 1 P 2 M ). The line given by the points X ab , X bc , X cd passes through a fixed point, which can be constructed as the second intersection of the Simson line of the point M and the circle (S 1 X bc S 2 ).

Conclusion
We presented a generalization of the Simson-Wallace theorem which has a spatial and planar formulation. It has many features in common with the original theorem, namely, that the solution is a circle (in the spatial formulation a cylinder of revolution) and that the line of collinear points has a fixed point. (In the spatial formulation, the fixed point belongs to the intersection of a plane P a P b P c P d and the fixed plane. It is not difficult to show that the plane P a P b P c P d has a fixed line iff the points P are confined on any plane parallel to the fixed plane.) There is a slightly more general formulation of the Simson-Wallace theorem that is closely related to the planar formulation of the presented problem: Theorem 4.1. Let three arbitrary homotheties H 1 , H 2 , H 3 and three lines R 1 , R 2 and R 3 be given. Consider points X 1 , X 2 and X 3 defined by relations where H 1 (P ) is the image of a point P in the homothety H 1 and R 1 (P ) is a reflection of P in the line R 1 (similarly for the other indices). Then the points X 1 , X 2 , X 3 are collinear iff the point P belongs to a circle (in special cases to a line).
This theorem may be proved by almost the same considerations that were used in this article.