X(56)    EXSIMILICENTER

The exsimilicenter, labeled 56, is the 
isogonal conjugate of X(8).

Sketch contributed by Michael Stairs, 
January 2018.

Drag A, B, C.

8

56

A = (0.5129656195323559, 4.388751331522135)
B = (-0.29929821444838106, 1.9397715209755506)
C = (1.9681063826350635, 1.9928102250008946)
f = Segment(B, A)
g = Segment(A, C)
h = Segment(C, B)
i = AngularBisector(B, C, A)
j = AngularBisector(C, B, A)
C'_1 = Midpoint(f)
B'_1 = Midpoint(g)
A'_1 = Midpoint(h)
m = OrthogonalLine(A'_1, h)
D_1 = Point(m)
k = OrthogonalLine(A, h)
l = OrthogonalLine(C, f)
n = OrthogonalLine(B, g)
p = LineBisector(h)
q = LineBisector(g)
r = LineBisector(f)
b = AngularBisector(B, A, C)
c = AngularBisector(A, B, C)
d = AngularBisector(A, C, B)
D = Intersect(d, f)
E = Intersect(c, g)
F = Intersect(b, h)
s = AngularBisector(B, A, C)
t = AngularBisector(A, B, C)
a = AngularBisector(A, C, B)
e = Line(A, C)
f_1 = Line(C, B)
g_1 = Line(B, A)
G = Point(e)
H = Point(g_1)
I = Point(f_1)
h_1 = AngularBisector(I, B, A)
i_1 = AngularBisector(H, A, C)
j_1 = AngularBisector(G, C, B)
J = Intersect(h_1, i_1)
K = Intersect(i_1, j_1)
L = Intersect(h_1, j_1)
k_1 = Segment(J, K)
l_1 = Segment(K, L)
m_1 = Segment(L, J)
n_1 = OrthogonalLine(L, h)
p_1 = OrthogonalLine(K, g)
q_1 = OrthogonalLine(J, f)
C' = Intersect(g_1, q_1)
B' = Intersect(e, p_1)
A' = Intersect(f_1, n_1)
c_1 = Circle(L, A')
d_1 = Circle(K, B')
e_1 = Circle(J, C')
r_1 = Line(A, A')
s_1 = Line(B, B')
t_1 = Line(C, C')
M = Intersect(r_1, s_1)
a_1 = Segment(C, C')
b_1 = Segment(B, B')
f_2 = Segment(A', A)
g_2 = AngularBisector(B, A, C)
h_2 = AngularBisector(A, B, C)
i_2 = AngularBisector(A, C, B)
C'_2 = Mirror(C, i_2)
C'' = Mirror(C', i_2)
j_2 = Segment(C'_2, C'')
A'' = Mirror(A', g_2)
A'_2 = Mirror(A, g_2)
k_2 = Segment(A'', A'_2)
B'_2 = Mirror(B, h_2)
B'' = Mirror(B', h_2)
l_2 = Segment(B'_2, B'')
N = Intersect(j_2, k_2)

Tool: Centroid
Input: A, B, C
Output: G

D = Midpoint(A, B)
E = Midpoint(B, C)
s = Segment(C, D)
t = Segment(A, E)
G = Intersect(s, t)

Tool: Incenter
Input: A, B, C
Output: I

s = AngularBisector(B, A, C)
t = AngularBisector(A, B, C)
I = Intersect(s, t)

Tool: Incircle
Input: A, B, C
Output: c_1

g = Segment(A, C)
s = AngularBisector(B, A, C)
t = AngularBisector(A, B, C)
I = Intersect(s, t)
e = OrthogonalLine(I, g)
G = Intersect(e, g)
c_1 = Circle(I, G)