$b$

$A_1$

$F_2$

$k$

$F_2\big(\frac{\overline{A_1F_2}^2 - b^2 }{2\overline{A_1F_2}}\big)$

$O_e$

$F_e$

$F_2\big(\frac{\overline{A_1F_2}^2+ b^2 }{2\overline{A_1F_2}}\big)$

$O_h$

$F_h$

A = (-2.1752140591018, 4.701889721110259)
B = (8.69388677513845, 4.648082291237784)
a = Ray(A, B)
C = Point(a)
b = Segment(A, C)
A_1 = (-1.22, 1.3)
F_2 = (5.2, 1.2)
b_1 = Line(A_1, F_2)
k = Segment(A_1, F_2)
c = Circle(F_2, (k^(2) - b^(2)) / (2 * k))
O_e = Intersect(c, k)
F_e = Mirror(F_2, O_e)
d = Ellipse(F_e, F_2, A_1)
e = Circle(F_2, (k^(2) + b^(2)) / (2 * k))
O_h = Intersect(e, k)
F_h = Mirror(F_2, O_h)
f = Hyperbola(F_h, F_2, A_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)