X420

X4-HIRST INVERSE OF X427

< 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) { 2, 3 }: Euler Line { 232, 3229 }: Central Line L(232, 3229) A = Vertex A (0.0000, 0.0000) B = Vertex B (1.0000, 0.0000) C = Vertex C (0.6122, 0.5999) X_2 = CENTROID (0.5374, 0.2000) X_3 = CIRCUMCENTER (0.5000, 0.1021) X_4 = ORTHOCENTER (0.6122, 0.3958) X_232 = -CEVA CONJUGATE OF X(132) (0.6919, 0.7779) X_3229 = ISOGONAL CONJUGATE OF X(3225) (1.6061, 1.0091) X_420 = -HIRST INVERSE OF X(427) (0.7266, 0.6950) A B C X2 X3 X4 X232 X3229 X420 (a, b, c) = (5, 6, 7) | AB = 1

X420 (X4-HIRST INVERSE OF X427) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).

Constructed Elements

Trilinears: \((u^{2} - vw)\sec A : (v^{2} - wu)\sec B : (v^{2} - uv)\sec C\), where \(u : v : w\) = X38; e.g., \(u = u(a,b,c) = b^{2} + c^{2}\)
Barycentrics: \((u^{2} - vw)\tan A : (v^{2} - wu)\tan B : (w^{2} - uv)\tan C\)
Search Value (6, 9, 13): \(0.834756041461\)
▸ Alternate Coordinates1 form
  • Barycentrics: \((a^{2} - b c) \cdot (a^{2} + b c) \cdot (a^{2} + b^{2} - c^{2}) \cdot (a^{2} - b^{2} + c^{2}) : :(a^{2} + b^{2} - c^{2}) \cdot (a^{2} - b^{2} + c^{2}) \cdot (a^{4} + a^{2} b^{2} - b^{4} + a^{2} c^{2} - b^{2} c^{2} - c^{4}) : :\)

▸ Incident Central Lines39 lines

{2, 3}, {112, 8623}, {232, 3229}, {240, 17927}, {340, 44102}, {685, 20021}, {1613, 8743}, {1843, 34236}, {1990, 38294}, {2207, 21001}, {2501, 9210}, {2896, 11380}, {3117, 39575}, {3186, 17907}, {3231, 8744}, {3819, 10357}, {3978, 44146}, {5207, 40876}, {6198, 40790}, {6688, 7859}, {7779, 44090}, {9208, 44427}, {9302, 16080}, {9862, 42671}, {12143, 46226}, {14165, 34854}, {16081, 46306}, {17414, 47217}, {18020, 20022}, {18371, 52418}, {19128, 36213}, {19558, 43696}, {26958, 39646}, {28408, 44443}, {32223, 43453}, {33873, 44084}, {39201, 44451}, {39231, 40559}, {40858, 41676}

▸ Functional Relations13 relations

Notes

As a point on the Euler line, X420 has Shinagawa coefficients \((4(E + F)F,-(E + F)^{2} - S^{2})\).