1

cos(x)

cos(x)

x

x

eq1: (x + 2)^(2) + y^(2) = 1
A = Point(eq1)
A_x: (x(A), 0)
B: (-2, 0)
D: (-2, 1)
O: (0, 0)
f = Segment(B, A)
g = Segment(A, A_x)
α = Angle(D, B, A)
Y: (α, y(A))
C: (α, 0)
h = Segment(A, Y)
i = Segment(Y, C)
c = CircleArc(B, D, A)
j = Segment(O, C)
k = Segment(B, D)