X827

o-(0, 4) CIRCUMCIRCLE POINT

< 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) { 5, 83 }: Central Line L(5, 83) { 111, 251 }: Central Line L(111, 251) { 6, 755 }: Central Line L(6, 755) { 32, 733 }: Central Line L(32, 733) { 31, 745 }: Central Line L(31, 745) { 82, 759 }: Central Line L(82, 759) A = Vertex A (0.0000, 0.0000) B = Vertex B (1.0000, 0.0000) C = Vertex C (0.6122, 0.5999) X_826 = ODD (0, 4) INFINITY POINT (1.1003, 0.0340) X_5 = NINE-POINT CENTER (0.5561, 0.2489) X_83 = CEVAPOINT OF CENTROID AND SYMMEDIAN POINT (0.5651, 0.2360) X_111 = PARRY POINT (0.9885, -0.0457) X_251 = ISOGONAL CONJUGATE OF X(141) (0.6177, 0.3042) X_6 = SYMMEDIAN POINT (LEMOINE POINT, GREBE POINT) (0.6000, 0.2672) X_755 = EVEN (0, 4) CIRCUMCIRCLE POINT (0.9524, -0.1340) X_32 = 3rd POWER POINT (0.6400, 0.3332) X_733 = EVEN (- 2, 2) CIRCUMCIRCLE POINT (1.0071, 0.0450) X_31 = 2nd POWER POINT (0.6228, 0.3008) X_745 = EVEN (- 1, 3) CIRCUMCIRCLE POINT (0.9892, -0.0432) X_82 = ISOGONAL CONJUGATE OF X(38) (0.5943, 0.2703) X_759 = EVEN (1, 3) CIRCUMCIRCLE POINT (0.9498, -0.1389) X_827 = o-(0, 4) CIRCUMCIRCLE POINT (0.3242, 0.5811) A B C X826 X5 X83 X111 X251 X6 X755 X32 X733 X31 X745 X82 X759 X827 (a, b, c) = (5, 6, 7) | AB = 1

X827 (o-(0, 4) CIRCUMCIRCLE POINT) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).

Constructed Elements

Trilinears: \(1/[a^{-1}(b^{4} - c^{4}) + a^{3}(b^{0} - c^{0})] : :\)
Search Value (6, 9, 13): \(0.419571248227\)

X827 lies on the circumcircle.

▸ Incident Central Lines12 lines

{5, 83}, {6, 755}, {31, 745}, {32, 733}, {82, 759}, {111, 251}, {163, 813}, {249, 805}, {250, 935}, {560, 719}, {662, 831}, {741, 849}

▸ Functional Relations14 relations

Notes

Let A', B', C' be the intersections of line X23X385 and lines BC, CA, AB, resp. The circumcircles of AB'C', BC'A', CA'B' concur in X827. Note: the line X23X385 is the polar of X2 wrt the circumcircle. (Randy Hutson, December 10, 2016)