11/22/2019 CIRCUMCEVIAN INVERSION PERSPECTOR A Generalisation of the Triangle Center X(35) SUREN surenxyz0@gmail.com CIRCUMCEVIAN INVERSION PERSPECTOR A Generalization of the Triangle Center X(35) SUREN surenxyz0@gmail.com ABSTRACT. The triangle center π(35) as mentioned in the Kimberling’s Encyclopedia of Triangle Centers, is the point of concurrence of the lines joining the vertices of the triangle to the inverses of the opposite excentres in the circumcircle. In this paper, we obtain a generalization of the same. NOTATION Let π΄π΅πΆ be a triangle. We denote its side lengths π΅πΆ, πΆπ΄ and π΄π΅ by π, π, π , its perimeter by 2π , π being the semiperimeter, and its area by π₯. Its well-known triangle centers are the circumcenter π, the incenter πΌ, the orthocenter π» and the centroid πΊ. The nine-point center (π) is the center of the nine-point circle and is the midpoint of segment ππ». πΌπ represents the excenter opposite to π΄ and define πΌπ and πΌπ cyclically. The inradius is represented by π and the circumradius by π . The Euler Line is the line on which the circumcenter, the centroid and the orthocenter lie. ππ represents the Nagel Point, i.e. the point of concurrence of the lines joining the vertices of the triangle to the points of tangency of the corresponding excircles to the opposite sides. (π΄π΅πΆ) represents the circumcircle of triangle π΄π΅πΆ. πππ€π (π) represents the power of the point π wrt the circle ω. The ordered triple π₯: π¦: π§ represents the point with barycentric coordinates π₯ π¦ π§ ( , , ) π₯+π¦+π§ π₯+π¦+π§ π₯+π¦+π§ π(π, π, π): π(π, π, π): π(π, π, π) can be represented as π(π, π, π) β·. The point π(π) represents the triangle center π(π) as listed in the Kimberling’s Encyclopedia of Triangle Centers. CONWAY’S NOTATION π = 2π₯ and ππ΄ = (π 2 + π 2 − π2 )⁄ 2 = ππ cos π΄. ππ΅ and ππΆ are defined cyclically. 2 ππ = π cot π , cot(ω) = (a 2 + b + c 2 ) ⁄ 2π , where π is the Brocard angle. Throughout this paper, the above notation shall be used. The symbols have the same meaning as in this section unless specified otherwise. THE TRIANGLE CENTER π(35) Page | 1 The triangle center π(35) as mentioned in the Kimberling’s Encyclopedia of Triangle Centers, is the point of concurrence of the lines joining the vertices of the triangle to the inverses of the opposite excentres in the circumcircle. P’ Figure 1. Triangle Center X(35) THE INCENTER-EXCENTER LEMMA We begin with the well-known Incenter-Excenter Lemma that relates the incenter and excenters of a triangle. Lemma. Let π΄π΅πΆ be a triangle. Denote by πΏ the mid-point of arc π΅πΆ not containing π΄. Then, πΏ is the center of the circle passing through πΌ, πΌπ , π΅, πΆ. Proof. Note that the points π΄, πΌ, πΌπ and πΏ are collinear (as πΏ lies on the angle bisector of ∠π΅π΄πΆ). We wish to show that πΏπ΅ = πΏπΌ = πΏπΆ = πΏπΌπ . First, notice that ∠πΏπ΅πΌ = ∠πΏπ΅πΆ + ∠πΆπ΅πΌ = ∠πΏπ΄πΆ + ∠πΆπ΅πΌ = ∠πΌπ΄πΆ + ∠πΆπ΅πΌ = 1⁄2 ∠π΄ + 1⁄2 ∠π΅ . However, ∠π΅πΌπΏ = ∠π΅π΄πΌ + ∠π΄π΅πΌ = 1⁄2 ∠π΄ + 1⁄2 ∠π΅ = ∠πΏπ΅πΌ. Thus, triangle π΅πΌπΏ is isosceles with πΏπ΅ = πΏπΌ. Similarly, πΏπΌ = πΏπΆ. Hence, πΏ is the circumcenter of triangle πΌπ΅πΆ. The circle passing through πΌ, π΅ and πΆ must pass through πΌπ as well (the quadrilateral πΌπΆπΌπ π΅ is cyclic as the opposite angles add up to 180°). Thus, πΏ is the center of the circle passing through πΌ, πΌπ , π΅, πΆ. Using this property that relates the excentres and the incenter, we try to obtain a generalization of the triangle center π(35). Page | 2 Figure 2. The Incenter-Excentre Lemma THE CIRCUMCEVIAN-INVERSION PERSPECTOR The following theorem is the crux of this paper. Theorem (Circumcevian-inversion perspector). The triangle formed by the inverses of reflections of a point in the vertices of its circumcevian triangle is perspective to the original triangle at a point called the Circumcevianinversion perspector of that point with respect to the original triangle. P’ Figure 3. The Circumcevian-inversion perspector π′ Page | 3 In simple words, let π be any point in the plane of a triangle π΄π΅πΆ and the lines π΄π, π΅π and πΆπ intersect (π΄π΅πΆ) again in π·, πΈ and πΉ respectively. The reflection of π in π·, πΈ and πΉ are π, π and π. The inverses of π, π and π in (π΄π΅πΆ) are the points π′, π′ and π ′ respectively. Then the lines π΄π′, π΅π′ and πΆπ′ are concurrent at a point which we shall call throughout this paper, the ‘Circumcevian-inversion perspector’ of π . The properties of the Circumcevian-inversion perspector of a point are discussed in the later sections. Proof. Construct the circles (π΄ππ), (π΅ππ), (πΆππ). πππ€(π΄ππ) (π) = π΄π β ππ = π΄π β 2ππ· = 2πππ€(π΄π΅πΆ) (π) Similarly, we can prove that πππ€(π΅ππ) (π) = πππ€(πΆππ) (π) = 2πππ€(π΄π΅πΆ) (π). So, the power of π and π wrt the three circles is equal. This implies that the three circles, (π΄ππ), (π΅ππ), (πΆππ) are coaxial and their radical axis is the line ππ. So, these circles share a second common point (other than π), say πΎ. Define πΌ as the inversion about the circle (π΄π΅πΆ). The image of any point π under this inversion is πΌ(π). Under the inversion, (π΄ππ) is mapped to the line π΄π′, (π΅ππ) is mapped to the line π΅π′, (πΆππ) is mapped to the line πΆπ ′ . The lines π΄π′ , π΅π′ , and πΆπ′ share the points πΌ(π) and πΌ(πΎ) . Hence the lines π΄π′ , π΅π′ , and πΆπ′ are concurrent at the point πΌ(πΎ). (The other common point i.e. πΌ(π) is a point at infinity). Remark. π, π and π can also be understood as the images of the point π in the homothety with factor −1 centered at the points π·, πΈ and πΉ. If the factor of homothety is changed to some other number, in that case as well, the lines π΄π′, π΅π′ and πΆπ′ are concurrent. The above proof with minor modifications works. If the factor of homothety is changed to β then, this perspector is called the β-circumcevian-inversion perspector of π with respect to the original triangle. The (−1) -circumcevian-inversion perspector is simply referred to as the circumcevian-inversion perspector. It is clear by the incenter-excenter lemma that the triangle center π(35) is the Circumcevian-inversion perspector of the incenter. Also, the circumcenter is the Circumcevian-inversion perspector of itself. PROPERTIES OF THE CIRCUMCEVIAN-INVERSION PERSPECTOR OF A POINT The Circumcevian-inversion perspector of a point displays interesting properties, three of which are listed below. The Circumcevian-inversion perspector opens the windows for many more triangle centers to be discovered. Property 1. The Circumcevian-inversion perspector of the point π wrt triangle π΄π΅πΆ lies on the line ππ, π being the circumcenter of π΄π΅πΆ. Proof. Since the point πΎ lies on the line ππ, πΌ(πΎ) must lie on ππ as well. ′ Property 2. If the distance ππ = π, and π′ is the Circumcevian-inversion perspector of π, then ππ ⁄π′ π = 1 − π 2⁄ . π 2 Proof. πππ€(π΄π΅πΆ) (π) = π 2 − π 2 = π΄π β ππ· πππ€(π΄ππ) (π) = π΄π β ππ = 2π΄π β ππ· = 2( π 2 − π 2 ) = ππ β ππΎ ππΎ = 2(π 2 − π 2 ) 2π 2 − π 2 βΉ ππΎ = π π Page | 4 ππΎ β ππ′ = π 2 βΉ ππ′ = π 2 π ππ 2π 2 − π 2 ππ′ π2 βΉ = βΉ = 1 − 2π 2 − π 2 ππ′ π 2 π′ π π 2 Property 3. P′ and πΌ(π) = π are harmonic conjugates wrt the points π and π. Proof. ππ β ππ = π 2 βΉ ππ = π 2 π 2 − π 2 ππ π 2 − π 2 π2 ππ ππ′ βΉ ππ = βΉ = = 1 − βΉ = π π ππ π 2 π 2 ππ ππ′ Remark. The converse of property 3 is also easy to prove. BARYCENTRIC COORDINATES OF THE CIRCUMCEVIAN-INVERSION PERSPECTOR OF A TRIANGLE CENTER In this section, we find the barycentric coordinates of the Circumcevian-inversion perspector of a point by using Property 2 discussed in the last section. Consider the point π = (π, π, π). Note that here, we are considering the normalized barycentric coordinates of the point. The result can be denormalized later. π2 ππ΄⁄ 2π 2 , _, _) and the coordinates of π are (π, π, π). We use the barycentric distance formula to find the distance π = ππ. Now, we use property 3. The circumcenter π has normalized barycentric coordinates ( π 2 = ππ2 = − ∑ π2 ( ππ¦π π 2 ππ π 2 ππ − π) ( 2 − π) 2 2π 2π 2 π 2 ππ 2 π ππ ∑ π ( − π) ( − π) ππ¦π 2 ππ π 2π 2π 2 = 1 − = 1 + π′ π π 2 π 2 ′ 2 π′ = 8π 6 π 2 π + (4π 4 π 2 + ∑(π2 (π 2 ππ΅ − 2ππ 2 )(π 2 ππΆ − 2ππ 2 )))π2 ππ΄ β· ππ¦π After algebraic manipulations and denormalization, we get π′ = π(π + π + π)π2 π 2 π 2 + π2 (π 2 + π 2 − π2 )(π2 ππ + π 2 ππ + π 2 ππ) β· It should be noted that the above expression is valid for all points π: π: π instead of only for (π, π, π) as we have denormalised the expression. SHINAGAWA COEFFICIENTS OF THE CIRCUMCEVIAN-INVERSION PERSPECTOR OF A TRIANGLE CENTER ON THE EULER LINE Suppose that π is a triangle center on the Euler line given by barycentric coordinates π(π, π, π) βΆ π(π, π, π) βΆ π(π, π, π). The Shinagawa coefficients of π are the functions πΊ(π, π, π) and π»(π, π, π) such that π(π, π, π) = πΊ(π, π, π) β π 2 + π»(π, π, π) β ππ΅ ππΆ . Many a times, Shinagawa coefficients of a triangle center can be conveniently expressed in terms of the following, Page | 5 2 (ππ΅ + ππΆ )(ππΆ + ππ΄ )(ππ΄ + ππ΅ )⁄ πππ⁄ ) = 4π 2 π π2 = ( π π π (π2 + π 2 + π 2 )⁄ 2 2 πΉ = π΄ π΅ πΆ⁄π 2 = 2 − 4π = ππ − 4π πΈ = Let the Shinagawa coefficients of a triangle center π on the Euler line be (π, π). By property 1, the Circumcevianinversion perspector of π i.e. π′ lies on the Euler line as well. We try to find the Shinagawa coefficients of π′. π and π» are circumcenter and orthocenter respectively of the reference triangle. π has Shinagawa coefficients (π, π). Thus, π = ππ 2 + πππ΅ ππΆ β·. π If ππ⁄ππ» = 1⁄π2 , then π = π2 π 2 + (2π2 − π1 )ππ΅ ππΆ β·. Comparing the barycentric coordinates for π in the two cases, we get ππ⁄ππ» = π + π⁄2π. ππ = (π + π)(ππ») 3π + π Now, we use property 3 of the Circumcevian-inversion perspector of a point. (π + π)2 (ππ»)2 (π + π)2 (πΈ − 8πΉ) (3π + π)2 πΈ − (π + π)2 (πΈ − 8πΉ) ππ′ π2 =1− 2 = 1− = 1− = ′ 2 2 (3π + π) (π ) (3π + π)2 πΈ (3π + π)2 πΈ ππ π The barycentric section formula gives the Shinagawa coefficients (after cancelling out any common factors) of π′ as (2π(3π + π)πΈ + (3π + π)2 πΈ − (π + π)2 (πΈ − 8πΉ), 2π(3π + π)πΈ − (3π + π)2 πΈ + (π + π)2 (πΈ − 8πΉ)) This formula can be used to find the Shinagawa coefficients of the Circumcevian-inversion perspector of any triangle center lying on the Euler line. Note that this formula is applicable because π and π have the same degree of homogeneity in π, π, π for any triangle center on the Euler line. We find the Shinagawa coefficients of the Circumcevian-inversion perspector of the Nine Point Center and the De Longchamps Point. Example 1. Nine Point Center i.e. π(5) has the Shinagawa coefficients (1,1). So, its Circumcevian-inversion perspector has the shinagawa coefficients (5πΈ + 8πΉ, −πΈ − 8πΉ). This is now π(34864)Kimberling’s Encyclopedia of Triangle Centers. Example 2. De Longchamps Point i.e. π(20) has the Shinagawa coefficients (1, −2). So, its Circumcevianinversion perspector has the shinagawa coefficients (πΈ + 4πΉ, −2πΈ − 4πΉ). Thus, the Circumcevian-inversion perspector of the triangle center π(20) i.e. the De Longchamps Point is the triangle center π(7488). OTHER CIRCUMCEVIAN-INVERSION PERSPECTORS CIRCUMCEVIAN-INVERSION PERSPECTOR OF THE CENTROID (π(2)) According to the Kimberling’s Encyclopedia of Triangle Centers, π(7496)= π(2), π(3)- harmonic conjugate of π(23) Barycentrics (Pending) π(23) is the inverse-in-circumcircle of π(2). By property 3, we can claim that π(7496) is the Circumcevian-inversion perspector of π(2) i.e. the centroid. Page | 6 Barycentric formula gives the barycentric coordinates of πΊ′ as (3π2 π 2 π 2 + π2 (π2 + π 2 + π 2 )(π 2 + π 2 − π2 ) β· ). CIRCUMCEVIAN-INVERSION PERSPECTOR OF THE ORTHOCENTER (π(4)) We claim that the triangle center π(3520) is the Circumcevian-inversion perspector of the orthocenter i.e. π(4). π(186) is the inverse-in-circumcircle of the orthocenter (π»). If we denote the Circumcevian-inversion perspector of π» by π»′ , then π(4), π(3); π» ′ , π(186) is a harmonic bundle by property 3. π(4) = (tan π΄ β·) and π(3) = (sin 2π΄ β·) . π(186) = (sin π΄ (4 cos π΄ − sec π΄) β·) = (2 sin 2π΄ − tan π΄ β·). By basic properties of barycentric coordinates in a harmonic bundle, we get π»′ = (2 sin 2π΄ + tan π΄ β·) = (sin π΄ (4 cos π΄ + sec π΄) β·) = π(3520). CIRCUMCEVIAN-INVERSION PERSPECTOR OF THE SYMMEDIAN POINT (π(6)) According to the Kimberling’s Encyclopedia of Triangle Centers, π(6) = inverse-in-circumcircle of π(187) π(574) = inverse-in-Brocard-circle of π(187) Brocard circle of a triangle is the circle with the circumcenter and symmedian point of the triangle as its diametric ends. This shows that π(6), π(3); π(574), π(187) is in fact a harmonic bundle. By property 3, π(574) is the Circumcevian-inversion perspector of the symmedian point. CIRCUMCEVIAN-INVERSION PERSPECTOR OF THE NAGEL POINT (π(8)) We take a different approach here, rather than just using the barycentric formula for circumcevian-inversion perspector. It is known that the incenter is the complement of the Nagel point. Also, the nine-point center (π) of the triangle is the circumcenter of the medial triangle. By Feuerbach’s Theorem, we have, ππΌ = π ⁄2 − π. Due to homothety of the triangle with its medial triangle, it follows that πππ = 2 β ππΌ = π − 2π. Now, it is only a matter of using property 2 to find the barycentric coordinates ππ′ i.e. the Circumcevianinversion perspector of ππ. ππππ′ π 2 4π π − 4π 2 = 1 − = ππ′ π π 2 π 2 π = π(3) = (sin 2π΄ β·) ππ = π(8) = (π + π − π β·) ππ′ = (π + π − π + 4 β sin 2π΄ (π − π) β·) This is now π(34866) in Kimberling’s Encyclopedia of Triangle Centers. KNOWN CIRCUMCEVIAN-INVERSION PERSPECTORS Triangle Center Incenter Circumcevianinversion perspector π(35) Page | 7 Centroid π(7496) Circumcenter Circumcenter Orthocenter π(3520) Symmedian Point π(574) De Longchamps Point π(7488) REFERENCES Kimberling, C. (n.d.). Encyclopedia of Triangle http://faculty.evansville.edu/ck6/encyclopedia/ETC.html Centers. Retrieved from Weisstein, E. W. (n.d.). Circumcenter. Retrieved from MathWorld--A Wolfram Web Resource: http://mathworld.wolfram.com/Circumcenter.html Suren: 156, Prem Nagar, Hisar, Haryana – 125001, India (Landmark - Back of Kumhar Dharamshala) Email: surenxyz0@gmail.com Page | 8