F

E

D

animer

F = (12, 6)
D = (12, 2)
A = (5, 10)
C = Intersect(xAxis, yAxis)
u = Vector(D, C)
F' = Translate(F, u)
ac = Line(A, C)
h = OrthogonalLine(C, ac)
B = Point(xAxis)
bc = Line(C, B)
f_{1} = Line(D, bc)
E = Point(f_{1})
E' = Translate(E, u)
g = LineBisector(C, E')
G = Intersect(g, h)
i = Line(F', G)
k = Circle(G, C)
V, U = Intersect(k, i)
cv = Line(C, V)
L = Intersect(i, cv)
ab = Line(A, B)
a = Segment(B, C)
b = Segment(A, C)
c = Segment(A, B)
f = Segment(D, E)
d = Segment(E, F)
e = Segment(F, D)
cu = Line(C, U)
p = Circle(C, G)
I = Point(p)
H = Intersect(i, ac)
C' = Mirror(C, I)
j = OrthogonalLine(C', cu)
l = OrthogonalLine(C', cv)
J = Intersect(cu, j)
K = Intersect(cv, l)
m = Line(I, J)
n = AffineRatio(G, L, F')
F_1 = Dilate(K, n, I)
α = Angle(E', G, F')
E_1 = Rotate(K, (-α), I)
q = Segment(F_1, E_1)
β = Angle(F', G, C)
D_1 = Rotate(K, β, I)
r = Segment(D_1, E_1)
s = Segment(D_1, F_1)
lieu1 = Locus(F_1, I)
t = Segment(E_1, I)
g_1 = Segment(D_1, I)