Hexyl Triangle

DOWNLOAD Mathematica Notebook Contribute to this entry HexylTriangle

Given a triangle DeltaABC and the excentral triangle DeltaJ_AJ_BJ_C, define the A^'-vertex of the hexyl triangle as the point in which the perpendicular to AB through the excenter J_B meets the perpendicular to AC through the excenter J_C, and similarly define B^' and C^'. Then DeltaA^'B^'C^' is known as the hexyl triangle of DeltaABC, and A^'J_BC^'J_AB^'J_C forms a hexagon with parallel sides (Kimberling 1998 pp. 79 and 172).

The hexyl triangle has trilinear vertex matrix

 [x+y+z+1 x+y-z-1 x-y+z-1; x+y-z-1 x+y+z+1 -x+y+z-1; x-y+z-1 -x+y+z-1 x+y+z+1],
(1)

where x=cosA, y=cosB, and z=cosC (Kimberling 1998, p. 172).

It has side lengths

a^'=asec(1/2A)
(2)
b^'=bsec(1/2B)
(3)
c^'=csec(1/2C)
(4)

and area

Delta^'=(abc(a+b+c))/(4Delta)
(5)
=(4(a+b+c)R^2)/(abc)Delta
(6)
=(abc)/(2r),
(7)

where Delta is the area of the reference triangle, R is the circumradius, and r is the inradius. It therefore has the same side lengths and area as the excentral triangle.

The Cevians triangles with Cevian points corresponding to Kimberling centers X_i with i=7, 20, 21, 27, 63, and 84 are perspective to the hexyl triangle. That anticevian triangles and antipedal triangles corresponding to Kimberling centers for i=1, 9, 19, 40, 57, 63, 84, 610, 1712, and 2184 are also perspective to the hexyl triangle In fact, any point on the trilinear cubic

 sum_(cyclic)[betagamma(S_Cbeta-S_Bgamma)]=0
(8)

has an anticevian and antipedal triangle that are perspective with the hexyl triangle (P. Moses, pers. comm., Feb. 3, 2005).

The circumcircle of the hexyl triangle is the hexyl circle.

The triangle centroid of the hexyl triangle is the point with triangle center function

 alpha=3a^3-ba^2-ca^2-3b^2a-3c^2a+2bca+b^3+c^3-bc^2-b^2c,
(9)

which is not a Kimberling center.

The following table gives the centers of the hexyl triangle in terms of the centers of the reference triangle for Kimberling centers X_n with n<=125.

X_ncenter of hexyl triangleX_ncenter of reference triangle
X_3circumcenterX_1incenter
X_4orthocenterX_(40)Bevan point
X_5nine-point centerX_3circumcenter
X_(51)triangle centroid of orthic triangleX_(376)triangle centroid of the antipedal triangle of X_2
X_(52)orthocenter of orthic triangleX_(20)de Longchamps point
X_(53)symmedian point of orthic triangleX_(1350)reflection of X_6 in X_3
X_(68)Prasolov pointX_(84)isogonal conjugate of X_(40)
X_(113)Jerabek antipodeX_(100)anticomplement of Feuerbach point
X_(114)Kiepert antipodeX_(101)psi(incenter, symmedian point)
X_(115)Kiepert centerX_(103)antipode of X_(101)
X_(122)X_(107)-of-medial triangleX_(106)lambda(incenter, triangle centroid)
X_(125)Jerabek centerX_(104)antipode of X_(100)

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.