$a$

$F$

$t_1$

$t_2$

$S_1$

$S_2$

$S_1(2a)$

$S_2(2a)$

$F_1$

$F_2$

A = (-3.8, 5.74)
B = (8.94, 5.7)
a_1 = Ray(A, B)
C = Point(a_1)
a = Segment(A, C)
F = (13.650598774635275, 1.7705238137162078)
D = (-5.389374607166875, 2.115138716554256)
E = (20.629050557105746, 8.533591281912908)
t_1 = Line(D, E)
G = (13.650598774635256, 10.773588150360222)
H = (1.7183077638678603, -6.198695814413657)
t_2 = Line(G, H)
S_1 = Mirror(F, t_1)
S_2 = Mirror(F, t_2)
b = LineBisector(S_2, S_1)
c = Circle(S_1, 2 * a)
d = Circle(S_2, 2 * a)
F_1, F_2 = Intersect(c, b)
e = Line(S_1, F_1)
f = Line(S_2, F_1)
K = Intersect(t_1, e)
L = Intersect(t_2, f)
g = Line(F, F_1)
M = Midpoint(F_1, F)
L' = Mirror(L, M)
K' = Mirror(K, M)
K'_1 = Mirror(K, g)
h = Conic(K, L', K', K'_1, L)
i = Line(F, F_2)
N = Midpoint(F, F_2)
j = Line(F_2, S_1)
O = Intersect(j, t_1)
k = Line(F_2, S_2)
Q = Intersect(k, t_2)
Q' = Mirror(Q, N)
O' = Mirror(O, N)
O'_1 = Mirror(O, i)
p = Conic(O, Q, Q', O', O'_1)

Tool: Conjugado Isogonal (command ConjugadoIsogonal)
Dar los vértices de un triángulo y un punto
Input: A, B, C, P
Output: G

P*

polígono1, c, a, b = Polygon(A, B, C)
d = OrthogonalLine(P, b)
e = OrthogonalLine(P, a)
f = OrthogonalLine(P, c)
g = Line(A, B)
h = Line(B, C)
i = Line(C, A)
D = Intersect(g, f)
E = Intersect(d, i)
F = Intersect(h, e)
k = Line(E, F)
l = Line(F, D)
n = OrthogonalLine(B, l)
p = OrthogonalLine(C, k)
G = Intersect(n, p)