X1157

INVERSE-IN-CIRCUMCIRCLE OF X54

For any point X, let XA be the reflection of X in sideline BC, and define XB and XC cyclically. Then X1157 is the unique point X for which the lines AXA, BXB, CXC concur on the circumcircle; the point of concurrence is X1141.
< A B C >: Reference Triangle △ABC [ A B ]: Sideline AB (Base c = 1) [ B C ]: Sideline BC (Side a) [ C A ]: Sideline CA (Side b) circumcircle: Circumcircle of △ABC { 3, 54 }: Central Line L(3, 54) { 5, 252 }: Central Line L(5, 252) { 186, 933 }: Central Line L(186, 933) { 30, 1141 }: Central Line L(30, 1141) { 1337, 1338 }: Central Line L(1337, 1338) A = Vertex A (0.0000, 0.0000) B = Vertex B (1.0000, 0.0000) C = Vertex C (0.6122, 0.5999) X_3 = CIRCUMCENTER (0.5000, 0.1021) X_54 = KOSNITA POINT (0.5880, 0.2176) X_5 = NINE-POINT CENTER (0.5561, 0.2489) X_252 = ISOGONAL CONJUGATE OF X(143) (0.4565, 0.1253) X_186 = INVERSE-IN-CIRCUMCIRCLE OF X(4) (0.7957, 0.8758) X_933 = -CROSS CONJUGATE OF X(250) (0.4754, 0.6118) X_30 = EULER INFINITY POINT (0.7469, 0.7481) X_1141 = GIBERT POINT (-0.0724, -0.2027) X_1337 = 1st WERNAU POINT (2.6910, 4.6498) X_1338 = 2nd WERNAU POINT (1.0969, 0.1421) X_1157 = INVERSE-IN-CIRCUMCIRCLE OF X(54) (1.5871, 1.5280) A B C X3 X54 X5 X252 X186 X933 X30 X1141 X1337 X1338 X1157 (a, b, c) = (5, 6, 7) | AB = 1

X1157 (INVERSE-IN-CIRCUMCIRCLE OF X54) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).

Constructed Elements

Trilinears: \(a[(a^{2} - b^{2})^{2} - c^{2}(a^{2} + b^{2})][(a^{2} - c^{2})^{2} - b^{2}(c^{2} + a^{2})]U(a,b,c)\), where \(U(a,b,c) = a^{6} - b^{6} - c^{6} + 3a^{2}(b^{4} + c^{4} - a^{2}b^{2} - a^{2}c^{2}) + b^{2}c^{2}(b^{2} + c^{2}) - a^{2}b^{2}c^{2}\)
Search Value (6, 9, 13): \(4.612380768446\)
▸ Alternate Coordinates1 form
  • Trilinears: \(4 \cos A + \cos 3A \sec A \sec(B - C) : :\)

X1157 lies on the Neuberg cubic.

▸ Incident Central Lines9 lines

{1, 3483}, {3, 54}, {4, 3482}, {5, 252}, {30, 1141}, {74, 3484}, {186, 933}, {1337, 1338}, {3065, 3465}

▸ Functional Relations6 relations

Notes

X1157 is the tangential of X3 on the Neuberg cubic.

Let RefaRefbRefc be the reflection triangle. The circumcircles of ARefbRefc, BRefcRefa, CRefaRefb (i.e., the Yiu circles) concur in X1157. (Randy Hutson, July 20, 2016)