X174

YFF CENTER OF CONGRUENCE

In notes dated 1987, Yff raises this question concerning certain triangles lying within ABC: can isoscelizers (defined at X173), PBQC, PCQA, PAQB, be constructed so that, on putting
< 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) { 1, 167 }: Central Line L(1, 167) { 57, 173 }: Central Line L(57, 173) { 2, 236 }: Central Line L(2, 236) { 7, 234 }: Central Line L(7, 234) { 188, 266 }: Central Line L(188, 266) { 175, 483 }: Central Line L(175, 483) A = Vertex A (0.0000, 0.0000) B = Vertex B (1.0000, 0.0000) C = Vertex C (0.6122, 0.5999) X_259 = ISOGONAL CONJUGATE OF X(174) (0.5606, 0.2123) X_1 = INCENTER (0.5714, 0.2333) X_167 = NAGEL POINT OF EXCENTRAL TRIANGLE (0.4425, -0.0480) X_57 = ISOGONAL CONJUGATE OF X(9) (0.6138, 0.3110) X_173 = CONGRUENT ISOSCELIZERS POINT (0.5924, 0.2741) X_2 = CENTROID (0.5374, 0.2000) X_236 = -CEVA CONJUGATE OF X(188) (0.5520, 0.2182) X_7 = GERGONNE POINT (0.5903, 0.2769) X_234 = -CEVA CONJUGATE OF X(177) (0.5946, 0.2875) X_188 = 2nd MID-ARC POINT OF ANTICOMPLEMENTARY TRIANGLE (0.5245, 0.1802) X_266 = ISOGONAL CONJUGATE OF X(188) (0.6074, 0.2891) X_175 = ISOPERIMETRIC POINT (0.4271, -0.1006) X_483 = RADICAL CENTER OF AJIMA-MALFATTI CIRCLES (0.5762, 0.2431) X_174 = YFF CENTER OF CONGRUENCE (0.5813, 0.2549) A B C X259 X1 X167 X57 X173 X2 X236 X7 X234 X188 X266 X175 X483 X174 (a, b, c) = (5, 6, 7) | AB = 1

X174 (YFF CENTER OF CONGRUENCE) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).

Constructed Elements

Trilinears: \(\sec A/2 : \sec B/2 : \sec C/2\)
Barycentrics: \(\sin A/2 : \sin B/2 : \sin C/2\)
Search Value (6, 9, 13): \(1.175132454771\)
▸ Alternate Coordinates4 forms
  • Trilinears: \([bc/(b + c - a)]^{1/2} : [ca(c + a - b)]^{1/2} : [ab(a + b - c)]^{1/2}\)

  • Trilinears: \(\csc A' : \csc B' : \csc C'\), where JaJbJc = excentral triangle

  • Trilinears: \(|AA'| : |BB'| : |CC'|\), where JaJbJc = excentral triangle

  • Trilinears: \((\csc A')(\cos B' + \cos C') : :\), where JaJbJc = excentral triangle

▸ Incident Central Lines9 lines

{1, 167}, {2, 236}, {7, 234}, {57, 173}, {175, 483}, {176, 1143}, {188, 266}, {481, 1127}, {558, 1489}

▸ Functional Relations18 relations

Notes

Let Ea be the ellipse with B and C as foci and passing through X1, and define Eb and Ec cyclically. Let La be the line tangent to Ea at X1, and define Lb and Lc cyclically. Let A' = La∩BC, B' = Lb∩CA, C' = Lc∩AB. Then A', B', C' are collinear, and X174 = trilinear pole of line A'B'C'. The line A'B'C' meets the line at infinity at the isogonal conjugate of X3659. Alternately, let A″ be the trilinear pole of line La, and define B″ and C″ cyclically. The lines AA″, BB″ and CC″ concur at X174; see also X188. The points A″, B″, C″ lie on the circumconic centered at X9. (Randy Hutson, December 10, 2016)

Let JaJbJc be the excentral triangle. X174 is the trilinear pole of the Monge line of the incircles of BCJa, CAJb, ABJc. (Randy Hutson, December 10, 2016)

\(R_{A}\) = PAQB∩PBQC, \(R_{B}\) = PBQC∩PCQA, \(R_{C}\) = PCQA∩PAQB,

the following four triangles are congruent:

PAQA\(R_{A}\), PBQB\(R_{B}\), PCQC\(R_{C}\), \(R_{A}\)\(R_{B}\)\(R_{C}\) ?

After proving that the answer is yes, Yff moves the three isoscelizers in such a way that the three outer triangles, stay congruent and the inner triangle (called the Yff central triangle), \(R_{A}\)\(R_{B}\)\(R_{C}\), shrinks to X174.

Let D be the point on side BC such that (angle BID) = (angle DIC), and likewise for point E on side CA and point F on side AB. The lines AD, BE, CF concur in X174. (Seiichi Kirikami, Jan. 29, 2010)

Generalization: if I is replaced by an arbitrary point P =\(p : q : r\) (trilinears), then the lines AD, BE, CF concur in the point K(P) =\(f(p,q,r,A) : f(q,r,p,B) : f(r,p,q,C)\), where \(f(p,q,r,A) = (q^{2} + r^{2} + 2qr \cos A)^{-1/2}\). Moreover, if P* is the inverse of P in the circumcircle, then K(P*) = K(P). (Peter Moses, Feb. 1, 2010, based on Seiichi Kirikami’s construction of X174)

X174 is the homothetic center of ABC and the extangents triangle of the intouch triangle. (Randy Hutson, 9/23/2011)