X56¶
EXSIMILICENTER(CIRCUMCIRCLE, INCIRCLE)
X56 (EXSIMILICENTER(CIRCUMCIRCLE, INCIRCLE)) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).¶
Constructed Elements
Derived Triangle: Tangential Triangle △TanaTanbTanc — vertices Tana, Tanb, Tanc (Bounded by tangents to the circumcircle at A, B, C)
Derived Triangle: Intouch (Contact) Triangle △TaTbTc — vertices Ta, Tb, Tc (Contact triangle of Incircle touchpoints on BC, CA, AB)
Circle: Circumcircle (circumcircle) — Passes through vertices A, B, C; centered at X3 CIRCUMCENTER
Circle: Incircle (incircle) — Inscribed circle tangent to sidelines at T_a, T_b, T_c; centered at X1 INCENTER
Central Lines: {1, 3}
Related Centers: X3 (CIRCUMCENTER), X1 (INCENTER)
Alternate Coordinates7 forms
Trilinears: \(1 - \cos A : 1 - \cos B : 1 - \cos C\)
Trilinears: \(\sin^{2}(A/2) : \sin^{2}(B/2) : \sin^{2}(C/2)\)
Trilinears: \(a(\tan A/2) : :\)
Trilinears: \(R_{a} - r : R_{b} - r : R_{c} - r\), where \(R_{a}\), \(R_{b}\), \(R_{c}\) are the exradii
Trilinears: \(a R_{a} : b R_{b} : c R_{c}\), where \(R_{a}\), \(R_{b}\), \(R_{c}\) are the exradii
Trilinears: \(a \cos A - (c + a) \cos B - (a + b) \cos C : :\)
Barycentrics: \(\operatorname{area}(A'BC) : :\), where A'B'C' = 2nd circumperp triangle
Incident Central Lines58 lines
{1, 3}, {2, 12}, {4, 11}, {5, 499}, {6, 41}, {7, 21}, {8, 404}, {10, 474}, {19, 207}, {20, 497}, {22, 977}, {25, 34}, {28, 278}, {30, 496}, {31, 154}, {32, 1015}, {33, 963}, {38, 201}, {58, 222}, {61, 202}, {62, 203}, {63, 960}, {72, 997}, {77, 1036}, {78, 480}, {81, 959}, {85, 870}, {87, 238}, {100, 145}, {101, 218}, {105, 279}, {106, 109}, {140, 495}, {181, 386}, {182, 611}, {197, 227}, {212, 939}, {219, 579}, {220, 672}, {223, 937}, {226, 405}, {255, 602}, {266, 289}, {269, 738}, {330, 385}, {376, 1058}, {411, 938}, {511, 613}, {551, 553}, {607, 911}, {631, 1056}, {667, 764}, {946, 1012}, {978, 979}, {1025, 1083}, {1070, 1074}, {1072, 1076}, {1345, 2464}
Functional Relations49 relations
X56 = reflection of Xi in Xj for these (i,j): (1479, 496), (2098, 1)
X56 = isogonal conjugate of X8
X56 = isotomic conjugate of X3596
X56 = complement of X3436
X56 = anticomplement of X1329
X56 = antigonal conjugate of X17101
X56 = Xi-Ceva conjugate of Xj for these (i,j): (1, 221), (7, 222), (28, 34), (57, 6), (59, 109), (108, 513)
X56 = X31-cross conjugate of X6
X56 = crosspoint of Xi and Xj for these (i,j): (1, 84), (7, 278), (28, 58), (57, 269), (59, 109)
X56 = crosssum of Xi and Xj for these (i,j): (1, 40), (2, 144), (6, 197), (9, 200), (10, 72), (11, 522), (55, 219), (175, 176), (519, 1145)
X56 = crossdifference of every pair of points on line X522X650
X56 = Xi-Hirst inverse of Xj for these (i,j): (6, 1458), (34, 1430), (57, 1429), (604, 1428), (1416, 1438)
X56 = X266-aleph conjugate of X1050
X56 = Xi-beth conjugate of Xj for these (i,j): (1, 1), (21, 3), (56, 1106), (58, 56), and (P,57) for all P on the circumcircle
X56 = homothetic center of the intouch triangle and the circumcevian triangle of X1
X56 = trilinear pole of line X649X854 (the isogonal conjugate of the isotomic conjugate of the Gergonne line)
X56 = homothetic center of ABC and the reflection of the Mandart-incircle triangle in X1
X56 = X92-isoconjugate of X219
X56 = vertex conjugate of PU(93)
X56 = perspector of ABC and unary cofactor triangle of Gemini triangle 15
X56 = homothetic center of intangents triangle and reflection of tangential triangle in X3
X56 = homothetic center of tangential triangle and reflection of intangents triangle in X1
X56 = Brianchon point (perspector) of inellipse that is isogonal conjugate of isotomic conjugate of incircle
X56 = pole wrt polar circle of trilinear polar of X7017 (line X2804X4397)
X56 = barycentric product of PU(46)
X56 = bicentric sum of PU(60)
X56 = trilinear product of PU(92)
X56 = perspector of ABC and cross-triangle of ABC and Apus triangle
X56 = perspector of ABC and cross-triangle of ABC and Hutson intouch triangle
X56 = homothetic center of ABC and cross-triangle of ABC and 1st Johnson-Yff triangle
X56 = homothetic center of midarc triangle and 1st-circumperp-of-1st-circumperp triangle (which is also 2nd-circumperp-of-2nd-circumperp triangle)
X56 = homothetic center of 2nd midarc triangle and 2nd-circumperp-of-1st-circumperp triangle (which is also 1st-circumperp-of-2nd-circumperp triangle)
X56 = homothetic center of tangential triangle and anti-tangential midarc triangle
X56 = Ursa-major-to-Ursa-minor similarity image of X4
X56 = barycentric product of (nonreal) circumcircle intercepts of the Gergonne line
Notes¶
Let A'B'C' be the Fuhrmann triangle. Let La be the line through A' parallel to BC, and define Lb and Lc cyclically. Let A″ = Lb∩Lc, B″ = Lc∩La, C″ = La∩Lb. The lines AA″, BB″, CC″ concur in X56. Also, let AaBaCa be the poristic triangle (i.e., a triangle with common circumcircle and incircle as ABC) such that BaCa is parallel to BC. Define AbBbCb and AcBcCc cyclically. The lines AAa, BBb, CCc concur in X56. (Randy Hutson, November 18, 2015)
Let TaTbTc be the intouch triangle. Let A″ be the barycentric product of the circumcircle intercepts of line TbTc, and define B″, C″ cyclically. The lines AA″, BB″, CC″ concur in X56. (Randy Hutson, June 27, 2018)
See Dasari Naga Vijay Krishna, On a Conic Through Twelve Notable Points, Int. J. Adv. Math. and Mech. 7(2) (2019) 1-15.
In the plane of a triangle ABC, let
A'B'C' = circumcevian triangle of X1;
Ta = line tangent to circumcircle at A', and define Tb and Tc cyclically;
Va = Tb∩Tc, and define Vb and Vc cyclically.
The triangle VaVbVc is perspective to ABC, and the perspector is X56. (Dasari Naga Vijay Krishna, June 19, 2021)
In the plane of a triangle ABC, let (Oa) be the circle tangent internally to the incircle and tangent internally to the circumcircle at A. Define (Ob) and (Oc) cyclically. The radical center of (Oa), (Ob), (Oc) is X56. (Ivan Pavlov, February 24, 2022)