X930

ANTICOMPLEMENT OF X137

X930 is the anticomplement of X137.
< A B C >: Reference Triangle △ABC < K_a K_b K_c >: Anticomplementary Triangle △K_a K_b K_c [ A B ]: Sideline AB (Base c = 1) [ B C ]: Sideline BC (Side a) [ C A ]: Sideline CA (Side b) { 2, 137 }: Central Line L(2, 137) { 4, 128 }: Central Line L(4, 128) { 3, 252 }: Central Line L(3, 252) { 74, 550 }: Central Line L(74, 550) A = Vertex A (0.0000, 0.0000) B = Vertex B (1.0000, 0.0000) C = Vertex C (0.6122, 0.5999) K_a = Anticomplementary Vertex K_a (1.6122, 0.5999) K_b = Anticomplementary Vertex K_b (-0.3878, 0.5999) K_c = Anticomplementary Vertex K_c (0.3878, -0.5999) X_2 = CENTROID (0.5374, 0.2000) X_137 = -OF-ORTHIC-TRIANGLE (0.7813, 0.1289) X_4 = ORTHOCENTER (0.6122, 0.3958) X_128 = -OF-ORTHIC-TRIANGLE (0.3310, 0.3690) X_3 = CIRCUMCENTER (0.5000, 0.1021) X_252 = ISOGONAL CONJUGATE OF X(143) (0.4565, 0.1253) X_74 = ISOGONAL CONJUGATE OF EULER INFINITY POINT (0.7484, -0.3437) X_550 = MIDPOINT OF X(3) AND X(20) (0.4439, -0.0448) X_930 = ANTICOMPLEMENT OF X(137) (0.0497, 0.3422) A B C Ka Kb Kc X2 X137 X4 X128 X3 X252 X74 X550 X930 (a, b, c) = (5, 6, 7) | AB = 1

X930 (ANTICOMPLEMENT OF X137) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).

Constructed Elements

Trilinears: \(1/(bw - cv) : :\), where \(u : v : w\) = X17
Barycentrics: \(1/((b^{2} - c^{2}) (a^{4} + b^{4} + c^{4} - 2 a^{2} b^{2} - 2 a^{2} c^{2} - b^{2} c^{2})) : :\)
Search Value (6, 9, 13): \(14.139603531276\)

X930 lies on the circumcircle.

▸ Incident Central Lines4 lines

{2, 137}, {3, 252}, {4, 128}, {74, 550}

▸ Functional Relations10 relations