Another Locus Property Of The Thomson Cubic

Mikhail Goldenberg *  Mark Kaplan **
* Department of Mathematics, The Ingenuity Project Baltimore Polytechnic Institute 1400 W, Cold Spring Lane Baltimore.
** Adjunct Professor, Department of Mathematics, Towson University, York Road Towson.

Abstract

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.

Keywords :

Introduction

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)

(1)

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.

Lemma

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.

Proof

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.

References

[1]. Coxeter, H. S. M. (1993). The Real Projective Plane (3rd ed.). Cambridge, England: Cambridge University Press, p. 103.
[2]. Cundy, H. M., Parry, C. F. (1995). Some Cubic Curves Associated with a Triangle. Journals of Geom. 53, 41-66.
[3]. Gibert, B. (2012, June 25). Thomson Cubic. St Etienne, France: Cubics in the Triangle Plane. Retrieved from http://perso.wanadoo.fr/bernard.gibert/Exemples/k002.html
[4]. Honsberger, R. (1995). Episodes in Nineteenth and Twentieth Century Euclidean Geometry. Washington, DC: Math. Assoc. Amer, pp. 98-124.
[5]. Kimberling, C. (1994). Central Points and Central Lines in the Plane of a Triangle. Math. Mag., 67, 163-187.
[6]. Kimberling, C. (1998). Triangle Centers and Central Triangles. Congr. Numer., 129, 1-295.
[7]. Rubio, P. (1989). Cubic Lines Relative to a Triangle. Journals of Geom. 34, 152-171.
[8]. Sigur, S. (2005). Where are the Conjugates? Forum Geom. 5, 1-15.
[9]. Wells, D. (1991). The Penguin Dictionary of Curious and Interesting Geometry. London, England: Penguin, pp. 190-191.
[10]. Yiu, P. (2000). The uses of homogeneous barycentric coordinates in plane euclidean geometry. Int. Journals of Math. Educ. Sci. Technol., 31, 569 – 578.