X1478

CENTER OF JOHNSON-YFF CIRCLE

The Johnson Circle Theorem is the fact that if three congruent circles intersect in a point, then the circle passing through the other three intersections is congruent to them. This fourth circle is the Johnson circle of the three given circles. There are three congruent circles each tangent to two sides of triangle ABC. Peter Yff proved that their Johnson circle has center X1478. The circle is here named the Johnson-Yff circle of the triangle.
< 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, 4 }: Incenter–Orthocenter Line { 3, 12 }: Central Line L(3, 12) { 2, 36 }: Central Line L(2, 36) { 10, 46 }: Central Line L(10, 46) { 5, 56 }: Central Line L(5, 56) { 30, 55 }: Central Line L(30, 55) A = Vertex A (0.0000, 0.0000) B = Vertex B (1.0000, 0.0000) C = Vertex C (0.6122, 0.5999) X_3422 = -VERTEX CONJUGATE OF X(19) (0.5568, 0.1860) X_1 = INCENTER (0.5714, 0.2333) X_4 = ORTHOCENTER (0.6122, 0.3958) X_3 = CIRCUMCENTER (0.5000, 0.1021) X_12 = {X(1),X(5)}-HARMONIC CONJUGATE OF X(11) (0.5641, 0.2407) X_2 = CENTROID (0.5374, 0.2000) X_36 = INVERSE-IN-CIRCUMCIRCLE OF INCENTER (1.3333, 1.6330) X_10 = SPIEKER CENTER (0.5204, 0.1833) X_46 = -CEVA CONJUGATE OF X(1) (0.6917, 0.4543) X_5 = NINE-POINT CENTER (0.5561, 0.2489) X_56 = EXSIMILICENTER(CIRCUMCIRCLE, INCIRCLE) (0.6316, 0.3438) X_30 = EULER INFINITY POINT (0.7469, 0.7481) X_55 = INSIMILICENTER(CIRCUMCIRCLE, INCIRCLE) (0.5490, 0.1921) X_1478 = CENTER OF JOHNSON-YFF CIRCLE (0.5842, 0.2843) A B C X3422 X1 X4 X3 X12 X2 X36 X10 X46 X5 X56 X30 X55 X1478 (a, b, c) = (5, 6, 7) | AB = 1

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

Constructed Elements

Trilinears: \(1 + 2 \cos B \cos C : :\)
Barycentrics: \(a^{4} + 2 a^{2} b c - (b^{2} - c^{2})^{2} : :\)
Search Value (6, 9, 13): \(0.322897294537\)
▸ Linear Combinations2 combinations
▸ Incident Central Lines23 lines

{1, 4}, {2, 36}, {3, 12}, {5, 56}, {7, 80}, {8, 79}, {10, 46}, {11, 381}, {13, 203}, {14, 202}, {30, 55}, {65, 68}, {119, 1470}, {148, 192}, {442, 958}, {474, 1329}, {496, 546}, {529, 956}, {612, 1370}, {908, 997}, {975, 1076}, {990, 1074}, {1352, 1469}

▸ Functional Relations9 relations

Notes

Roger A. Johnson, Advanced Euclidean Geometry, Dover, New York, 1960, page 75.

Peter Yff, “Three concurrent congruent circles ‘inscribed’ in a triangle,” manuscript, 1998; X1478 is the point C on page 5. See also X495-X499.