Objeto = PointIn(y ≥ 0)
Ojo = PointIn(y ≥ 0)
h = OrthogonalLine(Ojo, xAxis)
B = Intersect(h, xAxis)
d = Circle(B, 1)
D = Intersect(d, xAxis, 2)
f = OrthogonalLine(Objeto, xAxis)
A = Intersect(f, xAxis)
c = Circle(A, 1)
Imagen = Mirror(Objeto, xAxis)
C = Intersect(c, xAxis, 1)
g = Segment(C, D)
i = Segment(Ojo, Imagen)
j = Segment(Objeto, Imagen)
E = Intersect(xAxis, i)
u = Vector(Ojo, E)
v = Vector(E, Objeto)
F = Intersect(d, xAxis, 1)
G = Intersect(c, xAxis, 2)
k = Segment(G, F)
α = Angle(Objeto, A, E)