Generalizing the concept of the symmedian point of a triangle we introduce the point called quasi-symmedian point and prove that the locus of quasi-symmedian points is the Thomson cubic.
The Thomson cubic is one of the famous cubic curves associated with the given triangle. It was intensively studied for many years and the evidence of these studies are the properties of Thomson cubic which can be found in (Kimberling, 1998), (Cundy, Parry, 1995), (Rubio, 1989). Most of the properties of the Thomson cubic (including its definition) have been stated in terms of locus. For example (Gibert, 2012) the Thomson cubic is the locus of points P such that trilinear polar (Coxeter, 1993) and the polar line (in the cicumcircle) (Wells, 1991) are parallel. Definition of the Thomson cubic can be stated as following. Let G be the centroid of the given triangle ABC. Then the Thomson cubic is the locus of points P such that P, P* (isogonal conjugate of P) (Sigur, 2005) and G are collinear. Using homogeneous barycentric coordinates on the plane of ΔABC (Yiu, 2 2 2 2000) with ΔABC as a reference triangle and taking into consideration that G = (1,1,1), P = (x,y,z), P* = (a2/x, b2/y, c2/z,) (a = BC, b = CA, c = AB are the lengths of sides of ΔABC) one can write the equation of the Thomson cubic as
or (Gibert, 2012)
In this article, they introduce the concept of quasi-symmedian point of the ΔABC which generalizes the concept of symmedian point and prove that the locus of quasi-symmedian points is the Thomson cubic.
Consider the point P in the plane of ΔABC and denote A’, B’ and C’ the feet of cevians AP, BP, and CP, respectively . Construct the points B1 and C2 such that A is the midpoint of segments BB1 and CC2. Draw the lines lA, lB, lC through A, B and C, respectively, which are parallel to BC, CA, and AB. Draw the lines B1B’ and C2C’ and denote X1 = B1B’ ∩ lC and X2 = C2C’ ∩ lB. Construct the pairs of points Y1, Y2 and Z1, Z2 in a similar way. Then the lines AX1, BY1 and CZ1 are concurrent and so are AX2, BY2 and CZ2 (Figure 1).
Figure 1. The concurrent Line of AX1, BY1, CZ1 is AX2, BY2, CZ2.
The authors use barycentric coordinates in a plane of ΔABC. Denote (x : y : z) for coordinates of the point and [x : y : z] of coordinates of the line. Recall that the coordinates of the line through M = (x1 : y1 : z1) and M = (x2 : y2 : z2) are cofactors of the matrix
and the coordinates of the common point of the lines [x1 : y1 : z1] and [x2 : y2 : z2] are cofactors of the matrix
Let P = (x : y : z). Then A’ = (0 : y : z), B’ = (x : 0 : z), and C’ = (x : y : 0). As it is easy to check, B1 = (2 : -1 : 0) and C2 = (2 : 0 : -1); lB = [1 : 0 : 1] and lC = [1 : 1 : 0]. Find the equation of B1B’ = = [z : 2z : -x] and C2C’ =
= [y : -x : 2y]. Next find
= (-x : x : z) and
= (-x : y : -x). Using cyclic permutations, Y1 = (x : -y : y), Y2 = (y : -y : z), Z1 = (z : y : -z), Z2 = (x : z : -z). Finally,
and, in a similar way, BY1 = [y : 0 : -x] and CZ1 = [-y : z : 0]. The lines AX1, BY1, and CZ1 are concurrent because
and the point of their concurrency is
Analogously, the lines AX2, BY2, and CZ2 are concurrent at
The proof of the lemma has been completed.
Construction which has been described in the Lemma maps the point P = (x : y : z) onto the set {W1, W2} of two points and
. If P is the symmedian point (Kimberling, 1994) P = K = (a2 : b2 : c2) of ΔABC, the points
and
coincide with the first and the second Brocard points of ΔABC, Ω1 and Ω2 (Honsberger, 1995).
The authors assume in the previous conclusion of Lemma and the following consideration that the vertices A, B, and C of ΔABC are ordered in counterclockwise direction. Call this direction positive. Call the angle MNQ in the plane of ΔABC positive if the shortest rotation from the ray MN to the ray NQ is positive. In that sense the interior angles of ΔABC have positive measures. Denote these measures A, B, C, respectively.
By definition of Brocard points,
For the points W1 and W2 defined above introduce the following angles
Introduce also two numbers: Δ1 = cot α1 + cot β1+ cot γ1 and Δ2 = cot α2 + cot β2 + cot γ2 and call Δ = Δ1 - Δ2 the symmedian defect of the point P.
Definition :- The point P in the plane of ΔABC is its quasi-symmedian point, if the symmedian defect of P is zero: Δ = 0.
Obviously, the symmedian point of ΔABC is its quasi-symmedian one.
The main result of this article can be stated now as following.
Theorem :- The locus of quasi-symmedian points of ΔABC is its Thomson cubic.
Proof :- The authors shall prove that, for the point P, Δ1 - Δ2 = 0 if and only if the triple (x : y : z) satisfies the equation (1). So, let us calculate cot αk, cot βk, cot γk, k = 1,2.
Let Ax1 ∩ BC = A’’ = (0 : xy : yz) = (0 : x : z).
Figure 2. The Sines Law.
Figure 3. Outside Segment of BC ray.
Figure 4. The exterior ∠BAW
Using (2) and cycling permutations cot β1 = a2 (x+y)/2Sx - cot C and γ1 = b2 (y+z)/2Sy - cot A. That gives
Analogously, cot α2 = b2 (x+y)/2Sy - cot C,
Hence,
It follows that Δ1 - Δ2 = 0 if and only if
Note that the last equation was obtained assuming that each coordinate of the point P = (x : y : z) is different from zero. But if, for example, x = 0, then it follows from (1) that yz(z - y) = 0, so y = 0 or z = 0 or y = z. That gives the vertices and the midpoints of the sides of ΔABC, and one may consider these points as additional quasi-symmedian points for which P lies on lines AB, BC, CA.