## X(1) (INCENTER)

 Interactive Applet

You can move the points A, B and C (click on the point and drag it).
Press the keys “+” and “−” to zoom in or zoom out the visualization window and use the arrow keys to translate it.

You can also construct all centers related with this one (as described in ETC) using the “Run Macro Tool”. To do this, click on the icon , select the center name from the list and, then, click on the vertices A, B and C successively.

 The JRE (Java Runtime Environment) is not enabled in your browser!

This applet was built with the free and multiplatform dynamic geometry software C.a.R..

 Information from Kimberling's Encyclopedia of Triangle Centers

Trilinears           1 : 1 : 1
Barycentrics    a : b : c

X(1) is the point of concurrence of the interior angle bisectors of ABC; the point inside ABC whose distances from sidelines BC, CA, AB are equal. This equal distance, r, is the radius of the incircle, given by

r = 2*area(ABC)/(a + b + c).

Three more points are also equidistant from the sidelines; they are given by these names and trilinears:

A-excenter = -1 : 1 : 1,       B-excenter = 1 : -1 : 1,       C-excenter = 1 : 1 : -1.

The radii of the excircles are

2*area(ABC)/(-a + b + c), 2*area(ABC)/(a - b + c), 2*area(ABC)/(a + b - c).

Writing the A-exradius as r(a,b,c), the others are r(b,c,a) and r(c,a,b). If these exradii are abbreviated as ra, rb, rc, then 1/r = 1/ra + 1/rb + 1/rc. Moreover,

area(ABC) = sqrt(r*ra*rb*rc) and ra + rb + rc = r + 4R,

where R denotes the radius of the circumcircle.

The incenter is the identity of the group of triangle centers under "trilinear multiplication" defined by

(x : y : z)*(u : v : w) = xu : yv : zw.

A construction for * is easily obtained from the construction for "barycentric multiplication" mentioned in connection with X(2), just below.

The incenter and the other classical centers are discussed in these highly recommended books:

Paul Yiu, Introduction to the Geometry of the Triangle, 2002;
Nathan Altshiller Court, College Geometry, Barnes & Noble, 1952;
Roger A. Johnson, Advanced Euclidean Geometry, Dover, 1960.

X(1) is the {X(2),X(8)}-harmonic conjugate of X(10).

X(1) = midpoint of X(I) and X(J) for these (I,J): (7,390), (8,145)

X(1) = reflection of X(I) in X(J) for these (I,J): (2,551), (3,1385), (4,946), (6,1386), (8,10), (9,1001), (10,1125), (11,1387), (36,1319), (40,3), (43,995), (46,56), (57,999), (63,993), (65,942), (72,960), (80,11), (100,214), (191,21), (200,997), (238,1279), (267,229), (291,1015), (355,5), (484,36), (984,37), (1046,58), (1054,106), (1478,226)

X(1) = isogonal conjugate of X(1)
X(1) = isotomic conjugate of X(75)
X(1) = cyclocevian conjugate of X(1029)
X(1) = inverse-in-circumcircle of X(36)
X(1) = inverse-in-Fuhrmann-circle of X(80)
X(1) = inverse-in-Bevan-circle of X(484)
X(1) = complement of X(8)
X(1) = anticomplement of X(10)
X(1) = anticomplementary conjugate of X(1330)
X(1) = complementary conjugate at X(1329)
X(1) = eigencenter of cevian triangle of X(I) for I = 1, 88, 162
X(1) = eigencenter of anticevian triangle of X(I) for I = 1, 44, 513

X(1) = X(I)-Ceva conjugate of X(J) for these (I,J):
(2,9), (4,46), (6,43), (7,57), (8,40), (9,165), (10,191), (21,3), (29,4), (75,63), (77,223), (78,1490), (80,484), (81,6), (82,31), (85,169), (86,2), (88,44), (92,19), (100,513), (104,36), (105,238), (174,173), (188,164), (220,170), (259,503), (266,361), (280,84), (366,364), (508,362), (1492,1491)

X(1) = cevapoint of X(I) and X(J) for these (I,J):
(2,192), (6,55), (11,523), (15,202), (16,203), (19,204), (31,48), (34,207), (37,42), (50,215), (56,221), (65,73), (78,1490), (244,513)

X(1) = X(I)-cross conjugate of X(J) for these (I,J):
(2,87), (3,90), (6,57), (31,19), (33,282), (37,2), (38,75), (42,6), (44,88), (48,63), (55,9), (56,84), (58,267), (65,4), (73,3), (192,43), (207,1490), (221,40), (244,513), (259,258), (266,505), (354,7), (367,366), (500,35), (513,100), (517,80), (518,291), (1491,1492)

X(1) = crosspoint of X(I) and X(J) for these (I,J):
(2,7), (8,280), (21,29), (59,110), (75,92), (81,86)

X(1) = crosssum of X(I) and X(J) for these (I,J):
(2,192), (4,1148), (6,55), (11,523), (15,202), (16,203), (19,204), (31,48), (34,207), (37,42), (44,678), (50,215), (56,221), (57,1419), (65,73), (207,1490), (214,758), (244,513), (500,942), (512,1015), (774,820), (999,1480)

X(1) = crossdifference of any two points on line X(44)X(513)

X(1) = X(I)-Hirst inverse of X(J) for these (I,J):
(2,239), (4,243), (6,238), (9,518), (19,240), (57,241), (105,294), (291,292).

X(1) = X(6)-line conjugate of X(44)

X(1) = X(I)-aleph conjugate of X(J) for these (I,J):
(1,1), (2,63), (4,920), (21,411), (29,412), (88,88), (100,100), (162,162), (174,57), (188,40), (190,190), (266,978), (365,43), (366,9), (507,173), (508,169), (513,1052), (651,651), (653,653), (655,655), (658,658), (660,660), (662,662), (673,673), (771,771), (799,799), (823,823), (897,897)

X(1) = X(I)-beth conjugate of X(J) for these (I,J):
(1,56), (2,948), (8,8), (9,45), (21,1), (29,34), (55,869), (99,85), (100,1), (110,603), (162,208), (643,1), (644,1), (663,875), (664,1), (1043,78)

This is a joint work of
Humberto José Bortolossi, Lis Ingrid Roque Lopes Custódio and Suely Machado Meireles Dias.