0

0

1

1

x

y

x

y

A = Point(xAxis)
B = Mirror(A, yAxis)
Q = Midpoint(A, B)
p = Circle(A, Q)
a = OrthogonalLine(A, xAxis)
J = Point(a)
j = Ray(A, J)
b = OrthogonalLine(B, xAxis)
N = Point(a)
c = Ray(A, N)
A'_1 = Mirror(A, yAxis)
C = Intersect(p, j)
C' = Mirror(C, yAxis)
f(x) = 1 / x
D = Point(a)
in: y(D) / y(C)
out: f(in)
E = Point({x(B), (out * y(C'))})
d = Segment(D, E)
F = Point({in, out})
e = OrthogonalLine(F, xAxis)
g = OrthogonalLine(F, yAxis)
G = Intersect(e, xAxis)
h = Segment(F, G)
L = Intersect(g, yAxis)
i = Segment(F, L)
k: x^(2) / x(A)^(2) + y^(2) / y(C)^(2) = 1
l = Segment(Q, D)
m = Segment(Q, E)
n = OrthogonalLine(Q, d)
H = Intersect(k, n, 2)
q = Segment(Q, H)
r = Segment(B, A)
s = OrthogonalLine(D, j)
K = Intersect(b, s)
t = Segment(D, K)
α = Angle(Q, H, E)