X1511¶
FERMAT CROSSSUM
X1511 (FERMAT CROSSSUM) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).¶
Constructed Elements
Central Lines: {3, 74}, {30, 113}
Related Centers: X3 (CIRCUMCENTER), X74 (ISOGONAL CONJUGATE OF EULER INFINITY POINT), X30 (EULER INFINITY POINT), X113 (JERABEK ANTIPODE)
Alternate Coordinates1 form
Trilinears: \((\sin^{2} A - 3 \cos^{2} A)(\sin B \sin C - 3 \cos B \cos C)\)
X1511 lies on (Johnson circumconic of medial triangle), the bicevian conic of X2 and X110.
Incident Central Lines13 lines
Functional Relations18 relations
X1511 = midpoint of Xi and Xj for these (i,j): (3, 110), (74, 399)
X1511 = reflection of Xi in Xj for these (i,j): (125, 140), (1539, 113)
X1511 = isotomic conjugate of polar conjugate of X39176
X1511 = crosssum of circumcircle-intercepts of line PU(174) (line X4X523)
X1511 = Xi-Ceva conjugate of Xj for these (i,j): (2, 3284), (3, 1154), (110, 526)
X1511 = crosspoint of Xi and Xj for these (i,j): (2, 340), (15, 16)
X1511 = crossdifference of every pair of points on the line X1637X1989
X1511 = orthocentroidal-to-ABC similarity image of X5
X1511 = 4th-Brocard-to-circumsymmedial similarity image of X5
X1511 = X12515-of-orthic-triangle if ABC is acute
Notes¶
Let A'B'C' be the cevian triangle of X30. Let A″, B″, C″ be the inverse-in-circumcircle of A', B', C'. The lines AA″, BB″, CC″ concur in X1511. Let NA be the reflection of X5 in the perpendicular bisector of segment BC, and define NB and NC cyclically; then X1511 = X186-of-NANBNC. (Randy Hutson, August 26, 2014)
Let MaMbMc be the medial triangle. Let L be the line through Ma parallel to the Euler line, and define M and N cyclically. Let L' be the reflection of L in sideline BC, and define M' and N' cyclically. The lines L',M',N' concur in X1511. Let (O') be the circle passing through the points X3, X4, X399, X6069, let Q be the radical axis (O') and the circumcircle; then X1511 = Q∩X3X74. (Randy Hutson, August 26, 2014)
Let U be the Simson line of X110, which is the line X30X113. Let V be the line normal to the circumcircle at X110, which is the line X3X74. Then X1511 = U∩V. (Randy Hutson, January 29, 2015)