X(31)   2ND POWER POINT

The 2nd power point, labeled 31, is constructed here as 
the isogonal conjugate of X(75).

Sketch contributed by Michael Stairs, January 2018.

Drag A, B, C.

1

75

31

A = (-1.0750612341708714, 3.0897192877161688)
B = (-0.9862271309128487, -0.15272548120165125)
C = (3.011307515698166, -0.1194126924798928)
f = Segment(B, A)
g = Segment(A, C)
h = Segment(C, B)
i = AngularBisector(B, C, A)
j = AngularBisector(C, B, A)
I = Intersect(i, j)
k = OrthogonalLine(I, h)
D = Intersect(k, h)
l = Segment(I, D)
c = Circle(I, D)
m = Ray(B, I)
n = Ray(C, I)
p = Line(A, I)
q = Line(B, I)
r = Line(C, I)
A' = Intersect(p, h)
B' = Intersect(q, g)
C' = Intersect(r, f)
Mid_1 = Midpoint(B, A)
Mid_2 = Midpoint(A, C)
Mid = Midpoint(C, B)
A'' = Mirror(A', Mid)
C'' = Mirror(C', Mid_1)
B'' = Mirror(B', Mid_2)
s = Segment(A, A')
t = Segment(C, C')
a = Segment(B, B')
b = Line(A, A'')
d = Line(C, C'')
e = Line(B, B'')
E = Intersect(b, d)
f_1 = AngularBisector(C, B, A)
g_1 = AngularBisector(B, A, C)
h_1 = AngularBisector(A, C, B)
d' = Mirror(d, h_1)
e' = Mirror(e, f_1)
b' = Mirror(b, g_1)
F = Intersect(d', e')
G = Intersect(b, h)
i_1 = Segment(A, G)
H = Intersect(e, g)
j_1 = Segment(B, H)
J = Intersect(d, f)
k_1 = Segment(C, J)
K = Intersect(e', g)
l_1 = Segment(B, K)
L = Intersect(d', f)
m_1 = Segment(C, L)
M = Intersect(b', h)
n_1 = Segment(A, M)
N = Point(h_1)
p_1 = Ray(C, N)
O = Point(f_1)
q_1 = Ray(B, O)
P = Point(g_1)
r_1 = Ray(A, P)