X(15)    1st ISODYNAMIC POINT

The 1st isodynamic point, labeled 15, is the 
isogonal conjugate of X(13).

The pedal triangle, A'B'C', of X(15) is equilateral.

Sketch contributed by Michael Stairs, January 2018.

Drag A, B, C.

8

3

4

13

15

A_1 = (0.19239873504666818, 4.080616324873844)
B = (-1.9379651266109652, 1.446711914096883)
C = (1.016572850015451, 1.4385246154023128)
f = Segment(B, A_1)
g = Segment(A_1, C)
h = Segment(C, B)
i = AngularBisector(B, C, A_1)
j = AngularBisector(C, B, A_1)
C'_1 = Midpoint(f)
B'_1 = Midpoint(g)
A'_1 = Midpoint(h)
m = OrthogonalLine(A'_1, h)
D_1 = Point(m)
k = OrthogonalLine(A_1, h)
l = OrthogonalLine(C, f)
n = OrthogonalLine(B, g)
p = LineBisector(h)
q = LineBisector(g)
r = LineBisector(f)
b = AngularBisector(B, A_1, C)
c = AngularBisector(A_1, B, C)
d = AngularBisector(A_1, C, B)
D = Intersect(d, f)
E = Intersect(c, g)
F = Intersect(b, h)
s = AngularBisector(B, A_1, C)
t = AngularBisector(A_1, B, C)
a = AngularBisector(A_1, C, B)
e = Line(A_1, C)
f_1 = Line(C, B)
g_1 = Line(B, A_1)
G = Point(e)
H = Point(g_1)
I = Point(f_1)
h_1 = AngularBisector(I, B, A_1)
i_1 = AngularBisector(H, A_1, 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'_3 = Intersect(g_1, q_1)
B'_3 = Intersect(e, p_1)
A'_3 = Intersect(f_1, n_1)
c_1 = Circle(L, A'_3)
d_1 = Circle(K, B'_3)
e_1 = Circle(J, C'_3)
r_1 = Line(A_1, A'_3)
s_1 = Line(B, B'_3)
t_1 = Line(C, C'_3)
M = Intersect(r_1, s_1)
a_1 = Segment(C, C'_3)
b_1 = Segment(B, B'_3)
f_2 = Segment(A'_3, A_1)
g_2 = AngularBisector(B, A_1, C)
h_2 = AngularBisector(A_1, B, C)
i_2 = AngularBisector(A_1, C, B)
C'_2 = Mirror(C, i_2)
C'' = Mirror(C'_3, i_2)
j_2 = Segment(C'_2, C'')
A'' = Mirror(A'_3, g_2)
A'_2 = Mirror(A_1, g_2)
k_2 = Segment(A'', A'_2)
B'_2 = Mirror(B, h_2)
B'' = Mirror(B'_3, h_2)
l_2 = Segment(B'_2, B'')
P = Midpoint(A_1, B)
Q = Midpoint(B, C)
R = Midpoint(C, A_1)
m_2 = Segment(B, R)
n_2 = Segment(A_1, Q)
p_2 = Segment(C, P)
q_2 = LineBisector(f)
r_2 = LineBisector(g)
s_2 = LineBisector(h)
T = Intersect(q_2, r_2)
t_2 = OrthogonalLine(A_1, h)
a_2 = OrthogonalLine(B, g)
b_2 = OrthogonalLine(C, f)
U = Intersect(t_2, a_2)
e_2 = OrthogonalLine(A_1, h)
f_3 = OrthogonalLine(B, g)
g_3 = OrthogonalLine(C, f)
poly1, c_2, d_2, h_3, C'_5 = Polygon(B, A_1, 3)
poly2, i_3, j_3, k_3, B'_5 = Polygon(A_1, C, 3)
poly3, l_3, m_3, n_3, S = Polygon(B, C, 3)
poly3' = Mirror(poly3, h)
A'_5 = Mirror(S, h)
p_3 = Segment(B, B'_5)
q_3 = Segment(C, C'_5)
r_3 = Segment(A_1, A'_5)
N = Intersect(p_3, q_3)
s_3 = Line(B, B'_5)
t_3 = Line(C, C'_5)
a_3 = Line(A_1, A'_5)
b_3 = AngularBisector(B, A_1, C)
c_3 = AngularBisector(A_1, C, B)
d_3 = AngularBisector(A_1, B, C)
e_3 = Segment(C, N)
f_4 = Segment(B, N)
g_4 = Segment(A_1, N)
A = Mirror(A_1, b_3)
N' = Mirror(N, b_3)
h_4 = Segment(A, N')
B'_4 = Mirror(B, d_3)
N'_1 = Mirror(N, d_3)
i_4 = Segment(B'_4, N'_1)
C'_4 = Mirror(C, c_3)
N'_2 = Mirror(N, c_3)
j_4 = Segment(C'_4, N'_2)
k_4 = Line(C, N'_2)
l_4 = Line(B, N'_1)
m_4 = Line(A_1, N')
O = Intersect(k_4, l_4)
n_4 = OrthogonalLine(O, f)
p_4 = OrthogonalLine(O, g)
q_4 = OrthogonalLine(O, h)
C' = Intersect(n_4, f)
A' = Intersect(q_4, h)
r_4 = Segment(C', A')
B' = Intersect(p_4, g)
s_4 = Segment(A', B')
t_4 = Segment(B', C')
a_4 = Segment(O, C')
b_4 = Segment(O, B')
c_4 = Segment(O, A')
triangle1, b', c', a' = Polygon(C', A', B')

Tool: Incenter X(1) (command IncenterX)
Incenter[ <Point>, <Point>, <Point> ]
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)

Tool: Exsimilicenter X(56) (command Tool4)
Input: A, B, C
Output: N

56

f = Segment(B, A)
h = Segment(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)
L = Intersect(h_1, j_1)
n_1 = OrthogonalLine(L, h)
q_1 = OrthogonalLine(J, f)
C' = Intersect(g_1, q_1)
A' = Intersect(f_1, n_1)
g_2 = AngularBisector(B, A, 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)
N = Intersect(j_2, k_2)

Tool: Ninepoint Center X(5) (command Tool5)
Tool5[ <Point>, <Point>, <Point> ]
Input: A, B, C
Output: V

3

4

5

f = Segment(B, A)
g = Segment(A, C)
h = Segment(C, B)
q_2 = LineBisector(f)
r_2 = LineBisector(g)
T = Intersect(q_2, r_2)
t_2 = OrthogonalLine(A, h)
a_2 = OrthogonalLine(B, g)
U = Intersect(t_2, a_2)
V = Midpoint(U, T)