Distance Product Cubics BORIS ODEHNAL Original Scientific Paper Accepted 13
Total Page:16
File Type:pdf, Size:1020Kb
KoG•24–2020 B. Odehnal: Distance Product Cubics https://doi.org/10.31896/k.24.3 BORIS ODEHNAL Original scientific paper Accepted 13. 11. 2020. Distance Product Cubics Distance Product Cubics Kubike konstantnog umnoˇska udaljenosti ABSTRACT SAZETAKˇ The locus of points that determine a constant product U projektivno zatvorenoj Euklidskoj ravnini trokuta ge- of their distances to the sides of a triangle is a cubic ometrijsko mjesto toˇcaka trokuta kojima je umnoˇzaku- curve in the projectively closed Euclidean triangle plane. daljenosti od stranica trokuta konstantan je jedna kubika. In this paper, algebraic and geometric properties of these Prouˇcavat´ce se algebarska i geometrijska svojstva tih distance product cubics shall be studied. These cubics kubika konstantnog umnoˇska udaljenosti. Takve kubike span a pencil of cubics that contains only one rational and ˇcinepramen kubika koje sadrˇzesamo jednu racionalnu non-degenerate cubic curve which is known as the Bataille nedegeneriranu kubiku poznatu kao Batailleova kubika acnodal cubic determined by the product of the actual s izoliranom toˇckom, a koja je odred-ena umnoˇskom trilinear coordinates of the centroid of the base triangle. pravih trilinearnih koordinata teˇziˇstatemeljnog trokuta. Each triangle center defines a distance product cubic. It Svaka toˇcka trokuta odred-uje jednu kubiku konstantnog turns out that only a small number of triangle centers umnoˇska udaljenosti. Ispostavlja se da mali broj toˇcaka share their distance product cubic with other centers. All trokuta med-usobno dijele kubiku konstantnog umnoˇska distance product cubics share the real points of inflection udaljenosti. Sve kubike konstantnog umnoˇska udalje- which lie on the line at infinity. The cubics' dual curves, nosti dijele realne toˇcke infleksije koje leˇzena pravcu u their Hessians, and especially those distance product cu- beskonaˇcnosti. Prouˇcavat´cese dualne krivulje kubike, bics that are defined by particular triangle centers shall be njihove Hessianove matrice i posebno one kubike kon- studied. stantnog umnoˇska udaljenosti koje su odred-ene poznatim toˇckama trokuta. Key words: triangle cubic, elliptic cubic, rational cubic, trilinear distance, constant product, Steiner inellipse, tri- Kljuˇcne rijeˇci: kubika trokuta, eliptiˇcna kubika, angle centers racionalna kubika, trilinearna udaljenost, konstantni MSC2010: 51M04 51N35 14H52 14N25 umnoˇzak,Steinerova upisana elipsa, toˇcke trokuta 1 Introduction through the vertices of the base triangle and carries the tri- angle centers Xi with Kimberling indices Cubics occur frequently in triangle geometry. Sometimes, cubics are defined as locus of points satisfying certain ge- i2f1;2;3;4;6;9;57;223;282;1073 ometric or algebraic conditions. There are many well- 1249;3341;3342;3343;3344;3349;3350; known cubics such as the Neuberg cubic, the Thomson cu- 3351;3352;3356;14481;39161;39162g; bic, the Darboux cubic to name just the most prominent examples. These triangle cubics are known to carry some the midpoints of D’s sides, the midpoints of D’s altitudes, triangle centers together with points related to the triangle, the vertices of the Thomson triangle, and the excenters and besides their (in principle) Euclidean generation, some (which are actually 38 points), see [4]. The numbering of them allow for a projective generation, cf. [8]. In many of triangle centers follows the exhaustive Encyclopedia of cases, these cubics pass through the vertices of the base tri- Triangle Centers by CLARK KIMBERLING, see [6, 7]. For angle: For example, the Thomson cubic K002 (sometimes example, the triangle centers X39161 and X39162 are the real called seventeen-point cubic, illustrated in Figure 1) passes foci of the inscribed Steiner ellipse e. On the other hand, 29 KoG•24–2020 B. Odehnal: Distance Product Cubics the names and numbers of triangle cubics are taken from product cubics is given. It is described how these centers BERNARD GIBERT’s pages [2]. on such cubics can be found in an efficient way and atten- Further, K002 is a self-isogonal cubic with the centroid X2 tion is paid to special configurations of triangle centers on of D as its pivot point. 26 geometric definitions of the their respective distance product cubics. Then, in Section Thomson cubic can be found on GIBERT’s page [4], dedi- 3, some (until now) unknown triangle centers on some dis- cated exclusively to the Thomson cubic. tance product cubics that contain only one known triangle center are given. Only triangle centers with a relatively short trilinear center function (homogeneous polynomial in the three side lengths a, b, c) shall be listed. Finally, Section 4 will outline future work and discusses compu- tational problems and challenges. The present paper is an extension and completion of [9]. 1.1 Prerequisites In triangle geometry, trilinear coordinates proved useful. For that purpose, the vertices A, B, and C of the base tri- angle D (with side lengths a = BC, b = CA, c = AB) are described by the homogeneous coordinates A = (1;0;0); B = (0;1;0); C = (0;0;1); Figure 1: The Thomson cubic K002 with 23 triangle centers on it. i.e., the vectors of the canonical basis in R3. The projective frame shall be completed by choosing The cubics which shall be studied here, do not pass through the vertices of the triangle. Moreover, the number of trian- X1 = (1;1;1) gle centers located on these cubics is rather small except as the unit point. At this point, it shall be said that the cen- in one case. In many cases, it is impossible to find more troid X2 of D (like any other center) can also serve as the than one triangle center on such a cubic. Nevertheless, it unit point. With X2 as the unit point, barycentric coordi- is surprising that no one has payed attention to the set of nates of points in the plane of the triangle are well-defined, points forming a constant product of distances to the trian- cf. [6]. In the following, trilinear coordinates are preferred, gle sides. since distances of points to the sides of the base triangle are What is the reason for the interest especially in these involved. curves? It is well-known that elliptic cubics carry a group Each point X in the plane of D can be uniquely determined structure. The operation on the set of points on an elliptic by its homogeneous trilinear coordinates cubic can be seen as an addition. Furthermore, it is well known that these groups contain finitely generated sub- X = (x;h;z) 6= (0;0;0); groups, cf. [10]. Generators of these groups of finite or- der are highly sought after. Once, rational (or polynomial) which are the ratios of the oriented distances of X to D’s points on elliptic curves are known, many more of them oriented side lines. The side lines are oriented as AB (from can be generated by simply doubling the initial points. Un- A to B), BC, and CA. From homogeneous trilinear coor- dinates, the (inhomogeneous) actual trilinear coordinates til now, only a few examples of finitely generated groups a a a on elliptic curves are known. Within the huge amount of (x ;h ;z ) consisting of the three oriented distances of X triangle cubics carrying rational points, it may be possible to D’s side lines can be computed by to find some more examples. 2F (xa;ha;za) = (x;h;z); (1) The paper is organized as follows: In the remaining part ax + bh + cz of this section, the equation of the distance product cu- bics are determined. Further, some geometric properties where F equals the area of the triangle. This normalization of these particular cubics are deduced. Then, the equations fails if of the dual curves and the curves in the Hessian pencil are w : ax + bh + cz = 0: given. For the sake of completeness, the Weierstraß nor- This is the equation of the ideal line w (line at infinity) mal form of the distance product cubics is derived. Section and all points (x;h;z) on it are ideal points (points at in- 2 deals with the very special distance product cubics de- finity). These points shall be excluded from the following fined by triangle centers. A complete list (as to November considerations (although there are more than one thousand 2020) of groups of triangle centers sharing their distance triangle centers on the ideal line), cf. [7]. 30 KoG•24–2020 B. Odehnal: Distance Product Cubics 1.2 Basic properties If one multiplies the actual trilinear coordinates of a point in the plane of the triangle and sets this product equal to a constant d 2 R, it is possible to state: Theorem 1 The locus of points X in the (Euclidean) plane of the triangle D that form a constant product d 2 R n f0g of distances to the side lines of D is a planar cubic curve with the equation 3 3 kd : 8F xhz − d(ax + bh + cz) = 0 (2) in terms trilinear coordinates. Proof. The equation (2) is obtained by multiplying xa, ha, za from (1) Figure 2: A projective view onto the pencil of distance product cubics shows the three real points of in- 8F3 flection I ,I ,I on . xahaza = 1 2 3 w (ax + bh + cz)3 Theorem 2 The distance product cubics (2) share the and, subsequently, setting this product equal to d 2 Rnf0g. The equation (2) is homogeneous and of degree three, and three real inflection points, which are at the same time the thus, it describes a planar cubic curve in the projective three ideal points of the cubis. The homogeneous trilinear plane. A simple computation shows that if (2) is fulfilled coordinates of the points of inflection are by the actual trilinear coordinates of a point, then it is also I1 =(0;−c;b); I2 =(c;0;−a); I3 =(−b;a;0): fulfilled by an arbitrary multiple of these coordinates of the same point, and vice versa.