3

y

3-y

1

h

π /2 - α

A = Point(yAxis)
B = Point(yAxis)
c = Circle(A, B)
C = Point(c)
f = Segment(A, C)
g = OrthogonalLine(C, xAxis)
h = OrthogonalLine(C, yAxis)
D = Intersect(h, yAxis)
E = Intersect(g, xAxis)
i = Segment(E, C)
j = Segment(C, D)
k = OrthogonalLine(A, yAxis)
F = Intersect(g, k)
l = Segment(C, F)
m = OrthogonalLine(B, yAxis)
G = Intersect(g, m)
n = Segment(G, C)
p = Segment(E, G)
q = Segment(E, C)
α = Angle(D, A, C)
β = Angle(C, A, F)